3Q(2021)24日目

10/24(日)　晴れ

12時位に起きた。13時からゼミだったので少し焦った。

ゼミではChowの補題の証明について話し合った。Goertz and Wedhornの長い証明を追った。とはいっても途中で時間が来てしまったので持ち越しになったけど。双有理同値とかで良い性質の写像が取れるという定理らしい。写像とかschemeの登場人物が多くて大変だった。

終わってからは来週の工大祭に向けて原稿を完成させた。わからなかったところに助言をもらってすぐに理解できてそれについて追記しつつ色々手直しした。そんなこんなをしていたら1時になっていて、朝5時から見ようと思っていたALGSのためにすぐ寝た。日記は10/25に書いた。