修士一年2Q56日目

8/5(金)　曇り

8時位に起きた。眠かった。午後の発表会に参加するためにいつもの時間から大学に行っていた。今日はちょうどいい気温で過ごしやすかった気がする。午前中は昨日まで考えてたやつをまた眺めてたけどどうもできなかった。なんとなく示そうとできる場合もそれは今本当に欲しい場合に帰着できるか怪しいし、今欲しい場合を示すのが本当に何も手が出てない状態。もうここだけなのがとても悔しい。

それで眠かったのもあって少し仮眠を取ったりお昼ごはんを食べたりしていたら発表会の時間になった。初めて聞きに行ったけど結構人が居た。でもまあ確かにそれくらいのものかもしれない。自分が最近勉強してたのと少し被ったところを発表している人も居て面白かった。

終わってからはちょっと思いついていた構成方法を試してみて、今使う場合には何を示せば良いのか確認してた。結局Frobeniusの移り先をちゃんと考える必要があって、今構成した整閉包を取ってる形のせいで元の行き先が分かりづらくて手こずっている。もしかしたら整閉包の条件を他のに書き換えてできるのではないかと思って家に帰ってきてからやってたけどなんかうまくいかない。almost integralとかp-root closureとかにしてるけどやっぱり和が絡んできてるせいで難しい。剰余環は和の構造が大事なくせに今見てるFrobenius写像は本質的に乗法的な対象であるのが原因っぽい。

その後もなんかちょっと考えてたけどうまくいかなかった。前もあったように袋小路って感じ。もともとの証明の方をなんとか変えないといけないかもしれないけどそもそも今日やってたことが示せたとしてそこからすぐに今使いたい形が分かるわけではないしどうしたもんか。

明日はちょっと戻って今日示そうとしていたことを使って回る証明を考えてみたいと思う。少し気分転換。そういえばレポートの提出を忘れないようにしないといけない。今日の日記はここまで。