[论文解读] Bounding Picard numbers of surfaces using p-adic cohomology

Timothy G. Abbott, Kiran S. Kedlaya+1 more|ArXiv.org|Jan 20, 2006

Algebraic Geometry and Number Theory参考文献 36被引用 29

一句话总结

本论文提出了一种计算方法，利用 $p$-进上同调，通过在低 $p$-进精度下逼近上同调上的弗罗贝尼乌斯作用，来界定有限域上光滑射影曲面的算术与几何皮卡数。关键贡献是一项在 Magma 中实现的有效算法，证明了在 $\mathbb{F}_2$ 和 $\mathbb{F}_3$ 上存在光滑四次曲面其皮卡数为 1，以及在 $\mathbb{F}_2$ 上存在光滑五次曲面其几何皮卡数为 1，展示了该方法在编码理论中的应用。

ABSTRACT

Motivated by an application to LDPC (low density parity check) algebraic geometry codes described by Voloch and Zarzar, we describe a computational procedure for establishing an upper bound on the arithmetic or geometric Picard number of a smooth projective surface over a finite field, by computing the Frobenius action on p-adic cohomology to a small degree of p-adic accuracy. We have implemented this procedure in Magma; using this implementation, we exhibit several examples, such as smooth quartics over F_2 and F_3 with arithmetic Picard number 1, and a smooth quintic over F_2 with geometric Picard number 1. We also produce some examples of smooth quartics with geometric Picard number 2, which by a construction of van Luijk also have trivial geometric automorphism group.

研究动机与目标

• 开发一种在有限域上对代数曲面皮卡数进行有效计算界定的实用方法。
• 应用 $p$-进上同调技术以解决代数几何与编码理论中的开放问题。
• 实现一种算法，通过在有限 $p$-进精度下计算 $p$-进上同调上的弗罗贝尼乌斯作用，推导出皮卡数的界限。
• 在小的有限域上产生皮卡数最小（即 1）的曲面的显式示例，包括 $\mathbb{F}_2$ 和 $\mathbb{F}_3$。
• 展示该方法在构造具有 LDPC 性质且最小距离可控的代数几何码中的实用性，其动机来自 Voloch 与 Zarzar 的工作。

提出的方法

• 该方法利用弗罗贝尼乌斯在 $p$-进上同调上的作用，通过在弗罗贝尼乌斯矩阵的低精度近似上进行线性代数运算来界定皮卡数。
• 其依赖于 $p$-进上同调以及 Griffiths 对超曲面上同调的描述，以计算模 $p^k$（$k$ 较小）下的弗罗贝尼乌斯矩阵。
• 该算法需要初始精度 $p^4$ 以实现最终精度 $p^2$，中间步骤涉及在 de Rham 上同调设定下提升弗罗贝尼乌斯算子。
• 计算通过利用光滑超曲面中间上同调结构的 Magma 实现完成。
• 在较低初始精度（例如 $p^3$ 或 $p^6$）下进行筛选，以在更高精度下进行完整计算前过滤候选对象。
• 该方法利用皮卡数受内森-塞弗尔群秩的约束这一事实，而该秩又受弗罗贝尼乌斯矩阵的迹与特征值的约束。

实验结果

研究问题

• RQ1 能否仅通过低精度 $p$-进上同调计算，有效界定有限域上光滑射影曲面的皮卡数？
• RQ2 在 $\mathbb{F}_2$ 和 $\mathbb{F}_3$ 上，是否存在皮卡数为 1 的光滑曲面的显式示例？它们能否通过算法构造？
• RQ3 弗罗贝尼乌斯作用在 $p$-进上同调上如何约束曲面的几何与算术皮卡数？
• RQ4 该方法能否用于构造具有 LDPC 性质且最小距离可控的代数几代码？
• RQ5 对于更高次曲面（如 $\mathbb{F}_2$ 上的五次曲面），实现足够 $p$-进精度的计算是否具有可行性？

主要发现

• 通过模 $2^4$ 的弗罗贝尼乌斯矩阵计算，成功计算出 $\mathbb{F}_2$ 上的一张光滑四次曲面其算术皮卡数为 1，耗时 7182 CPU 秒，内存占用 472 MB。
• 在 $\mathbb{F}_3$ 上发现一张光滑四次曲面其算术皮卡数为 1，计算在模 $3^2$ 下进行，初始精度为 $3^4$。
• 在 $\mathbb{F}_2$ 上的一张光滑五次曲面被证明其几何皮卡数为 1，计算在模 $2^3$ 下进行，初始精度为 $2^{12}$，耗时 22685 CPU 秒，内存占用 179 MB。
• 该方法成功生成了在 $\mathbb{F}_p$ 上皮卡数为 1 的光滑四次曲面，其中 $p=7,11,13,17,19$；另有两例（$p=23,29$）虽推测满足条件，但尚未验证。
• 该算法在 Magma 中实现，尽管在 $p=2$ 时因分母含高次幂的 2 而面临挑战，需仔细管理精度，但整体表现有效。
• 结果证实，仅使用低精度弗罗贝尼乌斯数据即可界定皮卡数，且此类界限足以识别出皮卡数最小的曲面，支持其在编码理论中的应用。