arxiv: v1 [math.ra] 22 Jul 2014

Transcription

1 ANOTHER PROOF OF A THEOREM OF VAN DEN BERGH ABOUT GRADED-INJECTIVE MODULES arxiv: v1 [math.ra] 22 Jul 2014 AMNON YEKUTIELI Suppose A = i N A i is a left noetherian N-aded ring. The category of left Z-aded A-modules is denoted by GrModA. Recall that the objects of GrModA are the left adeda-modulesm = i Z M i, the morphisms are thea-linear homomorphisms of deee 0. A aded-injective module is an injective object I in the abelian category GrModA. The following result is stated as a pleasant exercise in homological algebra in [VdB]. Its proof was communicated to us privately by M. Van den Bergh many years ago, we referred to it as quite involved in [YZ1, Remark 4.9]. The purpose of this note is to give a modified proof of this result. Theorem 1 (Van den Bergh). AssumeAis a left noetheriann-aded ring. LetI be a aded-injective left A-module. Then the injective dimension of I in the unaded sense is at most 1. Actually we prove a slightly more general result (Theorem 12), of which Theorem 1 is a special case. As far as we recall, this was also proved by Van den Bergh. Our proof follows the same strategy as the original proof by Van den Bergh, namely passing through the Rees ring. However our proof is somewhat more conceptual, in that it isolates the precise reason for the dimension jump (see Lemma 6, compare it to Example 2 below). The downside of our proof is that is uses derived categories. The dimension jump can already be seen in the next easy commutative example. Example 2. Suppose k is a field A = k[t], the polynomial ring in the variable t, that has deee 1. The injective A-modules (in the unaded sense, i.e. in the category Mod A) are direct sums of indecomposable A-modules. The indecomposable injectives are the field of fractions I(0) = k(t), the torsion modules I(m) = k(t)/a m, where m is a maximal ideal of A. In the category GrModA there are two indecomposable injective objects, up to Serre twist: the modulei(m 0 ), wherem 0 := (t) is the unique aded maximal ideal of A; the aded ring of fractions J := k[t,t 1 ]. The latter is not injective in Mod A; but it has injective dimension 1. Observe that projective modules do not have a jump in dimension: Proposition 3. LetAbe az-aded ring. IfP is a aded-projective lefta-module, then P is also a projective A-module in the unaded sense. Date: 22 July

2 2 AMNON YEKUTIELI Proof. Recall that a aded-free A-module is a aded moduleq = x X A(n x), where X is some indexing set, n x Z, A(n x ) is the Serre twist of A by the integer n x ; namely A(n x ) is free on a generator in deee n x. We can find a surjection Q P in GrModA from such a aded-free module Q. Since P is aded-projective, this surjection splits in GrModA, so we get an isomorphism Q = P P. But Q is free as an unaded A-module, hence P is projective as an unaded A-module, Remark 4. We do not know if the noetherian condition in Theorem 1 is necessary. For the proof of Theorem 1 ( Theorem 12) we need some technical tools, that we take from [YZ1, YZ2]. For the rest of the paperais a left noetherian N-aded ring. By default all A-modules here are left A-modules. Let M, N be aded A- modules. A function φ : M N is said to be an A-linear homomorphism of deee i if for all m M j a A we have φ(m) N i+j φ(a m) = a φ(m). The set of all such homomorphisms is denoted by Hom A (M,N) i. And we let Hom A (M,N) := Hom A (M,N) i, i Z which is a aded abelian oup. Thus Hom GrModA (M,N) = Hom A (M,N) 0. We can view A as a filtered ring, with filtration F = {F i (A)} i Z defined by F i (A) := j i A j. LetÃbe the Rees ring associated to this filtration. Thus (5) à := i N F i (A) t i A[t] = A Z Z[t], wheretis a variable of deee1. There is an isomorphism of aded ringsã/t à = A, an isomorphism of filtered rings Ã/(t 1) à = A. According to [ATV, Theorem 8.2] the ring à is left noetherian. Given M GrModÃ, let sp 0( M) := M/t M, which is a aded A-module. This is an additive functor (specialization) sp 0 : GrModà GrModA. Likewise the operation sp 1 ( M) := M/(t 1) M is an additive functor sp 1 : GrModà ModA. According to [YZ1, Lemma 6.3(1)] the functor sp 1 is exact. LetM ModA. SupposeF = {F i (M)} i Z is a filtration onm that s compatible with the filtration ofa. This means that eachf i (M) is an abelian suboup of M, i F i(m) = 0, i F i(m) = M, F i (A) F j (M) F i+j (M). Then the Rees module rs F (M) := i Z F i (M) t i M[t,t 1 ] = M Z Z[t,t 1 ]

