10/2(土) 晴れのち雨 8時半くらいに何故か目が覚めた。午前中は昨日の続きのところを読んだ。どうやって使っているのか分かっていないところがあったけどそもそも今示したいことにそれは使っていなくて標数pの場合の証明をそのまま使うことができた。そのま…

10/1(金) 雨 10時過ぎに起きた。標数pのときのパーフェクトイド空間についての命題の続きを示した。tiltがちゃんとほしい形になっていることを示した。 午後はリングフィットをやったあと今度は一般の標数に対して同じことを示す。なんか証明も長くてそれで…