Deformation theory of infinity algebras. (Q1858178): Difference between revisions

Given a \(\mathbb Z_2\)-graded vector space \(V\) over a field \(F\), let \(W\) be the parity reversion of \(V\). Consider the \(\mathbb Z_2\)-graded symmetric coalgebra \(S(W)\). The space \(L= \text{Coder} (W)\) of all coderivations of \(S(W)\) is a \(\mathbb Z_2\)-graded Lie algebra which is in one-to-one correspondence with \(\Hom(S(W),W)\), \(L=\Pi _1^{\infty }L_n\), \(L_n= \Hom(S^n(W),W).\) A codifferential of \(S(W)\) is a coderivation \(d\) such that \([d,d]=0\). An odd quadratic codifferential \(d_2\in L_2\) defines a \(\mathbb Z_2\)-graded Lie structure on \(V\). In general, an odd codifferential \(d\in L\) gives a series \(\{ d_n\}\) of operations on \(V\), \(d_n: S^n(W) \to W\), satisfying the generalized Jacobi identity \([d,d]=0\). A vector space \(V\) equipped with such \(d\) is an \(L_{\infty }\) algebra. \(A_{\infty }\) algebras generalizing associative algebras are defined anologously [see \textit{M. Schlessinger} and \textit{J. Stasheff}, J. Pure Appl. Algebra 38, 313--322 (1985; Zbl 0576.17008)]. In the paper the theory of deformations of infinity algebras is constructed. Given a \(\mathbb Z_2\)-graded commutative algebra \(A\) equipped with a fixed augmentation \(\varepsilon :A\to F\), an algebra \(L_A\) with the \(A\)-linear codifferential \(d\) is obtained by extension of scalars. A deformation of an \(L_{\infty }\) structure \(d\) with base \(A\) is defined to be an odd codifferential \(\widetilde d\in L_A\) which maps to \(d\) under the natural projection. In the case when \(\mathfrak m^2=0\), where \(\mathfrak m=\ker \varepsilon \), one has a so-called infinitesimal deformation. A formal deformation corresponds to a formal algebra \(A\). The map \(D:L\to L, D(\phi )=[D,\phi ]\) is a differential, equipping \(L\) with the structure of a differential graded Lie algebra. In contrast with the classical case when \(d=d_2\), for infinity algebras the entire cohomology governs the infinitesimal deformations. It is shown that the category of equivalent classes of infinitesimal deformations of \(d\) has an initial object named a universal infinitesimal deformation. The main objective of the paper is to extend the universal infinitesimal deformation to miniversal formal deformation. The solution to the problem is based on the theory of Harrison cohomology of commutative algebras. The authors analyze the extesions of commutative algebras by modules and then consecutively construct a formal algebra \(A\) and a deformation \(\widetilde d=d+\delta\) covering any given formal deformation \(d'\) of \(d\), thus proving that there is a miniversal deformation of \(d\) under the assumption that \(L\) is a complete filtered \(\mathbb Z_2\)-graded Lie algebra of finite type (Theorem 8.1).