[논문 리뷰] Effective divisors on moduli spaces of curves and abelian varieties

Dawei Chen, Gavril Farkas외 1명|arXiv (Cornell University)|2012. 05. 28.

Algebraic Geometry and Number Theory참고 문헌 55인용 수 11

한 줄 요약

이 논문은 곡선과 아벨 다양체의 모듈리 공간에서 유효 계수를 조사하며, $\overline{\mathcal{M}}_g$의 유효 코너와 기울기 불변량 $s(\overline{\mathcal{M}}_g)$에 초점을 맞춘다. 고체수 나무 곡선과 브릴-노에르 이론을 통해 새로운 계수를 구성하고, 그들의 기하학적 실현과 클래스를 계산하며, 장기적인 추측인 점근 기울기 $s_\infty = \lim_{g\to\infty} s(\overline{\mathcal{M}}_g)$에 기여한다. 더욱이, 보다 정교한 히우리스틱을 통해 $\liminf_{g\to\infty} g \cdot s(\overline{\mathcal{M}}_g) = \frac{576}{5}$임을 제안한다.

ABSTRACT

This paper is an expository survey of results about the effective divisors on moduli spaces, with a focus on what is known about the effective cones of moduli spaces of stable curves and of principally polarized abelian varieties. This version incorporates clarifications and suggestions of Ana-Maria Castravet and the referee, both of whom we thank. To appear in the proceedings of the conference, "Joe at 60:A Celebration of Algebraic Geometry" edited by Brendan Hassett, James McKernan, Jason Starr and Ravi Vakil.

연구 동기 및 목표

• 안정 곡선의 모듈리 공간에 대한 유효 코너 $\mathrm{Eff}(\overline{\mathcal{M}}_g)$와 기울기 불변량 $s(\overline{\mathcal{M}}_g)$의 구조를 이해하기 위해.
• 고체수 나무 곡선과 적합한 선형 시스템을 이용하여 $\overline{\mathcal{M}}_g$에 새로운 유효 계수를 구성하여 브릴-노에르 계류의 기하학적 실현을 제공하기 위해.
• 기울기 $s(\overline{\mathcal{M}}_g)$의 점근적 행동을 $g \to \infty$에서 조사하며, $s_\infty = 0$ 또는 $s_\infty > 0$로 추측되는 극한에 초점을 맞추기 위해.
• 고체수 나무 $\Gamma$에 관련된 계수 계류 $D_\Gamma$의 기하학적 실현과 그 클래스를 파이카르드 군에서 계산하기 위해.

제안 방법

• 정점의 차수를 사전에 정의한 $\mathbb{P}^1$들을 접합하여 유리 곡선의 분열로 고체수 나무 곡선 $\Sigma_\Gamma$를 구성하며, 스킴 이론적 푸시아웃을 사용하여 특이 모델을 정의한다.
• 각 성분에서 차수 1의 적합한 선다발의 공간인 $\mathrm{Pic}^{\underline{1}}$을 도입하고, $h^0(L) \geq r+1$을 통해 브릴-노에르 계류 $W^r \subset \mathrm{Pic}^{\underline{1}}$를 정의한다.
• 기저를 잃는 사상 $\nu$에 의한 $W^r$의 역상으로서 $G^r$을 정의하고, $\overline{\mathcal{M}}_{0,n}$에서 그 닫힘을 연구한다.
• 기저를 잃는 사상 $\nu$의 예외적 역할의 구조와 $\mathrm{Pic}^{\underline{1}}$에서의 가환층의 지에세커 안정성에 기반하여, $\overline{\mathcal{M}}_{0,n}$의 비유적 수축을 구성함으로써, $D_\Gamma$를 $G^2$의 닫힘으로서 구성한다.
• $D_\Gamma$가 평면 실현을 통해 $G^2$의 닫힘과 일치함을 보여, $D_\Gamma$의 평면 실현이 존재함을 증명함으로써, $D_\Gamma$가 기하학적으로 비어 있지 않음을 입증한다.
• $D_\Gamma$가 구조적 예외적 역할의 유일성과 기하학적 실현의 유일성을 이용하여, $D_\Gamma$가 구면 대칭에 대해 유일하게 고체수 나무 $\Gamma$를 결정함을 증명한다.

실험 결과

연구 질문

• RQ1 극한 $s_\infty = \lim_{g\to\infty} s(\overline{\mathcal{M}}_g)$가 존재하는가? 존재한다면 그 값은 얼마인가?
• RQ2 기울기가 6 미만인 유효 계수를 $\overline{\mathcal{M}}_g$에 구성할 수 있는가? 이는 점근 기울기에 어떤 영향을 미치는가?
• RQ3 고체수 나무 $\Gamma$에 관련된 계수 $D_\Gamma$의 정확한 클래스는 무엇이며, 브릴-노에르 계류와의 관계는 어떠한가?
• RQ4 $D_\Gamma$는 비어 있지 않고 기하학적으로 평면 모델의 투영으로 실현 가능한가?
• RQ5 고체수 나무 곡선을 통한 $D_\Gamma$의 구성은 슈타르키 문제와 $\mathcal{M}_g$의 기하학성 대비 $\mathcal{A}_g$의 기하학성에 대한 새로운 접근을 제공하는가?

주요 결과

• $\Gamma$가 일반적이고 기약인 고체수 나무일 경우, 계수 $D_\Gamma$는 비어 있지 않고 기약적이며, $\overline{\mathcal{M}}_{0,n}$의 파이카르드 군에서 부분적으로 클래스가 계산된다.
• $D_\Gamma$를 $\overline{\mathcal{M}}_{0,n}$에서 $G^2$의 닫힘으로서 구성하는 것은 그 기하학적 실현, 즉 평면 투영으로서의 실현과 동치임을 보여, 이러한 실현의 존재를 입증한다.
• $D_\Gamma$가 구면 대칭에 대해 고체수 나무 $\Gamma$를 유일하게 결정함을 보여, 강력한 유일성 결과를 확립한다.
• 휴르비츠 이론과 테이히뮐러 역학의 방법을 기반으로 한 보다 정교한 히우리스틱을 통해 $\liminf_{g\to\infty} g \cdot s(\overline{\mathcal{M}}_g) = \frac{576}{5}$임을 제안한다.
• 고체수 나무 곡선에서의 적합한 선형 시스템을 통한 $D_\Gamma$의 구성은 $\overline{\mathcal{M}}_g$에서 낮은 기울기를 가진 유효 계수를 생성하는 새로운 방법을 제공하며, 코다이라 기하학적 차원과 슈타르키 문제에 잠재적인 영향을 미칠 수 있다.
• 기하학적 기술의 이중성에 기반하여, $D_\Gamma$가 가상 또는 극한 구성이 아니라 진정한 계수임을 입증함으로써, 그 비어 있지 않음과 기약성을 확립한다.