[论文解读] On logarithmic solutions of A-hypergeometric systems

Alan Adolphson, Steven Sperber|arXiv (Cornell University)|Feb 20, 2014

Polynomial and algebraic computation参考文献 2被引用 6

一句话总结

本文通过引入最小 $\hat{\imath}$-负支撑的概念，建立了 A-超几何系统中对数解存在的条件。证明了若向量 $v$ 同时具有最小负支撑和最小 $\hat{\imath}$-负支撑，则存在形式为 $F(\lambda)\log\lambda_i + G(\lambda)$ 的拟解，其中 $G(\lambda)$ 支撑于 $L_{v,\hat{\imath}}$，从而导出此类解的显式公式，并将其应用于 Picard-Fuchs 方程。

ABSTRACT

For an $A$-hypergeometric system with parameter $β$, a vector $v$ with minimal negative support satisfying $Av = β$ gives rise to a logarithm-free series solution. We find conditions on $v$ analogous to `minimal negative support' that guarantee the existence of logarithmic solutions of the system and we give explicit formulas for those solutions. Although we do not study in general the question of when these logarithmic solutions lie in a Nilsson ring, we do examine the $A$-hypergeometric systems corresponding to the Picard-Fuchs equations of certain families of complete intersections and we state a conjecture regarding the integrality of the associated mirror maps.

研究动机与目标

• 确定 A-超几何系统中对数解存在的条件。
• 将最小负支撑的概念推广至单个变量的 $\hat{\imath}$-负支撑。
• 构造显式拟解 $F(\lambda)\log\lambda_i + G_i(\lambda)$，其支撑在 $L_{v,\hat{\imath}}$ 中受控。
• 研究此类解与完全交集的 Picard-Fuchs 方程之间的联系。
• 提出一个关于由此类对数解导出的镜像映射整性的猜想。

提出的方法

• 将 $\hat{\imath}$-负支撑定义为满足 $v_j$ 为负整数的下标 $j \neq i$ 的集合。
• 将 $L_{v,\hat{\imath}}$ 定义为保持 $\hat{\imath}$-负支撑的关联关系的格点。
• 基于满足 $\frac{d}{dt}f_z^{(k)} = f_z^{(k-1)}$ 的单变量函数 $f_z^{(k)}(t)$ 的递归方法，生成解。
• 通过 $\hat{\imath}$-负支撑条件导出的显式公式构造拟解。
• 将该方法应用于具体例子，包括完全交集的 Picard-Fuchs 方程。
• 利用 $L_{v,\hat{\imath}}$ 中的格点关系和支撑约束，验证拟解的条件。

实验结果

研究问题

• RQ1 在何种 $v$ 的条件下，A-超几何系统中存在形式为 $F(\lambda)\log\lambda_i + G(\lambda)$ 的拟解？
• RQ2 $\hat{\imath}$-负支撑条件如何推广经典最小负支撑条件？
• RQ3 此类拟解中 $G(\lambda)$ 成分的显式结构是什么？
• RQ4 这些对数解与完全交集的 Picard-Fuchs 方程有何关联？
• RQ5 对于给定解，镜像映射 $\exp(G_i(\lambda)/F(\lambda))$ 是否为整数？

主要发现

• 若 $v$ 同时具有最小负支撑和最小 $\hat{\imath}$-负支撑，则存在形式为 $F(\lambda)\log\lambda_i + G(\lambda)$ 的拟解，且 $G(\lambda)$ 支撑于 $L_{v,\hat{\imath}}$。
• $G(\lambda)$ 的支撑被显式刻画为包含于 $L_{v,\hat{\imath}}$，确保与格点结构相容。
• 在 $D_4$-构型例子中，导出了 $G_j^{(1)}(\lambda)$ 的显式公式，其中 $G_0^{(1)}$ 涉及 $3l+3m$ 项的调和和。
• 在 $M=1, N_1=4$ 的例子中，$G_4^{(1)}(\lambda)$ 包含对负 $m$ 的非平凡求和，表明其结构更为复杂。
• 通过 Krattenthaler-Rivoal 的工作，确认了在 $D_4$ 情况下 $j=0,\dots,6$ 时 $\exp(G_j^{(1)}(\lambda)/F(\lambda))$ 的整性。
• 在第二个例子中 $j=4$ 时，整性仍为开放问题，但可能由 Delaygue 的工作推出。