Meromorphic Group Actions and the Support Theorem for Lagrangian Fibrations

技術要約：・代数的な群作用とラグランジュ・ファイブレーションのサポート定理

問題設定
本論文は、正則な複素空間上のラグランジュ・ファイブレーション $f: X \to B$ の幾何学的およびコホモロジー的構造を扱う。Liouville–Arnoldの定理は、このような系の正則な領域（ファイバーがコンパクトなトーラスである領域）におけるダイナミクスを記述しているが、特異なファイバーおよびベース $B$ 全体における振る舞いは依然として複雑である。具体的には、著者らは、可換なリー群の族が、特異なファイバーを含むベース $B$ 全体にわたって全空間 $X$ 上に忠実（faithfully）に作用するような構成が可能か、また、その群作用がいかにしてファイブレーションのトポロジーを支配するかを調査している。

中心的な目標は、直積複体 $Rf_* \mathbb{R}_X[\dim X]$（または特異な場合の $Rf_* IC_X$）の分解定理に対する「サポート定理（Support Theorem）」を証明することである。この定理は、分解の中に現れる可能なサポート（既約部分多様体 $Z \subseteq B$）を、群の族のファイバー、特にその極大コンパクト・トーラス剰余の幾何学と関連付けるものである。

手法
著者らは、複素解析幾何学、ホッジ理論、およびホップ代数の理論を統合した手法を用いている。手法は主に以下の3つの段階で進行する。

1. 有理的な群作用の構成:

   • Liouville–Arnoldの定理から出発し、垂直なハミルトンベクトル場を積分することで、正則な領域上で余接束 $T^*B$ のホロモーフィックな作用を定義する。
   • これを $X \times_B X$ の相対Douady空間を利用することで全空間 $X$ へと拡張する。分類射の像を含む既約成分を解析することにより、有理的な群の族 $G \to B$（Fujikiの意味における）を構成する。
   • 本構成の重要な技術的成果は、$X$ が特異または非コンパクトであっても、$X$ がケーラーであり $B$ が複素多様体であれば、この構成が $X$ 上に有理的に作用する滑らかな可換リー群の族を与えることを証明した点にある。これにより、従来の代数的な仮定や臨界集合に関する条件への依存が排除される。

2. ホップ加群によるコホモロジーの自由性:

   • 著者らは、ファイバーのコホモロジーに関する「自由性定理（Freeness Theorem）」を確立する。彼らは、有理的な群（$1 \to L \to G \to T \to 1$、ここで $L$ は線形代数群、$T$ はコンパクト・トーラスであるという分解を持つ）の構造を利用する。
   • 混合ホッジ理論を用いて、ファイバーのコホモロジー $H^*(X_b)$ がホップ代数 $H^*(T_b)$ 上の自由余加群（free comodule）であることを示す。
   • 決定的な点として、分解定理のためのDeligneの分割構成を適応させ、ファイバーのコホモロジーにおけるパーバース・フィルトレーションが余加構造と両立することを示す。これにより、直積複体のコホモロジーを、極大コンパクト剰余のコホモロジー上の自由加群として扱うことが可能になる。

3. サポート定理の証明:

   • コホモロジー加群の自由性と、$\delta$-正則性条件（ベース上の群の線形部分の次元に関する境界）を組み合わせることで、分解定理における可能なサポートを制約する。
   • $Z \subseteq B$ がサポートである場合、その余次元は、群のファイバーの一般点における極大コンパクト・トーラス剰余 $T_b$ の次元によって決定されることを示す。

主要な貢献と結果

• 定理 A (群作用の存在): $X$ がケーラー（特異であってもよい）であり $B$ が滑らかであるラグランジュ・ファイブレーション $f: X \to B$ に対して、$X$ 上に忠実かつ有理的に作用する滑らかな群の族 $G \to B$ が存在する。これは、代数的な設定や臨界集合に関する特定の条件を必要とした従来の成果を一般化するものである。
• 定理 B (自由性定理): ファイバーの特異コホモロジー $H^*(X_b, \mathbb{R})$ は、群のファイバーの連結成分の極大コンパクト・トーラス剰余 $T_b$ のコホモロジー代数 $H^*(T_b, \mathbb{R})$ 上の自由加群である。この結果は、群作用の下での構成的複体（$X$ が特異な場合の $IC_X$ を含む）に対して成立する。
• 定理 C (サポート定理): $Rf_* IC_X$ の分解定理におけるサポートを $Z \subseteq B$ とすると、一般の $b \in Z$ に対して $\dim Z = \dim T_b$ である。さらに、$Z$ 上にサポートを持つ単純パーバース層の直和は、コンパクト・トーラス剰余のコホモロジーと有限単類（finite monodromy）を持つ局所系から構成される。
• 特異空間への一般化: 著者らは、ポアソン幾何学と特異点の関手的分解を用いることで、結果を（Beauvilleの意味での）特異なホロモーフィック・シンプレクティック空間へと拡張し、証明に必要な等次元性と平坦性の性質がこのより広い文脈においても保持されることを証明している。

意義と主張

本論文は、ラグランジュ・ファイブレーションにおける分解定理のサポートに関する完全かつ本質的な記述を提供することを主張している。これは、代数的な設定とケーラー的な設定を統一するものである。

• 条件の排除: 著者らは、自らの群作用の構成が、先行研究で使用されていた「条件(1)」（非臨界領域の全射性）を不要とし、またファイブレーションが代数的であることを要求しないことを強調している。
• ホッジ理論的適合性: 実係数が用いられている理由は、加群構造が標準的（canonical）であり、混合ホッジ構造と両立する必要があるためである。著者らは、結果は $\mathbb{Q}$ 上でも成立するが、加群構造は $\mathbb{Q}$ の設定では標準的ではないと述べている。
• 幾何学的解釈: サポート定理は、分解の幾何学的な特徴付けを提供する。すなわち、サポートの「大きさ」は、作用する群の族のコンパクト・トーブルスの「大きさ」によって直接制御される。これは、直積複体のトポロジーを、Liouville–Arnold機構を通じて構成された群作用の幾何学に直接結びつけるものである。
• 適用可能性: この枠組みは、Hitchin系やモジュライ空間から派生する滑らかなものと特異なものの両方のラグランジュ・ファイブレーションに適用可能であり、特定の代数モデルに依存することなく、これらの空間のトポロジーを分析するための堅牢なツールを提供する。

著者らは、本研究を、複素幾何学における可積分系の大域的構造を理解するための重要な一歩として位置づけており、局所的なLiouville–Arnoldの図と、ファイブレーションのグローバルな特異な振る舞いの間の溝を埋めるものであるとしている。