[논문 리뷰] A non-vanishing result for the tautological ring of {\cal M}_g

Carel Faber|arXiv (Cornell University)|1997. 11. 03.

Advanced Differential Equations and Dynamical Systems인용 수 22

한 줄 요약

이 논문은 Witten의 추측(컨츠비히에 의해 증명됨)과 곡선의 모듈리 공간 $\mathcal{M}_g$ 위에서의 교차 이론을 이용하여, 임의의 종수 $g$에 대해 타우토로지적 클래스 $\kappa_{g-2}$가 0이 아님을 증명한다. 생성함수와 KdV 계열을 통한 츄인 특성 및 $\psi$-클래스 분석을 통해 저자들은 $\kappa_{g-2}$가 0이 아님을 입증하며, 이는 $\mathcal{M}_g$의 타우토로지 레이어에 대한 파베르의 추측에서 핵심적인 케이스를 해결한다. 이 결과는 모듈리 공간의 대수기하학에서 중심적인 예측을 확인한다.

ABSTRACT

Looijenga recently proved that the tautological ring of M_g vanishes in degree d>g-2 and is at most one-dimensional in degree g-2, generated by the class of the hyperelliptic locus. Here we show that K_{g-2} is non-zero on M_g. The proof uses the Witten conjecture, proven by Kontsevich. With similar methods, we expect to be able to prove some (possibly all) of the identities in degree g-2 in the tautological ring that are part of the author's conjectural explicit description of the ring.

연구 동기 및 목표

• 타우토로지 레이어에 대한 파베르의 추측적 기술에서 핵심적인 케이스를 해결하기 위해 $\kappa_{g-2}$의 비영성을 증명하는 것.
• 교차 수가 $\psi$-클래스와 $\kappa$-클래스를 포함하는 것을 이용하여 $\mathcal{M}_g$의 타우토로지 레이어에서 비자명한 항등식을 확립하는 것.
• Witten-Kontsevich의 $\psi$-클래스 이론과 KdV 계열이 타우토로지 레이어에 대한 깊은 기하학적 결과를 도출하는 데 사용될 수 있음을 보여주는 것.
• $\kappa_{g-2}$가 $H^{2g-4}(\mathcal{M}_g, \mathbb{Q})$에서 0이 아니라는 것을 증명하여, 곡선의 모듈리 공간 연구에서의 예측을 확인하는 것.

제안 방법

• Witten-Kontsevich 교차 이론을 사용하여, 특히 $\psi$-클래스 교차 수에 대한 생성함수를 이용하여 타우토로지 교차 수를 계산한다.
• 모든먼드의 항등식을 이용하여 히오지 번들에 대한 츄인 특성과 $\kappa$-클래스 및 $\psi$-클래스 사이의 관계를 적용한다.
• 생성함수 $D(w,z) = \langle \kappa_0 \kappa(w)\kappa(z) \rangle$에 대한 KdV 방정식을 이용하여 삼점 함수에 대한 미분방정식을 유도한다.
• Dijkgraaf의 공식 $\langle \kappa_0 \kappa(w)\kappa(z) \rangle = \exp\left(\frac{z^2}{2}\right) \sum_{n\geq 0} \frac{n!}{(2n+1)!} \left(\frac{wz}{w+z}\right)^n$을 이용하여 계수를 계산한다.
• Witten-Kontsevich 공식에서 유도된 항등식 $\kappa_{g-2} \cdot \kappa_g = \frac{|B_{2g}|}{(2g)!} \cdot \frac{g!}{(g-2)!}$에 의존하여 비영성을 입증한다.
• $\partial \mathcal{M}_g$에서 $\kappa_g \cdot \kappa_{g-2}$의 영성과 교차 수의 비영성을 결합하여 $\kappa_{g-2}$가 $\mathcal{M}_g$에서 0이 아니라는 결론을 이끌어낸다.

실험 결과

연구 질문

• RQ1 타우토로지 클래스 $\kappa_{g-2}$는 $H^{2g-4}(\mathcal{M}_g, \mathbb{Q})$에서 0이 아닌가?
• RQ2 Witten-Kontsevich 교차 이론은 $\mathcal{M}_g$의 타우토로지 레이어에서 항등식을 증명하는 데 사용될 수 있는가?
• RQ3 $\kappa_{g-2}$의 비영성은 파베르의 타우토로지 레이어에 대한 추측의 예측을 확인하는가?
• RQ4 $\mathcal{M}_g$에서 정확한 교차 수 $\kappa_{g-2} \cdot \kappa_g$는 무엇인가?
• RQ5 츄인 특성 $\mathrm{ch}_{2g}(E)$와 히오지 번들의 $\psi$-클래스는 타우토로지 레이어에서 어떻게 상호작용하는가?

주요 결과

• $\kappa_{g-2}$는 교차 수 $\kappa_{g-2} \cdot \kappa_g$의 비영성으로 인해 $H^{2g-4}(\mathcal{M}_g, \mathbb{Q})$에서 0이 아니라는 것이 입증된다.
• 교차 수 $\kappa_{g-2} \cdot \kappa_g$는 $B_{2g}$가 $2g$-번째 베르누이 수일 때 $\frac{|B_{2g}|}{(2g)!} \cdot \frac{g!}{(g-2)!}$와 같다.
• $\mathrm{ch}_{2g}(E)$는 히오지 번들의 츄인 특성으로서 차수 $2g$에서 0이며, $\kappa_g \cdot \kappa_{g-2}$는 경계 $\partial \mathcal{M}_g$에서 0이 된다.
• 항등식 $\kappa_{g-2} \cdot \kappa_g = \frac{|B_{2g}|}{(2g)!} \cdot \frac{g!}{(g-2)!}$는 Witten-Kontsevich 공식과 Dijkgraaf의 생성함수로부터 유도된다.
• 생성함수 $\langle \kappa_0 \kappa(w)\kappa(z) \rangle$는 KdV 계열에서 유도된 미분방정식을 만족하며, 그 해는 주어진 공식과 일치한다.
• $\kappa_{g-2}$의 비영성은 $B_{2g}$의 비영성과 유도된 교차 수의 양성으로부터 유도된다.