arXiv++ Combinatorics

Let $G$ be a finite simple graph on $[n]$ and let $I_c(G)$ denote its complementary edge ideal in the polynomial ring $S = K[x_1,\dots,x_n]$. We give a combinatorial description, in terms of the structure of $G$, of the minimal generators of the symbolic Rees algebra $\mathcal{R}_s(I_c(G)) = \bigoplus_{k \geq 0} I_c(G)^{(k)} t^k$, and show that this algebra is generated in degree at most $6$. Moreover, we completely determine the minimal generators of $\mathcal{R}_{s}(I_{c}(G))$ in graph-theoretic terms. We then study in more detail the homological invariants of the symbolic powers $I_c(G)^{(k)}$ for the classes of cycle graphs and complete multipartite graphs. For theses families, we study the behavior of the symbolic depth function $k\mapsto\operatorname{depth} S/I_c(G)^{(k)}$, we obtain the limit depth of the symbolic powers and the Waldschmidt constant of $I_c(G)$, and further prove that all the symbolic powers $I_c(G)^{(k)}$ are componentwise linear.

In 2018, Cook, Harbourne, Migliore and Nagel introduced the concept of unexpected hypersurfaces, which connects the study of Lefschetz properties of artinian algebras defined by powers of linear forms, to a family of interpolation problems. In this paper, inspired by the theory of unexpected hypersurfaces, we introduce the concept of unexpected systems of parameters for squarefree monomial ideals. Similarly to the setting of points, we show that the existence of an unexpected system of parameters causes a certain algebra to fail the weak Lefschetz property. We then explore combinatorial interpretations of unexpected systems of parameters, and show that this notion is intrinsically related to the theory of balanced complexes. A consequence of our results is that the theory of Rees algebras turns out to be a powerful tool for studying the existence of systems of parameters satisfying special properties.

In this paper we investigate the Rees algebras of squarefree monomial ideals $I \subset S=K[x_1,\dots,x_n]$ generated in degree $n-2$, where $K$ is a field. Every such ideal arises as the complementary edge ideal $I_c(G)$ of a finite simple graph $G$. We describe the defining equations of the Rees algebra $\mathcal{R}(I_c(G))$ in terms of the combinatorics of $G$. If $G$ is a tree or a unicyclic graph whose unique induced cycle has length $3$ or $4$, we prove that $\mathcal{R}(I_c(G))$ is Koszul. We also determine the asymptotic depth of the powers of $I_c(G)$, proving that $\lim_{k \to \infty}\text{depth}\, S/I_c(G)^k=b(G)$, where $b(G)$ is the number of bipartite connected components of $G$. Finally, we show that the index of depth stability of $I_c(G)$ is at most $n-2$, and equality holds when $G$ is a path graph.

Let $I$ be a polymatroidal ideal. In this paper, we study the asymptotic behavior of the homological shift ideals of powers of polymatroidal ideals. We prove that the first homological shift algebra $\text{HS}_1(\mathcal{R}(I))$ of $I$ is generated in degree one as a module over the Rees algebra $\mathcal{R}(I)$ of $I$. We conjecture that the $i$th homological shift algebra $\text{HS}_i(\mathcal{R}(I))$ of $I$ is generated in degrees $\le i$, and we confirm it in many significant cases. We show that $I$ has the $1$st homological strong persistence property, and we conjecture that the sequence $\{\text{Ass}\,\text{HS}_i(I^k)\}_{k>0}$ of associated primes of $\text{HS}_i(I^k)$ becomes an increasing chain for $k\ge i$. This conjecture is established when $i=1$ and for many families of polymatroidal ideals. Finally, we explore componentwise polymatroidal ideals, and we prove that $\text{HS}_1(I)$ is again componentwise polymatroidal, if $I$ is componentwise polymatroidal.

In this paper, we investigate the componentwise linearity and the Castelnuovo-Mumford regularity of symbolic powers of polymatroidal ideals. For a polymatroidal ideal $I$, we conjecture that every symbolic power $I^{(k)}$ is componentwise linear and $$ \text{reg}\,I^{(k)}=\text{reg}\,I^k $$ for all $k \ge 1$. We prove that $\text{reg}\,I^{(k)}\ge\text{reg}\,I^k$ for all $k \ge 1$ when $I$ has no embedded associated primes, for instance if $I$ is a matroidal ideal. Moreover, we establish a criterion on the symbolic Rees algebra $\mathcal{R}_s(I)$ of a monomial ideal of minimal intersection type which guarantees that every symbolic power $I^{(k)}$ has linear quotients and, hence, is componentwise linear for all $k\ge1$. By applying our criterion to squarefree Veronese ideals and certain matching-matroidal ideals, we verify both conjectures for these families. We establish the Conforti-Cornuéjols conjecture for any matroidal ideal, and we show that a matroidal ideal is packed if and only if it is the product of monomial prime ideals with pairwise disjoint supports. Furthermore, we identify several classes of non-squarefree polymatroidal ideals for which the ordinary and symbolic powers coincide. Hence, we confirm our conjectures for transversal polymatroidal ideals and principal Borel ideals. Finally, we verify our conjectures for all polymatroidal ideals either generated in small degrees or in a small number of variables.

