Zulip Chat Archive

Stream: maths

Topic: live lecture on H^0 and H^1


view this post on Zulip Kevin Buzzard (Mar 11 2021 at 15:02):

So in 1 hour I'll be live on the discord with a bunch of PhD students trying to figure out how to prove some basic theorems in group cohomology, just H^0 and H^1 (defined explicitly as cocycles over coboundaries). It has been a joy to code up this stuff, there is a very principled way of doing it involving coercions to functions which makes everything very clean. I even put a README up here explaining a bit more about what's going on.


Last updated: May 06 2021 at 18:20 UTC