Explicit Brauer-Manin obstructions on plane quartics

技术摘要：平面四次曲线上的显式 Brauer-Manin 障碍

问题陈述
本文探讨了确定数域 $k$ 上的光滑平面四次曲线 $X$ 是否拥有有理点（$X(k) \neq \emptyset$）或特定次数的除子（特别是 1 次或 2 次除子）的问题，尤其是在该曲线处处局部可解（即对所有完备化 $k_v$ 均有 $X(k_v) \neq \emptyset$）的情况下。尽管由于 Brauer-Manin 障碍的存在，哈塞原理（Hasse principle）常在此类曲线上失效，但此前通过 2-覆盖下降（2-cover descent）检测这些障碍的计算方法受限于必须计算相关 étale 代数的完整 $S$-单位群。对于高次代数（例如与平面四次曲线双切线相关的 28 次代数），此类计算往往不可行。

方法论
作者开发了一种实用算法，用于检测有理点和除子的障碍，而无需完整确定 $S$-单位群。该方法基于 2-覆盖下降和 Brauer-Manin 障碍理论，并推广了此前关于超椭圆曲线的工作。

1. Étale 代数与配对：该方法利用平面四次曲线 $X$ 的 28 条双切线，这些双切线定义了一个 28 次 étale $k$-代数 $L$。作者构造了一个双线性配对 $\langle \cdot, \cdot \rangle_S$，介于曲线的局部像与 $L$ 中具有平方范数的 $S$-单位子群之间。该配对源自希尔伯特符号（Hilbert symbols），并对局部化映射的像施加了约束。
2. 部分 $S$-单位信息：该算法的一项关键创新在于，它不需要完整的 $S$-单位群 $(L^\times/L^{\times 2})_S$。相反，只需计算由显式 $S$-单位（通过素数子集的关系矩阵获得）生成的子群，只要该子群足够大以约束局部化映射的像即可。该方法利用涉及限制映射和配对的序列的精确性，证明如果局部化映射的像避开了素数集 $S$ 中曲线在局部的像，则不存在全局点。
3. 算法实现：算法（算法 3.4）计算集合 $V_{B,S}(Y)$，该集合代表子群 $B \subset (L^\times/L^{\times 2})_{S, N=1}$ 的正交补与局部像乘积 $\prod_{v \in S} C_f(Y(k_v))$ 的交集。如果该集合为空，作者得出结论 $Y(k)$ 为空。
4. 推广：该方法被推广到任意亏格 $g \geq 2$ 的光滑射影曲线。对于超椭圆曲线，它与现有的下降方法一致；对于非超椭圆曲线，它利用奇 theta 特征（或四次曲线的双切线）的概型来定义下降设置。

主要贡献

• 无需完整单位群的非条件性结果：主要贡献在于提供了一种方法，可在不计算 étale 代数完整 $S$-单位群的情况下，获得关于有理点或除子不存在性的非条件性结果。这显著降低了代数次数较高（例如平面四次曲线的 28 次）曲线的计算门槛。
• 指标确定：本文提供了一个框架，用于确定平面四次曲线的指标（闭点次数的最大公约数）。具体而言，即使最大局部指标严格较小（例如局部指标为 1 或 2），该方法也能证明曲线具有 2 或 4 的指标，方法是证明不存在 1 次或 2 次的有理除子。
• 简化正确性证明：与以往工作相比，作者提出了一个简化的下降算法正确性证明，依赖于希尔伯特互反律和 Poitou-Tate 对偶性。
• 局部计算优化：本文描述了减少计算所需素数集 $S$ 的技术，特别是通过识别局部像无分歧的素数（例如具有奇数 Tamagawa 数的素数），从而避免昂贵的局部像计算。

结果与示例
作者在 Magma 中实现了该算法，并将其应用于多个数据集：

• 重访一个条件性示例：他们重新检查了先前文献中的一条曲线（$x^4 + y^4 + x^2yz + 2xyz^2 - y^2z^2 + z^4 = 0$），该曲线此前仅在广义黎曼假设（GRH）成立的条件下被证明没有有理点。利用他们的方法，他们无条件地证明了 $X(\mathbb{Q}) = \emptyset$，避免了计算 Minkowski 界超过 $10^{22}$ 的 28 次数域类群的需求。
• 数据库分析：将该方法应用于包含 82,241 条判别式较小的 $\mathbb{Q}$ 上光滑平面四次曲线的数据库，他们识别出 135 条作为哈塞原理反例的曲线（处处局部可解但全局为空）。对于数据库中缺乏明显有理点的局部可解曲线，超过 90% 的情况下，该方法成功找到了障碍。
• 指标为 2 和 4 的示例：作者提供了全局指标为 2 或 4 的曲线的具体示例，其中最大局部指标分别为 1 或 2。例如，通过证明不存在 2 次有理除子，他们证明了一条特定曲线尽管处处局部指标为 2，但其指标为 4。

意义与主张
本文声称，其方法通过消除计算完整 $S$-单位群的瓶颈，“显著提高了相对于先前 2-覆盖下降方法的适用性”。作者强调，该方法具有实用性，并已成功应用于此前技术计算上不可行的曲线。

本文明确指出，对于足够大的集合 $S$，所计算的障碍等价于有限阿贝尔下降障碍和 Brauer-Manin 障碍（推论 6.7）。然而，作者对于将其计算优势扩展到界定雅可比行列式（Jacobian）的秩方面持谨慎态度；他们指出，虽然该方法计算了 Selmer 集的一个子集，但要确定核的大小（从而确定秩），仍然需要关于 $L$ 的类和单位群的完整信息，而这正是该方法无法提供的。

这项工作表明，平面四次曲线上的显式 Brauer-Manin 障碍可以被有效计算，从而解决了哈塞原理的某些情形，并确定了此前无法通过非条件性证明确定的指标。