技術的概要：普遍コンパクト化ヤコビアンに対する支持定理

1. 問題提起

本論文は、安定な付点曲線のモジュライスタック $\mathcal{M}_{g,n}$ 上の普遍コンパクト化ヤコビアン $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ の幾何学的およびコホモロジー的構造を取り扱っている。これらの空間のコホモロジーは、次数 $d$ および非退化な安定性条件 $\phi$ の選択に対して不変であることが知られている（Migliorini–Shende–Viviani [MSV21] による証明）。しかし、$\phi$ が退化している場合、幾何学は著しく複雑になる。退化の場合、狭義半安定な層の存在により、$\mathcal{M}_{g,n}$ の境界層上で深刻な特異性が生じる。

中心的な問題は、交差コホモロジー複体の導来押し出し $R\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$ の BBDG（Beilinson–Bernstein–Deligne–Gabber）分解に現れる直和項の支持を決定することである。ここで $\overline{\pi}$ は基底への忘却写像である。具体的には、著者は、ヒッチンファイバーおよび非退化ヤコビアンに対して既知の「支持定理」を、より特異的な普遍設定に拡張し、すべての直和項が基底 $\mathcal{M}_{g,n}$ 上で完全な支持を持つことを証明しようとする。

2. 手法

本論文は、主要な結果を確立するために 2 つの異なる手法的アプローチを採用している。

アプローチ A：一般化された Ngô 支持定理

主要な証明は、弱アーベルファイバーの理論と等変なペルブ層の手法を統合している。

1. 剛性化と良いモジュライ空間：普遍コンパクト化ヤコビアン・スタックは $\mathcal{M}_{g,n}$ 上で固有ではないため、また相対ピカール群の自然な平行移動作用が自己同型群のために粗モジュライ空間に下降しないため、Ngô の支持定理の直接適用は妨げられる。これを解決するため、著者は垂直な自己同型を剛性化しつつ基底 $\mathcal{M}_{g,n}$ を保持する相対良いモジュライ空間 $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ を用いて作業を行う。
2. 基底変換：有限商スタックに関する技術的な微妙さを避けるため、射を有限エタール被覆 $B \to \mathcal{M}_{g,n}$（テヒュミュラーレベル構造空間）に沿って基底変換し、滑らかな多様体 $B$ を得る。
3. 仮定の検証：著者は、相対ピカール多様体 $P$ である三つ組 $(\widetilde{\mathcal{J}}^{d,\phi}_B, P, B)$ が Maulik と Shen [MS23] の意味での弱アーベルファイバーを形成することを検証する。これには以下が含まれる：
   • ファイバーの固有性と純粋次元。
   • 群作用に対するアフィンな安定化群。
   • $\delta$-正則性：基底における層の余次元と、安定化群のアフィン部分の次元を関連付ける条件。
4. 分解定理：一般化された支持定理（定理 2.2）を用いて、分解の任意の支持 $Z$ が $\text{codim } Z \leq \delta_Z$ を満たさなければならないことを証明する。$\delta$-正則性と組み合わせることで、$Z$ が基底全体でなければならないことが強制される。
5. 下降：結果を、等変導来圏の形式を用いて被覆 $B$ から $\mathcal{M}_{g,n}$ へ下降させる。

アプローチ B：安定性条件の変異

2 番目の独立した証明が $n \geq 1$ の場合に対して提供され（$n=0$ の場合はエタール近傍を通じて適応される）。

1. 壁越え：著者は、安定性空間 $V^d_{g,n}$ の壁と室の構造を利用する。退化した安定性条件 $\phi$ に対して、近くの非退化条件 $\phi'$ を選択する。
2. 固有射：モジュライ・スタックの包含は、それらの相対良いモジュライ空間間の固有かつ全射な射 $r: \mathcal{J}^{d,\phi'}_{g,n} \to \mathcal{J}^{d,\phi}_{g,n}$ を誘導する。
3. 還元：$\mathcal{J}^{d,\phi'}_{g,n}$ は（非退化な $\phi'$ に対して）滑らかであるため、その交差複体はシフトされた定数層である。非退化ヤコビアンに対する既知の支持定理 [MSV21] が、この定数層の押し出しに適用される。
4. 直和項の議論：交差複体 $IC(\mathcal{J}^{d,\phi}_{g,n})$ が、非退化側からの定数層の押し出しの直和項であることが示される。したがって、非退化の場合の支持特性は退化の場合へ転移する。

3. 主要な貢献と結果

主要定理（定理 1.1）

本論文は、$2g-2+n > 0$ となる整数 $g, n \geq 0$ に対して、$\mathcal{M}_{g,n}$ 上の相対良いモジュライ空間 $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ について以下のことを証明する。

1. 完全な支持：導来押し出し $\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$ のすべての直和項は、$\mathcal{M}_{g,n}$ 上で完全な支持を持つ。
2. 明示的な分解：$\mathcal{M}_{g,n}$ 上の混合ホッジ加群の有界導来圏において、次の同型が存在する：
   $$\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n}) \simeq \bigoplus_{i=0}^{2g} IC\left(\mathcal{M}_{g,n}, (\wedge^i R^1\gamma_* \mathbb{Q}_{C_{g,n}})\right)[-i+g]$$
   ここで $\gamma: C_{g,n} \to \mathcal{M}_{g,n}$ は普遍曲線である。

系

• 粗モジュライ空間（系 1.2）：$\overline{\mathcal{J}}^{d,\phi}_{g,n}$ の粗モジュライ空間 $J$ の交差複体の押し出しについても、完全な支持の性質が成り立つ。
• 位相的不変性（系 1.3）：交差コホモロジー群 $IH^*(\overline{\mathcal{J}}^{d,\phi}_{g,n}, \mathbb{Q})$ は、任意の整数 $d, d'$ および任意の安定性条件 $\phi, \phi'$（退化しているか非退化しているかを問わない）に対して、$\mathbb{Q}$-ホッジ構造として同型である。これは、既知のコホモロジー群の不変性を退化した設定へ拡張するものである。

4. 意義と主張

本論文は、境界層の複雑さと粗モジュライ空間上の固有な群作用の欠如によって以前は妨げられていた、普遍コンパクト化ヤコビアンに対する完全な支持定理を提供すると主張している。

• 手法の統合：この研究は、元々ヒッチンファイバーのために開発された Ngô の支持定理の機構を、曲線のモジュライへ成功裡に適応させた。固有性の欠如と自己同型群の障害を、相対良いモジュライ空間と等変導来圏を利用することで解決している。
• 退化への対処：本論文は、幾何学が特異であり狭義半安定な層が存在する退化した安定性条件の場合を明示的に扱っている。これらの特異性にもかかわらず、交差コホモロジーの位相的不変性が維持されることを示している。
• 証明の独立性：一つは弱アーベルファイバーに対する一般化された支持定理に依存し、もう一つは安定性条件の変異に基づく、2 つの異なる証明を提供することで、著者は結果の堅牢性を強化している。
• 将来の作業への動機：この結果は、「内在的コホモロジー環」（非退化条件に対して定義されたコホモロジー環構造の退化）を退化した安定性条件の設定へ拡張できるかどうかという問いを動機づける。

著者は、コホモロジー群は不変であるが、コホモロジー環構造は一般的に $d$ と $\phi$ の選択に依存し、本論文は退化した場合の環構造を解決していないと指摘することで、範囲に関する謙虚なトーンを維持している。