[論文レビュー] The notion of category over an algebraic stack

Dennis Gaitsgory|ArXiv.org|Jul 9, 2005

Algebraic structures and combinatorial models参考文献 1被引用数 30

ひとこと要約

この論文は、可換代数上の加群圏をスタック上の層の加群圏へ一般化することで、代数的スタック上の加群圏の概念を形式化する。忠実平坦な基底変換を用いた下降理論を確立し、群作用（例：Rep(G)を介して）を持つ圏が非等配分化によって再構成可能であることを証明する。これにより、幾何学的および表現論的構成のカテゴリカルな枠組みが得られる。

ABSTRACT

The goal of this note is to spell out the (apparently well-known and intuitively clear) notion of abelian category over an algebraic stack. In the future we will discuss the (much less evident) notion, when instead of an abelian category one considers a triangulated one.

研究の動機と目的

• 代数的スタック上の加群圏の概念を定義・形式化し、可換代数上の加群圏を一般化すること。
• 忠実平坦な基底変換を用いた、スタック上の加群圏の下降理論を確立すること。
• 群作用（例：Rep(G)を介して）を持つ圏が、その非等配分化された対応物から再構成可能であることを示すこと。
• ヘッケ固有対象や等配分圏などの幾何学的および表現論的構成のカテゴリカルな枠組みを提供すること。

提案手法

• A-加群 M と C-加群 X に対して、M の表示と余核を用いて定義されるテンソル積 $ M \otimes_A X $ を導入する。
• アフィンスキームの準同型に対して、基底変換 $ f^* $ と引き戻し関手を定義し、$ \mathcal{C} \times_S S' $ を A-作用と整合性を持つ A'-加群の圏として構成する。
• スタックに対して下降理論を適用する際、対角がアフィンであることを要求し、スタック上のアフィンスキームへの整合性のある引き戻しを用いて圏の層を定義する。
• A が $ \mathcal{O}_\mathcal{Y} $ に対して忠実平坦であるとき、関手 $ \mathcal{A} \otimes X \to X $ の忠実性と完全性を用いて、下降同型を証明する。
• 非等配分化を、C における G-等配分対象の全部分圏として構成し、$ \mathcal{C}^G $ からの再構成により $ \mathcal{C} \simeq \mathcal{C}^G $ を示す。
• この枠組みを $ \operatorname{pt}/G $ および $ S/G $ に適用し、Rep(G) の作用と整合性のある A-作用が、商スタック上の圏をもたらすことを示す。

実験結果

リサーチクエスチョン

• RQ1 可換代数上の加群圏を一般化する形で、代数的スタック上の加群圏をどのように定義できるか？
• RQ2 スタック上の圏が忠実平坦な基底変換の下でいつ下降性を満たすか？
• RQ3 群作用を持つ圏は、下降を用いてその非等配分化された形から再構成可能か？
• RQ4 Rep(G)-作用を持つ圏におけるヘッケ固有対象のカテゴリカル構造は何か？
• RQ5 群の作用が圏に与える影響は、商スタック $ S/G $ 上の圏の層の構造とどのように関係するか？

主な発見

• テンソル積 $ M \otimes_A X $ は正しく定義されており、表示に依存せず、帰納的極限と可換し、M が平坦であれば完全である。
• A に対する忠実平坦代数 A' に対して、X ≠ 0 ならば $ A' \otimes_A X \neq 0 $ が成り立ち、基底変換の忠実性が保証される。
• スタック $ \mathcal{Y} $ 上の圏 $ \mathcal{C} $ に対して、下降が成り立つ：S' → S が忠実平坦であれば、$ \mathcal{C} $ は $ \mathcal{C} \times_S S' $ 上の下降データの圏と同値である。
• Rep(G)-作用を持つ圏 $ \mathcal{C} $ の非等配分化は、G-等配分対象の全部分圏であり、$ \mathcal{C} $ は G-不変部分圏として回復可能である。
• Y = pt/G の場合、Y 上の層の圏 $ \mathcal{C}^{sh} $ は G-作用を持つ $ \mathcal{C} $ に対応し、$ \mathcal{C}^G $ は下降を用いて $ \mathcal{C} $ を回復する。
• Y = S/G の場合、$ \mathcal{C} $ 上の圏は Rep(G)-作用と整合性のある A-作用で与えられ、忠実平坦性の下で下降が成り立つ。