Showing 1–32 of 32 results for author: Matusevich, L F

A Generalization of the Ishida Complex with applications

Authors: Laura Felicia Matusevich, Erika Ordog, Byeongsu Yu

Abstract: We construct a generalize Ishida complex to compute the local cohomology with monomial support of modules over quotients of polynomial rings by cellular binomial ideals. As a consequence, we obtain a combinatorial criterion to determine when such a quotient is Cohen--Macaulay. In particular, this gives a Cohen--Macaulayness criterion for lattice ideals. We also prove a result relating the local co… ▽ More We construct a generalize Ishida complex to compute the local cohomology with monomial support of modules over quotients of polynomial rings by cellular binomial ideals. As a consequence, we obtain a combinatorial criterion to determine when such a quotient is Cohen--Macaulay. In particular, this gives a Cohen--Macaulayness criterion for lattice ideals. We also prove a result relating the local cohomology with radical monomial ideal support of an affine semigroup ring to the local cohomology with maximal ideal support of the quotient of the affine semigroup ring by the radical monomial ideal. This requires a combinatorial assumption on the semigroup, which holds for (not necessarily normal) semigroups whose cone is the cone over a simplex. △ Less

Submitted 2 December, 2022; originally announced December 2022.

Comments: 21 pages, 3 figures

MSC Class: Primary 13F65; 13D45; Secondary 13F55

Graded local cohomology of modules over semigroup rings

Authors: Byeongsu Yu, Laura Felicia Matusevich

Abstract: We give a combinatorial description of local cohomology modules of a graded module over a semigroup ring, with support at the graded maximal ideal. This combinatorial framework yields Hochster-type formulas for the Hilbert series of such local cohomology modules in terms of the homology of finitely many polyhedral cell complexes. A Cohen--Macaulay criterion immediately follows. We also provide an… ▽ More We give a combinatorial description of local cohomology modules of a graded module over a semigroup ring, with support at the graded maximal ideal. This combinatorial framework yields Hochster-type formulas for the Hilbert series of such local cohomology modules in terms of the homology of finitely many polyhedral cell complexes. A Cohen--Macaulay criterion immediately follows. We also provide an alternative proof of a result of [18] characterizing Cohen--Macaulay affine semigroup rings. △ Less

Submitted 18 November, 2022; originally announced November 2022.

Comments: 21 pages, 4 figures

MSC Class: 13D45; 13F65; 05E40; 20M25 (Primary) 13C14; 13F55; 14M25; 52B20 (Secondary)

Differential operators, retracts, and toric face rings

Authors: Christine Berkesch, C-Y. Jean Chan, Patricia Klein, Laura Felicia Matusevich, Janet Page, Janet Vassilev

Abstract: We give explicit descriptions of rings of differential operators of toric face rings in characteristic $0$. For quotients of normal affine semigroup rings by radical monomial ideals, we also identify which of their differential operators are induced by differential operators on the ambient ring. Lastly, we provide a criterion for the Gorenstein property of a normal affine semigroup ring in terms o… ▽ More We give explicit descriptions of rings of differential operators of toric face rings in characteristic $0$. For quotients of normal affine semigroup rings by radical monomial ideals, we also identify which of their differential operators are induced by differential operators on the ambient ring. Lastly, we provide a criterion for the Gorenstein property of a normal affine semigroup ring in terms of its differential operators. Our main technique is to realize the k-algebras we study in terms of a suitable family of their algebra retracts in a way that is compatible with the characterization of differential operators. This strategy allows us to describe differential operators of any k-algebra realized by retracts in terms of the differential operators on these retracts, without restriction on char(k). △ Less

Submitted 8 March, 2023; v1 submitted 30 November, 2021; originally announced December 2021.

Comments: Final version, to appear in Algebra & Number Theory

MSC Class: 16S32 (Primary); 13N05; 13F55 (Secondary)

Journal ref: Alg. Number Th. 17 (2023) 1959-1984

An illustrated view of differential operators of a reduced quotient of an affine semigroup ring

Authors: Christine Berkesch, C-Y. Jean Chan, Patricia Klein, Laura Felicia Matusevich, Janet Page, Janet Vassilev

