[논문 리뷰] Virasoro Constraints for Toric Bundles

Thomas D. Coates, Alexander Givental외 1명|arXiv (Cornell University)|2015. 08. 25.

Homotopy and Cohomology in Algebraic Topology인용 수 6

한 줄 요약

이 논문은 Gromov–Witten 이론에서 Virasoro 제약 조건이 토릭 bundle $E \to B$ 의 총공간에서 성립하는 것과 base $B$ 에서 성립하는 것이 동치임을 증명한다. 등변 국소화와 Brown의 토릭 번들의 미러 정리에 기반하여, $E$ 의 불변량을 섬유의 종수 0 불변량과 $B$ 의 모든 종수 불변량으로 표현하는 국소화 공식을 도출하고, 비등변 극한에서 $E$ 의 Virasoro 등급 연산자가 $B$ 의 것으로 줄어듦을 보여, 제약 조건의 동치성을 증명한다.

ABSTRACT

We show that the Virasoro conjecture in Gromov--Witten theory holds for the the total space of a toric bundle $E o B$ if and only if it holds for the base $B$. The main steps are: (i) we establish a localization formula that expresses Gromov--Witten invariants of $E$, equivariant with respect to the fiberwise torus action, in terms of genus-zero invariants of the toric fiber and all-genus invariants of $B$; and (ii) we pass to the non-equivariant limit in this formula, using Brown's mirror theorem for toric bundles.

연구 동기 및 목표

• 토릭 번들의 총공간 $E \to B$ 에서 Virasoro 제약 조건이 성립하는 조건을 규명하는 것.
• 토릭 섬유와 기저 $B$ 의 불변량을 통해 $E$ 의 등변 Gromov–Witten 불변량을 표현하는 국소화 공식을 수립하는 것.
• 이 공식의 비등변 극한이 $E$ 에서 Virasoro 제약 조건을 복원하는지 여부가 $B$ 에서의 제약 조건에 의존함을 보이는 것.
• Brown의 토릭 번들을 위한 미러 정리를 사용하여 비등변 영역에서 $E$ 와 $B$ 의 생성 함수를 연결하는 것.

제안 방법

• 토릭 섬유의 종수 0 불변량과 기저 $B$ 의 모든 종수 불변량을 통해 $E$ 의 등변 Gromov–Witten 불변량을 표현하는 국소화 공식을 유도하는 것.
• 생성 급수의 표현을 위해 $\mathcal{I}(-z)$ 를 사용하며, 이는 정상적 단계 분석과 관련된 점근적 행동을 갖는다.
• 국소화 공식에 비등변 극한을 적용하고, Brown의 토릭 번들의 미러 정리를 활용하여 $\mathcal{I}(-z)$ 를 $B$ 의 $\mathcal{D}$-모듈 구조와 연결하는 것.
• Virasoro 등급 연산자 $l_0(E) = zd/dz + 1/2 + \mu_E + c_1(E)/z$ 가 교환 관계를 통해 비등변 극한에서 $l_0(B)$ 로 줄어듦을 보이는 것.
• 등급 연산자 $E$ 와 $B$ 를 연결하는 교환 관계 $\mathcal{I}(-z)^{-1}(zd/dz + \mu_B + c_1(B)/z) = (zd/dz + \mu_E + \mathcal{E}(z)/z)\mathcal{I}(-z)^{-1}$ 를 사용하는 것.
• 기저 $\mathcal{D}_B^{\otimes |F|}$ 와 $\mathcal{D}_E$ 를 연결하는 루프 군 변환은 등급을 보존함을 보여, Virasoro 제약 조건의 동치성을 확인하는 것.

실험 결과

연구 질문

• RQ1 토릭 번들의 총공간 $E \to B$ 에서 Virasoro 제약 조건이 성립하는 조건은 무엇인가?
• RQ2 등변 국소화를 통해 $E$ 의 Gromov–Witten 불변량을 토릭 섬유와 기저 $B$ 의 불변량으로 표현할 수 있는가?
• RQ3 등변 국소화 공식의 비등변 극한이 $E$ 에서 Virasoro 제약 조건을 복원하는지 여부가 $B$ 에서의 제약 조건에 의존하는가?
• RQ4 비등변 영역에서 $E$ 의 $\mathcal{I}$-함수는 $B$ 의 $\mathcal{D}$-모듈 구조와 어떻게 관련되는가?
• RQ5 비등변 극한에서 $E$ 의 등급 연산자가 $B$ 와 동치인지, 그리고 이것이 Virasoro 제약 조건의 동치성을 암시하는가?

주요 결과

• Virasoro 제약 조건이 $E$ 에서 성립하는 것과 base $B$ 에서 성립하는 것은 동치이며, 이는 제약 문제를 base로 완전히 축소함을 보여준다.
• 국소화 공식을 통해 $E$ 의 등변 Gromov–Witten 불변량이 토릭 섬유의 종수 0 불변량과 $B$ 의 모든 종수 불변량을 통해 $\mathcal{I}(-z)$-함수를 통해 표현됨을 보여준다.
• 비등변 극한에서 $E$ 의 $\mathcal{I}(-z)$-함수는 Brown의 미러 정리에 의해 $B$ 의 $\mathcal{D}$-모듈과 연결됨을 보여준다.
• 교환 관계 $\mathcal{I}(-z)^{-1}(zd/dz + \mu_B + c_1(B)/z) = (zd/dz + \mu_E + \mathcal{E}(z)/z)\mathcal{I}(-z)^{-1}$ 는 비등변 극한에서 $E$ 의 등급 연산자가 $B$ 의 것으로 줄어듦을 보여준다.
• 기저 $\mathcal{D}_B^{\otimes |F|}$ 와 $\mathcal{D}_E$ 를 연결하는 루프 군 변환은 Virasoro 등급을 보존함을 보여, 제약 조건의 동치성을 확인한다.
• 이 결과는 $\mathcal{I}$-함수와 그 점근적 행동이 미러 매핑과 호환됨을 전제로 하며, 이는 동일한 $I_E$-함수로부터의 구성에 의해 보장된다.