[논문 리뷰] The Donaldson-Thomas theory of $K3 imes E$ via the topological vertex

Jim Bryan|arXiv (Cornell University)|2015. 04. 11.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 8

한 줄 요약

이 논문은 동차 곡선 계열에서 자가교차수 $-2$ 와 $0$ 를 가진 $K3 \times E$ 의 Donaldson-Thomas 분할 함수를 계산한다. 이는 동역학적 및 토릭 방법을 결합한 방식과 함께 위상 정점(топological vertex)을 사용하여 이루어지며, Oberdieck-Pandharipande 추측의 예측과 일치함을 증명한다. 결과적으로, 이들 경우 분할 함수는 각각 메로모르픽 자지 폼 $F^{-2}\Delta^{-1}$ 와 $-24\wp\Delta^{-1}$ 라는 형태를 띠며, 이는 추측에 대한 강력한 증거를 제공한다.

ABSTRACT

Oberdieck and Pandharipande conjectured that the curve counting invariants of $S imes E$, the product of a $K3$ surface and an elliptic curve, is given by minus the reciprocal of the Igusa cusp form of weight 10. For a fixed primitive curve class in $S$ of square $2h-2$, their conjecture predicts that the corresponding partition functions are given by meromorphic Jacobi forms of weight $-10$ and index $h-1$. We calculate the partition functions for primitive classes of square -2 and of square 0. Our computation uses reduced Donaldson-Thomas invariants which are defined as the Behrend function weighted Euler characteristics of the quotient of the Hilbert scheme of curves in $S imes E$ by the action of $E$. Our technique is a mixture of motivic and toric methods (developed with Martijn Kool) which allows us to express the partition functions in terms of the topological vertex and subsequently in terms of Jacobi forms. We compute the partition functions for both Behrend function weighted Euler characteristics and for unweighted Euler characteristics. The results for the Behrend function weighted case depends on Conjecture 18 from https://arxiv.org/abs/1608.07369

연구 동기 및 목표

• 자기교차수 $-2$ 와 $0$ 를 가진 기본 곡선 계열에서 $K3 \times E$ 의 Donaldson-Thomas 분할 함수를 계산하여 Oberdieck-Pandharipande 추측에 대한 증거를 제공한다.
• Calabi-Yau 3차 곡면의 불변량을 계산하기 위해 동역학적 및 토릭 기법을 위상 정점과 결합한 계산 프레임워크를 개발하고 적용한다.
• 결과로 도출된 분할 함수가 추측된 무게 $-10$ 과 지수 $h-1$ 를 가진 메로모르픽 자지 폼과 일치하는지 확인한다.
• 감소된 Donaldson-Thomas 불변량과 안정 쌍 불변량 사이의 연결 고리를 몰수 힐베르트 스킴을 통해 수립한다.
• 가중치 경우에서 Conjecture 18 [5] 를 가정할 때, 국소적으로 단항식 코hen-맥컬레이 부분 스킴에서 Behrend 함수의 행동을 조사한다.

제안 방법

• 계산은 타원 곡선 $E$ 가 $K3 \times E$ 의 곡선 힐베르트 스킴에 작용하는 몫의 Behrend 함수 가중 및 비가중 올리고메르 특성으로 정의된 감소된 Donaldson-Thomas 불변량을 사용한다.
• 힐베르트 스킴은 곡선의 기하학적 지지에 따라 분할되며, $E$- 및 $\mathbb{C}^*$-작용에 대한 고정점의 위치를 분석하여 문제를 단항식 아이디얼로 환원한다.
• 위상 정점은 이러한 단항식 아이디얼을 세는 데 적용되어 분할 함수의 닫힌 형태로의 계산을 가능하게 한다.
• 이 방법은 위상 정점에 대한 새로운 항등식과 특이점의 형식적 국소 구조를 이용하여 제어 가능한 특이성을 가진 곡선 지지에 대응하기 위해 필요하다.
• Behrend 함수 가중 불변량의 계산은 [5] 의 Conjecture 18 을 가정하며, 이는 단항식 아이디얼에서 Behrend 함수의 행동을 지배한다.
• 이 프레임워크는 특히 $h=1$ 인 경우에 수직 및 대각선 곡선 성분을 포함하도록 확장된다.

실험 결과

연구 질문

• RQ1 자기교차수 $-2$ 와 $0$ 을 가진 기본 곡선 계열에서 $K3 \times E$ 의 감소된 Donaldson-Thomas 불변량이 Oberdieck-Pandharipande 추측의 예측과 일치하는가?
• RQ2 위상 정점은 분할 전략과 고정점 환원 전략을 통해 $K3 \times E$ 의 분할 함수를 효과적으로 계산하는 데 사용될 수 있는가?
• RQ3 자기교차수 $-2$ 를 가진 $K3$ 표면의 기본 곡선 계열에 대해 $K3 \times E$ 의 분할 함수의 정확한 형태는 무엇인가?
• RQ4 이 맥락에서 몰수 힐베르트 스킴의 Behrend 함수 가중 올리고메르 특성과 안정 쌍 불변량 사이의 관계는 어떠한가?
• RQ5 비토릭 특이점(예: 쌍곡점)의 기여는 위상 정점 프레임워크에 체계적으로 통합될 수 있는가?

주요 결과

• 자기교차수 $-2$ 를 가진 $K3 \times E$ 의 기본 곡선 계열에 대한 분할 함수는 $F^{-2}\Delta^{-1}$ 로 계산되며, 여기서 $F$ 는 자지 테타 함수이고 $\Delta$ 는 디스크리미넌트 모듈라 형식이다.
• 자기교차수 $0$ 인 기본 곡선 계열에 대해서는 분할 함수가 $-24\wp\Delta^{-1}$ 로 주어지며, $\wp$ 는 위어스트라스 $\wp$-함수이다.
• 결과는 Oberdieck-Pandharipande 추측의 예측과 일치하며, 분할 함수가 무게 10 인 이구사 극점 형식 $\chi_{10}$ 의 역수인 $-1/\chi_{10}$ 임을 확인한다.
• 감소된 $h=0$ 의 몰수 힐베르트 스킴의 비가중 올리고메르 특성은 $-\widehat{\mathsf{DT}}_0(X)$ 이며, $h=1$ 에서는 $-\widehat{\mathsf{DT}}_{1,\text{vert}}(X) + \widehat{\mathsf{DT}}_{1,\text{diag}}(X)$ 이다.
• Behrend 함수 가중 불변량의 계산은 [5] 의 Conjecture 18 에 기반하며, 이는 국소적으로 단항식 코헨-맥컬레이 부분 스킴에서 Behrend 함수의 행동을 지배한다.
• 이 방법은 위상 정점에 의한 단항식 아이디얼 수세기로 문제를 환원하여, 고유도 곡선 수세기에서 토릭 및 동역학적 기법의 강력함을 입증한다.