[论文解读] Failure of the Hasse principle on general K3 surfaces

Brendan Hassett, Anthony Várilly‐Alvarado|arXiv (Cornell University)|Oct 8, 2011

Algebraic Geometry and Number Theory参考文献 32被引用 6

一句话总结

该论文构造了首个已知的在ℚ上具有非代数Brauer类并阻碍Hasse原理的K3曲面。通过在ℙ²×ℙ²上取关于(2,2)-超曲面的双重覆盖，作者展示了度数为2的K3曲面，其几何Picard秩为1，且存在一个在所有有限素数处无分支但在实数位置分支的非平凡2阶Brauer类，从而导致有理点的Brauer–Manin障碍。

ABSTRACT

We show that transcendental elements of the Brauer group of an algebraic surface can obstruct the Hasse principle. We construct a general K3 surface X of degree 2 over Q, together with a two-torsion Brauer class A that is unramified at every finite prime, but ramifies at real points of X. Motivated by Hodge theory, the pair (X,A) is constructed from a double cover of P^2 x P^2 ramified over a hypersurface of bi-degree (2,2).

研究动机与目标

• 为证明代数曲面上的非代数Brauer类可阻碍Hasse原理，这是算术几何中长期悬而未决的问题。
• 在ℚ上构造一个度数为2的K3曲面，其几何Picard秩为1，确保Brauer群并非完全由代数类构成。
• 显式实现一个2阶Brauer类，其在所有有限位置无分支但在实数位置分支，从而阻碍了哈德斯点的存在。
• 通过ℙ²×ℙ²上关于(2,2)-超曲面的双重覆盖提供一个具体的几何构造，利用Hodge理论技术。
• 通过在所有位置（包括实数和2-adic完备化）的显式局部点计算和不变量验证障碍的存在。

提出的方法

• 通过(2,2)-双次数超曲面的双重覆盖构造K3曲面X，使用定义方程的行列式公式。
• 在函数域k(X)上定义一个四元数代数(B²−4AD, A)，通过引理3.3提升为Br(X)中的Brauer类。
• 通过验证H¹(ℚ, Pic(𝑋̄)) = 0（因Pic(𝑋̄) ≅ ℤ且Galois作用平凡）来确保Brauer类为非代数类。
• 使用Jacobian判别法检验在ℚ和𝔽₃上相关曲线C₁的光滑性，以确认良好约化及Picard秩为1。
• 应用[EJ08]中的算法计算𝔽₃ⁿ上的点数并界定几何Picard数，通过𝔽₃上无三切线的存在性确认秩为1。
• 验证所有位置（包括∞和p ≤ 22）的局部可解性，并计算在不良约化位置的Brauer类不变量，显示实数位置存在非平凡障碍。

实验结果

研究问题

• RQ1 非代数Brauer类是否可在代数曲面上阻碍Hasse原理，特别是K3曲面？
• RQ2 能否在ℚ上构造一个度数为2的K3曲面，其几何Picard秩为1，且存在一个在所有有限素数处无分支但在实数位置分支的非平凡Brauer类？
• RQ3 即使存在哈德斯点，此类Brauer类是否仍可导致有理点的Brauer–Manin障碍？
• RQ4 Voisin和van Geemen的Hodge理论构造方法如何用于在无椭圆纤维的K3曲面上显式构建非代数Brauer类？
• RQ5 在实数和2-adic完备化等位置，可使用何种计算技术验证Brauer类的不变量？

主要发现

• 在ℚ上构造的K3曲面X具有几何Picard秩1，意味着Br(X)/Br₀(X)非平凡且包含非代数元素。
• Br(k(X))中的Brauer类𝒜 = (B²−4AD, A)可提升为Br(X)中的非平凡元素，且因H¹(ℚ, Pic(𝑋̄)) = 0而为非代数类。
• X(𝔸)非空，即所有位置均有局部点，但X(𝔸)^𝒜 = ∅，表明Brauer–Manin障碍非平凡。
• 该Brauer类在所有有限素数处无分支但在实数位置分支，这是障碍存在的关键。
• 计算验证了在所有p ≤ 22及p = ∞处的局部可解性，且实数位置的不变量非平凡，确保了障碍的存在。
• 该曲面在ℚ和𝔽₃上光滑，且在𝔽₃上无三切线，结合𝔽₃ⁿ上的点数计算，确认了几何Picard秩为1。