We study quotients of the Weyl algebra by left ideals whose generators consist of an arbitrary Zd-graded binomial ideal I in C[∂1∂n] along with Euler operators defined by the grading and a parameter βεCd2 Cd. We determine the parameters β for which these D-modules (i) are holonomic (equivalently, regular holonomic, when I is standard-graded); (ii) decompose as direct sums indexed by the primary components of I; and (iii) have holonomic rank greater than the rank for generic β. In each of these three cases, the parameters in question are precisely those outside of a certain explicitly described affine subspace arrangement in Cd. In the special case of Horn hypergeometric D-modules, when I is a lattice basis ideal, we furthermore compute the generic holonomic rank combinatorially and write down a basis of solutions in terms of associated A-hypergeometric functions. Fundamental in this study is an explicit lattice point description of the primary components of an arbitrary binomial ideal in characteristic zero, which we derive from a characteristic-free combinatorial result on binomial ideals in affine semigroup rings. Effective methods can be derived for the computation of primary components of arbitrary binomial ideals and series solutions to classical Horn systems.
Dickenstein, A; Matusevich, LF; Miller, E
Volume / Issue
Start / End Page
International Standard Serial Number (ISSN)