[論文レビュー] On the regulator of Fermat motives and generalized hypergeometric functions

Noriyuki Otsubo|ArXiv.org|Sep 16, 2009

Algebraic Geometry and Number Theory参考文献 9被引用数 4

ひとこと要約

この論文は、一般化された超幾何関数を用いてフェルマー曲線のモチーフのベイリンソン再帰的写像を計算し、その非消滅を証明するとともに、特定の状況での再帰的写像の全射性を確立している。再帰的写像の像は、アペルの $ F_3 $ およびバーナーズの $_3F_2 $ 超幾何関数の特別値として表現されており、$ L $-関数の特殊値に関するベイリンソン予想に対する強い証拠を提供している。

ABSTRACT

We calculate the Beilinson regulators of motives associated to Fermat curves and express them by special values of generalized hypergeometric functions. As a result, we obtain surjectivity results of the regulator, which support the Beilinson conjecture on special values of L-functions.

研究の動機と目的

• フェルマー曲線に関連するモチーフのベイリンソン再帰的写像を、一般化された超幾何関数の特別値を用いて計算すること。
• 再帰的写像の全射性を検証することで、$ L $-関数の特殊値に関するベイリンソン予想に対する証拠を提供すること。
• モチーフ的コホモロジー類の再帰的写像を、$ (1,1) $ における $ F_3 $ および $ _3F_2 $ 超幾何関数として表現すること。
• ガロア作用 $ \text{Gal}(k/\nolinebreak\mathbb{Q}) $ を用いたフェルマー曲線のモチーフ的コホモロジーの構造を解析し、同型成分への分解を行うこと。
• 特定の $ K_2 $-記号 $ X_N $ 上での再帰的写像の非消滅および線形独立性を確立すること。

提案手法

• フェルマー曲線 $ X_N $ が $ \mu_N \times \mu_N $-作用に関して同型成分に分解されることを用いて、再帰的写像 $ r_{\text{D}}: H^2_{\text{M}}(X_N, \mathbb{Q}(2))_{\mathbb{Z}} \to H^2_{\text{D}}(X_{N,\mathbb{R}}, \mathbb{R}(2)) $ を解析する。
• モチーフ的類 $ e_N = \{1-x,1-y\} \in K_2 $-群を、成分 $ e_N^{a,b} $ に射影し、アペルの $ F_3 $ 関数の積分表現を用いてその再帰的写像を計算する。
• 特別値 $ \widetilde{F}(\alpha,\beta) = \frac{\varGamma(\alpha)\varGamma(\beta)}{\varGamma(\alpha+\beta+1)} F(\alpha,\beta;1,1) $ を用いて、$ (x,y)=(1,1) $ における再帰的写像の像を表現する。
• $ N=5 $ の場合、$ \mathbb{Q} $-線形結合としての $ F_5^{a,b,c} $ 項の組み合わせを用いて再帰的写像が非ゼロであることを示した。係数には単位根と円分多項式が含まれる。
• $ N=7 $ の場合、$ F_7^{a,b,c} $ と円分ガウス和からなる再帰的行列 $ B^{a,b,c} $ を構成し、$ a,b,c $ が相異なるときその行列式が非ゼロであることを示した。
• 対称性、符号解析、および超幾何項間の不等式を用いて、行列式の非消滅および再帰的写像の線形独立性を確立した。

実験結果

リサーチクエスチョン

• RQ1 フェルマー曲線のモチーフ $ X_N^{a,b} $ に対するベイリンソン再帰的写像は非ゼロのままであり、その像は超幾何関数で表現可能か？
• RQ2 $ a,b,c $ が相異なるとき、$ X_7^{a,b} $ に対して再帰的写像の全射性は確立可能か？
• RQ3 一般化された超幾何関数の特別値は、ベイリンソン予想が予測する $ L $-値とどのように関係するか？
• RQ4 ガロア対称性および $ \mu_N \times \mu_N $-作用は、モチーフ的コホモロジーの分解と $ K_2 $-記号の再帰的写像にどのように寄与するか？
• RQ5 $ X_N $ 上の複数の $ K_2 $-記号に対して、再帰的写像の線形独立性は証明可能か？

主な発見

• $ N=5 $ の場合、$ K_2 $-記号 $ e_{(1)}^{1,1} $ の再帰的写像は非ゼロであり、$ \mathbb{Q} $-線形結合として $ F_5^{a,b,c} $ 項の和で表現され、係数に $ \sin(2\pi/5) $ および $ \sin(4\pi/5) $ を含む。
• $ N=7 $ の場合、再帰的行列 $ B^{1,2,4} $ の行列式は非ゼロであり、$ a,b,c $ が相異なるとき再帰的写像の全射性が証明された。
• $ X_7^{1,2,4} $ の再帰的行列の行列式は $ s^3 + t^3 + u^3 - 3stu $ に比例しており、項 $ s,t,u $ の符号および大きさの解析により非ゼロであることが示された。
• $ a=b $ のとき、$ e_{(1)}^{a,b} $ および $ e_{(13)}^{a,b} $ の再帰的写像は等しいが、その小行列式は非ゼロであり、像の次元が少なくとも 2 であることを示唆する。
• 特別値 $ \widetilde{F}(\alpha,\beta) $ は $ (1,1) $ においてバーナーズの $ _3F_2 $ 関数で表現可能であり、モチーフの周期と関連している。
• この結果はベイリンソン予想を支持する：$ L^*(j_7^{a,b},0) \equiv \pi^3 \cdot (s^3 + t^3 + u^3 - 3stu) \mod \mathbb{Q}^* $ であり、明示的な $ s,t,u $ は超幾何値および単位根を用いて表される。