グロタンディークの圏論的ガロア理論は、古典的なガロア理論を一般化し、より抽象的な枠組みで再構築したものである。この理論の中心にあるのは「ガロア圏」の概念である。
2. C は有限和を持つ。
3. C の任意の射 f は、全射 e と単射 m の合成 f = m ∘ e として一意に分解できる。
4. ある忠実充満な関手 F: C → Set(有限集合の圏)が存在し、以下の性質を満たす:
- F は有限極限を保存する。
- F は有限余極限を保存する。
- F は単射を保存する。
ガロア圏 C に対して、位相群 π(C) が定義される。これは C の自己同型群の射影極限として構成され、C の基本群と呼ばれる。
ガロア圏 C と、π(C) が連続に作用する有限集合の圏 Fin(π(C)) の間に圏同値が存在する。
数式で表すと:C ≅ Fin(π(C))
ファイバー関手 F: C → Set は、この理論において中心的な役割を果たす。幾何学的には、固定されたベースポイント上の被覆のファイバーに対応する。
F の性質:
代数幾何学において、スキーム X のエタール被覆のガロア理論は、以下のように定式化される:
定理:
連結な正規スキーム X に対して、X のエタール被覆の圏 FÉt(X) はガロア圏である。その基本群 π₁(X) は、X のエタール基本群と呼ばれる。
FÉt(X) ≅ Fin(π₁(X))
1. 代数と位相の統一:体の拡大理論と被覆空間の理論を統一的に扱うことが可能になった。
2. 抽象化と一般化:固定された射有限群 G に対する有限 G-集合の圏を特徴付けることで、より一般的な状況に適用可能になった。
3. 構造主義的アプローチ:数学的対象の背後にある本質的な構造を捉える新しい方法を提供した。
この理論は、数学の異なる分野間の深い関連性を明らかにし、代数学、位相幾何学、代数幾何学などの分野を横断する統一的な視点をもたらした。これにより、数学の理解をより深め、新たな研究の方向性を示すことに成功した。