Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
6  
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

 
discard

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

Browse other questions tagged or ask your own question.