Let $S=K[x_1,\dots,x_n]$ be the polynomial ring over a field $K$, and let $I\subset S$ be a monomial ideal. In this paper, we introduce the $i$th \textit{homological shift algebras} $\text{HS}_i(\mathcal{R}(I))=\bigoplus_{k\ge1}\text{HS}_i(I^k)$ of $I$. If $I$ has linear powers, these algebras have the structure of a finitely generated bigraded module over the Rees algebra $\mathcal{R}(I)$ of $I$. Hence, many invariants of $\text{HS}_i(I^k)$, such as depth, associated primes, regularity, and the $\text{v}$-number, exhibit well behaved asymptotic behavior. We determine several families of monomial ideals $I$ for which $\text{HS}_i(I^k)$ has linear resolution for all $k\gg0$. Finally, we show that $\text{HS}_i(I^k)$ is Golod for all monomial ideals $I\subset S$ with linear powers and all $k\gg0$.

An ideal $I$ of a commutative ring $R$ is said to be of linear type when its Rees algebra and symmetric algebra exhibit isomorphism. In this paper, we investigate the conjecture put forth by Jayanthan, Kumar, and Sarkar (2021) that if $G$ is a tree or a unicyclic graph, then the binomial edge ideal of $G$ is of linear type. Our investigation validates this conjecture for trees. However, our study reveals that not all unicyclic graphs adhere to this conjecture.

We classify all graphs for which the Rees algebras of their edge ideals are normal and have regularity equal to their matching numbers.

The theory of Rees algebras of monomial ideals has been extensively studied, and as a consequence, many (sometimes partial) equivalences between algebraic properties of monomial ideals, and combinatorial properties of simplicial complexes and hypergraphs are known. In this paper we show how this theory can be used to find interesting examples in the theory of Lefschetz properties. We explore the consequences of known results from Lefschetz properties to the Rees algebras of squarefree monomial ideals, for example in the calculation of analytic spread. In particular, we show a connection between symbolic powers and $f$-vectors of simplicial complexes. This perspective leads us to a generalization of Postnikov's "mixed Eulerian numbers". We prove the positivity of such numbers in our setting.

In the present paper, we study the Dao numbers $\mathfrak{d}_1(I),\mathfrak{d}_2(I)$ and $\mathfrak{d}_3(I)$ of an ideal $I$ of a Noetherian local ring $(R,\mathfrak{m},K)$ or a standard graded Noetherian $K$-algebra. They are defined as the smallest $\ell\ge0$ such that $I\mathfrak{m}^k$ is $\mathfrak{m}$-full, full, weakly $\mathfrak{m}$-full, respectively, for all $k\ge\ell$. We provide general bounds for the Dao numbers in terms of the Castelnuovo-Mumford regularity of certain modules over the Rees algebra $\mathcal{R}(\mathfrak{m})$. If $R$ is a Koszul algebra, we prove that the Dao numbers are less or equal to $\text{reg}_{\text{gr}_\mathfrak{m}(R)}\text{gr}_\mathfrak{m}(I)$, where $\text{gr}_\mathfrak{m}(I)$ is the associated graded module of $I$. Finally, for monomial ideals, we combinatorially bound the Dao numbers in terms of asymptotic linear quotients and bounding multidegrees.

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.

Symmetric strongly shifted ideals are a class of monomial ideals which come equipped with an action of the symmetric group and are analogous to the well-studied class of strongly stable monomial ideals. In this paper we focus on algebraic and combinatorial properties of symmetric strongly shifted ideals. On the algebraic side, we elucidate properties that pertain to behavior under ideal operations, primary decomposition, and the structure of their Rees algebra. On the combinatorial side, we develop a notion of partition Borel generators which leads to connections to discrete polymatroids, convex polytopes, and permutohedral toric varieties.

We give a cohomological interpretation of the Heaviside filtration on the Varchenko--Gelfand ring of a pair $(\mathcal{A},\mathcal{K})$, where $\mathcal{A}$ is a real hyperplane arrangement and $\mathcal{K}$ is a convex open subset of the ambient vector space. This builds on work of the first author, who studied the filtration from a purely algebraic perspective, as well as work of Moseley, who gave a cohomological interpretation in the special case where $\mathcal{K}$ is the ambient vector space. We also define the Gelfand--Rybnikov ring of a conditional oriented matroid, which simultaneously generalizes the Gelfand--Rybnikov ring of an oriented matroid and the aforementioned Varchenko--Gelfand ring of a pair. We give purely combinatorial presentations of the ring, its associated graded, and its Rees algebra.

