2024年12月10日火曜日

Kummer の定理の証明は済むも、イデアル類群の有限性の証明が残ってしまった

今日は資源ゴミの日、と気付いてしまったので、呑み呑み分別作業をして、それからちょっと「数学展望」の資料を直して、とかやってるうちにまた朝に成ってしまった。いけないな。爆睡すると講義に遅れるので、テレビを付けっ放しにして仮眠程度にした。で1時半くらいに起きて、1時40分くらいには住処を出るという慌ただしさ。で生協で弁当を買ったが、ゆっくり食べられるだろうか?そんなに時間が無い。個研室へ行くのは面倒だし、表で食べるほど暖かくはないので、講義をやる部屋が前の時間空いてると嬉しいな、と思って行ってみたが、講義をしていた。仕方ないので個研室で短時間で掻っ込んだ。

2時40分から院生向け「数理科学特論2」。Kummer の定理の使用例を幾つかやって、いよいよ証明に差し掛かる。必死にやって、そんなに長くない証明を付けられたが、やっぱり話すと時間が掛かるな。途中シャッターの音が後ろから聞こえたが、もうノートをとるのを諦めたのだろうか?あの程度の証明で長いと思っちゃ駄目よ。修業が足りないと思ったので、つい言ってしまった。でイデアル類群を定義して、有限性を示そうとしていたら腹の調子が悪くなってきた。やはり講義の前の日は呑んではいけませんな。そのタイムロスのせいで有限性が示せなかった。仕方ない。帰り際に学生に TeX のトラブルは直ったかと聞いたら、直ったらしい。Overleaf で日本語を使うのには何か呪文が必要らしく、その行をうっかり消してしまったのが原因だと言ってた。赤堀先生の学生さんに教わって直してもらったそうだ。赤堀先生のゼミの学生さんは色々と研究集会で発表しているので、資料作りに TeX を使って慣れているのだろう。

4時半から教授会。今日は報告事項が主で、正直結構退屈だった。4月から名誉教授に成る先生方の名前が紹介されていたが、中に保健センターの伊東先生の名前があった。診てもらっている時に気付いたが、首から下げてる教職員証に「教授」と書いてあって、ああ、こういう立場でも教授とかあるんだな、とビックリした。若そうに見えるが、もう65歳ということか。4月からも診てもらえるんだろうか?緊張せずに診てもらえるので、そうしていただけると有り難いが。別の先生だとまた新たに人間関係を構築しないといけない。それはちと面倒。で教授会は5時半くらいには終了した。その後何か別の委員会があるらしい。ご苦労様です。さっきその件について報告のメールが来た。大事なことを話していたんだな。来週の学科会議でその件を話し合うと案内が来ていた。もめるんだろうか?

その後色々やることがあって、どれからやろうか迷ったが、福岡の報告集の直しを金曜日までに済まさないといけないので、それからやることにした。前に書いた通り一箇所直したいところがあるので。でそこを済ませて終了、という手抜きはしないことにした。ボールペンを持って、一行ずつ丹念に紙に書き写しながら点検。するとまあ出てくる出てくる下らんミス。\ep(\varepsilon と何度も打つのが面倒で、\ep にしてある)の筈が \pi に成ってたりとか、逆に u と書くべき場所が \ep に成ってたりとか、平仮名が一文字抜けて変な日本語に成ってるとか、場合分けの条件が二つとも同じに成ってたりとか。まあ前にやった時も一生懸命やったので、計算ミスは無かったが。それでもこれだけミスがあるんだから、ちゃんとしたものを書き上げるのは大変だな。校正の機会を貰えてよかった。で熱中してやってて、時計を見たら9時。まだ半分しか終わってないが、もう帰ることにした。

今日は豚カツを食べよう、と思っていたんだが、ドラッグユタカでジャージ(今はスウェットと言うのか)を買おうと思っていたのを思い出した。国道一号まで出て、松のやに行って食べて、国道一号で帰ったら閉店まで余裕が無くなりそうだったので、高速道路で帰った。飯はなか卯で親子丼だな、と決めて、買い物を済ませてからなか卯へ。貸し切り状態だったので、すぐ親子丼が出てきた。文庫本は1ページしか進まなかった。まあいいです。

さて寝不足だが、もう一頑張りするか。上に書いた通りそんなに余裕があるわけではないので。明日はまた銀行の人が来るから、程々に起こされる。今晩の成り行き次第だが、いい加減床屋に行きたい。頑張ろう。