[論文レビュー] Notes on Grothendieck topologies, fibered categories and descent theory

Angelo Vistoli|ArXiv.org|Dec 28, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 71

ひとこと要約

この論文は、ファイバードカテゴリおよびスタックを用いて、グローテンディークの降下理論に対する厳密な圏論的基礎を提供する。同型と整合性条件の正確な取り扱いに重点を置き、スキームや準正則層の降下データが fpqc または fppf 位相において有効でないことがあることを示し、その結果、代数的空間がスキームの代わりに現れる。また、代数的空間が fppf 位相においてスタックをなすことを確立し、降下理論の適用範囲をスキームを超えて拡張する。

ABSTRACT

This is an introduction to Grothendieck's descent theory, with some stress on the general machinery of fibered categories and stacks.

研究の動機と目的

• SGA1 や SGA4 といった初期の資料が残した空白を埋めるために、グローテンディーク位相、ファイバードカテゴリ、降下理論の包括的かつ厳密な解説を提供すること。
• 特に準正則層やスキームの準同型の文脈において、ファイバードカテゴリおよびスタックにおける降下を形式化すること。
• 降下における同型と整合性条件の明確な役割を明らかにし、同型対象を同一視するという一般的な乱用を避けること。
• fpqc または fppf 位相において降下データが有効でないことがあり、その結果スキームではなく代数的空間が現れることを示すこと。
• スキーム S 上の代数的空間の圏が fppf 位相においてスタックであることを確立し、降下理論をより広い幾何的文脈へと拡張できること。

提案手法

• スケールのない開集合ではなく、被覆族によって定義されるグローテンディーク位相（特に fpqc および fppf 位相）を用いることで、ザリスキ位相よりも一般性の高い被覆を許容する。
• ヤヌカの補題および 2-ヤヌカの補題を用いて関手およびファイバードカテゴリを表現し、完全な 2-圏的厳密性を保証する。
• ファイバードカテゴリを擬関手として定義し、擬関手から関連するファイバードカテゴリを構成することで、降下形式主義を可能にする。
• 対象および射の有効降下を満たすファイバードカテゴリとしてスタックを定義し、降下データおよび整合性条件を用いる。
• 関手の層化およびシーブ理論的条件を用いて、グローテンディーク位相における層の性質を形式化する。
• トロスおよび非射影的3次元多様体を用いた反例を構成し、降下データがスキームを導かないことを示す。

実験結果

リサーチクエスチョン

• RQ1 ファイバードカテゴリがその対象および射について有効降下を許容する条件は何か？
• RQ2 なぜ fpqc または fppf 位相において特定のスキームでは降下が失敗するのか？その結果得られる対象は何か？
• RQ3 例えば (gf)*F と f*g*F のような引き戻しの同型を、それらを同一視することなく厳密に取り扱うにはどうすればよいか？
• RQ4 スキームが有効降下でない場合、代数的空間は降下理論において果たす役割は何か？
• RQ5 スキーム S 上の代数的空間の圏は fppf 位相においてスタックであるか？そして、これは降下理論をより広い幾何的文脈へと拡張するのか？

主な発見

• 非射影的3次元多様体および C2-トロスを用いた明示的反例により、スキームや準正則層の降下データが fpqc または fppf 位相において有効でないことがあることが示された。
• スキーム S 上の代数的空間の圏は fppf 位相においてスタックである。これは、代数的空間についても降下が成立することを意味する。
• スキームにおける有効降下の失敗は、降下データが有効でない場合に代数的空間が自然な幾何的対象として現れることを示している。
• 2つの有理曲線 L1 および L2 を持つ3次元多様体 M における C2-作用の反例は、あらゆるアフィン開集合が両方の曲線と交わることはないことを示し、トロスからの降下データが有効でないことを証明する。
• 引き戻しにおける同型の取り扱いを完全に明示的かつ整合的に行い、一般的な同一視の乱用を避けることで、明確さが得られるが、技術的複雑性が増加する。
• スタックの理論は降下が成立する一般枠組みを提供し、モジュライ理論を超えて、準正則層やスキームの準同型に対しても適用可能である。