[论文解读] Deformation theory and Lie algebra homology

Vladimir Hinich, Vadim Schechtman|ArXiv.org|May 25, 1994

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

一句话总结

本文在光滑变形空间的假设下，建立了普遍形式形变环 $ R_i^* $ 的连续对偶与与局部自同构层 $ \frak{A}_i $ 相关的微分分次李代数的零阶李同调之间的典范同构，将经典的 Kodaira-Spencer 同构推广至高阶形变。该构造基于 Thom-Sullivan-Quillen 形式化方法的微分分次李代数模型，完整地以李同调语言描述了形变环 $ R_i $。

ABSTRACT

A description of a ring of functions on the base of a universal formal deformation for several moduli problems is given. The answer is given in terms of a homology group of a certain dg Lie algebra canonically (up to an essentially unique quasi-isomorphism) associated with a problem.

研究动机与目标

• 在形变空间光滑的条件下，以李代数同调语言描述光滑概形 $ X $、$ G $-主丛 $ P $ 或对 $ (X,P) $ 的普遍形式形变环 $ R_i $。
• 利用形变局部自同构层 $ \frak{A}_i $ 的微分分次李代数模型，将经典 Kodaira-Spencer 同构推广至高阶切空间。
• 构造形变环 $ R_i $ 的连续对偶 $ R_i^* $ 与零阶李同调 $ H^{\text{Lie}}_0(R\Gamma^{\text{Lie}}(X,\frak{A}_i)) $ 之间的典范同构，扩展经典形变理论框架。
• 通过微分分次李代数中的连接态射，利用扭曲包络代数与高阶 Kodaira-Spencer 映射，发展形变理论的同调框架。

提出的方法

• 通过广义 Thom-Sullivan 构造，构造一个与层的李代数 $ \frak{g} $ 的Čech复形 quasi-isomorphic 的微分分次李代数 $ R\Gamma^{\text{Lie}}(X,\frak{g}) $。
• 对 $ R\Gamma^{\text{Lie}}(X,\frak{g}) $ 应用 Quillen 函子 $ C $，得到一个滤子复形，其同调给出李同调 $ H^{\text{Lie}}_i(R\Gamma^{\text{Lie}}(X,\frak{g})) $。
• 定义从微分分次李代数扩张的锥到 Chevalley 复形的典范连接态射，从而实现高阶 Kodaira-Spencer 映射的构造。
• 利用李代数丛（例如光滑 $ S $ 的 $ \cal{D}\mbox{iff}_S $）的扭曲包络代数作为高阶 KS 映射的来源。
• 通过几何基变换与形变空间闭点处的纤维分析，建立同构 $ \kappa: R_i^* \xrightarrow{\sim} H^{\text{Lie}}_0(R\Gamma^{\text{Lie}}(X,\frak{A}_i)) $。
• 证明在分次商上的诱导同构与经典 Kodaira-Spencer 映射一致（至符号差异），确认与经典形变理论的一致性。

实验结果

研究问题

• RQ1 当形变空间光滑时，如何代数地描述普遍形式形变环 $ R_i $？
• RQ2 李同调在编码切空间之外的高阶形变数据中扮演何种角色？
• RQ3 能否利用微分分次李代数模型将经典 Kodaira-Spencer 同构推广至高阶项？
• RQ4 高阶 Kodaira-Spencer 映射如何从微分分次李代数的扩张与连接态射中产生？
• RQ5 形变环的连续对偶与局部自同构层的李同调之间的确切关系为何？

主要发现

• 形变环 $ R_i $ 的连续对偶 $ R_i^* $ 与零阶李同调 $ H^{\text{Lie}}_0(R\Gamma^{\text{Lie}}(X,\frak{A}_i)) $ 之间存在典范同构，从而对 $ R_i $ 提供了完整的代数描述。
• 同构 $ \kappa: R_i^* \xrightarrow{\sim} H^{\text{Lie}}_0(R\Gamma^{\text{Lie}}(X,\frak{A}_i)) $ 与李同调上的滤子相容，并在分次商上诱导同构。
• 在分次商上的诱导同构 $ \operatorname{gr}^n(R_i) \cong S^n(H^1(X,\frak{A}_i)) $ 与 $ (-1)^n \kappa^1 $ 一致，从而恢复经典 Kodaira-Spencer 映射。
• 该构造不依赖于仿射开覆盖的选择，通过 Thom-Sullivan-Quillen 形式化方法定义了一个典范的、关于 quasi-isomorphism 不变的对象。
• 该结果对三种形变问题均成立：$ X $ 的形变、$ (X,P) $ 的形变，以及固定 $ X $ 时 $ P $ 的形变，前提是 $ H^0(X,\frak{A}_i) = 0 $。
• 证明依赖于 $ \mathfrak{S}_i $ 的光滑性，其蕴含 $ R_i \cong k[[T_1,\dots,T_n]] $，以及高阶 KS 映射在闭点几何纤维上的限制成为同构。