Hodge theory and Lagrangian fibrations on holomorphic symplectic manifolds

クリスチャン・シュネル（Christian Schnell）による論文「Hodge theory and Lagrangian fibrations on holomorphic symplectic manifolds（複素シンプレクティック多様体上のラグランジュファイバー束とホッジ理論）」の技術的要約を以下に示します。

1. 研究の背景と目的

本論文は、複素シンプレクティック多様体（必ずしもコンパクトとは限らない）上のラグランジュファイバー束 $\pi: M \to B$ に関するホッジ理論の新しい結果を確立することを目的としています。
特に、Maulik, Shen, Yin による 2 つの重要な予想（Shen-Yin の対称性予想と、ホッジ形式とペルバース層の間の関係に関する予想）を証明し、コンパクトな場合でも非コンパクトな場合でも、ホッジ・ケラー計量の存在を仮定せずに、ラグランジュファイバー束からリー代数 $\mathfrak{sl}_3(\mathbb{C})$（非コンパクト）または $\mathfrak{sl}_4(\mathbb{C})$（コンパクト）の作用が導かれることを示すことを目指しています。

2. 問題設定

• 対象: 次元 $2n$ の複素シンプレクティック多様体 $M$（ケラー多様体だが、コンパクトである必要はない）。
• 構造: $M$ 上の非退化な閉 2-形式 $\sigma$（シンプレクティック形式）と、ケラー形式 $\omega$。
• ファイバー束: $n$ 次元複素多様体 $B$ へのラグランジュファイバー束 $\pi: M \to B$。これは、滑らかなファイバーが $n$ 次元アーベル多様体であり、$\sigma$ がファイバー上で消滅することを意味します。
• 核心的な問題:
  1. 分解定理（Decomposition Theorem）におけるペルバース層 $P_i$ と、$M$ 上の正則 $(n+k)$-形式の直接像 $R\pi_* \Omega^{n+k}_M$ の間の関係。
  2. Shen と Yin が提唱した「ペルバース・ホッジ複体」$G_{i,k}$ に関する対称性 $G_{i,k} \cong G_{k,i}$ の証明。
  3. これらの構造が、ホッジ計量なしにどのようにリー代数の作用を生み出すか。

3. 手法と理論的枠組み

本論文は、以下の高度な数学的ツールを組み合わせて証明を構築しています。

• 混合ホッジ層（Mixed Hodge Modules）: Saito の理論を用いて、$R\pi_* \mathbb{Q}_M[2n]$ をホッジ層の直和として分解し、その基底となるフィルター付き $D$-層 $(P_i, F^\bullet P_i)$ を扱います。
• BGG 対応（BGG Correspondence）: 対称代数 $S_B = \text{Sym}(T_B)$ 上の加群と、正則形式の代数 $\Omega_B$ 上の加群の間の導来圏の同値性を利用します。これにより、フィルター付き $D$-層の関連する対象を、$\Omega_B$ 加群の複体として再解釈します。
• 相対的ハード・レフシェッツ定理（Relative Hard Lefschetz）: ケラー形式 $\omega$ による作用と、シンプレクティック形式 $\sigma$ による作用を比較します。特に、$\sigma$ による作用がファイバー上で自明であるというラグランジュ条件を利用し、導来圏内でのみ成立する「シンプレクティック相対的ハード・レフシェッツ定理」を導出します。
• Weil 要素（Weil Element）: $\mathfrak{sl}_2(\mathbb{C})$ 表現における Weil 要素（Hodge 星作用素の類似）を用いて、異なる作用（楔積と縮約）を交換する同型写像を構成します。

4. 主要な結果と貢献

A. Shen-Yin 対称性予想の証明

Shen と Yin は、複素多様体 $B$ 上の複素コヒーレント層の複体 $G_{i,k} = \text{gr}^F_{-k} \text{DR}(P_i)[-i]$ について、$G_{i,k} \cong G_{k,i}$ が導来圏で成り立つと予想していました。

