Ribet Points, geometric divisibility sequence and order of reductions on semiabelian varieties

技术摘要：Ribet 点、几何除数序列以及半阿贝尔簇上的阶的约化

问题陈述
本文探讨了关于附着在维度至少为 2 的不可约交换代数群上的 Zariski 稠密点的几何除数序列的一个长期开放问题。具体而言，本文研究了 Silverman 猜想 1.2，该猜想指出：对于一个群模式 $G/\mathbb{Z}$，若其泛性纤维 $G_{\mathbb{Q}}$ 是一个维度 $\ge 2$ 且无单幂部分的不可约交换代数群，且对于具有 Zariski 稠密循环轨道的点 $P \in G(\mathbb{Z})$，等式 $D_{nP} = D_P$（其中 $D_P$ 是分母理想）对无穷多个正整数 $n$ 成立。

这一猜想与 Silverman–Cheon–Hahn 定理（定理 1.1）在逻辑上存在张力。后者确立了对于椭圆曲线（维度 1），每一个足够大的整数 $n$ 都会作为某个素数的精确约化阶出现。虽然一维情形已得到解决，但在高维情形（特别是半阿贝尔簇）中的行为仍是未知的。本文旨在确定半阿贝尔簇是否同样适用 Silverman–Cheon–Hahn 定理的类似结论，或者是否会出现 Silverman 猜想所预测的精确复现。

方法论
作者构造了数域上几何非分裂半阿贝尔簇的无条件示例，这些簇的几何除数序列会无穷多次地返回其初始值。其方法论依赖于关于阿贝尔簇与乘法群 $\mathbb{G}_m$ 扩张上的 Ribet 点 的算术性质。

1. 几何设置： 本文考虑由点 $q \in A^\vee(K)$ 表示的扩张 $1 \to \mathbb{G}_m \to G_q \to A \to 0$ 定义的半阿贝尔簇 $G_q$。
2. Ribet 截面： 利用归一化的 Poincaré 双双扩张（Poincaré biextension），作者定义了与同态 $\beta: A^\vee \to A$ 相关的 Ribet 点 $R_\beta(q) \in G_q(K)$。反对称部分 $\delta = \beta - \hat{\beta}$ 起到了至关重要的作用。
3. 挠点平移： 核心构造涉及通过一个固定的挠点 $t$ 平移 Ribet 点，即 $P = R_\beta(q) + \iota(t)$。
4. 算术放大： 一个关键的技术引理（引理 3.3）表明，如果 Ribet 点的阶由其投影的阶二次有界（这是由 Weil 配对导出的性质），那么通过挠点平移将迫使所得点 $P$ 的阶满足特定的整除条件。
5. 局部到全局的论证： 通过结合有限群放大与 Néron 模型上分母理想的性质，作者证明了对于特定的整数 $N_{\delta, t}$，对于几乎所有的局部 $v$，约化阶 $d_v(P)$ 都能被 $N_{\delta, t}$ 整除。
6. 下降： 为了获得 $\mathbb{Q}$ 上的示例，本文采用了 二次下降 技术（定理 4.3）。这涉及在存在必要反对称内同态的二次域 $K$ 上构造扩张，然后通过将 Galois 作用于内同构的性质与范数为 1 的环面（norm-one torus）的符号特征相结合，将该扩张及该点下降到 $\mathbb{Q}$。

主要贡献与结果

