REVIEW 1 cited by
Non-commutative formality implies commutative and Lie formality
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Non-commutative formality implies commutative and Lie formality
read the original 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.
Forward citations
Cited by 1 Pith paper
-
Obstruction sequences to homotopy equivalences
Gauge-theoretic obstruction sequences characterize homotopy equivalences between algebras over properads and colored operads, with applications to minimal models over general fields and in etale cohomology.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.