• 結果: 本論文はこの予想を証明しました。
• 手法: ケラー形式 $\omega$ による相対的ハード・レフシェッツ定理と、シンプレクティック形式 $\sigma$ による「シンプレクティック相対的ハード・レフシェッツ定理」の組み合わせにより、$G_{i,k}$ と $G_{k,i}$ の間の対称性を幾何学的に説明しました。この対称性は、正六边形（hexagon）の格子点における鏡映対称として視覚化され、これらが $\mathfrak{sl}_3(\mathbb{C})$ の Weyl 群 $S_3$ を生成することを示しています。

B. ホッジ形式とペルバース層の直接的な関係

Maulik, Shen, Yin は、$P_i$ と $\Omega^{n+i}_M$ の関係を Fourier-Mukai 変換を通じて予想していましたが、本論文はより直接的な関係を確立しました。

• 定理: 導来圏において、以下の 2 つの $\Omega_B$ 加群の複体が同型です。
  1. $P_i$ から得られるもの：$P_i$ のホッジフィルターに関する随伴 graded 層を BGG 対応で変換したもの。
  2. $\Omega^{n+i}_M$ から得られるもの：$R\pi_* \Omega^{n+i}_M$ のペルバースフィルターに関する随伴 graded 層を Matsushita の定理を用いて変換したもの。
• 意味: これは、ホッジフィルターによる随伴 graded 操作と、ペルバースフィルターによる随伴 graded 操作が可換であることを意味します（$\text{gr}^F \circ \text{gr}^P \cong \text{gr}^P \circ \text{gr}^F$）。

C. リー代数 $\mathfrak{sl}_3(\mathbb{C})$ と $\mathfrak{sl}_4(\mathbb{C})$ の作用

• 非コンパクトな場合: 複素シンプレクティック多様体上のラグランジュファイバー束に対して、複合された作用 $\omega_2$（ケラー形式）と $\sigma_1$（シンプレクティック形式）が、導来圏上の対象 $\bigoplus G_{i,k}$ に $\mathfrak{sl}_3(\mathbb{C})$ の作用を定義します。
• コンパクトな場合: $M$ と $B$ がコンパクトな場合、さらに $B$ 上のケラー形式 $\lambda$ の作用が加わり、$\mathfrak{sl}_4(\mathbb{C}) \cong \mathfrak{so}_6(\mathbb{C})$ の作用が導来圏上のコホモロジーに定義されます。
• 意義: これらの結果は、Looijenga-Lunts や Verbitsky による既知の結果（コンパクト・ハイパーケラー多様体上のコホモロジーへの $\mathfrak{so}_6(\mathbb{C})$ 作用）を、ハイパーケラー計量の存在を仮定せずに一般化して証明した点に大きな意義があります。

5. 結論と重要性

本論文は、複素シンプレクティック幾何学における重要な未解決問題に対して、ホッジ理論と $D$-層の理論を駆使して決定的な解答を与えました。

1. 計量依存からの脱却: 従来のハイパーケラー幾何学の多くの結果は、リッチ平坦な計量（ハイパーケラー計量）の存在に依存していましたが、本論文はラグランジュファイバー束の構造自体とホッジ層の理論のみで、同様の深い対称性とリー代数作用を導出しました。
2. 非コンパクトな場合への拡張: 非コンパクトな場合（例えば、Higgs 束のモジュライ空間上の Hitchin ファイバー束）においても、これらの構造が有効であることを示しました。
3. 理論的統合: ペルバース層、ホッジ層、正則形式、そして BGG 対応を統合する新しい枠組みを提供し、これらが「導来圏」のレベルでどのように相互作用するかを明確にしました。

この研究は、代数幾何学、表現論、および数学的物理学（特に弦理論や鏡対称性）の交差点において、新たな視点と強力な道具を提供するものです。