結局また訳の分からない時間まで起きていて訳の分からない時間に寝て、夕刻に起きて職場には行かず仕舞い。明日こそ行っておこう。
起きて何をしていたかというと、楕円曲線と格闘していた。y2＝x3＋k の形の曲線の整数点が欲しい（要するに Mordell 方程式を解きたい、もしくは解が無いことを示したい）。またしてもパソコンが勝手にリブートされたのでやり直し。この曲線から y2＝x3－27k へ Q 上定義された3次の isogeny があるので、Magma のそれを使うっぽいコマンドを試して、やはり駄目で、とか。で Zimmer 達の書いた Mordell 方程式の論文を見たり、Bremmner と Cassels による height のデカい有理点を持つ楕円曲線のことを書いた論文を見たり。閃いたのが、Magma に ConjecturalRegulator という命令があって、名前の通りのことをやってくれる。で実験してみたら、予想通りだと regulator が 400 だ 500だいうのは当たり前で、940 を超えるのもあった。これは Mordell－Weil 群求めて整数点を求めるのは実際的でないな、と思ったが、まだやってないことがあった。PARI/GP に Heegner point を求める命令がある。でやってみたが、スタックがオーバーフローするので、値を変えて再実験。PARI/GP のスタックの容量を変えるなんて初めてやった。1024M にしたらエラーが出なくなったので、寝ることにする。
で起きたら4時過ぎ。もうこういう生活はそろそろやめよう。月曜から講義期間だし。しばしグダグダやって、カップ麺で腹ごしらえをして、野球の時間。
今日は昨日の真逆で、1回にいきなり3点取られた。竹田祐は去年の後半から1軍で投げるように成り、毎回いい内容のピッチングをしていたが。その後もキャッチャーの松尾が悪送球したりで4失点。その後3点取り返しただけに、最後の悪送球が余計だった。まあヒット3本で満塁、その後内野ゴロで1点取って、その後併殺打、と攻撃下手な芸風は変わらない。2カード割って1勝5敗か。嫌な感じ。明日からは東京ドームで Giants と3連戦。勝ち越しましょう。3タテが理想だが。
が、いいことがあった。パソコンの画面を見ると、何かデカい数値が出てる。え？有理点見付かったの？と思って見たら、ごつい有理点が出ていた。調べると canonical height は260超。うー、凄い。嬉しい。これのために随分時間を食った。Conjectural regulator と canonical height が一致しているから、この点が生成元に間違いあるまい。念のため saturation をするコマンドで実験するも、saturation する様子は無い。大丈夫だろう。いや、まだ心配。が、Mordell－Weil 群が無限巡回群なので、出来る筈。大昔にやった記憶がある。思い出してからやろう。取り敢えず conjecural regulator の小さい順にやってみる。整数点が無いのを示すのにちょっと大掛かり過ぎるのがちょっと気に食わないと言えば気に食わない。他の考えられる手段を試すのもやってみる。あと問題は Magma を買うかどうかだな。
4回生一人から連絡が無いのと、新M1の学生と連絡をしたい。ということで彼等のメールアドレスが知りたいが、メールアドレス検索のページが前にあったと思った所に無い。おかしいな。まあ色々あるので、事務にまとめて聞くか、とメールを出しておいた。上にも書いたが、来週の月曜からもう講義期間に突入するので、スケジュールを確定させたいが。明日事務からの返事がどうなるかだな。兎に角、今晩はそれなりの時間には寝て、それなりの時間には起きて職場に行く。
