Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal. In this paper we prove that if $G$ is a unicyclic graph then for all $s \geq 1$ the regularity of $I(G)^s$ is exactly $2s+\text{reg}(I(G))-2$. We also characterize the unicyclic graphs with regularity $ν(G)+1$ and $ν(G)+2$, where $ν(G)$ denotes the induced matching number of $G$.
In this paper we provide some exact formulas for the regularity of powers of edge ideals of vertex-weighted oriented cycles and vertex-weighted unicyclic graphs. These formulas are functions of the weight of vertices and the number of edges. We also give some examples to show that these formulas are related to direction selection and the weight of vertices.
Let $G$ be a unicyclic graph with edge ideal $I(G)$. For any integer $s\geq 1$, we denote the $s$-th symbolic power of $I(G)$ by $I(G)^{(s)}$. It is shown that ${\rm reg}(I(G)^{(s)})={\rm reg}(I(G)^s)$, for every $s\geq 1$.
In this paper, we give a formula to compute all the top degree graded Betti numbers of the path ideals of a cycle. As a consequence we can give a formula to compute its projective dimension and regularity.
In this paper we provide some exact formulas for the projective dimension and the regularity of edge ideals associated to vertex weighted rooted forests and oriented cycles. As some consequences, we give some exact formulas for the depth of these ideals.
We introduce an invariant, associated to a coherent sheaf over a projective morphism of schemes, which controls when sheaf cohomology can be passed through the given morphism. We then use this invariant to estimate the stability indexes of the regularity and a*-invariant of powers of homogeneous ideals.
The Eisenbud--Goto conjecture states that $\operatorname{reg} X\le\operatorname{deg} X -\operatorname{codim} X+1$ for a nondegenerate irreducible projective variety $X$ over an algebraically closed field. While this conjecture is known to be false in general, it has been proven in several special cases, including when $X$ is a projective toric variety of codimension $2$. We classify the projective toric varieties of codimension $2$ having maximal regularity, that is, for which equality holds in the Eisenbud--Goto bound. We also give combinatorial characterizations of the arithmetically Cohen--…
In this paper we provide some precise formulas for regularity of powers of edge ideal of the disjoint union of some weighted oriented gap-free bipartite graphs. For the projective dimension of such an edge ideal, we give its exact formula. Meanwhile, we also give the upper and lower bounds of projective dimension of higher power of such edge ideals. Some examples show that these formulas are related to direction selection.
We define a family of homogeneous ideals with large projective dimension and regularity relative to the number of generators and their common degree. This family subsumes and improves upon constructions given in [Cav04] and [McC]. In particular, we describe a family of three-generated homogeneous ideals in arbitrary characteristic whose projective dimension grows asymptotically as sqrt{d}^(sqrt(d) - 1).
By generalizing the notion of the path ideal of a graph, we study some algebraic properties of some path ideals associated to a line graph. We show that the quotient ring of these ideals are always sequentially Cohen-Macaulay and also provide some exact formulas for the projective dimension and the regularity of these ideals. As some consequences, we give some exact formulas for the depth of these ideals.
In this paper we provide some exact formulas for the projective dimension and the regularity of edge ideals associated to three special types of vertex-weighted oriented $m$-partite graphs. These formulas are functions of the weight and number of vertices. We also give some examples to show that these formulas are related to direction selection and the weight of vertices.
In this paper we provide some exact formulas for projective dimension and the regularity of powers of edge ideals of vertex-weighted rooted forests. These formulas are functions of the weight of the vertices and the number of edges. We also give some examples to show that these formulas are related to direction selection and the assumptions about "rooted" forest such that $w(x)\geq 2$ if $d(x)\neq 1$ cannot be dropped.
Let $G$ be a graph and let $I = I(G)$ be its edge ideal. When $G$ is unicyclic, we give a decomposition of symbolic powers of $I$ in terms of its ordinary powers. This allows us to explicitly compute the Waldschmidt constant and the resurgence number of $I$. When $G$ is an odd cycle, we explicitly compute the regularity of $I^{(s)}$ for all $s \in \mathbb{N}$. In doing so, we also give a natural lower bound for the regularity function $\text{reg } I^{(s)}$, for $s \in \mathbb{N}$, for an arbitrary graph $G$.
We bound the Castelnuovo-Mumford regularity and syzygies of the ideal of the singular set of a plane curve, and more generally of the conductor scheme of certain projectively Gorenstein varieties.
We prove that the projective dimension of any (hyper)graph can be bounded from above by the (Castelnuovo-Mumford) regularity of its Levi graph (or incidence bipartite graph). This in particular brings the use of regularity's upper bounds on the calculation of projective dimension of (hyper)graphs. When G is just a (simple) graph, we prove that there exists an induced subgraph H of G such that prod-dim(G)=reg(S(H)), where S(H) is the subdivision graph of H. Moreover, we show that known upper bounds on prod-dim(G) involving domination parameters are in fact upper bounds to reg(S(G)).
In this paper we give new upper bounds on the regularity of edge ideals whose resolutions are k-steps linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of such ideals, generalizing other recent results. By Alexander duality, our results also apply to unmixed square-free monomial ideals of codimension two. We also discuss and connect these results to more classical topics in commutative algebra.
Let I = p_1^{m_1} \cap ... \cap p_s^{m_s} be the defining ideal of a scheme of fat points in P^{n_1} x ... x P^{n_k} with support in generic position. When all the m_i's are 1, we explicitly calculate the Castelnuovo-Mumford regularity of I. In general, if at least one m_i >= 2, we give an upper bound for the regularity of I, which extends the result of Catalisano, Trung and Valla to the multi-projective case.
In this paper we study the asymptotic behavior of the regularity of symbolic powers of ideals of points in a weighted projective plane. By a result of Cutkosky, Ein and Lazarsfeld, regularity of such powers behaves asymptotically like a linear function. We study the difference between regularity of such powers and this linear function. Under some conditions, we prove that this difference is bounded, or eventually periodic. As a corollary we show that, if there exists a negative curve, then the regularity of symbolic powers of a monomial space curve is eventually a periodic linear function. We …
For a smooth curve of genus $g$ embedded by a line bundle of degree at least $2g+3$ we show that the ideal sheaf of the secant variety is 5-regular. This bound is sharp with respect to both the degree of the embedding and the bound on the regularity. Further, we show that the secant variety is projectively normal for the generic embedding of degree at least $2g+3$. We also give a conjectural description of the resolutions of the ideals of higher secant varieties.
In this paper, we explain the regularity, projective dimension and depth of edge ideal of some classes of graphs in terms of invariants of graphs. We show that for a $C_5$-free vertex decomposable graph $G$, $\T{reg}(R/I(G))= c_G$, where $c_G$ is the maximum number of 3-disjoint edges in $G$. Moreover for this class of graphs we characterize $\T{pd}(R/I(G))$ and $\T{depth}(R/I(G))$. As a corollary we describe these invariants in forests and sequentially Cohen-Macaulay bipartite graphs.
We compare, for smooth monomial projective curves, the Castel- nuovo-Mumford regularity and the reduction number; we present an example where these two numbers differ. However, we show they coin- cide for a certain class of monomial curves. Furthermore, for smooth monomial curves we prove an inequality which is stronger than the one from the Eisenbud-Goto conjecture.
Let $X\subseteq \mathbb{P}^N$ be a non-degenerate normal projective variety of codimension $e$ and degree $d$ with isolated $\mathbb{Q}$-Gorenstein singularities. We prove that the Castelnuovo-Mumford regularity $\text{reg}(\mathcal{O}_{X})\le d-e$, as predicted by the Eisenbud-Goto regularity conjecture. Such a bound fails for general projective varieties. The main techniques are Noma's classification of non-degenerated projective varieties and Nadel vanishing for multiplier ideals. We also classify the extremal and the next to extremal cases.
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.
In this paper we prove the Eisenbud-Goto conjecture for connected curves. We also investigate the structure of connected curves for which this bound is optimal. In particular, we construct connected curves of arbitrarily high degree in projective 4-space having maximal regularity, but no extremal secants. We also show that any connected curve in projective 3-space of degree at least 5 that has no linear components and has maximal regularity has an extremal secant.
We first show that the union of a projective curve with one of its extremal secant lines satisfies the linear general position principle for hyperplane sections. We use this to give an improved approximation of the Betti numbers of curves ${\mathcal C} \subset \mathbb P^r_K$ of maximal regularity with $°{\mathcal C} \leq 2r -3.$ In particular we specify the number and degrees of generators of the vanishing ideal of such curves. We apply these results to study surfaces $X \subset \mathbb P^r_K$ whose generic hyperplane section is a curve of maximal regularity. We first give a criterion for "an …
Let $R=k[x_1,\dots,x_n]/I$ be a standard graded $k$-algebra where $k$ is a field of prime characteristic and let $J$ be a homogeneous ideal in $R$. Denote $(x_1,\dots,x_n)$ by $\mathfrak{m}$. We prove that there is a constant $C$ (independent of $e$) such that the regularity of $H^s_{\mathfrak{m}}(R/J^{[p^e]})$ is bounded above by $Cp^e$ for all $e\geq 1$ and all integers $s$ such that $s+1$ is at least the dimension of the locus where $R/J$ doesn't have finite projective dimension.
When M is a finitely generated graded module over a standard graded algebra S and I is an ideal of S, it is known from work of Cutkosky, Herzog, Kodiyalam, Römer, Trung and Wang that the Castelnuovo-Mumford regularity of I^mM has the form dm+e when m >> 0. We give an explicit bound on the m$for which this is true, under the hypotheses that I is generated in a single degree and M/IM has finite length, and we explore the phenomena that occur when these hypotheses are not satisfied. Finally, we prove a regularity bound for a reduced, equidimensional projective scheme of codimension 2 that is simi…
We give examples of nonsingular curves in projective 3 space such that the regularity of powers of their ideal sheaves are highly nonlinear. This is in constrast to the case of an ideal I in a polynomial ring, where the regularity of I^n is a linear polynomial in n for large n.
We compute the Castelnuovo-Mumford regularity of the edge ideals of two families of circulant graphs, which includes all cubic circulant graphs. A feature of our approach is to combine bounds on the regularity, the projective dimension, and the reduced Euler characteristic to derive an exact value for the regularity.
We provide bounds on the Castelnuovo-Mumford regularity in terms of ``defining equations'' by using elements that annihilates some cohomology modules, inspired by works of Miyazaki, Nagel, Schenzel and Vogel. The elements in these annihilators are provided either by liaison or by tight closure theories. Our results hold in any characteristic.
Let X* be a subset of an affine space A^s, over a finite field K, which is parameterized by the edges of a clutter. Let X and Y be the images of X* under the maps x --> [x] and x --> [(x,1)] respectively, where [x] and [(x,1)] are points in the projective spaces P^{s-1} and P^s respectively. For certain clutters and for connected graphs, we were able to relate the algebraic invariants and properties of the vanishing ideals I(X) and I(Y). In a number of interesting cases, we compute its degree and regularity. For Hamiltonian bipartite graphs, we show the Eisenbud-Goto regularity conjecture. We …
A classical theorem by Hartshorne states that the dual graph of any arithmetically Cohen--Macaulay projective scheme is connected. We give a quantitative version of Hartshorne's result, in terms of Castelnuovo--Mumford regularity. If $X \subset \mathbb{P}^n$ is an arithmetically Gorenstein projective scheme of regularity $r+1$, and if every irreducible component of $X$ has regularity $\le r'$, we show that the dual graph of $X$ is $\lfloor{\frac{r+r'-1}{r'}}\rfloor$-connected. The bound is sharp. We also provide a strong converse to Hartshorne's result: Every connected graph is the dual graph …
The ideal transform of a graded module $M$ is known to compute the module of twisted global sections of the sheafification of $M$ over a relative projective space. We introduce a second description motivated by the relative BGG-correspondence. However, our approach avoids the full BGG-correspondence by replacing the Tate resolution with the computationally more efficient purely linear saturation and the Castelnuovo-Mumford regularity with the often enough much smaller linear regularity. This paper provides elementary, constructive, and unified proofs that these two descriptions compute the (tr…
We study minimal free resolutions of edge ideals of bipartite graphs. We associate a directed graph to a bipartite graph whose edge ideal is unmixed, and give expressions for the regularity and the depth of the edge ideal in terms of invariants of the directed graph. For some classes of unmixed edge ideals, we show that the arithmetic rank of the ideal equals projective dimension of its quotient.
We give a formula to compute all the top degree graded Betti numbers of the path ideal of a cycle. Also we will find a criterion to determine when Betti numbers of this ideal are non zero and give a formula to compute its projective dimension and regularity.
We study the regularity and the algebraic properties of certain lattice ideals. We establish a map I --> I\~ between the family of graded lattice ideals in an N-graded polynomial ring over a field K and the family of graded lattice ideals in a polynomial ring with the standard grading. This map is shown to preserve the complete intersection property and the regularity of I but not the degree. We relate the Hilbert series and the generators of I and I\~. If dim(I)=1, we relate the degrees of I and I\~. It is shown that the regularity of certain lattice ideals is additive in a certain sense. The…
We use purely combinatorial arguments to give a formula to compute all graded Betti numbers of path ideals of line graphs and cycles. As a consequence we can give new and short proofs for the known formulas of regularity and projective dimensions of path ideals of line graphs.
Let $ρ_C$ be the regularity of the Hilbert function of a projective curve $C$ in $\mathbb P^n_K$ over an algebraically closed field $K$ and $α_1,...,α_{n-1}$ be minimal degrees for which there exists a complete intersection of type $(α_1,...,α_{n-1})$ containing the curve $C$. Then the Castelnuovo-Mumford regularity of $C$ is upper bounded by $\max\{ρ_C+1,α_1+...+α_{n-1}-(n-2)\}$. We study and, for space curves, refine the above bound providing several examples.
Let S be a polynomial algebra over a field. If I is the edge ideal of a perfect semiregular tree, then we give precise formulas for values of depth, Stanley depth, projective dimension, regularity and Krull dimension of S/I.
We show that the ideal of an arrangement of d linear subspaces of projective space is d-regular in the sense of Castelnuovo and Mumford, answering a question of B. Sturmfels. In particular this implies that the ideal of an arrangement of d subspaces is generated in degrees less than or equal to d.
In this paper we give bounds on the Castelnuovo-Mumford regularity of products of ideals and ideal sheaves. In particular, we show that the regularity of a product of ideals is bounded by the sum of the regularities of its factors if the corresponding schemes intersect in a finite set of points. We also show how approximations of sheaves can be used to bound the regularity of an arrangement of two-planes in projective space.
Associated to an arrangement of projective hyperplanes A is the module D(A), which consists of derivations tangent to A. We study D(A) when A is a configuration of lines in the projective plane. In this setting, we relate the deletion/restriction construction used in the study of hyperplane arrangements to elementary modifications of bundles. This allows us to obtain bounds on the Castelnuovo-Mumford regularity of D(A). We also give simple combinatorial conditions for the associated bundle to be stable, and describe its jump lines. These regularity bounds and stability considerations impose co…