Matthias Ludewig, Florian Hanisch
Witten's heuristic proof of the index theorem using supergeometry is well known but still not fully mathematically understood. We present the approaches to the subject by Witten, Atiyah and Lott (and maybe others) and our understanding of these. This is work in progress!
