四元数theta級数とモジュラー曲線のヤコビ多様体の数論研究

1996 Fiscal Year Annual Research Report

• Project/Area Number: 08640071
• Research Institution: Waseda University
• Principal Investigator: 橋本 喜一朗 早稲田大学, 理工学部, 教授 (90143370)
• Keywords: theta級数 / 楕円曲線 / 保型形式 / モジュラー曲線 / ヤコビ多様体 / 谷山-志村予想 / Q-curve / QM-curve

Research Abstract

1.四元数theta級数について. 今回の研究では,有理数体上の正定値四元数環Bでその判別式 qがq<10000なる素数の場合に,各q毎に(Type number T(q)個存在する)全ての極大整還の同型類の代表を求め,そのtheta級数を計算して,その一次独立性を調べた。これは従来の範囲q<5000を大きく拡大するもので,この結果,新たに90個のlevel q,重さ2の保型形式fで,s=1でのrankが2であるものが発見された(論文を準備中)。
2.1.に於ける計算からtheta級数として得られた保型形式のFourier係数を用いて,モジュラー曲線とそのヤコビ多様体の研究を種々の角度から行った。特に,モジュラー曲線のAtkin-Lehner's involutionの群による商曲線X^*_0(N)のうちで超楕円的曲線になるものをlevel Nがsquare freeの場合に完全に分類した。更に申請者の研究室の助手・大学院生によって,Nが一般の場合や,X_0(N)の部分商なる曲線についても分類が完成された。また,同様に保型形式のFourier係数を用いて,モジュラー曲線X_0(N)の上に存在するHeckeの代数対応の方程式を多くの例について計算した。これは,ヤコビ多様体の自己準同型を詳しく研究する為に貴重な資料となる。
3.「有理数体上の楕円曲線Eはモジュラー曲線X_0(N)のヤコビ多様体のQ-factorである」といういわゆる谷山-志村予想は,1994年にWiles-TaylorによりEが半安定な場合に解決されたが,我々は,ある種のQ上のアーベル多様体にこの結果を拡張し,その応用として代数体上のQ-curveと呼ばれる楕円曲線や,種数2の代数曲線で,ヤコビ多様体が四元数乗法をもつもの(QM-curve)について,谷山-志村予想を証明した。これは,中央大学の百瀬氏等との共同研究で,1996年度の代数学シンポジウムで3時間にわたって報告した.

Research Products

• [Publications] Ki-ichiro Hashimoto: "Hyperelliptic modular curve X^*_0(N) with square-free levels" ACTA ARITHMETICA.127-2. 179-193 (1996)
• [Publications] Ki-ichiro Hashimoto: "種数2の代数曲線の代数対応による実乗法の構成" 京都大学数理解析研究所講究録. 942. 153-163 (1996)
• [Publications] Ki-ichiro Hashimoto: "Q-curves and QM-curves, (with Yuji Hasegawa, F.Momose)" 京都大学数理解析研究所講究録. 942. 164-167 (1996)
• [Publications] Ki-ichiro Hashimoto: "On modular conjecture for abelian varieties, (with Yuji Hasegawa,F.Momose)" 第41回代数学シンポジウム報告集. 41. 27-63 (1996)
• [Publications] Ki-ichiro Hashimoto: "On Brumer's family of RM-curves of genus two" Technical Report Waseda Univ.96-39. 1-15 (1996)
• [Publications] 橋本喜一朗: "「数学教育とコンピュータ」(早稲田大学教育総合研究室叢書)数学研究におけるコンピュータ,(with Yuji Hasegawa)" (掲載予定),