[논문 리뷰] On the polynomiality of orbifold Gromov--Witten theory of root stacks

Hsian‐Hua Tseng, Fenglong You|arXiv (Cornell University)|2020. 01. 01.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 4

한 줄 요약

이 논문은 루트 스택의 고차원 위상수학적 Gromov–Witten 불변량이 루트 차수 $ r $ 에 대한 다항식임을 증명하며, $ g > 0 $ 인 경우 차수는 $ 2g-1 $ 이하로 제한된다. 이러한 불변량이 상대 불변량과 일치하는 조건(다항식이 상수일 경우)을 제시하고, 비상수 항의 계수를 열거 및 가상 국소화 기법을 통해 분석하여, 중심 특이점과 분할의 불변량과의 연결 고리를 밝혀내며, 양자 리만–로흐와 기버 듀얼리티를 활용한다.

ABSTRACT

In \cite{TY18}, higher genus Gromov--Witten invariants of the stack of $r$-th roots of a smooth projective variety $X$ along a smooth divisor $D$ are shown to be polynomials in $r$. In this paper we study the degrees and coefficients of these polynomials.

연구 동기 및 목표

• 루트 스택의 고차원 위상수학적 Gromov–Witten 불변량의 $ r $ 에 대한 다항식의 최대 차수를 결정하는 것.
• 궤도 불변량이 상대 불변량과 일치하는 조건을 특정하는 것(즉, 다항식이 상수일 경우).
• 다항식의 비상수 항 계수를 분석하여, 그 기하학적 및 코homological 기원을 밝혀내는 것.
• 열거 및 가상 국소화 기법을 이용해 이러한 계수를 계산하는 프레임워크를 수립하는 것.

제안 방법

• 안정 사상의 모듈리 공간을 루트 스택 $ X_{D,r} $ 에 대해 분해하기 위해 열거 공식을 적용하여 구성요소 $ X $ 와 $ Y_{D_0,r} $ 로 나누는 것.
• 고정점의 기여도를 계산하기 위해 가상 국소화를 사용하며, 특히 $ g_1 > 0 $ 인 성분에 초점을 맞추는 것.
• 양자 리만–로흐 정리들을 활용하여 루트 기버 $ D_r $ 의 왜곡된 Gromov–Witten 불변량을 $ D $ 의 비왜곡 불변량과 연결하는 것.
• Andreini–Jiang–Tseng 와 Tang–Tseng 의 기버 듀얼리티 결과를 활용하여 $ D_r $ 의 불변량과 $ D $ 의 불변량을 연결하는 것.
• 다항식에서 $ r^j $-계수를 분석하기 위해 $ g_1 > g_0 $ 이고 $ g_2 < g - g_0 $ 인 항을 분리하며, 이때 $ j > 2g_0 - 1 $ 이다.
• 가상 국소화 공식을 사용하여, 성분의 분할과 코homology 가중치의 조합적 분할을 통해 차수 상한과 계수 구조를 계산하는 것.

실험 결과

연구 질문

• RQ1 루트 스택의 고차원 위상수학적 Gromov–Witten 불변량의 $ r $ 에 대한 다항식의 최대 차수는 무엇인가요?
• RQ2 궤도 불변량이 상대 불변량과 일치하는 조건은 무엇인가요? 즉, 다항식이 상수일 때는 언제인가요?
• RQ3 다항식의 비상수 항 계수를 결정하는 기하학적 또는 코homological 자료는 무엇인가요?
• RQ4 열거에서 중심 특이점과 분할의 불변량과 다항식의 계수는 어떻게 관련이 되나요?

주요 결과

• 고차원 위상수학적 Gromov–Witten 불변량 $ r^{m_-} \langle \cdots \rangle^{X_{D,r}}_{g,\vec{k},n,d} $ 의 차수는 $ g > 0 $ 인 경우 $ 2g - 1 $ 이하로 상한이 있다.
• 만약 $ g = 0 $ 이면 불변량은 $ r $ 에 대해 상수이므로 다항식의 차수는 0이며, 궤도 불변량과 상대 불변량이 일치한다.
• $ g > 0 $ 인 경우, 다항식의 차수가 0이 되는 것은, 중심 특이점 $ D_0 $ 에 높은 종수 성분을 갖는 안정 사상이 존재하지 않을 때에만 성립한다. 즉, 이러한 모든 성분이 종수 0이어야 한다.
• $ j > 0 $ 인 $ r^j $-계수의 기원은 $ g_1 > g_0 $ 이고 $ g_2 < g - g_0 $ 인 항들에서만 발생하며, 이때 $ j > 2g_0 - 1 $ 이다.
• 비상수 항의 계수는 $ Y_{D_0,r} $ 의 종수 $ g_1 $ 불변량과 $ (X,D) $ 의 종수 $ g_2 $ 상대 불변량에 의해 결정되며, 이때 $ g_1 > g_0 $ 이고 $ g_2 < g - g_0 $ 이다.
• 양자 리만–로흐와 기버 듀얼리티를 활용하여, 이러한 계수들은 궁극적으로 $ D $ 와 $ D_r $ 의 비왜곡 불변량에 의해 표현되며, 이는 $ D $ 의 불변량과 관련되어 있다.