Fix definition of homotopy operator
Tobias Diez
]]>I have expanded the Idea-section at Poincare lemma a bit, mentioning also the complex-analytic version and the incarnation of the statement as the local quasi-iso (). Wanted to do more, but am out of steam now.
]]>I have added more details. (Hopefully without weird typos this time!)
]]>Phew, I hadn’t been concentrating when typing. Thanks for catching this.
Where it said “” is was supposed to say “”. Namely:
if two cochain maps and are homotopic, then they induce the same maps in cohomology.
Sorry. I have fixed it now. Any further typos? I need to call it quits now.
]]>@Anyone - the flow of statements at Poincare lemma didn’t make sense to me, so I popped a note in. I made a small correction to a typo (manifolds had changed names mysteriously).
]]>I have added a little bit of substance to Poincare lemma
]]>stub for Poincare lemma
]]>