[논문 리뷰] Gromov-Witten invariants for G/B and Pontryagin product for ΩK

Naichung Conan Leung, Changzheng Li|arXiv (Cornell University)|2008. 10. 27.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 3

한 줄 요약

이 논문은 기저가 있는 반복군 $\Omega K$ 의 등변 호모로지 위에서의 폰트리아진 곱을 유도하여, 플라그 다양체 $G/B$ 의 양자 코hom로지 링에서 등변 양자 슈베르트 구조 상수에 대한 명시적 공식을 제공한다. 핵심 결과는 유리 함수 $c_{x,[y]}$ 와 $d_{x,[y]}$ 를 포함하는 유한하고 조합론적인 공식으로, 코웨이트 쌍의 유한 집합 위에서의 합으로 3점 고리의 종수 0 그로모프-와이너 인버티언트를 계산하며, degree 조건 $\langle\lambda,2\rho\rangle = \ell(u)+\ell(v)-\ell(w)$ 가 만족될 경우 결과는 상수이다.

ABSTRACT

We give an explicit formula for (T-equivariant) 3-pointed genus zero Gromov-Witten invariants for G/B. We derive it by finding an explicit formula for the equivariant Pontryagin product on the homology of the based loop group ΩK.

연구 동기 및 목표

• 양자 코hom로지 링 $QH^*_{T}(G/B)$ 에서의 (등변) 양자 슈베르트 구조 상수에 대한 명시적 공식을 제공함으로써, 종수 0 그로모프-와이너 인버티언트를 포함하여 고전적 슈베르트 구조 상수를 일반화한다.
• 기저가 있는 반복군 $\Omega K$ 의 등변 호모로지 위에서의 폰트리아진 곱과 $G/B$ 의 등변 양자 코hom로지 사이의 연결 고리를 확립함으로써, 호모토피 동치 $\Omega_{\text{an}}K \simeq \Omega K$ 를 활용한다.
• 유리 함수 $c_{x,[y]}$ 와 $d_{x,[y]}$ 를 사용하여 종수 0 그로모프-와이너 인버티언트 $N_{u,v}^{w,\lambda}$ 에 대한 유한하고 조합론적인 표현을 유도하며, 이는 $\langle\lambda,2\rho\rangle = \ell(u)+\ell(v)-\ell(w)$ 의 degree 조건을 만족할 때 유용하다.

제안 방법

