Related papers: Exceptional parameters for generic A-hypergeometri…

The holonomic rank of the A-hypergeometric system H_A(\beta) is shown to depend on the parameter vector \beta when the underlying toric ideal I_A is a non Cohen Macaulay codimension 2 toric ideal. The set of exceptional parameters is…

The holonomic rank of the A-hypergeometric system M_A(\beta) is the degree of the toric ideal I_A for generic parameters; in general, this is only a lower bound. To the semigroup ring of A we attach the ranking arrangement and use this…

We analyze the behavior of the holonomic rank in families of holonomic systems over complex algebraic varieties by providing homological criteria for rank-jumps in this general setting. Then we investigate rank-jump behavior for…

We study $A$-hypergeometric systems $H_A(\beta)$ in the sense of Gelfand, Kapranov and Zelevinsky under two aspects: the structure of their holonomically dual system, and reducibility of their rank module. We prove first that rank-jumping…

We prove that a holonomic binomial $D$--module $M_A (I,\beta)$ is regular if and only if certain associated primes of $I$ determined by the parameter vector $\beta\in \CC^d$ are homogeneous. We further describe the slopes of $M_A(I,\beta)$…

The dimension of the space of holomorphic solutions at nonsingular points (also called the holonomic rank) of a $A$--hypergeometric system $M_A (\beta)$ is known to be bounded above by $ 2^{2d}\operatorname{vol}(A)$, where $d$ is the rank…

Let A be an integer (d x n) matrix, and assume that the convex hull conv(A) of its columns is a simplex of dimension d-1. Write \NA for the semigroup generated by the columns of A. It was proved by M. Saito [math.AG/0012257] that the…

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…

For any integer $d\times (n+1)$ matrix $A$ and parameter $\beta\in\CC^d$ let $M_A(\beta)$ be the associated $A$-hypergeometric (or GKZ) system in the variables $x_0,\ldots,x_n$. We describe bounds for the (roots of the) $b$-functions of…

We recall a numerical criteria for Cohen--Macaulayness related to system of parameters, and introduce monomial ideals of K\"onig type which include the edge ideals of K\"onig graphs. We show that a monomial ideal is of K\"onig type if and…

Given any diagonal cyclic subgroup $\Lambda \subset GL(n+1,k)$ of order $d$, let $I_d\subset k[x_0,\ldots, x_n]$ be the ideal generated by all monomials $\{m_{1},\ldots, m_{r}\}$ of degree $d$ which are invariants of $\Lambda$. $I_d$ is a…

By a codimension-one system we mean a system whose lattice of relations has rank one. We consider codimension-one $A$-hypergeometric systems and explicitly construct some of the logarithmic series solutions at the origin. When the parameter…

The holomorphy conjecture predicts that the local Igusa zeta function associated to a hypersurface and a character is holomorphic on $\mathbb{C}$ whenever the order of the character does not divide the order of any eigenvalue of the local…

We give a dimension formula for the space of logarithm-free series solutions to an A-hypergeometric (or a GKZ hypergeometric) system. In the case where the convex hull spanned by A is a simplex, we give a rank formula for the system,…

A normal (respectively, graded normal) vector configuration $A$ defines the toric ideal $I_A$ of a normal (respectively, projectively normal) toric variety. These ideals are Cohen-Macaulay, and when $A$ is normal and graded, $I_A$ is…

Let $M$ be a finitely generated module of dimension $d$ over a Noetherian local ring $(R,\m)$ and $\q $ the parameter ideal generated by a system of parameters $\x = (x_1,..., x_d)$ of $M$. For each positive integer $n$, set…

A hyperplane arrangement $\cA$ is said to be free if the corresponding Jacobian ideal $J_\cA$ is Cohen-Macaulay. If $\cA$ is free then $J_\cA$ is unmixed (i.e. equidimensional). Freeness is an important property, yet its presence is not…

We undertake the study of bivariate Horn systems for generic parameters. We prove that these hypergeometric systems are holonomic, and we provide an explicit formula for their holonomic rank as well as bases of their spaces of complex…

Let $A$ be a set of $N$ vectors in ${\mathbb Z}^n$ and let $v$ be a vector in ${\mathbb C}^N$ that has minimal negative support for $A$. Such a vector $v$ gives rise to a formal series solution of the $A$-hypergeometric system with…

Monomial ideals which are generic with respect to either their generators or irreducible components have minimal free resolutions derived from simplicial complexes. For a generic monomial ideal, the associated primes satisfy a saturated…