[논문 리뷰] Relations in the tautological ring of the moduli space of K3 surfaces

Rahul Pandharipande, Qizheng Yin|arXiv (Cornell University)|2016. 07. 29.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 7

한 줄 요약

이 논문은 제트글러의 계수 1 관계를 이용해 일반 K3 표면의 세 번째 섬유곱의 대각선에 대한 보편적 분해를 유도함으로써, 준편재 K3 표면의 모듈리 공간의 전체 타우토로지 링이 노에터-레프슈츠 위치에 의해 생성됨을 증명한다. 이 구성은 구면형 호모로지 이론과 가상 클래스를 활용하며, 모든 $\kappa$ 클래스에 대한 명시적 경계 관계를 증명하고, 마리안-오프레아-판다리파ande 추측을 확인한다.

ABSTRACT

We study the interplay of the moduli of curves and the moduli of K3 surfaces via the virtual class of the moduli spaces of stable maps. Using Getzler's relation in genus 1, we construct a universal decomposition of the diagonal in Chow in the third fiber product of the universal K3 surface. The decomposition has terms supported on Noether-Lefschetz loci which are not visible in the Beauville-Voisin decomposition for a fixed K3 surface. As a result of our universal decomposition, we prove the conjecture of Marian-Oprea-Pandharipande: the full tautological ring of the moduli space of K3 surfaces is generated in Chow by the classes of the Noether-Lefschetz loci. Explicit boundary relations are constructed for all kappa classes. More generally, we propose a connection between relations in the tautological ring of the moduli spaces of curves and relations in the tautological ring of the moduli space of K3 surfaces. The WDVV relation in genus 0 is used in our proof of the MOP conjecture.

연구 동기 및 목표

• 모듈리 공간의 $K3$ 표면의 전체 타우토로지 링이 노에터-레프슈츠 위치에 의해 생성됨을 증명하는 마리안-오퍼아-판다리파ande 추측을 입증한다.
• 타우토로지 링 내의 모든 $\kappa$ 클래스에 대한 명시적 경계 관계를 구성한다.
• 제트글러의 계수 1 관계를 이용해 일반 $K3$ 표면의 세 번째 섬유곱에서의 대각선에 대한 보편적 분해를 수립한다.
• 곡선 모듈리 공간의 타우토로지 링 내의 관계가 $K3$ 표면 모듈리 공간의 타우토로지 링 내의 관계와 연결됨을 보여준다.

제안 방법

• 계수 1에서의 제트글러 관계를 사용하여 일반 $K3$ 표면의 세 번째 섬유곱에서의 대각선에 대한 보편적 분해를 구성한다.
• 안정 맵의 모듈리 공간의 가상 클래스를 적용하여 평행 모듈리 공간의 안정 맵에서의 평가 사상으로부터 일반 $K3$ 표면 위의 표준적 디바이저 클래스 $\chi$를 정의한다.
• 상대 접선 배럴의 두 번째 체르누프 클래스인 $c_2(\tau_\pi)$와 $\chi$의 곱의 투영을 통해 $\kappa$ 클래스를 정의한다.
• 구면형 호모로지 이론의 계수 0에서의 WDVV 관계를 수출하여 $K3$ 표면 모듈리 공간의 타우토로지 링 내의 관계를 도출한다.
• 차원과 $H$-지수에 대한 이중 귀납을 사용하여 모든 $\kappa$ 클래스가 노에터-레프슈츠에 의해 생성된 부분환에 속한다는 것을 증명한다.
• 완전한 야우-자슬로 공식을 활용하여 적합한 클래스에 대해 감소된 구면형 호모로지 이론의 비영인 값을 보장함으로써, 디바이저 클래스의 표준적 구성이 가능하도록 한다.

실험 결과

연구 질문

• RQ1 모듈리 공간의 준편재 $K3$ 표면의 전체 타우토로지 링이 노에터-레프슈츠 위치에서만 유래하는가?
• RQ2 곡선 모듈리 공간의 타우토로지 링 내의 관계가 $K3$ 표면 모듈리 공간의 타우토로지 링으로 수출될 수 있는가?
• RQ3 모든 $\kappa$ 클래스가 노에터-레프슈츠 위치의 조합으로 표현될 수 있는가?
• RQ4 계수 1의 관계를 사용하여 일반 $K3$ 표면의 세 번째 섬유곱에서의 보편 대각선 분해를 구성할 수 있는가?
• RQ5 모듈리 공간의 $K3$ 표면 타우토로지 링 내의 $\kappa$ 클래스에 대한 경계 관계의 정확한 구조는 무엇인가?

주요 결과

• 준편재 $K3$ 표면의 모듈리 공간의 전체 타우토로지 링은 노에터-레프슈츠 위치에 의해 생성되며, 마리안-오퍼아-판다리파ande 추측을 확인한다.
• 모든 $\kappa$ 클래스에 대해 명시적 경계 관계가 구성되었으며, 이는 그것들이 노에터-레프슈츠에 의해 생성된 부분환에 속한다는 것을 보여준다.
• 제트글러의 계수 1 관계를 사용하여 일반 $K3$ 표면의 세 번째 섬유곱에서의 보편 대각선 분해가 구성되었으며, 노에터-레프슈츠 위치에 지원되는 항들은 빌레브-보아신 분해에서는 나타나지 않는다.
• 계수 0에서의 WDVV 관계가 타우토로지 링 내의 핵심 관계를 도출하는 데 사용되었으며, 이는 주요 추측의 증명을 가능하게 한다.
• 차원과 $H$-지수에 대한 귀납적 증명은 모든 $\kappa$ 클래스, 포함하여 $H$-인자가 없는 클래스들까지도 노에터-레프슈츠에 의해 생성된 부분환에 속한다는 것을 성공적으로 증명한다.
• 감소된 구면형 호모로지 이론의 비영인 값을 통해 디바이저 클래스의 표준적 구성이 가능하며, 이는 모든 $\kappa$ 클래스가 임의의 선택 없이 잘 정의되고 유리수임을 보장한다.