[論文レビュー] L-infinity algebras, Cartan homotopies and period maps

Domenico Fiorenza, Marco Manetti|ArXiv.org|May 11, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用数 7

ひとこと要約

この論文は、コンパクトなカラーマン多様体のクルンシ型族の周期写像が、ホッジフィルトレーションを支配する $L_\infty$-代数への、明示的な $L_\infty$-準同型から誘導されることを確立している。これは周期写像が変形理論の準同型であることを示し、ホモトピー・リー代数の枠組みを通じて、障害理論や他の変形論的構成と整合することを保証する。

ABSTRACT

We prove that, for every compact Kaehler manifold, the period map of its Kuranishi family is induced by a natural L-infinity morphism. This implies, by standard facts about L-infinity algebras, that the period map is a "morphism of deformation theories" and then commutes with all deformation theoretic constructions (e.g. obstructions).

研究の動機と目的

• コンパクトなカラーマン多様体の周期写像を $L_\infty$-代数を用いて代数的・変形論的に記述すること。
• コーデイラの原理の既存の証明における概念的ギャップを解消し、周期写像が変形論的構成と可換であることを示すこと。
• ホッジフィルトレーションの変形を支配する $L_\infty$-代数 $C^p$ を構成し、周期写像の函子的記述を可能にすること。
• コーデイラ・スペンサー代数からホッジフィルトレーション代数への明示的な $L_\infty$-準同型を構成することで、周期写像が変形理論の準同型であることを確立すること。

提案手法

• 微分付きリ代数の準同型の写像コーンに $L_\infty$-構造を構成し、変形論的枠組みを一般化すること。
• 導分と微分形式を関連付けるために「カルタンホモトピー」の概念を導入し、$L_\infty$-準同型の構成を可能にすること。
• スパーンド写像コーン構成を用いて、ホッジフィルトレーション $F^p H^*(X,\mathbb{C})$ の変形を支配する $L_\infty$-代数 $C^p$ を定義すること。
• 変形函手のレベルで周期写像を誘導する線形 $L_\infty$-準同型 $K_X \to C^p$ を明示的に構成すること。
• ガウス＝マニン接続と横断性を用いて、周期写像がコホロロジー上の平坦接続と整合することを検証すること。
• 一般の $L_\infty$-代数理論を適用し、周期写像が障害理論を含むすべての変形論的操作と可換であることを導出すること。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなカラーマン多様体の周期写像は、$L_\infty$-代数を用いて変形理論の準同型として記述可能か？
• RQ2 コーデイラ・スペンサー代数とホッジフィルトレーションを支配する $L_\infty$-代数との間で、明示的な $L_\infty$-準同型が存在するか？
• RQ3 周期写像は障害理論や他の変形論的不変量とどのように作用するか？
• RQ4 カルタンホモトピーは、変形代数間の $L_\infty$-準同型を構成する際に果たす役割は何か？
• RQ5 ガウス＝マニン接続の横断性は、周期写像の変形論的構造と整合することを示唆するか？

主な発見

• 周期写像 $\mathcal{P}^p$ は、ホッジフィルトレーションを支配する $L_\infty$-代数 $C^p$ への、コーデイラ・スペンサー $L_\infty$-代数 $K_X$ からの標準的 $L_\infty$-準同型によって誘導される。
• 周期写像の変形函手は $\operatorname{Def}_{C^p}(B)$ と同型であり、ホモトピーを modulo したマウラー＝カルタン方程式の解としての周期写像の完全な代数的記述が得られる。
• この構成により、周期写像が変形理論の準同型であることが証明され、障害理論を含むすべての変形論的構成と可換であることが保証される。
• 写像 $\boldsymbol{i}\colon H^2(X,T_X) \to \bigoplus_i \operatorname{Hom}(F^p H^i, H^{i+1}/F^p H^{i+1})$ の核には、すべての変形の障害が含まれており、$L_\infty$-理論を用いてコーデイラの原理が確認される。
• カルタンホモトピーと指数関数公式を用いて、ガウス＝マニン接続の横断性を代数的に証明し、$\nabla(H^*(F^p_\xi)\otimes_B \Omega^i) \subseteq H^*(F^{p-1}_\xi)\otimes_B \Omega^{i+1}$ が成り立つことを示す。
• このフレームワークは函手的であり、同じ $L_\infty$-写像コーン構成を用いて、グラスマン多様体、クォット・スケーム、ヒルベルト・スケームなどの他のモジュライ空間へ一般化可能である。