DIFFERENTIAL GRADED LIE ALGEBRAS AND FORMAL DEFORMATION THEORY
DIFFERENTIAL GRADED LIE ALGEBRAS AND FORMAL DEFORMATION THEORY
复制标题
微分梯度李代数和形式变形理论
DOI:
10.1090/pspum/080.2/2483955
复制
发表时间:
2006
期刊:
影响因子:
--
通讯作者:
M. Manetti
中科院分区:
文献类型:
--
作者:
M. Manetti
This paper aims to do two things: (1) to give a tutorial introduction to differential graded Lie algebras, functors of Artin rings and obstructions; (2) to explain ideas and techniques underlying some recent papers [29, 31, 32, 11, 17] concerning vanishing theorems for obstructions to deformations of complex Kähler manifolds. We assume that the reader has a basic knowledge of algebraic geometry, homological algebra and deformation theory; for this topic, the young person may read the excellent expository article of Arcata’s proceedings [39]. The common denominator is the following guiding principle, proposed by Quillen, Deligne and Drinfeld: in characteristic 0 every deformation problem is governed by a differential graded Lie algebra. After the necessary background we will restate such principle in a less vague form (Principle 1.9). The guiding principle has been confined in the realm of abstract ideas and personal communications until the appearance of [37, 13, 24, 25]1 where a clever use of it has permitted interesting applications in concrete deformation problems. In particular the lecture notes [24] give serious and convincing motivations for the validity of the guiding principle (called there meta-theorem). In this paper we apply these ideas in order to prove vanishing theorems for obstruction spaces. Just to explain the subject of our investigation, consider the example of deformations of a compact complex manifold X with holomorphic tangent bundle ΘX . The well known Kuranishi’s theorem [26, 39, 5, 14] asserts that there exists a deformation X f −→Def(X) of X over a germ of complex space Def(X) with the property that the Kodaira-Spencer map TDef(X) → H1(X, ΘX) is bijective and every deformation of X over an analytic germ S is isomorphic to the pull-back of f by a holomorphic map S → Def(X). From Kuranishi’s proof follows moreover that: 1. Def(X) q−1(0), where q : H1(X, ΘX) → H2(X, ΘX) is a germ of holomorphic map such that q(0) = 0. 2. The differential of q at 0 is trivial. 3. The quadratic part of the Mac-Laurin series of q is isomorphic to the quadratic map H(X, ΘX)→ H(X, ΘX), x → 1 2 [x, x],
DOI:
--
发表时间:
2003
期刊:
Ser. High Energy Physics. Cosmol. Gravit.
影响因子:
--
作者:
Kaoru Ono;Kenji Fukaya
通讯作者:
Kenji Fukaya