[논문 리뷰] A generalization of the double ramification cycle via log-geometry

Jérémy Guéré|arXiv (Cornell University)|2016. 03. 30.

Mathematics and Applications참고 문헌 24인용 수 12

한 줄 요약

이 논문은 주로 고무형 $k$-로그-칸토니컬 딜레르의 모듈리 공간에 대해 로그기하학적 프레임워크를 제안하며, 차원 $2g-3+n$을 가진 완전한 오염 이론과 가상 기본 사이클을 갖는 적절한 딜레르-멈포드 스택을 구축한다. $k=1$인 строго 메로모르픽 케이스에서, 가상 기본 사이클의 $\overline{\mathcal{M}}_{g,n}$로의 투영은 가중치가 부여된 꼬임 캐논리컬 딜레르의 기본 사이클과 일치하며, 피크톤의 추측적 공식에 대한 기하적 실현을 제공한다.

ABSTRACT

We give a log-geometric description of the space of twisted canonical divisors constructed by Farkas--Pandharipande. In particular, we introduce the notion of a principal rubber $k$-log-canonical divisor, and we study its moduli space. It is a proper Deligne--Mumford stack admitting a perfect obstruction theory whose virtual fundamental cycle is of dimension $2g-3+n$. In the so-called strictly meromorphic case with $k=1$, the moduli space is of the expected dimension and the push-forward of its virtual fundamental cycle to the moduli space of stable curves equals the weighted fundamental class of the moduli space of twisted canonical divisors. Conjecturally, it yields a formula of Pixton generalizing the double ramification cycle in the moduli space of stable curves.

연구 동기 및 목표

• 안정 곡선의 모듈리 공간에서 일반화된 이중 임계 사이클에 대한 피크톤의 추측적 공식을 기하학적으로 실현하는 것.
• 로그기하학을 이용해 주로 고무형 $k$-로그-칸토니컬 딜레르의 모듈리 공간을 정의하고 연구하는 것.
• 이 모듈리 공간에 대해 완전한 오염 이론과 가상 기본 사이클을 구축하여, 기대되는 차원 $2g-3+n$을 갖는다는 것을 보이는 것.
• 가상 사이클의 투영이 꼬임 캐논리컬 딜레르의 가중치가 부여된 기본 사이클과 관련이 있다는 것을 연결하는 것. 이는 파르카스–판다리파데의 추측과 일치한다.
• 스트릭트 메로모르픽 케이스($k=1$)에서 가상 기본 사이클이 기본 사이클과 일치함을 보여, 추측적 공식을 지지하는 것.

제안 방법

• 곡선 위의 로그스트럭처와 고무 목표 $\mathbb{P}^1$로의 상대적 사상에 대해, 고무형 $k$-로그-칸토니컬 딜레르의 개념을 도입한다. 이 목표에는 $0$과 $\infty$에서의 표시된 딜레르가 있다.
• 이중 그래프의 안정성 조건을 이용한 로그기하학적 기법을 통해 모듈리 공간 $\mathcal{D}^{*(k)}$를 적절한 딜레르-멈포드 스택으로 구축한다.
• 유도 범주를 이용한 로그-층의 기반에서 $\mathcal{D}^{*(k)}$ 위에 완전한 오염 이론을 정의하여, 차원 $2g-3+n$을 갖는 가상 기본 사이클을 도출한다.
• 프리스테이블 곡선의 모듈리 공간 위에서 루트 구조를 적용하여, 노드에서의 접촉 차수를 반영한 스트라타의 다중성을 계산한다.
• 정규화 사상 $\mathrm{st}$를 적용하여 가상 사이클을 $\overline{\mathcal{M}}_{g,n}$로 투영하고, 타우톨로지컬 클래스와의 관련성을 규명한다.
• 스트릭트 메로모르픽 케이스에서 $k=1$일 때, 가상 기본 사이클이 기본 사이클과 일치함을 증명하며, 그 투영이 $H_g(\vec{\mathbf{m}})$로 주어지는 가중치가 부여된 기본 사이클과 일치함을 보인다.

실험 결과

연구 질문

• RQ1 로그기하학에서의 상대적 안정 사상의 모듈리 공간을 통해 $k$-스태프 캐논리컬 딜레르에 대한 일반화된 이중 임계 사이클을 기하학적으로 실현할 수 있는가?
• RQ2 주로 고무형 $k$-로그-칸토니컬 딜레르의 모듈리 공간은 기대 차원 $2g-3+n$을 갖는 완전한 오염 이론을 갖는가?
• RQ3 스트릭트 메로모르픽 케이스에서 $k=1$일 때, $\overline{\mathcal{M}}_{g,n}$로의 가상 기본 사이클의 투영이 꼬임 캐논리컬 딜레르의 가중치가 부여된 기본 사이클을 복원하는가?
• RQ4 모듈리 공간의 스트라타의 다중성은 노드에서의 절대 접촉 차수의 곱으로 결정되는가?
• RQ5 모듈리 공간의 $k=1$ 케이스에서의 가상 사이클의 투영이, $2^{-g}$의 계수를 제외한 피크톤의 추측적 공식과 일치하는가?

주요 결과

• 주로 고무형 $k$-로그-칸토니컬 딜레르의 모듈리 공간 $\mathcal{D}^{*(k)}$는 완전한 오염 이론을 갖는 적절한 딜레르-멈포드 스택이다.
• 모듈리 공간 $\mathcal{D}^{*(k)}$의 가상 기본 사이클은 차원 $2g-3+n$을 가지며, 이는 기대되는 차원과 일치한다.
• 스트릭트 메로모르픽 케이스에서 $k=1$일 때, 가상 기본 사이클은 기본 사이클과 일치한다: $[\mathcal{D}^{*(1)}_{\mathrm{pr}}]^\mathrm{vir} = [\mathcal{D}^{*(1)}_{\mathrm{pr}}]$.
• 스트라타 $Z_0$의 기본 사이클의 $\overline{\mathcal{M}}_{g,n}$로의 투영은 $\mathrm{st}_*[Z_0] = \prod_{e \in E^*(G_0^{\mathrm{stab}})} |c_e| \cdot [\mathrm{st}(Z_0)]$로 주어지며, 접촉 차수에서 기인한 다중성을 반영한다.
• 모듈리 공간에서 $k=1$일 때, 가상 사이클의 투영은 $\mathrm{st}_*[\mathcal{D}^{*(1)}_{\mathrm{pr}}] = H_{g,\vec{\mathbf{m}}}$를 만족하며, 파르카스–판다리파데의 가중치가 부여된 기본 사이클과 일치한다.
• 이 결과는 $\mathrm{st}_*[\mathcal{D}^{*(1)}_{\mathrm{pr}}] = 2^{-g}P^g_{g,\vec{\mathbf{m}}}$를 제안하는 추론 3.21를 지지하며, 일반적인 $k$에 대한 추측적 공식으로 확장된다.