やはりまたしても遅くまで起きていてしまった。「いつか、ヒーロー」というドラマが日曜日にやっていて、木曜日にそれの再放送があるという、前々から謎なことを ABC はしてるが、昨晩は第3話が終わるまでうっかりうっかり起きていた。で今日は起きたらもう12時を回っていた。まずい。寝癖を直す間もなく出勤。それでも午後の講義開始が1時10分なので、ギリギリじゃなく着けた。弁当を買って食べる時間は無さそうなので、カレーパンを一個買って齧った。講義中は大体スポーツドリンクがお供なので、カレーパン一個の為にコーヒーは勿体ないな、かと言って500ccのポカリスエットでは、と思っていたが、900ccのポカリがあったので、それにした。
1時10分に成る前に講義室に着いた。ちょっと読書をして時間潰し。定時に成ったので開始。今日は準同型写像を二つ合成しても準同型写像とか同型写像の逆写像が同型写像とかから示して、像と核を定義して、でイデアルの節に突っ込んで、有限生成イデアル、単項イデアルを定義。核がイデアルであることを示してから、割り切れるとか同伴とか全部単項イデアルの言葉で言い換えられるとか。初等整数論はイデアルを使ってやった方が綺麗でいい、ということなどを話して、剰余環の話に突っ込むが、今日は剰余類を定義しただけに成ってしまった。a-b∈I を満たす時 a~b と書いて、これが同値関係に成るのはすぐ分かるよ、と言って小さい文字でこそこそと書いて、「来週ちゃんとやるから」と言って終了。加法しか関係してないから、群論の時と同じ、と言って済ませてしまえばことは足りるのだがな。零元の一意性とか、イデアルが0を含んでるとか和で閉じてるとか(定義は空集合でなくて、差で閉じてて、親玉の環の元を右から掛けても左から掛けても入ってる)も群論でやってるし。まあ繰り返して見せて、群論や線形代数を復習してね、と言ってあるので、心掛けのいい学生ならやるだろう。大半はレポート問題を解き始めるまで何もしないんだろうけど。
生協で弁当を買おうと思ったが、運よく揚げ立ての唐揚げを売ってるキッチンカーがいたので、弁当を買って食べる。で個研室で食べ終わってゴソゴソとやってたら、何やら来客。エアコンのフィルターの掃除に来たとのこと。どうしたらいいか尋ねたら、小生の頭の真上を開けなきゃいけないそうなので、仕方ないので部屋の外に出た。散らかってるが、脚立は立てられたのだろうか?数分で終了。その後講義の後始末をして、演習問題を web に上げる作業。学科のサーバに上げてる方のバージョンが古いな。この前のもそうだったが。学科のサーバーは何度かトラブってて、その度に作業なさっているようだが、更新する際にサーバーに送るファイルが違うのではないか?という気がするが、どうなのだろう。まあ一回 ftp するだけなのでいいけど。でその後もゴソゴソとやってたら、あっと言う間に4時半を過ぎていた。
ゼミは4時40分から。本とメモ・計算に使う紙とペンを持って、一旦1階に降りて、飲み物を購入。S 先生と M 永先生と会ったが、S 先生が M 永先生の個研室が4階だからと気を利かせて4階のボタンを押したが、M 永先生は何やらTAと打ち合わせをするので6階に行く、ということで4階のボタンは無駄に成った。で6階で M 永先生が降りたが、S 先生は「6階ですよ」と。小生が7階のボタンを押したのだが、小生の個研室が6階なので、M 永先生が7階のボタンを押したのと勘違いしたようだ。ということでグダグダだったが、何とか7階へ。
今日のゼミはまずは楕円曲線の簡単な話。標数が2でない体を考えることにしたので、y2=重根を持たない3次式、と定義してあった。で射影空間が何だとかよく知った話を始めたので、標数が2だと何がいけないんだっけか?確か affine な特異点があるんだったな、と考え出したが、中々うまくいかない。で何とかなった。で射影空間の話は終わっていた。苦労して定義しても結局は楕円曲線の射影閉包は無限遠点を1点付け加えただけなのだが。だから楕円曲線の概略を話す時は、平行な直線は無限の彼方で1点でだけ交わる。だから輪っかに成ってて、で楕円曲線は段々傾きが急に成ってくるので、遥か上空で y 軸と平行な直線と交わっている、上空でと言ったが、1点で交わらないと困るので、地の底と遥か上空は繋がってる、みたいな話し方をしている。数理科学科の卒研ゼミで、大学院に行きたいと言っている学生だから、まあちゃんと抽象的にやらないとね。で休憩のタイミングで聞いたら、今日の学生は2人とも多様体の講義はとったと言ってた。大分前の学生だが、M2 の時に射影平面が出てきて、知らない、多様体の授業は取らなかった、と言っていた。まあ彼は抽象論には強かったので、R3-{(0,0,0)} を適切な同値関係で割る、affine な部分は第3成分が0でない、無限遠直線は第3成分が0、というのもすぐ納得いったようで良かったが。えーと、今日の学生はその辺は心配無さそうでよかった。その後楕円関数の節に突っ込み、楕円関数の基本的なことを始めた。楕円関数の導関数がまた楕円関数、を示すのに、何やら導関数の定義式を使って示し始めたが。いやいや、合成関数の微分は、と突っ込もうかと思ったが、定義式を使って周期性を考慮して示す、という方が簡単なような気がしてきた。で Weierstarss のペー関数(\wp という奴)の前で終了。代数体の本はどうするのかと思ったら、今日はやらないようで、7時くらいに終了。体の拡大のトレースとノルムをよく知らないので勉強する、と先週言っていたが、勉強がそんなに進んでいないらしい。ということで7時くらいに解放された。
冷静に成って考えると、水曜日の講義の準備は月曜日にやって、資料を印刷して、とやっているんだが、来週の月曜日は祝日で職場に行かない。今日中にやっておかないといけないのか、と思って始める。ゼミをフルタイムでやると8時までなので、ちょと早目に終わったのは助かった。まあ去年の貯金があるので、そんなに根を詰めなくても大丈夫なのだが。来週は連立方程式の解法に突っ込むが、パラメーターの取り方とか色々説明の難しいことがある。まあああいうのは説明を言葉で理解するのは難しい(無理?)な気がするので、沢山解いてもらわないと。解いて感を養ってから見直すと簡単なことが書いてあるのが分かる。でそうすれば、「パラメーターの個数」=「列数-階数」とかも納得いくだろう。斉次形(同次形)だと、方程式の本数<式の本数だと非自明な解がある、というのの大事さは強調しておかないと。次元を確定させるのに必要だし。まあそのことを使わなくても次元は確定出来て、数日前に読んだ本にその証明が出ていたが、やはり連立方程式を使った方が易しいな、という気がする。ということでウダウダと9時過ぎまで。
今日から vs. Giants 3連戦だ。ぶっ倒すぞ!と意気込んでいて、ゼミ終了後野球速報のページを開いたら、何と雨天中止。そうなのか。まあゆっくり線形代数が出来たのでいいです。すき家でいつものチキンカレーを食べて、もう10時過ぎ。大津でやってた工事は終わったのか、最近は10時を過ぎても片側交互通行に成ってない。まあ成らない方が嬉しいけど。ゴールデンウィークで工事関係者も休みなのだろうか?小生はというと明日から4連休。カレンダー通りということ。火曜日は元々用事が無い日なので、得するのは月曜だけだが。月曜日は院生とゼミだけなので、あまり得した気分には成らない。それにいずれにせよ14週やるんだから、得するということには成らないんだけどね。秋学期の予定を見たら、別の曜日に月曜日の講義をやらないといけない日があるようだし、月曜日に用事を入れると損だ。月曜の祝日は悉く授業日に成るし。まあいいです。4日間大いに無駄に過ごしましょう。毎日呑むということはしないつもり。腹の調子が悪くなるし、野球はデーゲームだし。