[論文レビュー] On the Brauer-Manin obstruction for cubic surfaces

Andreas-Stephan Elsenhans, Jörg Jahnel|arXiv (Cornell University)|Nov 5, 2010

Algebraic Geometry and Number Theory参考文献 11被引用数 15

ひとこと要約

本稿は、Br(S)/Br(ℚ) が2または4の位数をもつ場合に、ℚ 上の滑らかな三次曲面に対するブラウアー–マニン障害を計算するための手法を開発する。これは非自明な場合の大部分をカバーする。本稿では、ガロア不変な二重六重対（double-sixes）とブラウアー類を関連づけ、すべての位数2の類がこの方法で得られることを証明し、明示的なアズマヤ代数の代表元を計算することで、特定の素数において障害が有効であることを示し、ペイリの定数を用いて有理点の個数に対する正確な予測をもたらす。

ABSTRACT

We describe a method to compute the Brauer-Manin obstruction for smooth cubic surfaces over $\bbQ$ such that $\Br(S)/\Br(\bbQ)$ is of order two or four. This covers the vast majority of the cases when this group is non-zero. Our approach is to associate a Brauer class with every Galois invariant double-six. We show that all order two Brauer classes may be obtained in this way. We also recover Sir Peter Swinnerton-Dyer's result that $\Br(S)/\Br(\bbQ)$ may take only five values.

研究の動機と目的

• Br(S)/Br(ℚ) が位数2または4であるℚ 上の三次曲面に対するブラウアー–マニン障害を計算すること。これは非自明な場合の大部分をカバーする。
• ガロア不変な27本の直線の二重六重対と、商群内のブラウアー類を結びつける体系的な手法を確立すること。
• すべての位数2のブラウアー類が、このような二重六重対から生じることを証明し、先行する計算的作業における空白を埋めること。
• ブラウアー類の明示的代表元をアズマヤ代数として計算し、すべてのケースで制限写像が単射かつ全射（すなわち双対写像）であることを確認すること。
• ブラウアー–マニン障害が、3分の2ではなく、さまざまな分数のアデール点を除外することを示す数値例を提示すること。これは、位数3のケースにおける2/3とは異なる。

提案手法

• 本手法は、クレモナとレイの六面体形式（hexahedral form）を用いてガロア不変な二重六重対を持つ三次曲面を構成し、明示的なガロア降下技術を併用する。
• Br(S)/Br(ℚ) が位数2または4であるのは、ガロア不変な二重六重対が存在する場合に限られ、ガロア作用がW(E₆)の特定の部分群に制限されることを同定する。
• Br(S)/Br(ℚ) ≅ ℤ/2ℤ および ℤ/2ℤ×ℤ/2ℤ のモデルケースに対して、明示的なブラウアー類をアズマヤ代数として計算する。
• Br(S) からアデールブラウアー群への制限写像が、すべての76個の関連するケースで双対写像であることが示され、障害が完全に計算可能であることが確認される。
• 素数における局所評価写像を計算し、どのアデール点が障害によって除外されるかを特定する。これには、S(ℚₚ) および S(ℝ) 上の測度を用いる。
• ペイリの定数 τ(S) を、測定されたブラウアー–マニン集合を用いて推定し、4000までの境界における実際の探索結果と、有理点の個数の予測を比較する。

実験結果

リサーチクエスチョン

• RQ1 Br(S)/Br(ℚ) が位数2または4である場合に、ℚ 上の三次曲面に対してブラウアー–マニン障害が有効に計算可能か？
• RQ2 すべての位数2のブラウアー類が、ガロア不変な二重六重対から生じるか？
• RQ3 三重のアゼジェティック（azygetic）二重六重対をもつ三次曲面のブラウアー群の正確な構造は何か？ そして、これにより障害にどのような影響を与えるか？
• RQ4 有限および無限の場所における局所評価写像は、アデール点をどのように分解するか？ どの素数が障害に寄与するか？
• RQ5 ブラウアー–マニン障害によって除外されるアデール点の割合は何か？ また、ペイリの定数からの予測と比較するとどうなるか？

主な発見

• ブラウアー–マニン障害は、有限個の素数でのみ有効である。具体的には、例では2, 3, 5, 31, および11071が該当し、局所評価と分裂性の挙動によって決定される。
• Br(S)/Br(ℚ) ≅ ℤ/2ℤ×ℤ/2ℤ の場合、素数2と5の両方で障害が働く。局所測度は、S(ℚ₂) を4つの集合に、S(ℚ₅) を4つの集合に分解し、そのうちゼロ測度の成分も含む。
• ブラウアー–マニン集合と全アデール点の比は、1例において τ_H(S(𝔸_ℚ)^Br)/τ_H(S(𝔸_ℚ)) = 111/340 ≈ 0.3265 であり、顕著な除外を示している。
• ガロア群が (S₃×S₃)⋉ℤ/2ℤ である曲面に対して、ペイリの定数 τ(S) は約 1.8532 と推定され、境界4000までの予測有理点数（7413）は実際の数（6994）に近く一致する。
• すべての例において、実領域 S(ℝ) は連結であるため、∞における局所評価写像は定数であり、障害は有限素数でのみ作用する。
• 本手法により、すべての位数2のブラウアー類がガロア不変な二重六重対から生じることが確認され、Br(S)/Br(ℚ) が位数4であるすべてのケースは、三重のアゼジェティック二重六重対を固定する最大部分群 U₃ に含まれる。