arXiv subjects
Publications and source records attributed to Laura Felicia Matusevich.
We produce a decomposition of the parameter space of the $A$-hypergeometric system associated to a projective monomial curve as a union of an arrangement of lines and its complement, in such a way that the analytic behavior of the solutions of the system is explicitly controlled within each term of the union.
Without any restrictions on the base field, we compute the hull and prove a conjecture of Eisenbud and Sturmfels giving an unmixed decomposition of a cellular binomial ideal. Over an algebraically closed field, we further obtain an explicit (but not necessarily minimal) primary decomposition of such an ideal.
We study binomial D-modules, which generalize A-hypergeometric systems. We determine explicitly their singular loci and provide three characterizations of their holonomicity. The first of these states that a binomial D-module is holonomic if and only if its corresponding singular locus is proper. The second characterization is an equivalence of holonomicity and L-holonomicity for these systems. The third refines the second by giving more detailed information about the L-characteristic variety of a non-holonomic binomial D-module.
We provide explicit combinatorial descriptions of the primary components of codimension two lattice basis ideals. As an application, we compute the set of parameters for which a bivariate Horn system of hypergeometric differential equations is holonomic.
We study the solutions of irregular A-hypergeometric systems that are constructed from Gröbner degenerations with respect to generic positive weight vectors. These are formal logarithmic Puiseux series that belong to explicitly described Nilsson rings, and are therefore called (formal) Nilsson series. When the weight vector is a perturbation of (1,...,1), these series converge and provide a basis for the (multivalued) holomorphic hypergeometric functions in a specific open subset of complex n-space. Our results are more explicit when the parameters are generic or when the solutions studied are logarithm-free. We also give an alternative proof of a result of Schulze and Walther that inhomogeneous A-hypergeometric systems have irregular singularities.
We use \ZZ^d-gradings to study d-dimensional monomial ideals. The Koszul functor is employed to interpret the quasidegrees of local cohomology in terms of the geometry of distractions and to explicitly compute the multiplicities of exponents. These multigraded techniques originate from the study of hypergeometric systems of differential equations.
We show that A-hypergeometric systems and Horn hypergeometric systems are Weyl closed for very generic parameters.
An explicit lattice point realization is provided for the primary components of an arbitrary binomial ideal in characteristic zero. This decomposition is derived from a characteristic-free combinatorial description of certain primary components of binomial ideals in affine semigroup rings, namely those that are associated to faces of the semigroup. These results are intimately connected to hypergeometric differential equations in several variables.
We study quotients of the Weyl algebra by left ideals whose generators consist of an arbitrary Z^d-graded binomial ideal I along with Euler operators defined by the grading and a parameter in C^d. 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 generic rank. In each of these three cases, the parameters in question are precisely those outside of a certain explicitly described affine subspace arrangement in C^d. 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. This study relies fundamentally on the explicit lattice point description of the primary components of an arbitrary binomial ideal in characteristic zero, which we derive in our companion article arxiv:0803.3846.
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 hypergeometric systems H_A(β) arising from a d x n integer matrix A and a parameter β\in \CC^d. To do so we introduce an Euler-Koszul functor for hypergeometric families over \CC^d, whose homology generalizes the notion of a hypergeometric system, and we prove a homology isomorphism with our general homological construction above. We show that a parameter βis rank-jumping for H_A(β) if and only if βlies in the Zariski closure of the set of \ZZ^d-graded degrees αwhere the local cohomology \bigoplus_{i<d}H^i_\frakm(\CC[\NN A])_αof the semigroup ring \CC[\NN A] supported at its maximal graded ideal \frakm is nonzero. Consequently, H_A(β) has no rank-jumps over \CC^d if and only if \CC[\NN A] is Cohen-Macaulay of dimension d.
We investigate the solution space of hypergeometric systems of differential equations in the sense of Gelfand, Graev, Kapranov and Zelevinsky. For any integer $d \geq 2$ we construct a matrix $A_d \in \N^{d \times 2d}$ and a parameter vector $β_d$ such that the holonomic rank of the $A$-hypergeometric system $H_{A_d}(β_d)$ exceeds the simplicial volume $\vol(A_d)$ by at least $d-1$. The largest previously known gap between rank and volume was two. Our argument is elementary in that it uses only linear algebra, and our construction gives evidence to the general observation that rank-jumps seem to go hand in hand with the existence of multiple Laurent (or Puiseux) polynomial solutions.
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 semigroup ring \CC[\NA] over the complex numbers \CC is Cohen-Macaulay if and only if the rank of the GKZ hypergeometric system H_A(beta) equals the normalized volume of conv(A) for all complex parameters beta in \CC^d. Our refinement here shows, in this simplicial case, that H_A(beta) has rank strictly larger than the volume of conv(A) if and only if beta lies in the Zariski closure in \CC^d of all \ZZ^d-graded degrees where the local cohomology H^i_m(\CC[\NA]) at the maximal ideal m is nonzero for some i < d.
The holonomic rank of an A-hypergeometric system $H_A(β)$ is conjectured to be independent of the parameter vector $β$ if and only if the toric ideal $I_A$ is Cohen Macaulay. We prove this conjecture in the case that $I_A$ is generic by explicitly constructing more than $\vol(A)$ many linearly independent hypergeometric functions for parameters $β$ coming from embedded primes of certain initial ideals of $I_A$.
The holonomic rank of the A-hypergeometric system H_A(β) is shown to depend on the parameter vector βwhen the underlying toric ideal I_A is a non Cohen Macaulay codimension 2 toric ideal. The set of exceptional parameters is usually infinite.