Faithful perversities

以下は、Alessio Cipriani と Jon Woolf による論文『Faithful Perversities』の詳細な技術的要約である。

1. 問題提起と背景

本論文は、** perverse sheaves（歪み層）の圏の代数的構造と、その背後にある stratified spaces（層状空間）**の位相的性質との関係を調査する。

• 背景: Beilinson、Bernstein、Deligne（BBD）によって導入された perverse sheaves は、層状空間 $X$ の可構成導来圏 $D_c(X)$ 上の有界 $t$-構造の心（heart）である。これらは特異点位相、表現論、およびホッジ理論において決定的な役割を果たす。
• 核心的な問い: 歪み層の圏 $p\text{Perv}(X)$ が**忠実な心（faithful heart）**となるのは、どのような条件下か？
  • 心 $\mathcal{H} \subset \mathcal{D}$ が faithful であるとは、実現関手 $D^b(\mathcal{H}) \to \mathcal{D}$ が同値であるときにいう。
  • 意義: もし $p\text{Perv}(X)$ が忠実であれば、導来圏 $D_c(X)$ に含まれる位相的情報は、有限次元代数上の加群として、すなわちアーベル圏 $p\text{Perv}(X)$ の代数を通じて完全にアクセス可能となる。これにより、位相不変量を代数的に計算すること、およびその逆が可能になる。
• ギャップ: 忠実性は特定のケース（例えば、単体複体、アフィン層化を持つ滑らかな複素多様体）では知られているが、位相的に層化された空間に対する一般的な特徴付けや、大域次元およびコホモロジー計算の体系的な理解は欠けていた。

2. 手法

著者らは、圏論的代数と層状位相の合成を採用する。

1. 圏論的枠組み:

   • **最高重み圏（highest weight categories）と例外系列（exceptional collections）**の理論を利用する。
   • 各段階が忠実な心である許容厚い濾過（admissible thick filtration）を通じて定義される**逐次的に忠実な心（serially faithful hearts）**の概念を導入する。
   • 貼り合わせた心（glued hearts）（再集合）と例外系列の双対ペア（標準対象と余標準対象）の概念を活用する。
   • 心が忠実である場合、可構成導来圏と有限次元代数上の加群の導来圏との同値性に依存する。

2. 位相的ツール:

   • 有限個の層を持つ位相的に層化された空間（Goresky-MacPherson の意味における）を解析する。
   • 局所的な位相的障害を特徴付けるために、層間のペアワイズ・リンク（pairwise links）（$L_{S<T}$）を利用する。
   • 超コホモロジーの消滅定理と、層化の深さに関する帰納法を適用する。

3. 統合:

   • 著者らは、位相的条件（リンク上のコホモロジーの消滅）を圏論的条件（関手の完全性、例外系列）に変換し、忠実性を特徴付ける。
   • 定数層の射影分解を用いて超コホモロジーを計算し、代数的分解と位相的不変量の間のギャップを埋める。

3. 主要な貢献と結果

A. 忠実な最高重み心の特性化（定理 A）

論文は、代数的三角圏 $\mathcal{D}$ に対する基本的な同値性を確立する。心 $\mathcal{H} \subset \mathcal{D}$ について、以下は同値である：

1. $\mathcal{H}$ は忠実かつ最高重みである。
2. 標準対象の列 $(\Delta_0, \dots, \Delta_n)$ が完全な例外系列を形成し、余標準対象の列 $(\nabla_n, \dots, \nabla_0)$ がその左双対ペアである。
3. $\mathcal{H}$ は完全な例外系列の双対ペアを含む。
4. $\mathcal{H}$ は逐次的に忠実であり、例外系列に沿って貼り合わされている。

意義: これは、歪み層の文脈における忠実性に対する純粋に代数的な基準を提供し、それを特定の例外系列の存在と直接結びつける。

B. 忠実な歪み層の位相的特性化（定理 B）

有限個の可縮な層を持つ位相的に層化された空間 $X$ について、圏 $p\text{Perv}(X)$ が忠実な最高重み心となるのは、以下のときかつそのときに限る：

