[論文レビュー] The Fundamental Group of an Algebraic Stack

Vincent Zoonekynd|ArXiv.org|Nov 7, 2001

Polynomial and algebraic computation被引用数 10

ひとこと要約

本稿では、プロ群コホモロジーを用いて代数的スタックの基本群を定義し、複素数体上でのスタックの基本群とその関連する解析的オルビフォールドの基本群との間の比較定理を確立する。この構成が、単体的スキームを用いた先行定義と一致することを証明し、これらの群を含む短完全系列を導出し、代数的スタックにおけるホモトピー論の基礎的枠組みを提供する。

ABSTRACT

We define the notion of fundamental group of an algebraic stack, prove a comparison theorem between the fundamental group of a stack over the complex numbers and that of the associated analytic orbifold, show that this notion coincides with that defined with simplicial schemes by Oda and finally prove some short exact sequences involving these groups.

研究の動機と目的

• 代数的スタックに対して、古典的な位相的基本群を一般化する意味での基本群の概念を定義すること。
• 複素数体上のスタックの基本群とその関連する解析的オルビフォールドの基本群との間の同型写像を確立すること。
• 本定義が [10] に見られる単体的スキームに基づく基本群の定義と一致することを示すこと。
• スタックの基本群とその底空間の基本群を含む短完全系列を証明すること。
• プロ群コホモロジーとトポス論的手法を用いて、代数的スタックにおけるホモトピー論の基礎を築くこと。

提案手法

• スタック上の層のトポスを用いて、プロ群コホモロジーの分類トポスを用いてスタックの基本群を定義する。
• トポスにおける「点なし」の基本群コホモロジー理論を適用し、複数の対象を持つ圏への基本群の概念の一般化を図る。
• エタール被覆に関連する群コホモロジーの逆極限をモデル化するため、プロ群コホモロジー構造を用いる。
• GAGA型定理を用いて代数的トポスと解析的トポスの間の比較を適用し、代数的スタックとその解析的同型物との関係を確立する。
• スタックの基本群がプロ群コホモロジーによって表現され、かつこのプロ群コホモロジーが解析的オルビフォールドに付随するものと同型であることを証明する。
• 降下理論とガロア理論を用いて、基本群が底体の有限ガロア拡大上に定義されることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにすれば、古典的な位相的基本群を一般化する形で代数的スタックの基本群を定義できるか？
• RQ2 複素数体上の代数的スタックの基本群は、その関連する解析的オルビフォールドの基本群と同型であるか？
• RQ3 プロ群コホモロジーに基づく基本群の定義は、[10] に見られる単体的スキームに基づく定義と一致するか？
• RQ4 スタックとその底空間の基本群を含むどのような短完全系列を構成できるか？
• RQ5 基本群はガロア的降下理論と底体の有限拡大を用いて記述可能か？

主な発見

• 複素数体上の代数的スタックの基本群は、その関連する解析的オルビフォールドの基本群と同型であり、代数的幾何と解析的幾何との強い結びつきを確立する。
• プロ群コホモロジーに基づくスタックの基本群の定義は、単体的スキームに基づく定義と一致し、先行研究との整合性を確認する。
• スタックの基本群はプロ群コホモロジーによって表現され、かつこれはエタール被覆に関連する群コホモロジーの逆極限として生じる。
• この構成は基底変換と降下と両方で整合性を示し、基本群は底体の有限ガロア拡大上に定義される。
• スタックとその底空間の基本群を含む短完全系列が構成され、代数的トポスにおける古典的完全系列を一般化する。
• スタックの基本群が自明であることは、すべてのエタール被覆が自明であることと同値であり、スタックが単連結であることを反映している。