Noncommutative formality implies commutative and Lie formality
From MaRDI portal
Abstract: Over a field of characteristic zero we prove two formality conditions. We prove that a dg Lie algebra is formal if and only if its universal enveloping algebra is formal. We also prove that a commutative dg algebra is formal as a dg associative algebra if and only if it is formal as a commutative dg algebra. We present some consequences of these theorems in rational homotopy theory.
Recommendations
- A noncommutative version of Lie algebras: Leibniz algebras
- Formality for Lie algebroids
- Formality theorem for quantizations of Lie bialgebras
- Formally-radical Functions in Elements of a Nilpotent Lie Algebra and Noncommutative Localizations
- scientific article; zbMATH DE number 836649
- Non-commutative integral forms and twisted multi-derivations
- scientific article; zbMATH DE number 1788285
- Noncommutative affine spaces and Lie-complete rings
- Formes topologiques non commutatives
- Formal multiplications, bialgebras of distributions and nonassociative Lie theory
Cites work
- A universal enveloping for \(L_\infty\)-algebras.
- Algebraic models in geometry
- Algebraic operads
- Cohomology C∞-algebra and rational homotopy type
- Deformation quantization of Poisson manifolds
- Harrison homology, Hochschild homology and triples
- Homological perturbation theory for algebras over operads
- scientific article; zbMATH DE number 1757930 (Why is no real title available?)
- Introduction to \(A\)-infinity algebras and modules
- Obstructions to homotopy equivalences
- On some formality criteria for DG-Lie algebras
- On the structure of Hopf algebras
- Rational homotopy theory
- Real homotopy theory of Kähler manifolds
- The deformation theory of representations of fundamental groups of compact Kähler manifolds
Cited in
(18)- The Milnor-Moore theorem for \(L_\infty\) algebras in rational homotopy theory
- Homotopy transfer and formality
- Noncommutative unfolding of hypersurface singularity
- Formality of DG algebras (after Kaledin)
- Formality criteria in terms of higher Whitehead brackets
- On some formality criteria for DG-Lie algebras
- Formality criteria for algebras over operads
- Triviality of the higher formality theorem
- Koszul A∞-algebras and free loop space homology
- Cohomology of generalized configuration spaces
- Étale cohomology, purity and formality with torsion coefficients
- Formality and finiteness in rational homotopy theory
- Loop homology of moment-angle complexes in the flag case
- E₂-formality via obstruction theory
- Weight structures and formality
- Higher structures in rational homotopy theory
- Properadic coformality of spheres
- Formality and deformations of universal enveloping algebras
This page was built for publication: Noncommutative formality implies commutative and Lie formality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2398929)