Abstract: Through examples, we illustrate how to compute differential operators on a quotient of an affine semigroup ring by a radical monomial ideal, when working over an algebraically closed field of characteristic 0. Through examples, we illustrate how to compute differential operators on a quotient of an affine semigroup ring by a radical monomial ideal, when working over an algebraically closed field of characteristic 0. △ Less

Submitted 9 May, 2021; originally announced May 2021.

Comments: 30 pages, 17 figures

Standard pairs for monomial ideals in semigroup rings

Authors: Laura Felicia Matusevich, Byeongsu Yu

Abstract: We extend the notion of standard pairs to the context of monomial ideals in semigroup rings. Standard pairs can be used as a data structure to encode such monomial ideals, providing an alternative to generating sets that is well suited to computing intersections, decompositions, and multiplicities. We give algorithms to compute standard pairs from generating sets and vice versa and make all of our… ▽ More We extend the notion of standard pairs to the context of monomial ideals in semigroup rings. Standard pairs can be used as a data structure to encode such monomial ideals, providing an alternative to generating sets that is well suited to computing intersections, decompositions, and multiplicities. We give algorithms to compute standard pairs from generating sets and vice versa and make all of our results effective. We assume that the underlying semigroup ring is positively graded, but not necessarily normal. The lack of normality is at the root of most challenges, subtleties, and innovations in this work. △ Less

Submitted 14 January, 2022; v1 submitted 21 May, 2020; originally announced May 2020.

Comments: 24 pages and 8 figures

MSC Class: 13F65; 05E40; 20M25; 68W30 (Primary) 13F55; 14M25; 52B20; 90C90 (Secondary)

A Zariski theorem for monodromy of $A$-hypergeometric systems

Authors: Jens Forsgård, Laura Felicia Matusevich

Abstract: We give conditions under which the monodromy group of an $A$-hypergeometric system is invariant under modifications of the collection of characters $A$. The key ingredient is a Zariski--Lefschetz type theorem for principal $A$-determinants. We give conditions under which the monodromy group of an $A$-hypergeometric system is invariant under modifications of the collection of characters $A$. The key ingredient is a Zariski--Lefschetz type theorem for principal $A$-determinants. △ Less

Submitted 1 May, 2020; originally announced May 2020.

Comments: 16 pages, 2 figures

Binomial ideals and congruences on $\mathbb{N}^n$

Authors: Laura Felicia Matusevich, Ignacio Ojeda

Abstract: A \emph{congruence} on $\mathbb{N}^n$ is an equivalence relation on $\mathbb{N}^n$ that is compatible with the additive structure. If $\Bbbk$ is a field, and $I$ is a \emph{binomial ideal} in $\Bbbk[X_1,\dots,X_n]$ (that is, an ideal generated by polynomials with at most two terms), then $I$ induces a congruence on $\mathbb{N}^n$ by declaring $\mathbf{u}$ and $\mathbf{v}$ to be equivalent if there… ▽ More A \emph{congruence} on $\mathbb{N}^n$ is an equivalence relation on $\mathbb{N}^n$ that is compatible with the additive structure. If $\Bbbk$ is a field, and $I$ is a \emph{binomial ideal} in $\Bbbk[X_1,\dots,X_n]$ (that is, an ideal generated by polynomials with at most two terms), then $I$ induces a congruence on $\mathbb{N}^n$ by declaring $\mathbf{u}$ and $\mathbf{v}$ to be equivalent if there is a linear combination with nonzero coefficients of $\mathbf{X}^{\mathbf{u}}$ and $\mathbf{X}^{\mathbf{v}}$ that belongs to $I$. While every congruence on $\mathbb{N}^n$ arises this way, this is not a one-to-one correspondence, as many binomial ideals may induce the same congruence. Nevertheless, the link between a binomial ideal and its corresponding congruence is strong, and one may think of congruences as the underlying combinatorial structures of binomial ideals. In the current literature, the theories of binomial ideals and congruences on $\mathbb{N}^n$ are developed separately. The aim of this survey paper is to provide a detailed parallel exposition, that provides algebraic intuition for the combinatorial analysis of congruences. For the elaboration of this survey paper, we followed mainly [Kahle and Miller, Algebra Number Theory 8(6):1297-1364, 2014] with an eye on [Eisenbud and Sturmfels. Duke Math J 84(1):1-45, 1996] and [Ojeda and Piedra Sánchez, J. Symbolic Comput 30(4):383-400, 2000]. △ Less

