On the rank of an $A$-hypergeometric $D$-module versus the normalized volume of $A$

Abstract

The rank of an $A$-hypergeometric $D$-module $M_A(\beta )$, associated with a full rank $(d\times n)$-matrix $A$ and a vector of parameters $\beta \in {\mathbb{C}}^d$, is known to be the normalized volume of $A$, denoted $\mathrm{vol}(A)$, when $\beta$ lies outside the exceptional arrangement $\mathcal{E}(A)$, an affine subspace arrangement of codimension at least two. If $\beta \in \mathcal{E}(A)$ is simple, we prove that $d-1$ is a tight upper bound for the ratio $\mathrm{rank}(M_A(\beta ))/\mathrm{vol}(A)$ for any $d\ge 3$. We also prove that the set of parameters $\beta$ such that this ratio is at least $2$ is an affine subspace arrangement of codimension at least $3$.

9 pages