The homotopy invariance of the Kuranishi space (Q919497): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q190374 |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Stefan Papadima / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 02:36, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The homotopy invariance of the Kuranishi space |
scientific article |
Statements
The homotopy invariance of the Kuranishi space (English)
0 references
1990
0 references
Deligne's principle: ``deformation theory in characteristic zero is controlled by dg Lie algebras, in a homotopy invariant way'', as foreseen by \textit{M. Schlessinger} and \textit{J. Stasheff} in their work on moduli spaces arising in rational homotopy theory [Univ. North Carolina Preprint (1979)] is once more illustrated here, by the deformation theory of analytic structures on complex compact manifolds M, controlled by the Kodaira-Spencer algebra. One may in general associate to a (cochain) dg Lie \((L^*,d)\) the Kuranishi space \(K_ L=\{y\in C^ 1(L)|\) \(dy+[y,y]=0\},\) where \(C^ 1(L)\) is a complement to \(dL^ 0\) in \(L^ 1\). If L has a suitable topology and dim \(H^ 1L<\infty\) (shortly, if L is analytic) then the germ \((K_ L,0)\) has the structure of a finite- dimensional analytic germ; for the Kodaira-Spencer algebra of M, this construction just gives the versal deformation of M. The main result establishes the fact that the analytic germ \((K_ L,0)\) depends only on the homotopy type in low dimensions of the underlying dg Lie \((L^*,d)\). The proof uses techniques from an earlier paper of the authors [Publ. Math., Inst. Hautes Études Sci. 67, 43-96 (1988; Zbl 0678.53059)]; the task here is easier, since there is no need to divide out by the gauge action of \(\exp (L^ 0)\). As far as the computational side is concerned, one will find here one step further beyond the case of formal dg Lie algebras (previously extensively studied by the authors [loc. cit.]). For \(M=N/\Gamma\), where N is a complex nilpotent Lie group whose Lie algebra n is defined over \({\mathbb{R}}\), and \(\Gamma\) is a cocompact lattice, it is shown, by adapting an old argument of \textit{K. Nomizu} [Ann. Math., II. Ser. 59, 531-538 (1954; Zbl 0058.022)], that the Kodaira-Spencer algebra of M is homotopy equivalent with the finite-dimensional dg Lie \((\Lambda n^*\otimes n,d\otimes 1)\), where \((\Lambda n^*,d)\) is the dga coming from the Koszul resolution; by the above-mentioned main result, the base space of the versal deformation of M turns out to be independent of \(\Gamma\) and may be easily computed as the Kuranishi space of \((\Lambda n^*\otimes n,d\otimes 1)\), namely as the germ at zero of the affine variety of the Lie algebra endomorphisms of n.
0 references
deformations of complex manifolds
0 references
Kodaira-Spencer dg Lie algebras
0 references
Kuranishi space
0 references
quasi-isomorphism
0 references