[논문 리뷰] Equivariant Gromov-Witten theory of one dimensional stacks

Paul D. Johnson|ArXiv.org|2009. 03. 05.

Algebraic Geometry and Number Theory참고 문헌 35인용 수 31

한 줄 요약

이 논문은 일차원 오비폴드 곡선 $\mathcal{C}_{r,s}$의 $\mathbb{C}^*$-동차 Gromov-Witten 불변량을 계산하기 위한 연산자 형식을 수립한다. 이는 오쿠노보-판다리파데의 $\mathbb{P}^1$에 대한 작업을 확장한 것으로, 무한 와이어드 표현을 통해 생성함수를 유도하고 이 이론이 2-Toda 계열을 만족함을 증명하여 이러한 불변량에 대한 완전한 대수적 프레임워크를 제공한다.

ABSTRACT

In math.AG/0207233, Okounkov and Pandharipande gave an operator formalism for computing the equivariant Gromov-Witten theory of the projective line. This thesis extends their result to orbifold lines. In the effective case the theory is again governed by the 2-Toda hierarchy. In the ineffective case the decomposition conjecture of hep-th/0606034 is verified.

연구 동기 및 목표

• Okounkov와 Pandharipande의 $\mathbb{P}^1$에 대한 동차 Gromov-Witten 이론을, 0과 $\infty$에서 각각 $\mathbb{Z}_r$ 및 $\mathbb{Z}_s$ 오비폴드 구조를 가진 $\mathcal{C}_{r,s}$로 일반화한다.
• 무한 와이어드 표현을 이용한 대수적 프레임워크를 개발하여 $\mathcal{C}_{r,s}$의 모든 동차 Gromov-Witten 불변량을 계산한다.
• 이 불변량의 생성함수가 2-Toda 적분 가능 계열을 만족함을 증명하여, 매끄러운 경우에서의 적분 구조를 확장한다.

제안 방법

• Okounkov와 Pandharipande의 연산자 형식을 적응하여, Gromov-Witten 불변량을 무한 와이어드 모듈에서 진공 기대값으로 표현한다.
• Gauss 기하급수 함수와 Barnes 유형 적분을 사용하여 생성함수 $f_{m,u}(z,a,w,b)$를 구성하여 동차 불변량을 포함한다.
• 생성함수의 해석적 성질을 분석하여, 명백한 특이성에도 불구하고 $z + w = 0$ 근처에서 해석적임을 보인다.
• 기하급수 함수의 오일러 적분 표현을 이용해 수렴성과 해석성을 제어하며, 특히 $z = -w$에서의 성질을 다룬다.
• 기하급수 함수의 1에서의 반사 및 대칭 성질을 적용하여 명백한 극을 해결하고 해석성을 확인한다.
• 특히 $z + w = 0$에서의 잔여물을 비교하여 2-Toda 계열의 연산자 간 교환관계를 검증한다.

실험 결과

연구 질문

• RQ1 스태크이 $\mathbb{P}^1$에서 $\mathbb{Z}_r$ 및 $\mathbb{Z}_s$ 오비폴드 점을 가진 동차 Gromov-Witten 이론은 무한 와이어드 내의 연산자 기대값으로 표현될 수 있는가?
• RQ2 이 불변량의 생성함수는 매끄러운 $\mathbb{P}^1$의 경우와 마찬가지로 2-Toda 계열을 만족하는가?
• RQ3 0과 $\infty$에서의 오비폴드 구조는 생성함수의 해석적 구조와 대칭성에 어떤 영향을 미치는가?
• RQ4 Pochhammer 기호와 Barnes 유형 적분은 생성함수의 특이성을 제어하는 데 어떤 역할을 하는가?
• RQ5 $\mathcal{E}_0$ 연산자로부터 온 계수는 $z + w = 0$에서 어떻게 행동하며, 교환관계 구조에 영향을 미치는가?

주요 결과

• 생성함수 $f_{m,u}(z,a,w,b)$는 $z + w = 0$의 근처에서 해석적이며, Pochhammer 기호에서 유래한 명백한 특이성을 해결한다.
• $z = -w$에서 기하급수 함수는 유리수 표현으로 평가되며, $f_{m,u}(z,a,-z,b)$가 해석적임을 확인하고 구체적으로 $-\frac{z + \frac{a-b}{2}}{mr + \frac{a+b}{2}} \sinh(u|K|(rm + \frac{a+b}{2})z)$로 주어진다.
• $m = a = b = 0$일 경우 함수는 $-u|K|z^2$로 단순화되어 원점 근처의 주요 항 행동을 보여준다.
• 2-Toda 계열의 연산자 간 교환관계는 $zw\delta(z, -w)$에 비례하며, 올바른 대수적 구조임을 확인한다.
• $g$-경우에서 $n = -1$일 때 교환관계는 $\gamma(-\Bbbk)zw\delta(z, -w)$를 얻으며, 기대하는 2-Toda 교환관계와 일치한다.
• $f$-경우($n$이 짝수)에서 $\mathcal{E}_0$의 계수는 $z + w = 0$에서 0이 되고, $g$-경우에서는 $-\gamma(-\Bbbk)u|K|z^2$로 줄어들어 일관된 교환관계 구조를 보장한다.