[논문 리뷰] Donaldson-Thomas invariants via microlocal geometry

Kai Behrend|ArXiv.org|2005. 07. 26.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 127

한 줄 요약

이 논문은 대체로 대칭 방해 이론이 아닌 스킴 구조에만 의존하는 균일한 구조 함수 $\nu_X$를 사용하여 도널드슨-테이터스 유형 불변량이 모듈리 공간의 가중된 오일러 특성과 같음을 증명한다. 주요 기여는 코탄젠트 번들의 라그랑주 사이클 간의 연결수로 표현되는 $\nu_X(P)$에 대한 마이크로로컬 공식으로, 이는 가상 수와 특이점 불변량을 통합하고 비유비모듈리 공간에 대한 불변량을 가능하게 한다.

ABSTRACT

We prove that Donaldson-Thomas type invariants are equal to weighted Euler characteristics of their moduli spaces. In particular, such invariants depend only on the scheme structure of the moduli space, not the symmetric obstruction theory used to define them. We also introduce new invariants generalizing Donaldson-Thomas type invariants to moduli problems with open moduli space. These are useful for computing Donaldson-Thomas type invariants over stratifications.

연구 동기 및 목표

• 모듈리 공간의 스킴 구조에만 의존하고 대칭 방해 이론의 선택에 따라 달라지지 않는 도널드슨-테이터스 유형 불변량임을 보이다.
• 비유비모듈리 공간에 대해 $\nu_X$의 가중 오일러 특성으로 일반화된 도널드슨-테이터스 불변량을 정의하다.
• 점 $P$에 대한 기여 $\nu_X(P)$에 대한 마이크로로컬 기하 공식을 코탄젠트 번들의 라그랑주 사이클 간의 연결수로 제공하다.
• 사라지는 순환을 통해 $\nu_X$와 밀놀르 원형의 오일러 특성 간의 연결 고리를 확립하다.
• 스킴 구조와 $\nu_X$를 존중하는 방식으로 가상 수를 일반화하는 모티빅 불변량을 동기화하기 위해 $\tilde{\mu}(X) = \int_X \nu_X d\mu$를 정의하다.

제안 방법

• 스킴 이론적으로 유일한 내재 정규 콘 $\mathfrak{c}_X$의 오일러 편향으로서 $\nu_X: X \to \mathbb{Z}$를 정의한다.
• 마이크로로컬 기하학을 활용하여, 작은 $\epsilon$ 및 $\eta$에 대해 $\nu_X(P)$를 $L_{S_\epsilon}(\Gamma_\eta \cap S_\epsilon, \Delta \cap S_\epsilon)$로 연결수로 해석한다.
• 모듈리 공간 $X$를 매끄러운 환경 스킴 $M$에 매장하고, $X = Z(\omega)$를 정의하는 1형식 $\omega$를 $\Omega_M$의 단면으로 올린다.
• $\Gamma_\eta \subset \Omega_M$를 $M \to \Omega_M$에 대한 $\frac{1}{\eta}\omega$의 상으로, $\Delta$를 거리 함수 $\rho$의 $d\rho$의 상으로 정의한다.
• 교차 이론과 특수화를 적용하여 $\nu_X(P) = I_{\{P\}}([C], [\Delta])$를 증명한다. 여기서 $[C]$는 $M$ 속의 $X$의 정규 콘이다.
• $\lim_{\eta \to 0} [\Gamma_\eta] = [C]$라는 사실을 이용해 연결수 공식에서 $[C]$를 $\Gamma_\eta$로 대체한다.

실험 결과

연구 질문

• RQ1 도널드슨-테이터스 불변량은 모듈리 공간의 스킴 구조에만 의존하는가, 아니면 대칭 방해 이론의 선택에 따라 달라지는가?
• RQ2 비유비모듈리 공간에 대해 도널드슨-테이터스 유형 불변량을 일반화할 수 있는가?
• RQ3 점의 기여 $\nu_X(P)$에 대한 기하학적 마이크로로컬 공식이 존재하는가?
• RQ4 $\nu_X$는 전통적인 불변량인 밀놀르 수나 밀놀르 원형의 오일러 특성과 어떻게 관련이 있는가?
• RQ5 스킴 구조와 $\nu_X$를 존중하는 방식으로 가상 수를 일반화하는 모티빅 불변량을 정의할 수 있는가?

주요 결과

• 도널드슨-테이터스 유형 불변량 $\#^{\rm vir}(X)$는 가중 오일러 특성 $\chi(X, \nu_X)$와 같으며, 이는 대칭 방해 이론의 선택에 대한 불변성을 증명한다.
• 매끄러운 점 $P \in X$에서 $\nu_X(P) = (-1)^{\dim X}$이며, 이는 오일러 특성 공식을 일반화한다.
• $X = Z(df)$인 경우, 즉 함수 $f$의 임계점의 집합인 경우, $\nu_X(P) = (-1)^{\dim M}(1 - \chi(F_P))$이며, 여기서 $F_P$는 밀놀르 원형이다.
• $\nu_X(P)$는 마이크로로컬하게 연결수 $L_{S_\epsilon}(\Gamma_\eta \cap S_\epsilon, \Delta \cap S_\epsilon)$로 계산되며, 이는 기하학적 해석을 제공한다.
• $\Omega_M$ 속의 정규 콘 $C_{X/M}$는 라그랑주이며, $\Delta$와의 교차는 $\nu_X(P)$에 대한 정확한 연결수를 제공한다.
• 모티빅 일반화 $\tilde{\mu}(X) = \int_X \nu_X d\mu$는 기존의 모티브 $\mu(X)$보다 스킴 구조를 더 깊이 반영하지만, $\chi(GL_n) = 0$로 인해 스택에서는 제한을 받는다.