Let I be a divisorial ideal of a strongly F-regular ring R. Watanabe asked if the symbolic Rees algebra R_s(I) is Cohen-Macaulay whenever it is Noetherian. We develop the notion of multi-symbolic Rees algebras, and use this to show that R_s(I) is indeed Cohen-Macaulay whenever a certain auxiliary ring is finitely generated over R.
The purpose of this paper is to prove that the symbolic Rees rings of ideals defining certain finite sets of points in the projective plane over an algebraically closed field are finitely generated using a ring theoretical criterion which is known as Huneke's criterion.
In this paper we extend a result of Cowsik on set-theoretic complete intersection and a result Huneke, Morales and Goto and Nishida about Noetherian symbolic Rees algebras of ideals. As applications, we show that the symbolic Rees algebras of the following ideals are Noetherian and the ideals are set-theoretic complete intersections: (a) the edge ideal of a complete graph, (b) the Fermat ideal and (c) the Jacobian ideal of a certain hyperplane arrangement.
Let $I$ be an ideal whose symbolic Rees algebra is Noetherian. For $m \geq 1$, the $m$-th symbolic defect, sdefect$(I,m)$, of $I$ is defined to be the minimal number of generators of the module $\frac{I^{(m)}}{I^m}$. We prove that sdefect$(I,m)$ is eventually quasi-polynomial as a function in $m$. We compute the symbolic defect explicitly for certain monomial ideals arising from graphs, termed cover ideals. We go on to give a formula for the Waldschmidt constant, an asymptotic invariant measuring the growth of the degrees of generators of symbolic powers, for ideals whose symbolic Rees algebra…
This work is about the structure of the symbolic Rees algebra of the base ideal of a Cremona map. We give sufficient conditions under which this algebra has the "expected form" in some sense. The main theorem in this regard seemingly covers all previous results on the subject so far. The proof relies heavily on a criterion of birationality and the use of the so-called inversion factor of a Cremona map. One adds a pretty long selection of examples of plane and space Cremona maps tested against the conditions of the theorem, with special emphasis on Cohen--Macaulay base ideals.
The regularity of the Rees ring of the edge ideal of a finite simple graph is studied. We show that the matching number is a lower and matching number~$+1$ is an upper bound of the regularity, if the Rees algebra is normal. In general the induced matching number is a lower bound for the regularity, which can be shown by applying the squarefree divisor complex.
In this paper we study homological properties of the Rees ring R of the graded maximal ideal of a standard graded k-algebra A. In particular we are interested the comparison of the depth and regularity of A and R.
We present algorithms for the computation of the Castelnuovo-Mumford regularity of the Rees algebra and of the fiber ring of equigenerated $\mm$-primary ideals in two variables. Applying these algorithms, we find a counter-example to a conjecture of Eisenbud and Ulrich which states that these regularities are equal.
For the polynomial ring over an arbitrary field with twelve variables, there exists a prime ideal whose symbolic Rees algebra is not finitely generated.
We survey old and new approaches to the study of symbolic powers of ideals. Our focus is on the symbolic Rees algebra of an ideal, viewed both as a tool to investigate its symbolic powers and as a source of challenging problems in its own right. We provide an invitation to this area of investigation by stating several open questions.
In this paper, we shall study finite generation of symbolic Rees rings of the defining ideal ${\frak p}$ of the space monomial curve $(t^a, t^b, t^c)$ for pairwise coprime integers $a$, $b$, $c$. Suppose that the base field is of characteristic $0$ and the above ideal ${\frak p}$ is minimally generated by three polynomials. Under the assumption that the homogeneous element $ξ$ of the minimal degree in ${\frak p}$ is the negative curve, we determine the minimal degree of an element $η$ such that the pair $\{ ξ, η\}$ satisfies Huneke's criterion in the case where the symbolic Rees ring is Noethe…
Fermat ideals define planar point configurations that are closely related to the intersection locus of the members of a specific pencil of curves. These ideals have gained recent popularity as counterexamples to some proposed containments between symbolic and ordinary powers. We give a systematic treatment of the family of Fermat ideals, describing explicitly the minimal generators and the minimal free resolutions of all their ordinary powers as well as many symbolic powers. We use these to study the ordinary and the symbolic Rees algebra of Fermat ideals. Specifically, we show that the symbol…
This paper contributes to the study of the prime spectrum and dimension theory of symbolic Rees algebra over Noetherian domains. We first establish some general results on the prime ideal structure of subalgebras of affine domains, which actually arise, in the Noetherian context, as domains between a domain $A$ and $A[a^{-1}]$. We then examine closely the special context of symbolic Rees algebras (which yielded the first counter-example to the Zariski-Hilbert problem). One of the results states that if $A$ is a Noetherian domain and $p$ a maximal ideal of $A$, then the Rees algebra of $p$ inhe…
Let $S={\sf k}[X_1,\dots, X_n]$ be a polynomial ring, where ${\sf k}$ is a field. This article deals with the defining ideal of the Rees algebra of squarefree monomial ideal generated in degree $n-2$. As a consequence, we prove that Betti numbers of powers of the cover ideal of the complement graph of a tree do not depend on the choice of tree. Further, we study the regularity and Betti numbers of powers of cover ideals associated to certain graphs.
In this article, we compute the regularity of Rees algebra of binomial edge ideals of closed graphs. We obtain a lower bound for the regularity of Rees algebra of binomial edge ideals. We also study some algebraic properties of the Rees algebra and special fiber ring of binomial edge ideals of closed graphs via algebraic properties of their initial algebra and Sagbi basis theory. We obtain an upper bound for the regularity of the special fiber ring of binomial edge ideals of closed graphs.
Let G be a simple graph and let J be its ideal of vertex covers. We give a graph theoretical description of the irreducible b-vertex covers of G, i.e., we describe the minimal generators of the symbolic Rees algebra of J. Then we study the irreducible b-vertex covers of the blocker of G, i.e., we study the minimal generators of the symbolic Rees algebra of the edge ideal of G. We give a graph theoretical description of the irreducible binary b-vertex covers of the blocker of G. It is shown that they correspond to irreducible induced subgraphs of G. As a byproduct we obtain a method, using Hilb…
Let C be a clutter and let I be its edge ideal. We present a combinatorial description of the minimal generators of the symbolic Rees algebra Rs(I) of I. It is shown that the minimal generators of Rs(I) are in one to one correspondence with the irreducible parallelizations of C. From our description some major results on symbolic Rees algebras of perfect graphs and clutters will follow. As a byproduct, we give a method, using Hilbert bases, to compute all irreducible parallelizations of C along with all the corresponding vertex covering numbers.
Consider the blow-up Y of a weighted projective plane at a point in the open orbit over a field of characteristic 0. We assume that there exists a curve C on Y such that C^2<0 and C.E=1, where E is the exceptional curve. In this paper we give a (very simple) necessary and sufficient condition for finite generation of the Cox ring of Y (Theorem~1.2). It is an affirmative answer to a conjecture due to He and Kurano-Nishida.
In this paper, we shall study finite generation of symbolic Rees rings of the defining ideal of the space monomial curves $(t^a, t^b, t^c)$ for pairwise coprime integers $a$, $b$, $c$ such that $(a,b,c) \neq (1,1,1)$. If such a ring is not finitely generated over a base field, then it is a counterexample to the Hilbert's fourteenth problem. Finite generation of such rings is deeply related to existence of negative curves on certain normal projective surfaces. We study a sufficient condition (Definition 3.6) for existence of a negative curve. Using it, we prove that, in the case of $(a+b+c)^2 >…
In this paper we show that there is a close relationship between the invariants characterizing the homogeneous vanishing of the local cohomology of the Rees algebra and the associated graded ring for the good filtrations case. We obtain relationships between the Castelnuovo-Mumford regularity of the fiber cone, associated graded ring, Rees algebra and reduction number for the good filtrations case.
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$.
We study the Rees algebra of a perfect Gorenstein ideal of codimension 3 in a hypersurface ring. We provide a minimal generating set of the defining ideal of these rings by introducing a modified Jacobian dual and applying a recursive algorithm. Once the defining equations are known, we explore properties of these Rees algebras such as Cohen-Macaulayness and Castelnuovo-Mumford regularity.
Symbolic Rees algebras of complementary edge ideals
BCAM – Basque Center for Applied Mathematics(巴斯克应用数学中心);Ikerbasque, Basque Foundation for Science(伊克拉巴斯科,巴斯克科学基金会);Ilam University(伊利姆大学);Okayama University(冈山大学)
In this thesis we are interested in studying algebraic properties of monomial algebras, that can be linked to combinatorial structures, such as graphs and clutters, and to optimization problems. A goal here is to establish bridges between commutative algebra, combinatorics and optimization. We study the normality and the Gorenstein property-as well as the canonical module and the a-invariant-of Rees algebras and subrings arising from linear optimization problems. In particular, we study algebraic properties of edge ideals and algebras associated to uniform clutters with the max-flow min-cut pr…
For an ideal I in a regular local ring (R,m)$ with residue class field K = R/m or a standard graded K-algebra R we show that for k >> 0 --> the Artin--Rees number of the syzygy modules of I^k as submodules of the free modules from a free resolution is constant, and thereby present the Artin-Rees number as a proper replacement of regularity in the local situation, --> the ring R/I^k is Golod, its Poincer{é}-Betti series is rational and the Betti numbers of the free resolution of K over R/I^k are polynomials in k of a specific degree. The first result is an extension of work of Kodiyalam and Cut…
We introduce and study vertex cover algebras of weighted simplicial complexes. These algebras are special classes of symbolic Rees algebras. We show that symbolic Rees algebras of monomial ideals are finitely generated and that such an algebra is normal and Cohen-Macaulay if the monomial ideal is squarefree. For a simple graph, the vertex cover algebra is generated by elements of degree 2, and it is standard graded if and only if the graph is bipartite. We also give a general upper bound for the maximal degree of the generators of vertex cover algebras.
Recently, Peeva and the second author constructed irreducible projective varieties with regularity much larger than their degree, yielding counterexamples to the Eisenbud-Goto Conjecture. Their construction involved two new ideas: Rees-like algebras and step-by-step homogenization. Yet, all of these varieties are singular and the nature of the geometry of these projective varieties was left open. The purpose of this paper is to study the singularities inherent in this process. We compute the codimension of the singular locus of an arbitrary Rees-like algebra over a polynomial ring. We then sho…
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 equ…
Let G be a perfect graph and let J be its ideal of vertex covers. We show that the Rees algebra of J is normal and that this algebra is Gorenstein if G is unmixed. Then we give a description--in terms of cliques--of the symbolic Rees algebra and the Simis cone of the edge ideal of G.
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…
In this article, we prove that for several classes of graphs, the Castelnuovo-Mumford regularity of symbolic powers of their edge ideals coincide with that of their ordinary powers.
Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal in a polynomial ring over a field $\mathbb{K}$. In this paper, we obtain upper bounds for the Castelnuovo-Mumford regularity of symbolic powers of certain classes of edge ideals. We also prove that for several classes of graphs, the regularity of symbolic powers of their edge ideals coincides with that of their ordinary powers.
The supremum of reduction numbers of ideals having principal reductions is expressed in terms of the integral degree, a new invariant of the ring, which is finite provided the ring has finite integral closure. As a consequence, one obtains bounds for the Castelnuovo-Mumford regularity of the Rees algebra and for the Artin-Rees numbers.
In this paper, we show that the regularity of the q-th quasi-symbolic power $I^{((q))}$ and the regularity of the $q$-th bracket power $I^{[q]}$ of a monomial ideal of Borel type $I$, satisfy the relations $reg(I^{((q))})\leq q \cdot reg(I)$, respectively $reg(I^{[q]})\geq q\cdot reg(I)$. Also, we give an upper bound for $reg(I^{[q]})$.
Let $A$ be a commutative noetherian ring and $I$ an ideal in $A$. We characterize algebraically when all the minimal primes of the associated graded ring $G_I A$ contract to minimal primes of $A/I$. This, applied to intersection theory, means that there are no embedded distinguished varieties of intersection. The characterization is in terms of the analytic spread of certain localizations of $I$, the symbolic Rees algebra and the normalization of the Rees algebra, and extends results of Huneke, Vasconcelos and Martí-Farré.
We study irreducible representations of Rees cones and characterize the max-flow min-cut property of clutters in terms of the normality of Rees algebras and the integrality of certain polyhedra. Then we present some applications to combinatorial optimization and commutative algebra. As a byproduct we obtain an "effective" method, based on the program "Normaliz", to determine whether a given clutter satisfies the max-flow min-cut property. Let C be a clutter and let I be its edge ideal. We prove that C has the max-flow min-cut property if and only if I is normally torsion free, that is, I^i=I^{…
Let $R=\mathbb{K}[x_1,\dots,x_n]$ and let $\mathfrak{a}_1,\dots,\mathfrak{a}_m$ be homogeneous ideals satisfying certain properties, which include a description of the Noetherian symbolic Rees algebra. We give a solution to a question of Harbourne and Huneke for this set of ideals. We also compute the Waldschmidt constant and resurgence and show that it exhibits a stronger version of the Chudnovsky and Demailly-type bounds. We further show that these properties are satisfied for classical varieties such as the generic determinantal ideals, minors of generic symmetric matrices, generic extended…
Let $G$ be a simple graph and $I$ its edge ideal. We prove that $${\rm reg}(I^{(s)}) = {\rm reg}(I^s)$$ for $s = 2,3$, where $I^{(s)}$ is the $s$-th symbolic power of $I$. As a consequence, we prove the following bounds \begin{align*} {\rm reg} I^{s} & \le {\rm reg} I + 2s - 2, \text{ for } s = 2,3, {\rm reg} I^{(s)} & \le {\rm reg} I + 2s - 2,\text{ for } s = 2,3,4. \end{align*}
We study the regularity of symbolic powers of square-free monomial ideals. We prove that if $I = I_Δ$ is the Stanley-Reisner ideal of a simplicial complex $Δ$, then $\reg(I^{(n)}) \leqslant δ(n-1) +b$ for all $n\geqslant 1$, where $δ= \lim\limits_{n\to\infty} \reg(I^{(n)})/n$, and $b = \max\{\reg(I_Γ) \mid Γ\text{ is a subcomplex of } Δ\text{ with } \F(Γ) \subseteq \F(Δ)\}$. This bound is sharp for any $n$. When $I = I(G)$ is the edge ideal of a simple graph $G$, we obtain a general linear upper bound $\reg(I^{(n)}) \leqslant 2n + \ordmatch(G)-1$, where $\ordmatch(G)$ is the ordered matching n…
Let $G_{n,r}$ denote the graph with $n$ vertices $\{x_1,\ldots,x_n\}$ in cyclic order and for each vertex $x_i$ consider the set $A_i=\{x_{i-r},\ldots,x_{i-1},x_{i+1},x_{i+2},\ldots, x_{i+r}\},$ where $x_{i-j}$ is the vertex $x_{n+i-j}$, whenever $i<j$ and $0\leq r\leq \Bigl\lfloor\dfrac{n}{2}\Bigr\rfloor -1$. In $G_{n,r}$, every vertex $x_i$ is adjacent to all the vertices of $V(G_{n,r})\backslash A_i$. Let $I=I(G_{n,r})$ be the edge ideal of $G_{n,r}$. We show that Minh's conjecture is true for $I,$ i.e. regularity of ordinary powers and symbolic powers of $I$ are equal. We compute the Walds…
Finite generation of the symbolic Rees ring of a space monomial prime ideal of a 3-dimensional weighted polynomial ring is a very interesting problem. Negative curves play important roles in finite generation of these rings. We are interested in the structure of the negative curve. We shall prove that negative curves are rational in many cases. We also see that the Cox ring of the blow-up of a toric variety at the point (1,1,...,1) coincides with the extended symbolic Rees ring of an ideal of a polynomial ring. For example, Roberts' second counterexample to Cowsik's question (and Hilbert's 14t…
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 …
Let $I$ be a homogeneous ideal in a polynomial ring over a field. Let $I^{(n)}$ be the $n$-th symbolic power of $I$. Motivated by results about ordinary powers of $I$, we study the asymptotic behavior of the regularity function $\text{reg}~ (I^{(n)})$ and the maximal generating degree function $ω(I^{(n)})$, when $I$ is a monomial ideal. It is known that both functions are eventually quasi-linear. We show that, in addition, the sequences $\{\text{reg}~ I^{(n)}/n\}_n$ and $\{ω(I^{(n)})/n\}_n$ converge to the same limit, which can be described combinatorially. We construct an example of an equidi…
In this paper we study ideals of points lying on rational normal curves defined in projective plane and projective $ 3 $-space. We give an explicit formula for the value of Castelnuovo-Mumford regularity for their ordinary powers. Moreover, we compare the $ m $-th symbolic and ordinary powers for such ideals in order to show whenever the $ m $-th symbolic defect is non-zero.
We study the regularity of small symbolic powers and integral closure of small powers of edge ideals. We also prove that the regularity of integral closure of powers of edge ideals of graphs with at most two odd cycles is the same as the regularity of their powers.
Let $Δ$ be a simplicial complex of a matroid $M$. In this paper, we explicitly compute the regularity of all the symbolic powers of a Stanley-Reisner ideal $I_Δ$ in terms of combinatorial data of the matroid $M$. In order to do that, we provide a sharp bound between the arboricity of $M$ and the circumference of its dual $M^*$.