マイヤーヴィートリスを証明してみた件

ちょっと前に専門の関係でマイヤーヴィートリスの完全列について勉強してたときにその証明をまとめたものをせっかくなので上げておきます。ここでは多様体上のマイヤーヴィートリスについてです。

微分形式の計算とかコホモロジーの計算とかはフルに仮定してます。逆に蛇の補題とかホモロジー代数は仮定しません（自分もなんも知らんので）。

その辺もまた勉強しなければ…