No label defined (Q4944264)

The author develops a conceptual approach to study infinitesimal and formal higher order deformations, and illustrates his techniques in the case of a compact complex manifold \(X\) without global vector fields. Starting from the classical Kodaira-Spencer map, which identifies first-order deformations with a first cohomology group, a higher-order analogue is constructed. The philosophy is that \(n\)-th order deformations of \(X\) are related to the cohomology of special complexes of sheaves (subcomplexes of the ``Jacobi complex'') on the so-called very symmetric product \(X<n>\), which parametrizes non-empty subsets of \(X\) of cardinality \(\leq n\). The main result is the following. Theorem. Let \(X\) be a compact complex manifold with \(H^0(T_X)=0\), and let \(J\) be the Jacobi complex of \(X\). Then (i) for each \(n\), there is a canonical ring structure on \(R^u_n=\mathbb{C}\oplus \mathbb{H}^0(J_n)^{\vee}\) and a canonical flat deformation \(X_n^u/R^u_n\), fitting together as a direct system with limit \(\hat{X}^u/\hat{R}^u=\underrightarrow{\text{lim}} X_n^u/R^u_n\); (ii) for any Artin local \(\mathbb{C}\)-algebra \(R_n\) of exponent \(n\) and flat deformation \(X_n/R_n\) of \(X\), there is a canonical Kodaira-Spencer ring homomorphism \(\alpha_n=\alpha_n(X_n/R_n): R^u_n\to R_n\) and an isomorphism \(X_n/R_n\simeq \alpha^*X_n^u=X^u_n\times_{R^u_n} R_n\); (iii) if \(\hat{R}= \underleftarrow{\text{lim}} R_n\) is a complete local Noetherian \(\mathbb{C}\)-algebra and \(\hat{X}=\underrightarrow{\text{lim}} X_n/R_n\), then \(\hat{\alpha}=\underrightarrow{\text{lim}} \alpha_n: \hat{R}^u\to \hat{R}\) exists and \( \hat{X}/\hat{R}=\hat{\alpha}^*( \hat{X}^u/\hat{R}^u).\)