arXiv subjects

Matthew Mastroeni

Publications and source records attributed to Matthew Mastroeni.

11 recordsLinked to original sources

arXiv2026

Koszul Binomial Edge Ideals

As the binomial edge ideal of a graph is always generated by homogeneous quadratic polynomials corresponding to the edges of the graph, the question of when a binomial edge ideal defines a Koszul algebra has been studied by many authors ever since the class of ideals was first defined. Several partial results are known, including a characterization of those binomial edge ideals that possess a quadratic Gr\"obner basis. However, a complete characterization of the graphs determining Koszul binomial edge ideals has remained elusive. Inspired by our recent work characterizing when the graded M\"obius algebras of graphic matroids are Koszul, we answer the question once and for all by proving that a graph defines a Koszul binomial edge ideal if and only if it is strongly chordal and claw-free.

math.AC↗

arXiv2024

Koszul Graded M\"obius Algebras and Strongly Chordal Graphs

The graded M\"{o}bius algebra of a matroid is a commutative graded algebra which encodes the combinatorics of the lattice of flats of the matroid. As a special subalgebra of the augmented Chow ring of the matroid, it plays an important role in the recent proof of the Dowling-Wilson Top Heavy Conjecture. Recently, Mastroeni and McCullough proved that the Chow ring and the augmented Chow ring of a matroid are Koszul. We study when graded M\"obius algebras are Koszul. We characterize the Koszul graded M\"obius algebras of cycle matroids of graphs in terms of properties of the graphs. Our results yield a new characterization of strongly chordal graphs via edge orderings.

math.AC↗

arXiv2022

Chow rings of matroids are Koszul

Chow rings of matroids were instrumental in the resolution of the Heron-Rota-Welsh Conjecture by Adiprasito, Huh, and Katz and in the resolution of the Top-Heavy Conjecture by Braden, Huh, Matherne, Proudfoot, and Wang. The Chow ring of a matroid is a commutative, graded, Artinian, Gorenstein algebra with linear and quadratic relations defined by the matroid. Dotsenko conjectured that the Chow ring of any matroid is Koszul. The purpose of this paper is to prove Dotsenko's conjecture. We also show that the augmented Chow ring of a matroid is Koszul. As a corollary, we show that the Chow rings and augmented Chow rings of matroids have rational Poincaré series.

math.AC↗

arXiv2022

Depth and Singular Varieties of Exterior Edge Ideals

Edge ideals of finite simple graphs are well-studied over polynomial rings. In this paper, we initiate the study of edge ideals over exterior algebras, specifically focusing on the depth and singular varieties of such ideals. We prove an upper bound on the depth of the edge ideal associated to a general graph and a more refined bound for bipartite graphs, and we show that both are tight. We also compute the depth of several large families of graphs including cycles, complete multipartite graphs, spider graphs, and Ferrers graphs. Finally, we focus on the effect whiskering a graph has on the depth of the associated edge ideal.

math.AC↗

arXiv2022

The structure of Koszul algebras defined by four quadrics

Avramov, Conca, and Iyengar ask whether $β_i^S(R) \leq \binom{g}{i}$ for all $i$ when $R=S/I$ is a Koszul algebra minimally defined by $g$ quadrics. In recent work, we give an affirmative answer to this question when $g \leq 4$ by completely classifying the possible Betti tables of Koszul algebras defined by height-two ideals of four quadrics. Continuing this work, the current paper proves a structure theorem for Koszul algebras defined by four quadrics. We show that all these Koszul algebras are LG-quadratic, proving that an example of Conca of a Koszul algebra that is not LG-quadratic is minimal in terms of number of defining equations. We then characterize precisely when these rings are absolutely Koszul, and establish the equivalence of the absolutely Koszul and Backelin--Roos properties up to field extensions for such rings (in characteristic zero). The combination of the above paper with the current one provides a fairly complete picture of all Koszul algebras defined by $g \leq 4$ quadrics.

math.AC↗

arXiv2021