Submitted 8 March, 2020; originally announced March 2020.

Comments: Dedicated to Professor Antonio Campillo on the occasion of his 65th birthday

Journal ref: in G.M. Greuel (ed.) et al., Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics. Festschrift for Antonio Campillo on the Occasion of his 65th Birthday. Springer, 429-454 (2018)

Neural Codes and the Factor Complex

Authors: Alexander Ruys de Perez, Laura Felicia Matusevich, Anne Shiu

Abstract: We introduce the factor complex of a neural code, and show how intervals and maximal codewords are captured by the combinatorics of factor complexes. We use these results to obtain algebraic and combinatorial characterizations of max-intersection-complete codes, as well as a new combinatorial characterization of intersection-complete codes. We introduce the factor complex of a neural code, and show how intervals and maximal codewords are captured by the combinatorics of factor complexes. We use these results to obtain algebraic and combinatorial characterizations of max-intersection-complete codes, as well as a new combinatorial characterization of intersection-complete codes. △ Less

Submitted 18 October, 2019; v1 submitted 5 April, 2019; originally announced April 2019.

Comments: Added a new section that takes computational considerations into account. That is, it compares an algorithm to determine max intersection completeness derived from our results with brute force methods

Toward Free Resolutions Over Scrolls

Authors: Laura Felicia Matusevich, Aleksandra Sobieska

Abstract: Let $R = k[x]/I$ where $I$ is the defining ideal of a rational normal $k$-scroll. We compute the Betti numbers of the ground field $\mathbb{k}$ as a module over $R$. For $k = 2$, we give the minimal free resolution of $\mathbb{k}$ over $R$. Let $R = k[x]/I$ where $I$ is the defining ideal of a rational normal $k$-scroll. We compute the Betti numbers of the ground field $\mathbb{k}$ as a module over $R$. For $k = 2$, we give the minimal free resolution of $\mathbb{k}$ over $R$. △ Less

Submitted 8 March, 2019; originally announced March 2019.

Comments: 14 pages, 2 figures

MSC Class: 13D02; 16S37; 16S36; 13F55

Sparse Versions of the Cayley-Bacharach Theorem

Authors: Laura Felicia Matusevich, Bruce Reznick

Abstract: We give combinatorial generalizations of the Cayley-Bacharach theorem and induced map. We give combinatorial generalizations of the Cayley-Bacharach theorem and induced map. △ Less

Submitted 28 February, 2019; originally announced March 2019.

On normalized Horn systems

Authors: Christine Berkesch, Laura Felicia Matusevich, Uli Walther

Abstract: We characterize the (regular) holonomicity of Horn systems of differential equations under a hypothesis that captures the most widely studied classical hypergeometric systems. We characterize the (regular) holonomicity of Horn systems of differential equations under a hypothesis that captures the most widely studied classical hypergeometric systems. △ Less

Submitted 8 June, 2018; originally announced June 2018.

Comments: 7 pages. arXiv admin note: text overlap with arXiv:1308.5901

MSC Class: Primary: 14L30; 33C70; Secondary: 13N10; 14M25; 32C38

Counterexamples for Cohen-Macaulayness of Lattice Ideals

Authors: Laura Felicia Matusevich, Aleksandra Sobieska

Abstract: Let $\mathscr{L}\subset \mathbb{Z}^n$ be a lattice, $I$ its corresponding lattice ideal, and $J$ the toric ideal arising from the saturation of $\mathscr{L}$. We produce infinitely many examples, in every codimension, of pairs $I,J$ where one of these ideals is Cohen--Macaulay but the other is not. Let $\mathscr{L}\subset \mathbb{Z}^n$ be a lattice, $I$ its corresponding lattice ideal, and $J$ the toric ideal arising from the saturation of $\mathscr{L}$. We produce infinitely many examples, in every codimension, of pairs $I,J$ where one of these ideals is Cohen--Macaulay but the other is not. △ Less

Submitted 10 April, 2018; originally announced April 2018.

Comments: 9 pages, 2 figures

MSC Class: 52B20 (Primary); 13H10; 05E40; 13F99

Some algebraic aspects of mesoprimary decomposition

Authors: Laura Felicia Matusevich, Christopher O'Neill

