[論文レビュー] Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2)

Alexander Grothendieck, Michèle Raynaud|ArXiv.org|Nov 10, 2005

Homotopy and Cohomology in Algebraic Topology被引用数 34

ひとこと要約

本稿は、連接層の局所コホモロジー層の有限性に関する必要十分条件を提供し、代数幾何学における基礎的結果を確立している。これらの有限性基準と純粋性定理を用いて、基本群およびピック群に対するグローバルおよびローカルなレフシェッツ型定理を導出し、代数化を可能にするとともに、特異的かつ局所的な設定におけるコホモロジカルおよびホモトピー的性質の理解を深めている。

ABSTRACT

New updated edition by Yves Laszlo of the book ``Cohomologie locale des faisceaux cohérents et théorèmes de Lefschetz locaux et globaux (SGA 2)'', Advanced Studies in Pure Mathematics 2, North-Holland Publishing Company - Amsterdam, 1968. Published by the Societe Mathematique de France http://smf.emath.fr/Publications/DocumentsMathematiques/ Original text also available in the LaTeX file. Dans cet ouvrage, on montre des théorèmes d'algébrisation et de pureté qui permettent d'obtenir des théorèmes de type Lefschetz pour le groupe fondamental ou de Picard. In this monograph algebraization and purity theorems are proved, providing Lefschetz's theorem for both the fundamental group and the Picard group.

研究の動機と目的

• 連接層の局所コホモロジー層の有限性に関する必要十分条件を確立すること。
• 局所コホモロジーデータとグローバルな幾何的不変量を結ぶ代数化定理を構築すること。
• 純粋性および有限性の結果を用いて、レフシェッツ型定理を基本群およびピック群へと拡張すること。
• 1968年のオリジナルのSGA2のテキストを、現代的な解説、タイプセットの修正、および拡張された証明を加えて更新・明確化すること。
• 局所コホモロジーを通じて特異点および双対性の研究のための厳密な基礎を提供すること。

提案手法

• 閉部分スキームの近傍における連接層のコホモロジカルな振る舞いを分析するために局所コホモロジー理論を用いる。
• 深さおよびホモトピー的深さの条件を適用して、局所コホモロジー加群の有限性を特徴付ける。
• 局所双対性定理を用いてコホモロジーとExt加群を関連させ、有限性基準を導出する。
• 特に局所系および反射的層に対する純粋性定理を統合し、滑らかでない設定へもレフシェッツ定理を拡張する。
• 局所データをグローバルな幾何的対象へと持ち上げる代数化技術を実装する。
• 編集者による脚注（番号1, 2, ...）を追加して、現在の数学的理解を反映させつつ、オリジナルの脚注（アsterisk * を用いて）を保持する形で、オリジナルのSGA2テキストを再編集・註解する。

実験結果

リサーチクエスチョン

• RQ1 noetherスキーム上の連接層の局所コホモロジー層の有限性を保証する条件は何か？
• RQ2 局所コホモロジーと双対性をどのように用いて、連接層の代数化定理を導けるか？
• RQ3 純粋性定理は、特異的または滑らかでないスキームへもレフシェッツ定理を一般化するために、どのような意味で役立つか？
• RQ4 局所コホモロジカルな手法を用いて、基本群およびピック群をどのように研究できるか？
• RQ5 深さおよびホモトピー的深さは、局所コホモロジー加群の有限性および消滅を制御するために果たす役割は何か？

主な発見

• 局所コホモロジー層の有限性に関する必要十分条件は、深さおよびコホモロジカル次元の観点から与えられる。
• 代数化定理が確立され、形式的スキームおよび完備化を通じて、局所コホモロジーデータのグローバルな研究が可能になる。
• 局所系および反射的層に対する純粋性定理が証明され、特異的設定へのレフシェッツ型結果の拡張が可能になる。
• 有限性および純粋性の結果を用いて、基本群およびピック群に対するレフシェッツ定理が導出される。
• 改訂版は更新された解説および証明の詳細を提供し、1968年のオリジナルのSGA2テキストを明確にし、現在の結果理解を反映している。
• ホモトピー的深さおよび深さの条件の使用により、局所コホモロジーの消滅および台の精密な解析が可能になる。