$\mathrm{D}-\mathrm{mod}(\mathrm{Bun}_G^\mathrm{I})$ is Compactly Generated

技術的要約：$D\text{-mod}(\text{Bun}^I_G)$ はコンパクト生成的である

問題提起
本論文は、D-加群のDGカテゴリ（$D\text{-mod}(\text{Bun}^I_G)$ と表記）がコンパクト生成的であるかという問いに取り組んでいる。ここで $\text{Bun}^I_G$ は、滑らかな射影曲線 $X$ 上の主 $G$-束に対し、固定された点 $x \in X$ におけるイワホリ・レベル構造を備えた主 $G$-束の代数スタックである。

この問題は、非分岐（unramified）幾何学的ラングランズ・プログラムの自然な一般化として生じている。非分岐の場合、Drinfeld と Gaitsgory は [DG15] において $D\text{-mod}(\text{Bun}_G)$ がコンパクト生成的であることを証明した。この性質は、幾何学的ラングランツ予想（$D\text{-mod}(\text{Bun}_G)$ と局所系のスタック上のind-coherent sheaf の間の同値性を提唱するもの）にとって必要条件である。非分岐の場合については解決済みであったが、分岐（具体的には、緩やかな分岐を表すイワホリ・レベル構造を持つ場合）については、コンパクト生成性に関する問題が未解決のままであった。

手法
本論文は、非準コンパクトなスタック上のD-加群のコンパクト生成性を証明するために、Drinfeld と Gaitsgory が確立した枠組みを採用している。核心となる戦略は、スタック $\text{Bun}^I_G$ が**截断可能（truncatable）であることを示すことである。スタックが截断可能であるとは、それが共截断的（co-truncative）**な準コンパクトな開部分スタックの共包含的な系によって被覆されることを指す。

手法は以下のステップで進行する：

1. 共截断性への還元： $\text{Bun}^I_G$ は局所的にQCA（準コンパクトであり、自己同型群がアフィンである）であるが、準コンパクトではないため、著者はこれを準コンパクトな開部分スタック $\text{Bun}^I_{G, (\leq \theta)}$ の和集合として表現することを目指す。目標は、十分に大きな $\theta$ に対して、これらの部分スタックの補集合が**截断的（truncative）**であることを示すことである。
2. 層化（Stratification）： 著者は、非分岐の場合に用いられたハーディ・ノーマン・ハッセラーン（Harder-Narasimhan）層化に類似した $\text{Bun}^I_G$ の層化を構成する。これには以下が含まれる：
   • 基礎となる主 $G$-束のハーディ・ノーマン・ハッセラーン・タイプ $\lambda$ による層化。
   • イワホリ・レベル構造（$B$-簡約）と、各層に関連する放物型簡約（$P$-簡約）との間の相対的位置 $w$ によるさらなる層化。
3. 収縮判定基準（Contractiveness Criterion）： 開部分スタックの補集合が共截断的であることを証明するために、著者は「収縮的部分スタック」の判定基準を利用する。ある部分スタックが収縮的であるとは、その部分スタックをある切断へと収縮させる $\mathbb{A}^1$-作用を持ち、かつ特定の幾何学的条件（滑らかさ、全射性、および特定の図式における開埋め込み）を満たすことを指す。
4. 大域的生成の評価： 特定のベクトル束が全域的に生成されることを証明することが、極めて重要な技術的要素である。具体的には、リー環 $M$ および放物型部分群 $P$ に対し、著者らは、束の次数の特定の数値的境界の下で、$\mathfrak{n}(P)F_M$（$P$ の冪零根に関連するもの）が全域的に生成されることを示す。これは、ねじれた束の $H^1$ に関する消滅定理に基づいている。

主な貢献と結果

• 主要定理： 本論文は、$D\text{-mod}(\text{Bun}^I_G)$ がコンパクト生成的であることを証明している（定理 0.2.3）。
• 一般化： この結果は、有限個の点 $x_1, \dots, x_k \in X$ におけるイワホリ・レベル構造のケースへと拡張され、$D\text{-mod}(\text{Bun}^{(I; x_1, \dots, x_k)}_G)$ もまたコンパクト生成的であることが示されている（定理 0.2.5）。
• 境界の精緻化： 層化が共截断的であるために必要な数値的境界の調整は、重要な技術的貢献である。
  • 非分岐の場合 [DG15] では、ペアリング $\langle \theta, \check{\alpha}_i \rangle$ の境界は $2g - 2$ であった。
  • 単一点のイワホリの場合、著者はこの境界を $2g - 1$ に引き上げる必要があることを証明している。
  • $k$ 点の場合、境界は $2g - 2 + k$ となることが示されている。
    このシフトは、層化の補集合の収縮性を保証するために、関連するベクトル束の $k$-全域的生成が必要とされることに起因する。
• トイ・モデル： 第2節では、$G = SL_2$ のケースにおける詳細かつ自己完結的な証明を提供しており、完全な組合せ論的複雑さを伴わずに、概念的なメカニズム（ファイバー平方、写像の全射性、および収縮作用）を例証している。

意義

本論文は、$\text{Bun}^I_G$ の $D\text{-mod}$ のコンパクト生成性を確立することが、イワホリ分岐幾何学的ラングランズ予想の定式化および証明に向けた不可欠なステップであると主張している。

その意義は二重である：

1. 同値性の前提条件： 導入部で述べられているように、提案されているラングランズ同値性の右辺（局所系のスタック上のind-coherent sheaf）は、先験的にコンパクト生成的である。したがって、左辺（$D\text{-mod}(\text{Bun}^I_G)$）のコンパクト生成性は、そのような同値性が存在するための必要条件である。
2. 手法の拡張： 本研究は、Drinfeld と Gaitsgory が非分岐の場合に開発した組合せ論的および幾何学的な手法が、分岐の設定においても成功裏に適応できることを示している。著者は、Gaitsgory と Arkhipov [AG09] による未発表のスケッチが存在していたものの、そこには [DG15] で非分岐の場合に修正された組合せ論的な不備が含まれていたと指摘しており、本論文はイワホリ分岐の場合の議論を修正するために必要な変更を提供している。

本論文は、分岐の場合の完全なラングランズ同値性を証明すると主張しているのではなく、むしろそのようなプログラムを進めるために必要な基礎的な有限性の性質を確立するものである。