[论文解读] A Finiteness theorem for zero-cycles over $p$-adic fields

Shuji Saito, Kanetomo Sato|University of Regensburg Publication Server (University of Regensburg)|May 6, 2006

advanced mathematical theories被引用 4

一句话总结

本文证明了在 $p$-进域上光滑射影概形上的零维 cycle 的有限性定理，在温和的模型论假设下，建立了零维 cycle 的度数为零的群 $A_0(V)$ 同构于一个有限群与一个 $p'$-可除群的直和。关键结果证实了 Colliot-Thélène 关于 $A_0(V)$ 结构的猜想，其应用涵盖有理连通性与几乎所有 $\ell$ 的 $\bmod \ell$ 可除性。证明依赖于奇点的解析、爆破公式以及离散赋值环上的移动引理。

ABSTRACT

In this paper we prove a finiteness result concerning the Chow group of zero-cycles for varieties over $p$-adic local fields. In this final version, there are several corrections concerning mathematical symbols and reference to related known results.

研究动机与目标

• 证明光滑射影概形在 $p$-进域上零维 cycle 的有限性定理，确认关于 $A_0(V)$ 结构的猜想。
• 在具有简单法向交叉的正则模型假设下，建立 $A_0(V)$ 同构于一个有限群与一个 $p'$-可除群的直和。
• 利用 de Jong 的变换与主定理，将已知的关于 $A_0(V)$ 的 $\bmod \ell$ 可除性结果推广至几乎所有素数 $\ell$。
• 为理解 $p$-进域上高维情形下阿贝尔簇映射的核提供几何基础。
• 通过离散赋值环上的移动引理与爆破技术，解决正则模型中曲线奇点的解析问题。

提出的方法

• 利用移动引理，将离散赋值环上正则模型中的曲线形变，使其避开奇点。
• 应用爆破公式，控制在连续爆破中零维 cycle 的适当变换行为。
• 在离散赋值环上应用类 Bertini 定理，确保模型中存在光滑的超平面截面。
• 通过迭代爆破解析嵌入曲线的奇点，以实现严格变换的正则性。
• 应用一个关键命题，表明当在高切触点处爆破时，曲线与除子的相交重数减少。
• 将主定理与 de Jong 的变换结合，将一般情形约化为严格半稳定减少的情形，从而证明 $\bmod \ell$ 可除性。

实验结果

研究问题

• RQ1 光滑射影概形 $V$ 在 $p$-进域上，其度数为零的零维 cycle 群 $A_0(V)$ 是否同构于一个有限群与一个 $p'$-可除群的直和？
• RQ2 当 $V$ 允许具有简单法向交叉的正则完备模型时，$A_0(V)$ 是否对几乎所有素数 $\ell$ 都是 $\bmod \ell$ 可除的？
• RQ3 在 $p$-进域上，阿贝尔簇映射 $\phi_V: A_0(V) \to \operatorname{Alb}_V(k)$ 的核是否可表示为一个有限群与一个可除群的直和？
• RQ4 $A_0(V)$ 的结构在有限域扩张与一般有限态射下是否保持稳定，特别是当 $V$ 有理连通时？
• RQ5 在 $\mathfrak{O}_k$ 上的正则模型中，曲线的奇点是否可通过迭代爆破解析，同时保持总空间的法向交叉性？

主要发现

• 当 $V$ 允许在 $\mathfrak{O}_k$ 上具有简单法向交叉的正则射影平坦模型时，群 $A_0(V)$ 同构于一个有限群与一个 $p'$-可除群的直和。
• 对任意光滑射影概形 $V$ 在 $p$-进域上，$A_0(V)$ 对几乎所有素数 $\ell$ 都是 $\ell$-可除的，这是主定理与 de Jong 变换的推论。
• 若 $V$ 有理连通，则 $A_0(V)$ 同构于一个有限群与一个有限指数的 $p$-幂零挠群的直和。
• 阿贝尔簇映射 $\phi_V$ 的核是有限的，当且仅当 $A_0(V)$ 是有限的，且该定理确认 $A_0(V)$ 不仅可除，而且对几乎所有 $\ell$ 都具有有限的 $\ell$-幂零挠部分。
• 证明表明，经过有限次在严格变换奇点处的爆破后，曲线的严格变换变为正则，且与例外除子横截相交。
• 在切触阶数 $\geq 2$ 的点处进行爆破时，曲线与除子的相交重数减少，这确保了奇点解析过程的终止。