[논문 리뷰] Relative virtual localization and vanishing of tautological classes on moduli spaces of curves

Tom Graber, Ravi Vakil|ArXiv.org|2003. 09. 14.

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

한 줄 요약

이 논문은 안정 상대 맵의 모듈리 공간에 대한 상대 가상 국소화 공식을 도입하며, 이는 모든 고차원 i의 타우톨로지 클래스가 곡선에 적어도 i − g + 1개의 종수 0 성분을 가져야만 비가역임을 증명하는 데 사용된다. 주요 기여는 모듈리 공간 이론에서 수많은 귀무화 정리의 배경이 되는 기하적 원리이며, 히르츠 클래스와 다항성 기법을 통해 타우톨로지 링과 그로모프-위튼 이론에 응용된다.

ABSTRACT

We prove a localization formula for the moduli space of stable relative maps. As an application, we prove that all codimension i tautological classes on the moduli space of stable pointed curves vanish away from strata corresponding to curves with at least i-g+1 genus 0 components. (The proof of this result is quite short and naive.) As consequences, we prove and generalize various conjectures and theorems about various moduli spaces of curves (due to Getzler, Ionel, Faber, Looijenga, Pandharipande, Diaz, and others). This theorem appears to be the geometric content behind these results; the rest is straightforward graph combinatorics. The theorem also suggests the importance of the stratification of the moduli space by number of rational components.

연구 동기 및 목표

• 안정 상대 맵의 모듈리 공간에 대한 상대 가상 국소화 공식을 수립하여 국소화 기법을 상대적 상황으로 확장한다.
• 타우톨로지 클래스가 고차원 i에서 귀무화되는 조건이 곡선에 적어도 i − g + 1개의 종수 0 성분을 가져야 함을 증명함으로써 이전의 추측들을 통합하고 일반화한다.
• 모듈리 공간의 타우톨로지 링에서 알려진 귀무화 결과들에 대한 기하적 기초를 제공한다.
• 유비의 성분 수에 따른 분할이 타우톨로지 클래스의 지지 집합을 이해하는 데 핵심적임을 밝힌다.
• 낮은 차원의 타우톨로지 군에서 귀무화 정리 유도 및 관계식 생성을 위한 체계적인 방법을 제공한다.

제안 방법

• 안정 상대 맵의 모듈리 공간을 매끄러운 딜라인-머담 스택에 C*--equivariant 국소적으로 닫힌 매장으로 구성한다.
• C*-고정점에서의 가상 기본류가 오염 이론의 고정 부분에서 유래됨을 확인한다.
• 상대 오염 이론을 사용하여 고정점의 가상 정규 벡터장을 계산한다.
• 상대 가상 국소화 공식을 적용하여 다항성 기법을 통해 타우톨로지 클래스를 히르츠 클래스의 선형 조합으로 표현한다.
• 대상 P¹의 변형을 통해 히르츠 클래스가 많은 종수 0 성분을 가진 깊은 분할에 놓여 있음을 보인다.
• 그래프의 조합론을 활용하여 낮은 고차원에서 타우톨로지 군의 귀무화 및 생성 결과를 도출한다.

실험 결과

연구 질문

• RQ1 Mg,n에서 고차원 i의 타우톨로지 클래스가 귀무화되는 기하적 메커니즘은 무엇인가?
• RQ2 안정 곡선에서 종수 0 성분의 수가 타우톨로지 클래스의 지지 집합을 어떻게 제약하는가?
• RQ3 상대 가상 국소화가 기존의 모듈리 공간의 타우톨로지 클래스 귀무화 정리를 통합하고 일반화할 수 있는가?
• RQ4 유비의 성분 수에 따른 분할이 타우톨로지 링의 구조에서 어떤 역할을 하는가?
• RQ5 히르츠 클래스와 그로모프-위튼 이론에서의 다항성은 낮은 고차원에서 타우톨로지 클래스를 어느 정도 생성하는가?

주요 결과

• Mg,n에서 고차원 i의 모든 타우톨로지 클래스는 종수 0 성분의 수가 i − g + 1보다 작은 열린 부분집합에서는 귀무화된다.
• 고차원 i의 타우톨로지 클래스는 적어도 i − g + 1개의 종수 0 성분을 가진 분할 위에 지지되는 클래스들의 밀도로 표현될 수 있다.
• Mg,n의 타우톨로지 군 R1(Mg,n)은 M0,4 또는 M1,1 유형의 경계 분할에 의해 생성되며, R2(Mg,n)는 경계 분할만으로 생성된다.
• 고차원 3에서는 R3(Mg,n)이 경계 분할과 M2,1 × ∏M0,3 위에 지지되는 클래스들에 의해 생성되며, M2,1에서의 단일 비경계 생성자 ψ1이 존재한다.
• 고차원 4에서는 R4(Mg,n)이 경계 클래스와 M2,2, M2,1 × M0,4, M2,1 × M1,1 위의 ψ1-클래스들에 의해 생성되며, M0,4 ≅ M1,1 ≅ P¹임을 이용한다.
• 고차원 6에서는 M3,2 × ∏M0,3 위의 고차원 2 클래스에서 잠재적인 새로운 생성자가 나타나지만, A2(M3,2)의 계산이 완료되지 않아 그 타우톨로지 성격은 아직 미결정이다.