website
		statistics
\( \DeclareMathOperator{\codim}{codim} \DeclareMathOperator{\reg}{reg} \)

Matthew Mastroeni

About Me

I am a Postdoc Research Associate in the Department of Mathematics at Iowa State University working in commutative algebra. I earned my Ph.D. at the University of Illinois at Urbana-Champaign in 2018, where I was advised by Hal Schenck. Previously, I was a Postdoctoral Fellow at Oklahoma State University.

Contact Information

  • Email:   mmastro "at" iastate "dot" edu
  • Office:   463 Carver Hall

Research

I am interested in computational, combinatorial, and homological aspects of commutative algebra, especially the structure of free resolutions, Koszul algebras, linkage, and Rees algebras. The video below is a good overview of some of my interests for a general commutative algebra audience.

My talk on Koszul algebras for the Fellowship of the Ring national seminar

Publications

* = undergraduate coauthor

  1. Depth and singular varieties of exterior edge ideals
    (with J. McCullough, A. Osborne*, J. Rice, and C. Willis*) To appear in Rocky Mountain J. Math.
    The homological properties of edge ideals of graphs are well-studied over polynomial rings. In this paper, we study analogously defined edge ideals over exterior algebras, focusing on the depth and singular varieties of such ideals. We prove upper bounds on the depth of edge ideals and explicitly compute the depths of various families of graphs including cycles, complete multipartite graphs, spider graphs, and whiskered graphs.
  2. Chow rings of matroids are Koszul
    (with J. McCullough) Math. Ann. 387 (2023), no.3-4, 1819–1851.
    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. We establish a conjecture of Dotsenko that the Chow ring of any matroid is also Koszul.
  3. Computing generalized Frobenius powers of monomial ideals
    (with C. Francisco, J. Mermin, and J. Schweig) Submitted.
    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.
  4. The InvariantRing package for Macaulay2
    (with L. Ferraro, F. Galetto, F. Gandini, H. Huang, and X. Ni) To appear in J. Softw. Algebra Geom.
    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.
  5. The structure of Koszul algebras defined by four quadrics
    (with P. Mantero) J. Algebra 601 (2022), 280–311.
    Building on previous work, we prove structure theorems for the defining ideals of all Koszul algebras defined by height two ideals of four quadrics over an algebraically closed field. As a result, the structure of all Koszul algebras defined by at most four quadrics is well-understood, and we give applications to the Backelin-Roos property.
  6. Quadratic Gorenstein rings and the Koszul property II
    (with H. Schenck and M. Stillman) Int. Math. Res. Not. IMRN 2023, no. 2, 1461–1482.
    With the aim of answering the question for which codimensions \(c\) and regularities \(r\) is every quadratic Gorenstein ring \(R\) with \(\codim R = c\) and \(\reg R = r\) Koszul, we prove that quadratic Gorenstein rings with \(c = r + 1\) are always Koszul, and for all \(c \geq r + 2 \geq 6\), we construct quadratic Gorenstein rings that are not Koszul.
  7. Betti numbers of Koszul algebras defined by four quadrics
    (with P. Mantero) J. Pure Appl. Algebra 225 (2021), no. 2, Paper No. 106504.
    We give an affirmative answer to a question of Avramov, Conca, and Iyengar about the Betti numbers of Koszul algebras for all Koszul algebras defined by 4 quadrics. In the process, we completely describe the Betti tables of Koszul algebras of codimension 2 defined by 4 quadrics and prove a structure theorem for those of multiplicity 2.
  8. Quadratic Gorenstein rings and the Koszul property I
    (with H. Schenck and M. Stillman) Trans. Amer. Math. Soc. 374 (2021), no. 2, 1077-1093.
    We negatively answer a question of Conca, Rossi, and Valla about whether every quadratic Gorenstein ring of regularity 3 is Koszul by using idealization to construct non-Koszul quadratic Gorenstein rings of regularity 3 for every codimension greater than or equal to 9.
  9. Koszul almost complete intersections
    J. Algebra 501 (2018), 285-302.
    We prove a structure theorem for the defining ideals of Koszul almost complete intersections and, in the process, give an affirmative answer for all such rings to a question of Avramov, Conca, and Iyengar about the Betti numbers of Koszul algebras.
  10. Matrix factorizations and singularity categories in codimension two
    Proc. Amer. Math. Soc. 146 (2018), no. 11, 4605–4617.
    We show how to functorially connect the Eisenbud-Peeva matrix factorizations of a complete intersection of codimension two to its singularity category by way of the graded matrix factorizations of Burke and Walker.

Teaching

Current Semester
  • Math 267: Elementary Differential Equations and Laplace Transforms
Iowa State University
Math 151: Calculus for Business and Social Sciences Fall 2021
Math 165: Calculus 1 Spring, 2023, Spring 2022
Math 166: Calculus 2 Fall 2023, Fall 2022
Math 267: Elementary Differential Equations and Laplace Transforms Fall 2021
Oklahoma State University
Math 2144: Calculus 1 Spring 2021, Fall 2020, Fall 2018
Math 2153: Calculus 2 Fall 2019
Math 3013: Linear Algebra Spring 2020
Math 3613: Introduction to Abstract Algebra Spring 2020, Fall 2019, Spring 2019
University of Illinois
Math 124: Finite Mathematics Spring 2018
Math 221: Calculus 1 Fall 2016, Fall 2015
Math 231: Calculus 2 Fall 2017, Spring 2016, Spring 2015, Fall 2014, Spring 2014, Spring 2013, Fall 2012
Math 241: Calculus 3 Fall 2013
Syracuse University
MAT 221: Elementary Probability and Statistics 1 Fall 2011, Spring 2011
MAT 286: Calculus for the Life Sciences Spring 2012

Software

  1. LatticeChowRings
    A Macaulay2 package for working with the Feichtner-Yuzvinsky Chow rings of atomic lattices with respect to a given building set, including the augmented Chow rings and graded Möbius algebras of matroids.
  2. InvariantRing
    (with L. Ferraro, F. Galetto, F. Gandini, T. Hawes, H. Huang, and X. Ni)
    A Macaulay2 package for computing invariants of group actions on polynomial rings. The package includes a variety of methods for computing invariants of finite groups, diagonal actions of tori and finite abelian groups, and actions of linearly reductive groups.
  3. TestIdeals
    (with E. Bela, A. Boix, J. Bruce, D. Ellingson, D. Hernández, Z. Kadyrsizova, M. Katzman, S. Malec, M. Mostafazadehfard, M. Robinson, K. Schwede, D. Smolkin, P. Teixeira, and E. Witt)
    A Macaulay2 package for working with singularities in positive characteristic via computations of test ideals and related objects.