In this paper, we express special values of the $L$-functions of certain CM
elliptic curves which are related to Fermat curves in terms of the special
values of generalized hypergeometric functions by comparing Bloch's element
with Ross's element in the motivic cohomology group.

本年度は前年度までに得られたHesse cubic曲線のレギュレーターと超幾何関数に関する研究と, 超幾何関数と虚数乗法をもつ楕円曲線のL関数の特殊値に関する研究を論文にまとめ, 投稿した. また, 本年度はレギュレーターの研究に加え, 代数的サイクルの研究を行ない結果を得た. 一般化BSD予想によると, 代数多様体の代数的サイクルはL関数の特殊値とも関係がある, 数論的に非常に重要な対象である. 代数的サイクルの重要な例としてCeresaサイクルがある. 一般的な曲線のCeresaサイクルは非自明であることがCeresa自身によって知られているが, 具体的な曲線に対して非自明(非ねじれ)になることを証明することは難しい.　Harris, Bloch, Kimura, Tadokoro, Otsuboは, 次数が1000未満のFermat曲線に対して, Ceresaサイクルが代数的同値を法として非自明になることを証明した. また, Otsubo, TadokoroはFermat曲線やその商のCeresaサイクルが代数的同値を法として非ねじれになるための十分条件を一般超幾何関数を用いて与えた. しかし, これらの条件は数値的に検証することが不可能である. 近年, Eskandari-Murtyは, 次数が7より大きい素数で割れるFermat曲線のCeresaサイクルのAbel-Jacobi像が非ねじれになることを証明した. 特に, Ceresaサイクルは有理同値を法として非ねじれである. 彼らの証明は, 曲線上の反復積分で生成される空間に定まる混合Hodge構造の拡大群に関するPulte, Kaenders, Darmon-Rotger-Solsらの結果と, Gross-Rohrlichによって構成されたFermat曲線のJacobi多様体の位数無限の点を用いることで証明される. また, 彼らは同様の結果がFermat曲線の商に対しても成り立つことを予想した. この予想に対して, ある仮定のもとで, 彼らの予想が正しいことを証明した. また, Otsuboによる結果を組みわせることで, Fermat曲線の商のCeresaサイクルの高次Abel-Jacobi像もまた非ねじれになることを証明した. これらの結果は近く論文としてまとめ, 投稿する予定である. 一方, レギュレーターの研究, およびそのp進類似に関する研究はあまり進展が見られなかったため, 次年度以降も引き続き研究を進める予定である.

本年度は前年度までに得られたHesse cubic曲線のレギュレーターと超幾何関数に関する研究と, 超幾何関数と虚数乗法をもつ楕円曲線のL関数の特殊値に関する研究を論文にまとめ, 投稿した. また, 本年度はレギュレーターの研究に加え, 代数的サイクルの研究を行ない結果を得た. 一般化BSD予想によると, 代数多様体の代数的サイクルはL関数の特殊値とも関係がある, 数論的に非常に重要な対象である. 代数的サイクルの重要な例としてCeresaサイクルがある. 一般的な曲線のCeresaサイクルは非自明であることがCeresa自身によって知られているが, 具体的な曲線に対して非自明(非ねじれ)になることを証明することは難しい.　Harris, Bloch, Kimura, Tadokoro, Otsuboは, 次数が1000未満のFermat曲線に対して, Ceresaサイクルが代数的同値を法として非自明になることを証明した. また, Otsubo, TadokoroはFermat曲線やその商のCeresaサイクルが代数的同値を法として非ねじれになるための十分条件を一般超幾何関数を用いて与えた. しかし, これらの条件は数値的に検証することが不可能である. 近年, Eskandari-Murtyは, 次数が7より大きい素数で割れるFermat曲線のCeresaサイクルのAbel-Jacobi像が非ねじれになることを証明した. 特に, Ceresaサイクルは有理同値を法として非ねじれである. 彼らの証明は, 曲線上の反復積分で生成される空間に定まる混合Hodge構造の拡大群に関するPulte, Kaenders, Darmon-Rotger-Solsらの結果と, Gross-Rohrlichによって構成されたFermat曲線のJacobi多様体の位数無限の点を用いることで証明される. また, 彼らは同様の結果がFermat曲線の商に対しても成り立つことを予想した. この予想に対して, ある仮定のもとで, 彼らの予想が正しいことを証明した. また, Otsuboによる結果を組みわせることで, Fermat曲線の商のCeresaサイクルの高次Abel-Jacobi像もまた非ねじれになることを証明した. これらの結果は近く論文としてまとめ, 投稿する予定である. 一方, レギュレーターの研究, およびそのp進類似に関する研究はあまり進展が見られなかったため, 次年度以降も引き続き研究を進める予定である.

本年度はHesse cubic曲線に対するBeilinson予想の検証の続きを行なった. 前年度までに構成したモチヴィックコホモロジーの元はアプリオリには虚二次体上で定義されているが, 本年度はこれらの元が虚二次体上integralになる必要十分条件を与え, それらの条件のもとで虚二次体上のBeilinson予想が成り立っていることを数値的に検証した. また, Fermat曲線の商として現れる楕円曲線のL関数のs=2での特殊値が一般超幾何関数3F2のz=1での特殊値で記述できることを証明した. 有限体上の超幾何関数に関する研究も進めており, 2変数超幾何関数の一般化であるKampé de Férietの超幾何関数の有限体類似を考え, それらの還元公式や和公式を証明した(伊東氏・隈部氏・中川氏との共同研究). 

本年度は前年度に構成した3次Hesse cubic曲線のモチヴィックコホモロジーの元に加えて2つの元を新しく構成した. これらの元を組み合わせ, 実際にこの元が複素共役で不変であることを調べることで、有理数体上定義されたHesse cubic曲線のモチヴィックコホモロジーの元を構成した. またこれらの元がintegralになっている必要十分条件を与え, 元がintegralになる条件のもとで, Beilinson予想が成り立っていることを数値的に実験し, 確かめることができた. 

本年度はHesse cubic曲線と4次のDwork超曲面に対するレギュレーターと超幾何関数の関係について考察した. Hesse cubic曲線に対しては, 前年度までに定数項を除き計算が終わっていたが、本年度は0次のファイバーにFermat曲線が現れること, また大坪氏によるFermat曲線に対するレギュレーターと超幾何関数の関係を用いることで定数項を含めて完全に記述した. 4次のDwork超曲面に関しても、曲面上の4本のFermat曲線の交点をうまくとることで, K群の元を構成した.