[論文レビュー] Comparison of arithmetic Brauer groups with geometric Brauer groups

Xinyi Yuan|arXiv (Cornell University)|Nov 25, 2020

Algebraic Geometry and Number Theory参考文献 20被引用数 4

ひとこと要約

この論文は、有限生成体上の滑らかで射影的な多様体の算術ブラウーグループと幾何ブラウーグループを比較し、自然な写像 Br(X)/Br(k) → Br(X^s)^{G_k} による余核が、特徴量に応じて有限または有限指数を持つことを確立している。主な手法は、コhomological技術とピカール多様体を用いた引き戻しのテクニックであり、特徴量に依存しない一様な一般化を達成している。

ABSTRACT

Let $X$ be a projective and smooth variety over a field $k$. The goal of this paper is to prove that the cokernel of the canonical map $Br(X) o Br(X_{k^s})^{G_k}$ has a finite exponent. Both groups are natural invariants arising from consideration of the Tate conjecture of divisors over $X$.

研究の動機と目的

• 滑らかで射影的な多様体の算術ブラウーグループと幾何ブラウーグループを、有限生成体上ですべての特徴量において比較すること。
• Br(X)/Br(k) から Br(X^s)^{G_k} への自然な写像の核と余核を理解すること。
• 特徴量 0 における Colliot-Thélène と Skorobogatov の結果を、任意の特徴量へ拡張すること。
• 余核の正確な境界、特にそれが有限群または有限指数の群としてどのように構造化されるかを確立すること。
• 比較定理の完全かつ自己完結的な証明を提供し、既存の文献における既知の結果を明確にすること。

提案手法

• X の超平面切断 Ci への制限を用いた引き戻しのテクニックを用い、問題を次元を落とした場合に還元する。
• エタールコhomologyのスペクトル系列を適用し、ブラウーグループとピカール群、およびそれらのガロアコhomologyとの関係を確立する。
• 非常に正則な線分束に関するカップ積ペアリングを用いて、エタールコhomologyの完全系列の G_k-不変な分解を構成する。
• X とその超平面切断のピカール多様体間の写像、特に Pic^0 部分に注目して問題を還元する。
• ピカール多様体に関連するアーベル多様体間の写像の核と余核を解析するために、Poincaré の完全還元定理を用いる。
• 弱Lefschetz定理を用いて、Tateモジュール上の制限写像が単射であることを示し、Pic^0 写像の核が有限であることを示す。

実験結果

リサーチクエスチョン

• RQ1 正の特徴量における写像 Br(X)/Br(k) → Br(X^s)^{G_k} の余核はどのように振る舞うか？
• RQ2 底体が正の特徴量を持つ場合、余核の正確な構造は何か？
• RQ3 超平面切断による引き戻しのテクニックは、ブラウーグループの比較問題を次元を落として低次元の状況に還元するのにどの程度有効か？
• RQ4 余核の有限性および指数の上限を、すべての特徴量にわたって一様に確立できるか？
• RQ5 除法のTate予想の文脈において、幾何ブラウーグループと算術ブラウーグループはどのように関係するか？

主な発見

• 写像 Br(X)/Br(k) → Br(X^s)^{G_k} の核は、H^1(k, Pic(X^s)) に自然に単射に埋め込まれ、余核は有限指数を持つ。
• 底体 k が特徴量 0 のとき、この写像の余核は有限である。
• k が正の特徴量 p を持つとき、余核は p と互いに素な位数の有限群と、有限指数の p-群の直和に同型である。
• k が有限体であるとき、写像の核と余核の両方が有限である。
• 比較定理は、すべての特徴量にわたって一様に成り立ち、Colliot-Thélène と Skorobogatov の特徴量 0 の結果と同一の手法が適用可能である。
• 証明は、弱Lefschetz定理と交差ペアリングの非退化性を用いて、アーベル部分多様体を介してピカール多様体間の有限核および余核写像を構成することに依拠している。