## Noncommutative formality implies commutative and Lie formality.(English)Zbl 1410.55006

When dealing with associative, commutative or Lie differential graded algebras (a.k.a. dgas), formality is an important and much studied concept. For example, an associative dga $$A$$ is formal if there is a chain of quasi-isomorphisms of associative dgas relating $$A$$ to its cohomology algebra $$H^*A$$, viewed as a dga equipped with the trivial differential. In the paper under review, the author studies how different notions of formality imply each other. One main result states that if $$A$$ is a commutative dga over a field of characteristic 0, then $$A$$ is formal as a commutative dga if and only if $$A$$ is formal as an associative dga. Another main result states that a differential graded Lie algebra over a field of characteristic 0 is formal if and only if its universal enveloping algebra is formal as an associative dga. These two results have applications to rational homotopy theory where one is interested in the formality of cochain algebras over the rationals.
One important tool for the proofs of the main results in this paper is a theorem by J.-L. Loday and B. Vallette [Algebraic operads. Berlin: Springer (2012; Zbl 1260.18001)] that characterizes formality over a Koszul operad $$\mathcal{P}$$ in terms of a property of algebras over the cobar construction $$\mathcal{P}_\infty$$ of the Koszul dual operad of $$\mathcal{P}$$. For $$\mathcal{P}$$ being the associative, the commutative, or the Lie operad, the author then shows that formality of minimal $$\mathcal{P}_\infty$$ algebras is detected by obstruction classes in an operadic chain complex. This, for example, specializes to results by T. V. Kadeishvili [in: Tr. Tbilis. Mat. Inst. Razmadze 91, 19–27 (1988; Zbl 0717.55011)] about minimal associative dgas and the Hochschild complex. The non-trivial implications of the above main results are then established by showing that suitable maps between obstruction groups are injective so that the vanishing of the image of obstruction classes in the target implies the vanishing of the classes in the source.

### MSC:

 55P62 Rational homotopy theory

### Keywords:

formality; commutative formality; Lie formality

### Citations:

Zbl 1260.18001; Zbl 0717.55011
Full Text:

### References:

 [1] 10.1007/BFb0077792 [2] 10.4310/MRL.2008.v15.n6.a1 · Zbl 1170.16018 [3] 10.1016/0021-8693(68)90062-8 · Zbl 0157.04502 [4] 10.2140/agt.2014.14.2511 · Zbl 1305.18030 [5] 10.1007/BF01389853 · Zbl 0312.55011 [6] 10.1007/978-1-4613-0105-9 [7] ; Félix, Algebraic models in geometry. Oxford Graduate Texts in Mathematics, 17, (2008) · Zbl 1149.53002 [8] 10.1090/S0273-0979-1988-15631-5 · Zbl 0663.53056 [9] 10.1016/0001-8708(79)90043-4 · Zbl 0408.55009 [10] 10.4064/bc85-0-16 · Zbl 1181.55012 [11] 10.4310/HHA.2001.v3.n1.a1 · Zbl 0989.18009 [12] 10.1023/B:MATH.0000027508.00421.bf · Zbl 1058.53065 [13] 10.1007/978-3-662-11389-9 [14] 10.1007/978-3-642-30362-3 · Zbl 1260.18001 [15] 10.1016/j.jalgebra.2015.04.029 · Zbl 1394.17043 [16] ; Markl, Operads in algebra, topology and physics. Mathematical Surveys and Monographs, 96, (2002) · Zbl 1017.18001 [17] 10.2307/1970615 · Zbl 0163.28202 [18] 10.2307/1970725 · Zbl 0191.53702
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.