On the homotopy Lie algebra of a local ring (Q1064359)

Let R be a commutative Noetherian local ring with residue field k. Then \(Ext_ R(k,k)\) is the enveloping algebra of a graded Lie algebra \(\pi\) (R). The author studies the Lie structure of \(\pi\) (R) in special cases, in all of which \(\pi\) (R) is a semi-direct product of a Lie algebra with a free Lie algebra. This occurs when there is a Golod map \(S\to R\) [cf. \textit{C. Jacobson}, ibid. 38, 243-253 (1985; see the preceding review)]. Here \(\pi\) (R) is a semidirect product of \(\pi\) (S) with the free Lie algebra L(V) on V, where \(V^{n+1}=Ext^ n_ S(R,k)\) for \(n\geq 1\). It was proved by \textit{G. Levin} [Math. Scand. 49, 161-180 (1981; Zbl 0491.13011)] that the induced action of \(\pi\) (S) on V is the natural action of \(Ext_ S(k,k)\) on \(Ext_ S(R,k)\). In general, this action does not induce the action of \(\pi\) (S) on L(V), i.e., \(\pi\) (S) does not always map V to V inside L(V). The author gives sufficient conditions for this to be true. We will not describe here his technical general theorem, which he applies in four cases: equi-characteristic local rings with maximal ideal M satisfying \(M^ 3=0\), trivial extensions, certain Fröberg local rings, and the case \(S=k[[x_ 1,...,x_ n]]\) with ideal \(I=(x_ 1,...,x_ n)^ r\). In the second and third cases, the desired property is proved. In the first case, \(\pi\) (R) is described in terms of the Lie algebra generated by \(\pi^ 1(R)\) in \(\pi\) (R). In the fourth case, an explicit presentation of \(\pi\) (S/I) is given.