[논문 리뷰] Conjectural relations in the tautological ring of $\bar{M}_{g,n}$

Aaron Pixton|arXiv (Cornell University)|2012. 07. 08.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 28

한 줄 요약

이 논문은 형식적 스트라타 대수 프레임워크를 통해 표본점과 경계 스트라타를 포함하여, 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$의 타우톨로지 링으로의 Faber-Zagier 관계의 추측적 확장을 제안한다. 주요 기여는 분할과 표본점 불변량을 매개변수로 하는 새로운 타우톨로지 관계의 체계적 구성이며, 계산적 증거는 그 타당성과 잠재적 완전성에 기여한다.

ABSTRACT

We describe a very large class of conjectural relations in the tautological ring of the moduli space $\bar{M}_{g,n}$ of stable curves of genus $g$ with $n$ marked points, extending and generalizing the Faber-Zagier relations. These notes are loosely based on informal talks given by the author at the workshop at KTH Stockholm on "The moduli space of curves and its intersection theory" in April 2012.

연구 동기 및 목표

• 원래 $\mathcal{M}_g$에서 정의된 Faber-Zagier 관계를 $n$개의 표본점이 있는 컴actified 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$로 확장하기.
• 경계 스트라타와 표본점을 포함하는 $R^*(\overline{\mathcal{M}}_{g,n})$의 새로운 타우톨로지 관계의 체계적 구성하기.
• 이 관계들이 스트라타 대수 $\mathcal{S}_{g,n}$에서 $R^*(\overline{\mathcal{M}}_{g,n})$로의 전성 사상의 전체 핵을 생성한다고 추측하기 — 이는 완전성의 잠재성을 시사한다.

제안 방법

• 이중 그래프에 의해 표시되는 $\overline{\mathcal{M}}_{g,n}$의 경계 스트라타에 해당하는 생성자들을 가진 형식적 $\mathbb{Q}$-대수로 스트라타 대수 $\mathcal{S}_{g,n}$를 정의한다. 여기서 그래프에는 곡선의 종수, 표본점, 변의 데이터가 포함된다.
• 생성 함수 $A(T)$, $B(T)$, $C_i(T)$와 형식적 $\kappa$-연산자(지표 $K_n$의 단항식을 $\kappa$-류로 매핑)를 사용하여 관계 $\mathcal{R}(g,n,r;\sigma,a_1,\ldots,a_n)$를 구성한다.
• 변의 기여도 $\Delta_e$를 $A$, $B$, $\psi$-류, $\zeta_v$-류(종수 가중치)로 표현하며, 항등식 $A(T)B(-T) + A(-T)B(T) + 2 = 0$를 통해 유리성을 확보한다.
• 접합 사상에 沿한 프로젝션과 잊기 맵에 沿한 풀백을 사용하여 기하 연산에 대해 시스템을 닫히게 하고, 타우톨로지 링의 구조와의 호환성을 확보한다.
• 하나의 스트라타에서의 관계의 프로젝션과 다른 구성요소의 임의의 클래스와의 곱을 통해 생성되는 이상 $\mathcal{R}_{g,n}$을 $\mathcal{S}_{g,n}$의 이상으로 정의한다.
• 작은 종수와 $n$에서의 계산적 점검을 통해 추측을 검증하며, Getzler의 관계와 Belorousski-Pandharipande 관계를 복원한다.

실험 결과

연구 질문

• RQ1 Faber-Zagier 관계가 $R^*(\mathcal{M}_g)$에서 자연스럽고 체계적으로 $R^*(\overline{\mathcal{M}}_{g,n})$로 확장될 수 있는가?
• RQ2 $\overline{\mathcal{M}}_{g,n}$에서 표본점과 경계 스트라타를 포함하는 FZ 관계의 올바른 일반화는 무엇인가?
• RQ3 제시된 관계 $\mathcal{R}(g,n,r;\sigma,a_1,\ldots,a_n)$가 주어진 차수 조건을 만족할 때 $R^*(\overical{M}}_{g,n})$에서 0이 되는가?
• RQ4 이 관계들에 의해 생성되는 이상 $\mathcal{R}_{g,n}$이 사상 $\mathcal{S}_{g,n} \to R^*(\overline{\mathcal{M}}_{g,n})$의 전체 핵과 같은가?
• RQ5 모든 새로운 타우톨로지 관계가, 관계의 구조에 따라 $S_n$-불변임이 $g > 0$일 때 성립하는가?

주요 결과

• 조건 $3r \geq g+1 + |\sigma| + \sum a_i$를 만족할 경우, 추측 1에 따라 관계 $\mathcal{R}(g,n,r;\sigma,a_1,\ldots,a_n)$는 $R^*(\overline{\mathcal{M}}_{g,n})$에서 0이 된다.
• 관계 $\mathcal{R}_{g,n}$은 스트라타 대수 $\mathcal{S}_{g,n}$에서 이상을 이루며, 접합 및 잊기 맵에 의한 프로젝션과 풀백에 대해 닫혀 있다.
• $g > 0$일 때 $\mathcal{R}_{g,n}/\mathcal{R}^{\text{old}}_{g,n}$의 모든 새로운 관계는 $S_n$-불변이며, 모든 부분이 $\equiv 1 \pmod{3}$인 분할 $\sigma$에서 유래한다.
• 이 관계들은 기존의 타우톨로지 관계를 복원한다: $R^2(\overline{\mathcal{M}}_{1,4})$에서 Getzler의 관계와 $R^2(\overline{\mathcal{M}}_{2,3})$에서 Belorousski-Pandharipande 관계.
• Sage에서의 계산 결과, $\mathcal{R}_{g,n}$은 Gorenstein 몫의 정확한 랭크를 생성한다: $R^3(\overline{\mathcal{M}}_{2,4})$에서 랭크 333, $R^4(\overline{\mathcal{M}}_{3,2})$에서 142, $R^4(\overline{\mathcal{M}}_4)$와 $R^5(\overline{\mathcal{M}}_4)$에서 각각 50.