• 저자들은 기저가 있는 반복군 $\Omega K$ 와 그 등변 호모로지의 구조에 기반하여, 애파인 웨일 군 $W_{\text{af}} = W \ltimes Q^\vee$ 의 원소 $x,y$ 에 대해 유리 함수 $c_{x,[y]}$ 와 $d_{x,[y]}$ 를 조합론적으로 정의한다.
• 폰트리아진 곱 $p_{x,y}^z$ 는 공식 $p_{x,y}^z = \sum_{v \in W_{\text{af}}^-} d_{x,v} d_{y,v} c_{z,v}$ 를 통해 표현되며, 이는 이후 양자 슈베르트 구조 상수를 계산하는 데 사용된다.
• 양자 슈베르트 구조 상수에 대한 주요 공식은 $N_{u,v}^{w,\lambda} = \sum_{\lambda_1,\lambda_2 \in Q^\vee} c_{ut_A,[t_{\lambda_1}} c_{vt_A,[t_{\lambda_2}} d_{wt_{2A+\lambda},[t_{\lambda_1+\lambda_2}}]$ 로 유도되며, 여기서 $A = -\frac{1}{2}n(n+1)\sum_{i=1}^n w_i^\vee$ 이고, 합은 유한 집합 $\Gamma \times W$ 로 줄어든다.
• 유한한 합은 $\lambda_1, \lambda_2 \succcurlyeq A$ 와 $\lambda_1 + \lambda_2 \preccurlyeq 2A + \lambda$ 를 조건으로 하여 $\lambda_1, \lambda_2 \in \tilde{Q}^\vee$ 로 제한함으로써 달성되며, 이는 유한한 수의 비영항 항만 남도록 보장한다.
• 평가 사상 $\text{ev}: \hat{S} \to S$ 를 사용하여 $T$-등변 설정으로 확장되며, 이는 영원한 루트 $\delta = \alpha_0 + \theta$ 를 0으로 보냄으로써, $T$-등변 구조 상수는 $\tilde{p}_{x,y}^z = \sum_{v \in W_{\text{af}}^-} d_{x,[v]} d_{y,[v]} c_{z,[v]}$ 로 표현된다.
• 이 방법은 $\mathcal{G}/\mathcal{P}_0 \simeq \Omega K$ 의 브라우트 분해에 기반하며, 이는 $H_*(\Omega K, \mathbb{Z})$ 에 슈베르트 기저를 유도하고, $\hat{T}$-등변 구조를 사용하여 $\mathcal{G}/\mathcal{B}$ 의 코homology 클래스를 $\Omega K$ 의 클래스와 연결한다.

실험 결과

연구 질문

• RQ1 기저가 있는 반복군의 애파인 웨일 군에서의 조합론적 자료를 바탕으로, $G/B$ 의 등변 양자 슈베르트 구조 상수 $N_{u,v}^{w,\lambda}$ 는 어떻게 명시적으로 계산할 수 있는가?
• RQ2 기저가 있는 반복군 $\Omega K$ 의 등변 호모로지 위에서의 폰트리아진 곱과 양자 코hom로지 링 $QH^*_{T}(G/B)$ 사이의 정확한 관계는 무엇인가?
• RQ3 그로모프-와이너 인버티언트에서 코웨이트에 대한 무한 합은 코웨이트 매개변수에 대한 조합론적 제약 조건을 통해 어떻게 유한한 합으로 줄일 수 있는가?
• RQ4 매개변수 $A = -\frac{1}{2}n(n+1)\sum_{i=1}^n w_i^\vee$ 는 구조 상수를 단순화하는 데 어떤 역할을 하는가? 특정 경우에 더 작은 값으로 대체할 수 있는가?
• RQ5 유리 함수 $c_{x,[y]}$ 와 $d_{x,[y]}$ 는 기저가 있는 반복군의 기하학을 어떻게 캡슐화하며, 그로모프-와이너 인버티언트의 명시적 평가를 가능하게 하는가?

주요 결과

• 양자 슈베르트 구조 상수 $N_{u,v}^{w,\lambda}$ 는 $\Gamma \times W$ 위에서의 유한한 합으로 주어지며, 여기서 $\Gamma$ 는 $\lambda_1, \lambda_2 \succcurlyeq A$, $\lambda_1 + \lambda_2 \preccurlyeq 2A + \lambda$, $\lambda_1, \lambda_2 \in \tilde{Q}^\vee$ 를 만족하는 코웨이트 쌍의 유한 집합이며, 공식은 $N_{u,v}^{w,\lambda} = \sum_{(\lambda_1,\lambda_2,v_1) \in \Gamma \times W} c_{ut_A,[v_1 t_{\lambda_1}} c_{vt_A,[v_1 t_{\lambda_2}} d_{wt_{2A+\lambda},[v_1 t_{\lambda_1+\lambda_2}}]$ 이다.
• $G = SL(3,\mathbb{C})$ 에서 $u = v = s_1 s_2 s_1$, $w = s_1 s_2$, $\lambda = \theta^\vee$ 일 때 공식은 $N_{u,v}^{w,\lambda} = 1$ 을 산출하며, 이는 $(-1/\theta)^2 \cdot \theta^2 = 1$ 로 계산되며, 미하라체의 알고리즘과 일치함을 확인한다.
• 공식은 $\langle\lambda, 2\rho\rangle = \ell(u) + \ell(v) - \ell(w)$ 일 때만 유효하며, 이 조건을 만족하지 않으면 $N_{u,v}^{w,\lambda} = 0$ 이 되어 degree 제약 조건이 유지됨을 보장한다.
• 매개변수 $A$ 는 유일하지 않으며, 많은 경우에서 더 작은 값으로 대체 가능하다. 예를 들어 $SL(3,\mathbb{C})$ 에서는 $A = -\theta^\vee$ 로 대체 가능하여 계산이 단순화된다.
• 유리 함수 $c_{x,[y]}$ 와 $d_{x,[y]}$ 는 조합론적으로 정의되며, $H_*^T(\Omega K)$ 위에서의 폰트리아진 곱을 표현하는 데 사용되며, 이는 이후 $QH^*_{T}(G/B)$ 의 양자 곱을 계산하는 데 기여한다.
• $T$-등변 슈베르트 구조 상수는 평가 사상 $\text{ev}: \hat{S} \to S$ 를 통해 복구되며, 이는 $\alpha_0 = -\theta$ 로 설정하고, 결과적으로 $S$ 에서의 다항식이 $T$-등변 구조 상수 $\tilde{p}_{x,y}^z = \sum_v d_{x,[v]} d_{y,[v]} c_{z,[v]}$ 와 일치한다.