10/23(土) 晴れ 11時位に起きた。昨日わかってなかった自由加群のところもやっぱりわからないままだったので続きを読んだ。perfectoid体上のalmost purity theoremを示す。perfectoid体上の有限次分離拡大はまたperfectoidであることは一般の場合の関手の存…

10/22(金) 晴れ 書いてるのは10/23なんだけど何やったか忘れた。tiltを取って代数閉体だったらもとも代数閉体っていう定理を示すためにごちゃごちゃやってた。何個か補題を示してtiltが上手く行っているなという感想を得た。tiltをとってもperfectoid体につ…