Related papers: Regularity bounds for Koszul cycles

We study the Koszul property of a standard graded $K$-algebra $R$ defined by the binomial edge ideal of a pair of graphs $(G_1,G_2)$. We show that the following statements are equivalent: (i) $R$ is Koszul; (ii) the defining ideal…

We establish bounds for the Castelnuovo-Mumford regularity of a finitely generated graded module and its symmetric powers in terms of the degrees of the generators of the module and the degrees of their relations. We extend to modules (and…

Let $X/K$ be a variety over a field, and $A/K$ an abelian variety. A regular homomorphism to $A$ (in codimension $i$) induces, for every smooth geometrically connected pointed $K$-scheme $(T,t_0)$ and every cycle class $Z \in CH^i(T\times…

In this paper we show how, given a complex of graded modules and knowing some partial Castelnuovo-Mumford regularities for all the modules in the complex and for all the positive homologies, it is possible to get a bound on the regularity…

This paper deals with the notion of grade of ideals with respect to torsion theories defined via some homological tools such as Ext-modules, Koszul cohomology modules, \v{C}ech and local cohomology modules over commutative rings which are…

In this article we investigate when a homogeneous ideal in a graded ring is normal, that is, when all positive powers of the ideal are integrally closed. We are particularly interested in homogeneous ideals in an N-graded ring generated by…

Given arbitrary homogeneous ideals $I$ and $J$ in polynomial rings $A$ and $B$ over a field $k$, we investigate the depth and the Castelnuovo-Mumford regularity of powers of the sum $I+J$ in $A \otimes_k B$ in terms of those of $I$ and $J$.…

Let $R$ be a regular ring of dimension $d$ containing a field $K$ of characteristic zero. If $E$ is an $R$-module let $Ass^i E = \{ Q \in \ Ass E \mid \ height Q = i \}$. Let $P$ be a prime ideal in $R$ of height $g$. We show that if $R/P$…

In this paper we study the resolution of a facet ideal associated with a special class of simplicial complexes introduced by S. Faridi. These simplicial complexes are called trees, and are a generalization (to higher dimensions) of the…

We prove that in the polynomial ring $Q=\mathsf{k}[x,y,z,w]$, with $\mathsf{k}$ an algebraically closed field of characteristic zero, all Gorenstein homogeneous ideals $I$ such that $(x,y,z,w)^4\subseteq I \subseteq (x,y,z,w)^2$ can be…

In its most basic form, Dubreil's Theorem states that for an ideal $I$ defining a codimension $2$, arithmetically Cohen--Macaulay subscheme of projective $n$-space, the number of generators of $I$ is bounded above by the minimal degree of a…

Let $S$ be a polynomial ring over a field and $I\subseteq S$ a homogeneous ideal containing a regular sequence of forms of degrees $d_1, \ldots, d_c$. In this paper we prove the Lex-plus-powers Conjecture when the field has characteristic 0…

We show that the integral cohomology rings of the moduli spaces of stable rational marked curves are Koszul. This answers an open question of Manin. Using the machinery of Koszul spaces developed by Berglund, we compute the rational…

Given a Serre class $\mathcal{S}$ of modules, we compare the containment of the Koszul homology, Ext modules, Tor modules, local homology, and local cohomology in $\mathcal{S}$ up to a given bound $s \geq 0$. As some applications, we give a…

We estimate the Castelnuovo-Mumford regularity of ideals in a polynomial ring over a field by studying the regularity of certain modules generated in degree zero and with linear relations. In dimension one, this process gives a new type of…

We give a bound on the Castelnuovo-Mumford regularity of a homogeneous ideals I, in a polynomial ring A, in terms of number of variables and the degrees of generators, when the dimension of A/I is at most two. This bound improves the one…

Let $A$ be a Noetherian standard $\mathbb{N}$-graded algebra over an Artinian local ring $A_0$. Let $I_1,\ldots,I_t$ be homogeneous ideals of $A$ and $M$ a finitely generated $\mathbb{N}$-graded $A$-module. We prove that there exist two…

Let R be an integral domain and I a nonzero ideal of R. A sub-ideal J of I is a t-reduction of I if (JI^{n})_{t}=(I^{n+1})_{t} for some positive integer n. An element x in R is t-integral over I if there is an equation x^{n} + a_{1}x^{n-1}…

The structure of minimal free resolutions of finite modules M over commutative local rings (R,m,k) with m^3=0 and rank_k(m^2) < rank_k(m/m^2)is studied. It is proved that over generic R every M has a Koszul syzygy module. Explicit families…

We exhibit an equigenerated monomial ideal $I\subseteq K[x,y,z,w]$ with $\operatorname{reg}(\overline{I})>\operatorname{reg}(I)$. The ideal $I$ is generated in degree 4 and satisfies $\operatorname{reg}(I)=4$, while its integral closure…