[论文解读] Reduction of Abelian Varieties and Grothendieck's Pairing

Klaus Loerke|ArXiv.org|Sep 24, 2009

Advanced Topology and Set Theory参考文献 4被引用 6

一句话总结

该论文证明了：若在特征为 $ p $ 的完美剩余域上的严格 henselian 离散赋值域上，阿贝尔簇的维数 $ g $ 满足 $ 2g + 3 \leq p $，则其在某个可分幂零扩张后获得半稳定约化。利用此结果，论文证明了此类阿贝尔簇的格罗滕迪克配对的完美性，从而解决了算术几何中格罗滕迪克对偶配对猜想的一个关键情形。

ABSTRACT

We prove that abelian varieties of small dimension over discrete valuated, stricty henselian ground fields with perfect residue class field obtain semistable reduction after a tamely ramified extension of the ground field. Using this result we obtain perfectness results for Grothendieck's pairing.

研究动机与目标

• 确立格罗滕迪克在阿贝尔簇的 Néron 模型的成分群上的配对为完美配对的条件。
• 证明在具有完美剩余域的严格 henselian 离散赋值域上，小维数的阿贝尔簇在可分幂零基变换后获得半稳定约化。
• 通过约化理论，将格罗滕迪克配对的已知完美性——此前仅对半稳定约化情形成立——推广到更广泛的阿贝尔簇类。
• 使用 Weil 限制和伽罗瓦表示技术，分析基变换和可分幂零扩张下成分群的行为。

提出的方法

• 论文利用 Néron 模型和成分群的理论，将对偶配对与 Poincaré 线丛在 Néron 模型层面上的扩张联系起来。
• 通过涉及 $ \operatorname{Biext}^1 $、$ \mathscr{G} $ 和 $ i_*\mathbb{Z} $ 的正合列，应用双扩张理论和格罗滕迪克配对，将配对识别为 Poincaré 线丛的像。
• 主要技术工具是沿伽罗瓦扩张 $ L/K $ 对 $ A_L $ 的 Néron 模型进行 Weil 限制，证明 Weil 限制本身仍是 Néron 模型。
• 分析伽罗瓦群在 $ \ell $-进 Tate 模上的作用，特别关注其在条件 $ 2g + 3 \leq p $ 下的 $ p $-幂子群及其平凡作用。
• 证明利用了如下事实：若一个 $ p $-幂群在 $ T_\ell(A_K) $ 上平凡作用，则扩张 $ L^{\rm tr}/K $ 是可分幂零的，且 $ A_{L^{\rm tr}} $ 具有半稳定约化。
• 应用伽罗瓦准则和半稳定约化定理，证明在可分幂零扩张下，Néron 模型的成分群变为平凡，从而推出配对的完美性。

实验结果

研究问题

• RQ1 在具有完美剩余域的严格 henselian 离散赋值域上，阿贝尔簇在可分幂零基变换后何时获得半稳定约化？
• RQ2 格罗滕迪克在阿贝尔簇的 Néron 模型的成分群上的配对在何种情况下是完美的？
• RQ3 阿贝尔簇的维数与剩余特征 $ p $ 如何限制半稳定约化的存在性以及配对的完美性？
• RQ4 Weil 限制在伽罗瓦扩张下如何传递 Néron 模型的性质？
• RQ5 条件 $ 2g + 3 \leq p $ 是否可用于确保成分群的 $ p $-部分为平凡，从而导致配对的完美性？

主要发现

• 在特征为 $ p $ 的完美剩余域 $ k $ 上的严格 henselian 离散赋值环上，维数为 $ g $ 的阿贝尔簇，若满足 $ 2g + 3 \leq p $，则在某个可分幂零扩张后获得半稳定约化。
• 对于此类阿贝尔簇，Néron 模型的成分群的 $ p $-部分为平凡，这意味着诱导态射 $ \mathfrak{A}' \to \widehat{\mathfrak{A}} $ 是同构。
• 格罗滕迪克配对的非 $ p $-部分对任意阿贝尔簇都是完美的，如 [Be01] 所建立；在条件 $ 2g + 3 \leq p $ 下，整个配对也是完美的。
• 阿贝尔簇 Néron 模型的成分群 $ \mathfrak{A} $ 是 $ p $-群，当且仅当概形 $ \mathscr{E}\!xt^1(A, \mathbb{G}_m) $ 是连通的，这等价于配对是完美的。
• 对于任意与若干满足 $ 2 \cdot \dim B_{K,i} + 3 \leq p $ 的单个阿贝尔簇 $ B_{K,i} $ 的乘积同源的阿贝尔簇 $ A_K $，格罗滕迪克配对是完美的。
• 使得 $ A_L $ 获得半稳定约化的最小可分幂零扩张 $ L/K $ 的伽罗瓦群不包含任何满足 $ q \geq 2g + 3 $ 的素数因子，这限制了其分歧类型。