[論文レビュー] A finite field analogue for Appell series F_3

Bing He|arXiv (Cornell University)|Apr 4, 2017

Advanced Mathematical Identities参考文献 3被引用数 5

ひとこと要約

本稿では、$$\mathbb{F}_q$$ 上の乗法的特徴とヤコビ和を用いて、Appell級数 $F_3$ の有限体版を導入し、還元公式と母関数を確立する。主たる貢献は、$F_3(A,A';B,B';C;x,y)$ を含む母関数の恒等式であり、これは古典的超幾何恒等式を有限体へ一般化し、算術超幾何理論における新たな代数的構造を可能にする。

ABSTRACT

In this paper we introduce a finite field analogue for the Appell series F_3 and give some reduction formulae and certain generating functions for this function over finite fields.

研究の動機と目的

• 古典的Appell級数 $F_3$ の有限体版を、算術超幾何関数への応用を目的として開発すること。
• グリーンの有限体超幾何の枠組みを、特に $F_3$ の二重超幾何関数へ拡張すること。
• 特徴和およびヤコビ和を用いて、新しい有限体 $F_3$ の還元公式と母関数を導出すること。
• 古典的超幾何変換を有限体へ一般化する恒等式を確立すること。
• 有限体上の多変数超幾何関数のさらなる研究の基盤を提供すること。

提案手法

• 有限体版 $F_3$ を $F_3(A,A';B,B';C;x,y) = \varepsilon(xy)BB'(-1)\sum_{u,v} B(u)B'(v)C\overline{B}\overline{B'}(1-u-v)\overline{A}(1-ux)\overline{A'}(1-vy)$ として定義する。
• 乗法的特徴 $A, A', B, B', C \in \widehat{\mathbb{F}_q}^*$ と自明な特徴 $\varepsilon$ を用いて、$\mathbb{F}_q$ 上の関数を符号化する。
• ヤコビ和 $J(\chi,\lambda) = \sum_u \chi(u)\lambda(1-u)$ の性質と、二項係数の類似 ${A \choose B} = B(-1)J(A, \overline{B})$ を適用する。
• 特に $\frac{1}{q-1}\sum_\chi \chi(x)$ を用いて係数を抽出する直交性関係を活用し、特徴和展開により母関数を導出する。
• グリーンの研究で知られている恒等式（例：$\sum_\chi {A\chi \choose \chi} \chi(x) = (q-1){}_{2}F_1(A,B;C|x)$）を特徴和の操作と組み合わせることで恒等式を確立する。
• 還元および母関数の導出の主要な道具として、${}_{2}F_1(A,B;C|1) = A(-1){B \choose \overline{A}C}$ の恒等式を用いる。

実験結果

リサーチクエスチョン

• RQ1 乗法的特徴和およびヤコビ和を用いて、有限体上でのAppell級数 $F_3$ をどのように類似的に定義できるか？
• RQ2 有限体 $F_3$ の還元公式は何か？ そして、古典的超幾何恒等式とどのように関係するか？
• RQ3 有限体 $F_3$ の母関数は導出可能か？ また、それらが満たす関数方程式は何か？
• RQ4 母関数は、古典的 $F_3$ 恒等式に類似した変換性をどのように反映するか？
• RQ5 特徴和の直交性およびヤコビ和の恒等式は、有限体 $F_3$ の構築と簡略化にどのように寄与するか？

主な発見

• 乗法的特徴とヤコビ和を含む、$\mathbb{F}_q$ 上の二重和を用いたAppell級数 $F_3$ の有限体版が定義される：$F_3(A,A';B,B';C;x,y) = \varepsilon(xy)BB'(-1)\sum_{u,v} B(u)B'(v)C\overline{B}\overline{B'}(1-u-v)\overline{A}(1-ux)\overline{A'}(1-vy)$。
• 母関数の恒等式が確立された：$\frac{1}{q-1}\sum_\theta {BB'\overline{C}\theta \choose \theta} F_3(A,A';B\theta,B';C;x,y)\theta(t) = \overline{B}(1-t)F_3(A,A';B,B';C;\frac{x}{1-t},y) - \overline{B}(-t)\overline{B'}C(t)\left(\overline{C}B'(-x){\overline{A}\choose \overline{C}B'}{\overline{A'}\choose \overline{B'}}\overline{B'}(y) - CB'(-1)F_3(A,A';C\overline{B'},B';C;x,y)\right)$。
• 第二の母関数が導出された：$\frac{1}{q-1}\sum_\theta {BB'\overline{C}\theta \choose \theta} F_3(A,A';B,B'\theta;C;x,y)\theta(t) = \overline{B'}(1-t)F_3(A,A';B,B';C;x,\frac{y}{1-t}) + \overline{B}\overline{B'}C(-t)F_3(A,A';B,C\overline{B};C;x,y) - \overline{B}(y)\overline{B'}(-t)\overline{C}B\left(-\frac{y}{t}\right){\overline{A'}\choose \overline{C}B}{\overline{A}\choose \overline{B}}$。
• 特徴和展開と直交性を用いて、還元公式 $F_3(A,A';B,B';C;x,y) = \frac{1}{q-1}\sum_{\chi,\lambda} {\overline{A}\choose \chi}{\overline{A'}\choose \lambda}{C\overline{B'}\chi\choose C\chi\lambda} \chi(-x)\lambda(y)$ が導出された。
• 結果として、古典的超幾何恒等式が有限体へ一般化され、有限体 $F_3$ が古典的 $F_3$ と類似した関数方程式を満たすことが示された。
• 証明は、特徴和の操作、直交性、および特に $\sum_\chi {A\chi \choose \chi} \chi(x) = (q-1){}_{2}F_1(A,B;C|x)$ および先行研究における $F_2$-型恒等式を含むグリーンの研究で知られている既知の恒等式に依存している。