[논문 리뷰] Double ramification cycles on the moduli spaces of curves

Felix Janda, Rahul Pandharipande외 2명|arXiv (Cornell University)|2016. 02. 15.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 13

한 줄 요약

이 논문은 안정 곡선의 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 의 타우톨로지 링에서 이중 램프리케이션 사이클 $\tau_{g}(\mu,\nu)$ 의 명시적 공식을 증명한다. 이는 고무 목표로 향하는 안정 사상의 가상 기본류를 사용하여 유도된다. 공식은 안정 그래프의 합으로 표현되며, 각 정점, 간선, 표시에 대한 곱의 형태로 구성되며, Pixton 이 2014년에 제기한 추측을 확인하고 Hain 의 컴acts 타입 결과를 일반화한다. 또한, 허브의 위상 클래스 $\lambda_g$ 는 비분리 노드의 분리 다발에 지지된 타우톨로지 클래스의 프로젝션으로 표현된다.

ABSTRACT

Curves of genus g which admit a map to CP1 with specified ramification profile mu over 0 and nu over infinity define a double ramification cycle DR_g(mu,nu) on the moduli space of curves. The study of the restrictions of these cycles to the moduli of nonsingular curves is a classical topic. In 2003, Hain calculated the cycles for curves of compact type. We study here double ramification cycles on the moduli space of Deligne-Mumford stable curves. The cycle DR_g(mu,nu) for stable curves is defined via the virtual fundamental class of the moduli of stable maps to rubber. Our main result is the proof of an explicit formula for DR_g(mu,nu) in the tautological ring conjectured by Pixton in 2014. The formula expresses the double ramification cycle as a sum over stable graphs (corresponding to strata classes) with summand equal to a product over markings and edges. The result answers a question of Eliashberg from 2001 and specializes to Hain's formula in the compact type case. When mu and nu are both empty, the formula for double ramification cycles expresses the top Chern class lambda_g of the Hodge bundle of the moduli space of stable genus g curves as a push-forward of tautological classes supported on the divisor of nonseparating nodes. Applications to Hodge integral calculations are given.

연구 동기 및 목표

• 디레인-무어 스타블 곡선의 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 에서 이중 램프리케이션 사이클 $\mathsf{DR}_g(\mu,\nu)$ 의 완전하고 명시적인 공식을 제공하는 것.
• 2001년 Eliashberg 가 제기한, 타우톨로지 링 내 이중 램프리케이션 사이클의 구조에 관한 질문을 해결하는 것.
• Pixton 이 2014년에 제기한 추측을 검증하는 것: $\mathsf{DR}_g(\mu,\nu)$ 는 정점, 간선, 표시에 대한 곱 공식이 있는 안정 그래프로 색인화된 스트라타 클래스의 분해를 갖는다.
• Hain 이 2003년에 컴팩트 타입 곡선에 대해 증명한 결과를 전체 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 으로 확장하는 것.
• 허브의 위상 클래스 $\lambda_g$ 의 새로운 공식을 확립하는 것: 비분리 노드 다발에 지지된 타우톨로지 클래스의 프로젝션으로 표현된다.

제안 방법

• 이중 램프리케이션 사이클은 고무 $\mathbb{P}^1$-목표로 향하는 안정 사상의 모듈리 공간의 가상 기본류를 통해 정의된다.
• 공식은 안정 그래프 $\Gamma $ 의 합으로 구성되며, 각 항은 정점(성별과 표시의 기여), 간선(간선 무게의 기여), 표시(분기 데이터의 기여)에 대한 곱의 형태로 구성된다.
• 이 방법은 이전 연구에서 확립된 $\mathsf{DR}_g(A)$ 가 분기 데이터 $a_i$ 에 대해 다항식임을 이용하여 문제를 $p$-진 값의 유한한 계산으로 환원한다.
• 핵심 기술 도구는 $\mathbb{Z}/p\mathbb{Z}$ 에서의 지수 합에 대한 $p$-진 값의 추정으로, 특정 합이 큰 $p$ 에 대해 $p^b$ 로 나누어 떨어짐을 증명함으로써 공식의 계수들이 유리수이며 정수임을 보인다.
• 증명은 $k$-틀리기 이중 램프리케이션 사이클과 그에 관련된 가중치에 대한 선형 조건의 구조를 이용하여 가상 사이클의 기하학을 제어한다.
• 최종 공식은 가상 국소화 기법과 안정 그래프에 대한 조합적 분해를 결합하여 유도되며, 컴팩트 타입 경우와 같은 알려진 사례들과의 일致성을 보장한다.

실험 결과

연구 질문

• RQ1 완전한 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 에서 이중 램프리케이션 사이클 $\mathsf{DR}_g(\mu,\nu)$ 의 정확한 타우톨로지 표현은 무엇인가? 컴팩트 타입의 경우를 초월하여.
• RQ2 Pixton 이 2014년에 제기한 이중 램프리케이션 사이클의 공식이 안정 그래프의 합으로 표현되며, 정점, 간선, 표시에 대한 곱 공식을 갖는다는 것을 엄밀하게 증명할 수 있는가?
• RQ3 이중 램프리케이션 사이클은 컴팩트 타입의 경우에 어떻게 Hain 의 공식으로 특수화되는가?
• RQ4 위상 클래스 $\lambda_g$ 는 비분리 노드 다발에 지지된 타우톨로지 클래스의 프로젝션으로 표현될 수 있는가?
• RQ5 $\mu = \nu = \emptyset$ 인 경우 이중 램프리케이션 사이클의 구조는 어떠한가? 그리고 이는 $R^*(\overline{\mathcal{M}}_{g,n})$ 의 타우톨로지 관계와 어떻게 관련이 있는가?

주요 결과

• 이중 램프리케이션 사이클 $\mathsf{DR}_g(\mu,\nu)$ 는 안정 그래프 $\Gamma $ 의 합으로 명시적으로 계산되며, 각 항은 정점, 간선, 표시의 기여의 곱으로 구성되며, Pixton 의 추측을 확인한다.
• $\mu = \nu = \emptyset$ 인 경우, 공식은 $\overline{\mathcal{M}}_g$ 의 비분리 노드 다발에 지지된 타우톨로지 클래스의 프로젝션으로 위상 클래스 $\lambda_g$ 를 표현한다.
• 공식은 컴팩트 타입의 경우 Hain 의 2003년 결과로 특수화되어 이전 연구와의 일致성을 확인한다.
• 공식의 계수는 $p$-정수 분모를 갖는 유리수이며, $\mathbb{Z}/p\mathbb{Z}$ 에서의 지수 합에 대한 $p$-진 값의 추정을 통해 정수성과 유리성을 증명한다.
• 이중 램프리케이션 사이클은 이전 연구에서 확립된 바와 같이 분기 데이터 $a_i$ 에 대해 다항식이며, 이 다항식성은 가상 사이클의 구조를 제어하는 데 사용된다.
• 이 방법은 이중 램프리케이션 사이클을 통한 허브 적분의 체계적 프레임워크를 제공하며, 타우톨로지 교차 이론에서 새로운 계산을 가능하게 한다.