Searcharxiv⌕ Search

arXiv subjects

Laura Felicia Matusevich

Publications and source records attributed to Laura Felicia Matusevich.

At least 19 recordsLinked to original sources
arXiv2023

Differential operators, retracts, and toric face rings

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).

math.AC↗
arXiv2022

A Generalization of the Ishida Complex with applications

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.

math.AC↗
arXiv2022

Graded local cohomology of modules over semigroup rings

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.

math.AC↗
arXiv2022

Standard pairs for monomial ideals in semigroup rings

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.

math.AC↗
arXiv2020

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

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.

math.AG↗
arXiv2020

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

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].

math.AC↗
arXiv2019

Neural Codes and the Factor Complex

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.

math.CO↗
arXiv2019

Toward Free Resolutions Over Scrolls

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$.

math.AC↗
arXiv2018

Torus equivariant D-modules and hypergeometric systems

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.

math.AG↗
arXiv2018

On normalized Horn systems

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

math.AG↗
arXiv2018

Counterexamples for Cohen-Macaulayness of Lattice Ideals

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.

math.AC↗
arXiv2018

Some algebraic aspects of mesoprimary decomposition

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.

math.AC↗
arXiv2017

Lopsided Approximation of Amoebas

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.

cs.SC↗
arXiv2017

On transformations of A-hypergeometric functions

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.

math.AG↗
arXiv2016

Bernstein-Sato Polynomials on Normal Toric Varieties

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 jumping 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.

math.AG↗
arXiv2016

On the parametric behavior of A-hypergeometric series

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.

math.AG↗