4Q65日目

2/6(土) 晴れ

11時に起きた。午前中は線形代数の問題を解いた。わからないところが多々あってしっかりやらないといけないなあという気分になった。

午後は少し線形代数をしたあとガロア理論の問題を解いた。ゲーム実況を見ながらは問題を解けないので問題解く系のものは今のうちにやっておく。そこそこ解いたけどこれ以上解いても頭に入らなそうなので適当なところで切り上げた。

そんなこんなしてたら夜ご飯を食べて楽しみにしていたポケセン封鎖の実況が始まった。こういうダラダラ聞ける配信の裏で数学をすると進むので良い。

Zariskiの主定理の局所版の言い換えを見た。 \mathrm{LocIsom}の言い換えとか特殊な場合とか一般のschemeの場合を局所的に見て開集合であることを示した。その後には一般の場合のZariskiの主定理の証明をするためにhenselian ringとかflatな場合の状況とかを見た。ここは後にやるfaithfully flat descentを使うらしくfactとして扱われていた。

ペクスの配信見ながら次の系だけ書いていた。いつのまにか1時を過ぎていたので寝る。