3 GRADED-INJECTIVE MODULES 3 is a aded module over the ring à = rsf (A). There is a canonical isomorphism sp 0 (rs F (M)) = F (M) ingrmoda, a canonical isomorphismsp 1 (rs F (M)) = M in ModA. A aded A-module M = i Z M i has a filtration F = {F i (M)} i Z defined byf i (M) := j i M j. The corresponding Rees module is denoted by rs(m) := rs F (M). Thus we get a functor rs : GrModA GrModÃ. This functor is exact. There is a canonical isomorphism sp 0 (rs F (M)) = M in GrMod A. For an abelian category M we have the (unbounded) derived category D(M). In it there are the full subcategories D + (M) D (M), whose objects are the complexes with bounded below bounded above cohomologies, respectively. The category of complexes of objects of M is C(M). There is a localization functor C(M) D(M), which is the identity on objects, inverts quasi-isomorphisms. We shall consider these abelian categories: GrModÃ,GrModA ModA. The exact functors sp 1 rs extend to triangulated functors There is a left derived functor sp 1 : D(GrModÃ) D(ModA) rs : D(GrModA) D(GrModÃ). Lsp 0 : D (GrModÃ) D(GrModA). We use aded-projective resolutions to construct it. The right derived functors RHom A (, ) : D (GrModA) op D + (GrModA) D + (GrModZ) RHom à (, ) : D (GrModÃ)op D + (GrModÃ) D+ (GrModZ) are constructed either by aded-projective resolutions of the first argument, or by aded-injective resolutions of the second argument. The key to the dimension jump is the next lemma, that reduces the question to the aded ring Z[t]. Observe that there is an obvious aded ring homomorphism Z[t] Ã, the element t is not a zero divisor in à (cf. formula (5). Lemma 6. The functor Lsp 0 has cohomological dimension 1. More precisely, if the cohomology of M D b (GrModÃ) is concentrated in deees {i 0,...,i 1 }, then the cohomology oflsp 0 ( M) is concentrated in deees {i 0 1,i 0,...,i 1 }. Proof. Recall that we constructed Lsp 0 ( M) by choosing a resolution P M, where P is a bounded above complex of aded-projective Ã-modules, letting Lsp 0 ( M) := sp 0 ( P). Since t is not a zero divisor in Ã, we obtain a short exact sequence (7) 0 P( 1) t P sp 0 ( P) 0

4 4 AMNON YEKUTIELI inc(grmodã). Let Q C(GrMod Z[t]) be the semi-free complex Q := ( Z[t]( 1) t Z[t] ) concentrated in cohomological deees 1 0. Using equation (7) we see that there are quasi-isomorphisms Q Z[t] M Q Z[t] P sp 0 ( P) in C(GrModZ[t]). The bounds on the cohomology of the complex Q Z[t] M are clear. Lemma 8. Take M D f (GrModÃ) N D+ (GrModA). There is an isomorphism RHom ( ) ( à M,rs(N) = rs RHom A (Lsp 0( M),N) ) ind(grmodz[t]). It is functorial in M N. Proof. Any such M admits a quasi-isomorphism P M, where P is a bounded above complex of finite rank aded-free Ã-modules. There are isomorphisms (9) RHom ( ) à M,rs(N) = Hom ) ( P,rs(N) à (10) rs ( RHom A (Lsp 0( M),N) = rs ( Hom A (sp 0( P),N) ind(grmodz[t]), functorial in P. We use the fact thatsp 0 ( P) is a bounded above complex of finite rank aded-free A-modules. If P is a single aded-free Ã-module of rank 1, i.e. P = Ã(i) for some integer i, if N is a single aded A-module, then there are isomorphisms Hom Ã( P,rs(N) ) = rs(n)( i) = rs(n( i)) rs ( Hom A (sp 0( P),N) ) ( = rs Hom A (A(i),N)) = rs(n( i)) in GrModZ[t]. Since these isomorphisms are functorial in the modules P N, we get an isomorphism ) ( ( P,rs(N) = rs Hom A (sp 0( P),N) ) Hom à in C(GrModZ[t]) for any bounded above complex of finite rank aded-free Ã- modules P, any bounded below complex of aded A-modules N. Finally we use the isomorphisms (9) (10). Lemma 11. Let M D f (GrModÃ) Ñ D+ (GrModÃ). There is an isomorphism ( sp 1 RHom ( M,Ñ)) ( à = RHomA sp1 (M),sp 1 (N) ) ind(modz). It is functorial in M Ñ.

5 GRADED-INJECTIVE MODULES 5 Proof. This is [YZ1, Lemma 6.3(3)]. The statement there talks about complexes M,Ñ in Db f (GrModÃ); but the proof (the way-out argument) works also for the slightly weaker assumptions that we have here. For a aded A-module N we denote by.inj.dim(n) its injective dimension in GrModA. Thus I is aded-injective iff.inj.dim(i) = 0. Likewise, for an A-module N we denote by inj.dim(n) its injective dimension in Mod A. Theorem 12 (Van den Bergh). Assume A is a left noetherian N-aded ring. For any aded A-module N we have inj.dim(n).inj.dim(n)+1. Proof. Take a aded A-module N, let d :=.inj.dim(n). We may assume that d <. It is enough to prove that Ext q A (M,N) = 0 for every q > d+1 every finitely generated A-module M. LetM be a finitely generateda-module. LetF be a good filtration onm, namely a filtration such that the aded module F (M) is finitely generated over A. Such filtrations exist by [MR, Lemma ]. Then (by the aded Nakayama Lemma) the Rees module M := rs F (M) is finitely generated overã. Consider the aded Ã-module Ñ := rs(n). Since M = sp 1 ( M) N = sp 1 (Ñ) inmoda, Lemma 11 says that it is enough to prove that H q (RHom à ( M,Ñ)) = 0 for all q > d+1. By Lemma 8 this is equivalent to proving that H q( RHom A (Lsp 0( M),N) ) = 0 for q > d + 1. Let us take a quasi-isomorphism N I in GrMod A, such that I is a complex of aded-injective modules concentrated in deees {0,..., d}. We have to prove that H q( Hom A (Lsp 0( M),I) ) = 0 forq > d+1. For that is suffices to show thath p (Lsp 0 ( M)) = 0 forp < 1. This is true by Lemma 6. Acknowledgments. I wish to thank Michel Van den Bergh for telling me (a long time ago) about his result its original proof. Thanks also to Rishi Vyas for reading an earlier version of this note correcting several mistakes. References [ATV] M. Artin, J. Tate M. Van den Bergh, Some algebras associated to automorphisms of elliptic curves, in The Grothendieck Festschrift, Vol. I, pp , Birkhäuser, Boston, [MR] J. C. McConnell J. C. Robson, Noncommutative Noetherian Rings, Wiley, [VdB] M. Van den Bergh, Existence theorems for dualizing complexes over non-commutative aded filtered rings, J. Algebra 195 (1997), [YZ1] A. Yekutieli J.J. Zhang, Rings with Ausler Dualizing Complexes, Journal of Algebra 213 (1999), 1-51.

6 6 AMNON YEKUTIELI [YZ2] A. Yekutieli J.J. Zhang, Dualizing complexes perverse modules over differential algebras, Compositio Math. 141 (2005), Department of Mathematics, Ben Gurion University, Be er Sheva 84105, Israel address: