修士一年4Q46日目

1/20(金)　晴れ

8時過ぎに起きて9時前に家を出た。大学に行ってからは昨日のセミナーのときに話してた問題点についての解決方法を考えていた。ちょっとこうすれば良いんじゃないかみたいなアイデアを貰っていたのでそれを自分なりにちゃんと証明し直していた。

いくつか難所があって、前に自分で考えたときは似てるけど違う方法をやっていた。今回のはもう少し上手く行きそうな気配がしている。イデアルの高さとかs.o.pを色々いじっているんだけど整拡大になる場合をたくさん使って最終的に結構いい形まで持ってこれた。最初に言いたかったことはs.o.pの延長だけどそれはまず出来た。だけどそれをもう一段階延長するのがちょっとわからないまま。

高さの計算のところとかは前にやっていた議論の記憶をもとにしてそちらも問題なかったのであとはそこだけ。でもそれも解決できるっぽいんだけどまだ分かっていない。もう少し考える。

午後は久しぶりに会った人と雑談したりその後も研究集会についてちょっと聞きたいことが有った人とそこそこの時間色々と話していた。話し始めると止まらない。

それで今日は家に帰ってきた時間が少し遅かった。それでもその後また進めて上に書いたようないい感じの主張までは示せた。後は延長だけなんだけどそこは明日以降また考えてみたい。後ここだけなのでどうにかして完成させたいし。ちょうど土日なのもあって時間もあるからちょうどよかった。そういうことで今日の日記はここまで。もう眠い。