昨晩もなんやかやと結構遅くまで起きてた。で今朝12時くらいまで起きられなかった。「今朝」ではないか。まあまあ。で急いで出掛ける。今日は急に暑く成ったので、今シーズン初の半袖。暑過ぎて外で食事しようと思う人が少ないのか、弁当はたっぷり残ってた。２週間くらい前は丁度いい陽気で天気が良かったこともあり、弁当は売り切れごめんだったが。唐揚げとメンチカツの弁当を買って、個研室で食して。
1時10分からゼミ。今日も共役差積の話。先週は相対代数体の共役差積を定義したが、今日は元の共役差積を定義。それで拡大の共役差積が元の共役差積全ての最大公約イデアルに成っていることを証明。結構大変だった。途中の補題を使ったら、Q の円分拡大の共役差積が簡単に計算出来るということが分かった。大体二次体とかガロア拡大しか扱わないので、研究で共役差積そのものをいじったことは正直無かったので、大分勉強に成った。来週は相対判別式。Root discriminat の話でもしてやろうか？藤崎先生の本は余計なことが書いてない本なので、ゼミで使うにはむしろ楽だ。色々細かいことも書いてあるし。円分体くらいまでは読んでもらおうかな。その後類体論の勉強が出来ると嬉しいが。4時ちょいに終了。
それから締め切りが近いものをちょっと片付けるべく、頑張る。まあ大体固まってるし、これでどうだ、と思ったり、もう少し基本的なものに変えようか？と思ったり。まあ大丈夫かな、と6時過ぎに事務に提出した。事務に提出した、と書くと持っていったようだが、今はオンラインで提出出来る。流石にメール添付という恐ろしいことはやらせてくれない。ちゃんと所定の秘密の場所へ提出、というもの。昔は事務から台紙が送られてきて、プリントアウトして鋏で切って糊で貼って、と色々面倒だったがな。この前ちょっと個研室を漁ってたら、昔の物が出てきた。二つ同時に提出しているが、使わなかった方は返してくれる。探せばもっと出てくるだろうな。8年くらいで部屋を引き払わないといけなくなるので、適宜片付けて、置いてくる本と引き取る本の峻別をしたりしないと。
まあ大体済んだし、いいや、と7時くらいに個研室を後にした。もう日は暮れているが、暑いぞ。車のドアを開けた時はむわっときた。冷房はオートに設定してあるが、物凄い風量だった。外気温はまだ31度あった。こんなのが2週間くらい続くようなことを言ってる。嫌だ嫌だ。明日は幸い職場に行く必要が無いのでいいが、明後日は講義だ。1時10分からだから、気温がガンガン上がってくる頃に職場に向かい、一番暑い頃が講義中。勿論講義室は冷房があるが、1994年の BKC 開設の時に出来た建物群は冷房の性能が poor で困る。外よりはマシとはいえ、暑いのだ。うちは教室に時計が無いが、定期試験の時は小さい電波時計が試験グッズに入ってる。でそれに湿度も表示されるんだが、数年前に見たら室温は26度くらいだったが湿度が75%を越えていて、ギョっとしたのを覚えている。熱中症警戒アラートが出るか否かの判定条件である暑さ指数というやつは、やはり湿度が高いのが数値の高くなる原因だと言ってた。暫くこんなのが続くのは勘弁して欲しい。
でちょっと銀行に行って金を卸して、セブンイレブンで Suica やら PayPay やらチャージして、なか卯で食事をして、ちょっと遠回りしてチェリオの自動販売機で100円ドリンクを買って、とかやってたら暑くて嫌に成った。「報道ステーション」によると、東京は夜10時で27度を超えてるとか。平年のこの時期のその時間は20度くらいだと言ってた。京都は今晩熱帯夜に成るらしい。冷房は必須だな。
