[论文解读] A practical algorithm to compute the geometric Picard lattice of K3 surfaces of degree $2$

Dino Festi|arXiv (Cornell University)|Aug 1, 2018

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

一句话总结

该论文提出了一种实用算法，用于计算在数域或Q上的函数域上定义的2度K3曲面的几何Picard格，采用四步法：首先对Picard秩给出上界，其次显式计算除子，再生成格，最后通过mod-p伽罗华表示验证。该算法可能不会终止，但若终止，则返回正确的完整Picard格；即使被中止，输出结果仍为一个可证明正确的子格，适用于几何与算术应用。

ABSTRACT

Let $k$ be either a number a field or a function field over $\mathbb{Q}$ with finitely many variables. We present a practical algorithm to compute the geometric Picard lattice of a K3 surface over $k$ of degree $2$, i.e., a double cover of the projective plane over $k$ ramified above a smooth sextic curve. The algorithm might not terminate, but if it terminates then it returns a proven correct answer.

研究动机与目标

• 开发一种实用且可实现的算法，用于计算在数域或Q上函数域上的2度K3曲面的几何Picard格。
• 解决现有算法中缺乏在实践中成功使用或在计算机代数系统中实现的问题。
• 提供一种方法，即使提前终止，也能得到几何Picard格的可证明正确的子格，适用于检测椭圆纤维化或有理点等应用。
• 通过引入自同构群与伽罗华群作用，处理Picard格不能仅由−2曲线或超平面截面生成的情况。

提出的方法

• 步骤I：使用van Luijk方法或其改进方法，计算几何Picard秩ρ(X̄)的上界τ。
• 步骤II：在曲面上搜索显式代数曲线（除子），特别是有理曲线（−2曲线）和超平面截面。
• 步骤III：从步骤II中找到的除子类生成子格Λ ⊆ Pic(X̄)。
• 步骤IV：通过命题7.7，利用mod-p伽罗华表示和群作用验证Λ = Pic(X̄)，检查Λ_p中的元素是否属于ι_p的核。
• 利用伽罗华群Gal(K/k)和自同构群G分析Λ_p中的轨道，排除非平凡核元素。
• 实际应用中施加时间限制：若算法提前停止，仍返回子格Λ，并发出警告称其可能不完整，但对部分应用仍有效。

实验结果

研究问题

• RQ1 能否构建一种实用算法，用于计算在数域或Q上函数域上的2度K3曲面的几何Picard格？
• RQ2 在何种条件下该算法无法终止，其主要障碍是什么，导致无法证明计算出的子格即为完整的Picard格？
• RQ3 当算法被迫提前终止时，是否仍能产生有用结果，对部分输出的正确性可提供何种保证？
• RQ4 Picard格在多大程度上可由−2曲线和超平面截面生成？当这种情况不成立时，其含义是什么？
• RQ5 如何利用mod-p伽罗华表示和群作用验证候选Picard格的完备性？

主要发现

• 该算法设计为实用，已在实践中成功应用，如参考文献[1]中所提及。
• 即使算法未终止，输出的子格Λ仍可被证明包含于几何Picard格Pic(X̄)中，因此对检测椭圆纤维化或有理点的潜在稠密性等应用具有价值。
• 算法可能因上界τ > ρ(X̄)不精确（即非紧致上界）而无法终止，导致不断尝试寻找更多除子。
• 若几何Picard格不能由−2曲线和超平面截面生成，且此类曲线的搜索无法终止，则算法也可能失败。
• 即使Λ = Pic(X̄)，验证步骤（步骤IV）也可能因G或Gal(K/k)作用下的轨道过小而无法检测到，导致无限循环。
• 在算法被截断的情况下，输出结果仍为有效子格，用户将收到警告提示其可能不完整，但仍可用于部分算术与几何分析。