[论文解读] Lie cylinders and higher obstructions to deforming submanifolds

Marco Manetti|arXiv (Cornell University)|Jul 14, 2005

Geometry and complex manifolds被引用 3

一句话总结

本文引入了一个与微分分次李代数同态 χ: L→M 相关的阿廷环函子 Defχ，其切空间与障碍空间分别由 χ 的柱复形的一阶与二阶上同调群给出。该构造被应用于希尔伯特函子与布里尔-诺伊曼函子，证明了在凯勒几何中，光滑子流形变形的所有高阶障碍均被半正则映射消去。

ABSTRACT

Abstract. To every morphism χ: L→M of differential graded Lie algebras we associate a functors of artin rings Defχ whose tangent and obstruction spaces are respectively the first and second cohomology group of the cylinder of χ. Such construction applies to Hilbert and Brill-Noether functors and allow to prove with ease that every higher obstruction to deforming a smooth submanifold of a Kähler manifold is annihilated by the semiregularity map. Mathematics Subject Classification (2000): 13D10, 14D15.

研究动机与目标

• 开发一个使用微分分次李代数研究子流形变形函子的一般框架。
• 理解在凯勒流形中光滑子流形变形理论里高阶障碍的作用。
• 建立柱复形构造与经典变形函子（如希尔伯特函子与布里尔-诺伊曼函子）之间的联系。
• 证明半正则映射消去所有子流形变形的高阶障碍。
• 提供一个统一的上同调机制，通过微分分次李代数同态的柱复形分析障碍空间。

提出的方法

• 构造微分分次李代数同态 χ: L→M 的柱复形，该复形作为映射锥的同伦理论替代。
• 定义变形函子 Defχ，其切空间为 H^1(cyl(χ))，障碍空间为 H^2(cyl(χ))。
• 将该构造应用于凯勒流形中子流形的法丛与周围几何所导出的同态。
• 利用柱复形构造的函子性，将 Defχ 与经典变形函子（如希尔伯特函子与布里尔-诺伊曼函子）联系起来。
• 利用柱复形的上同调结构，通过半正则映射分析障碍的消失性。
• 通过证明其在映射下的像为零，表明半正则映射对所有高阶障碍起到消去作用。

实验结果

研究问题

• RQ1 如何使用微分分次李代数统一描述子流形的变形理论？
• RQ2 柱复形构造在编码变形函子的切空间与障碍空间方面起什么作用？
• RQ3 在凯勒几何中，子流形变形的高阶障碍在多大程度上消失？
• RQ4 半正则映射在李代数同态的背景下如何与高阶障碍空间相互作用？
• RQ5 希尔伯特函子与布里尔-诺伊曼函子能否自然地嵌入到微分分次李代数同态的框架中？

主要发现

• 与同态 χ: L→M 相关的变形函子 Defχ 的切空间同构于 H^1(cyl(χ))，障碍空间同构于 H^2(cyl(χ))。
• Defχ 的构造自然适用于希尔伯特函子与布里尔-诺伊曼函子，统一了它们的变形理论处理方式。
• 在凯勒流形中，光滑子流形变形的所有高阶障碍均被半正则映射消去。
• 当 χ 由子流形嵌入导出时，半正则映射在 H^2(cyl(χ)) 上起到上同调消去器的作用。
• 柱复形构造为变形理论中障碍空间的分析提供了自然且可计算的框架。
• 结果表明，凯勒几何中子流形变形的障碍理论由微分分次李代数柱复形的上同调所控制。