[논문 리뷰] On the effective cone of $\overline{\mathcal{M}}_{g,n}$

Scott Mullane|arXiv (Cornell University)|2017. 01. 20.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 6

한 줄 요약

이 논문은 $g \geq 2$ 및 $n \geq g+1$ 인 경우 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 에서 아벨 미분형의 계층을 분석하여 무한히 많은 극값 효과적 디바이저를 구성한다. 약간의 피브레이션으로부터 유도된 커버링 커브를 사용하여, 이러한 디바이저가 허구적 효과적 콩 내에서 극값임을 증명하며, $\overline{\mathcal{M}}_{g,n}$ 의 비라시오널 기하학에 대한 이해를 크게 향상시킨다.

ABSTRACT

For every $g\geq 2$ and $n\geq g+1$ we exhibit infinitely many extremal effective divisors in $\overline{\mathcal{M}}_{g,n}$ coming from the strata of abelian differentials.

연구 동기 및 목표

• 모듈리 공간의 비라시오널 기하학에서 중심적인 열린 문제인 $\overline{\mathcal{M}}_{g,n}$ 의 허구적 효과적 콩의 구조를 이해하는 것.
• 아벨 미분형에서 유래한 기하적 대상들을 사용하여 $g \geq 2$ 및 $n \geq g+1$ 인 $\overline{\mathcal{M}}_{g,n}$ 에 새로운 극값 효과적 디바이저를 구성하는 것.
• 이 디바이저들이 음의 값을 갖는 커버링 커브를 구성함으로써 극값임을 증명하는 것.
• 특히 브릴-노에르, 심지어 디바이저, 스피너 구조 계열에서 유래한 이전 결과들을 확장하는 것.

제안 방법

• 형식 $\kappa$ 의 정칙 또는 유리형 미분을 갖는 곡선의 위치의 클로처로써 $\overline{\mathcal{M}}_{g,n}$ 에 포함되는 디바이저 $D^n_\kappa$ 를 구성한다. 여기서 $\kappa$ 는 $2g-2$ 의 분할이다.
• 왜곡된 캐논리컬 디바이저의 콪팩티피케이션 계층 $\overline{\mathcal{P}}(\kappa)$ 를 사용하여 $\overline{\mathcal{M}}_{g,m-g-1}$ 에 대한 피브레이션을 정의함으로써 $\overline{\mathcal{M}}_{g,n}$ 에 곡선을 생성한다.
• 고정된 $m-g-1$ 개의 표본점을 사용하고 나머지 $n$ 개의 점을 계층 $\mathcal{P}(\kappa)$ 내에서 변동시킴으로써 커버링 커브 계열 $B^n_\kappa$ 를 정의한다.
• 만약 커버링 커브 $B$ 가 $B \cdot D < 0$ 를 만족하면, $D$ 는 허구적 효과적 콩 내에서 극값임을 보여주는 기준을 적용한다.
• 논문 [BCGGM] 에서 제시된 전역 잔여 조건을 활용하여 $\overline{\mathcal{P}}(\kappa)$ 의 주요 성분을 식별함으로써, 구성이 잘 정의되어 있음을 보장한다.
• 논문 [Mullane2], [Muller], [GruZak], [FarkasVerraTheta] 에서 알려진 디바이저 계열들을 활용하여, 구성의 타당성이 이전 결과들과 일치함을 검증한다.

실험 결과

연구 질문

• RQ1 모든 $g \geq 2$ 와 $n \geq g+1$ 에 대해 $\overline{\mathcal{M}}_{g,n}$ 에서 무한히 많은 극값 효과적 디바이저가 존재하는가?
• RQ2 $\overline{\mathcal{M}}_{g,n}$ 의 아벨 미분형 계층이 허구적 효과적 콩 내의 극값 디바이저를 구성하는 데 사용될 수 있는가?
• RQ3 $\overline{\mathcal{P}}(\kappa)$ 의 피브레이션에서 유도된 커버링 커브가 $\overline{\mathcal{M}}_{g,n}$ 의 디바이저의 극값성을 판단하는 기준을 제공하는가?
• RQ4 이러한 새로운 극값 디바이저들은 이전에 알려진 디바이저 계열들(예: 심지어 디바이저 또는 브릴-노에르 계열)과 어떻게 관련이 있는가?

주요 결과

• 모든 $g \geq 2$ 와 $n \geq g+1$ 에 대해, 이 논문은 아벨 미분형 계층에서 유래한 $\overline{\mathcal{M}}_{g,n}$ 에서 무한히 많은 극값 효과적 디바이저를 제시한다.
• 모든 $k_i$ 가 짝수일 경우를 제외하고는 디바이저 $D^n_\kappa$ 는 기약적이며, 이 경우는 홀수 및 짝수 스피너 구조에 해당하는 두 개의 성분을 갖는다.
• 고정된 $m-g-1$ 개의 점과 $\mathcal{P}(\kappa)$ 내에서 변동하는 $n$ 개의 점으로부터 유도된 커버링 커브 계열 $B^n_\kappa$ 는 $B^n_\kappa \cdot D^n_\kappa < 0$ 를 만족함으로써 극값임을 증명한다.
• 이 구성은 이전의 브릴-노에르, 코스졸, 심지어 디바이저 계열에서 유래한 극값 디바이저에 대한 결과들을 일반화하고 확장한다.
• 이 방법은 $g \geq 2$ 와 $n \geq g+1$ 인 경우 $\overline{\mathcal{M}}_{g,n}$ 의 허구적 효과적 콩이 유리 다면체가 아니라는 것을 확인하며, 이는 무한히 많은 극값 반직선을 포함하고 있음을 의미한다.