Pith. sign in

REVIEW 1 cited by

Lie, associative and commutative quasi-isomorphism

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

arxiv 1904.03585 v5 pith:RBY4D3XO submitted 2019-04-07 math.RA math.ATmath.KTmath.QAmath.RT

Lie, associative and commutative quasi-isomorphism

classification math.RA math.ATmath.KTmath.QAmath.RT
keywords algebrasassociativequasi-isomorphichomotopyrationalcommutativedifferentialenveloping
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational homotopy theory, showing that the rational homotopy type of a space is determined by its associative dg algebra of rational cochains. We also show a Koszul dual statement, under an additional completeness hypothesis: two homotopy complete dg Lie algebras whose universal enveloping algebras are quasi-isomorphic as associative dg algebras must themselves be quasi-isomorphic. The latter result applies in particular to nilpotent Lie algebras (not differential graded), in which case it says that two nilpotent Lie algebras whose universal enveloping algebras are isomorphic as associative algebras must be isomorphic.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Obstruction sequences to homotopy equivalences

    math.AT 2025-09 conditional novelty 6.0

    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.