ここ 5 年くらい取り組んでいた, ブルバキ多様体の定式化の一般化が終了しました. スカラー体 K が離散でない可換付値体の場合, そして, 1 ≦ r ≦ ω に対する C^r 級の場合についての精密な定式化です. research gate に掲載している pdf で, スキャナーで読…