Abstract: Recent results of Kahle and Miller give a method of constructing primary decompositions of binomial ideals by first constructing "mesoprimary decompositions" determined by their underlying monoid congruences. Monoid congruences (and therefore, binomial ideals) can present many subtle behaviors that must be carefully accounted for in order to produce general results, and this makes the theory compl… ▽ More Recent results of Kahle and Miller give a method of constructing primary decompositions of binomial ideals by first constructing "mesoprimary decompositions" determined by their underlying monoid congruences. Monoid congruences (and therefore, binomial ideals) can present many subtle behaviors that must be carefully accounted for in order to produce general results, and this makes the theory complicated. In this paper, we examine their results in the presence of a positive $A$-grading, where certain pathologies are avoided and the theory becomes more accessible. Our approach is algebraic: while key notions for mesoprimary decomposition are developed first from a combinatorial point of view, here we state definitions and results in algebraic terms, which are moreover significantly simplified due to our (slightly) restricted setting. In the case of toral components (which are well-behaved with respect to the $A$-grading), we are able to obtain further simplifications under additional assumptions. We also provide counterexamples to two open questions, identifying (i) a binomial ideal whose hull is not binomial, answering a question of Eisenbud and Sturmfels, and (ii) a binomial ideal $I$ for which $I_\text{toral}$ is not binomial, answering a question of Dickenstein, Miller and the first author. △ Less

Submitted 6 March, 2018; v1 submitted 22 June, 2017; originally announced June 2017.

Journal ref: Journal of Pure and Applied Algebra 223 (2018), no. 1, 380-394

On transformations of A-hypergeometric functions

Authors: Jens Forsgård, Laura Felicia Matusevich, Aleksandra Sobieska

Abstract: We propose a systematic study of transformations of $A$-hypergeometric functions. Our approach is to apply changes of variables corresponding to automorphisms of toric rings, to Euler-type integral representations of $A$-hypergeometric functions. We show that all linear $A$-hypergeometric transformations arise from symmetries of the corresponding polytope. As an application of the techniques devel… ▽ More We propose a systematic study of transformations of $A$-hypergeometric functions. Our approach is to apply changes of variables corresponding to automorphisms of toric rings, to Euler-type integral representations of $A$-hypergeometric functions. We show that all linear $A$-hypergeometric transformations arise from symmetries of the corresponding polytope. As an application of the techniques developed here, we show that the Appell function $F_4$ does not admit a certain kind of Euler-type integral representation. △ Less

Submitted 8 March, 2017; originally announced March 2017.

MSC Class: Primary: 33C70; 32A17; Secondary: 14M25

Lopsided Approximation of Amoebas

Authors: Jens Forsgård, Laura Felicia Matusevich, Nathan Mehlhop, Timo de Wolff

Abstract: The amoeba of a Laurent polynomial is the image of the corresponding hypersurface under the coordinatewise log absolute value map. In this article, we demonstrate that a theoretical amoeba approximation method due to Purbhoo can be used efficiently in practice. To do this, we resolve the main bottleneck in Purbhoo's method by exploiting relations between cyclic resultants. We use the same approach… ▽ More The amoeba of a Laurent polynomial is the image of the corresponding hypersurface under the coordinatewise log absolute value map. In this article, we demonstrate that a theoretical amoeba approximation method due to Purbhoo can be used efficiently in practice. To do this, we resolve the main bottleneck in Purbhoo's method by exploiting relations between cyclic resultants. We use the same approach to give an approximation of the Log preimage of the amoeba of a Laurent polynomial using semi-algebraic sets. We also provide a SINGULAR/SAGE implementation of these algorithms, which shows a significant speedup when our specialized cyclic resultant computation is used, versus a general purpose resultant algorithm. △ Less

Submitted 9 September, 2017; v1 submitted 30 August, 2016; originally announced August 2016.

Comments: Minor revision; final version; 15 pages, 2 figures, 2 tables

MSC Class: 13P15; 14Q20; 14T05 (Primary); 90C59; 90C90 (Secondary)

Bernstein-Sato Polynomials on Normal Toric Varieties

Authors: Jen-Chieh Hsiao, Laura Felicia Matusevich

