[论文解读] Canonical coordinates on the canonical lift

Robert Carls|ArXiv.org|Jul 30, 2005

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

一句话总结

本文在完全诺特局部环（剩余特征为 $ p ≥ 2 $）上，建立了普通阿贝尔簇的典范提升的典范 theta 结构的存在性，将先前结果扩展至 $ p = 2 $ 的情形。该构造依赖于相对 Frobenius 的提升，并利用平展与 $ q $-挠子群之间的典范同构，得到一个典范的 theta 零点，该点作为算术不变量发挥作用。

ABSTRACT

In this article we prove the existence of a canonical theta structure for the canonical lift of an ordinary abelian variety.

研究动机与目标

• 为研究普通阿贝尔簇的典范提升的 theta 零点提供理论基础。
• 将典范 theta 结构的存在性扩展至剩余特征 $ p = 2 $ 的情形，此前仅知 $ p > 2 $ 时成立。
• 为配对 $ (A^{(q\delta)}, (\mathcal{L}^{(q\delta)})^{\otimes q}) $ 建立典范 theta 结构，其中 $ \delta = 2 $ 若 $ p = 2 $，否则 $ \delta = 1 $。
• 支持通过 theta 零点导出的方程，实现对数域上二型双曲曲线的算法构造。

提出的方法

• 将相对 $ q $-Frobenius 同态 $ F: A \to A^{(q)} $ 提升为在完全局部环 $ R $ 上的阿贝尔概系之间的同态，同时保持 $ q $-挠结构。
• 在 $ A^{(q)} $ 上构造一个典范的充分正线丛 $ \mathcal{L}^{(q)} $，使得 $ F^*\mathcal{L}^{(q)} \cong \mathcal{L}^{\otimes q} $，从而在特殊纤维上提升 $ q $-Frobenius 的扭变。
• 利用给定的同构 $ (\mathbb{Z}/q\mathbb{Z})_R^g \xrightarrow{\sim} A[q]^{\mathrm{et}} $，在 $ q $-挠子概形上定义拉格朗日结构。
• 应用 theta 丛与交换对偶配对的理论，构造截面 $ u: K \to G((\mathcal{L}^{(q)})^{\otimes q}) $ 和 $ v: K^D \to G((\mathcal{L}^{(q)})^{\otimes q}) $，从而得到类型为 $ (\mathbb{Z}/q\mathbb{Z})_R^g $ 的 theta 结构。
• 当 $ p = 2 $ 时，通过将 $ A $ 替换为 $ A^{(2)} $ 来修改构造，利用 Frobenius 的平展部分诱导的 $ A^{(2)}[2] \cong A^{(2)}[2]^{\mathrm{loc}} \times A^{(2)}[2]^{\mathrm{et}} $ 的典范分裂。
• 应用典范提升性质与自同构的提升，证明 $ \mathcal{M}^{\otimes q} $ 上的 theta 结构诱导出 $ \mathcal{L}^{\otimes q} $ 上的典范 theta 结构，从而证明推论 2.2。

实验结果

研究问题

• RQ1 在特征 $ p = 2 $ 时，普通阿贝尔簇的典范提升上是否存在典范 theta 结构？
• RQ2 能否以一种不依赖任意选择的方式构造典范 theta 结构，仅依赖于平展 $ q $-挠同构？
• RQ3 线丛的 $ q $ 次幂上的典范 theta 结构如何与典范提升的算术不变量相关联？
• RQ4 在未提升 $ R $ 上的 Frobenius 自同构的情况下，$ (A, \mathcal{L}^{\otimes q}) $ 上的典范 theta 结构是否仍定义良好？
• RQ5 能否利用典范 theta 结构在 3-进环上导出 theta 零点的方程，从而实现复乘曲线的算法构造？

主要发现

• 定理 2.1 建立了对配对 $ (A^{(q\delta)}, (\mathcal{L}^{(q\delta)})^{\otimes q}) $ 存在类型为 $ (\mathbb{Z}/q\mathbb{Z})_R^g $ 的典范 theta 结构，其中 $ \delta = 2 $ 若 $ p = 2 $，否则 $ \delta = 1 $。
• 该构造是典范的，即仅依赖于给定的同构 $ (\mathbb{Z}/q\mathbb{Z})_R^g \xrightarrow{\sim} A[q]^{\mathrm{et}} $，而不依赖于任意选择。
• 当 $ p > 2 $ 时，若 $ A $ 是典范提升且 $ R $ 允许 $ p $ 次幂 Frobenius 的提升，则在 $ (A, \mathcal{L}^{\otimes q}) $ 上存在典范 theta 结构。
• 当 $ p = 2 $ 时，典范 theta 结构存在于 $ (A^{(2q)}, (\mathcal{L}^{(2q)})^{\otimes q}) $ 上，其构造依赖于 $ 2 $-挠子群的局部与平展部分的典范分裂。
• 典范 theta 结构诱导出一个典范的 theta 零点，该点是典范提升的算术不变量。
• 推论 2.2 表明，在假设 $ R $ 上存在 Frobenius 提升的前提下，$ (A, \mathcal{L}^{\otimes q}) $ 上的典范 theta 结构存在且与提升的选择无关，提示该结果可能在更一般情形下成立。