[논문 리뷰] The double ramification cycle and the theta divisor

Samuel Grushevsky, Dmitry Zakharov|arXiv (Cornell University)|2012. 06. 29.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 8

한 줄 요약

이 논문은 표본 곡선과 테스트 곡선 기하학을 사용하여 표본점이 있는 곡선의 모듈리 공간의 델리-무어 컴actification에서 차수 0과 g−1인 보편 θ-구분자 클래스를 계산한다. 이는 하인과 مول러의 더블 램프리프션 사이클 및 θ-구분자 클래스에 관한 최근 결과를 재증명하고 확장하며, 전체 컴 pactification에서 유효한 직접적인 기하학적 방법을 제공한다.

ABSTRACT

We compute the classes of universal theta divisors of degrees zero and g-1 over the Deligne-Mumford compactification of the moduli space of curves, with various integer weights on the points, in particular reproving a recent result of Müller. We also obtain a formula for the class in the Chow ring of the moduli space of curves of compact type of the double ramification locus, given by the condition that a fixed linear combination of the marked points is a principal divisor, reproving a recent result of Hain. Our approach for computing the theta divisor is more direct, via test curves and the geometry of the theta divisor, and works easily over the entire Deligne-Mumford compactification. We use our extended result in another paper to study the partial compactification of the double ramification cycle.

연구 동기 및 목표

• 표본점에 대한 임의의 정수 가중치를 가진 보편 θ-구분자 차수 0과 g−1의 $\overline{\mathcal{M}}_{g,n}$로의 역상 계산
• 하인과 مول러가 최근에 제시한 $CH^g(\mathcal{M}_{g,n}^{ct})$에서의 더블 램프리프션 사이클에 관한 결과를 재증명하고 확장
• 전체 컴 pactification $\overline{\mathcal{M}}_{g,n}$에서 유효한, 표본 곡선을 사용한 직접적인 기하학적 방법을 통한 θ-구분자 클래스 계산
• 보편 θ-구분자 역상의 체계를 통해 $CH^g(\mathcal{M}_{g,n}^{ct})$에서 더블 램프리프션 사이클의 공식 수립
• 체인 링에서의 항등식 $[z_g] = [T]^g / g!$ 를 통해 더블 램프리프션 사이클과 보편 θ-구분자 간의 관계 규명

제안 방법

• 표본 곡선을 사용하여 $\overline{\mathcal{M}}_{g,n}$에서의 교차 수를 계산하고 θ-구분자 역상의 계수를 제약
• 기존 문헌에서 알려진 교차 수를 활용하여, 조건부 공식을 적용하여 표본 곡선에 제한된 θ-구분자의 캐논리컬 계수 계산
• 글루잉 사상 $i: \mathcal{M}_{2,1}^{ct} \times \overline{\mathcal{M}}_{g-2,n+1} \to \overline{\mathcal{M}}_{g,n}$을 사용하여 계수에 대한 추가 제약 추출
• 체인 링에서 항등식 $[z_g] = [T]^g / g!$ 를 활용하여 영점 섹션 계수와 θ-구분자 계수 간의 관계 설정
• 파베르(1999)의 역상 공식을 적용하여, 특히 $\lambda_1$ 및 $\delta_1^\emptyset$에 초점을 맞춰 글루잉 영역에서 θ-구분자 계수의 제약 계산
• $\mathcal{M}_{2,1}^{ct}$에서 $\lambda_1 = \delta_1^\emptyset / 5$ 임을 이용하여 θ-구분자 계수에서 $\lambda_1$의 계수 추출

실험 결과

연구 질문

• RQ1 표본점에 대한 임의의 정수 가중치를 가진 보편 차수 $g-1$ θ-구분자의 $\overline{\mathcal{M}}_{g,n}$로의 역상 계수는 무엇인가?
• RQ2 $CH^g(\mathcal{M}_{g,n}^{ct})$에서 더블 램프리프션 사이클 계수를 θ-구분자 기하학을 직접적으로 어떻게 계산할 수 있는가?
• RQ3 보편 대칭 θ-구분자 $T$의 $\overline{\mathcal{M}}_{g,n}$로의 역상은 정확히 어떤 공식으로 주어지며, 영점 섹션 계수와 어떻게 관련되는가?
• RQ4 정규 함수나 그로모브-위즈이 이론이 아닌, 표본 곡선과 조건부 공식을 활용한 기하학적 방법으로 더블 램프리프션 사이클 계수를 재유도할 수 있는가?
• RQ5 컴 pactification의 확장된 보편 아벨-자기군과의 관련성에서, 컴팩트 유형의 곡선 모듈리 공간은 θ-구분자 계수 계산에서 어떤 역할을 하는가?

주요 결과

• 보편 차수 $g-1$ θ-구분자의 $\overline{\mathcal{M}}_{g,n}$로의 역상은 $K_i$, $\delta_0^P$, $\delta_h^P$ 항을 포함하는 계수로 명시적으로 계산됨
• 표본 곡선과 글루잉 사상에 의한 교차를 통해 $[s_{\underline{d}}^* \Theta]$에서 $\lambda_1$의 계수는 $-1$, $\delta_{irr}$의 계수는 $0$임을 확인
• 체인 링에서 항등식 $[z_g] = [T]^g / g!$ 를 통해 $CH^g(\mathcal{M}_{g,n}^{ct})$에서 더블 램프리프션 사이클 계수 재확인, 하인의 결과 확인
• 영점 섹션 $z_g$의 $\mathcal{M}_{g,n}^{ct}$로의 역상은 $\frac{1}{g!} \left[ \frac{1}{2} \sum d_i^2 K_i - \frac{1}{2} \sum_P (d_P^2 - \sum_{i\in P} d_i^2) \delta_0^P - \frac{1}{2} \sum_{h>0,P} d_P^2 \delta_h^P \right]^g$ 로 표현되며, 하인의 공식과 일치
• 조건부 공식과 캐논리컬 번들 공식을 사용하여 $\mathcal{M}_{2,1}^{ct}$에서의 θ-구분자 계수는 $-\lambda_1 + \psi$ 로 계산되며, 마지막으로 누락된 계수를 고정함
• 이 방법은 하인의 정규 함수 접근법과 카발리에리-마르쿠스-와이즈의 그로모브-위즈이 이론 방법에 대한 직접적이고 기하학적인 대안을 제공하며, 전체 컴 pactification $\overline{\mathcal{M}}_{g,n}$에서 유효함