[論文レビュー] Insufficiency of the Brauer-Manin obstruction for Enriques surfaces

Francesca Balestrieri, Jennifer Berg+3 more|arXiv (Cornell University)|Jan 20, 2015

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

ひとこと要約

この論文は、[VAV-Enriques] からの構成を基盤とし、非分離閉体上で幾何学的技法を用いて、有理被覆からの引き戻しを通じて未分岐なブラウアー類を分析することにより、ℚ 上のエンリケス面における非自明なブラウアー類が代数的閉包から下降しないことを証明することで、ブラウアー＝マンンの障害がエンリケス面におけるハッセの原理のすべての反例を説明できないことを示している。これにより、ブラウアー＝マンン集合では捉えきれないハッセの原理の反例が存在することが示された。

ABSTRACT

In 2011, Vàrilly-Alvarado and the last author constructed an Enriques surface $X$ over $\mathbb{Q}$ with an étale-Brauer obstruction to the Hasse principle and no algebraic Brauer-Manin obstruction. In this paper, we show that the nontrivial Brauer class of $X_{\bar{\mathbb{Q}}}$ does not descend to $\mathbb{Q}$. Together with the results of Vàrilly-Alvarado and the last author, this proves that the Brauer-Manin obstruction is insufficient to explain all failures of the Hasse principle on Enriques surfaces. The methods of this paper build on the ideas in several recent papers by the last author and various collaborators: we study geometrically unramified Brauer classes on $X$ via pullback of ramified Brauer classes on a rational surface. Notably, we develop techniques which work over fields which are not necessarily separably closed, in particular, over number fields.

研究の動機と目的

• エンリケス面におけるハッセの原理のすべての反例がブラウアー＝マンンの障害によって説明可能かどうかを解明すること。
• 数体上のエンリケス面における非自明なブラウアー類の下降性を分析すること。
• 幾何的に未分岐なブラウアー類を研究する技法を、特に数体を含む代数的閉体でない体へと拡張すること。
• エンリケス面のハッセの原理の文脈において、エタール＝ブラウアー障害がブラウアー＝マンン障害よりも厳密に強いことを示すこと。
• ブラウアー＝マンン集合では説明できないハッセの原理の反例を、具体的に構成すること。

提案手法

• 著者たちは、エンリケス面 X におけるブラウアー群を、X を支配する有理被覆 Y からの分岐ブラウアー類の引き戻しを調べることで分析する。
• 特に体の拡張における挙動に注目し、幾何学的技法を用いて X 上の未分岐ブラウアー類を、Y 上の分岐類への上昇を通じて研究する。
• この手法には、X のK3被覆 Y 上の1種類の曲線のファイブレーションにおける、除法類およびワイエルシュトラス点のガロア作用の分析が含まれる。
• 絶対ガロア群の Pic(Ȳ) および Pic(X̄) への作用を計算し、ブラウアー類が ℚ に下降するかどうかを特定する。
• エンリケス面 X のK3被覆 Y の構造を活用し、商写像を通じて X 上のブラウアー類と Y 上のそれらを関連付ける。
• 分離閉体に限定されない数体上で分析を行うことで、算術的文脈におけるブラウアー類の下降性を研究できる。

実験結果

リサーチクエスチョン

• RQ1 ブラウアー＝マンンの障害は、エンリケス面におけるハッセの原理の反例をすべて説明できるか？
• RQ2 ℚ 上のエンリケス面における非自明なブラウアー類が代数的閉包から下降しないことはあり得るか？
• RQ3 エンリケス面の文脈において、ハッセの原理の観点からエタール＝ブラウアー障害はブラウラー＝マンン障害よりも厳密に強いと言えるか？
• RQ4 未分岐ブラウアー類を研究する幾何学的技法は、数体上でも効果的に適用可能か？
• RQ5 K3被覆は、エンリケス面におけるブラウアー類の理解において果たす役割は何か？

主な発見

• 具体的な ℚ 上の例によって、ブラウアー＝マンン障害がエンリケス面におけるハッセの原理の反例をすべて説明できないことが示された。
• 代数的閉包へのベースチェンジ X_{ar{ℚ}} 上の非自明なブラウアー類が ℚ に下降しないことから、この状況ではブラウアー＝マンン障害ではハッセの原理の反例を説明できないことが示された。
• エタール＝ブラウアー障害は、エンリケス面においてブラウアー＝マンン障害よりも厳密に強いことが、エタール＝ブラウアー集合が空でないがブラウアー＝マンン集合が空でないような曲面の存在によって示された。
• パrameter a, b, c を含む方程式系によって定義され、非消滅条件を満たす8次のK3曲面 Y の構成に依存している。
• K3被覆 Y 上の1種類の曲線のファイブレーションにおける除法類およびワイエルシュトラス点のガロア作用を明示的に計算し、ブラウアー類の下降性を特定した。
• 従来のアプローチが分離閉体に限定されていたのに対し、本手法により未分岐ブラウアー類の研究が数体へと成功裏に拡張された。