現時点での進捗状況です。
[1] ブルバキ多様体は、Chapter 8 の必要な部分まで、定式化のし直しが終わり、リー群とリー環に入っています。リー群の多様体構造について、C^r_i 級での定式化を行うためです。(0 ≦ r ≦ ω, i = 0, 1, or 2.) ただし、逆関数定理や陰関数定理を使う部分は、多様体の一般論同様、i = 1 or 2 と仮定しなくてはなりません。その後は、捩れ微分形式についての定式化の復習に入ります。
[2] ブルバキ積分の復習は、vol.1 が終わり、vol.2 を読んでいる途中です。vol.1, vol.2 は、大まかに復習して、本命は vol.3 〜 vol.5 です。論理構成をもう一度検証し直します。その後はボホナー積分の勉強を、僕が以前書いたノートを読みながら復習します。
