Finite Directional Coefficient Modules over Euler Fibers of A-Hypergeometric Systems
Abstract
Let A be a d-by-n integer matrix of rank d, let beta belong to the d-dimensional complex vector space, and consider the A-hypergeometric system defined by the ideal H_A(beta), with relation lattice L equal to the integer kernel of A. No homogeneity, pointedness, or positivity assumption is imposed on A. We study directed formal logarithmic solutions simultaneously over all exponent lattices in the Euler fiber over beta, which form an uncountable family when L has positive rank. For a fixed L-generic direction, negative-support strata are described by rational sign polyhedra, and their directional boundedness is characterized by recession cones. On each exponent lattice, normalization reduces the infinitely indexed coefficient equations to a finite system of Euler, transit, and directional vanishing relations, represented by a finitely presented directional coefficient module. We prove that only finitely many exponent lattices contribute nonzero directed solution spaces and that every contributing coefficient module has finite length. Macaulay inverse-system duality then identifies the dimension of the all-lattice directed formal logarithmic solution space with the length of the all-lattice coefficient module. We also give an explicit formal-series realization and a polynomial colon-ideal criterion for all realizable lowest exponents.
Related
- A Comparison Theorem for p-adic GKZ Hypergeometric 𝒟-Modules and Complexes
- Arithmetic hypergeometric 𝒟-modules and exponential sums on reductive groups
- Directional Coefficient Inequalities for Strongly Starlike Mappings in Complex Banach Spaces
- A Coefficient Calculus for Unitary (g, K) Modules of SU(2, 2)
- A Coefficient Calculus for Unitary (g,K)-Modules of SU(2,2)
BibTeX
@misc{okuyama2026finite,
title = {{Finite Directional Coefficient Modules over Euler Fibers of $A$-Hypergeometric Systems}},
author = {Go Okuyama},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2609.02449},
eprint = {2609.02449},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.02449},
}
RIS
TY - UNPB
TI - Finite Directional Coefficient Modules over Euler Fibers of A-Hypergeometric Systems
AU - Go Okuyama
PY - 2026
DA - 2026/10/26
PB - arXiv
DO - 10.48550/arxiv.2609.02449
UR - https://arxiv.org/abs/2609.02449
AB - Let A be a d-by-n integer matrix of rank d, let beta belong to the d-dimensional complex vector space, and consider the A-hypergeometric system defined by the ideal H_A(beta), with relation lattice L equal to the integer kernel of A. No homogeneity, pointedness, or positivity assumption is imposed on A. We study directed formal logarithmic solutions simultaneously over all exponent lattices in the Euler fiber over beta, which form an uncountable family when L has positive rank. For a fixed L-generic direction, negative-support strata are described by rational sign polyhedra, and their directional boundedness is characterized by recession cones. On each exponent lattice, normalization reduces the infinitely indexed coefficient equations to a finite system of Euler, transit, and directional vanishing relations, represented by a finitely presented directional coefficient module. We prove that only finitely many exponent lattices contribute nonzero directed solution spaces and that every contributing coefficient module has finite length. Macaulay inverse-system duality then identifies the dimension of the all-lattice directed formal logarithmic solution space with the length of the all-lattice coefficient module. We also give an explicit formal-series realization and a polynomial colon-ideal criterion for all realizable lowest exponents.
ER -