[論文レビュー] The Brauer-Manin obstruction for zero-cycles on K3 surfaces

Evis Ieronymou|arXiv (Cornell University)|Apr 11, 2018

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

ひとこと要約

この論文は、すべての有限拡大体において有理点に対するブラウアー＝マンンノブストラクションが唯一の障害であると仮定すると、数体上のK3曲面上における次数$d$のゼロサイクルの存在に対するブラウジャー＝マンン障害が唯一の障害であることを確立する。$\mathbb{P}^1$へのファイブレーションとスコロボガトフ–ザルキンおよびオール＝スコロボガトフによるブラウアー群の有界性結果を用いることで、著者たちは有理的接続された多様体に対するリャンの結果をK3曲面へと拡張し、$H^2(X_{\overline{k}}, \mathcal{O}) = 0$ が成り立たないことに起因する障害を回避する。

ABSTRACT

We study local-global principles for zero-cycles on K3 surfaces defined over number fields. We follow an idea of Liang to use the trivial fibration over the projective line.

研究の動機と目的

• 有理的接続多様体に対してリャンが得たブラウジャー＝マンン障害に関する結果を、$H^2(X_{\overline{k}}, \mathcal{O}) = 0$ を満たさないK3曲面へと拡張すること。
• 数体上のK3曲面上における次数$d$のゼロサイクルの存在に対するブラウジャー＝マンン障害が唯一の障害であることを確立すること。
• K3曲面上における有理点およびゼロサイクルのブラウジャー＝マンン障害が支配するという予想に証拠を提供すること。

提案手法

• 基底を$\mathbb{P}^1$とする自明なファイブレーションを用いて、問題をファイバー上の局所的条件に還元する。
• スコロボガトフ–ザルキンおよびオール–スコロボガトフによる数体上のK3曲面のブラウアー群に関する有界性結果を活用し、$H^2 = 0$ の仮定を回避する。
• ハープァプ–ウィッテンバーグによるファイブレーション法の結果を適用し、ゼロサイクルの局所からグローバルへの原則を制御する。
• ガロアコhomオロジーとホッフシュライブ–セールスペクトル系列を用いて、基底体およびその拡大体におけるブラウアー群を関連付ける。
• 弱近似の技法を適用し、局所データを$n$を法として一致するゼロサイクルを構成する。
• 局所幾何と可除性によって$CH_0(X_{k_v})/n$ が制御されることを用い、グローバルおよび局所のゼロサイクル類を一致させる。

実験結果

リサーチクエスチョン

• RQ1 すべての有限拡大体において有理点に対してブラウジャー＝マンン障害が支配すると仮定したとき、数体上のK3曲面上における次数$d$のゼロサイクルの存在に対してブラウジャー＝マンン障害が唯一の障害であるか。
• RQ2 $H^2(X_{\overline{k}}, \mathcal{O}) = 0$ が成り立たないにもかかわらず、ファイブレーション法をK3曲面に適応できるか。
• RQ3 同じ有理点の仮定のもとで、K3曲面上におけるゼロサイクルの弱近似に対するブラウジャー＝マンン障害が唯一の障害であるか。
• RQ4 K3曲面のブラウアー群が、ゼロサイクルの局所からグローバルへの原則をどの程度制御するか。
• RQ5 K3曲面におけるブラウアー＝チャウ複体の予想的完全性は、このような局所からグローバルな結果によって裏付けられるか。

主な発見

• 数体$k$上のK3曲面$X$に対して、すべての有限拡大体において有理点に対してブラウジャー＝マンン障害が唯一の障害であると仮定すると、次数$d$のゼロサイクルの存在に対するブラウジャー＝マンン障害が唯一の障害である。
• ファイブレーション技法とブラウアー群の有界性を用いることで、著者たちはリャンの定理を有理的接続多様体からK3曲面へと拡張する。
• 任意の$n \geq 1$に対して、弱近似の仮定のもとで、すべての場所$v$に対して$CH_0(X_{k_v})$において与えられた局所ゼロサイクルの族$\{z_v\}$と$n$を法として一致するゼロサイクル$b$が存在する。
• 証明は、適切な残差体の特徴に関する条件下で、ほとんどすべての$v$に対して$CH_0(X_{k_v})$が$n$を法として可除であるという事実に依存する。
• $\mathrm{Br}(X)/\mathrm{Br}_0(X) \to \mathrm{Br}(X_{k'})/\mathrm{Br}_0(X_{k'})$ が適切な拡大体$k'/k$に対して同型であることを示し、基底体上のブラウアー群を制御する。
• 著者たちは、$A_0(X_{k_v})$のより強い可除性の性質が成立すれば、ブラウアー＝チャウ完全列の予想(E)が導かれることが示された。この可除性の性質はK3曲面に対して未解決のままである。