Abstract: We generalize the Bernstein-Sato polynomials of Budur, Mustata and Saito to ideals in normal semigroup rings. In the case of monomial ideals, we also relate the roots of the Bernstein-Sato polynomial to the jum** coefficients of the corresponding multiplier ideals. In order to prove the latter result, we obtain a new combinatorial description for the multiplier ideals of a monomial ideal in a no… ▽ More We generalize the Bernstein-Sato polynomials of Budur, Mustata and Saito to ideals in normal semigroup rings. In the case of monomial ideals, we also relate the roots of the Bernstein-Sato polynomial to the jum** coefficients of the corresponding multiplier ideals. In order to prove the latter result, we obtain a new combinatorial description for the multiplier ideals of a monomial ideal in a normal semigroup ring. △ Less

Submitted 11 August, 2016; originally announced August 2016.

Comments: 14 pages

MSC Class: 14F10 (Primary); 14M25; 14F18; 14B05 (Secondary)

On the parametric behavior of A-hypergeometric series

Authors: Christine Berkesch Zamaere, Jens Forsgård, Laura Felicia Matusevich

Abstract: We describe the parametric behavior of the series solutions of an A-hypergeometric system. More precisely, we construct explicit stratifications of the parameter space such that, on each stratum, the series solutions of the system are holomorphic. We describe the parametric behavior of the series solutions of an A-hypergeometric system. More precisely, we construct explicit stratifications of the parameter space such that, on each stratum, the series solutions of the system are holomorphic. △ Less

Submitted 20 May, 2016; v1 submitted 29 March, 2016; originally announced March 2016.

Comments: 20 pages; minor revisions

MSC Class: Primary: 33C70; Secondary: 14M25; 32A10; 52B20

Hypergeometric Functions for Projective Toric Curves

Authors: Christine Berkesch Zamaere, Jens Forsgård, Laura Felicia Matusevich

Abstract: 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. 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. △ Less

Submitted 2 December, 2015; v1 submitted 12 December, 2014; originally announced December 2014.

Comments: 27 pages and 3 figures. Expanded introduction. Proof of Theorem 2.1 removed, Section 2 merged with the section on resonant parameters. Theorem 3.3 generalized to a space of arbitrary dimension. New Theorem 3.4 and Corollary 3.5. Proposition 4.2 and Corollary 4.3 from version 1 are false, and have been removed. Proposition 4.4 now combines what used to be Corollary 5.3 and Proposition 5.4

MSC Class: 32A17; 33C70

Decompositions of Cellular Binomial Ideals

Authors: Zekiye Sahin Eser, Laura Felicia Matusevich

Abstract: 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. 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. △ Less

Submitted 23 November, 2015; v1 submitted 30 August, 2014; originally announced September 2014.

Comments: Improved proofs of Corollary 3.7, Proposition 3.9, Theorem 4.1 and Theorem 4.3

Primary components of codimension two lattice basis ideals

Authors: Zekiye Sahin Eser, Laura Felicia Matusevich

Abstract: 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 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. △ Less

Submitted 3 March, 2014; originally announced March 2014.

Comments: 19 pages, 7 figures

MSC Class: Primary: 13F99; 52B20; Secondary: 33C70; 20M25

Torus equivariant D-modules and hypergeometric systems

Authors: Christine Berkesch, Laura Felicia Matusevich, Uli Walther

Abstract: We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant D-modules and show that it preserves key properties, such as holonomicity, regularity, and reducibility of monodromy representation. We also examine its effect on so… ▽ More We formalize, at the level of D-modules, the notion that A-hypergeometric systems are equivariant versions of the classical hypergeometric equations. For this purpose, we construct a functor on a suitable category of torus equivariant D-modules and show that it preserves key properties, such as holonomicity, regularity, and reducibility of monodromy representation. We also examine its effect on solutions, characteristic varieties, and singular loci. When applied to certain binomial D-modules, our functor produces saturations of the classical hypergeometric differential equations, a fact that sheds new light on the D-module theoretic properties of these classical systems. △ Less

Submitted 12 June, 2018; v1 submitted 27 August, 2013; originally announced August 2013.

Comments: 32 pages, The discussion of normalized Horn systems in v1 now appears in arXiv:1806.03355

Report number: Mittag-Leffler-2011spring MSC Class: 14L30; 33C70; 13N10; 14M25; 32C38

Singularities and holonomicity of binomial D-modules

Authors: Christine Berkesch Zamaere, Laura Felicia Matusevich, Uli Walther

Abstract: 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. Th… ▽ More 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. △ Less

