[논문 리뷰] Motivic degree zero Donaldson-Thomas invariants

Kai Behrend, Jim Bryan외 1명|arXiv (Cornell University)|2009. 09. 28.

Algebraic Geometry and Number Theory참고 문헌 33인용 수 50

한 줄 요약

이 논문은 슈퍼퍼텐셜의 모티브적 소멸 사이클을 통해 가상 모티브를 정의하여, 매끄럽고 복소수인 3차원 다양체, 특히 칼라비-양 3차원 다양체의 점들에 대한 힐베르트 스킴에 대해 모티브적 0차 도널드슨-타우스 인버티언트를 도입한다. 주요 결과는 $\mathbb{C}^3$의 가상 모티브에 대한 닫힌 형식의 생성함수로, 레프셰츠 모티브와 변형된 맥마혼 함수를 포함하는 곱으로 표현되며, 일반적인 3차원 다양체에 대해서는 모티브적 지수 함수를 통해 일반화된다.

ABSTRACT

Given a smooth complex threefold X, we define the virtual motive of the Hilbert scheme of n points on X. In the case when X is Calabi-Yau, this gives a motivic refinement of the n-point degree zero Donaldson-Thomas invariant of X. The key example is affine three-space, where the Hilbert scheme can be expressed as the critical locus of a regular function on a smooth variety, and its virtual motive is defined in terms of the Denef-Loeser motivic nearby fiber. A crucial technical result asserts that if a function is equivariant with respect to a suitable torus action, its motivic nearby fiber is simply given by the motivic class of a general fiber. This allows us to compute the generating function of the virtual motives of the Hilbert schemes of affine three-space via a direct computation involving the motivic class of the commuting variety. We then give a formula for the generating function for arbitrary X as a motivic exponential, generalizing known results in lower dimensions. The weight polynomial specialization leads to a product formula in terms of deformed MacMahon functions, analogous to Gottsche's formula for the Poincare polynomials of the Hilbert schemes of points on surfaces.

연구 동기 및 목표

• 매끄럽고 복소수인 3차원 다양체 위의 점들에 대한 힐베르트 스킴에 대해 0차 도널드슨-타우스 인버티언트의 모티브적 정밀화를 정의하는 것.
• 가상 오일러 특성의 정밀화인 다양체의 그로텐디크 링 안에서 가상 모티브 $[\mathop{\rm Hilb}\nolimits^n(X)]_{\rm vir}$ 를 구성하는 것.
• 모티브적 지수 함수를 사용하여 임의의 매끄러운 3차원 다양체 $X$에 대해 가상 파artition 함수 $Z_X(t)$ 의 일반 공식을 수립하는 것.
• 주요 기술적 결과 증명: 적절한 토르스 작용 하에서 등변인 함수의 경우, 그 모티브적 소멸 사이클은 일반 섹션과 중심 섹션의 차이와 일치한다.
• 공동으로 작용하는 다양체의 기하학적 기법과 모티브적 클래스 기법을 통해 $\mathbb{C}^3$의 가상 모티브 생성함수를 계산하는 것.

제안 방법

• 비가역점 집합 $Z = \{df = 0\}$ 에 대해 Denef–Loeser의 모티브적 소멸 사이클 $[\varphi_f]$ 를 사용하여 가상 모티브 $[Z]_{\rm vir}$ 를 정의하며, $-\mathbb{L}^{-\dim M/2}$ 로 스케일링한다.
• 슈퍼퍼텐셜 구성법을 활용하여 $\mathop{\rm Hilb}\nolimits^n(\mathbb{C}^3)$ 이 매끄러운 다양체 $M_n$ 상의 정칙 함수 $f_n$ 의 비가역점 집합으로서 실현됨을 보인다.
• 원형 컴acts 및 무게 조건을 만족하는 토르스 등변 함수에 대해 $[\varphi_f] = [f^{-1}(1)] - [f^{-1}(0)]$ 임을 증명하여 계산을 단순화한다.
• 이 결과를 적용하여 공동으로 작용하는 다양체의 모티브적 클래스를 통해 생성함수 $Z_{\mathbb{C}^3}(t) = \sum_{n=0}^\infty [\mathop{\rm Hilb}\nolimits^n(\mathbb{C}^3)]_{\rm vir} t^n$ 을 계산한다.
• 힐베르트-차우 사상과 가상 모티브를 사용하여 일반적인 매끄러운 3차원 다양체 $X$ 에 대해 결과를 일반화하고, 모티브적 지수 함수 공식을 도출한다.
• 모티브적 지수 함수 $\mathop{\rm Exp}\nolimits$ 를 사용하여 파artition 함수 $Z_X(-t)$ 를 그로텐디크 링 안에서 지수 함수로 표현하며, 입력으로 $[X]_{\rm vir}$ 와 $[\mathbb{P}^{d-2}]_{\rm vir}$ 를 포함한다.

