[논문 리뷰] A new cohomology class on the moduli space of curves

Paul Norbury|arXiv (Cornell University)|2017. 12. 11.

Algebraic Geometry and Number Theory인용 수 7

한 줄 요약

이 논문은 잊기 및 접합 사상에 대한 자연스러운 기하적 제약 조건을 포함하는 재귀적 구성에 의해 정의된, 안정 곡선의 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 위의 새로운 코homology 계열 $Θ_{g,n}$을 제안한다. 주요 결과는 $\int_{\overline{\mathcal{M}}_{g,n}} \Theta_{g,n} \prod \psi_i^{m_i}$ 형태의 교차수를 재귀적으로 계산할 수 있으며, 이는 콘체비치의 위튼-콘체비치 정리의 새로운 교차수 클래스로 확장된 KdV 타우 함수를 생성할 것으로 추측된다.

ABSTRACT

We define a collection $Θ_{g,n}\in H^{4g-4+2n}(\overline{\cal M}_{g,n},\mathbb{Q})$ for $2g-2+n>0$ of cohomology classes that restrict naturally to boundary divisors. We prove that the intersection numbers $\int_{\overline{\cal M}_{g,n}}Θ_{g,n}\prod_{i=1}^nψ_i^{m_i}$ can be recursively calculated. We conjecture that a generating function for these intersection numbers is a tau function of the KdV hierarchy. This is analogous to the conjecture of Witten proven by Kontsevich that a generating function for the intersection numbers $\int_{\overline{\cal M}_{g,n}}\prod_{i=1}^nψ_i^{m_i}$ is a tau function of the KdV hierarchy.

연구 동기 및 목표

• 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 위에 잊기 및 접합 사상에 대해 자연스러운 기하적 제약 조건을 만족하는 새로운 코homology 계열 $\Theta_{g,n}$을 정의한다.
• 기본 곡선 클래스 $\psi$-classes와의 교차수 계산이 경계 관계를 통해 재귀적으로 가능하다는 것을 입증한다.
• 이러한 교차수의 생성함수가 KdV 계열의 타우 함수임을 추측한다. 이는 위튼-콘체비치 이론과 유사하다.
• 기존의 코homological field theory, 특히 그로모브-위튼 불변량 및 토폴로지적 재귀와의 관계를 탐색한다.
• 낮은 종수 및 작은 $n$에 대해 교차수를 명시적으로 계산하여 KdV 기본 구조와의 일致성을 검증한다.

제안 방법

• 계열 $\Theta_{g,n}$은 스피너 곡선의 모듈리 공간으로부터의 투사로 구성되며, 잊기 및 접합 사상과의 호환성을 보장한다.
• 계열은 재귀적 성질을 만족한다: $\Theta_{g,n+1} = \psi_{n+1} \cdot \pi^*\Theta_{g,n}$ 이며, 안정 그래프 $\Gamma$에 대해 $\phi_\Gamma^*\Theta_{g,n} = \Theta_\Gamma$ 이다. 이는 경계 조각들 사이의 일致성을 보장한다.
• 경계 조각으로의 당김 사상의 단사성에 기반하여 $\Theta_{g,n}$의 유일성이 확립되며, 특히 $\Theta_{1,1} = 3\psi_1$에 대해 명시적인 강성 조건이 입증된다.
• 경계 분해와 자동형사상 계수를 이용해 $\Theta_{g,n}$-가중 적분을 더 낮은 종수의 계열로 표현함으로써 교차수의 재귀적 계산이 가능해진다.
• 생성함수 $\int \Theta_{g,n} \prod \psi_i^{m_i}$가 KdV 계열을 따르는 것으로 추측되며, 보스카빌-기벨탈(Bouscainville-Givental, BGW) 타우 함수와 항의 일致성에 기반한다.
• 종수 $g=2,3$에 대한 명시적 계산은 $\hbar^2$ 항까지 BGW 타우 함수와 일致함을 확인하여 추측을 지지한다.

실험 결과

연구 질문

• RQ1 잊기 및 접합 사상에 대해 자연스러운 당김 성질을 만족하고, 종수 1에서 비자명한 $\Theta_{g,n} \in H^{4g-4+2n}(\overline{\mathcal{M}}_{g,n}, \mathbb{Q})$ 계열이 존재하는가?
• RQ2 경계 관계와 타우토로지적 관계를 사용하여 $\int_{\overline{\mathcal{M}}_{g,n}} \Theta_{g,n} \prod_{i=1}^n \psi_i^{m_i}$ 형태의 교차수를 재귀적으로 계산할 수 있는가?
• RQ3 이러한 교차수의 생성함수가 추측된 바와 같이 KdV 계열의 타우 함수인가?
• RQ4 $\Theta_{g,n}$은 기존의 코homological field theory(예: 그로모브-위튼 이론 또는 토폴로지적 재귀에서 유도된 것들)와 어떻게 관련되어 있는가?
• RQ5 $\Theta_{g,n}$은 특히 낮은 종수에서 경계 행동에 의해 얼마나 강하게 결정되는가?

주요 결과

• 계열 $\Theta_{g,n}$은 존재하며 차수 $4g-4+2n$에 속하며, $\Theta_{1,1} = 3\psi_1$로 나타나 비자명성과 강성 조건을 확인한다.
• 종수 $g=2$에 대해, $\int_{\overline{\mathcal{M}}_{2,2}} \Theta_{2,2} \cdot \psi_1 \psi_2 = \frac{15}{1024}$ 이며, $\int_{\overline{\mathcal{M}}_{2,2}} \Theta_{2,2} \cdot \psi_1 = \frac{9}{128}$ 로 경계 재귀 분해를 통해 계산되었다.
• 종수 $g=3$에 대해, $\int_{\overline{\mathcal{M}}_{3,2}} \Theta_{3,2} \cdot \psi_1^2 = \frac{75}{1024}$ 이며, $\int_{\overline{\mathcal{M}}_{3,2}} \Theta_{3,2} \cdot \psi_1 \psi_2 = \frac{63}{512}$ 로 계산되었으며, 이는 확장 방정식과 BGW 타우 함수와 일致한다.
• $\Theta_{g,n}$-가중 교차수의 생성함수는 Bouscainville-Givental (BGW) 타우 함수의 $\hbar^2$ 항과 일치하며, KdV 추측을 지지한다.
• $\Theta_{g,n}$은 $S_n$ 작용에 대해 대칭적이며, 종수 0 성분을 포함하는 모든 조각에서 0이 되며, 이는 기하학적 기원을 반영한다.
• 명시적 계산을 통해 $\Theta_{g,n}$-교차수는 위튼-콘체비치 경우와 동일한 재귀적 구조를 만족하지만, 새로운 계열에 따라 수정된 계수를 가짐을 확인하였다.