A note on the acyclicity of the Koszul complex of a module

We prove the vanishing of the Koszul homology group H _μ(Kos(M)_μ), where μ is the minimal number of generators of M. We give a counterexample that the Koszul complex of a module is not always acyclic and show its relationship with the homology of commutative rings.     

Sur l’annulation du deuxième foncteur de (co)homologie d’André-Quillen

For a given idealI of a commutative ringA, B=A/I, the vanishing of the second André-Quillen (co)homology functorH ₂ (A, B, δ) is characterized in terms of the canonical homomorphism α:S(I)→R(I) from the symmetric algebra of the idealI onto its Rees algebra. This is done by introducing a Koszul complex that characterizes commutative graded algebras which are symmetric algebras.

---

---

This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag.     

Normal Transversality and Uniform Bounds

Let A be a commutative ring. A graded A-algebra U = _n0 U_n isa standard A-algebra if U₀ = A and U = A[U₁] is generated asan A-algebra by the elements of U₁. A graded U-module F = _n0F_nis a standard U-module if F is generated as a U-module by theelements of F₀, that is, F_n = U_nF₀ for all n 0. In particular,F_n = U₁F_n–1 for all n 1. Given I, J, two ideals of A,we consider the following standard algebras: the Rees algebraof I, R(I) = _n0Iⁿtⁿ = A[It] A[t], and the multi-Rees algebraof I and J, R(I, J) = _n0(_p+q=nI^pJ^qu^pv^q) = A[Iu, Jv] A[u, v].Consider the associated graded ring of I, G(I) = R(I) A/I =_n0Iⁿ/Iⁿ⁺¹, and the multi-associated graded ring of I and J,G(I, J) = R(I, J) A/(I+J) = _n0(_p+q=nI^pJ^q/(I+J)I^pJ^q). We canalways consider the tensor product of two standard A-algebrasU = _p0U_p and V = _q0V_q as a standard A-algebra with the naturalgrading U V = _n0(_p+q=nU_p V_q). If M is an A-module, we havethe standard modules: the Rees module of I with respect to M,R(I; M) = _n0IⁿMtⁿ = M[It] M[t] (a standard R(I)-module), andthe multi-Rees module of I and J with respect to M, R(I, J;M) = _n0(_p+q=nI^pJ^qMu^pv^q) = M[Iu, Jv] M[u, v] (a standard R(I,J)-module). Consider the associated graded module of M withrespect to I, G(I; M) = R(I; M) A/I = _n0IⁿM/Iⁿ⁺¹M (a standardG(I)-module), and the multi-associated graded module of M withrespect to I and J, G(I, J; M) = R(I, J; M) A/(I+J) = _n0(_p+q=nI^pJ^qM/(I+J)I^pJ^qM)(a standard G(I, J)-module). If U, V are two standard A-algebras,F is a standard U-module and G is a standard V-module, thenF G = _n0(_p+q=nF_p G_q) is a standard U V-module. Denote by :R(I) R(J; M) R(I, J; M) and :R(I, J; M) R(I+J;M) the natural surjective graded morphisms of standard RI) R(J)-modules. Let :R(I) R(J; M) R(I+J; M) be . Denote by :G(I) G(J; M) G(I, J; M) and :G(I, J; M) G(I+J; M) the tensor productof and by A/(I+J); these are two natural surjective gradedmorphisms of standard G(I) G(J)-modules. Let :G(I) G(J; M) G(I+J; M) be . The first purpose of this paper is to prove the following theorem.     

Noetherian rings of low global dimension and syzygetic prime ideals

Let R be a Noetherian ring. We prove that R has global dimension at most two if, and only if, every prime ideal of R is of linear type. Similarly, we show that R has global dimension at most three if, and only if, every prime ideal of R is syzygetic. As a consequence, we derive a characterization of these rings using the André-Quillen homology.     

Rings of weak dimension one and syzygetic ideals

We prove that rings of weak dimension one are the rings with all (three-generated) ideals syzygetic. This leads to a characterization of these rings in terms of the André-Quillen homology.

     

Integral degree of a ring,reduction numbers and uniform Artin–Rees numbers

The supremum of reduction numbers of ideals having principal reductions is expressed in terms of the integral degree, a new invariant of the ring, which is finite provided the ring has finite integral closure. As a consequence, one obtains bounds for the Castelnuovo–Mumford regularity of the Rees algebra and for the Artin–Rees numbers.