9/5(土) 晴れ 10時頃起床。リングフィットをした。予想に反して筋肉痛がそこまでない。良いことなのか悪いことなのかはわからないけど痛みがないという点で良いことだと思う。 昨日やってなかった証明を回す。結局はaffine scheme上の話にできるからわりかし…

9/4(金) 晴れ 11時に起床。リングフィットをやる。さすがに最初よりは勝手がわかるようになってきた。 -idealでが閉部分schemeになるときがquasi-coherentになることが示せない。結局affine schemeに制限してとなることを示せればいいという所まで来たのでそ…