Related papers: Homology over trivial extensions of commutative DG…

We describe new classes of noetherian local rings $R$ whose finitely generated modules $M$ have the property that $Tor_i^R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension, or $Ext^i_R(M,M)=0$ for $i\gg 0$ implies that…

A commutative Noetherian ring $R$ is said to be Tor-persistent if, for any finitely generated $R$-module $M$, the vanishing of $\operatorname{Tor}_i^R(M,M)$ for $i\gg 0$ implies $M$ has finite projective dimension. An open question of…

This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of 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…

Let $(R,\fm)$ be a local ring, and let $C$ be a semidualizing complex. We establish the equality $r_R(Z) = \nu(\Ext^{g-\inf C}_R(Z,C))\mu^{\depth C}_R(\mathfrak{m}, C)$ for a homologically finite and bounded complex $Z$ with finite…

Let R be a commutative noetherian local ring with completion R^. We apply differential graded (DG) algebra techniques to study descent of modules and complexes from R^ to R' where R' is either the henselization of R or a pointed \'etale…

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 $(R,\fm)$ be a commutative Noetherian local ring. Suppose that $M$ and $N$ are finitely generated modules over $R$ such that $M$ has finite projective dimension and such that $\Tor^R_i(M,N)=0$ for all $i>0$. The main result of this note…

For a commutative ring R with an ideal I, generated by a finite regular sequence, we construct differential graded algebras which provide R-free resolutions of I^s and of R/I^s for s>0 and which generalise the Koszul resolution. We derive…

Let $\frak a$ be an ideal of a commutative noetherian ring $R$ with unity and $M$ an $R$-module supported at $\V(\fa)$. Let $n$ be the supermum of the integers $i$ for which $H^{\fa}_i(M)\neq 0$. We show that $M$ is $\fa$-cofinite if and…

For R=Q/J with Q a commutative graded algebra over a field and J non-zero, we relate the slopes of the minimal resolutions of R over Q and of k=R/R_{+} over R. When Q and R are Koszul and J_1=0 we prove Tor^Q_i(R,k)_j=0 for j>2i, for each…

We define analogues of homogeneous coordinate algebras for noncommutative two-tori with real multiplication. We prove that the categories of standard holomorphic vector bundles on such noncommutative tori can be described in terms of graded…

Let p be a prime ideal in a commutative noetherian ring R. It is proved that if an R-module M satisfies Tor^R_n(k(p),M) = 0 for some n \geq dim R_p, where k(p) is the residue field at p, then Tor^R_i(k(p),M) = 0 holds for all i \geq n.…

We define generalized Koszul modules and rings and develop a generalized Koszul theory for $\mathbb{N}$-graded rings with the degree zero part noetherian semiperfect. This theory specializes to the classical Koszul theory for graded rings…

Let R be a commutative ring, and let L and L' be R-modules. We investigate finiteness conditions (e.g., noetherian, artinian, mini-max, Matlis reflexive) of the modules Ext^i_R(L,L') and Tor_i^R(L,L') when L and L' satisfy combinations of…

We prove that over a commutative noetherian ring the three approaches to introducing depth for complexes: via Koszul homology, via Ext modules, and via local cohomology, all yield the same invariant. Using this result, we establish a far…

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

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…