[論文レビュー] Solutions modulo $p$ of Gauss-Manin differential equations for multidimensional hypergeometric integrals and associated Bethe ansatz

Alexander Varchenko|arXiv (Cornell University)|Sep 18, 2017

Algebraic Geometry and Number Theory参考文献 7被引用数 8

ひとこと要約

本稿は、平行に移動する超平面配置に関連する多次元超幾何積分のガウス＝ミンの微分方程式を素数 $p$ を法として多項式解を構成する。微分方程式を $p$ を法として還元することで、著者たちは $
\mathbb{F}_p^k$ 上の点の和として定義される超幾何積分の $p$-類似を定義する。これは、ミンの楕円曲線の点数の超幾何的解釈を一般化する。主な結果は、これらの和が還元された微分方程式を満たし、ベーテのアンザッツ方程式の解と関連していることを示す定理である。

ABSTRACT

We consider the Gauss-Manin differential equations for hypergeometric integrals associated with a family of weighted arrangements of hyperplanes moving parallelly to themselves. We reduce these equations modulo a prime integer $p$ and construct polynomial solutions of the new differential equations as $p$-analogs of the initial hypergeometric integrals. In some cases we interpret the $p$-analogs of the hypergeometric integrals as sums over points of hypersurfaces defined over the finite field $F_p$. That interpretation is similar to the interpretation by Yu.I. Manin in [Ma] of the number of point on an elliptic curve depending on a parameter as a solution of a classical hypergeometric differential equation. We discuss the associated Bethe ansatz.

研究の動機と目的

• 平行に移動する超平面配置から生じる多次元超幾何積分のガウス＝ミンの微分方程式の $p$ を法とする多項式解を構成すること。
• これらの $p$-類似を、有限体 $\mathbb{F}_p$ 上の代数的多様体の点の和として解釈し、ミンの楕円曲線に関する結果を一般化すること。
• 還元された微分方程式の解と幾何的ハミルトニアンのベーテのアンザッツ方程式の解との間の関係を確立すること。
• 対変換形式 $[S]^{(a)}$ を用いて、異なるベーテの固有ベクトルの直交性を証明し、解空間の非退化性を保証すること。

提案手法

• 整数係数および整数重みをもつ超平面配置に対するガウス＝ミンの微分方程式を素数 $p$ を法として還元する。
• $\mathbb{F}_p[x_1,\dots,x_n]$ 内の多項式解を、$\mathbb{F}_p^k$ 上の和を用いて超幾何積分の $p$-類似として構成する。
• 定理 4.4 の鍵となる恒等式を用いて、$\mathbb{F}_p^k$ 上の積分を超幾何積分の $p$-類似に結びつける。
• $\mathbb{F}_p^k$ 上の関数空間に於いて幾何的ハミルトニアン $[K]_i(x)$ を定義し、それらが構成された解に与える作用を導出する。
• $\mathbb{F}_p^k$ 上でベーテのアンザッツ方程式を定式化し、その解がハミルトニアンの共通固有関数を与えることを証明する。
• 対変換形式 $[S]^{(a)}$ を用いて、異なるベーテの解に対応する固有ベクトルの直交性を証明する。

実験結果

リサーチクエスチョン

• RQ1 多次元超幾何積分のガウス＝ミンの微分方程式を、素数 $p$ を法として還元することで、$\mathbb{F}_p$ 上の多項式解を得るにはどうすればよいか？
• RQ2 どのような条件下で $p$-類似解が $\mathbb{F}_p^k$ 上の代数的多様体の点の和に対応するか？
• RQ3 $p$-進設定における幾何的ハミルトニアンの共通固有関数を構成するにあたり、ベーテのアンザッツは果たす役割は何か？
• RQ4 対変換形式は、$p$-還元系における異なるベーテの固有ベクトルの直交性をどのように保証するか？

主な発見

• 定理 4.3 は、構成された多項式解が $p$ を法とする還元されたガウス＝ミンの微分方程式を満たすことを示している。
• 定理 4.4 は、多項式が整数係数で重みが整数であるとき、超幾何積分の $p$-類似が $\mathbb{F}_p^k$ 上の和として表せることを特定している。
• 定理 5.6 は、不等式 $\frac{\kappa}{\kappa-1}(k+1) \geq n$ および $\frac{\kappa}{\kappa-2}k \geq n$ を満たすとき、$p$-類似解が、指定された極をもつ有理関数の $\mathbb{F}_p^k$ 上の和と一致することを示している。
• 定理 6.1 は、ベーテのアンザッツ方程式の任意の解 $t^0 \in \mathbb{F}_p^k$ が、幾何的ハミルトニアン $[K]_i(x)$ の共通固有関数 $F(x,t^0)$ を与え、固有値が $[a_i]/[f]_i(x,t^0)$ に一致することを証明している。
• 系 6.2 は、異なるベーテの解が、対称的対変換形式 $[S]^{(a)}$ の下で直交する固有ベクトルを与えることを確立しており、線形独立性を保証している。
• 本構成は、$\mathbb{F}_p$ 上の多様体の点数を $p$-進超幾何微分方程式の解として解釈することで、ミンの結果を一般化している。