寝坊した。二日続けて寝不足だったのに、結構遅くまで起きていた。で寝床に入っても中々寝付けなかった。夜中に成ると元気に成る。で起きたらもうゼミには間に合わない。飲み食いの時間を惜しめばちょっとの遅刻だが、空腹でゼミは大変なので、ちょっと許してもらうことにして、生協で弁当を買って、で遅れて開始。今日は相対判別式の話。F⊂K'⊂K の時に相対判別式がどうなっているかという定理の所で、相対判別式が (1) （まだデデキントの判別定理をやってないので、（狭義）不分岐拡大とは言えない）の時に root discrimant が不変であって、ミンコフスキーなり Odlyzko なりの判別式の（もしくは root discrimiant の）下界を表す式に矛盾する、とやって色々非存在の定理を示した話などをしておいた。他にも F⊂K の時に d(F)｜d(K) とか。いや、もっといいことは言えるが、まあそれくらいで。で2時間強やった。いや、遅れていかなければもうちょっとやれたが。申し訳なかった。
その後部屋でちょっと計算。逆イデアルのことがゼミ中にちょっと分かってないことが判明したので、考えてみる。気に成ったことその1は前に示して TeX 化してあった。「30年前のことなら覚えちゃいるが、昨日のことは忘れたな」だかなんかダウンタウンブギウギバンドの歌をもじった老人呆けの人を馬鹿にするネタがあったが、最近それを実感するね。で他に TeX 化してあるものを見たが、a∈I ⇒ a－1∈I－1 と書いてあるのがどうも嘘くさい。SageMath は普通にイデアルを使ってるつもりでも Fractional ideal と表示されるから、分数イデアルも問題無く使えるだろうということで、K＝Q(√－5) にして、I をいつもの (2,1＋√－5) として、I－1 に（SageMath では 1/I と打てばよい）に 1/2 が入っているか確かめたら、False と返ってきた。意外だがそうなのだな。(a)－1＝(a－1) だからね。知っているようで知らないことってあるね。小生何でもコンピューターにやらせて、それを納得いくようにしたいという勉強の仕方をしてきた。そうこうしているうちに楕円曲線とか色々いじれるようになったので、どんどん実験しないと。そういうこと無しに出来るほど天才ならよかったが、もう今更無理。出来る範囲で残りの研究人生楽しまないと。
今日は降水確率100%だったが、出掛ける時は少し青空が見えていたし、帰りも地面が大して濡れてない。ほんまに100%か？と思ったが、車は濡れてた。降ったのかな、やはり。で住処に着いて30分くらいボーっとして、ちょっと表に出ると結構降ってた。金曜日まで毎日雨、というのは本当らしい。が、用事が済むと止んでた。何なんだか。まあ降ったから高すり確率が高いのは嘘じゃなかったんだな。
帰ってきてテレビを付けたら、厳島神社でロケをしている映像が流れてた。厳島神社行ったな。広島大学で学会があった時に。路面電車で港まで行って、そこからフェリーで渡る。でそこで偶然にもM林さんに会って、一緒に宮島を散策した。途中休憩に入った店に小関先生（M林さんの当時の同僚の大先生）がいてビックリしたな。帰りは潮が引いていたので、鳥居の真下を歩いた。小早川隆景が陶軍に味方に来た九州の大名だと嘘を言って、鳥居の真下を船で通ったという逸話を思い出して、ちょっと英雄に成った気分を味わえて楽しかった。また行きたいな。
明日は月2回の資源ゴミの日だった。ゴミ出ししている時は雨が止んでて欲しいが。今回は曜日の巡りがいいので、次の資源ゴミは2週間後だが、3週間空くこともある。そうすると段ボールが大量に出ている。まあ今晩は少ないだろうな。ゴミ捨て場は各自の部屋で開けられるので、閉めておけば晩のうちに出せるのは有難い。前住んでた所は京都市がゴミを収集していなかったので、365日24時間いつでも出せた。しかも京都市の有料のゴミ袋を買わないでよかったし。まあ今の住処の方が冬は床暖房だ風呂暖房だとあるのでよっぽどいいが。さ、やるか。
