[論文レビュー] Higher and derived stacks: a global overview

Bertrand Toën|ArXiv.org|Apr 24, 2006

Advanced Topics in Algebra参考文献 30被引用数 76

ひとこと要約

本稿は、高次および導来スタックの包括的概説を提供し、その基礎理論、モジュライ問題からの動機づけ、代数幾何および数理物理学への応用を扱う。導来スタックと高次スタックが幾何的およびホモトピー的構造を統一することを確立し、特に導来スタック上の両立層の導来圏が、幾何学的ラングランズ対応やカテゴライズド量子コホノロジーに類する深い不変量を符号化することを示す。

ABSTRACT

These are expended notes of my talk at the summer institute in algebraic geometry (Seattle, July-August 2005), whose main purpose is to present a global overview on the theory of higher and derived stacks. This text is far from being exhaustive but is intended to cover a rather large part of the subject, starting from the motivations and the foundational material, passing through some examples and basic notions, and ending with some more recent developments and open questions.

研究の動機と目的

• 代数幾何および関連分野の研究者を対象に、高次および導来スタックの包括的でアクセス可能な概説を提供すること。
• 同型より弱い同値関係で分類される対象を扱うモジュライ問題を通じて、高次および導来スタックの必要性を動機づけること。
• セガール圏とモデル圏を用いて高次スタックの基礎枠組みを確立し、アーティンスタックの導来強化を用いること。
• 幾何学的およびカテゴリカルな応用、特に幾何学的ラングランズ対応とカテゴライズド量子コホノロジーを示すこと。
• 特に $\mathcal{D}$-加群と特徴的サイクルとの関係において、導来代数幾何における未解決問題と新たな展開を強調すること。

提案手法

• 高次カテゴリのモデルとしてセガール圏を用い、高次スタックの理論を形式化し、モデル圏理論と接続する。
• アーティンスタックにおける導来強化の概念を適用し、特に導来接空間および余接複体を用いる。
• 安定写像の導来スタック $\mathbb{R}\overline{\mathcal{M}}_{g,n+1}(X,\beta)$ を用いて、両立層の導来圏への関手的作用を定義する。
• 導来圏における引き戻しと押し出しを用い、セガール圏を通じてカテゴライズド量子コホノロジー作用を構成する。
• 導来代数幾何における基底変換定理を用いて、提案された作用の結合性を保証する。
• 導来全余接スタック $\mathbb{RV}(\mathbb{T}_F)$ を用いて、導来アーティンスタック上の $\mathcal{D}$-加群の特徴的サイクルを分析する。

実験結果

リサーチクエスチョン

• RQ1 高次および導来スタックは、非自明な自己同型を持つ対象や、同型より弱い同値関係で分類されるモジュライ問題において、代表可能性の問題をどのように解決するか？
• RQ2 導来強化は、特に余接複体と特徴的サイクルと関係して、アーティンスタックの幾何学において果たす役割は何か？
• RQ3 幾何学的ラングランズ対応は、導来スタックおよびその導来圏を用いて自然にどのように定式化できるか？
• RQ4 安定写像の導来スタックは、量子コホノロジーのカテゴライズド版をどのように生じさせるか？
• RQ5 導来代数幾何において、スタック的（高次群体）方向と導来的（コホモロジー的）方向の間に存在する双対性は、どのように理解できるか？

主な発見

• 曲線 $C$ 上の平坦接続の導来スタック $\mathbb{R}\mathbf{Loc}_1^{DR}(C)$ は、$\operatorname{Pic}^0(C)^\dagger \times K(\mathbb{G}_m,1) \times \mathbb{R}Spec\,\mathbb{C}[\mathbb{C}[1]]$ に分解され、スタック的成分と導来成分の間の双対性を示す。
• $K(\mathbb{G}_m,1)$-不変複体の導来圏は、$\mathbb{C}[\mathbb{C}[1]]$-dg加群の導来圏と同値であることが示され、スタック的構造の導来強化が確認された。
• 幾何学的ラングランズ対応は、古典的スタックではなく、導来スタック $\mathbb{R}\mathbf{Loc}_n^{DR}(C)$ の導来圏を用いて自然に定式化できる。
• 高次アーティンスタック上の $\mathcal{D}$-加群の特徴的サイクルは、導来全余接スタック $\mathbb{RV}(\mathbb{T}_F)$ 上に存在し、接空間複体に負のコホモロジーが存在する場合には非自明である。
• $\{L_{qcoh}(\overline{\mathcal{M}}_{g,n})\}_{n,g}$ の系が、引き戻しと押し出しを介して $L_{qcoh}(X)$ に作用させることで、$X$ が特異的であってもカテゴライズド量子コホノロジーを定義する。
• この作用は導来圏構造を保つが、有界両立複体を保つとは限らず、幾何的枠組みにおける根本的な転換を示唆する。