[논문 리뷰] The singularities of $A_g^P$

Judith A. Armstrong, N. I. Shepherd‐Barron|arXiv (Cornell University)|2016. 04. 20.

Algebraic Geometry and Number Theory참고 문헌 1인용 수 3

한 줄 요약

이 논문은 특성 0에서 $g = 5$일 때 주로 극성된 아벨 $g$-다중체의 모듈리 공간의 완전 원추 콪actification $A_g^P$가 극한 특이점을 가지며, $g \geq 6$일 때는 종단 특이점을 가짐을 완성하는 증명을 한다. 이는 이전 연구에서 발견된 격차를 메우기 위해, Riemann–Shimizu–Todorov (RST) 기준을 통해 탄성 공간 위의 군 작용의 표현 이론적 분석을 통해 핵심 명제를 강화함으로써 이루어진다.

ABSTRACT

We complete the proof given earlier by one of us that the singularities of the perfect cone compactification $A_g^P$ of the coarse moduli space $A_g$ of principally polarized abelian $g$-folds are terminal if $g\ge 6$, and canonical if $g=5$.

연구 동기 및 목표

• 이전 연구에서 불완전한 추론이 있었던 $g \geq 5$에 대해 $A_g^P$의 특이점 유형을 완성하는 것.
• 특성 0에서 $g = 5$일 때 $A_g^P$가 극한 특이점을 가지며, $g \geq 6$일 때는 종단 특이점을 가짐을 입증하는 것.
• Shepherd-Barron의 이전 증명에서 발견된 격차를 보완하기 위해, 탄성 공간 위의 군 작용의 표현 이론적 분석을 통해 명제 3.2를 강화하는 것.
• Riemann–Shimizu–Todorov (RST) 기준을 적용하여 군 원소의 고유값의 분수 부분을 통해 특이점 유형을 결정하는 것.

제안 방법

• 몫 스택 $[\mathcal{X}/G]$의 특이점을 분석하기 위해 RST 기준을 적용하며, 여기서 $\mathcal{X}$는 토라스 임베딩 위의 $G$-등변 범주이다.
• 특이점 유형을 결정하기 위해, $\lambda_{Y,P}(s)$를 정의한다. 이는 $T_{Y,P}$의 탄성 공간에서 $s$의 고유값 $\zeta$에 대해 $\arg(\zeta)/2\pi$의 합으로 정의되며, 이 값이 특이점의 유형을 결정한다.
• 부드러운 다양체 $Y$ 위의 유한군 $G$의 작용을 이용하여, 모든 비항등 원소 $s \in G$에 대해 $\lambda_{Y,P}(s) \geq 1$ (극한 특이점) 또는 $>1$ (종단 특이점)임을 확인하는 문제로 환원한다.
• 표현을 분석하여 $\lambda$-값을 계산하기 위해, $\mathrm{Sym}^2 W \oplus (W \otimes \Lambda)$의 표현을 고려한다. 여기서 $W = H^0(C, \Omega^1_C)^\vee$ 이고, $\Lambda = \mathbb{Z}^r$ 이다.
• $G$-등변 해소 $\widetilde{X} \to X$를 사용하고, 예외적 인피니티의 작용을 분석하여 $G$가 코디멘션 1에서 자유롭게 작용함을 보장한다.
• Snurnikov의 정리를 적용하여, $h = 0$일 때 열린 토라스에서의 특이점 유형 결과를 전체 콤팩트리피케이션으로 확장한다.

실험 결과

연구 질문

• RQ1 완전 원추 콤팩트리피케이션 $A_g^P$는 $g = 5$일 때 극한 특이점을 가지는가?
• RQ2 특성 0에서 $g \geq 6$일 때 $A_g^P$는 종단 특이점을 가지는가?
• RQ3 이 결과에 대한 이전 증명([SB])은 완전한가, 아니면 추론의 격차가 있는가?
• RQ4 군 표현 분석을 통해 RST 기준을 토라스 콤팩트리피케이션 $A_g^P$에 효과적으로 적용할 수 있는가?
• RQ5 탄성 공간 위에서 작용하는 군 원소의 고유값은 특이점의 유형을 어떻게 결정하는가?

주요 결과

• 특성 0에서 $g = 5$일 때 $A_g^P$의 특이점은 극한 특이점이며, $g \geq 6$일 때는 종단 특이점이다.
• 이전 연구([SB])에서 부족한 강도를 지닌 명제를 대체하기 위해, 군 작용에 대한 $\lambda$-값의 정밀한 분석을 통해 증명이 완성된다. 이는 $\mathrm{Sym}^2 W$ 및 $V = \mathrm{Sym}^2 W \oplus (W \otimes \Lambda)$의 표현을 대상으로 한다.
• $g \geq 6$일 때, $s|_W \neq \pm 1$이면 항상 $\lambda_{\mathrm{Sym}^2 W}(s) > 1$이 되어 종단 특이점이 보장된다.
• $\lambda_V(s) < 1$일 경우, 유일한 가능성은 $h = 1$, $s|_W = -1$, $s|_{\Lambda_\mathbb{Q}} = (1, (-1)^{r-1})$이며, 이 경우 $\lambda_V(s) = 1/2$이다. 그러나 이 경우는 더 높은 $g$에서는 배제된다.
• $h = 0$의 경우, Snurnikov의 정리를 활용하여 해결되었으며, 여기서는 $G$-등변 토라스 임베딩에 대해 자가 포함된 증명을 제공한다.
• 해소 위에서 $G$-작용이 코디멘션 1에서 자유롭게 작용함을 보였으며, 이는 RST 기준이 적용되고 특이점 유형이 유지됨을 보장한다.