[论文解读] Extended deformation functors

Marco Manetti|ArXiv.org|Oct 14, 1999

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 13

一句话总结

本文引入了扩展形变函子——一种与导出形变理论（Derived Deformation Theory）相容的一般化形变理论，采用类似Schlessinger的条件。它建立了障碍理论，证明了自然变换的逆映射定理，并表明所有具有有限维切空间的此类函子在同伦范畴中均可表示，统一了形变理论领域的最新进展。

ABSTRACT

We introduce a precise notion, in terms of few Schlessinger's type conditions, of extended deformation functors which is compatible with most of recent ideas in the Derived Deformation Theory (DDT) program and with geometric examples. With this notion we develop the (extended) analogue of Schlessinger and obstruction theories. The inverse mapping theorem holds for natural transformations of extended deformation functors and all such functors with finite dimensional tangent space are prorepresentable in the homotopy category.

研究动机与目标

• 正式化一种与现代导出形变理论（DDT）相容的扩展形变函子概念。
• 为这些扩展函子发展障碍理论，并建立类似Schlessinger理论的类比。
• 确立此类函子在同伦范畴中可表示的条件。
• 证明扩展形变函子之间自然变换的逆映射定理。
• 在单一连贯框架下统一几何实例与形变理论的最新理论进展。

提出的方法

• 通过为导出设定量身定制的一组类似Schlessinger的条件，引入扩展形变函子。
• 定义扩展函子的切空间与障碍空间，推广经典形变理论。
• 构造扩展形变函子之间的自然变换，并证明其逆映射定理。
• 运用同伦代数技术分析同伦范畴中的可表示性。
• 验证所提框架与已知几何实例及近期DDT发展的相容性。
• 将理论应用于证明：任何具有有限维切空间的扩展形变函子在同伦范畴中均可表示。

实验结果

研究问题

• RQ1 如何将形变函子扩展，使其与导出形变理论相容，同时保持关键结构性质？
• RQ2 何种条件可确保具有有限维切空间的形变函子在同伦范畴中可表示？
• RQ3 能否为扩展形变函子建立类似于Schlessinger经典理论的障碍理论？
• RQ4 扩展形变函子之间自然变换的逆映射定理是否成立？
• RQ5 所提出的扩展函子如何与现有几何与代数实例相关联并实现推广？

主要发现

• 满足所提类似Schlessinger条件的扩展形变函子具有明确定义的障碍理论。
• 扩展形变函子之间自然变换的逆映射定理成立。
• 所有具有有限维切空间的扩展形变函子在同伦范畴中均可表示。
• 该框架与导出形变理论的核心思想与构造相容。
• 该理论统一并推广了经典形变理论与导出设定下的最新发展。
• 结果通过同伦与范畴论技术正式确立，且已由期刊发表确认其有效性。