[논문 리뷰] On the Chow and cohomology rings of moduli spaces of stable curves

Samir Canning, Hannah Larson|arXiv (Cornell University)|2022. 08. 03.

Algebraic Geometry and Number Theory인용 수 7

한 줄 요약

이 논문은 $g=2$, $n\leq9$ 및 $3\leq g\leq7$, $2g+n\leq14$인 경우, 안정 곡선의 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$의 유리 Chow 및 cohomology 환이 타우토로지 클래스에 의해 생성됨을 증명한다. 저자들은 블로우업 분해, 푸시-풀 추론, 그리고 CKgP(Chow-Künneth 성질)를 조합한 기하적 기법을 사용하여, 타우토로지 환이 Gorenstein임을 증명하고, 이러한 경우에 모듈리 공간이 다항식 형태의 점 수를 가짐을 보인다.

ABSTRACT

In this paper, we ask: for which $(g, n)$ is the rational Chow or cohomology ring of $\overline{\mathcal{M}}_{g,n}$ generated by tautological classes? This question has been fully answered in genus $0$ by Keel (the Chow and cohomology rings are tautological for all $n$) and genus $1$ by Belorousski (the rings are tautological if and only if $n \leq 10$). For $g \geq 2$, work of van Zelm shows the Chow and cohomology rings are not tautological once $2g + n \geq 24$, leaving finitely many open cases. Here, we prove that the Chow and cohomology rings of $\overline{\mathcal{M}}_{g,n}$ are isomorphic and generated by tautological classes for $g = 2$ and $n \leq 9$ and for $3 \leq g \leq 7$ and $2g + n \leq 14$. For such $(g, n)$, this implies that the tautological ring is Gorenstein and $\overline{\mathcal{M}}_{g,n}$ has polynomial point count.

연구 동기 및 목표

• 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$의 유리 Chow 및 cohomology 환이 타우토로지 클래스에 의해 생성되는 $(g,n)$ 쌍을 규명하는 것.
• 종래의 성질이 알려진 종수 0 및 1의 결과를 더 높은 종수, 특히 $g=2$ 및 $3\leq g\leq7$로 확장하여, 이 경우 타우토로지 환이 전체 Chow 환임을 추측하는 것.
• 확인된 경우에 타우토로지 환이 Gorenstein임을 증명하고, $\overline{\mathcal{M}}_{g,n}$가 다항식 형태의 점 수를 가짐을 보이는 것.
• 기하적 분해 기법과 Chow-Künneth 성질(CKgP)을 사용하여 Chow 군 사상의 상사상성과 타우토로지 생성을 증명하는 것.
• 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$에 대한 타우토로지 환의 분류에서 남아있는 열린 사례를 메꾸어 $g\leq7$에 대한 그림을 완성하는 것.

제안 방법

• 특정 모듈리 공간과 그 분할이 타우토로지 클래스에 의해 생성되는 Chow 군을 가짐을 보이기 위해 Chow-Künneth 성질(CKgP)을 사용하는 것.
• 특히 $\beta_n'$를 통해 정규 사상에 沿한 분할 공식과 푸시-풀 공식을 적용하여, $\mathcal{M}_{g,n}$의 분할의 Chow 환을 $\mathcal{H}_{4,g,n}^f$와 같은 더 구조화된 공간의 Chow 환과 연결하는 것.
• $\mathcal{M}_{g,n}$의 분할을 $\mathcal{M}_{g,n}^3$ 및 $PQ_n$ 등의 국소적 위치를 통해 구성하고, 각 분할이 CKgP를 가짐을 증명하는 것.
• 기존의 종수 0 및 1에서의 타우토로지 생성 결과를 활용하고, 기하적 귀납적 추론을 통해 이를 확장하는 것.
• 벡터 번들의 구조와 $\mathrm{GL}_d$, $\mathrm{SL}_2$에 의한 아핀 공간의 몫을 이용하여 스택을 CKgP를 가진 몫으로 표현하는 것.
• Lemma 3.3, 3.5, 3.8 및 4.1/4.3(채우기 조건)를 적용하여 CKgP와 타우토로지 생성 성질을 모듈리 공간 전반에 걸쳐 전파하는 것.

실험 결과

연구 질문

• RQ1 어느 $(g,n)$ 에서 $\overline{\mathcal{M}}_{g,n}$의 유리 Chow 환이 타우토로지 클래스에 의해 생성되는가?
• RQ2 어느 $(g,n)$ 에서 $\overline{\mathcal{M}}_{g,n}$의 유리 cohomology 환이 타우토로지 클래스에 의해 생성되는가?
• RQ3 확인된 경우에 $\overline{\mathcal{M}}_{g,n}$의 타우토로지 환은 Gorenstein 성질을 만족하는가?
• RQ4 Chow 환이 타우토로지일 때, 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$은 유한체 위에서 다항식 형태의 점 수를 가짐이 맞는가?
• RQ5 CKgP 및 푸시-풀 기법을 사용하여 개방 분할에서의 타우토로지 생성을 전체 컴actified 모듈리 공간으로 확장할 수 있는가?

주요 결과

• $g=2$ 및 $n\leq9$인 경우, $\overline{\mathcal{M}}_{g,n}$의 Chow 및 cohomology 환은 서로 동형이며 타우토로지 클래스에 의해 생성된다.
• $3\leq g\leq7$ 및 $2g+n\leq14$인 경우, $\overline{\mathcal{M}}_{g,n}$의 Chow 및 cohomology 환은 서로 동형이며 타우토로지 클래스에 의해 생성된다.
• 이 경우 타우토로지 환은 Gorenstein이므로 Chow 환에 쌍대성 구조가 존재한다.
• 확인된 $(g,n)$에 대해 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$는 유한체 위에서 다항식 형태의 점 수를 가진다.
• 핵심 분할인 $\mathcal{M}_{g,n}\setminus\mathcal{M}_{g,n}^3$ 및 $\mathcal{M}_{g,n}\setminus(\mathcal{M}_{g,n}^3\cup PQ_n)$이 CKgP를 가지며, $\mathcal{H}_{4,g,n}^f$에서의 푸시포워드가 Chow 군에 상사상성을 유도함을 보이는 데 의존한다.
• 주어진 경우에 $n\leq4f-2g+1$일 때, $A^*((\mathbb{P}\mathcal{E}^\vee)^n)$에서 $A^*(\mathcal{H}_{4,g,n}^f)$로의 상사상성이 타우토로지 생성을 확립하며, 주로 $f=4$인 경우를 다룬다.