Gross vectors modulo 2 and elliptic curves of prime conductor

技术摘要：模 2 的 Gross 向量与素数导数的椭圆曲线

问题陈述
本文研究了与有限域 $\mathbb{F}_p$ 上超奇异椭圆曲线相关的 Brandt 特征向量系数的奇偶性质。具体而言，设 $p > 3$ 为素数，$S_p$ 表示其 $j$-不变元位于 $\mathbb{F}_p$ 中的几何同构类集合。对于导数为素数 $p$ 的椭圆曲线 $E/\mathbb{Q}$，Jacquet–Langlands 对应关系关联了一个原始整 Brandt 特征向量 $v_E = \sum c_i e_i$。核心问题是确定当 $E$ 具有正 Mordell–Weil 秩时，对于 $i \in S_p$，系数 $c_i$ 的奇偶性。

这一探究源于对除子多项式的研究以及 Kazalicki 和 Kohen 的一个猜想，该猜想认为，如果 $E$ 具有正秩且根数（root number）为 $+1$，则对于所有有理超奇异类（$i \in S_p$），每个系数 $c_i$ 必须为偶数。虽然先前的结果在限制条件下（正判别式、无有理 2-挠点）确立了这一点，但一般情况仍处于开放状态。此外，这个奇偶性问题与 Watkins 关于模度 $m_E$ 被 2 的幂次整除的猜想相关联，该整除性基于 $E$ 的秩。

方法论
作者采用了一种结合了算术几何、四元数代数和类域论的多步策略：

1. 归约为 Gross 向量： 问题从 Brandt 特征向量的系数 $c_i$ 转化为与负基本判别式 $-D$（其中 $p$ 是惰性的）相关的“Gross 向量”（CM 向量）的系数 $m_i(D)$ 的奇偶性。利用 Gross 向量相对于正秩曲线的 Brandt 特征向量的正交性，作者表明系数向量的奇偶性 $(c_i \mod 2)_{i \in S_p}$ 必须位于 Gross 奇偶行所张成的空间的正则补空间内。
2. Frobenius 归约： 一个关键的技术步骤是将 Gross 三元格 $L_i$ 的表示数的奇偶性归约为与 Frobenius 内蕴射 $\pi_i$ 垂直的秩为二的子格 $L_i^\perp$ 的表示数的奇偶性。这种归约依赖于 Frobenius 共轭的作用，该作用将不在垂直格之外的向量分组为大小为 4 的轨道，从而使其对模 2 的贡献为偶数。
3. 与二元二次型识别： 利用 Ibukiyama 对四元数代数 $B_{p,\infty}$ 的显式极大阶，作者将垂直格 $L_i^\perp$ 与特定的二元二次型进行识别。这些形式根据其判别式分为两个分支：$-16p$ 和 $-p$（后者仅在 $p \equiv 3 \pmod 4$ 时出现）。
4. 类域论与 Chebotarev 定理： 作者利用 Xiao–Zhou–Deng–Qu 参数化将超奇异类映射到形式类的反向轨道。随后，他们应用相应类域中的 Chebotarev 密度定理来构造特定的容许判别式（素数和半素数），以隔离单个超奇异坐标。通过选择在二次阶的类群中以特定方式分裂的素数，他们证明了 Gross 奇偶行可以生成 $\mathbb{F}_2^{S_p}$ 空间中的任何标准基向量。

主要贡献与结果

• Gross 行张成定理 (Theorem 1.1)： 主要结果证明了在 $S_p$ 上索引的 Gross 系数模 2 的向量张成了整个向量空间 $\mathbb{F}_2^{S_p}$。这是通过显式构造隔离每个坐标的 Gross 行来实现的，其中对异常 $j$-不变元（$0$和$1728$）进行了单独处理，并使用不同的素数选择策略处理了$-16p$和$-p$ 判别式分支。
• 解决 Kazalicki–Kohen 奇偶猜想 (Corollary 1.2)： 作为张成定理的直接推论，作者证明了如果椭圆曲线 $E/\mathbb{Q}$ 具有素数导数 $p$ 且具有正 Mordell–Weil 秩，则其 Brandt 特征向量在 $i \in S_p$ 处的每个系数 $c_i$ 均为偶数。这消除了之前对判别式和有理 2-挠点存在的限制。论文指出，这提供了一个单侧判据：有理超奇异类处的一个奇系数可以证明其秩为零。
• 模度的整除性 (Corollary 1.3 和 Theorem 6.1)： 结合奇偶性结果与 Mestre 的范数公式以及 Gross–Kudla 立方恒等式，作者证明了对于任何具有正秩且根数为 $+1$ 的素数导数椭圆曲线，其模度 $m_E$ 可被 4 整除。
• 验证 Watkins 猜想对于秩 2 的情况： 该结果证实了 Watkins 猜想（$2^{\text{rank}} \mid m_E$）对于所有具有素数导数且根数为 $+1$ 的秩为 2 的椭圆曲线均成立。

意义
该论文声称解决了关于 Brandt 特征向量的一个特定奇偶性猜想，为基于超奇异系数奇偶性的秩 0 提供了稳健的代数证书。通过建立 Gross 向量模 2 的张成性质，这项工作架起了超奇异曲线算术与模形式解析性质（特别是 $L$-函数在中心点处消失）之间的桥梁。对 Watkins 猜想的应用将已知情况扩展到了所有具有素数导数且根数为 $+1$ 的秩为 2 的曲线，消除了之前的判别式限制。其方法论展示了通过 Frobenius 对称性将三元表示问题归约为二元形式，并利用显式极大阶模型通过类域论控制表示奇偶性的强大能力。