Proper moduli spaces of orthosymplectic complexes

技術的要約：直交・シンプレクティック複体の適切なモジュライ空間

問題設定
本論文は、$\dim(X) \geq 2$ である複素滑らかな射影多様体 $X$ 上の主 $G$ 束のモジュライ空間をコンパクト化する問題に取り組んでいる。半安定な主束のモジュライ空間は曲線（Ramanathan）においてはコンパクトであるが、高次元の場合には、コンパクト性を達成するために「特異な主束」の概念が必要となる。既存のアプローチでは、表現 $\rho$ に依存する主 $\rho$-層（principal $\rho$-sheaves）が利用されている。著者は、直交群（$O_n$）およびシンプレクティック群（$Sp_{2n}$）に特化した代替的なコンパクト化として、**直交・シンプレクティック複体（orthosymplectic complexes）**を利用することを提案している。これらは、自身の派生双対（derived duals）と同型である余弦的コヒーレント層の複体である。中心的な課題は、Bridgeland 半安定な直交・シンプレクティック複体のモジュライ・スタックに対して、**適切な良質なモジュライ空間（proper good moduli spaces）**の存在を確立することである。

手法
著者は、抽象的なスタック論と派生圏への具体的な適用を組み合わせた、二段構えのアプローチを採用している。

1. 固定点軌道および写像スタックの一般論：
   著者は、有限群の作用下における「良質なモジュライ空間」の保存に関する一般的な結果を確立している。

   • 固定点軌道（Fixed Loci）： 代数スタック $\mathcal{X}$ が良質なモジュライ空間 $\mathcal{X} \to X$ を持つとき、本論文では有限群 $\Gamma$ による固定点軌道 $\mathcal{X}^\Gamma$ について調査している。
   • 写像スタック（Mapping Stacks）： 著者は写像スタック $\text{Map}(B\Gamma, \mathcal{X})$ を分析し、作用が自明である場合にはそれが固定点軌道と等価であることを示している。
   • 値判定基準（Valuative Criterion）： 証明の核心は、普遍的な閉性を満たすための値判定基準の検証にある。著者は、Alper, Halpern-Leistner, Heinloth [2] の結果を適応し、$\mathcal{X}$ が良質なモジュライ空間を持つならば、$\text{Map}(B\Gamma, \mathcal{X})$ （および分離性の仮定の下での $\mathcal{X}^\Gamma$）もまた、元の底空間上に有限な良質なモジュライ空間を持つことを示す。これには、生成的ファイバーからの群準同型 $\rho: \Gamma \to \text{Aut}(x_K)$ を離散値環の拡大へと持ち上げる作業が含まれる。

2. 直交・シンプレクティック複体への適用：

   • 定義： 直交・シンプレクティック複体は、完全複体のモジュライ・スタック $\text{Perf}(X)$ 上の $\mathbb{Z}/2$ 作用の固定点として定義される。この作用は、dg-圏上の自己双対構造 $D = R\text{Hom}(I^*(-), L)[s]$ （ここで $I$ は対合、$L$ は線束、$s$ は整数）によって誘導される。
   • 安定性： 著者は、自己双対な（すなわち $(Z, \mathcal{P}) = (Z^\vee, \mathcal{P}^\vee)$ である）Bridgeland 安定条件 $\tau = (Z, \mathcal{P})$ を検討している。
   • 構成： 半安定な直交・シンプレクティック複体のモジュライ・スタックは、$\mathbb{Z}/2$ 作用の下での半安定な複体のモジュライ・スタックの固定点軌道として特定される。

主要な貢献および結果

• 定理 3.1 (一般の結果)： $\mathcal{X}$ を、ノーター的代数空間 $S$（標数 0）上の、有限型かつアフィン対角線を持つ代数スタックとする。

  • 任意の有限群 $\Gamma$ に対して、写像スタック $\text{Map}(B\Gamma, \mathcal{X})$ は $X$ 上に有限な良質なモジュライ空間を持つ。
  • $X$ が分離的な場合、固定点軌道 $\mathcal{X}^\Gamma$ もまた $X$ 上に有限な良質なモジュライ空間を持つ。
  • 注： 固定点軌道の結果には、$X$ が分離的であるという仮定が必要である（例として、二つの原点を持つ直線などの反例が存在する）。

• 定理 4.4 (主要な適用)： $X$ を固定された自己双対データ $(I, L, s, \epsilon)$ を持つ連結な滑らかな射影 $\mathbb{C}$-多様体とする。$\tau$ を、生成的平坦性と有界性を満たす有理的な中心電荷を持つ自己双対 Bridgeland 安定条件とする。

  • $\alpha = D(\alpha)$ かつ $Z(\alpha) \in \mathbb{R}_{>0}$ を満たす任意の Chern 文字 $\alpha$ に対して、$\tau$-半安定な自己双対複体のモジュライ・スタックは、適切な良質なモジュライ空間を持つ。
  • したがって、半安定な直交・シンプレクティック複体のモジュライ・スタックの各連結成分は、適切な良質なモジュライ空間を持つ。

意義および主張
本論文は、これらの適切な良質なモジュライ空間が、$O_n$ および $Sp_{2n}$ の主束のモジュライ空間をコンパクト化するための候補として機能することを主張している。著者は、モチーフ的 Donaldson–Thomas 理論の文脈において、直交・シンプレクティック複体は主 $\rho$-層よりも扱いやすいと述べている。

本論文は、$X$ が K3 面またはアーベル面である場合の特定の幾何学的性質を強調している：

• モジュライ・スタックは、0 シフトされたシンプレクティック構造を持つ派生的なエンハンスメント（derived enhancement）を保持する。
• 得られる適切な良質なモジュライ空間はポアソン構造を持ち、これは安定な軌道上でシンプレクティック構造に制限される。
• 著者は、これらの空間が自己双対なクイバーの表現のモジュライのシンプレクティック簡約（symplectic reduction）に局所的にモデル化されることを示唆しているが、本論文では、それらがシンプレクティック特異点を持つか、あるいはシンプレクティック分解（symplectic resolution）を許容するかという問題（将来の解析のために残された問い）については解決していない。

本研究は、半安定な複体の基礎となるモジュライ・スタックの適切な良質なモジュライ空間の存在（[2] で確立）に依拠しており、第3節で開発された一般的な機構を通じて、この存在を固定点軌道へと拡張するものである。