1. 関手 $i_{S*}$ および $i_{S!}$（層の包含）が$t$-完全である。
2. コホモロジー的消滅: 任意の異なる層のペア $S \subset T$ について、ペアワイズ・リンク $L_{S<T}$ は以下の条件を満たす：
   $$H^{>p(S)-p(T)}(L_{S<T}) = 0 \quad \text{and} \quad H^{<p(S)-p(T)-1}_c(L_{S<T}) = 0$$
   ここで $p$ は歪み関数である。

意義: これは忠実性に対する具体的な位相的テストを与える。これは、Polischuk や Beilinson-Ginzburg-Soergel による以前の結果を一般化し、忠実性が層間のリンクの特定のコホモロジー群の消滅に依存することを明確にする。

C. 大域次元の上限（定理 C）

著者らは、歪み層の圏の大域次元（$\text{gldim}$）に関する上限を証明する：

• 一般的な上限: 任意の $E, F \in p\text{Perv}(X)$ について、$k < 0$ または $k > \dim(X)$ ならば $\text{Ext}^k_{D_c(X)}(E, F) = 0$ である。
• 忠実な場合: $p\text{Perv}(X)$ が忠実であれば、$\text{gldim}(p\text{Perv}(X)) \leq \dim(X)$ である。
• 忠実かつ最高重みの場合: $p\text{Perv}(X)$ が忠実かつ最高重みであれば、$\text{gldim}(p\text{Perv}(X)) \leq 2 \cdot \text{depth}(X)$ である。

意義: これは、忠実な歪み圏における大域次元の有限性の問いを解決し、空間の幾何学に関連する明示的な上限を提供する。

D. 射影分解による超コホモロジーの計算（定理 D）

$p\text{Perv}(X)$ が忠実であり、かつ層が有限基本群を持つと仮定する：

1. 分解からの超コホモロジー: 歪み層 $E$ の超コホモロジーは、定数層 $k_X$ の射影分解 $P_\bullet$ に対する複体 $\text{Hom}(P_\bullet, E)$ のコホモロジーとして計算できる。
2. 重複度としての交差ベッチ数: （シフトされた）定数層が歪み層である場合、その最小射影分解における既約射影の重複度は、交差ベッチ数（交差コホモロジー群）に対応する。
3. 単体の場合: 単体複体 $X$ について、定数層は歪み次元でインデックス付けられた有限射影分解を許容する。これは Goresky による細胞的歪み層の理論を回復し、超コホモロジーを計算するための組合せ論的手法を提供する。

4. 意義と影響

1. 代数と位相の統合: 本論文は、歪み心が忠実である場合、層状空間の複雑な位相データが有限次元代数の表現論に完全に符号化されることを厳密に示す。
2. 計算能力: 結果は、超コホモロジーおよび交差コホモロジーを計算するための実用的なアルゴリズムを提供する。これは、代数的に扱いやすい射影分解を用いるものであり、位相的複体よりも頻繁に利用される。
3. 一般化: ペアワイズ・リンクのコホモロジーを通じた忠実性の特徴付けは、複素代数多様体などの特定の幾何学的設定からの既知の結果を、一般的な位相的に層化された空間へと拡張する。
4. 反例とニュアンス: 著者らは、すべての忠実な貼り合わせた心が最高重みであるわけではなく、すべての最高重み心が忠実であるわけではないことを示す例を提供し、これらの概念の正確な境界を明確にする。
5. 将来の研究の基盤: 忠実な歪み心を逐次的に忠実な貼り合わせた心として同定することは、層状空間上の歪み層の研究に対して、tilting 理論や silting 対象の手法（König-Yang 対応を介して）を適用する扉を開く。

要約すると、Cipriani と Woolf は、忠実な歪み層のための包括的な構造理論を提供し、その存在のための正確な位相的基準を確立し、そのホモロジー的複雑さに上限を設け、位相的不変量を計算するための新たな代数的手法を提供している。