In this paper, we are mainly concerned with the blow-up algebras of the secant varieties of balanced rational normal scrolls. In the first part, we give implicit defining equations of their associated Rees algebras and fiber cones. Consequently, we can tell that the fiber cones are Cohen--Macaulay normal domains. Meanwhile, these fiber cones have rational singularities in characteristic zero, and are $F$-rational in positive characteristic. The Gorensteinness of the fiber cones can also be characterized. In the second part, we compute the Castelnuovo--Mumford regularities and $\mathbf{a}$-invariants of the fiber cones. We also present the reduction numbers of the ideals defined by the secant varieties.

The aims of this work are to study Rees algebras of filtrations of monomial ideals associated to covering polyhedra of rational matrices with non-negative entries and non-zero columns using combinatorial optimization and integer programming, and to study powers of monomial ideals and their integral closures using irreducible decompositions and polyhedral geometry. We study the Waldschmidt constant and the ic-resurgence of the filtration associated to a covering polyhedron and show how to compute these constants using linear programming. Then we show a lower bound for the ic-resurgence of the ideal of covers of a graph and prove that the lower bound is attained when the graph is perfect. We also show lower bounds for the ic-resurgence of the edge ideal of a graph and give an algorithm to compute the asymptotic resurgence of squarefree monomial ideals. A classification of when Newton's polyhedron is the irreducible polyhedron is presented using integral closure.

We study the symbolic powers of square-free monomial ideals via symbolic Rees algebras and methods in prime characteristic. In particular, we prove that the symbolic Rees algebra and the symbolic associated graded algebra are split with respect to a morphism which resembles the Frobenius map and that exists in all characteristics. Using these methods, we recover a result by Hoa and Trung which states that the normalized $a$-invariants and the Castelnuovo-Mumford regularity of the symbolic powers converge. In addition, we give a sufficient condition for the equality of the ordinary and symbolic powers of this family of ideals, and relate it to Conforti-Cornuéjols conjecture. Finally, we interpret this condition in the context of linear optimization.

Let $G$ be a bipartite graph and $I=I(G)$ be its edge ideal. The aim of this note is to investigate different aspects of the Rees algebra $\mathcal{R}(I)$ of $I$. We compute its regularity and the universal Gröbner basis of its defining equations; interestingly, both of them are described in terms of the combinatorics of $G$. We apply these ideas to study the regularity of the powers of $I$. For any $s \ge \text{match}(G)+\lvert E(G) \rvert +1$ we prove that $\text{reg}(I^{s+1})=\text{reg}(I^s)+2$.

Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gröbner basis for the associated toric ideal. Our proofs use the construction of graphs corresponding to fibers of the toric map. As a consequence, we conclude that the Rees algebra is also Koszul.

In this paper we study irreducible representations and symbolic Rees algebras of monomial ideals. Then we examine edge ideals associated to vertex-weighted oriented graphs. These are digraphs having no oriented cycles of length two with weights on the vertices. For a monomial ideal with no embedded primes we classify the normality of its symbolic Rees algebra in terms of its primary components. If the primary components of a monomial ideal are normal, we present a simple procedure to compute its symbolic Rees algebra using Hilbert bases, and give necessary and sufficient conditions for the equality between its ordinary and symbolic powers. We give an effective characterization of the Cohen--Macaulay vertex-weighted oriented forests. For edge ideals of transitive weighted oriented graphs we show that Alexander duality holds. It is shown that edge ideals of weighted acyclic tournaments are Cohen--Macaulay and satisfy Alexander duality

We investigate Rees algebras and special fiber rings obtained by blowing up specialized Ferrers ideals. This class of monomial ideals includes strongly stable monomial ideals generated in degree two and edge ideals of prominent classes of graphs. We identify the equations of these blow-up algebras. They generate determinantal ideals associated to subregions of a generic symmetric matrix, which may have holes. Exhibiting Gröbner bases for these ideals and using methods from Gorenstein liaison theory, we show that these determinantal rings are normal Cohen-Macaulay domains that are Koszul, that the initial ideals correspond to vertex decomposable simplicial complexes, and we determine their Hilbert functions and Castelnuovo-Mumford regularities. As a consequence, we find explicit minimal reductions for all Ferrers and many specialized Ferrers ideals, as well as their reduction numbers. These results can be viewed as extensions of the classical Dedekind-Mertens formula for the content of the product of two polynomials.