[論文レビュー] On the Singularities of Degenerate Abelian Varieties

Joseph Tenini|arXiv (Cornell University)|Jan 2, 2014

Advanced Topology and Set Theory被引用数 3

ひとこと要約

この論文は、$A_g$ の第二バーノイ・ファングを介したトロイダルコンパクト化の境界における安定半アーベル対 $(X_0, \Theta_0)$ が、半対数正則であることを確立している。これは、中央ファイバーにおける対数正則対のコルラーの結果を拡張するものである。特異点の解消、消失定理、およびコhomological 論法を用いて、対 $(X_0, \epsilon \Theta_0)$ の対数正則閾値が 1 であることを証明し、$\epsilon > 0$ が十分に小さいときの半対数正則性を示している。これは、アーベル多様体のモジュライコンパクト化における重要な幾何的性質を確認するものである。

ABSTRACT

In 2002, Alexeev provided a modular interpretation for the toroidal compactification of $A_g$ for the 2nd Voronoi fan. In this paper we show that pairs $(X,Θ)$ in the boundary of this moduli space are semi-log canonical, the analog of log canonical in the non-normal setting. This extends the result of Koll${á}$r stating that principally polarized abelian pairs $(X,Θ)$ are log canonical.

研究の動機と目的

• principally polarized abelian varieties の対 $(X, \Theta)$ におけるコルラーの対数正則性結果を、モジュライ空間の境界における退化にまで拡張すること。
• 第二バーノイ・ファングによる $A_g$ のトロイダルコンパクト化の境界に位置する対 $(X_0, \Theta_0)$ が半対数正則であることを確立すること。
• アレクセーエフの安定半アーベル対の文脈において、アーベル多様体のモジュライコンパクト化における特異点の幾何的特徴づけを提供すること。
• このコンパクト化における退化アーベル多様体の特異点が、最小モデルプログラムにおける重要な性質である半対数正則性の意味で穏やかであることを確認すること。

提案手法

• 特異点の解消 $f: \mathcal{Y} \to \mathcal{X}$ を用い、$\widehat{\mathcal{X}_0} \cup \widehat{\Theta} \cup E$ が単純正則交差被覆であるようにすること。
• $d = 1 - \epsilon$ として、対 $(\mathcal{X}, c(\Theta + d\mathcal{X}_0))$ の対数正則閾値 $c$ を構成し、$c < 1$ を仮定して矛盾を導くこと。
• $A, B$ が整数的かつ非ゼロで、$\lfloor \Delta \rfloor = 0$ であるような、歪みの補正因子 $D = B - A - \Delta$ の分解。
• 藤野の消失定理を、層 $\mathcal{O}_{\mathcal{Y}}(f^*(K_{\mathcal{X}} + \Theta + \mathcal{X}_0) + B - A)$ に適用し、$p > 0$, $q \geq 0$ に対して $R^p\pi_* R^q f_* \mathcal{O}_{\mathcal{Y}} = 0$ を得ること。
• コホモロジーと基本変換を用いて、$\pi_* \mathcal{O}_{\mathcal{X}}(\Theta)$ が階数 1 の局所自由層であり、理想層 $\mathcal{I} \subset \mathcal{O}_{\mathcal{X}}$ で定義される部分スキーム $Z$ 上で切断が消えることを示すこと。
• $S$ 上の半アーベルスキームの平行移動切断 $\tau$ を構成し、$\tau(\Theta) \not\subset Z$ となるようにすることにより、$\pi_* \mathcal{O}_Z(\Theta) \neq 0$ を得る。これは、制限写像 $\rho$ の全射性に矛盾する。

実験結果

リサーチクエスチョン

• RQ1 第二バーノイ・トロイダルコンパクト化の境界における退化アーベル多様体の特異点は、半対数正則性の意味で穏やかか？
• RQ2 $\epsilon > 0$ が十分に小さいとき、対 $(X_0, \epsilon \Theta_0)$ の対数正則閾値は 1 に等しいか？
• RQ3 特異点の解消とコホモロジー的アプローチを用いて、安定半アーベル対の半対数正則性を確立できるか？
• RQ4 $\pi_* \mathcal{O}_{\mathcal{X}}(\Theta)$ は階数 1 の局所自由層か？ これは退化の幾何に何を意味するか？
• RQ5 $c < 1$ を仮定したもとで、$\tau(\Theta) \not\subset Z$ となるような切断 $\tau$ の存在が、矛盾を引き起こすか？

主な発見

• 第二バーノイ・ファングによる $A_g$ のトロイダルコンパクト化の境界における対 $(X_0, \Theta_0)$ は半対数正則であり、コルラーの対数正則性結果を退化にまで拡張している。
• $\epsilon > 0$ が十分に小さい任意の $\epsilon$ に対して、対 $(X_0, \epsilon \Theta_0)$ は半対数正則である。これは、対数正則閾値が 1 であるためである。
• $H^i(X_0, \mathcal{O}_{X_0}(\Theta)) = 0$ ($i > 0$) およびコホモロジーと基本変換より、$\pi_* \mathcal{O}_{\mathcal{X}}(\Theta)$ は階数 1 の局所自由層である。
• $c < 1$ を仮定したもとで、$\pi_* \mathcal{O}_Z(\Theta)$ の非消滅が、制限写像 $\rho$ の全射性に矛盾する。
• $S$ 上の半アーベルスキームの切断 $\tau$ で $\tau(\Theta) \not\subset Z$ となるものが存在するため、$H^0(\mathcal{X}, \pi_* \mathcal{O}_Z(\Theta)) \neq 0$ である。これは、$\rho$ がゼロであるという仮定に反する。
• 証明により、$K_{X_0} \sim 0$ かつ $h^0(X_0, \mathcal{O}_{X_0}(\Theta_0)) = 1$ であることが確認され、主偏極の場合と整合的である。