[論文レビュー] The singularities of $A_g^P$

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

Algebraic Geometry and Number Theory参考文献 1被引用数 3

ひとこと要約

本稿は、特徴量が0のとき、主偏極付アーベル $g$-倍層のモジュライ空間の完全錐コンパクト化 $A_g^P$ が $g = 5$ のとき canonical singularities を持ち、$g \geq 6$ のとき terminal singularities を持つことの証明を完成させる。以前の研究における欠落を補い、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$ が canonical singularities を持ち、$g \geq 6$ では terminal singularities を持つことを確立すること。
• Shepherd-Barron の以前の証明におけるギャップを、群作用の接空間上での表現論的解析により命題 3.2 を強化することで解消すること。
• Riemann–Shimizu–Todorov (RST) 基準を用いて、群元の固有値の分数部分を介して特異点の型を特定すること。

提案手法

• 商スタック $[\mathcal{X}/G]$ の特異点を分析するため、トーラス埋め込み上の $G$-等変なバンドル $\mathcal{X}$ を用いて RST 基準を適用する。
• $\lambda_{Y,P}(s)$ を、接空間 $T_{Y,P}$ 上の $s$ の固有値 $\zeta$ 全体にわたる $\arg(\zeta)/2\pi$ の和として定義し、これが特異点の型を決定する。
• 滑らかな代数的多様体 $Y$ 上の有限群 $G$ の作用を用いて、すべての非単位元 $s \in G$ に対して $\lambda_{Y,P}(s) \geq 1$（canonical）または $>1$（terminal）が成り立つことを確認することで問題を簡略化する。
• $W = H^0(C, \Omega^1_C)^\vee$ および $\Lambda = \mathbb{Z}^r$ とすると、$\mathrm{Sym}^2 W \oplus (W \otimes \Lambda)$ 上の $G$ の表現を分析し、$\lambda$-値を計算する。
• $G$-等変な解消 $\widetilde{X} \to X$ を用い、例外的 divisor 上の作用を分析することで、$G$ が codimension 1 で自由に作用することを保証する。
• Snurnikov の定理を適用し、$h = 0$ のとき、開トーラス上の特異点の型の結果を全コンパクト化へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 完全錐コンパクト化 $A_g^P$ は $g = 5$ のとき canonical singularities を持つか？
• RQ2 特徴量が0のとき、$A_g^P$ は $g \geq 6$ のとき terminal singularities を持つか？
• RQ3 文献 [SB] におけるこの結果の証明は完全なものか、議論のギャップは存在するか？
• RQ4 RST 基準は、群の表現論的解析を用いて、$A_g^P$ のトーラルコンパクト化に効果的に適用可能か？
• RQ5 接空間上に作用する群元の固有値が、特異点の型をどのように決定するか？

主な発見

• 特徴量が0のとき、$A_g^P$ の特異点は $g = 5$ では canonical であり、$g \geq 6$ では terminal である。
• 文献 [SB] における弱い命題を、$\mathrm{Sym}^2 W$ および $V = \mathrm{Sym}^2 W \oplus (W \otimes \Lambda)$ 上の群作用の $\lambda$-値に対する洗練された解析に置き換えることで、証明が完成した。
• $g \geq 6$ のとき、$s|_W \neq \pm 1$ ならば常に $\lambda_{\mathrm{Sym}^2 W}(s) > 1$ であるため、terminal singularities が保証される。
• $\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$-作用が解消上 codimension 1 で自由に作用することを示し、これにより RST 基準が適用可能となり、特異点の型が保存されることを保証した。