昨日のタイトルが「どうにか成りそう」だったが、何かそこはかとなくおかしい。で結論は間違ってる、ということに。で一旦放り出した石田信先生の「代数学入門」（実教出版）をもう一度取り出した。いや、職場で読んでた本と住処で読んでたのは物理的に違う個体なので、もう一度は嘘だが。まあ細かいことは兎も角。何かちょっといじればいきそうな感じ。が、何か色々分からないことがあって難渋。地震のニュースも気に成ったりで、中々思うように成らない。4時55分に通常より5分早く「おはよう朝日です」が始まって、でそっちを気にしたり数学を気にしたりで、限界が訪れた。ちょっと休憩、のつもりで YouTube を見たが、何度も寝落ちした。「こつあず鉄道チャンネル」とかいうのがあって、前に見たからなのかチャンネル登録をしてしまったのか分からないが、よくお奨めリストに上がってくる。実家の近所だったり住処の近所だったりの話題もよく出るのだが、全然知らない所が話題に成ると見るのを中断して、そうすると寝てしまう。が、スマホから音声が出続けていて、テレビも消してないので、眠りは極めて浅かった。11時過ぎに起きて、続き。さっきより分かってきた。
が、12時半から学生と Zoom で面談の約束があるので、中断せざるを得なくなった。面談の前って、滅茶苦茶考え込んでどよーんとしている学生が相手だったらどうしようか、と思い悩むが、実は結構明るい学生だったり、そんなに深く考え込んでいる相手じゃなかったりして、拍子抜けすることが多い。今日の学生もそうだった。まあエネルギーを殺がれるよりはその方がいいです。15分掛からずに終了。でもうちょっと数学をやって、1時ちょいに出掛ける。火曜日ははま寿司、というパターンが多い。少し待たされたが、ピーク時間は過ぎていたので、10分くらいかな。職場に2時15分くらいに着いたが、個研室で続きをやると講義に行きたくなくなりそうなので、閉店した食堂でドーピングをしてから生協の本屋を冷やかす。またしても買いたい本があった。もういい加減蔵書を減らす方向にいけないのだが。また数セミの発売日にまとめて買う。
で講義室に開始7、8分くらい前に行ったら、女子学生が一人待っていた。先週はいなかったが。暫くしたらもう一人来たが、ドアを開けた瞬間躊躇っていた。誰もいないと思ったのだろうか？2時55分のチャイムが鳴ってもその二人だけで、誰か来たら始めるし、誰も来なくても3時に成ったら始める、と宣言してしばし待つ。潜りの4回生が来るかと思ったら来なかった。で Zp が点列コンパクトなのを示してから振り返ると、5人くらいいた。が、件の4回生は来てなかった。もういいや、とフルスロットル。今日はフルタイムで位相空間。連結であるということを定義して、R に通常の距離位相を入れた時に連結であることを示して、Rn は連結であるということを紹介して、Rn の開集合では連結と弧状連結が同値であるとか紹介して、Qp が完全不連結であることを証明。連結成分の定義とかもちゃんとしたよ。学部4年生（こっちでは4回生というが、早稲田は東京の大学なので、4年生と言うことにする）の時に岩澤健吉先生の「局所類体論」を読んだが、初回にこの事実が出てきて、何も分からず呆然としたのを覚えてる。位相が1コマ分丸々続いて学生は嫌だろうが、気にせず話す。寝不足だとハイなので、余計なことを口走ってしまう。「イメージが湧かないとかいうのは駄目。形式的に議論出来るのが大事。何かに当てはめる時はイメージは大事だが、一般位相をやる分にはイメージはいらない」という趣旨のことを言った。20年以上前だが、院生 S 君と S 君に「ふーみんは何でそんないでかいん？」と言われていた学生がいたが、「ふーみん」は数学にイメージはいらないんだ、と言っていて、S 君がそれに対抗して「IOM」という謎の団体を立ち上げてゼミをしていた。「IOM」とは「image of math.」という英語だか何だか分からないフレーズだが。えーと。位相は今日で終わりで、来週は Ostrowski の定理を示して、Qp の拡大に付値を延長したりとかそういう話に突っ込む予定。
今日は教授会があるので、直帰せず個研室でパソコンを起動。型通りの報告事項が続いていたが、何か凄いページ数のあるものを副学部長が説明していた。こんなの読んでるんだろうか？それとも事務の人が要点を掻い摘んで説明してくれるんだろうか？だとしたら事務の人は読んでるんだろうか？いや、これを打ちこんで書類にしてる事務の人がいるということだな。考えるだに気色悪い。教務委員や学科長でウンザリしている小生にはとても務まらない。つくづく無能でよかったと思う。でそんな凄い話があったのに、教授会は20分ちょいで終了してしまった。何かあほくさい。
高速道路も一般道も渋滞真っ只中という時間に成ってしまったので、数学の続き。大体出来たんだが、そこはかとなく気持ち悪い。いや同型だからさ、と思うんだが、気持ち悪い。このままエンドレスで続けてもいいんだが、昨日から新名神が8時を過ぎると通行止め。新名神が通行止めということは、草津田上インターも当然封鎖で、瀬田西から名神に乗るのは色々あって嫌だ、ということで7時半前に個研室を後にした。フォレストハウスの近くに車を停められたので、あまり歩かず車に乗れた。そんなに寒くないし、凍結は心配無し。
車に乗る前にそこはかとなく気持ち悪いことの解決策を思い付いた。ワクワクしながら帰ってきたが、腹が減ってる。コンビニエンスストアに夕食を買いに行って、食べてから数学。おぉ、という感じだったが、書いてるうちにまたしてもそこはかとなく気持ち悪いことが起きた。むぅ。で白い紙に書いてるうちにまた新しいことに気付いた。そうだ！という感じ。今度こそ大丈夫そう。石田先生の本で一箇所変だと思った所は変じゃないんだ。いやー、ほんの数日だが長かった。Wiles は7年もこれ以上のことをやってたんだな。考えられない。まあでも、久々にちゃんと数学をやった感じ。最近の研究は、ちょっと計算して、コンピューターに計算させて、そこから条件に合うのを引っ張り出して、みたいなことしかしてなかったから。たまにはこんなのもいい。「たま」じゃなくこんなことをしている人は凄いな。
ということで呑んでるわけだが。明日は映画にいけないな。今日の「徹子の部屋」のゲストは「栄光のバックホーム」で主演を務めた俳優だという情報を仕入れたので録画しておいた。頭10分弱見たが、元々高校球児で、親父さんはプロ野球選手らしい。大谷翔平と高校野球の東北大会で対決したこともあるらしい。録画してあるので後で見る。明日はゆっくり寝よう。が、明後日の5時までにやらないといけない仕事がある。ゼミの終了が4時半で、先週のように延長されると大変なので、これからやるかそれとも明日やるか。