Quadratic Gorenstein rings and the Koszul property II

A question of Conca, Rossi, and Valla asks whether every quadratic Gorenstein ring $R$ of regularity three is Koszul. In a previous paper, we use idealization to answer their question, proving that in nine or more variables there exist quadratic Gorenstein rings of regularity three which are not Koszul. In this paper, we study the analog of the Conca-Rossi-Valla question when the regularity of $R$ is four or more. Let $R$ be a quadratic Gorenstein ring having $\mathrm{codim}\, R = c$ and $\mathrm{reg}\, R = r \ge 4$. We prove that if $c = r+1$ then $R$ is always Koszul, and for every $c \geq r+2$, we construct quadratic Gorenstein rings that are not Koszul, answering questions of Matsuda and Migliore-Nagel concerning the $h$-vectors of quadratic Gorenstein rings.

math.AC↗

arXiv2020

The InvariantRing package for Macaulay2

We describe a significant update to the existing InvariantRing package for Macaulay2. In addition to expanding and improving the methods of the existing package for actions of finite groups, the updated package adds functionality for computing invariants of diagonal actions of tori and finite abelian groups as well as invariants of arbitrary linearly reductive group actions. The implementation of the package has been completely overhauled with the aim of serving as a unified resource for invariant theory computations in Macaulay2.

math.AC↗

arXiv2020

Betti numbers of Koszul algebras defined by four quadrics

Let $I$ be an ideal generated by quadrics in a standard graded polynomial ring $S$ over a field. A question of Avramov, Conca, and Iyengar asks whether the Betti numbers of $R = S/I$ over $S$ can be bounded above by binomial coefficients on the minimal number of generators of $I$ if $R$ is Koszul. This question has been answered affirmatively for Koszul algebras defined by three quadrics and Koszul almost complete intersections with any number of generators. We give a strong affirmative answer to the above question in the case of four quadrics by completely determining the Betti tables of height two ideals of four quadrics defining Koszul algebras.

math.AC↗

arXiv2020

Quadratic Gorenstein rings and the Koszul property I

Let $R$ be a standard graded Gorenstein algebra over a field presented by quadrics. Conca, Rossi, and Valla have shown that such a ring is Koszul if $\mathrm{reg}\, R \leq 2$ or if $\mathrm{reg}\, = 3$ and $c= \mathrm{codim}\, R \leq 4$, and they ask whether this is true for $\mathrm{reg}\, R = 3$ in general. We determine sufficient conditions on a non-Koszul quadratic Cohen-Macaulay ring $R$ that guarantee the Nagata idealization $\tilde{R} = R \ltimes ω_R(-a-1)$ is a non-Koszul quadratic Gorenstein ring. We use this to negatively answer the question of Conca-Rossi-Valla, constructing non-Koszul quadratic Gorenstein rings of regularity 3 for all $c \geq 9$.

math.AC↗

arXiv2020

Computing generalized Frobenius powers of monomial ideals

Generalized Frobenius powers of an ideal were introduced in work of Hernández, Teixeira, and Witt as characteristic-dependent analogs of test ideals. However, little is known about the Frobenius powers and critical exponents of specific ideals, even in the monomial case. We describe an algorithm to compute the critical exponents of monomial ideals and use this algorithm to prove some results about their Frobenius powers and critical exponents. Rather than using test ideals, our algorithm uses techniques from linear optimization.

math.AC↗

arXiv2018

Koszul almost complete intersections

Let $R = S/I$ be a quotient of a standard graded polynomial ring $S$ by an ideal $I$ generated by quadrics. If $R$ is Koszul, a question of Avramov, Conca, and Iyengar asks whether the Betti numbers of $R$ over $S$ can be bounded above by binomial coefficients on the minimal number of generators of $I$. Motivated by previous results for Koszul algebras defined by three quadrics, we give a complete classification of the structure of Koszul almost complete intersections and, in the process, give an affirmative answer to the above question for all such rings.

math.AC↗