[論文レビュー] Hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions

Alyson Deines, Jenny G. Fuselier+3 more|arXiv (Cornell University)|Jan 15, 2015

Algebraic Geometry and Number Theory参考文献 25被引用数 5

ひとこと要約

本稿は、ハイパージェオメトリック級数、切断されたハイパージェオメトリック級数、およびガウスハイパージェオメトリック関数の間の深い関係を、レジェンドル曲線の高次元版を通じて確立する。切断されたハイパージェオメトリック級数が $ p^3 $ または $ p^2 $ を法として $ p $-進ガンマ関数値およびヤコビ和に対応することを証明し、算術幾何における周期、ガロア表現、および単位根を統一する合同式を明らかにする。

ABSTRACT

In this paper, we investigate the relationships among hypergeometric series, truncated hypergeometric series, and Gaussian hypergeometric functions through some families of `hypergeometric' algebraic varieties that are higher dimensional analogues of Legendre curves.

研究の動機と目的

• ハイパージェオメトリック級数、切断されたハイパージェオメトリック級数、およびガウスハイパージェオメトリック関数の間の相互作用を、レジェンドル曲線の高次元版の文脈で調査すること。
• 算術幾何と $ p $-進解析を用いて、特にパラメータ $ rac{1}{3} $ および $ rac{2}{3} $ に対して、$ p $-進ガンマ関数値の見かけ上の共役性に生じる矛盾を解明すること。
• 切断されたハイパージェオメトリック級数と $ p $-進ガンマ関数値の間の超合同式を $ p^3 $、$ p^4 $、または $ p^5 $ を法として確立し、それらをヤコビ和およびモジュラー形式と結びつけること。
• 文献[15]の $ {}_2F_1 $ から $ {}_nF_{n-1} $ ハイパージェオメトリック関数への高次元における枠組みの拡張を行い、周期、ガロア表現、および単位根を結びつけること。

提案手法

• 有限体上のハイパージェオメトリック関数（ガウスハイパージェオメトリック関数）を用いて、レジェンドル曲線の高次元版 $ C_{n, ho} $ の有理点数を数える。
• グロス＝コブリッツの公式を適用し、$ p $-進ガンマ関数をガウス和およびヤコビ和と関連づけ、$ p $-進合同式を可能にする。
• ドゥーウッドの $ p $-進解析的続行法を用いて、切断されたハイパージェオメトリック級数の極限を導出し、$ p $-進ガンマ関数値を得る。
• グリーンの有限体上のハイパージェオメトリック関数と指標和を用い、$ F_q $ 上の $ C_{n, ho} $ の点数を $ {}_nF_{n-1} $ 級数で表現する。
• ドゥーガルの公式および $ p $-進ガンマ関数の性質を用いて、$ p^3 $、$ p^4 $、$ p^5 $ を法とする超合同式を証明する。
• モジュラー形式およびヘッケ固有形式（例：$ f_n(z) $）を活用し、局所的均一化子を介して係数を切断されたハイパージェオメトリック級数と結びつける。

実験結果

リサーチクエスチョン

• RQ1 パラメータ $ rac{1}{3} $ や $ rac{2}{3} $ に対して、$ p^3 $ または $ p^2 $ を法とする切断されたハイパージェオメトリック級数が $ p $-進ガンマ関数値およびヤコビ和とどのように関係するか？
• RQ2 見かけ上の $ ilde{ au}(rac{1}{3})^6 $ と $ - ilde{ au}(rac{1}{3})^3 $ 間の「共役性」は、ガロア表現および高次元多様体の周期を用いて説明可能か？
• RQ3 $ n=3,4,5 $ に対して、$ {}_nF_{n-1} $ の切断されたハイパージェオメトリック級数と $ p $-進ガンマ関数値の正確な算術的関係は何か？ また、それらは $ C_{n,1} $ の局所ゼータ関数にどのように反映されるか？
• RQ4 $ inom{-a}{k}^n $ および $ p^k $ 項を含む観察された超合同式が $ p^3 $、$ p^4 $、または $ p^5 $ を法として成り立つか？ また、グロス＝コブリッツの公式および指標和の恒等式を用いて証明可能か？
• RQ5 $ C_{5,1} $ の局所ゼータ関数は、$ C_{3,1} $ および $ C_{4,1} $ の場合と同様に、$ p $-進ハイパージェオメトリック関数およびガンマ関数のデータから再構成可能か？

主な発見

• $ p ot\neq 3 $ かつ $ p \not\neq 5 $ のとき、切断されたハイパージェオメトリック級数 $ {}_3F_2\big[\begin{smallmatrix}\frac{1}{3}&\frac{1}{3}&\frac{1}{3} \\ &1&1\end{smallmatrix}\big]_{p-1} \not\to \tilde{\tau}(\frac{1}{3})^6 \bmod p^3 $ が成り立ち、$ p^3 $ を法とする超合同式が確認される。
• 切断級数 $ {}_3F_2\big[\begin{smallmatrix}\frac{2}{3}&\frac{2}{3}&\frac{2}{3} \\ &1&1\end{smallmatrix}\big]_{p-1} \to -\tilde{\tau}(\frac{1}{3})^3 \bmod p^2 $ が成り立ち、本稿では $ p^2 $ を法としてこれを証明し、先行研究を拡張する。
• $ p \not\neq 5 $ のとき、恒等式 $ {}_5F_4\big[\begin{smallmatrix}\frac{2}{5}&\frac{2}{5}&\frac{2}{5}&\frac{2}{5}&\frac{2}{5} \\ &1&1&1&1\end{smallmatrix}\big]_{p-1} \to -\tilde{\tau}(\frac{1}{5})^5 \tilde{\tau}(\frac{2}{5})^5 \bmod p^5 $ が $ p^4 $ を法として成り立ち、$ p^5 $ についての予想が提示される。
• $ k=0 $ から $ p-1 $ までの和 $ \textstyle\binom{-\frac{1}{3}}{k}^3 (-1)^k $ は、$ \textstyle\frac{1}{p^3} \text{sum} \to \tilde{\tau}(\frac{1}{3})^6 \bmod p^3 $ を満たし、切断級数と $ p $-進ガンマ関数値を結びつける。
• $ n=3,4,6 $ に対して、ヤコビアン $ J_{\rho}^{\text{new}} $ の新規部分の自己準同型代数が $ \bQ $ 上の4次元代数を含むのは、ベータ関数の比が $ \bar{\bQ} $ に属するときであると判明し、幾何学と特殊値を結びつける。
• イーゼンスタイン級数を用いて定義される重み3の尖型形式 $ f_n(z) $ の $ p $-次係数は、$ p^2 $ を法として切断されたハイパージェオメトリック級数と一致し、これらの合同式にモジュラー起源が存在する可能性を示唆する。