Related papers: Length Formulas for the Homology of Generalized Ko…

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…

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…

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…

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

Let $I$ be an ideal of a commutative Noetherian ring $R$. Let $M$ and $N$ be any $R$-modules. We define the generalized completion homology modules $L_i\Lambda^I (N,M)$, for $i\in \mathbb{Z}$, as the homologies of the complex…

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…

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 $(R,m, \kappa)$ be a local ring. We give a characterization of $R$-modules $M$ whose local cohomology is finite length up to some index in terms of asymptotic vanishing of Koszul cohomology on parameter ideals up to the same index. In…

The main objective of this paper is to generalize a notion of Koszul resolutions and charcterizing modules which admits such a resolution. We turn out that for a noetherian ring $A$ and a coherent $A$ module $M$, $M$ has a two dimensional…

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…

Conditions on the Koszul complex of a noetherian local ring $R$ guarantee that $\mathrm{Tor}^{R}_{i}(M,N)$ is non-zero for infinitely many $i$, when $M$ and $N$ are finitely generated $R$-modules of infinite projective dimension. These…

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

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…

We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections…

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…

Let $R$ be a polynomial ring over a field $k$ with irrelevant ideal $\frak m$ and dimension $d$. Let $I$ be a homogeneous ideal in $R$. We study the asymptotic behavior of the length of the modules $H^{i}_{\frak m}(R/I^n)$ for $n\gg 0$. We…

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…

Our purpose in this work is multifold. First, we provide general criteria for the finiteness of the projective and injective dimensions of a finite module $M$ over a (commutative) Noetherian ring $R$. Second, in the other direction, we…

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…