[論文レビュー] Topological and Smooth Stacks

David S. Metzler|ArXiv.org|Jun 10, 2003

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用数 74

ひとこと要約

この論文は、トポロジカルおよびスムーズなスタックに関する包括的な導入を提供し、スタックの上でのスタックや、小スタック（代数的対象）と大スタック（一般化された空間）の区別といった基礎的概念を明確にしている。大スタックが空間 X 上の小スタックから生じるための条件は4つであることが示され、それらは局所的代表性、離散的安定化子、F のヒルベルト・クォータントの代表性、およびエタール写像 EG(F) → X であり、小ゲルベの場合には追加の同型条件が課される。

ABSTRACT

We review the basic definition of a stack and apply it to the topological and smooth settings. We then address two subtleties of the theory: the correct definition of a ``stack over a stack'' and the distinction between small stacks (which are algebraic objects) and large stacks (which are generalized spaces).

研究の動機と目的

• トポロジカルおよびスムーズなカテゴリにおけるスタックの基礎的定義を明確にし、標準的な代数的幾何学の概念を拡張する。
• スタック理論における微妙な点、特に「スタックの上でのスタック」という概念および小スタックと大スタックの区別の解消。
• 空間 X 上の大スタックがどのように小スタックの延長として生じるかを特徴づけ、厳密な圏論的基準を提示する。
• 小ゲルベ、完全に非効果的エタール群コホーズ、および離散的安定化子をもつ局所的に代表可能な大ゲルベの間の同値性を確立する。
• 反例を通じて特定の条件の必要性を示し、非離散的群ゲルベや非エタール的層の例を提示する。

提案手法

• 空間を多様体または位相空間から集合への関手として表現する、グロテンディークのポイント関手の哲学を用いる。
• ヤヌカの補題およびその系を用いて、表現関手の準同型と自然変換の間の自然な全単射を確立する。
• サイト上のグロテンディーク位相を用いてスタックを定義し、シーブと被覆公理（安定性、推移性、最大性）を用いる。
• 特にゲルベの文脈において、基底空間上のエタール空間における群コホーズを導入し、小スタックをモデル化する。
• 大スタック F に対してヒルベルト・クォータント EG(F) を構成し、その代表性とエタール性を分析する。
• 連続写像 f: Y → X 沿いの小スタックの引き戻しを用いて大スタックを構成し、エタール空間の構成と同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 空間 X 上の大スタック F が小スタックの延長として生じるためには、どのような条件を満たす必要があるか？
• RQ2 空間 X 上の小ゲルベは、完全に非効果的エタール位相群コホーズおよび離散的安定化子をもつ局所的に代表可能な大ゲルベとどのように関係するか？
• RQ3 ヒルベルト・クォータント EG(F) 及びその X への写像が、小スタックから生じるスタックを特徴づけるためになぜ不可欠なのか？
• RQ4 エタール写像と局所的切断が、スタックがゲルベであるか、あるいは小スタックから生じるかを決定する際に果たす役割は何か？
• RQ5 大スタックが小スタックから生じない場合の例は何か？また、反例は条件の必要性をどのように明らかにするか？

主な発見

• 空間 X 上の大スタック F が小スタックの延長として生じるための必要十分条件は、4つの条件を満たすことである：局所的代表性、離散的安定化子、ヒルベルト・クォータント EG(F) の代表性、および誘導写像 EG(F) → X がエタールであること。
• 空間 X 上の小ゲルベの圏は、X の位相的商が同型である完全に非効果的エタール位相群コホーズの圏と同値である。
• 大スタック F が小ゲルベに対応するための必要十分条件は、自然写像 EG(F) → F が同型であることである。
• 非離散的位相群 K の絶対的ゲルベ BK の反例は、このようなゲルベが点上の小スタックから生じえないことを示している。
• 非エタール写像 f: Z → Y が代表するシーブは、小シーブから生じえないことを示しており、EG(F) → X におけるエタール条件の必要性を裏付けている。
• 連続写像 f: Y → X 沿いの引き戻しによる大スタックの構成は、エタール空間の構成と同値な関手を定めるため、異なる構成法の整合性が確認される。