Related papers: Koszul Homology Under Small Perturbations

Let $K$ be a field and let $S = K[X_1, \ldots, X_n]$. Let $I$ be a graded ideal in $S$ and let $M$ be a finitely generated graded $S$-module. We give upper bounds on the regularity of Koszul homology modules $H_i(I, M)$ for several classes…

Let R be a commutative ring and I an ideal in R which is locally generated by a regular sequence of length d. Then, each projective R/I-module V has an R-projective resolution P. of length d. In this paper, we compute the homology of the…

Let $R$ be a noetherian commutative ring and $f_1,\dots,f_c$ be a regular sequence in $R$. We introduce a framework to study $Supp(H^j_I(R/(f_1,\dots,f_c)))$ by linking the Koszul cohomology of $H^j_I(R)$ on the sequence $f_1,\dots,f_c$ and…

We construct a free resolution of $R/I^s$ over $R$ where $I\ideal R$ is generated by a (finite or infinite) regular sequence. This generalizes the Koszul complex for the case $s=1$. For $s>1$, we easily deduce that the algebra structure of…

Let $(R,\mathfrak{m})$ be a Noetherian local ring, and let $J$ be an arbitrary ideal of $R$. Suppose $M$ is a finitely generated $R$-module. Let $x_1,\ldots,x_r$ be a $J$-filter regular sequence on $M$. We provide an explicit number $N$…

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 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 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…

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…

Let $R$ be a local commutative noetherian ring and $HKR$ the homology ring of the corresponding Koszul complex. We study the homological properties of $HKR$ in particular the so-called Avramov spectral sequence. When the embedding dimension…

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…

We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when…

Let $\{A_m\}$ be a pro system of associative commutative, not necessarily unital, rings. Assume that the pro systems $\{\mathrm{Tor}^{\mathbb{Z}\ltimes A_m}_i(\mathbb{Z},\mathbb{Z})\}_m$ vanish for all $i>0$. Then we prove that the sequence…

Let S=K[x_1,...,x_n] be a polynomial ring over a field K and I a homogeneous ideal in S generated by a regular sequence f_1,f_2,...,f_k of homogeneous forms of degree d. We study a generalization of a result of Conca, Herzog, Trung, and…

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…

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,…

The stable Khovanov-Rozansky homology of torus knots has been conjecturally described as the Koszul homology of an explicit non-regular sequence of polynomials. We verify this conjecture against newly available computational data for…

Let $(R,\mathfrak m)$ be a local ring and $I, J$ two arbitrary ideals of $R$. Let $\operatorname{gr}_J(R/I)$ denote the associated ring of $R/I$ with respect to $J$, which corresponds to the normal cone in geometry. The main result of this…

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…

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…