3Q(2021)1日目

10/1(金)　雨

10時過ぎに起きた。標数pのときのパーフェクトイド空間についての命題の続きを示した。tiltがちゃんとほしい形になっていることを示した。

午後はリングフィットをやったあと今度は一般の標数に対して同じことを示す。なんか証明も長くてそれで一日が終わった。また眠くてお家して寝落ちしかねないのでもう寝ることにする。3Q始まって最初の日なので非輪状がありそう。眠くてもう頭回ってないので寝る。