ここ数ヶ月、定式化を整理していた、ブルバキ多様体。リー群の基本のところを含めて、一段落しました。
他にも、微分多様体の基礎 3, 4 (僕のノートをスキャナーで読み込んだやつです) も, 微分多様体の基礎 2, 6 (LaTeX 版) との重複部分を削除して、整理したものを再アップロードしています。
ここまでの作業で、ブルバキ多様体の、離散でない付値体をスカラー体として持つ場合の定式化が完了です。数年がかりでした。LaTeX での全ての清書は分量が多すぎて諦めていますが、主要なところは清書しております。