A codimension formula for intrinsic perturbation of -hypergeometric series
In the authors' words
We study the canonical formal solution space of a homogeneous -hypergeometric system in a generic direction. We present as a finite-dimensional cokernel the quotient of that space by the span of the canonical series obtained by intrinsic perturbation, taken over all exponents occurring in that space and all ordered negative support families, and we compute the codimension of that span. We show that the presentation and the codimension transfer to the holomorphic solutions on a common nonsingular domain. We apply these results, for every integer , to a homogeneous -hypergeometric system of lattice rank 2 with columns and show that the span of the canonical series obtained by intrinsic perturbation has codimension at least in the canonical formal solution space.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 20 pages, 1 table; ancillary files: verification scripts for Sage and Macaulay2. Companion paper to arXiv:2608.18006, from which this paper was split; the obstruction module used here is constructed there