Perfect modules over cohen-macaulay local rings

In this chapter we prove a localization theorem of Quillen for singular varieties, and a generalization of it due to Levine. These are then used to prove the so-called “Fundamental Theorem” (9.8), which computes K i (A[t, t −1]), and to relate the study of 0-cycles on normal surfaces to modules of finite length and finite projective dimension over the local rings at singular points. We begin with Quillen’s localization theorem, proved in Higher Algebraic K-Theory II.KeywordsExact SequenceVector BundleLocal RingFull SubcategoryExceptional DivisorThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

In this chapter we prove a localisation theorem of Quillen for singular varieties, and a generalisation of it due to Levine. These are then used to prove the so called “fundamental theorem” (9.8) which computes Ki(A[t, t−1]), and to relate the study of 0-cycles on normal surfaces to modules of finite length and finite projective dimension over the local rings at singular points. We begin with Quillen’s localisation theorem, proved in “Higher Algebraic K-theory II”.KeywordsExact SequenceVector BundleLocal RingNatural TransformationFull SubcategoryThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Syzygy Theorems via comparison of order ideals on a hypersurface

Transfer of homological properties under base change is a classical field of study. Let <TEX>$R{\rightarrow}S$</TEX> be a ring homomorphism. The relations of Gorenstein projective (or Gorenstein injective) dimensions of unbounded complexes between <TEX>$U{\otimes}^L_RX$</TEX>(or <TEX>$RHom_R(X,U)$</TEX>) and X are considered, where X is an R-complex and U is an S-complex. In addition, some sufficient conditions are given under which the equalities <TEX>$G-dim_S(U{\otimes}^L_RX)=G-dim_RX+pd_SU$</TEX> and <TEX>$Gid_S(RHom_R(X,U))=G-dim_RX+id_SU$</TEX> hold.

Let M be a finitely generated module of rank r and finite projective dimension over a commutative Noetherian local ring S. We show that M has a free direct summand of rank r if and only if its Buchsbaum–Eisenbud invariant J(M) is a principal ideal. As an application, we consider the problem of finding rigid triples. Recall that the module M is said to be rigid if for each i ≥ 0 and each finitely generated S-module N the condition implies for every j ≥ i. A triple of positive integers b = (b 0, b 1, b 2) is said to be rigid if for every commutative Noetherian local ring S one has that every S-module with minimal free resolution of the form 0 → S b 2 → S b 1 → S b 0 → 0 is rigid. We use our criterion for free direct summands of maximal rank to derive a necessary and sufficient condition for a triple b to be rigid in terms of the rigidity of the universal modules of type b over complete regular local rings. In particular, we exhibit the rigidity of any triple of the form (k, m + 1,m), thus providing a new class of rigid modules.

We define and study a notion of Gorenstein projective dimension for complexes of left modules over associative rings. For complexes of finite Gorenstein projective dimension we define and study a Tate cohomology theory. Tate cohomology groups have a natural transformation to classical Ext groups. In the case of module arguments, we show that these maps fit into a long exact sequence, where every third term is a relative cohomology group defined for left modules of finite Gorenstein projective dimension.

Let M M be a finitely generated module over a local complete intersection R R of characteristic p &gt; 0 p&gt;0 . The property that M M has finite projective dimension can be characterized by the vanishing of ext R i ⁡ ( f n R , M ) \operatorname {ext}_R^i({}^{f^n}\!\! R,M) for some i &gt; 0 i&gt;0 and for some n &gt; 0 n&gt;0 .

On Auslander's depth formula

Given a complete hereditary cotorsion pair$(\mathcal{X}, \mathcal{Y})$, we introduce the concept of$(\mathcal{X}, \mathcal{X} \cap \mathcal{Y})$-Gorenstein projective modules and study its stability properties. As applications, we first get two model structures related to Gorenstein flat modules over a right coherent ring. Secondly, for any non-negative integern, we construct a cofibrantly generated model structure on Mod(R) in which the class of fibrant objects are the modules of Gorenstein injective dimension ≤nover a left Noetherian ringR. Similarly, ifRis a left coherent ring in which all flat leftR-modules have finite projective dimension, then there is a cofibrantly generated model structure on Mod(R) such that the cofibrant objects are the modules of Gorenstein projective dimension ≤n. These structures have their analogous in the category of chain complexes.

Let (R, 𝔪) be a Cohen–Macaulay local ring. If R has a canonical module, then there are some interesting results about duality for this situation. In this article, we show that one can indeed obtain similar results in the case R does not have a canonical module. Also, we give some characterizations of complete big Cohen–Macaulay modules of finite injective dimension, and by using them, some characterizations of Gorenstein modules over the 𝔪-adic completion of R are obtained.

Let R be a local ring of dimension d. Buchweitz asks if the rank of the d-th syzygy of a module of finite lengh is greater than or equal to the rank of the d-th syzygy of the residue field, unless the module has finite projective dimension. Assuming that R is Gorenstein, we prove that if the question is affrmative, then R is a hypersurface. If moreover R has dimension two, then we show that the converse also holds true.

Let (R,𝔪) be a Noetherian local ring, M a finitely generated R-module with finite projective dimension n, N an arbitrary R-module, and 𝔞 be an ideal of R which is generated by s elements. In this article, we provide a surjective homomorphism from ordinary local cohomology module to top generalized local cohomology module , where P n, M is an nth syzygy of a projective resolution of M. Also, by using this epimorphism, we prove some results about the attached primes, coassociated primes, the Betti numbers, and Artinian properties of certain generalized local cohomology modules.

Rings whose cyclic modules have restricted injectivity domains

Let [Formula: see text] be a Cohen–Macaulay local ring. Let [Formula: see text] be a finitely generated [Formula: see text]-module and let [Formula: see text] denote the [Formula: see text]-dual of [Formula: see text]. Furthermore, if [Formula: see text] is a maximal Cohen–Macaulay [Formula: see text]-module, then we prove that [Formula: see text], where [Formula: see text] is the cardinality of a minimal generating set of [Formula: see text] as an [Formula: see text]-module and [Formula: see text] is the multiplicity of the local ring [Formula: see text]. Furthermore, if [Formula: see text] is a reflexive [Formula: see text]-module then [Formula: see text]. As an application, we study the bound on the minimal number of generators of specific modules over two-dimensional normal local rings. We also mention some relevant examples.

Let A be a Noetherian local ring with the maximal ideal m, and let I be an m-primary ideal in A. This paper examines the equality on Hilbert coefficients of I first presented by Elias and Valla, but without assuming that A is a Cohen–Macaulay local ring. That equality is related to the Buchsbaumness of the associated graded ring of I.