[论文解读] 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$-代数的显式 $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$-代数，从而实现周期映射的函子性描述。
• 通过显式构造从柯达伊拉-斯宾塞代数到霍奇滤子代数的 $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$-代数 $K_X$ 到控制霍奇滤子的 $L_\infty$-代数 $C^p$ 的典范 $L_\infty$-同态所诱导。
• 周期映射的形变函子同构于 $\operatorname{Def}_{C^p}(B)$，从而在模同伦意义下，通过 Maurer-Cartan 方程的解，完整地给出了周期映射的代数描述。
• 该构造证明了周期映射是形变理论之间的同态，即其与所有形变理论构造（包括障碍理论）可交换。
• 收缩映射 $\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$-映射锥构造推广至其他模空间，如格拉斯曼流形、Quot 簧和希尔伯特纲。