[논문 리뷰] A TQFT of Intersection Numbers on Moduli Spaces of Admissible Covers

Renzo Cavalieri|ArXiv.org|2005. 12. 11.

Polynomial and algebraic computation참고 문헌 20인용 수 4

한 줄 요약

이 논문은 적합한 커버의 모듈리 공간 위에서의 등변 교차 수를 구조 상수로 갖는 이중 수준, 가중치가 부여된 위상적 양자장이론(TQFT)을 구성한다. $\mathbb{P}^1$에 대한 적합한 커버의 모듈리 공간에서의 국소화를 사용하여 이 이론을 명시적으로 계산하였으며, 그 결과 대칭군 $S_d$의 표준 대수의 일 매개변수 변형인 프로베누스 대수를 얻었고, 특수한 경우에서는 표현 이론을 통해 닫힌 공식을 도출하였다.

ABSTRACT

We construct a two-level weighted TQFT whose structure coefficents are equivariant intersection numbers on moduli spaces of admissible covers. Such a structure is parallel (and strictly related) to the local Gromov-Witten theory of curves of Bryan-Pandharipande. We compute explicitly the theory using techniques of localization on moduli spaces of admissible covers of a parametrized projective line. The Frobenius Algebras we obtain are one parameter deformations of the class algebra of the symmetric group S_d. In certain special cases we are able to produce explicit closed formulas for such deformations in terms of the representation theory of S_d.

연구 동기 및 목표

• 적합한 커버의 모듈리 공간 위에서의 등변 교차 수를 구조 계수로 갖는 이중 수준, 가중치가 부여된 TQFT를 구성한다.
• Bryan과 Pandharipande(BP04)의 이론과 유사한 국소 Gromov-Witten 이론과의 관계를 규명하기 위해, 수준 (0,0)에서의 동치성과 고차 수준에서의 보편 생성 함수를 통한 정규화를 보여줌으로써 이 TQFT와의 연결을 확립한다.
• 적합한 커버의 $\mathbb{P}^1$에 대한 모듈리 공간에서 국소화 기법을 사용하여 이 TQFT를 명시적으로 계산한다.
• 대칭군 $S_d$의 표현 이론을 바탕으로, 반대 대각선 $\mathbb{C}^*$-작용 하에서의 불변량 및 변형에 대한 닫힌 공식을 유도한다.
• 이 TQFT로부터 유도된 프로베누스 대수들이 $S_d$의 표준 대수의 일 매개변수 변형임을 증명하며, 특수한 경우에 대해 명시적인 공식을 제시한다.

제안 방법

• 매개변수화된 $\mathbb{P}^1$에 대한 적합한 커버의 모듈리 공간에서 Atiyah-Bott 국소화를 적용하여 불변량을 계산한다.
• 차원 수 계산과 $\overline{M}_{g,n}$ 위에서의 고전적 교차 이론으로의 축소를 수행한다.
• Faber-Pandharipande 및 ELSV의 호지 적분 계산을 활용하여 다양한 수준 간의 불변량을 연결한다.
• 반대 대각선 $\mathbb{C}^* \times \mathbb{C}^*$ 작용으로 특수화하여 이론을 대각화하고 표현 이론 기반 공식을 가능하게 한다.
• 적합한 커버 모듈리 공간의 정규화를 균형 잡힌 안정적 매핑으로 $\mathcal{B}S_d$에 대한 스택 이론적 기술을 활용한다.
• TQFT의 준가역성과 생성 함수의 비교를 통해, 정규화 인자까지 고려할 때, 이론 $\mathcal{U}$가 Bryan-Pandharipande 이론과 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 적합한 커버의 모듈리 공간 위에서의 등변 교차 수는 어떻게 체계적인 TQFT로 정리될 수 있는가?
• RQ2 이 TQFT와 Bryan 및 Pandharipande가 개발한 곡선의 국소 Gromov-Witten 이론 사이의 정확한 관계는 무엇인가?
• RQ3 $S_d$의 표현 이론을 활용하여 이 TQFT의 불변량에 대한 명시적인 닫힌 공식을 도출할 수 있는가?
• RQ4 반대 대각선 $\mathbb{C}^*$-작용은 TQFT를 대각화하고 구조 상수를 단순화하는 데 어떤 역할을 하는가?
• RQ5 이 TQFT의 프로베누스 대수는 $S_d$의 표준 대수와 어떻게 관련되어 있으며, 어떤 방식으로 그 변형이 되는가?

주요 결과

• 이론 $\mathcal{U}$는 이중 수준, 준가역성, 가중치가 부여된 TQFT이며, 그 구조 계수는 적합한 커버의 모듈리 공간 위에서의 등변 교차 수이다.
• 유도된 프로베누스 대수들은 $S_d$의 표준 대수의 일 매개변수 변형이며, 차수 0 부분은 히르츠 수로부터 유래된다.
• 반대 대각선의 경우, 불변량은 슈어 함수와 표현 이론적 자료를 바탕으로 명시적인 닫힌 공식을 갖는다: $\mu_\rho = s^d \left(\frac{\dim_Q \rho}{\dim \rho}\right) Q^{n(\rho)}$.
• 수준 $(0,-1)$에서의 한 점이 있는 종수 0 불변량은 생성 함수 $A_d(0|0,-1)_\eta = (-1)^{d-\ell(\eta)} \frac{(2\sin(u/2))^d}{(s_1)^{\ell(\eta)} \mathfrak{z}(\eta) \prod 2\sin(\eta_i u / 2)}$ 로 주어진다.
• 이론 $\mathcal{U}$와 $\mathcal{BP}$(Bryan-Pandharipande) 사이에는 $A_d(g|k_1,k_2)_\eta = (d!)^{k_1+k_2} s_1^{dk_2} s_2^{dk_1} \mathcal{BP}_d(g|k_1,k_2)_\eta \cdot \mathcal{BP}_d(0|0,-1)_{(1,\dots,1)}^{k_1+k_2}$ 의 관계가 있으며, 이는 $\mathcal{U}$ 가 $\mathcal{BP}$ 의 정규화임을 보여준다.
• 이 이론은 $[\mathbb{C}^2/\mathbb{Z}_3]$의 국소 Gromov-Witten 불변량을 TQFT로서 실현하며, $Q$-변형된 차원과 후크 길이를 바탕으로 $\mu_\rho$ 및 $\overline{\mu}_\rho$ 의 명시적 공식을 제공한다.