修士一年2Q30日目

7/10(日)　晴れ

10時に起きた。なんか身が入らなくて午前中はずっとエルデンリングの実況を見てた。自分ではやりきれなかったところも見れて良かった。久しぶりに見たけどやっぱり面白い。自分でまたやるには物量が多すぎて流石に出来ないけど。

午後からは数学をやってたけど昨日整えていた主張をまた見てみたけどどうも成り立たない気がしてきた。Noetherな場合で成り立つような特殊なことを仮定したとしてもすぐにはわからない。素イデアルの閉包がまた素イデアルになるかどうかわからないのがしんどすぎる。tiltのときと違って対応が全然無いのがだめ。それでなんか核の元をちょっと見てみたり条件を他に書き換えたりしてみたけどだめ。perfect closureになっているという性質もうまく使えないし。Berkovich spectrumの間の同型があったとしてもそれが素イデアルの方と対応してくれない気がしている。対応していたとしてもまだうまく使えてない。

それでダラダラ午後は数学してたら夜になっていた。なんか最近土日にのんびりしすぎな気もする。程々にしていきたい。まあ大学に行ってないからな気もするけど。とりあえず明日は午後に授業とバイトと集中講義がある。集中講義は途中でバイトのために抜けなきゃいけなくて、そうしたときに火曜日にどれくらい授業についていけるかわからない。とにかく午前中には時間があるから、このままやってても埒が明かないからBerkovich spectrumと素イデアルの間の対応についての文献を探したり他の方法で証明する方法がんないか調べてみる。今日はあとはperfect closureの性質をもう少し考えてみて寝ようと思う。