Moduli Space of Sheaves and Categorified Commutator of Functors

技術要約：層のモジュライ空間と関手の圏論的分類（Categorified Commutator）

問題設定
本論文は、滑らかな射影代数曲面 $S$ 上の安定層のK理論に対する、量子トーリダル代数 $U_{q_1,q_2}(\ddot{\mathfrak{gl}}_1)$ の作用の弱圏論的分類（weak categorification）を構成するという問題に取り組んでいる。Negutは以前、Grothendieck群（K理論）におけるこの作用を構築し、正の部分（positive part）の代数の関係式を（$e_i$ 生成子の関係を導来圏へと持ち上げることで）弱圏論的に分類していたが、全代数、特に $e_i$ と $f_j$ 生成子の間の交換子関係（commutator relations）の圏論的分類は未解決の課題であった。中心的な課題は、これらの交換子関係を導来圏のレベルへと持ち上げることであり、これには、入れ子状になった層のモジュライ空間の相互作用に関する精密な幾何学的理解が必要となる。

手法
著者は、入れ子状、三重、および四重の層のモジュライ空間の幾何学を分析するために、導来代数幾何学および交差理論の手法を用いている。その手法は以下のステップで進行する：

1. 幾何学的セットアップ: 論文では、両幅的な線束 $H$ を持つ滑らかな射影曲面 $S$ を固定し、ランク $r$ および第1チェルン類 $c_1$ を固定し、第2チェルン類 $k$ のみを変化させたGieseker $H$-安定層のモジュライ空間 $M_k$ を考える。著者は、滑滑性と安定性の性質を保証するために、$\gcd(r, c_1 \cdot H) = 1$ および標準束 $q = K_S$ に関する特定の条件を仮定している。
2. 入れ子状モジュライ空間: 研究は、ペア $(F_{-1} \subset_x F_0)$（ここで $F_0 \in M_k$ かつ $F_0/F_{-1} \cong \mathbb{C}_x$）からなる入れ子状モジュライ空間 $Z_{k,k+1}$ に焦点を当てている。この空間は、普遍層複体の射影化として特定される。
3. 三重および四重空間: 著者は、三重モジュライ空間 $Z^\bullet_{k-1,k,k+1}$（共通の支持点を持つ層の組）および四重モジュライ空間 $Y$（二つの中間層 $F_0$ と $F'_0$ を含む四つ組）を導入している。
4. 内在的吹出し（Intrinsic Blow-ups）: 主要な技術的革新は、内在的吹出しによる四重モジュライ空間 $Y$ の記述である。著者は、$Y$ が、それぞれの対角成分に関する $Z_-$ および $Z_+$ の内在的吹出しと同型であることを証明している。この同型性は、接空間と正規束を分析することにより、それらの写像が閉点において全単射であり、かつ空間が滑らかであることを示すことで確立される。
5. 導来圏とフーリエ・ミュカイ変換: 論文では、積空間 $M_k \times S$ 上の核（kernel）を用いて、フーリエ・ミュカイ変換を利用する。関手 $e_i$ および $f_i$ は、入れ子状モジュライ空間上の線束を含む核として定義される。交換子 $e_i f_j$ および $f_j e_i$ は、上述の幾何学的ステップを通じて得られた幾何学的写像への核の押し出し（pushforward）を計算することによって分析される。
6. 複体の構成: 著者は、有界導来連接層の圏における具体的な複体 $C^{a,b}_{i,j}$ および $h^{a\pm}_i$ を構成する。これらの複体は、吹出しの例外因子に関連するコシェイ・複体（Koszul complexes）と切断（truncations）を用いて構築されている。

主要な貢献と結果

• 定理 3.1 (幾何学的同型): 本論文は、四重モジュライ空間 $Y$ が、対角部分スキームに関する $Z_-$ および $Z_+$ の内在的吹出しと同型であることを確立している。これは、$Y$ を計算するための新しい交差理論的な記述を提供し、導来押し出しを計算する上で極めて重要である。
• 定理 4.1 (圏論的分類された交換子): 主要な結果は、量子トーリダル代数全体のNegutの作用の弱圏論的分類の構成である。具体的には、本論文は、導来圏における関手の合成 $f_i e_j$ および $e_i f_j$ の明示的な分解を提供している。
  • $i+j \neq 0$ の場合、これらの合成は、普遍層 $U_k$ とその導来双対から構成される特定の対象 $C^{a,b}_{i,j}$ と同型であることが示される。
  • $i+j = 0$ の場合、論文は以下の分解を証明している：
    $$f_i e_i \cong R\iota_* e_i f_i \oplus \bigoplus_{a=-r+1}^{0} R\Delta_{S*}(q^{-a} \det(U_k)^{-1} \mathcal{O}_{M_k \times S})[1 - 2a - r]$$
    ここで $\iota$ は対合であり、$\Delta_S$ は対角埋め込みである。
  • $e_i f_j$ と $f_j e_i$ を関連付ける射の錐（cone）は、普遍層 $U_k$ とその導来双対の対称冪および交代冪の組み合わせによってフィルタリングされる。
• 明示的な公式: 論文は、完全三角形に現れる複体 $h^{a\pm}_i$ の明示的な公式を提供しており、それらは標準束およびその行列式とテンソルされた、普遍層の対称冪および交代冪を用いて表現される。

意義
本論文は、モジュライ空間のK理論に対する量子トーリダル代数の作用のNegutによる弱圏論的分類を完成させたと主張している。Negutは以前、量子トーリダル代数の正の部分の関係式を導来圏へと持ち上げていたが、本研究は、生成子 $e_i$ と $f_j$ の間の交換子関係を持ち上げることで、この結果を全代数へと拡張している。

その意義は以下の点にある：

1. 一般化: ハイゼンベルク代数の作用の圏論的分類（Nakajima, Grojnowski, および Baranovsky によってコホモロジーにおいて研究されたもの）を、K理論の設定における量子トーリダル代数へと一般化している。
2. 幾何学的洞察: 吹出しによる四重モジュライ空間の新しい交差理論的な記述は、ランク $r > 1$ であったり、モジュライ空間が等次元（equidimensional）でなかったり、コーエン・マコーレー（Cohen-Macaulay）でなかったりする場合においても、導来圏を扱うための強固な幾何学的枠組みを提供する。
3. 将来の研究への基礎: 著者は、交換子関係は今や圏論的に分類されたものの、量子トーリダル代数の他の関係式（特に、楕円ホール代数による提示から生じるもの）の圏論的分類は依然として残されていると述べている。本研究は、そのような将来の調査のための必要な幾何学的および圏論的な基礎を築くものである。

本論文は、楕円ホール代数の関係式や $A_{q,t}$ 代数の関係式の圏論的分類を解決したと主張しているわけではなく、また新しい実験的な応用を提案するものでもない。その範囲は、モジュライ空間の導来圏上の量子トーリダル代数の作用に対する、圏論的分類された交換子の幾何学的構成に厳密に限定されている。