Submitted 5 March, 2014; v1 submitted 27 August, 2013; originally announced August 2013.

Comments: 12 pages. A gap in the previous version is closed through new arguments

Report number: Mittag-Leffler-2011spring MSC Class: 32C38; 14B05; 33C70; 14M25

Nilsson solutions for irregular A-hypergeometric systems

Authors: Alicia Dickenstein, Federico Nicolás Martínez, Laura Felicia Matusevich

Abstract: 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… ▽ More 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. △ Less

Submitted 14 February, 2012; v1 submitted 23 July, 2010; originally announced July 2010.

Comments: Terminology changed: see Definition 2.6 in current version. Corrections made to Theorem 6.6, Corollary 6.7 and Corollary 6.8 in version 1 (now Theorem 6.7, Corollary 6.9 and Corollary 6.10, respectively). Added Corollary 6.3 and Example 6.8. Some stylistic changes, some typos corrected

A-graded methods for monomial ideals

Authors: Christine Berkesch, Laura Felicia Matusevich

Abstract: 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 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. △ Less

Submitted 4 March, 2009; v1 submitted 28 July, 2008; originally announced July 2008.

Comments: Reorganized version with new introduction, Section 2 simplified, corrections made to Section 4

MSC Class: 13D45; 16E45 (Primary) 13F55; 13C14; 13D07 (Secondary)

Combinatorics of binomial primary decomposition

Authors: Alicia Dickenstein, Laura Felicia Matusevich, Ezra Miller

Abstract: 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 hyper… ▽ More 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. △ Less

Submitted 26 March, 2008; originally announced March 2008.

Comments: This paper was split off from math.AG/0610353 whose version 3 is now shorter

MSC Class: 13F99; 52B20; 20M25; 14M25

Weyl closure of hypergeometric systems

Authors: Laura Felicia Matusevich

Abstract: We show that A-hypergeometric systems and Horn hypergeometric systems are Weyl closed for very generic parameters. We show that A-hypergeometric systems and Horn hypergeometric systems are Weyl closed for very generic parameters. △ Less

Submitted 19 January, 2009; v1 submitted 7 July, 2007; originally announced July 2007.

Comments: Changes in Section 2: Proposition 2.5 from version 1 was incorrectly proven; this has now been removed, and the proof of Theorem 2.7 no longer relies on that fact

MSC Class: 33C70; 32C38 (Primary); 14M25; 13N10 (Secondary)

Binomial D-modules

Authors: Alicia Dickenstein, Laura Felicia Matusevich, Ezra Miller

Abstract: 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… ▽ More 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. △ Less

Submitted 26 March, 2008; v1 submitted 11 October, 2006; originally announced October 2006.

Comments: This version is shorter than v2. The material on binomial primary decomposition has been split off and now appears in its own paper arxiv:0803.3846

Journal ref: Duke Math. J. 151, no. 3 (2010), 385-429

Homological Methods for Hypergeometric Families

Authors: Laura Felicia Matusevich, Ezra Miller, Uli Walther

Abstract: 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… ▽ More 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-jum** 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. △ Less

Submitted 22 June, 2004; v1 submitted 18 June, 2004; originally announced June 2004.

Arbitrary rank jumps for $A$-hypergeometric systems through Laurent polynomials

Authors: Laura Felicia Matusevich, Uli Walther

Abstract: 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… ▽ More 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. △ Less

Submitted 8 April, 2004; originally announced April 2004.

Combinatorics of rank jumps in simplicial hypergeometric systems

Authors: Laura Felicia Matusevich, Ezra Miller

Abstract: 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 volu… ▽ More 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. △ Less

Submitted 4 February, 2004; originally announced February 2004.

Comments: 6 pages, LaTeX

MSC Class: 33C70 (Primary) 14M25; 13N10; 13D45; 52B20; 13C14; 16S36; 20M25 (Secondary)

Exceptional parameters for generic A-hypergeometric systems

Authors: Laura Felicia Matusevich

Abstract: 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… ▽ More 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$. △ Less

Submitted 24 September, 2001; v1 submitted 3 May, 2001; originally announced May 2001.

Comments: Major revisions

Rank jumps in Codimension 2 A-Hypergeometric Systems

Authors: Laura Felicia Matusevich

Abstract: 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. 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. △ Less

Submitted 14 September, 2000; originally announced September 2000.

Comments: 24 pages