[論文レビュー] On the homotopy exact sequence for Nori's fundamental group

Hélène Esnault, Phùng Hô Hái+1 more|arXiv (Cornell University)|Aug 4, 2009

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

ひとこと要約

この論文は、一般にこの正確性の性質を満たさないが、グロタンディークのエタール基本群とは異なり、ノリの基本群においてホモトピー正確列が成り立つための必要十分条件を確立する。著者らは、ネロン＝セベリ群とピカール群のねじれ自由性を含むコhomological基準を導入し、正確性が成立する状況を特徴づける。

ABSTRACT

Unlike Grothendieck's étale fundamental group, Nori's fundamental group does not fulfill the homotopy exact sequence in general. We give necessary and sufficient conditions which force exactness of the sequence.

研究の動機と目的

• ノリの基本群に対してホモトピー正確列が成り立つ条件を特定すること。これは一般にこの正確性を満たさない。
• グロタンディークのエタール基本群とは異なり、正確列を満たさないという理解のギャップを埋めること。
• コhomologicalおよび代数的幾何学的道具を用いて、正確性の必要十分条件を提供すること。
• ノリの枠組みにおいて正確性を回復させる幾何的・算術的条件を明確にすること。

提案手法

• ホモトピー列の正確性を分析するために、キーパラメータとしてネロン＝セベリ群を用いる。
• コhomological技法を適用し、基本群とピカール群、およびそのねじれ自由性の関係を明らかにする。
• 特定のコhomology類の消滅に基づく基準を導入し、正確性を保証する。
• 降下理論および有限群スキームの性質を用いて、基本群の構造を分析する。
• ノリの基本群とエタール基本群を比較し、正確性の欠落の障害を特定する。
• ピカール群とガロアコhomologyを含むスペクトル系列の議論により、正確性を確立する。

実験結果

リサーチクエスチョン

• RQ1 ノリの基本群に対してホモトピー正確列が成り立つ条件は何か？
• RQ2 正確性の欠落を制御するコhomologicalまたは幾何的不変量は何か？
• RQ3 ピカール群のねじれ自由性は、ホモトピー列の正確性とどのように関係するか？
• RQ4 ネロン＝セベリ群は正確性の基準としてどのように機能するか？
• RQ5 正確性の性質に関して、ノリの基本群はエタール基本群とどのように異なるか？

主な発見

• ノリの基本群に対するホモトピー正確列は、ネロン＝セベリ群がねじれ自由である場合にかつその場合にのみ正確である。
• 正確性はピカール群がねじれ自由である場合に正確に成立し、これは正確性の欠落を制御するコhomological障害を提供する。
• 正確性の欠落は、ネロン＝セベリ群のねじれ部分群によって制御される。
• スペクトル系列の議論により、正確性はH^2における特定のコhomology類の消滅と同値であることが示された。
• この基準は必要かつ十分であり、正確性の鋭い特徴づけを確立した。
• 結果は体上の滑らかで固有なスキームへと拡張可能であり、有理点や算術幾何学への応用を含む。