Related papers: Regularity of Koszul modules
Let $K$ be a field and let $R = K[X_1, \ldots, X_m]$ with $m \geq 2$. Give $R$ the standard grading. Let $I$ be a homogeneous ideal of height $g$. Assume $1 \leq g \leq m -1$. Suppose $H^i_I(R) \neq 0$ for some $i \geq 0$. We show (1)…
Let $R$ be a standard graded algebra over a field $k$. We prove an Auslander-Buchsbaum formula for the absolute Castelnuovo-Mumford regularity, extending important cases of previous works of Chardin and R\"omer. For a bounded complex of…
Let $R$ be a noetherian ring and $M$ a finite $R$-module. With a linear form $\chi$ on $M$ one associates the Koszul complex $K(\chi)$. If $M$ is a free module, then the homology of $K(\chi)$ is well-understood, and in particular it is…
The Koszul homology algebra of a commutative local (or graded) ring $R$ tends to reflect important information about the ring $R$ and its properties. In fact, certain classes of rings are characterized by the algebra structure on their…
In a polynomial ring $R$ with $n$ variables, for every homogeneous ideal $I$ and for every $p\leq n$ we consider the Koszul homology $H_i(p,R/I)$ with respect to a sequence of $p$ of generic linear forms and define the Koszul-Betti number…
Each connected graded, graded-commutative algebra $A$ of finite type over a field $\Bbbk$ of characteristic zero defines a complex of finitely generated, graded modules over a symmetric algebra, whose homology graded modules are called the…
Let $R$ be a standard graded commutative algebra over a field $k$, let $K$ be its Koszul complex viewed as a differential graded $k$-algebra, and let $H$ be the homology algebra of $K$. This paper studies the interplay between homological…
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\"omer, Trung and Wang that the Castelnuovo-Mumford regularity of I^mM has the form…
We define and investigate a class of Koszul quasi-hereditary algebras for which there is a natural equivalence between the bounded derived category of graded modules and the bounded derived category of graded modules over (a proper version…
We describe Koszul type complexes associated with a linear map from any module to a free module, and vice versa with a linear map from a free module to an arbitrary module, generalizing the classical Koszul complexes. Given a short complex…
Several spectral sequence techniques are used in order to derive information about the structure of finite free resolutions of graded modules. These results cover estimates of the minimal number of generators of defining ideals of…
Let R be a commutative noetherian ring. Let M be a finitely generated R-module. In this paper, we reconstruct M from its Koszul homology with respect to a suitable sequence of elements of R by taking direct summands, syzygies and…
We introduce Koszul modules associated with (graded) Kac-Moody Lie algebras. We provide a precise criterion for when these modules are of finite length. As an exemplary application we deduce a bound on the dimension of the second graded…
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…
Let $K$ be a field of characteristic zero. Let $R = K[X_0, X_1,\ldots,X_n]$ be standard graded. Let $A_{n+1}(K)$ be the $(n + 1)^{th}$ Weyl algebra over $K$. Let $I$ be a homogeneous ideal of $R$ and let $M = H^i_I(R)$ for some $i \geq 0$.…
We investigate various module-theoretic properties of Koszul homology under mild conditions. These include their depth, $S_2$-property and their Bass numbers
Let $x_1,\ldots,x_s$ be a filter regular sequence in a local ring $(R,\mathfrak{m})$. Denote by $R_{x_1,\ldots,x_s}$ the Koszul complex of $x_1,\ldots,x_s$ over $R$. In this paper, we give an explicit number $N$ such that the sum of lengths…
This is a survey paper on commutative Koszul algebras and Castelnuovo-Mumford regularity. We describe several techniques to establish the Koszulness of algebras. We discuss variants of the Koszul property such as strongly Koszul, absolutely…
We prove Koszulity of the homology of the of moduli spaces of stable n-pointed curves of genus zero $\overline{M}_{0,n}$ for $n=5$, using its presentation due to Keel and the Priddy criterion of Koszulity. For $n=6 $ we establish that…
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…