[논문 리뷰] Higher genus quasimap wall-crossing for semi-positive targets

Ionuţ Ciocan-Fontanine, Bumsig Kim|arXiv (Cornell University)|2013. 08. 29.

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

한 줄 요약

이 논문은 반긍성적 GIT 몫공간에 대한 준매트릭 불변량에 대해 고유도의 벽을 넘는 공식을 수립하며, 영유도 결과를 고유도로 확장한다. Gromov-Witten 및 준매트릭 잠재력 간의 추측된 관계를 $J$-함수와 그 $1/z$-전개를 통해 증명하며, 반긍성적 토릭 다양체와 국소 Calabi-Yau 목표에 대해 완전한 증명을 제공한다. 국소화 및 $T$-등변 기법을 사용한다.

ABSTRACT

In previous work (arXiv:1304.7056) we have conjectured wall-crossing formulas for genus zero quasimap invariants of GIT quotients and proved them via localization in many cases. We extend these formulas to higher genus when the target is semi-positive, and prove them for semi-positive toric varieties, in particular for toric local Calabi-Yau targets. The proof also applies to local Calabi-Yau's associated to some non-abelian quotients.

연구 동기 및 목표

• 반긍성적 GIT 몫공간의 맥락에서 영유도 준매트릭 벽을 넘는 공식을 고유도로 확장하는 것.
• 고유도 불변량에 대해 Gromov-Witten 및 준매트릭 잠재력 간의 추측된 벽을 넘는 공식을 증명하는 것.
• 국소화 및 $T$-등변 기법을 통해 반긍성적 토릭 다양체와 국소 Calabi-Yau 목표에 대해 공식을 수립하는 것.
• 벽을 넘는 변환이 작은 $J$-함수의 $1/z$-전개에 의해 지배됨을 확인하는 것.

제안 방법

• 준매트릭 및 Gromov-Witten 불변량 간의 관계를 위해 $J^\varepsilon(q,t,z)$와 그 작은 형태인 $J^\varepsilon_{sm}(q,z)$를 사용한다.
• 작은 $J$-함수의 $1/z$-전개를 적용한다: $J^\varepsilon_{sm}(q,z) = J^\varepsilon_0(q)\mathbbm{1} + J^\varepsilon_1(q)/z + O(1/z^2)$.
• $\varepsilon$-안정 준매트릭의 매니폴드 공간에 국소화 기법을 적용하여 정점 기여도를 계산하고 $J$-함수를 일치시킨다.
• 작은 $I$-함수 $I_{sm}(q,z)$는 $J^\varepsilon_{sm}$의 $\varepsilon \to 0^+$ 극한으로 간주되며, 반긍성적 조건 하에서 $I_0 = 1$이다.
• 대상의 $T$-등변 구조를 활용하여 고정점이 고립되어 있고 1차원 궤도가 존재함을 보장함으로써 정확한 정점 계산이 가능하다.
• 변환된 잠재력 $F^\varepsilon_g$가 $J$-함수 계수를 통해 Gromov-Witten 잠재력 $F^\infty_g$와 일치함을 보여 벽을 넘는 공식을 검증한다.

실험 결과

연구 질문

• RQ1 반긍성적 목표에서 고유도 준매트릭 불변량과 Gromov-Witten 불변량 간의 벽을 넘는 관계는 어떻게 되는가?
• RQ2 이전에 국소화를 통해 증명된 영유도 벽을 넘는 공식을 고유도로 확장할 수 있는가?
• RQ3 반긍성적 GIT 몫공간에 대해 고유도에서 준매트릭과 Gromov-Witten 잠재력 간의 정확한 변환 법칙은 무엇인가?
• RQ4 고유도에서 $J$-함수의 $1/z$-전개가 벽을 넘는 변환을 지배하는가?
• RQ5 모든 안정성 매개변수 $\varepsilon$에 대해 벽을 넘는 공식이 균일하게 성립하는 조건은 무엇인가?

주요 결과

• 반긍성적 경우에서 모든 $\varepsilon \geq 0^+$에 대해 $ (J^\varepsilon_0)^{2g-2} F^\varepsilon_g(\mathbf{t}) = F^\infty_g\left( \frac{\mathbf{t} + J^\varepsilon_1}{J^\varepsilon_0} \right) $ 형태의 벽을 넘는 공식이 성립한다.
• 이 공식은 국소화 및 $T$-등변 기법을 통해 반긍성적 토릭 다양체와 국소 Calabi-Yau 목표에 대해 증명되었다.
• 고유도 $g=1$일 경우, $\overline{M}_{1,1}$에서 확산 방정식의 실패로 인해 보정 항 $\frac{1}{24}\chi_{\text{top}}(X)\log J^\varepsilon_0$ 가 필요하다.
• 반긍성적 삼중체에 대해 작은 $I$-함수는 $I_0 = 1$을 만족하며, 이는 벽을 넘는 변환을 단순화한다.
• 벽을 넘는 공식은 변환 $\mathbf{t}(\psi) \mapsto J^\varepsilon_0 \mathbf{t}(\psi) - J^\varepsilon_1$ 에 대해 불변이므로, 다양한 $\varepsilon$ 간의 일관성이 보장된다.
• 결과는 국소 그라스만리안과 플라그 다양체로 확장되며, 이 경우 $I$-함수를 명시적으로 계산할 수 있고, 균일한 정점 기여도로 인해 벽을 넘는 공식이 성립한다.