[论文解读] On the $p$-integrality of $A$-hypergeometric series

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

Advanced Differential Equations and Dynamical Systems参考文献 8被引用 5

一句话总结

本文通过在 $[-1,0]^N$ 中的有理向量上引入一个 $p$-进权重函数，建立了 $A$-超几何级数系数 $p$-整性的判定准则。证明了当且仅当参数向量的权重等于在相同参数 $\beta$ 下所有此类向量中的最小权重时，归一化的 $A$-超几何级数具有 $p$-整系数，为算术几何与镜像对称中的 $p$-进分析提供了关键工具。

ABSTRACT

Let $A$ be a set of $N$ vectors in ${\mathbb Z}^n$ and let $v$ be a vector in ${\mathbb C}^N$ that has minimal negative support for $A$. Such a vector $v$ gives rise to a formal series solution of the $A$-hypergeometric system with parameter $β= Av$. If $v$ lies in ${\mathbb Q}^n$, then this series has rational coefficients. Let $p$ be a prime number. We characterize those $v$ whose coordinates are rational, $p$-integral, and lie in the closed interval $[-1,0]$ for which the corresponding normalized series solution has $p$-integral coefficients.

研究动机与目标

• 确定当参数向量的有理分量属于 $[-1,0]^N$ 时，$p$-归一化的 $A$-超几何级数具有 $p$-整系数的条件。
• 将杜克的 $p$-整性理论从经典超几何函数推广到多变量 $A$-超几何情形。
• 为利用 $A$-超几何级数分析有限域上指数和的 $p$-进性质提供一个框架。
• 将 $A$-超几何级数系数的 $p$-整性与算术镜像对称中 $L$-函数和哈塞不变量的结构联系起来。

提出的方法

• 通过某个 $a$ 的 $(1 - p^a)r$ 的 $p$-进展开，在有理向量 $r \in [-1,0]^N \cap \mathbb{Q}^N$ 上引入 $p$-进权重函数 $w(r)$。
• 定义 $w(R_\beta) = \inf\{w(r) \mid r \in R_\beta\}$，其中 $R_\beta$ 是在 $A$ 下映射到 $\beta$ 的所有 $p$-整有理向量的集合。
• 使用 $p$-进归一化级数 $\Phi_v(\lambda) = \sum_{l \in L_v} \frac{[v]_{l_-}}{[v+l]_{l_+}} \pi^{\sum l_i} \lambda^{v+l}$，其中 $\pi^{p-1} = -p$，以确保 $p$-进收敛半径为 1。
• 应用该权重函数刻画 $p$-整性：当且仅当 $w(v) = w(R_\beta)$ 时，$\Phi_v(\lambda)$ 具有 $p$-整系数。
• 通过哈塞不变量将结果与有限域上的指数和联系起来，表明首项包含 $p$-整 $A$-超几何级数。
• 利用恒等式 $U_M = \bigcup_{\gamma \in \Gamma_a'} (1 - p^a) R_{\gamma,a}$ 将 $w_p(M)$ 与 $R_{\gamma,a}$ 的最小权重联系起来。

实验结果

研究问题

• RQ1 对于哪些有理向量 $v \in [-1,0]^N \cap \mathbb{Q}^N$，$p$-归一化的 $A$-超几何级数 $\Phi_v(\lambda)$ 具有 $p$-整系数？
• RQ2 最小 $p$-权重 $w(R_\beta)$ 如何计算？它对 $A$-超几何解的 $p$-整性有何意义？
• RQ3 $A$-超几何级数的 $p$-整性与有限域上指数和的哈塞不变量之间有何关系？
• RQ4 能否系统地从有限域扩张 $\mathbb{F}_{q^b}$ 上的指数和中提取出 $p$-整 $A$-超几何级数？
• RQ5 $L$-函数的 $p$-整除性性质如何与 $A$-超几何级数的 $p$-整性相关联？

主要发现

• 归一化的 $A$-超几何级数 $\Phi_v(\lambda)$ 具有 $p$-整系数当且仅当 $w(v) = w(R_\beta)$，其中 $w(R_\beta)$ 是所有 $r \in R_\beta$ 上 $p$-权重函数的下确界。
• 若 $w(v) > w(R_\beta)$，则 $\Phi_v(\lambda)$ 的系数在 $p$-进意义下无界，表明其不具有 $p$-整性。
• 有限域上指数和 $S(f_{\bar{\lambda}},{\bf e})$ 的哈塞不变量模 $\pi^{w_p(M)+1}$ 可表示为 $p$-整 $A$-超几何级数 $\Phi_{v(\gamma),a}$ 的和，其中 $v(\gamma)$ 在 $R_{\gamma,a}$ 中达到最小权重。
• 对任意 $A$ 和 $\mathbf{e}$，存在一个扩张次数 $b$，使得 $\mathbb{F}_{q^b}$ 上的指数和至少包含一个 $p$-整 $A$-超几何级数。
• $A$-超几何级数的 $p$-权重为 $w_p(M) = \min_{u \in U_M} w_p(u)$，且等于 $\min_{\gamma \in \Gamma_a} a w(R_{\gamma,a})$，将组合权重与 $p$-进分析联系起来。
• 指数和 $S(f_{\bar{\lambda}},{\bf e})$ 模 $\pi^{w_p(M)+1}$ 的首项是 $p$-整 $A$-超几何级数的 $\mathbb{Z}_p$-线性组合，确认了其在 $p$-进 $L$-函数理论中的作用。