[논문 리뷰] Positivity of equivariant Gromov-Witten invariants

Dave Anderson, Linda Chen|arXiv (Cornell University)|2011. 10. 26.

Geometric and Algebraic Topology참고 문헌 4인용 수 3

한 줄 요약

이 논문은 $G/P$에 대한 등변 Gromov-Witten 불변량의 양성(positivity)을 입증하며, 이들이 양의 근에 대한 비내림차수 다항식의 반순서환 $\mathbb{N}[\alpha_1,\ldots,\alpha_n]$ 안에 있음을 보여준다. 등변 모듈라이 공간 위에서의 전단성과 기하학적 교차 이론을 사용하여, 이러한 불변량을 효과적인 영차수 사이클의 차수로 표현함으로써, 등변 양자 cohomology 환에서의 일반화된 EQLR 계수들이 Graham-양성임을 증명한다. 이는 Mihalcea의 결과에 대한 새로운 증명을 제공하며, 다중점 불변량으로까지 확장한다.

ABSTRACT

We show that the equivariant Gromov-Witten invariants of a projective homogeneous space G/P exhibit Graham-positivity: when expressed as polynomials in the positive roots, they have nonnegative coefficients.

연구 동기 및 목표

• 등변 양자 cohomology의 $G/P$에서 다중점 등변 Gromov-Witten 불변량의 Graham-양성성을 확립하는 것.
• 전단성 추론을 통해 이러한 불변량을 효과적인 영차수 사이클의 차수로 기하학적으로 해석하는 것.
• Mihalcea의 EQLR 계수에 대한 양성 결과를 새로운 기하학적 접근을 통해 고차원점 불변량으로 일반화하는 것.
• 주요 증명에서의 차원 추정을 활용하여 $QH_T^*(SL_n/P)$에 대한 Giambelli 공식을 유도하는 것.
• 등변 양자 cohomology 환의 결합법칙 관계가 감소 없이 표현됨을 보여, 양성 구조를 강화하는 것.

제안 방법

• 모듈라이 공간 $\overline{M}_{0,r+1}(X,\mathbf{d})$ 위에서의 등변 투영 $\pi^T_*$ 를 통해 등변 Gromov-Witten 불변량을 등변 Schubert 클래스의 cup 곱의 투영으로 표현한다.
• $T$-다양체에 대해 유한 차원 모델을 사용하여 등변 cohomology 를 계산하기 위해 근사 공간 $\mathcal{Z} = \mathbb{E} \times^T Z$ 를 사용한다.
• 전단성 정리를 적용하여 등변 Schubert 다양체와 평가 위치의 교차가 Cohen-Macaulay이고 순수 차원인 사이클을 유도한다.
• 사이클 $V_\gamma = (\mathrm{ev}_1^T)^{-1}(\gamma_1\mathcal{Y}(v_1)) \cap \cdots \cap (\mathrm{ev}_r^T)^{-1}(\gamma_r\mathcal{Y}(v_r)) \cap \mathcal{Z}_J$ 를 정의하여, 이는 효과적인 영차수 사이클이며 그 차수가 불변량 계수를 제공한다.
• $V_\gamma$ 와 그 경계 $\partial V_\gamma$ 의 차원을 계수하여 사이클이 0차원이 되는 조건을 결정함으로써 차수의 정의 가능성을 확인한다.
• 피복 곱 항등식 $[V_\gamma] = (\mathrm{ev}^T)^* y(v_1) \cdots (\mathrm{ev}^T)^* y(v_r) \cdot (\mathrm{ev}_{r+1}^T)^* x(w) \cdot [\overline{\mathcal{M}}_J]$ 을 사용하여 사이클 클래스를 등변 cohomology 클래스와 동치로 놓는다.

실험 결과

연구 질문

• RQ1 등변 Gromov-Witten 불변량 $I^T_{\mathbf{d}}(y(v_1)\cdots y(v_r) \cdot x(w))$ 는 $r > 2$ 에 대해 Graham-양성인가?
• RQ2 이 불변량의 계수들은 효과적인 사이클의 차수로 기하학적으로 해석될 수 있는가?
• RQ3 등변 양자 cohomology 환의 결합법칙은 고차원점 EQLR 계수들도 역시 Graham-양성임을 암시하는가?
• RQ4 모듈라이 공간 기하학에서의 차원 추정은 $QH_T^*(SL_n/P)$ 에 대한 Giambelli 공식을 이끌 수 있는가?
• RQ5 Mihalcea가 사용한 대수적 방법을 피하는 기하학적 증명이 존재하는가?

주요 결과

• 등변 Gromov-Witten 불변량 $I^T_{\mathbf{d}}(y(v_1)\cdots y(v_r) \cdot x(w))$ 는 $\mathbb{N}[\alpha_1,\ldots,\alpha_n]$ 안에 있으며, 이는 임의의 $r \geq 2$ 에 대해 Graham-양성임을 증명한다.
• 불변량 전개 $\sum c_J \alpha^J$ 에서의 계수 $c_J$ 는 효과적인 영차수 사이클 $V_\gamma$ 의 차수와 같으며, 이는 음이 아닌 정수이다.
• 사이클 $V_\gamma$ 의 차원이 0일 경우, 이는 열린 모듈라이 공간 $\mathcal{M}$ 내의 유한 개의 점으로 이루어지며, 그 차수는 잘 정의되고 음이 아니다.
• 증명을 통해 일반화된 EQLR 계수 $c_{v_1,\ldots,v_r}^{w,\mathbf{d}}$ 가 등변 양자 cohomology 환에서 Graham-양성임을 유도하며, 이는 $r=2$ 경우를 기반으로 한 귀납법에 의해 이루어진다.
• 등변 양자 cohomology 환 $QH_T^*X$ 의 결합법칙 관계는 감소 없이 표현되며, 이는 구조 계수가 양의 근에 대한 음이 아닌 다항식임을 확인한다.
• 증명에서 도출된 차원 추정은 이후 작업 [AC] 에서 $QH_T^*(SL_n/P)$ 에 대한 Giambelli 공식을 도출하는 데 사용된다.