2024年10月29日火曜日

イデアル類群に位数2の元を作るのに四苦八苦

どうも2時40分開始の講義の前の日はいかんな。12時過ぎに起きれば余裕で間に合うということがあるので、つい色々してしまう。昨晩は今日の講義に備えて少し資料を読んでおこう、と始めたのだが、色々気に成る所が出て来て、直したりとかしてると、やっぱり整数論は面白いぞ!ということで続き続きと読みたくなってしまう。いや、自分で作った講義資料がそんなに楽しいか?と言われそうだが、実際楽しいのだ。まあ大小取り混ぜ、間違いがあったので直したり補足説明を書き足したりとかしているうちにもう「おはよう朝日です」が始まってしまった。それから寝てもまだ7時間くらいは寝られるのだが、整数論が気に成る、ということでどんどん読む。まあ流石に Kummer の定理(多項式の mod p での分解で p の素イデアル分解が分かるというあれ)の証明はスキップしたが。

で大層寝不足の状態で、1時半くらいに住処を発つ。ちょっと早目に着いた。フォレストハウスの近くに停められたので、中途半端に個研室に行ってウダウダ、とかやらない方がよかろうということで、エンジンを切って読書。今日はうすら寒い。冷房が必要ないくらいで、車の中は寒くないから暖房もいらないので、エンジンを切った次第。冷房が必要だったら個研室行っちゃうかな。

2時40分から大学院向けの講義。今日は判別式に関する話題を二つばかりやってから、P.I.D. とか U.F.D. とか復習。素元が何だとか既約元が何だとかも説明した。本当にやりたいのは素イデアル分解の一意性だが、元のレベルだと一意性が破綻してるのをちゃんと見せないと面白くなかろうということで時間を使った。証明は殆ど付けなかったが。で既約元分解の一意性が成り立ってるといいことがあるということで、y2=x3-1 の有理整数点を求めたり。もう少し話す時間はあったが、中途半端に成りそうだし、3分くらい早かったが終わりににした。疲れた。

無茶したのは、講義が終わったら道路が混む前に帰ってきて、日本シリーズ観戦、のつもりだったから。先週もそうやって、Baystars が勝つところを見たので。が、出掛ける前に見たら、今日は教授会がある。大事な案件があって、全構成員の3/4が出席してないといけないので、已む無し。講義が終わるのが4時10分で、教授会は4時半から。流石に帰ることは出来ない。出張の時に持ち歩くノートパソコンを最近は職場に置いていたが、名古屋に持っていって、今日は雨が結構降ると脅されていたので、持っていかなかった。デスクトップのパソコンでも参加出来るんだが、カメラとマイクを USB に刺した奴が、安定したところに置けないので、発言したいときは駄目。まあ基本黙って聞いてるだけなんで問題無いけど。で大事な案件を幾つもやって、それでも6時前には終わった。昔は8時だ9時だととんでもない時間までやっていたが、小生がうちと全然縁が無い頃は、日を跨いだりしたこともあったそうだから、良くなったのかな。事務の方が二人異動になるそうで、挨拶をされていた。お一方は来月の仕事の重要人物だったのだが、いなくなってしまうのか。心配だ。

6時くらいにパソコンで野球の情報を見たら、6時半開始と成っていた。何だ。とちょっと考え事。今日の講義で、後に U.F.D. でない整域を無限個与えてあげるから、と言ったので、その件で。U.F.D. でないものというか類数が偶数である二次体を無限個与える、というのが本当の所。類数が奇数の虚二次体の特徴付けが「数論序説」に出ているが、コホモロジー群をいじってるうちに出るという、何だかよく分からない証明。が、そんなものはいらず、m が合成数だったり、mod 4 で1と合同な素数の時は、Q(√-m) の類数が偶数である、ということを単項イデアルでないが2乗すると単項イデアルに成るイデアルが与えられる、と昔 TeX 化したのを見てみると、何か証明が汚い。m=ab, a,b>1:square-free, (a,b)=1 の場合を考えてたんだが、m≡3 (mod 4) の時の証明が訳が分からない。a,b は奇数で、1<a,b≦4 が示せて、a=b=3 と成らざるを得ず矛盾、とかやってるんだが、気に食わないのが (a,√-m) が単項イデアルでないことを示すのに (b,√-m) を援用しないといけない。もっとどうにか成る筈、といじっても堂々巡り。3の時を除きたいので、m=15 を例外処理しておこうか、と思うも、何か例外のような気がしない。で何回も何回も繰り返して、どうにか成った。a と b に立場は対称なので、b>a を最初から仮定しておくと、4≧5 となってしまい矛盾、とかやっぱり変な証明。不等式の評価に a,b 両方触る必要があるが、二つのイデアルを出さなくてよくなったので、まあいいです。で気付けばもう9時。教授会が終わった直後は名神が混んでる時間だから、ちょっと時間潰し、のつもりだったのだが。

いや、遅く成ったのは数学だけのせいにあらず。日本シリーズよ。試合開始後5分くらい経って見たら、1回表に1点取ってた。が、東がピンチを作って、怖いのでちょっと数学の続きをやってたら、1回裏に追い付かれてた。うむ、Hawks 強いぞ。が、5回表に見た時は1点リードしてた。桑原がソロホームランを打ったようだ。やるね。その後ノーアウト満塁のチャンスを作るも、筒香の犠牲フライで1点取れただけ。うむ、まだ怖いぞ。で9時過ぎに見たら、ポストシーズン絶好調の戸柱がタイムリーヒットを打ち3点差に。東は肉離れで離脱した筈だったが、7回105球1失点とよかったようだ、と思って見たら、ヒットは10本も打たれたようだ。が無四球なのは流石だな。最後までネット観戦しようか、と思ったが、もう10時近いのでやめておいた。

ココ壱番屋でカレーを食べて帰宅。カレーを食べ終わった後野球の情報仕入れよう、と思ったら、何やらスマホの画面が暗く、良く見えない。また変な所をいじって、設定を変えてしまったのだろうか?支払いもスマホで出来ず、Suica で払ってきた。もう10時を過ぎてた。これくらいの時間だと道路は混まないが、寝不足でスピード出し過ぎてギャ!というわけにはいかないので、抑え目に。が、前に車が走ってないと自分のスピードがよく分からないスピードメーターを見たら、50km/hを割ることがしばしば。京都に入る手前でちょっとだけ片側2車線に成るが、そこで沢山抜かれた。何とか辿り着いた。もう11時近く。

住処に着いてテレビを付けると、東のヒーローインタビューの様子を「報道ステーション」で流してるところだった。勝ったかよしよし。これで1勝2敗。まだまだ。ワールドシリーズはドジャースが3連勝したそうだ。「おはよう朝日です」の岩本アナが今晩アメリカに発ち、第5戦を取材も兼ねて観戦だと言ってたが、4試合で終わっちゃいそうだぞ。大丈夫か?

眠いな。「アンタウオッチマン」を見るにはもう1時間半くらい起きてないと。こういう時は呑むと案外起きていられるもの。「相席食堂」が終わったらちょっと買ってこよう。明日は日本シリーズを見られる。ちゃんと寝て、体調を整えておかないとな。明日か明後日のどっちか勝てればもう一度横浜スタジアムに戻れる。勝てよ。