실험 결과

연구 질문

• RQ1 어떻게 매끄러운 3차원 다양체 위의 점들에 대한 힐베르트 스킴에 대해 0차 도널드슨-타우스 인버티언트의 모티브적 정밀화를 정의할 수 있는가?
• RQ2 어떤 조건에서 토르스 등변 함수의 모티브적 소멸 사이클이 일반 섹션과 중심 섹션의 클래스 차이로 단순화되는가?
• RQ3 가상 모티브의 생성함수 $\mathop{\rm Hilb}\nolimits^n(\mathbb{C}^3)$ 는 명시적으로 어떻게 표현되는가?
• RQ4 임의의 매끄러운 3차원 다양체에 대해 모티브적 파artition 함수는 차원에 관계없이 통일된 공식으로 표현될 수 있는가?
• RQ5 모티브적 0차 DT 파artition 함수는 표면 및 곡선의 경우 알려진 결과와 어떻게 관련이 있는가?

주요 결과

• 가상 모티브의 생성함수 $\mathop{\rm Hilb}\nolimits^n(\mathbb{C}^3)$ 는 $Z_{\mathbb{C}^3}(t) = \prod_{m=1}^\infty \prod_{k=0}^{m-1} \left(1 - \mathbb{L}^{k+2 - m/2} t^m \right)^{-1}$ 로 주어지며, 이는 변형된 맥마혼 함수의 곱으로 표현된다.
• 가상 모티브 $[\mathop{\rm Hilb}\nolimits^n(\mathbb{C}^3)]_{\rm vir}$ 는 매끄러운 공간 위의 슈퍼퍼텐셜의 모티브적 소멸 사이클을 통해 구성되며, 힐베르트-차우 사상과의 호환성이 있다.
• 모든 매끄러운 3차원 다양체 $X$ 에 대해, 모티브적 0차 도널드슨-타우스 파artition 함수는 $Z_X(-t) = \mathop{\rm Exp}\nolimits\left( [X] \frac{ -\mathbb{L}^{-3/2} t }{ (1 + \mathbb{L}^{1/2} t)(1 + \mathbb{L}^{-1/2} t) } \right)$ 로 주어지며, 이는 저차원 결과를 일반화한다.
• 원형 컴acts 작용을 갖는 토르스 등변 함수의 모티브적 소멸 사이클은 $[\varphi_f] = [f^{-1}(1)] - [f^{-1}(0)]$ 를 만족하며, 이는 명시적 계산을 가능하게 하는 주요 기술적 결과이다.
• 이 공식은 차원에 관계없이 결과를 통합한다: $d = \dim X$ 일 때 파artition 함수는 $Z_X(T) = \mathop{\rm Exp}\nolimits\left( T[X]_{\rm vir} \mathop{\rm Exp}\nolimits(T[\mathbb{P}^{d-2}]_{\rm vir}) \right)$ 로 주어지며, 여기서 $T = (-1)^d t$ 이고 $[X]_{\rm vir} = \mathbb{L}^{-d/2}[X]$ 이다.
• 주요 정리의 증명은 바이알리니-비르울라 분해와 고정점 성분의 정규군의 무게 수를 사용하며, 모든 고정점 성분 $F$ 에 대해 $I_1(F) \neq \emptyset$ 임을 보여 합에서 상쇄가 일어남을 보여준다.