Tensor triangular geometry -- Notes for an Oberwolfach Seminar

技術的サマリー：オーバーヴォルファハセミナーのためのテンソル三角幾何ノート

問題と範囲
本論文は、特に有限群に関連するモジュラー表現論に現れる三角圏における厚いテンソルイデアルと局所化テンソルイデアルの分類を取り扱っている。中心的な問題は、適切な位相空間を介してこれらの圏を「層化（stratification）」することにより、部分圏の全球的な分類を局所的な問題に帰着させることである。著者であるヘニング・クラウゼは、モノイダル（テンソル）構造を備えた三角圏と、次数付き可換環による作用を許容する三角圏の 2 つの主要な設定に適用される、支持理論の統合された枠組みを構築する。究極的な目的は、特に有限群のモジュラー表現の導来圏に焦点を当てて、その支持を計算することによりこれらの部分圏を分類することである。

方法論
方法論は、束論、局所コホモロジー、および素イデアルスペクトルの幾何学との相互作用に依存している。アプローチは以下のように構成されている：

1. 厚い部分圏の束：著者はまず、厚い部分圏の束構造を確立する。ここで導入される重要な概念は、射の分解または局所化関数の同型（$\Gamma_U \Gamma_V \cong \Gamma_{U \cap V}$）を通じて定義される、厚い部分圏の対間の「可換性」である。すべての他の部分圏と可換である中心的部分圏が分配部分束を形成し、特定の条件下ではフレームを形成することが示される。
2. 中心的作用による支持：本論文は、次数付き可換環 $R$ によって作用を受ける三角圏 $\mathcal{T}$ の対象に対するコホモロジー的支持を導入する。支持は、局所化 $x_{\mathfrak{p}}$ が非零となる素イデアル $\mathfrak{p} \in \text{Spec } R$ の集合として定義される。著者は、コズル対象（$x//r$）を用いて、イデアル $\mathfrak{a} \subseteq R$ に関連する中心の厚い部分圏 $T_{V(\mathfrak{a})}$ を構成する。
3. 局所コホモロジーとファイバー圏：コンパクト生成三角圏において、理論は空間 $X$ の局所閉部分集合 $Y$ に支えられた局所コホモロジー関手 $\Gamma_Y$ を用いて拡張される。空間 $X$ の開集合からコンパクト対象の厚い部分圏への束準同型が存在する場合、その圏は $X$ 上で「ファイバー化されている」と言われる。これにより、局所コホモロジー関手 $\Gamma_{\mathfrak{p}}(x)$ の非零性を通じて、任意の対象に対する支持が定義される。
4. 層化：局所 - 全球原理（すべての局所化部分圏はその局所成分の結合である）および最小性条件（局所成分に非零かつ真の局所化部分圏が存在しない）を満たす場合、その圏は「層化されている」と定義される。層化の下では、局所化部分圏からスペクトルの部分集合への写像は束同型となる。
5. 支持の比較：本論文は、環作用によるコホモロジー的支持と、バルマー・スペクトルによるテンソル三角的支持を比較する。比較写像 $\rho_T: \text{Spc } \mathcal{T}^c \to \text{Spec } R$ が構成され、この写像が同相写像となる条件が確立され、2 つの支持理論が結びつけられる。

主要な貢献と結果

• 一般的な層化理論：本論文は、剛性かつコンパクト生成テンソル三角圏が層化されるための一般的な基準（命題 4.15、4.18）を提供する。層化は、支持写像が局所化テンソルイデアルとスペクトルの部分集合との間に束同型を誘導することと同値であることを証明する。
• 微分付き次数付き（DG）代数：理論は DG 代数に適用される。定理 5.1 は、$A$ がノエタールなコホモロジー $H^*(A)$ を持つ形式的 DG 代数であるならば、$D(A)$ は標準的な $H^*(A)$ 作用を介して層化されることを示す。
• 初等アーベル $p$-群：バーンシュタイン - ゲルファント - ゲルファント（BGG）対応の DG 版を用いて、本論文は初等アーベル $p$-群の群環に対する厚いテンソルイデアルを分類する。コホモロジー的支持が、コホモロジー環スペクトルのトマソン部分集合と厚いテンソルイデアルとの間に束同型を誘導することを示す（定理 5.9）。
• 有限群（厚いイデアル）：クイレンによる群コホモロジーの層化を通じて問題を初等アーベル部分群に還元することにより、本論文は任意の有限群 $G$ に対する有限生成加群の有界導来圏における厚いテンソルイデアルを分類する（定理 5.14）。この分類は、$H^*(G, k)$ 上のコホモロジー的支持によって与えられる。
• 有限群（局所化イデアル）：結果は、コンパクト生成圏 $K(\text{Inj } kG)$（入射加群の複体のホモトピー圏）に拡張される。定理 6.17 は、$K(\text{Inj } kG)$ が $H^*(G, k)$ の作用を介して層化されることを確立し、$\text{Spec } H^*(G, k)$ の部分集合による局所化テンソルイデアルの完全な分類をもたらす。
• 安定加群圏：その結果として、安定加群圏 $\text{StMod } kG$ が射影スペクトル $\text{Proj } H^*(G, k)$ を介して層化されることが示される（注記 6.18）。

意義と主張
本論文は、モジュラー表現論における三角圏の構造を理解するための包括的な枠組みを提供すると主張している。その主な意義は、群コホモロジーのクイレンによる層化の「圏化」にある。モジュラー表現の導来圏が層化されていることを確立することにより、本論文は、厚いおよび局所化テンソルイデアルの分類が完全に群のコホモロジー環によって決定されることを実証している。

著者は、これらのノートは網羅的ではないが、モジュラー表現論への応用を促進するために必要な概念（厚い部分圏の束、中心的作用、局所コホモロジーなど）を具体的に開発し、自己完結型になるように設計されていると指摘している。この研究は、クイレン、ベンソン、カールソン、リック、ニーマン、バルマーによる基礎的な結果に基づき、それらを支持と層化の統一的な理論に統合している。結果は、有限群の場合、テンソル三角幾何を支配する「スペクトル」は、まさに群コホモロジー環のスペクトルであることを確認している。