Semiorthogonal decompositions for stacks

技術的概要：スタックに対する半直交分解

問題提起
本論文は、$\mathbb{C}$ 上の準滑らかな導来代数スタック $X$ における、コヒーレント層の導来圏 $\text{Coh}(X)$ に対する体系的な半直交分解（SOD）の構成を取り扱います。線形商スタックや特定のモジュライ空間（例えば、クイバー表現や曲線上のベクトル束に対するもの）に対する SOD は、Ballard–Favero–Katzarkov、Halpern-Leistner、Špenko–Van den Bergh、および Pădurariu–Toda による先行研究で確立されていますが、これらの構成はしばしば特定の線形構造に依存するか、制限的な安定性条件を必要としていました。課題は、これらの分解を、$G$-束、ヒッグス束、接続、および一般の簡約群 $G$（タイプ $A$ に限定されない）に対する局所系などの、内在的ドナルドソン＝トーマス（DT）理論に現れる広範な非線形・準滑らかなスタックのクラスへ一般化することにあります。

手法
著者らは、内在的ドナルドソン＝トーマス理論（[17–19] で開発されたもの）の枠組みを用いて、成分格子（component lattice）と呼ばれる組合せ論的構造 $\text{CL}_\mathbb{Q}(X)$ を定義します。この格子は、$X$ 内の点の自己同型群のコ指標とウェイル群を符号化します。

手法は以下の手順で進められます：

1. 成分格子と階付き点：分解は、有理化された成分格子 $|\text{CL}_\mathbb{Q}(X)| = \pi_0 \text{Map}(\ast/\mathbb{G}_m, X)$ によって索引付けられます。各要素 $\lambda$ は、階付き点のスタック $X_\lambda$ と濾過点のスタック $X^+_\lambda$ に対応します。
2. ホール誘導：著者らは、対応 $X_\lambda \xleftarrow{\text{gr}_\lambda} X^+_\lambda \xrightarrow{\text{ev}_\lambda} X$ を通じて定義されるホール誘導関手 $\star_\lambda: \text{Coh}(X_\lambda) \to \text{Coh}(X)$ を利用します。この関手は、放物誘導関手を一般化したものです。
3. ウィンドウ部分圏：各 $\lambda$ に対して、「ウィンドウ部分圏」$W_{X_\lambda}(\delta_\lambda) \subset \text{Coh}(X_\lambda)$ が定義されます。これらは、$X_\lambda$ 上の $\mathbb{G}_m$-作用に対する重み条件によって決定される完全部分圏であり、格子上の線形関数 $\delta: \text{CL}_\mathbb{Q}(X) \to \mathbb{Q}$ と二次ノルム $q$ によって中心が定められます。
4. 局所から大域への議論：
   • 線形の場合：分解は、まず $V$ が準対称表現である線形商スタック $V/G$ に対して確立されます（定理 2.1.6）。
   • 滑らかな場合：良いモジュライ空間を持つ滑らかなスタックが、局所的に線形商によってモデル化されるという事実に基づき、結果は降下論によって大域的に拡張されます（定理 3.2.3）。
   • 準滑らかな場合：準滑らかなスタック（$(-1)$-シフトされたシンプレクティックスタックの局所モデル）に対して、著者らはコシュール双対性を利用して、$\text{Coh}(X)$ を滑らかなスタック上の行列因子の圏 $\text{MF}(Y, f)$ と関連付けます。行列因子に対する分解（定理 3.5.4）は、その後、準滑らかな設定へ転送されます（定理 4.1.3）。
5. 特異支持：この構成は、飽和された閉集合 $Z \subset |T^*[-1]X|$ に含まれる特異支持を持つ対象の部分圏を含むように洗練されます（定理 4.3.3）。

主要な貢献と結果
本論文は、広範なモジュライスタックに対する SOD の統一的な構成を提供します。主要な結果は以下の通りです：

