[논문 리뷰] The kappa classes on the moduli spaces of curves

Rahul Pandharipande|arXiv (Cornell University)|2011. 08. 30.

Algebraic Geometry and Number Theory참고 문헌 8인용 수 5

한 줄 요약

이 논문은 안정 곡선의 모듈리 공간의 타우토로지 링에서 $\kappa$ 유형 간의 완전한 관계 집합을 수립하며, Faber와 Zagier의 추측을 점이 없는 경우에 대해 증명하고, 점이 있는 경우와 컴act 유형의 경우로 확장한다. 안정 몫의 기하학과 Gorenstein 대칭성의 활용을 통해 $\kappa^*$ 링의 명시적 생성 관계를 제공하며, 생성 함수와 분할에 의존하는 계수를 포함하는 보편 공식이 존재함을 보여, 이는 $\kappa$ 링의 모든 관계를 완전히 지배함을 시사한다.

ABSTRACT

In the past few years, substantial progress has been made in the understanding of the algebra of kappa classes on the moduli spaces of curves. My goal here is to provide a short introduction to the new results. Along the way, I will discuss several open questions. The article accompanies my talk at "A celebration of algebraic geometry" at Harvard in honor of the 60th birthday of J. Harris.

연구 동기 및 목표

• 모듈리 공간 $\kappa^*(\mathcal{M}_g)$에서 $\kappa$ 클래스 간의 관계에 대한 Faber-Zagier 추측을 증명하여, 이들이 보편적인 관계 집합에 의해 생성됨을 보이기.
• Faber-Zagier 관계를 표식이 있는 곡선의 모듈리 공간인 $\mathcal{M}_{g,n}^{c}$ 및 $\mathcal{M}_{g,n}^{rt}$, 그리고 안정 곡선의 컴팩티피케이션 $\overline{\mathcal{M}}_{g,n}$로 확장하기.
• 이들 모듈리 공간에서의 $\kappa$ 링이 기대되는 차수에서 소클(socle)을 가진 Gorenstein 링인지 확인하고, 명시적 기저와 대칭성에 의해 그 구조를 특성화하기.
• 특히 종수 5에서의 자연스러운 사상 $\kappa^*(\mathcal{M}_{0,2g}^{c}) \to \kappa^*(\mathcal{M}_g^{c})$의 핵을 조사하고, 기존의 타우토로지 관계와 연관시키기.

제안 방법

• $\overline{\mathcal{M}}_{g,n+1}$ 위의 보편 곡선에서 $\psi$-클래스의 프로젝션을 통해 $\kappa$ 클래스를 정의하며, $\u03ba_i$에 대해 $\epsilon_*\psi_{n+1}^{i+1}$를 사용한다.
• 점이 없는 경우에 대해 $3$으로 나누었을 때 $2$가 나오지 않는 부분을 포함하는 분할을 다루는 생성 함수 $\Psi(t,\mathbf{p})$를 구성하고, $\log(\Psi)$를 통해 계수 $C^r(\sigma)$를 추출한다.
• $\gamma = \sum_{\sigma,r} C^r(\sigma) \kappa_r t^r \mathbf{p}^\sigma$로 정의하고, 주어진 차수 및 홀짝 조건 하에서 $\kappa^r(\mathcal{M}_g)$에서 $[\exp(-\gamma)]_{t^r \mathbf{p}^\sigma} = 0$임을 증명한다.
• 안정 몫의 기하학과 Gorenstein 기준을 활용하여, 정리 1의 관계들이 $\kappa^*(\mathcal{M}_g)$에서 모든 관계를 생성함을 증명하고, 모든 양의 부분을 포함하는 다른 생성 함수를 통해 $\mathcal{M}_{g,n}^{c}$로 이를 확장한다.
• $\kappa^d(\mathcal{M}_{g,n}^{c})$에 대한 $\mathbb{Q}$-기저를 분할 $P(d, 2g-2+n-d)$에 의해 인덱싱된 단항식 $\kappa_{\mathbf{p}}$를 사용하여 수립하고, 베텨 수 계산을 통해 차원 공식을 증명한다.
• 소클 평가 사상 $L_\xi(\gamma) = \phi(\gamma \cdot \xi)$를 사용하여 비퇴화성과 $n > 0$인 경우 정리 5의 관계들이 $\kappa^*(\mathcal{M}_{g,n}^{c})$에서 모든 관계를 생성함을 증명한다.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\kappa^*(\mathcal{M}_g)$에서 $\kappa$ 클래스 간의 모든 관계가 정리 1의 관계에 의해 생성되는가?
• RQ2 $\kappa^*(\mathcal{M}_g)$는 차수 $g-2$에서 소클을 가진 Gorenstein 링인가?
• RQ3 $\kappa^*(\overline{\mathcal{M}}_{g,n})$에서 $\kappa$ 관계에 대한 보편 공식이 정리 1 및 정리 5와 유사하게 존재하는가?
• RQ4 특히 종수 5에서 자연스러운 사상 $\kappa^*(\mathcal{M}_{0,2g}^{c}) \to \kappa^*(\mathcal{M}_g^{c})$의 핵은 무엇이며, 이를 Getzler의 관계 $\overline{\mathcal{M}}_{1,4}$와 어떻게 연결할 수 있는가?
• RQ5 정리 3의 기저를 사용하여 $\kappa$ 링에 대해 슈부르트 유형의 계산법을 개발할 수 있는가?

주요 결과

• 정리 1의 관계(known as FZ relations)는 $g < 24$일 때 $\kappa^*(\mathcal{M}_g)$에서 모든 관계를 생성함을 증명하였고, 일반적으로도 그러할 것으로 추측된다.
• $n > 0$일 때, $\kappa^*(\mathcal{M}_{g,n}^{c})$는 분할 $\mathbf{p} \in P(d, 2g-2+n-d)$에 대해 $\kappa_{\mathbf{p}}$로 주어지는 $\mathbb{Q}$-기저를 가지며, 차원은 $|P(d, 2g-2+n-d)|$이다.
• 모든 $0$이 아닌 $\xi \in \kappa^d(\mathcal{M}_{g,n}^{c})$에 대해 소클 평가 $L_\xi(\gamma) = \phi(\gamma \cdot \xi)$는 비자명하므로, Gorenstein 쌍대성의 비퇴화성이 확인된다.
• A. Pixton에 의해 증명된 정리 5는 $n > 0$인 경우 $\kappa^*(\mathcal{M}_{g,n}^{c})$에서 완전한 관계 집합을 제공하며, 모든 양의 정수와 이중 계승을 포함하는 생성 함수를 사용한다.
• $\iota_5: \kappa^*(\mathcal{M}_{0,10}^{c}) \to \kappa^*(\mathcal{M}_5^{c})$의 핵은 비자명하며, $\overline{\mathcal{M}}_{1,4}$에서의 Getzler의 관계와 관련이 있다.
• $\overline{\mathcal{M}}_{g,n}$의 $\kappa$ 링은 최고 차수를 초월해 아직 완전히 이해되지 않았고, 이 경우에 대해 정리 1 또는 5와 유사한 보편 관계 공식은 알려져 있지 않다.