[論文レビュー] The local-global exact sequence for Chow groups of zero-cycles

Yongqi Liang|arXiv (Cornell University)|Jun 7, 2012

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

ひとこと要約

本稿は、有理的連結性およびブレア＝マニン障害技術を用いて、射影空間上のノーミックバンドルのゼロサイクルのチャウ群に対する局所的・大域的列の正確性を確立する。数体上の有理的連結な多様体に対しては、拡張の線形的非交差性条件を弱めた条件下で、この列が正確であることを証明し、制限-核心制限の議論を用いてこの結果をファイブレーション族に拡張し、ゼロサイクルに対する局所的・大域的原理の失敗がブレア＝マニン障害によって完全に制御されることを確認する。

ABSTRACT

A local-global sequence for Chow groups of zero-cycles involving Brauer groups has been conjectured to be exact for all proper smooth algebraic varieties. We apply existing methods to construct several new families of varieties verifying the exact sequence. The examples are explicit, they are normic bundles over the projective space.

研究の動機と目的

• 数体上の滑らかかつ固有な多様体におけるゼロサイクルの局所的・大域的原理を検証し、ブレア＝マニン障害がその失敗を唯一制御することを確認すること。
• 既知の局所的・大域的列の正確性結果を、特に射影空間上のノーミックバンドルを含む新しい多様体族に拡張すること。
• 従来の結果よりも弱い仮定の下で正確性を確立すること、具体的にはすべての有限拡張ではなく、固定された拡張から線形的非交差性を要求するのみであること。
• 制限-核心制限の技法を用いて、関数体が互いに素な次数の有限拡張であるようなより単純な多様体から、より一般的なファイブレーションへ正確性を伝播させること。

提案手法

• 最近の結果（Liaa）の強化版を用い、有限拡張に関する仮定を、固定された有限拡張 L/k から線形的非交差性を満たすものに弱める。
• 互いに素な次数条件の下で、関数体が L_i である多様体から関数体が L である多様体へ正確性を移すために制限-核心制限の議論を適用する。
• アーチメデス的場所を扱い、ブレア＝マニンペアリングと整合性を保つために、修正されたチャウ群 CH₀′(X_v) を用いる。
• 問題を双有理不変量に還元する：CH₀(X)、A₀(X)、および Br(X) であり、これらは関数体 k(X) のみに依存する。
• 関数体が有理関数体と次数が互いに素な有限拡張の合成となるような、射影空間上へのノーミックバンドルの明示的族を構成する。
• 既知の有理点に関する結果（例えば DSWb、SJ）に依拠し、ブレア＝マニン障害が弱近似の障害として唯一の障害であることを確認し、これにより定理2.1の適用が可能になる。

実験結果

リサーチクエスチョン

• RQ1 数体上の滑らかかつ固有な多様体におけるゼロサイクルのチャウ群の局所的・大域的列が、どのような条件下で正確になるか？
• RQ2 コホモロジー的およびファイブレーション的技法を用いて、射影空間上でのノーミックバンドルに対する局所的・大域的列の正確性を拡張できるか？
• RQ3 有理的連結な多様体におけるゼロサイクルの局所的・大域的原理の失敗は、ブレア＝マニン障害によってのみ制御されるか？
• RQ4 制限-核心制限の議論は、関数体が互いに素な次数の有限拡張であるようなより単純な多様体からより複雑な多様体へ正確性をどのように伝播させるか？
• RQ5 ベースチェンジにおける有理点の算術から、列の正確性はどの程度まで帰納的に得られるか？

主な発見

• 滑らかかつ固有な有理的連結多様体 X に対して、数体 k 上で、すべての有限拡張 K/k が固定された有限拡張 L/k から線形的非交差である場合、X_K における弱近似の障害がブレア＝マニン障害のみである限り、列 (E) は正確である。
• K/k が次数4の拡張で、P(t) が K 上で分解する二次の既約多項式であるとき、N_{K/k}(x) = P(t) の形の式で定義される射影空間上のノーミックバンドルに対し、列 (E) は正確である。
• N_{K/k}(x) = c t^m (1-t)^n で定義される多様体に対し、列 (E) は正確である。これは、ヘイズ＝ブラウン–スコロボガトフおよびコリオ・セル＝テレーヌ–ハラリ–スコロボガトフの結果を一般化する。
• Br(X)/Br(k) = 0 のとき、このような多様体における次数0ゼロサイクルへの大域的から局所的への準同型は全射である。これは例3.9で確認されている。
• 関数体が有理関数体の互いに素な次数の有限拡張であるようなファイブレーションに対して、定理2.3により列 (E) の正確性は保たれる。
• これらの結果により、射影空間上でのノーミックバンドルの広いクラスにおいて、ゼロサイクルの局所的・大域的原理の失敗がブレア＝マニン障害によって完全に制御されることを確認する。