[論文レビュー] $A$-hypergeometric series associated to a lattice polytope with a unique interior lattice point

Alan Adolphson, Steven Sperber|arXiv (Cornell University)|Aug 20, 2013

Meromorphic and Entire Functions参考文献 7被引用数 3

ひとこと要約

本稿は、内部に唯一の格子点をもつ単体的格子多面体に関連する $A$-超幾何級数の比 $\Phi(\lambda)/\Phi(\lambda^p)$ の $p$-進解析接続を、$p \neq 2$ の条件下で確立する。この結果は、標準的な単位多面体板を超えて、より大きな領域 $\mathcal{D}_+$ へと解析接続の定義域を拡張する。その根拠として、$p$-進関数方程式と、Dworkの枠組みに基づく作用素論的技法が用いられる。

ABSTRACT

We associate to lattice points a_0,a_1,...,a_N in Z^n an A-hypergeometric series Φ(λ) with integer coefficients. If a_0 is the unique interior lattice point of the convex hull of a_1,...,a_N, then for every prime p eq 2 the ratio Φ(λ)/Φ(λ^p) has a p-adic analytic continuation to a closed unit polydisk minus a neighborhood of a hypersurface.

研究の動機と目的

• 格子多面体に内部に唯一の格子点をもつ場合の $A$-超幾何級数の $p$-進解析的性質を研究すること。
• 比 $\Phi(\lambda)/\Phi(\lambda^p)$ の解析接続の定義域を標準的な単位多面体板を超えて拡張すること。
• $p \neq 2$ のとき、この比がより大きな領域 $\mathcal{D}_+$ へ $p$-進解析接続をもつことを確立すること。
• Dworkの枠組みに基づき、$\gamma$-作用素と正規化された解を用いた関数方程式の枠組みを提供すること。

提案手法

• 格子点 $\mathbf{a}_0, \dots, \mathbf{a}_N \in \mathbb{Z}^n$ からなる $A$-超幾何級数 $\Phi(\lambda)$ を構成する。ここで $\mathbf{a}_0$ は $\mathbf{a}_1, \dots, \mathbf{a}_N$ の凸包の唯一の内部格子点である。
• 関係式のモジュール $L$ と $L_+$ を用いて、パrameter $-\hat{\mathbf{a}}_0$ の $A$-超幾何系の形式的解として級数 $\Phi(\lambda)$ を定義する。
• 領域 $\mathcal{D}_+$ を定義するために、$\Phi_1(\lambda)$ と呼ばれる切断されたバージョンを導入する。この領域は標準的収束領域 $\mathcal{D}$ を含み、$|\Phi_1(\lambda)| = 1$ を満たす。
• $\alpha^*$ 作用素と $\gamma^\circ$-構成を用いて、$p$-進関数方程式を適用し、$G(\lambda_0, x)$ と $G(\lambda_0^p, x^p)$ を関連付ける。これにより $\alpha^*(\xi) = p\xi$ が得られる。
• $\gamma^\circ$-作用素を用いて、係数 $\xi_\rho(\lambda)$ が整数係数の $A$-超幾何関数であるような級数 $\xi(\lambda, x)$ を定義する。
• 補題 2.25 と系 2.27 を適用し、$p \neq 2$ のとき $\Phi(\lambda)/\Phi(\lambda^p)$ が $\mathcal{D}_+$ へ解析接続可能であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 多面体 $\Delta$ の内部に唯一の格子点 $\mathbf{a}_0$ があるとき、比 $\Phi(\lambda)/\Phi(\lambda^p)$ は標準的な単位多面体板を超えて $p$-進解析接続をもつか？
• RQ2 内部に唯一の格子点があるという条件下で、$A$-超幾何級数の $p$-進解析的性質はより大きな領域 $\mathcal{D}_+$ へ拡張可能か？
• RQ3 $\gamma^\circ$-作用素と $\alpha^*$-作用の役割は、$p$-進解析接続のための関数方程式を確立するためにどのように寄与するか？
• RQ4 $p$-進正規化された解は、$p$-進ガンマ関数や級数内の階乗項とどのように関係するか？

主な発見

• $p \neq 2$ のすべての素数について、比 $\Phi(\lambda)/\Phi(\lambda^p)$ は領域 $\mathcal{D}_+$ へ $p$-進解析接続可能である。ここで $\mathcal{D}_+$ は $\{ |\lambda_i/\lambda_0| \leq 1 \text{ かつ } |\Phi_1(\lambda)| = 1 \}$ として定義される。
• $\Phi(\lambda)$ は整数係数を持ち、$\mathcal{D}$ 上で $p$-進収束し、その上で単位値をとる。これにより $|\Phi(\lambda)| = 1$ が保証される。
• $\gamma^\circ$-作用素と Dwork風の正規化を用いて、関数方程式 $\alpha^*(\xi) = p\xi$ が確立され、これが主要な解析接続結果に繋がる。
• 係数 $\xi_{\hat{\mathbf{a}}_0}(\lambda)$ は $\Phi(\lambda)$ に等しく、$\mathcal{D}$ 上で $|\Phi(\lambda)| = 1$ であるため、$p$-進環 $R$ 内で可逆である。これにより補題 2.25 の適用が可能になる。
• 証明は、$\xi(\lambda, x)$ への $\alpha^*$ の作用から導かれる $p$-進関数方程式に依拠しており、定数 $c = p$ は $(-\pi\lambda_0 x^{\hat{\mathbf{a}}_0})^{-p}$ の係数を比較することで決定される。
• $p \neq 2$ の制限は、この手法の結果として生じる可能性があり、著者らはこの結果がすべての素数 $p$ に対して成り立つと予想している。