[论文解读] Pathologies of the Brauer-Manin obstruction

Jean-Louis Colliot-Thélène, Ambrus Pál+1 more|arXiv (Cornell University)|Oct 18, 2013

Algebraic Geometry and Number Theory被引用 3

一句话总结

本文構造了代數曲面的顯式反例，以反駁Hasse原理與弱逼近，顯示即使光滑纖維滿足Hasse原理，Brauer–Manin障礙仍可能無法檢測到有理點的缺失。透過使用僅含一個有理點的基曲面，並利用Brauer群技術仔細分析其阿代爾點，作者證明了Brauer–Manin集可非空，而有理點集卻為空，特別是在基曲面有理點集為平凡的曲線上的二次曲面與圓錐纖維叢中。

ABSTRACT

We construct a conic bundle over an elliptic curve over a real quadratic field that is a counterexample to the Hasse principle not explained by the \'etale Brauer-Manin obstruction. We also give simple examples of threefolds with the same property that are families of 2-dimensional quadrics, and discuss some other examples and general properties of the Brauer-Manin obstruction.

研究动机与目标

• 構造在數域上無有理點但Brauer–Manin集非空的代數曲面。
• 展示Brauer–Manin障礙不足以解釋某些圓錐與二次曲面纖維叢中Hasse原理失效的原因。
• 顯示即使整體曲面無有理點，此類纖維叢中的光滑纖維仍可滿足Hasse原理與弱逼近。
• 探討Brauer–Manin障礙在基曲面有理點集為平凡的幾何有理曲面族中的限制。

提出的方法

• 使用數域k上僅含一個k-有理點的基曲面B，確保B(k)在B(Ak)Br中不稠密。
• 構造一個滿射態射f: X → B，使得在唯一k-點上的纖維在所有局部域中均有點，但無全局有理點。
• 利用映射Br(B) → Br(X)的滿射性，確保X(Ak)Br中存在阿代爾點。
• 在實與非阿基米德位處使用形變技術，修改阿代爾點，同時保持其Brauer–Manin類不變。
• 利用具有大伽羅瓦作用的橢圓曲線在扭點上的性質，控制纖維的算術性質。
• 使用Brauer群的純性定理與Shapiro引理，分析殘留條件，確保Brauer群映射是滿射。

实验结果

研究问题

• RQ1 Brauer–Manin障礙是否可能無法檢測到基曲面有理點集為平凡的曲線上圓錐或二次曲面纖維叢中，有理點缺失的情況？
• RQ2 是否存在三維曲面或曲面的例子，其光滑纖維滿足Hasse原理與弱逼近，但整體曲面無有理點？
• RQ3 即使光滑纖維滿足Hasse原理，是否存在 étale Brauer–Manin集非空而有理點集為空的情況？
• RQ4 Brauer–Manin障礙是否無法解釋高虧格或幾何有理纖維叢族中Hasse原理的反例？

主要发现

• 本文構造了一個在任意數域k上的三維曲面，其為由僅含一個k-點的曲線C參數化的二維二次曲面族，滿足X(k) = ∅但X(Ak)´et,Br ≠ ∅。
• 對於定義在實二次域k上的橢圓曲線E，其中E(k) = {0}，本文構造了圓錐纖維叢曲面X → E，使得X(k) = ∅但X(Ak)´et,Br ≠ ∅。
• 作者證明，即使光滑纖維滿足Hasse原理與弱逼近，Brauer–Manin障礙仍無法解釋曲線虧格至少為1的圓錐或二次曲面纖維叢中Hasse原理的失效。
• 在由僅含一個k-點的曲線參數化的三維曲面中，纖維為奇點，且滿足X(k) = ∅但X(Ak)´et,Br ≠ ∅。
• 本文證明，對於具有有限Shafarevich–Tate群的橢圓曲線E上的一個Severi–Brauer概形f: X → E，若X(Ak)Br ≠ ∅，則必有X(k) ≠ ∅，顯示在此情況下障礙是充分的。
• 作者展示即使Brauer–Manin集非空，X(k)在X(Ak)Br中的稠密性仍可能失敗，這是因阿代爾拓撲中的拓撲障礙所致。