arXiv Science⌕ Search

arXiv subjects

Matteo Varbaro

Publications and source records attributed to Matteo Varbaro.

At least 19 recordsLinked to original sources
arXiv2026

Herzog ideals and $F$-singularities

In this paper we study the connection between Herzog ideals (i.e., ideals with a squarefree Gr\"obner degeneration) and $F$-singularities. More precisely, we show that, in positive characteristic, homogeneous Herzog ideals define $F$-anti-nilpotent rings, and we inquire, in characteristic 0, on a surprising relationship between being Herzog ideals after a change of coordinates and defining rings of dense open $F$-pure type.

math.AC↗
arXiv2025

When algebra twinks system biology: a conjecture on the structure of Gr\"obner bases in complex chemical reaction networks

We address the challenge of identifying all real positive steady states in chemical reaction networks (CRNs) governed by mass-action kinetics. Traditional numerical methods often require specific initial guesses and may fail to find all the solutions in systems exhibiting multistability. Gr\"obner bases offer an algebraic framework that systematically transforms polynomial equations into simpler forms, facilitating comprehensive solution enumeration. In this work, we propose a conjecture that CRNs with at most pairwise interactions yield Gr\"obner bases possessing a near-"triangular" structure, under appropriate assumptions. We illustrate this phenomenon using examples from a gene regulatory network and the Wnt signaling pathway, where the Gr\"obner basis approach reliably captures all real positive solutions. Our computational experiments reveal the potential of Gr\"obner bases to overcome limitations of local numerical methods for finding the steady states of complex biological systems, making them a powerful tool for understanding dynamical processes across diverse biochemical models.

q-bio.MN↗
arXiv2024

The canonical trace of Stanley-Reisner rings that are Gorenstein on the punctured spectrum

In this paper we prove that nearly Gorenstein Stanley-Reisner rings of dimension at least 3 are indeed Gorenstein. By previous work of the first author this yields a complete characterization of nearly Gorenstein Stanley-Reisner rings. We also show that a Cohen-Macaulay Stanley-Reisner ring is Gorenstein on the punctured spectrum if and only if either it is nearly Gorenstein or its canonical trace is the square of its irrelevant maximal ideal, and that the latter case happens exactly for non-orientable homology manifolds.

math.AC↗
arXiv2024

Symbolic powers of the generic linkage of maximal minors

Let $I$ be the ideal generated by the maximal minors of a matrix of indeterminates over a field and let $J$ denote the generic link, i.e., the most general link, of $I$. The generators of the ideal $J$ are not known. We provide an explicit description of the lead terms of the generators of $J$ using Gr\"obner degeneration. Indeed, we construct a degeneration which preserves the entire graded Betti table of $J$ on passing to the initial ideal. We leverage this construction to establish the equality of the symbolic and ordinary powers of $J$. Our analysis of the initial ideal readily yields the Gorenstein property of the associated graded ring of $J$, and, in positive characteristic, the $F$-rationality of the Rees algebra of $J$. Using the technique of $F$-split filtrations, we further obtain the $F$-regularity of the blowup algebras of $J$.

math.AC↗
arXiv2024

From a local ring to its associated graded algebra

Let $(R,\mathfrak{m})$ be a complete local ring, and $G={\rm gr}_{\mathfrak{m}}(R)$ be its associated graded ring. We introduce a homogenization technique which allows to relate $G$ to the special fiber and $R$ to the generic fiber of a "Gr\"obner-like" deformation. Using this technique we prove sharp results concerning the connectedness of $R$ and $G$. We also construct a family of local domains which fail to satisfy Abhyankar's inequality for the Hilbert-Samuel multiplicity. However, we prove a version of the inequality which holds when $R$ is connected in codimension one.

math.AC↗
arXiv2024

Invariant rings of the special orthogonal group have nonunimodal $h$-vectors

For $K$ an infinite field of characteristic other than two, consider the action of the special orthogonal group $\operatorname{SO}_t(K)$ on a polynomial ring via copies of the regular representation. When $K$ has characteristic zero, Boutot's theorem implies that the invariant ring has rational singularities; when $K$ has positive characteristic, the invariant ring is $F$-regular, as proven by Hashimoto using good filtrations. We give a new proof of this, viewing the invariant ring for $\operatorname{SO}_t(K)$ as a cyclic cover of the invariant ring for the corresponding orthogonal group; this point of view has a number of useful consequences, for example it readily yields the $a$-invariant and information on the Hilbert series. Indeed, we use this to show that the $h$-vector of the invariant ring for $\operatorname{SO}_t(K)$ need not be unimodal.

math.AC↗
arXiv2023

Ladder determinantal varieties and their symbolic blowups

In this article we show that the symbolic Rees algebra of a mixed ladder determinantal ideal is strongly $F$-regular. Furthermore, we prove that the symbolic associated graded algebra of a mixed ladder determinantal ideal is $F$-pure. The latter implies that mixed ladder determinantal rings are $F$-pure. We also show that ideals of the poset of minors of a generic matrix give rise to $F$-pure algebras with straightening law.

math.AC↗
arXiv2022

Lefschetz duality for local cohomology

Since the 1974 paper by Peskine and Szpiro, liaison theory via complete intersections, and more generally via Gorenstein varieties, has become a standard tool kit in commutative algebra and algebraic geometry, allowing to compare algebraic features of linked varieties. In this paper we develop a liaison theory via quasi-Gorenstein varieties, a much broader class than Gorenstein varieties: it is not misleading to think that quasi-Gorenstein rings are to Gorenstein rings as manifolds are to spheres. As applications, we derive a connectedness property of quasi-Gorenstein subspace arrangements generalizing previous results by Benedetti and the second author, and we deduce the classical topological Lefschetz duality via the Stanley-Reisner correspondence.

math.AC↗
arXiv2021

Castelnuovo-Mumford regularity and powers

This note has two goals. The first is to give a short and self contained introduction to the Castelnuovo-Mumford regularity for standard graded ring $R$ over a general base ring. The second is to present a simple and concise proof of a classical result due to Cutkosky, Herzog and Trung and, independently, to Kodiyalam asserting that the regularity of powers of an homogeneous ideal $I$ of $R$ is eventually a linear function in $v$. Finally we show how the flexibility of the definition of the Castelnuovo-Mumford regularity over general base rings can be used to give a simple characterization of the ideals whose powers have a linear resolution in terms of the regularity of the Rees ring.

math.AC↗
arXiv2021

Gr\"obner deformation and $F$-singularities

For polynomial ideals in positive charachteristic, defining $F$-split rings and admitting a squarefree monomial initial ideal are different notions. In this note we show that, however, there are strong interactions in both directions. Moreover we provide an overview on which $F$-singularities are Gr\"obner deforming. Also, we prove the following characteristic-free statement: if $\mathfrak{p}$ is a height $h$ prime ideal such that $\textrm{in}(\mathfrak{p}^{(h)})$ contains at least one squarefree monomial, then $\textrm{in}(\mathfrak{p})$ is a squarefree monomial ideal.

math.AC↗
arXiv2021

Hamiltonian paths, unit-interval complexes, and determinantal facet ideals

We study d-dimensional generalizations of three mutually related topics in graph theory: Hamiltonian paths, (unit) interval graphs, and binomial edge ideals. We provide partial high-dimensional generalizations of Ore and Posa's sufficient conditions for a graph to be Hamiltonian. We introduce a hierarchy of combinatorial properties for simplicial complexes that generalize unit-interval, interval, and co-comparability graphs. We connect these properties to the already existing notions of determinantal facet ideals and Hamiltonian paths in simplicial complexes. Some important consequences of our work are: (1) Every almost-closed strongly-connected d-dimensional simplicial complex is traceable. (This extends the well-known result "unit-interval connected graphs are traceable".) (2) Every almost-closed d-complex that remains strongly connected after the deletion of d or less vertices, is Hamiltonian. (This extends the fact that "unit-interval 2-connected graphs are Hamiltonian".) (3) Unit-interval complexes are characterized, among traceable complexes, by the property that the minors defining their determinantal facet ideal form a Groebner basis for a diagonal term order which is compatible with the traceability of the complex. (This corrects a recent theorem by Ene et al., extends a result by Herzog and others, and partially answers a question by Almousa-Vandebogert.) (4) Only the d-skeleton of the simplex has a determinantal facet ideal with linear resolution. (This extends the result by Kiani and Saeedi-Madani that "only the complete graph has a binomial edge ideal with linear resolution".) (5) The determinantal facet ideals of all under-closed and semi-closed complexes have a square-free initial ideal with respect to lex. In characteristic p, they are even F-pure.

math.CO↗
arXiv2019

Singularities and radical initial ideals

What kind of reduced monomial schemes can be obtained as a Gr\"obner degeneration of a smooth projective variety? Our conjectured answer is: only Stanley-Reisner schemes associated to acyclic Cohen-Macaulay simplicial complexes. This would imply, in particular, that only curves of genus zero have such a degeneration. We prove this conjecture for degrevlex orders, for elliptic curves over real number fields, for boundaries of cross-polytopes, and for leafless graphs. We discuss consequences for rational and F-rational singularities of algebras with straightening laws.

math.AC↗
arXiv2019

Regularity, singularities and $h$-vector of graded algebras

Let $R$ be a standard graded algebra over a field. We investigate how the singularities of $R$ affect its $h$-vector, which is the coefficients of the numerator of its Hilbert series. The most concrete consequences of our work asserts that if $R$ satisfies Serre's condition $(S_r)$ and have reasonable singularities (Du Bois on the punctured spectrum or $F$-pure), then $h_0,\dots, h_r\geq 0$. Furthermore the multiplicity of $R$ is at least $h_0+h_1+\dots+h_{r-1}$. We also prove that equality in many cases forces $R$ to be Cohen-Macaulay. The main technical tools are sharp bounds on regularity of certain Ext modules, which can be viewed as Kodaira-type vanishing statements for Du Bois and $F$-singularities. Many corollaries are deduced, for instance that nice singularities of small codimension must be Cohen-Macaulay. Our results build on and extend previous work by de Fernex-Ein, Eisenbud-Goto, Huneke-Smith, Murai-Terai and others.

math.AC↗
arXiv2018

Simplicial complexes of small codimension

We show that a Buchsbaum simplicial complex of small codimension must have large depth. More generally, we achieve a similar result for ${\rm CM}_t$ simplicial complexes, a notion generalizing Buchsbaum-ness, and we prove more precise results in the codimension 2 case. Along the paper, we show that the ${\rm CM}_t$ property is a topological invariant of a simplicial complex.

math.AC↗
arXiv2018

Square-free Groebner degenerations

Let I be a homogeneous ideal of a polynomial ring S. We prove that if the initial ideal J of I, w.r.t. a term order on S, is square-free, then the extremal Betti numbers of S/I and of S/J coincide. In particular, depth(S/I)=depth(S/J) and reg(S/I)=reg(S/J).

math.AC↗