[论文解读] Canonical Infinitesimal Deformations

Ziv Ran|ArXiv.org|Oct 7, 1998

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

一句话总结

本文通过与李代数层 $g$ 相关的多重变量雅可比复形 $J(g)$，提出了一类紧致复流形在无全纯向量场条件下的普遍形式形变的典范构造。普遍形变的基环被证明为 $\mathbb{C} \oplus H^0(J(g))^*$，从而通过加法上同调函子提供了无穷小形变的上同调内在描述。

ABSTRACT

This paper gives a canonical construction, in terms of additive cohomological functors, of the universal formal deformation of a compact complex manifold without vector fields (more generally of a faithful $g$-module, where $g$ is a sheaf of Lie algebras without sections). The construction is based on a certain (multivariate) Jacobi complex $J(g)$ associatd to $g$: indeed ${\mathbb C}\oplus {\mathbb H}^0(J(g))^*$ is precisely the base ring of the universal deformation.

研究动机与目标

• 为缺乏全纯向量场的紧致复流形提供一种典范的、上同调内在的普遍形式形变构造。
• 将形变理论框架从复流形推广至全纯 $g$-模，其中 $g$ 为无全局截面的李代数层。
• 通过多重变量雅可比复形的上同调，精确描述普遍形变基环的代数结构。
• 通过将现有形变理论构造嵌入函子性、加法上同调框架中，实现统一与扩展。

提出的方法

• 该构造依赖于与李代数层 $g$ 相关的多重变量雅可比复形 $J(g)$，其编码了无穷小对称性与形变障碍。
• 普遍形变的基环被识别为 $\mathbb{C} \oplus H^0(J(g))^*$，其中 $H^0(J(g))^*$ 表示 $J(g)$ 的零阶上同调的对偶。
• 该方法采用加法上同调函子来形式化形变过程，确保构造的函子性与自然性。
• 该框架可推广至任意全纯 $g$-模，其中 $g$ 无全局截面，从而将适用范围从复流形扩展至更广泛的几何与代数设定。
• 雅可比复形的使用使得形变数据（包括障碍与无穷小自同构）得以系统编码。
• 该构造不依赖于辅助选择，因此是典范的，适用于全局几何应用。

实验结果

研究问题

• RQ1 如何以典范的、上同调内在的方式构造缺乏全纯向量场的紧致复流形的普遍形式形变？
• RQ2 普遍形变基环的精确代数结构如何以共上同调数据表达？
• RQ3 多重变量雅可比复形 $J(g)$ 如何编码李代数层 $g$ 的形变理论数据？
• RQ4 复流形的形变理论能否推广至无全局截面的李代数层上的全纯 $g$-模？
• RQ5 加法上同调函子在确保形变构造的函子性与自然性方面起到何种作用？

主要发现

• 普遍形式形变的基环被典范地识别为 $\mathbb{C} \oplus H^0(J(g))^*$，其中 $J(g)$ 为与李代数层 $g$ 相关的多重变量雅可比复形。
• 该构造完全典范且函子性，仅依赖于加法上同调函子与 $J(g)$ 的上同调，不依赖于辅助选择。
• 对于缺乏全纯向量场的紧致复流形，该方法给出的普遍形式形变其基环完全由 $H^0(J(g))^*$ 决定。
• 该框架可推广至任意全纯 $g$-模，其中 $g$ 无全局截面，从而拓宽了形变理论的适用范围。
• 雅可比复形 $J(g)$ 作为形变数据（包括障碍与无穷小自同构）的通用编码器。
• 该方法为经典形变函子提供了一种上同调替代方案，将形变问题嵌入更具结构性的加法框架中。