[论文解读] Cohomology and Obstructions I: Geometry of formal Kuranishi theory

Herbert Clemens|ArXiv.org|Jan 20, 1999

Geometry and complex manifolds参考文献 14被引用 19

一句话总结

本文在紧致 Kähler 流形的形变理论中，建立了 Kuranishi 数据与 Gauss-Manin 连接之间的几何联系，表明形变的障碍会消去特定的上同调类——尤其是环境中的 Hodge 上同调类——从而减小障碍空间。其主要贡献是一个统一的框架，证明当障碍与来自环境流形的上同调类进行配对时，障碍消失，推广了关于 K-平凡流形形变无阻碍的经典结果。

ABSTRACT

The principle "ambient cohomology of a Kaehler manifold annihilates obstructions" has been known and exploited since pioneering work of Kodaira. This paper extends and unifies many known results in two contexts, abstract deformations of compact Kaehler manifolds and deformations of submanifolds within a given deformation of the ambient manifold.

研究动机与目标

• 澄清并拓展 Kähler 几何中形变障碍与环境上同调之间的关系。
• 通过上同调配对，统一关于紧致 Kähler 流形及其子流形形变的结果。
• 确立形变障碍通过 Gauss-Manin 连接与 Kuranishi 数据，使特定上同调类消失。
• 利用形式 Kuranishi 理论，为障碍消失提供几何基础。
• 通过上同调约束，推广关于 K-平凡三倍体无阻碍形变的已知结果。

提出的方法

• 本文将 $ A^{0,1}(T_{M_0}) \otimes \mathbb{C}[[t]] $ 中的 Kuranishi 数据与 $ M_0 $ 的形变的 $ C^\infty $-平凡化相联系，通过横截纤维将其与全纯结构联系起来。
• 利用 Gauss-Manin 连接比较拓扑形变与 Hodge 理论形变，表明比较数据编码了可积性条件。
• 构造形式同构 $ \varphi: B^*(M/\Delta) \to A^*(M_0) \otimes \mathbb{C}[[t]] $，通过 Kuranishi 算子 $ \langle \xi | \cdot \rangle $ 保持 $ \partial $- 和 $ \bar{\partial} $- 结构。
• 可积性由方程 $ \bar{\partial}\xi - \frac{1}{2}[\xi, \xi] = 0 $ 刻画，确保殆复结构为全纯。
• 推导出关键配对：形变障碍在 $ H^2(T_{M_0}) $ 或 $ H^1(N_{Y_0\setminus M_0}) $ 中，必须在与 $ H^{p,q}(M_0) $ 或 $ K_0^{p,q} $ 配对时消失，分别对应。
• 证明此类配对的消失源于形变 Hodge 结构的障碍必须消失，如 Deligne 理论所示。

实验结果

研究问题

• RQ1 形变紧致 Kähler 流形的障碍如何与环境流形的上同调相关？
• RQ2 在形变理论中，Kuranishi 数据与 Gauss-Manin 连接之间的确切几何联系是什么？
• RQ3 为何形变子流形的障碍会消去环境流形中某些上同调类？
• RQ4 在何种条件下，障碍配对的消失意味着无阻碍形变？
• RQ5 形式 Kuranishi 理论如何用于减小子流形形变问题中的障碍空间大小？

主要发现

• 紧致 Kähler 流形 $ M_0 $ 的形变障碍位于配对 $ H^2(T_{M_0}) \otimes H^{p,q}(M_0) \to H^{p-1,q+2}(M_0) $ 的零空间中，意味着它们消去环境 Hodge 上同调。
• 对于子流形 $ Y_0 \subset M_0 $，形变障碍位于配对 $ H^1(N_{Y_0\setminus M_0}) \otimes K_0^{p,q} \to H^{p-1,q+1}(Y_0) $ 的零空间中，其中 $ K_0^{p,q} $ 是 $ H^r(M_0) \to H^r(Y_0) $ 的核。
• 所有 canonical bundle 为平凡的 Kähler 流形均为无阻碍的，作为第一个配对消失的直接推论。
• 在具有曲线形变的相对情形下，当与 $ K_0^{p+q+1,q-1} $ 配对时，若满足 Gauss-Manin 消去，则家族 $ Y_S/Y_S' $ 的扩展障碍消失。
• 可积性条件 $ \bar{\partial}\xi - \frac{1}{2}[\xi, \xi] = 0 $ 刻画了产生实际全纯形变的 Kuranishi 数据。
• 障碍与环境 Hodge 类的配对消失，因为此类配对衡量的是 Hodge 结构形变的障碍，而根据 Deligne 理论，这些障碍是平凡的。