[論文レビュー] 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

ひとこと要約

本稿は、ℚ 上の K3 表面において、ハッセの原理を遮断する超越的ブラウーエル・クラスをもつ、最初に知られている例を構成する。(2,2)-超曲面に沿った ℙ²×ℙ² の2重被覆を用いて、幾何的ピカール数が1で、すべての有限素数で分岐していないが実数位置で分岐する非自明な2階のブラウーエル類を持つ2次 K3 表面を構成し、これによりブラウーエル＝マニンの遮断が生じる。

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).

研究の動機と目的

• 代数的表面における超越的ブラウーエル類がハッセの原理を遮断しうることを示す。これは算術幾何における長年の未解決問題である。
• 幾何的ピカール数が1で、ブラウーエル群が完全に代数的でない2次 K3 表面を ℚ 上に構成する。
• すべての有限場で分岐していないが実数位置で分岐する2階のブラウーエル類を明示的に実現し、アデール点の遮断を引き起こす。
• ホッジ理論的技法を用いて、(2,2)-超曲面を被覆とする ℙ²×ℙ² の2重被覆による明示的な幾何的構成を提供する。
• すべての場（∞ および p ≤ 22）における局所的可解性と、特に実数および2進数完備化における不変量の計算を通じて、遮断を検証する。

提案手法

• 定義式の行列式公式を用いて、双次数 (2,2) の超曲面に沿って分岐する ℙ²×ℙ² の2重被覆として K3 表面 X を構成する。
• 関数体 k(X) 上のクaternion代数 (B²−4AD, A) を定義し、命題 3.3 を用いて Br(X) に上昇するブラウーエル類を得る。
• Pic(𝑋̄) ≅ ℤ かつガロア作用が自明であることから、H¹(ℚ, Pic(𝑋̄)) = 0 を確認し、ブラウーエル類が超越的であることを保証する。
• ヤコビアンの臨界条件を用いて、ℚ および 𝔽₃ 上の関連曲線 C₁ の滑らかさをテストし、良い還元およびピカール数1を保証する。
• [EJ08] に記載のアルゴリズムを用いて 𝔽₃ⁿ 上の点数を計算し、幾何的ピカール数を評価。𝔽₃ 上に三接線が存在しないことから、ピカール数1を確認する。
• すべての場（∞ および p ≤ 22）における局所的可解性を確認し、悪い還元の場におけるブラウーエル類の不変量を計算。実数位置で非自明な遮断が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 超越的ブラウーエル類は、特に K3 表面において、ハッセの原理を遮断しうるか？
• RQ2 ℚ 上の2次 K3 表面で、幾何的ピカール数が1で、すべての有限素数で分岐していないが実数位置で分岐する非自明なブラウーエル類を持つものは構成可能か？
• RQ3 このようなブラウーエル類は、アデール点が存在するにもかかわらず、有理点の遮断を引き起こすことができるか？
• RQ4 ヴォジンとヴァン・ゲーメンのホッジ理論的構成をどのように用いて、楕円ファイブレーションを持たない K3 表面に明示的な超越的ブラウーエル類を構成できるか？
• RQ5 特に実数および2進数完備化におけるブラウーエル類の不変量を検証するために、どのような計算技法が用いられるか？

主な発見

• ℚ 上に構成された K3 表面 X は幾何的ピカール数が1であるため、Br(X)/Br₀(X) は非自明であり、超越的要素を含む。
• Br(k(X)) 内のブラウーエル類 𝒜 = (B²−4AD, A) は Br(X) 内の非自明な要素に拡張され、H¹(ℚ, Pic(𝑋̄)) = 0 であることから超越的である。
• X(𝔸) は空でない（すべての局所点が存在するが）、X(𝔸)^𝒜 = ∅ であるため、ブラウーエル＝マニンの遮断は非自明である。
• ブラウーエル類はすべての有限素数で分岐していないが、実数位置で分岐しており、これが遮断の鍵である。
• 計算による検証により、すべての p ≤ 22 および p = ∞ で局所的可解性が確認され、実数位置での不変量が非自明であることが示され、遮断が保証される。
• この表面は ℚ および 𝔽₃ で滑らかであり、𝔽₃ 上に三接線が存在しないことと、𝔽₃ⁿ 上の点数の計算から、幾何的ピカール数が1であることが確認される。