[論文レビュー] Revêtements étales et groupe fondamental (SGA 1)

Alexander Grothendieck, Michèle Raynaud|ArXiv.org|Jun 20, 2002

French Urban and Social Studies被引用数 296

ひとこと要約

この論文は、グロタンディークの「クロネッカー的」な視点を用いて、代数幾何学におけるエタール基本群の基礎を確立し、数体の整数環と代数的概形の両方を統一的に扱う。エタール準同型、降下理論の発展、有限エタール被覆を通じた基本群の構成を導入し、エタールコhomologyや算術幾何学の後続発展を支える枠組みを提供する。

ABSTRACT

Le texte présente les fondements d'une théorie du groupe fondamental en Géométrie Algébrique, dans le point de vue ``kroneckerien'' permettant de traiter sur le même pied le cas d'une variété algébrique au sens habituel, et celui d'un anneau des entiers d'un corps de nombres, par exemple. The text presents the foundations of a theory of the fundamental group in Algebraic Geometry from the Kronecker point of view, allowing one to treat on an equal footing the case of an algebraic variety in the usual sense, and that of the ring of integers in a number field, for instance.

研究の動機と目的

• 代数的概形と数体の整数環の両方を同等に扱える、代数幾何学における基本群の統一的理論を構築すること。
• スキームの言語とエタール準同型を用いて、エタール基本群の基礎を確立すること。
• 有限エタール被覆の構成と解析に不可欠な降下理論の厳密な枠組みを提供すること。
• 特にガロア理論的構造が現れる算術的・幾何的状況の研究に向けた、現代代数幾何学の基盤的参考文献としての役割を果たすこと。
• 1971年のオリジナル版SGA 1を、修正された表記・用語、および現代の読者に配慮した解説を加えて更新・註記すること。

提案手法

• スキームの言語を用い、エタール準同型を局所的同型の一般化として定義し、代数幾何学における「局所的同型」を捉える。
• 有限エタール被覆を位相的有限ガロア被覆の類似物として導入し、基本群の構成の土台とする。
• 降下理論を適用して、基底上の幾何的対象とその引き戻しとの関係を扱い、局所データからグローバル対象を構成できるようにする。
• 平坦かつ滑らかな準同型を、スキームの局所的および無限小的挙動を分析する基盤的道具として用いる。
• 標準化された用語の明確化を図るため、残渣体記号 $\mathit{k}(x)$ および $\mathit{k}(A)$ を用いる。
• ミシェル・レノーの追加 remarks（(MR) と表記）を統合し、1971年版のわずかな誤りを是正し、オリジナルのテキストの整合性を向上させる。

実験結果

リサーチクエスチョン

• RQ1 代数幾何学における基本群を、数体の整数環（算術的ケース）と代数的概形（幾何的ケース）を同一の枠組みで扱える形に定義するにはどうすればよいか？
• RQ2 代数幾何学において「局所的同型」として機能するためには、準同型がどのような性質を満たすべきか。また、このような準同型は、被覆空間を定義するためにどのように利用できるか？
• RQ3 降下理論は、エタール準同型の文脈において、局所データからグローバル対象を再構成するのにどのように寄与するか？
• RQ4 平坦性と滑らかさは、エタール準同型およびその被覆の構成と分類において、果たす役割は何か？
• RQ5 1971年のオリジナルSGA 1を、その基礎的コンテンツを損なわずに現代研究者に読みやすく、整合性を保てる形に更新・註記するにはどうすればよいか？

主な発見

• エタール基本群は、適切な有限エタール被覆のカテゴリ上のファイバー関手の自己同型群として、プロファイント群として構成され、位相的基本群を一般化する。
• エタール準同型は、平坦かつ局所的に有限型であり、次元0の幾何的減少ファイバーを持つものとして特徴づけられ、代数的同型の類似物としての役割を果たす。
• 降下理論は、エタール被覆上の局所的に定義された対象を、整合性のある局所データから貼り合わせてグローバル対象を構成できるように形式化される。
• オリジナルのSGA 1は、表記と用語の修正が施され、特に「morphisme simple」を「morphisme lisse」に置き換えることで混乱を回避する。
• 更新版には、ミシェル・レノーによる(MR)註記が、特化や降下に関するセクションの重要な点に追加され、元の記述の明確化・是正がなされている。
• 本巻は、フランス数学会が発行する「Documents Mathématiques」シリーズに収録され、arXiv経由で修正済みかつタイプセットされたバージョンが入手可能であり、長期的なアクセス可能性とオリジナル版との整合性を確保している。