MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given an A-algebra B, one can define the cotangent complex $L_{B/A}$ as $\Omega^1_{P/A}\otimes_PB$, where $P$ can be taken as the canonical resolution of $B$ associated to the pair of adjoint functor (forget, free-$A$-algebra).

As I understand it, the cotangent complex is a basic invariant of $A$-algebras --- like the complex of singular chains associated to a space. So I'm wondering if one can recover the original $A$-algebra from a cotangent complex (up to some equivalence).

In other words, if there is a map $B\rightarrow B'$ of $A$-algebras inducing a quasi-isomorphism of cotangent complex of $B'$ with the pull back of that of $B$, does this say something about the two $A$-algebras?

What I have in mind is something like the Whitehead theorem for CW complexes.

share|cite|improve this question
The cotangent complex of an étale $A$-algebra is trivial, and there are so many of them... – Fernando Muro Nov 3 '11 at 20:19
@Fernando: Good point. But does this just mean one can only "recover" it up to some equivalence relation, which includes the etale one? – 36min Nov 3 '11 at 20:44
That would be very coarse from any point of view I can think of, but I don't know what you may have in mind. – Fernando Muro Nov 3 '11 at 21:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.