[Paper Review] $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 Functions7 references3 citations

TL;DR

This paper establishes the p-adic analytic continuation of the ratio $\Phi(\lambda)/\Phi(\lambda^p)$ for $A$-hypergeometric series associated to a lattice polytope with a unique interior lattice point, under the condition that $p \neq 2$. The result extends the domain of analyticity beyond the unit polydisk to a larger domain $\mathcal{D}_+$, leveraging a $p$-adic functional equation and operator-theoretic methods rooted in Dwork's framework.

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.

Motivation & Objective

• To study the $p$-adic analytic behavior of $A$-hypergeometric series associated to lattice polytopes with a unique interior lattice point.
• To extend the domain of analyticity of the ratio $\Phi(\lambda)/\Phi(\lambda^p)$ beyond the standard unit polydisk.
• To establish that this ratio admits a $p$-adic analytic continuation to a larger domain $\mathcal{D}_+$ when $p \neq 2$.
• To provide a functional equation framework using $\gamma$-operators and normalized solutions in the $p$-adic setting.

Proposed method

• Constructs an $A$-hypergeometric series $\Phi(\lambda)$ with integer coefficients from lattice points $\mathbf{a}_0, \dots, \mathbf{a}_N \in \mathbb{Z}^n$, where $\mathbf{a}_0$ is the unique interior lattice point of the convex hull of $\mathbf{a}_1, \dots, \mathbf{a}_N$.
• Defines the series $\Phi(\lambda)$ via a formal solution to the $A$-hypergeometric system with parameter $-\hat{\mathbf{a}}_0$, using the module of relations $L$ and $L_+$.
• Introduces a truncated version $\Phi_1(\lambda)$ to define the domain $\mathcal{D}_+$, which contains the standard convergence domain $\mathcal{D}$ and ensures $|\Phi_1(\lambda)| = 1$.
• Applies a $p$-adic functional equation via the operator $\alpha^*$ and the $\gamma^\circ$-construction to relate $G(\lambda_0, x)$ and $G(\lambda_0^p, x^p)$, leading to $\alpha^*(\xi) = p\xi$.
• Uses the $\gamma^\circ$-operator to define a series $\xi(\lambda, x)$ whose coefficients $\xi_\rho(\lambda)$ are $A$-hypergeometric functions with integer coefficients.
• Applies Lemma 2.25 and Corollary 2.27 to conclude that $\Phi(\lambda)/\Phi(\lambda^p)$ extends analytically to $\mathcal{D}_+$ for $p \neq 2$.

Experimental results

Research questions

• RQ1 Does the ratio $\Phi(\lambda)/\Phi(\lambda^p)$ admit a $p$-adic analytic continuation beyond the standard unit polydisk when $\mathbf{a}_0$ is the unique interior lattice point of $\Delta$?
• RQ2 Can the $p$-adic analytic behavior of $A$-hypergeometric series be extended to a larger domain $\mathcal{D}_+$ under the unique interior point condition?
• RQ3 What is the role of the $\gamma^\circ$-operator and the $\alpha^*$-action in establishing functional equations for $p$-adic continuation?
• RQ4 How does the $p$-adic normalization of solutions relate to the $p$-adic gamma function and factorial terms in the series?

Key findings

• The ratio $\Phi(\lambda)/\Phi(\lambda^p)$ admits a $p$-adic analytic continuation to the domain $\mathcal{D}_+$, defined as $\{ |\lambda_i/\lambda_0| \leq 1 \text{ and } |\Phi_1(\lambda)| = 1 \}$, for all primes $p \neq 2$.
• The series $\Phi(\lambda)$ has integer coefficients and converges $p$-adically on $\mathcal{D}$, taking unit values there, ensuring $|\Phi(\lambda)| = 1$.
• The functional equation $\alpha^*(\xi) = p\xi$ is established via the $\gamma^\circ$-operator and Dwork-style normalization, leading to the key analytic continuation result.
• The coefficient $\xi_{\hat{\mathbf{a}}_0}(\lambda)$ equals $\Phi(\lambda)$, and since $|\Phi(\lambda)| = 1$ on $\mathcal{D}$, it is invertible in the $p$-adic ring $R$, enabling the application of Lemma 2.25.
• The proof relies on a $p$-adic functional equation derived from the action of $\alpha^*$ on the series $\xi(\lambda, x)$, with the constant $c = p$ determined via comparison of $(-\pi\lambda_0 x^{\hat{\mathbf{a}}_0})^{-p}$ coefficients.
• The restriction $p \neq 2$ is believed to be an artifact of the method, and the authors conjecture that the result holds for all primes $p$.