• 一般的な分解（定理 4.1.3）：良いモジュライ空間を持つ準対称・準滑らかな qca 導来スタック $X$ に対して、SOD が存在します：
  $$\text{Coh}(X) = \left\langle \star_\lambda W_{X_\lambda}(\delta_\lambda) \mid \lambda \in |\text{CL}_\mathbb{Q}(X)| \right\rangle$$
  加項は成分格子によって索引付けられ、$\lambda$ の $q$-ノルムによって順序付けられます。関手 $\star_\lambda$ は完全忠実であり、その像は許容的かつ $\text{Perf}(X)$-線形です。

• 特異支持による分解（定理 4.3.3）：飽和部分集合 $Z$ における特異支持を持つコヒーレント層の部分圏 $\text{Coh}_Z(X)$ に対しても、並行した分解が存在します。これは特に冪零錐に関連しています。

• 行列因子（定理 3.5.4）：DT 理論における臨界圏の局所モデルである滑らかなスタック上の行列因子の圏 $\text{MF}(X, f)$ に対して、SOD が構成されます。

• 具体的な応用：この理論は、以下のものに対する明示的な SOD を得るために適用されます：

  • 曲線上の半安定 $G$-束（$\text{Bun}^{ss}_G$）、$G$-ヒッグス束（$\text{Higgs}^{ss}_G$）、および $G$-接続（$\text{Conn}_G$）のモジュライスタック。
  • 2 次元多様体上の $G$-局所系（$\text{Loc}_G$）のモジュライスタック。
  • クイバーおよび予射影代数の半安定表現のモジュライスタック。
  • 曲面上の半安定コヒーレント層のモジュライスタック。

これらの例において、加項はレヴィ部分群 $L \subset G$ と特定の重みパラメータによって索引付けられ、しばしば $GL(n)$ に制限されていたか、複雑な順序条件を必要としていた先行結果を一般化しています。

意義と主張
本論文は、簡約群のタイプ（タイプ $A$ 以外の群を許容）およびスタックの性質（線形圏から内在的 DT スタックへ）に関する以前の制限を取り除く、体系的かつ一般的な構成を提供すると主張しています。

• 順序付けの単純化：著者らは、このアプローチが先行研究（例えば [64; 68; 71]）と比較して、加項の順序付けの記述を大幅に単純化することを指摘しています。順序は格子要素の $q$-ノルムによって決定されますが、以前の手法では複雑な安定性の洗練や複雑な不等式を必要とすることが多かったです。
• 圏論的 DT 理論：これらの分解は、コホモロジー的整数性の圏論的 analogue として提示されます。加項は準 BPS 圏と呼ばれ、BPS 不変量を圏化することを意図しています。論文は、加法的不変量（周期的巡回ホモロジーなど）が直接コホモロジー的整数性の分解を回復するわけではないものの、これらの圏の構造は、圏論的 DT 理論と BPS 構造を理解する上で基本的であることが期待されると述べています。
• 幾何的ラングランズ：$\text{Conn}_G$ や $\text{Loc}_G$ などのスタックに対する分解は、幾何的ラングランズプログラムと関連しています。著者らは、ドルボー幾何的ラングランズ予想の洗練された版と、ド・ラーム設定に対する同様の予想（予想 4.4.9）を定式化しており、ウィンドウ部分圏がラングランズ同値の下で D-加群の特定の局所微分圏に対応することを示唆しています。
• 限界：著者らは謙虚に、これらの圏論的分解と加法的不変量を通じた BPS コホモロジー分解の同値性を証明したわけではなく、また準 BPS 圏の構造（例えば、それらが非可換解消であるかどうか）を完全に特徴づけたわけでもないと述べています。これらは将来の課題として特定されています。

要約すると、本論文は、準滑らかなスタック上のコヒーレント層の導来圏を分解するための堅牢な組合せ論的枠組みを確立し、既知の様々な結果を統合して、現代の数え上げ幾何学と表現論の中核をなすより広範な幾何学的文脈へと拡張しています。