[논문 리뷰] Stable pairs with descendents on local surfaces I: the vertical component

Martijn Kool, Richard Thomas|arXiv (Cornell University)|2016. 05. 09.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 3

한 줄 요약

이 논문은 $X = K_S$인 국소 Calabi-Yau 3-fold에서의 전반적인 안정 쌍 이론을 계산하며, 여기서 $S$는 매끄러운 캐논리컬 초면을 가진 표면이다. $\mathbb{C}^*$-국소화와 코세그먼트 국소화를 사용하여, 엄밀한 분할에 의해 인덱싱된 $C$의 수직 두꺼운 구조로 계산을 축소하고, 곡선 계열 $[C]$ 및 $2[C]$에서의 불변량의 생성 함수에 대해 닫힌 곱 공식을 유도하며, 내림표-MNOP 대응을 통해 Maulik-Pandharipande의 추측을 검증한다.

ABSTRACT

We study the full stable pair theory --- with descendents --- of the Calabi-Yau 3-fold $X=K_S$, where $S$ is a surface with a smooth canonical divisor $C$. By both $\mathbb C^*$-localisation and cosection localisation we reduce to stable pairs supported on thickenings of $C$ indexed by partitions. We show that only strict partitions contribute, and give a complete calculation for length-1 partitions. The result is a surprisingly simple closed product formula for these "vertical" thickenings. This gives all contributions for the curve classes $[C]$ and $2[C]$ (and those which are not an integer multiple of the canonical class). Here the result verifies, via the descendent-MNOP correspondence, a conjecture of Maulik-Pandharipande, as well as various results about the Gromov-Witten theory of $S$ and spin Hurwitz numbers.

연구 동기 및 목표

• 국소 Calabi-Yau 3-fold $X = \mathrm{Tot}(K_S)$에서 표면 $S$가 매끄러운 캐논리컬 초면 $C$를 가진 경우, 전체 안정 쌍 이론을 내림표와 함께 계산하는 것.
• 안정 쌍 불변량의 계산을 $\mathbb{C}^*$-행동의 고정점으로 축소하여, $C$의 두꺼운 구조에 지지된 성분에 집중하는 것.
• 곡선 계열 $d\cdot [\mathsf{k}]$에서 불변량에 기여하는 것은 엄밀한 분할뿐임을 보이는 것, 여기서 $\mathsf{k}$는 캐논리컬 클래스이다.
• 곡선 계열 $[C]$ 및 $2[C]$에서의 수직 기여의 생성 함수에 대해 닫힌 곱 공식을 도출하여, Maulik-Pandharipande의 추측을 검증하는 것.

제안 방법

• $X = K_S$에서의 안정 쌍의 모듈리 공간에 $\mathbb{C}^*$-등변 국소화를 적용하여, $K_S$의 섬유에서의 $\mathbb{C}^*$-행동에 대한 고정점으로 계산을 축소하는 것.
• 코세그먼트 국소화를 사용하여 계산을 캐논리컬 초면 $C$의 두꺼운 구조에 지지된 안정 쌍으로 추가로 제한하는 것, 여기서 분할 $\boldsymbol{\lambda} \vdash d$에 의해 인덱싱된다.
• 고정 성분이 $I_C(-\lambda_1 S) + \cdots + I_C^l$ 형태의 아이디얼에 의해 정의된 지지에서 유도된 것으로 특성화하는 것, 여기서 $I_C$는 $\pi^*C$의 아이디얼 층이다.
• 엄밀한 분할(즉, $\lambda_0 > \lambda_1 > \cdots > \lambda_{l-1} > 0$)만이 불변량에 기여함을 보이는 것.
• 타우토로지컬 클래스를 이용하여 중첩된 점의 Hilbert 스킴 위에서의 가상 정규 벡터다발과 차단 이론을 표현함으로써 명시적 계산이 가능하게 하는 것.
• Pixton과 Zagier의 생성 함수 항등식을 사용하여 적분을 평가하고, 수직 기여에 대한 닫힌 곱 공식을 도출하는 것.

실험 결과

연구 질문

• RQ1 어느 곡선 계열이 $X = K_S$에서 내림표와 함께 비영인 안정 쌍 불변량을 지니며, 어떤 조건에서 그 값이 0이 되는가?
• RQ2 안정 쌍 불변량을 $X = K_S$에서 캐논리컬 초면 $C$의 두꺼운 구조에 지지된 성분으로 국소화하는 방법은 무엇인가?
• RQ3 곡선 계열 $[C]$ 및 $2[C]$에서 전체 안정 쌍 불변량에 대한 '수직' 성분(즉, $\pi^{-1}(C)$에 지지된 성분)의 정확한 기여는 무엇인가?
• RQ4 내림표-MNOP 대응을 사용하여 $X = K_S$에서의 안정 쌍 계산을 통해 $S$의 Gromov-Witten 불변량에 대한 Maulik-Pandharipande의 추측을 검증할 수 있는가?
• RQ5 수직 안정 쌍 불변량의 생성 함수에 대한 명시적 닫힌 공식은 무엇인가?

주요 결과

• 곡선 계열 $d\cdot [\mathsf{k}]$에서 안정 쌍 불변량에 기여하는 것은 엄밀한 분할 $\boldsymbol{\lambda} = (\lambda_0 > \cdots > \lambda_{l-1} > 0)$ 뿐이며, 비엄밀한 분할은 기여하지 않는다.
• 길이 1의 분할 $\boldsymbol{\lambda} = (d)$에 대해, 생성 함수에 대한 수직 기여는 등변 매개변수 $t$와 곡선 계열 $d\cdot [\mathsf{k}]$에 대한 삼각함수 및 유리함수를 포함하는 닫힌 곱 공식으로 주어진다.
• 곡선 계열 $d\cdot [\mathsf{k}]$에서의 수직 불변량의 생성 함수는 형식적 변수 $v_j$에 대한 곱으로 표현되며, $\sin(n\,du/2)$와 Pochhammer 유사分모를 포함한다.
• 생성 함수의 주요 항은 곡선 계열 $d\cdot [\mathsf{k}]$에서의 $S$의 Gromov-Witten 불변량과 일치하여, 이러한 경우에 내림표-MNOP 대응이 확인된다.
• 결과적으로, $X = K_S$에서의 수직 안정 쌍 불변량을 통해 $S$의 Gromov-Witten 이론에 대한 Maulik-Pandharipande의 추측이 검증되며, 특히 $d=1$ 및 $d=2$의 경우에 해당된다.
• Pixton과 Zagier의 핵심 항등식을 사용하여 적분을 평가하였으며, $\sin(nx)/\sin^n x$를 포함하는 생성 함수 전개에서 주요 계수 $A_\alpha = \frac{1}{(2\alpha-1)!!}$ 가 나타난다.