Related papers: Regularity of Koszul modules

We study the module of Koszul cycles $Z_t(I,M)$ of a homogeneous ideal $I$ in a polynomial ring $S$ with respect to a graded module $M$. Under mild assumptions on the base field we prove that the regularity of $Z_t(I,S)$ is a subadditive…

Let $k$ be an infinite field of characteristic $p > 0$ and let $R = k[Y_1,\ldots, Y_d]$ (or $R = k[[Y_1,\ldots, Y_d]]$). Let $F \colon \text{Mod}(R) \rightarrow \text{Mod}(R)$ be the Frobenius functor and let $\mathcal{M}$ be a $F_R$-finite…

We extend to one dimensional quotients the result of A. Conca and S. Murai on the convexity of the regularity of Koszul cycles. By providing a relation between the regularity of Koszul cycles and Koszul homologies we prove a sharp…

Let $S$ be the power series ring or the polynomial ring over a field $K$ in the variables $x_1,\ldots,x_n$, and let $R=S/I$, where $I$ is proper ideal which we assume to be graded if $S$ is the polynomial ring. We give an explicit…

Let $K$ be a field of characteristic zero, $R = K[X_1,...,X_n]$ and let $I$ be an ideal in $R$. Let $A_n(K) = K<X_1,...,X_n, \partial_1,..., \partial_n>$ be the $n^{th}$ Weyl algebra over $K$. By a result due to Lyubeznik the local…

We prove regularity bounds for Koszul cycles holding for every ideal of dimension at most 1 in a polynomial ring. We generalize the lower bound for the Green-Lazarsfeld index of Veronese rings we proved in arXiv:0902.2431 to the…

In this work, we prove that if a graded, commutative algebra $R$ over a field $k$ is not Koszul then, denoting by $\mathfrak{m}$ the maximal homogeneous ideal of $R$ and by $M$ a finitely generated graded $R$-module, the nonzero modules of…

Given a finitely generated module $M$ over a commutative local ring (or a standard graded $k$-algebra) $(R,\m,k) $ we detect its complexity in terms of numerical invariants coming from suitable $\m$-stable filtrations $\mathbb{M}$ on $M$.…

Let $R$ be a standard graded algebra over an $F$-finite field of characteristic $p > 0$. Let $\phi:R\to R$ be the Frobenius endomorphism. For each finitely generated graded $R$-module $M$, let ${}^{\phi}\!M$ be the abelian group $M$ with…

Let $M$ be a finite module over a noetherian ring $R$ with a free resolution of length 1. We consider the generalized Koszul complexes $\mathcal{C}_{\bar\lambda}(t)$ associated with a map $\bar\lambda:M\to\mathcal{H}$ into a finite free…

The Koszul homology of modules of the polynomial ring $R$ is a central object in commutative algebra.It is strongly related with the minimal free resolution of these modules, and thus with regularity, Hilbert functions, etc. Here we…

We show that the FI-homology of an FI-module can be computed via a Koszul complex. As an application, we prove that the Castelnuovo-Mumford regularity of a finitely generated torsion FI-module is equal to its degree.

Let $A$ be a regular ring containing a field $K$ of characteristic zero and let $R = A[X_1,\ldots, X_m]$. Consider $R$ as standard graded with $\deg A = 0$ and $\deg X_i = 1$ for all $i$. Let $G$ be a finite subgroup of $GL_m(A)$. Let $G$…

Let K be a field and let S = K[x_1, ..., x_n] be a polynomial ring. Consider a homogenous ideal I in S. Let t_i denote reg(Tor_i (S/I, K)), the maximal degree of an ith syzygy of S/I. We prove bounds on the numbers t_i for i > n/2 purely in…

This article is concerned with graded modules M with linear resolutions over a standard graded algebra R. It is proved that if such an M has Hilbert series $H_M(s)$ of the form $ps^d+qs^{d+1}$, then the algebra R is Koszul; if, in addition,…

We give a criterion for the section ring of an ample line bundle to be Koszul in terms of multigraded regularity. We discuss an application to polytopal semigroup rings.

Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^R$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the…

Let $M$ be a finitely generated bigraded module over the standard bigraded polynomial ring $S=K[x_1,...,x_m, y_1,...,y_n]$, and let $Q=(y_1,...,y_n)$. The local cohomology modules $H^k_Q(M)$ are naturally bigraded, and the components…

In this paper we study monomial cycles in Koszul homology over a monomial ring. The main result is that a monomial cycle is a boundary precisely when the monomial representing that cycle is contained in an ideal we introduce called the…

Let A be a Koszul algebra, and $mod A$ the category of finitely generated graded left A-modules. The "linearity defect" ld_A(M) of $M \in mod A$ is an invariant defined by Herzog and Iyengar. An exterior algebra E is a Koszul algebra which…