[论文解读] On the Singularities of Degenerate Abelian Varieties

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

Advanced Topology and Set Theory被引用 3

一句话总结

本文证明了在 $A_g$ 的第二 Voronoi 扇形的 toroidal compactification 的边界上，稳定的半阿贝尔对 $(X_0, \Theta_0)$ 是半对数正则的，将 Kollár 对中心纤维上对数正则对的结果推广到了退化情形。通过奇点的解析、消去定理和同调论证，本文证明了对 $(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.

研究动机与目标

• 将 Kollár 对主极化阿贝尔簇的对数正则对 $(X, \Theta)$ 的结果推广到模空间边界上的退化情形。
• 建立通过第二 Voronoi 扇形的 $A_g$ 的 toroidal compactification 边界上的对 $(X_0, \Theta_0)$ 是半对数正则的。
• 对阿贝尔簇模紧化中的奇点提供几何刻画，特别是在 Alexeev 的稳定半阿贝尔对的背景下。
• 确认在此紧化中退化阿贝尔簇的奇点在半对数正则性的意义下是良性的，这是极小模型程序中的一个关键性质。

提出的方法

• 使用奇点的解析 $f: \mathcal{Y} \to \mathcal{X}$，使得 $\widehat{\mathcal{X}_0} \cup \widehat{\Theta} \cup E$ 是一个简单法线相交除子。
• 构造对 $(\mathcal{X}, c(\Theta + d\mathcal{X}_0))$ 的对数正则阈值 $c$，其中 $d = 1 - \epsilon$，假设 $c < 1$ 以导出矛盾。
• 将分歧除子 $D = B - A - \Delta$ 分解，其中 $A, B$ 为整数且非零，且 $\lfloor \Delta \rfloor = 0$。
• 应用 Fujino 的消去定理于层 $\mathcal{O}_{\mathcal{Y}}(f^*(K_{\mathcal{X}} + \Theta + \mathcal{X}_0) + B - A)$，得到 $R^p\pi_* R^q f_* \mathcal{O}_{\mathcal{Y}} = 0$ 对于 $p > 0$，$q \geq 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 在 $A_g$ 的第二 Voronoi toroidal compactification 的边界上，退化阿贝尔簇的奇点是否在半对数正则性的意义下是良性的？
• RQ2 对 $(X_0, \epsilon \Theta_0)$ 的对数正则阈值是否对充分小的 $\epsilon > 0$ 等于 1？
• RQ3 能否通过上同调方法和奇点解析来确立稳定半阿贝尔对的半对数正则性？
• RQ4 $\pi_* \mathcal{O}_{\mathcal{X}}(\Theta)$ 是否为秩为 1 的局部自由层？这对其退化几何有何含义？
• RQ5 在假设 $c < 1$ 的前提下，是否存在一个满足 $\tau(\Theta) \not\subset Z$ 的平移截面 $\tau$，从而导致矛盾？

主要发现

• 在 $A_g$ 的第二 Voronoi toroidal compactification 的边界上的对 $(X_0, \Theta_0)$ 是半对数正则的，将 Kollár 对对数正则性的结果推广到了退化情形。
• 对任意充分小的 $\epsilon > 0$，对 $(X_0, \epsilon \Theta_0)$ 是半对数正则的，因为其对数正则阈值为 1。
• $\pi_* \mathcal{O}_{\mathcal{X}}(\Theta)$ 是秩为 1 的局部自由层，这是由于 $H^i(X_0, \mathcal{O}_{X_0}(\Theta)) = 0$ 对于 $i > 0$，且结合了上同调与基变换。
• 矛盾源于 $\pi_* \mathcal{O}_Z(\Theta)$ 的非零性，这与限制映射 $\rho$ 的满射性矛盾，前提是假设 $c < 1$。
• 存在一个半阿贝尔簇上 $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$，与主极化情形一致。