[논문 리뷰] Relations on Mbar_{g,n} via 3-spin structures

Rahul Pandharipande, Aaron Pixton외 1명|arXiv (Cornell University)|2013. 03. 05.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 24

한 줄 요약

이 논문은 3스핀 구조에서 유도된 코homological field theory(CohFT)를 사용하여 안정 곡선의 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 상에서 Pixton의 추측된 타우토로지적 관계를 증명한다. Witten의 비단순 3스핀 클래스를 동차성에서 유도된 제약 조건을 갖는 단순화된 CohFT로 수정함으로써, 저자들은 Givental-Teleman 분류를 적용하여 Witten의 클래스에 대한 명시적 공식을 도출하고, 코homology에서 Pixton의 관계 전체 시스템을 확립함으로써, 특수한 경우로 Faber-Zagier 추측을 코homology에서 증명한다.

ABSTRACT

Witten's class on the moduli space of 3-spin curves defines a (non-semisimple) cohomological field theory. After a canonical modification, we construct an associated semisimple CohFT with a non-trivial vanishing property obtained from the homogeneity of Witten's class. Using the classification of semisimple CohFTs by Givental-Teleman, we derive two main results. The first is an explicit formula in the tautological ring of Mbar_{g,n} for Witten's class. The second, using the vanishing property, is the construction of relations in the tautological ring of Mbar_{g,n}. Pixton has previously conjectured a system of tautological relations on Mbar_{g,n} (which extends the established Faber-Zagier relations on M_g). Our 3-spin construction exactly yields Pixton's conjectured relations. As the classification of CohFTs is a topological result depending upon the Madsen-Weiss theorem (Mumford's conjecture), our construction proves relations in cohomology. The study of Witten's class and the associated tautological relations for r-spin curves via a parallel strategy will be taken up in a following paper.

연구 동기 및 목표

• 코homology 링에서 $\overline{\mathcal{M}}_{g,n}$ 상의 Pixton의 추측된 타우토로지적 관계 시스템 $\mathsf{P}$ 를 증명하는 것.
• 관계를 $\mathcal{M}_g$ 에 제한하여 Faber-Zagier 추측의 코homological 증명을 제공하는 것.
• Witten의 비단순 3스핀 CohFT를 동차성에 기반한 보정을 통해 단순화된 CohFT로 변환하는 것.
• r-스핀 이론의 맥락에서 Givental-Teleman 분류의 기하적 실현을 제시하는 것 (r=3을 원형으로 삼음).

제안 방법

• 관련된 프로베누스 다양체의 단순화된 점으로 이동함으로써 Witten의 3스핀 클래스에서 수정된 CohFT를 구성하는 것.
• Witten의 클래스의 동차성에서 유도된 비자명한 제약 조건을 수정된 CohFT에서 도출하는 것.
• 단순화된 CohFT의 Givental-Teleman 분류를 적용하여 Witten의 3스핀 클래스에 대한 명시적 공식을 $\overline{\mathcal{M}}_{g,n}$ 의 타우토로지 링에서 도출하는 것.
• 제약 조건을 이용해 타우토로지 링 내의 관계를 유도하며, 이들이 Pixton의 추측된 관계 $\mathsf{P}$ 와 정확히 일치함을 보이는 것.
• 낮은 종수 및 차수에서의 명시적 계산을 통해 관계를 검증하며, Getzler 및 Belorousski-Pandharipande 관계를 포함한다.
• 안정 그래프 분해 및 경계 스트라타 사상 $\xi_\Gamma$ 를 사용하여 $\overline{\mathcal{M}}_{g,n}$ 상의 클래스를 정점들에 대한 곱으로 표현하는 것.

실험 결과

연구 질문

• RQ1 3스핀 CohFT 구성이 $H^*(\overline{\mathcal{M}}_{g,n},\mathbb{Q})$ 상에서 Pixton의 추측된 타우토로지적 관계 시스템 $\mathsf{P}$ 를 완전히 도출하는가?
• RQ2 Givental-Teleman 분류를 적용하여 Witten의 3스핀 클래스에 대한 타우토로지 링 내의 명시적 공식을 도출할 수 있는가?
• RQ3 수정된 CohFT의 제약 조건이 $\overline{\mathcal{M}}_{g,n}$ 상의 모든 알려진 타우토로지적 관계를 생성하는 데에 충분한가?
• RQ4 매개수 $\phi \to 0$ 으로 수렴할 때 $R$-행렬과 Witten의 클래스의 행동은 어떻게 변화하며, 그 극한은 유한한가?
• RQ5 Witten의 클래스에 대한 공식을 $r > 3$ 인 $r$-스핀 구조의 모듈리 공간 $\overline{\mathcal{M}}^{1/r}_{g;a_1,\dots,a_n}$ 으로 올릴 수 있는가?

주요 결과

• 수정된 3스핀 CohFT는 Givental-Teleman 분류를 통해 $\overline{\mathcal{M}}_{g,n}$ 의 타우토로지 링에서 Witten의 3스핀 클래스에 대한 명시적 공식을 도출한다.
• 수정된 CohFT의 제약 조건은 정확히 Pixton이 추측한 관계 시스템 $\mathsf{P}$ 를 생성하며, 이는 코homology에서 증명됨을 의미한다.
• $\overline{\mathcal{M}}_{0,4}$ 상의 차수 2 관계는 $\kappa_1 = \psi_1 = \psi_2 = \psi_3 = \psi_4 = \delta_{[1,2|3,4]} = \delta_{[1,3|2,4]} = \delta_{[1,4|2,3]}$ 와 동치임을 보여 관계 시스템이 이 경우에 완전함을 확인한다.
• Getzler 관계와 Belorousski-Pandharipande 관계는 모두 구성된 관계의 특수한 경우로 복원되며, 이는 이들이 $\mathsf{P}$ 내에 포함됨을 확인한다.
• 매개수 $\phi \to 0$ 으로 수렴할 때 $R$-행렬 표현의 극한은 고차항의 상쇄로 인해 발산하는 항들이 상쇄되어 여전히 유한함을 보인다.
• 경계 스트라타에서의 약분 가능성 장애로 인해 이 구성은 $r > 3$ 인 $r$-스핀 구조로 확장되지 않으며, $r=2$ 인 경우조차도 이중 그래프만으로 클래스를 표현할 수 없다.