Academia.eduAcademia.edu

On the ideal case of a conjecture of Auslander and Reiten

Bulletin des Sciences Mathématiques

Abstract

A celebrated conjecture of Auslander and Reiten claims that a finitely generated module M that has no extensions with M ⊕ Λ over an Artin algebra Λ must be projective. This conjecture is widely open in general, even for modules over commutative Noetherian local rings. Over such rings, we prove that a large class of ideals satisfy the extension condition proposed in the aforementioned conjecture of Auslander and Reiten. Along the way we obtain a new characterization of regularity in terms of the injective dimensions of certain ideals. Auslander and Reiten [4] proved that the Generalized Nakayama Conjecture is true if and only if the following conjecture is true: Conjecture 1.2. If Λ is an Artin algebra, then every finitely generated Λ-module M that is a generator (i.e., Λ is a direct summand of a finite direct sum of copies of M) and satisfies Ext i A (M, M) = 0 for all i ≥ 1 must be projective. Auslander, Ding and Solberg [5] formulated the following conjecture, which is equivalent to Conjecture 1.2 over Noetherian rings. Conjecture 1.3. Let M be a finitely generated left module over a left Noetherian ring R. If Ext i R (M, M ⊕ R) = 0 for all i ≥ 1, then M is projective. The case where the ring in Conjecture 1.3 is an Artin algebra is known as the Auslander-Reiten Conjecture. Conjecture 1.3 is known to hold for several classes of rings, for example for Artin algebras of finite representation type [4], however it is widely open in general, even for commutative Gorenstein local rings; see [12]. The purpose of this paper is to exploit a beautiful result of Burch [10] and prove that a large class of weakly m-full ideals satisfy the vanishing condition proposed in Conjecture 1.3 over commuative Noetherian local rings. The definition of a weakly m-full ideal is given in Definition 3.7. Examples of weakly m-full ideals, in fact those I with I : m = I, are abundant in the literature; see, for example, Examples 3.8 and 3.10. The main consequence of our argument can be stated as follows; see Theorem 2.17 and Corollary 3.14. Theorem 1.4. Let (R, m) be a commutative Noetherian local ring and let I be a weakly m-full ideal of R such that I : m = I (or equivalently depth(R/I) = 0.) If R is not regular, then Ext n R (I, I) and Ext n+1 R (I, I) do not vanish simultaneously for any n ≥ 1.