Source author record

Matthew Mastroeni

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
3topics
4close collaborators

Published work

5 publications

preprint2022arXiv

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.

preprint2022arXiv

The structure of Koszul algebras defined by four quadrics

Avramov, Conca, and Iyengar ask whether βiS(R)≤(gi)β_i^S(R) \leq \binom{g}{i} for all ii when R=S/IR=S/I is a Koszul algebra minimally defined by gg quadrics. In recent work, we give an affirmative answer to this question when g≤4g \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≤4g \leq 4 quadrics.

preprint2020arXiv

Betti numbers of Koszul algebras defined by four quadrics

Let II be an ideal generated by quadrics in a standard graded polynomial ring SS over a field. A question of Avramov, Conca, and Iyengar asks whether the Betti numbers of R=S/IR = S/I over SS can be bounded above by binomial coefficients on the minimal number of generators of II if RR 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.

preprint2020arXiv

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.

preprint2020arXiv

Quadratic Gorenstein rings and the Koszul property I

Let RR 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 reg R≤2\mathrm{reg}\, R \leq 2 or if reg =3\mathrm{reg}\, = 3 and c=codim R≤4c= \mathrm{codim}\, R \leq 4, and they ask whether this is true for reg R=3\mathrm{reg}\, R = 3 in general. We determine sufficient conditions on a non-Koszul quadratic Cohen-Macaulay ring RR that guarantee the Nagata idealization R~=R⋉ωR(−a−1)\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≥9c \geq 9.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.