• 无条件示例： 本文提供了首批无条件的示例，展示了数域上几何非分裂半阿贝尔簇中，几何除数序列会无穷多次地返回其初始值。
• 定理 1.4（一般构造）： 对于正维数阿贝尔簇 $A$，同态 $\beta$ 使得 $\delta = \beta - \hat{\beta}$ 是一个同构（isogeny），以及挠点 $t$，点 $P = R_\beta(q) + \iota(t)$ 具有如下性质：对于几乎所有的局部 $v$，整数 $N_{\delta, t}$ 整除约化阶 $d_v(P)$。因此，如果 $(n, Q) = 1$ 且 $Q$ 是一个包含 $N_{\delta, t}$ 根的平方自由整数，则分母理想满足 $\mathfrak{d}_{\mathbb{N}}(nP) = \mathfrak{d}_{\mathbb{N}}(P)$。
• 定理 1.5（$\mathbb{Q}$ 上的曲面）： 作者显式构造了一个 $\mathbb{Q}$ 上的几何非分裂半阿贝尔曲面 $G_{surf}/\mathbb{Q}$（由椭圆曲线 $E: y^2 = x^3 - 2$ 通过范数一环面 $R^1_{L/\mathbb{Q}}\mathbb{G}_m$ 扩张而成，其中 $L=\mathbb{Q}(\sqrt{-3})$），以及一个具有 Zariski 稠密循环轨道的点 $P_{surf} \in G_{surf}(\mathbb{Q})$。对于该点，最终约化除数为 $U(P_{surf}) = 2$。这意味着对于所有与固定整数互素的 $n$，均有 $D_{nP_{surf}} = D_{P_{surf}}$。
• 定理 4.9（$\mathbb{Q}$ 上的三维簇）： 使用椭圆曲线 $E: y^2 + y = x^3 + x^2 - 2x$（判别式/导体为 389）构造了一个 $\mathbb{Q}$ 上的几何非分裂半阿贝尔三维簇。所得点 $P$ 满足 $D_P = 1$ 且 $U(P) = 2$，从而证实了该三维簇符合猜想的条件。
• 维度的普遍性： 定理 4.16 通过与分裂环面做积，将这些结果扩展到 每个维度 $d \ge 2$ 的 $\mathbb{Q}$ 上，表明该现象并不局限于低维情形。
• 密度结果： 本文确立了满足 $D_{nP} = D_P$ 的指数 $n$ 的自然密度下限至少为 $1 - 1/N_{\delta, t}$。相反，精确约化阶（原始因子指数）的集合的上密度至多为 $1/N_{\delta, t}$。

意义与主张
本文证明了 Silverman–Cheon–Hahn 定理在半阿贝尔簇范畴内发生了 剧烈失效，同时也构造了满足 Silverman 猜想 1.2 的显式实例。具体而言：

1. 精确阶实现之失效： 与椭圆曲线情形不同，半阿贝尔簇上存在稠密点，其精确约化阶的集合是稀疏的（密度 $\le 1/N$），这意味着许多整数永远不会作为约化阶出现。
2. 针对特定实例验证 Silverman 猜想： 所构造的点满足 Silverman 猜想 1.2 的条件，证明了“精确回归”现象（$D_{nP} = D_P$）会无穷多次发生，并且对于具有正密度的指数集成立。本文指出，尽管该猜想在数域上的全般性问题上仍是开放的，但这些示例提供了首次无条件的验证。
3. Ribet 点的角色： 本研究强调，Ribet 截面（特别是其挠平移版本）是导致不存在所有大 $n$ 的原始因子的障碍。这与分裂半阿贝尔簇（阿贝尔簇与环面的乘积）形成对比，在后者中，Perucca 定理意味着轨道闭包的分量数决定了通用除数，而对于连通稠密点，该值为 1。
4. 几何非分裂性： 这一现象本质上与 几何非分裂 扩张相关。本文指出，对于分裂乘积，轨道闭包的分量数等于整除几乎所有约化阶的最大整数，这阻止了构造此类“缺失阶”集合。非分裂性质结合 Ribet 点的特定算术性质，使得即使在轨道闭包是连通的情况下，最终约化除数 $U(P)$ 仍可以严格大于 1（例如 $U(P)=2$）。

本文得出结论，这种“缺失数据”（约化阶的通用除数）是真正混合的，由扩张类、双双扩张提升以及挠平移共同承载，而这种行为在纯阿贝尔簇或分裂乘积中是不存在的。