[논문 리뷰] Relations in the Tautological Ring and Frobenius Manifolds near the Discriminant

Felix Janda|arXiv (Cornell University)|2015. 05. 13.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 일반적으로 단순한 코homological field theory에서 유도된 관계—특히 Givental-Teleman 분류에서의 극점 상쇄 조건을 통한 것—이 모두 모듈리 공간의 타우토로지적 링 안에서 Pixton의 일반화된 Faber-Zagier 관계로 표현가능하다는 것을 입증한다. 또한 일반적으로 단순한 Frobenius 다양체의 비단순성 위치 근처의 국소적 구조는 $A_2 \times A_1^{N-2}$-특이점에 의해 모델링되며, 이는 Pixton의 관계가 타우토로지적 관계를 완전히 포함한다는 추측을 지지한다.

ABSTRACT

For generically semisimple cohomological field theories pole cancellation in the Givental-Teleman classification implies relations between classes in the tautological ring of the moduli space of curves. For the theory of the $A_2$-singularity these are known to be equivalent to Pixton's generalized Faber-Zagier relations. We show that the relations from any other semisimple cohomological field theory can be written in terms of Pixton's relations. This gives large evidence for the conjecture that Pixton's relations are all relations between tautological classes. As part of the proof, we study the structure of an $N$-dimensional generically semisimple Frobenius manifold near smooth points of the non-semisimple locus, giving a local description modeled on the Frobenius manifold corresponding to the $A_2 imes A_1^{N - 2}$-singularity, and give criteria for extending generically semi-simple Frobenius manifolds to cohomological field theories.

연구 동기 및 목표

• 모듈리 공간의 타우토로지적 링에서 일반적으로 단순한 코homological field theory로부터 유도된 관계의 구조를 조사하는 것.
• 임의의 단순한 코homological field theory로부터 유도된 관계들이 Pixton의 일반화된 Faber-Zagier 관계로 표현가능한지 확인하는 것.
• 비단순성 위치 근처의 일반적으로 단순한 Frobenius 다양체의 국소 기하학적 구조를 분석하고, 이와 $A_2 \times A_1^{N-2}$-특이점 간의 연관성을 규명하는 것.
• 일반적으로 단순한 Frobenius 다양체가 전체 코homological field theory로 확장될 수 있는 조건을 제공하는 것.

제안 방법

• 코homological field theory의 Givental-Teleman 분류를 이용하여 J-함수에서의 극점 상쇄 조건을 분석함으로써 타우토로지적 관계를 도출한다.
• Frobenius 다양체 이론을 적용하여 N차원의 일반적으로 단순한 Frobenius 다양체에서 비단순성 위치의 매끄러운 점 근처의 국소적 구조를 연구한다.
• 이 논문은 $A_2 \times A_1^{N-2}$-특이점 기반으로 이러한 Frobenius 다양체의 국소 모델을 구축하며, Frobenius 다양체 구조에서의 동치성을 보여준다.
• Givental-Teleman 형식을 통해 임의의 단순한 코homological field theory에서 유도된 타우토로지적 관계와 Pixton의 관계 사이의 대응관계를 수립한다.
• 분석은 단순한 코homological field theory의 분류와 타우토로지적 링의 구조, 특히 $A_2$-특이점 이론의 역할에 기반한다.
• 특이점 분포 근처의 행동에 기반하여 일반적으로 단순한 Frobenius 다양체가 전체 코homological field theory로 확장될 수 있는 조건을 도출한다.

실험 결과

연구 질문

• RQ1 모든 단순한 코homological field theory에서 유도된 타우토로지적 관계들이 Pixton의 일반화된 Faber-Zagier 관계로 표현가능한가?
• RQ2 비단순성 위치의 매끄러운 점 근처에서 일반적으로 단순한 Frobenius 다양체의 국소 기하학적 구조는 무엇인가?
• RQ3 비단순성 위치 근처의 Frobenius 다양체 구조는 $A_2 \times A_1^{N-2}$-특이점과 어떻게 관련이 있는가?
• RQ4 일반적으로 단순한 Frobenius 다양체가 언제 코homological field theory로 확장될 수 있는가?
• RQ5 $A_2$-특이점 이론에서 유도된 관계 집합이 타우토로지적 링 내의 모든 타우토로지적 관계를 생성하는 데 충분한가?

주요 결과

• 모든 일반적으로 단순한 코homological field theory에서 유도된 타우토로지적 관계들은 Pixton의 일반화된 Faber-Zagier 관계에 의해 생성되는 관계들에 포함된다.
• N차원의 일반적으로 단순한 Frobenius 다양체에서 비단순성 위치의 매끄러운 점 근처의 국소적 구조는 $A_2 \times A_1^{N-2}$-특이점에 대응하는 Frobenius 다양체에 의해 모델링된다.
• 논문은 특이점 분포 근처의 Frobenius 다양체 행동에 기반하여 일반적으로 단순한 Frobenius 다양체를 코homological field theory로 확장할 수 있는 명시적 조건을 제공한다.
• $A_2$-특이점 이론은 Pixton의 관계와 동치인 관계를 생성하며, 이는 Pixton의 관계가 타우토로지적 링에서 완전하다는 추측에 강력한 증거를 제공한다.
• 분석은 Givental-Teleman 형식에서의 극점 상쇄가 모든 단순한 코homological field theory에서 Pixton의 관계로 표현 가능한 관계로 정확히 이르는 것을 확인한다.
• 결과는 Pixton의 관계가 모듈리 공간의 타우토로지적 링 내에서 전체 타우토로지적 관계 집합이라는 보다 넓은 추측을 지지한다.