Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
It would be nice if Danny who worked a lot on this topic joins us writing someting about it. I worked on this in 1997. but my results were not so advanced as his. In 2000 there is a short preprint which got just a bit more than where I got, but less than what Danny had
Hi, this is Urs speaking here, using Zoran"s account. (I am at his appartment and cannot use my own machine to go online here.)
I just added to nonabelian Lie algebra cohomology at Abstract definition the details of the anounced claim and proof about how nonabelian Lie algebra cohomology is an example of the general nonsense of cohomology.
I (Zoran this time) created Lie algebra extension, an entry related to nonabelian Lie algebra cohomology entry.
I removed the query box that used to be at the end of the long proof at nonabelian Lie algebra cohomology and replaced it with a note in the text.
The query box had been worried that the proof had a gap due to missing cofibrancy in $dgAlg$, but in fact what the proof really needs is cofibrancy in $dgAlg^{op}$, which is trivial. So all is fine with the proof and only the query box was confused and had to go.
Hm, on the other hand the other object should be fibrant in $dgAlg^{op}$. Hm, still needs attention after all.
1 to 6 of 6