[論文レビュー] P=W for Lagrangian fibrations and degenerations of hyper-Kähler manifolds

Andrew Harder, Zhiyuan Li+2 more|arXiv (Cornell University)|Aug 20, 2019

Geometry and complex manifolds参考文献 13被引用数 9

ひとこと要約

この論文は、ハイパーケーラー多様体上のラグランジュ被覆のコホロジーにおける悪意のフィルトレーションと、同一多様体のタイプIII特異化におけるモノドロミー重量フィルトレーションの間の直接的な対応を確立し、ベイユーヴィル・ボゴモロフ形式と対数的モノドロミーから誘導される $\mathfrak{sl}_2$-三重項構造を用いて $P_kH^*(M,\mathbb{Q}) = W_{2k}H^*_{\text{lim}}(\mathbb{Q})$ を証明する。この結果は、ハイパーケーラー幾何における $P=W$ 猜想の幾何的実現を提供する。

ABSTRACT

We identify the perverse filtration of a Lagrangian fibration with the monodromy weight filtration of a maximally unipotent degeneration of compact hyper-Kähler manifolds.

研究の動機と目的

• ハイパーケーラー多様体上のラグランジュ被覆の文脈において、$P=W$ 猜想の幾何的実現を確立すること。
• ラグランジュ被覆のコホロジーにおける悪意のフィルトレーションを、最大無限単位特異化のモノドロミー重量フィルトレーションに同定すること。
• 元の多様体と変形同値であるタイプIII特異化 $f: \mathcal{M} \to \Delta$ を構成し、そのコホロジーを極限混合ホッジ構造を介して同定すること。
• ベイユーヴィル・ボゴモロフ形式と対数的モノドロミーから生じる $\mathfrak{sl}_2$-三重項が、同時に悪意フィルトレーションと重量フィルトレーションを分解することを示すこと。

提案手法

• コホロジー $H^2(M,\mathbb{Q})$ 上のベイユーヴィル・ボゴモロフ・フジキの二次形式を用いて、相対的アーモニッククラス $\eta$ とプルバッククラス $\beta$ を同定し、$q_M(\eta) = q_M(\beta) = 0$ を満たすようにする。
• コホロジー上の $\mathfrak{so}(5,\mathbb{C})$-表現から、$N_{\beta,\rho} = [L_\beta, \Lambda_\rho]$ として定義される冪零作用素 $N_{\beta,\rho}$ を構成し、$\mathfrak{sl}_2$-三重項を誘導する。
• ジャコブソン–モロツォフの定理を適用して、$N_{\beta,\rho}$ を $H^*(M,\mathbb{Q})$ 上で作用する $\mathfrak{sl}_2$-三重項 $(L_N, H_N, \Lambda_N)$ に上昇させる。
• 作用素 $H_N$ を用いた重み分解 $W_m^d$ を特定し、$H_N|_{W_m^d} = m \cdot \mathrm{id}$ が成り立つようにする。
• 重み分解と $\mathfrak{so}(5,\mathbb{C})$-表現を介して、悪意フィルトレーション $P_kH^d(M,\mathbb{Q})$ とモノドロミー重量フィルトレーション $W_{2k}H^d_{\text{lim}}(\mathbb{Q})$ を一致させる。
• グローバル・トーリーと拡張された周期領域内の冪零軌道を用いて、必要なタイプIII特異化 $f: \mathcal{M} \to \Delta$ を構成する。

実験結果

リサーチクエスチョン

• RQ1 ハイパーケーラー多様体上のラグランジュ被覆における悪意フィルトレーションは、タイプIII特異化のモノドロミー重量フィルトレーションと同定可能か？
• RQ2 ハイパーケーラー多様体上のラグランジュ被覆の文脈において、$P=W$ 猜想は成立するか？
• RQ3 ベイユーヴィル・ボゴモロフ形式と対数的モノドロミーから生じる $\mathfrak{sl}_2$-三重項構造は、悪意フィルトレーションおよび重量フィルトレーションの両者とどのように関係するか？
• RQ4 極限混合ホッジ構造が悪意フィルトレーションと一致するようなタイプIII特異化の幾何的構成は可能か？

主な発見

• コホロジー同型 $H^*(M,\mathbb{Q}) \cong H^*_{\text{lim}}(\mathbb{Q})$ の下で、悪意フィルトレーション $P_kH^*(M,\mathbb{Q})$ とモノドロミー重量フィルトレーション $W_{2k}H^*_{\text{lim}}(\mathbb{Q})$ が一致する。
• 作用素 $N_{\beta,\rho}$ によって誘導される $\mathfrak{sl}_2$-作用を介して、$P_kH^*(M,\mathbb{Q}) = W_{2k}H^*_{\text{lim}}(\mathbb{Q}) = W_{2k+1}H^*_{\text{lim}}(\mathbb{Q})$ が成り立つ。
• 特異化 $f: \mathcal{M} \to \Delta$ の構成は、拡張された周期領域内の冪零軌道を用いて行われ、$\mathcal{M}_t$ が $M$ と変形同値であることを保証する。
• $N_{\beta,\rho}$ によって誘導される $\mathfrak{sl}_2$-三重項構造は、悪意フィルトレーションとモノドロミー重量フィルトレーションの両方を分解し、統一的な代数的枠組みを提供する。
• この結果は、[9, 定理 0.2] における「悪意 = ホッジ」の等式を再発見・再解釈し、$\dim_{\mathbb{Q}}\mathrm{Gr}_i^P H^{i+j}(M,\mathbb{Q}) = \dim_{\mathbb{C}}\mathrm{Gr}_i^F H^{i+j}(M,\mathbb{C})$ を示す。
• フジサワとスティーンブリックによるカップ積と重量フィルトレーションに関する結果を用いて、悪意フィルトレーションの乗法性がモノドロミー重量フィルトレーションの乗法性から従うことが示される。