[論文レビュー] Integral ratios of factorials and algebraic hypergeometric functions

Fernando Rodríguez Villegas|arXiv (Cornell University)|Jan 12, 2007

Nonlinear Waves and Solitons参考文献 2被引用数 25

ひとこと要約

本稿は、階乗比の整数性とその母関数の代数的性質の間の明確な関係を確立する。階乗比 $ u_n = \prod_{\nu \geq 1} (\nu n)!^{\gamma_\nu} $ がすべての $ n $ に対して整数であるための必要十分条件は、その母関数が代数的であることであり、これは関連する超幾何関数が代数的でかつ次元 $ d = 1 $ である場合に限り成立する。

ABSTRACT

Sketch of proof of a theorem relating the two subjects of the title. It can be thought as an extension of results of Landau for the classical hypergeometric function. It relies on the characterization of algebraic hypergeometric functions of Beukers and Heckman. In the process we also show that a variant of a classical construction of Bezout (producing a quadratic form, the Bezoutian, out of two polynomials in one variable) gives the Hermitian form fixed by the monodromy group, up to scaling.

研究の動機と目的

• すべての $ n \geq 0 $ に対して $ u_n = \prod (\nu n)!^{\gamma_\nu} $ が整数であるような場合を同定すること。
• 母関数 $ u(\lambda) = \sum u_n \lambda^n $ が $ \mathbb{Q}(\lambda) $ 上代数的であるための条件を特定すること。
• 関連する超幾何微分方程式のモノドロミー群の有限性と、このような階乗比の整数性との関係を明らかにすること。
• Landau関数 $ \mathcal{L}(x) $ の非負性と母関数の代数的性質との間の対応関係を確立すること。

提案手法

• $ p $-進付値 $ v_p(u_n) = \sum_{k \geq 1} \mathcal{L}(n/p^k) $ を用いて整数性を分析する。ここで $ \mathcal{L}(x) = -\sum \gamma_\nu \{\nu x\} $ である。
• Eisensteinの定理を適用し、$ u(\lambda) $ が代数的であるならばすべての $ n $ に対して $ u_n \in \mathbb{N} $ であることを示し、$ N=1 $ を得る。
• $ \pi_1(\mathbb{P}^1 \setminus \{0,1,\infty\}) \to GL(V) $ におけるモノドロミー表現 $ \rho $ を分析し、それぞれ $ 1, \infty, 0 $ の周りのモノドロミーを $ A, B, \sigma $ とする。
• Beukers–Heckmanの基準を用いる：$ u(\lambda) $ が代数的であることと、$ A $ と $ B $ の固有多項式 $ p(t), q(t) $ の根が単位円上で交互に並ぶことは同値である。
• Bezoutian行列 $ \operatorname{Bez}(p,q) $ を定義し、その符号数が $ \Gamma $-不変な正定値ヘルミート形式の存在を決定し、これにより $ \Gamma $ のコンパクト性および有限性が示される。
• $ \mathcal{L}(x) \geq 0 $ がすべての $ x \in \mathbb{R} $ で成り立つことは、$ \gamma $ が整数であることと同値であり、$ d=1 $ であると、根が単位円上で交互に並ぶことが保証され、したがって代数的性が保証される。

実験結果

リサーチクエスチョン

• RQ1 すべての $ n \geq 0 $ に対して階乗比 $ u_n = \prod (\nu n)!^{\gamma_\nu} $ が整数であるのはいつか？
• RQ2 母関数 $ u(\lambda) = \sum u_n \lambda^n $ が $ \mathbb{Q}(\lambda) $ 上代数的であるための、指数 $ \gamma_\nu $ の条件は何か？
• RQ3 関連する超幾何微分方程式のモノドロミー群は、$ u_n $ の整数性および代数的性とどのように関係するか？
• RQ4 Landau関数 $ \mathcal{L}(x) $ は $ u_n $ の整数性を決定づける役割を果たすか？
• RQ5 固有多項式の根が単位円上で交互に並ぶ条件は何か？

主な発見

• 母関数 $ u(\lambda) $ が $ \mathbb{Q}(\lambda) $ 上代数的であることと、$ \gamma $ が整数かつ次元 $ d = 1 $ であることとは同値である。
• $ u(\lambda) $ が満たす最小多項式の次数は $ 483,840 $ であり、単純な場合ですら高い複雑性を示している。
• $ u_n $ の整数性は、すべての実数 $ x $ に対して $ \mathcal{L}(x) $ が非負であることと同値である。
• モノドロミー群 $ \Gamma $ が有限であることと、固有多項式 $ p(t) $ と $ q(t) $ の根が単位円上で交互に並ぶことは同値である。
• Bezoutian行列 $ \operatorname{Bez}(p,q) $ の符号数は、$ \Gamma $ が正定値ヘルミート形式を不変に保つかどうかを決定し、これは代数的性に必要な条件である。
• $ d=1 $ であり、かつ $ \mathcal{L}(x) \geq 0 $ であると、$ p(t) $ と $ q(t) $ の根が単位円上で交互に並び、結果として代数的性が保証される。