arxiv: v2 [math.ct] 1 Dec 2017

Transcription

1 FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES arxv: v2 [math.ct] 1 Dec 2017 Abstract. Let R be an assocatve rng wth unt. We consder R-modules as module functors n the followng way: f M s a (left) R-module, let M be the functor ofr-modules defned by M(S) := S R M forevery R-algebra S. Wth the correspondng noton of dual functor, we prove that the natural morphsm of functors M M s an somorphsm. We gve functoral characterzatons of fntely generated projectve modules, flat modules and flat Mttag-Leffler modules. 1. Introducton Let V be a k-vector space and let V = Hom k (V,k) be ts dual vector space. It s an elementary fact that the natural morphsm V V, v ṽ, where ṽ(w) := w(v), w V, s an somorphsm f and only f V s fnte dmensonal. In contrast, f R s a commutatve rng and M s an R-module, the natural morphsm M M s not an somorphsm n general, even f M s fntely generated; smply consder R = Z and M = Z/2Z, then M = 0, snce M = 0. However, t s remarkable that f we consder modules as functors over the category of commutatve R-algebras, and the lnear dual s the correspondng functor of homomorphsms, then these module functors are reflexve ([1], [5]). In ths paper we extend ths result to modules defned over non-commutatve rngs. To be more precse, let R be an assocatve rng wth unt. Let R be the covarant functor wth values on the category of rngs defned by R(S) := S, for any R-algebra S. If M s an R-module, the quas-coherent R-module assocated wth M s the functor of R-modules defned by M(S) := S R M, for any R-algebra S. The sameargumentsused when R s a commutatverng allowtoprovethat the functor M M s part of an equvalence of categores Category of R-modules Category of quas-coherent R-modules. On the other hand, consder the functor M :=Hom R (M,R), whose sectons on any R-algebra S are M (S) := Hom S (S R M,S). Also, f M s an R-module and N s a module for the opposte rng R 0, t makes sense to consder the tensor product N R M. Analogously, the tensor product of the assocated quas-coherent modules s the functor of groups (N R M)(S) := (N R S) S (S R M). Wth these defntons, we are able to prove the followng theorem: 2000 Mathematcs Subject Classfcaton. Prmary 16D40; Secondary 18A99. Key words and phrases. Reflexve functor of modules, flat module, Mttag-Leffler module. 1

2 2 Theorem 1.1. Let M be an R-module. The natural morphsm of R-modules s an somorphsm. M M When R s a commutatve rng, ths theorem has been proved for fntely generated modules usng the language of sheaves n the bg Zarsk topology, n [10], and t s mplct n [5, II, 1,2.5]. The reflexvty of quas-coherent R-modules has been used for a varety of applcatons that run from the theory of lnear representatons of affne group schemes ([1],[2],[3]) to Carter dualty for abelan affne group schemes and neutral Tannakan dualty for affne group schemes ([11]). We wll say that M s a module scheme (f R s a commutatve rng, M s the functor of ponts of an affne scheme, see 2.8). An mmedate consequence of Theorem 1.1 s that the category of quas-coherent modules s ant-equvalent to the category of module schemes. Fnally, we answer to the questons of when a quas-coherent module s a module scheme, or a drect lmt of module schemes, or the unon of ts submodule schemes: Hypothess 1.2. Let M be a rght R-module and N an R-module. The sequence of morphsms of groups M R N M R N Z R p 1 p 2 M R N Z R Z R where (m n) := m n 1, p 1 (m n r) := m n r 1 and p 2 (m n r) := m n 1 r, s exact. Ths hypothess s satsfed f there exsts a central subrng R R such that the morphsm Q Q R R s njectve, for any R-module Q. It s also satsfed f M (or N) s a flat module or a bmodule (see 3.1, 3.2). Theorem 1.3. Gven the module M, suppose that Hypothess 1.2 s satsfed for any R-module N. Then, (1) M s a fntely generated projectve module ff M s a module scheme. (2) M s a flat module ff M s a drect lmt of module schemes. (3) M s a flat Mttag-Leffler module ff M s a drect lmt of submodule schemes. (4) M s a flat strct Mttag-Leffler module ff M s a drect lmt of submodule schemes, N and the morphsms M N are epmorphsms. (5) Let {M } I be the set of all the fntely generated submodules of M and M := Im[M M ]. M s a flat strct Mttag-Leffler module ff the natural morphsm M R N lm Hom R (M,N) s an somorphsm, for I any R-module N. 2. Prelmnares Let R be the functor of rngs defned by R(S) := S, for any R-algebra S. A functor of abelan groups M s a functor of (left) R-modules f we have a morphsm of functors of sets, R M M so that M(S) s a (left) S-module, for every R-algebra S. Let M and M befunctorsof R-modules. Amorphsm offunctorsof R-modules f: M M s a morphsm of functors such that the morphsms f S : M(S)

3 FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES 3 M (S) defned by f are morphsms of S-modules, for any R-algebra S. We wll denote by Hom R (M,M ) the famly of morphsms of R-modules from M to M. Remark 2.1. Kernels, cokernels or mages of morphsms of functors of R-modules and drect lmts and nverse lmts are always regarded n the category of functors of R-modules. Thus, we have that (Kerf)(S) = Kerf S, (Cokerf)(S) = Cokerf S, (Imf)(S) = Imf S, (lmm )(S) = lm(m (S)), (lmm j )(S) = lm(m j (S)), I I j J j J (where I s an upward drected set and J a downward drected set). If R s a rng, ts opposte rng, R 0, s the rng wth the same elements and addton operaton, but wth the multplcaton performed n reverse order. Thus, R 0 s the functor of rngs defned by R 0 (S) := S 0, for any R-algebra S. Let M be a functor of R-modules and let N be a functor of R 0 -modules. Ther tensor product, N R M, s the functor of abelan groups defned as (N R M)(S) := N(S) S M(S). If S s an R-algebra, let us wrte M S for the functor M restrcted to the category of S-algebras. The functor of homomorphsms Hom R (N,M) s the functor of abelan groups 1 HomR(N,M)(S) := HomS(N S,M S). If M s an R-module, observe that M := Hom R (M,R) s an R 0 -module. Whenever we gve a defnton n the category of R-modules we can gve an equvalent defnton n the category of R 0 -modules, and we wll keep the same notatons. For example, f M s an R 0 -module we wll denote by M the functor of R-modules defned by M := Hom R 0(M,R). Defnton 2.2. The quas-coherent R-module assocated wth an R-module M s the functor of R-modules defned as M(S) := S R M. Proposton 2.3. For every R-module M and every functor of R-modules M, restrcton to global sectons f f R defnes a bjecton: Hom R (M,M) = Hom R (M,M(R)). Analogously to the case of a commutatve base rng ([1]), t s not dffcult to prove that the functors M M, M M(R) = M establsh an equvalence between the category of R-modules and the category of quas-coherent R-modules. Defnton 2.4. If M s an R-module, let us wrte M qc for the quas-coherent module assocated wth the R-module M(R); that s to say M qc (S) := S R M(R). 1 In ths paper, we wll only consder well-defned functors HomR (N,M), that s to say, functors such that Hom S (N S,M S ) s a set, for any S.

4 4 Proposton 2.5. Let M be an R-module. There exst a natural morphsm M qc M, s m s m and a functoral equalty, for any quas-coherent module N: Hom R (N,M) = Hom R (N,M qc ). Proof. It s drect computaton, usng Proposton 2.3 twce: Hom R (N,M) = Hom R (N,M(R)) = Hom R (N,M qc ). Proposton 2.6. Let M be a functor of R-modules and let N be a functor of R 0 -modules. Then, Hom R (M,N ) = Hom R 0(N,M ) (f Hom R (M,N ) s mapped to f, whch s defned as follows: f(n)(m) := f(m)(n), for any m M and n N). If A s an R-algebra we denote by Spec rata the functor of sets defned by Spec rat A := Hom R alg(a, ). Let S and S be two R-algebras. We denote by S R S a representatve of the functor (from the category of R-algebras to the category of sets) Hom R alg (S, ) Hom R alg (S, ). Thats,Spec rat(s R S ) = Spec rats Spec rats. Specfcally, S R S sthequotent of the tensoral algebra T R (S S ) by the deal generated by the elements 1 R 1 S, 1 R 1 S, s 1 s 2 s 1 s 2 and s 1 s 2 s 1 s 2, where 1 R, 1 S and 1 S are the unts of R, S and S respectvely, and s 1,s 2 S, s 1,s 2 S. There exsts a natural morphsm M M : Gven φ Hom R (M,S) = M (S), let φ Hom S (M S,S) = M (S) be defned as follows: Let T be an S-algebra and π T : T R S T, π T (t s) = t s, then φ T := π T φ T. Defnton 2.7. If M s an R-module, observe that M Z R s a bmodule and we can consder the tensoral R-algebra R M := T R(M Z R) = (T ZM) Z R. Lemma 2.8. If M s a quas-coherent module, then M = Spec rat R M. Proof. (Spec rat R M )(S) =Hom R alg(t R (M ZR),S) =Hom R Z R 0(M ZR,S) = Hom R (M,S) = M (S). Defnton 2.9. An R-module M s called a module scheme f there exsts an R 0 -module N such that M N. If S s an R-algebra, then S R R N = S S R N, snce Hom S alg (S R R N,T) = Hom R alg (R N,T) = Hom R (N,T) for any S-algebra T. = Hom S (S R N,T) = Hom S alg (S S R N,T),

5 FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES 5 Defnton Let us consder the ncluson of categores C R = { R-algebras} C S = { S-algebras} where S s an R-algebra. Gven a functor H on C S we defne ( H)(R ):=H(S R R ) for each object R of C R. Gven a functor F on C R we defne ( F)(S ) := F(S ) for each object S of C S. Let us gve a drect proof of the followng theorem, although t can be obtaned from [4, 8.4,8.5] after many precsons and complcated techncal terms. Theorem 2.11 (Formula of adjont functors). Let F be an R-module functor and let H be an S-module functor. Then t holds that Hom S ( F,H) = Hom R (F, H) Proof. Gven a w Hom S ( F,H), we have morphsms w S R : F(S R ) H(S R ), for any R-algebra R. By composton wth the morphsms F(R ) F(S R ), we have the morphsms φ R : F(R ) H(S R ) = H(R ), whch n ther turn defne φ Hom R (F, H). Gven a φ Hom R (F, H), we have morphsms φ S : F(S ) H(S ) = H(S S ), for any S-algebra S. By composton wth the morphsms H(S S ) H(S ), we have the morphsms w S : F(S ) H(S ), whch n ther turn defne w Hom S ( F,H). Now we shall show that w φ and φ w are mutually nverse. Gven w Hom S ( F,H) we have φ Hom R (F, H). Let us prove that the latter defnes w agan. We have the followng dagram, where S s an S-algebra, F(S ) F(S S ) w S S H(S S ) F(S ) w S p H(S ) The composte morphsm p w S S = p φ S s that assgned to φ, and concdes wth w S snce the whole dagram s commutatve. Gven φ Hom R (F, H) we have w Hom S ( F,H). Let us see that the latter defnes φ. We have the followng dagram, where R s an R-algebra, F(R ) φ R ( H)(R ) j F(S R ) φ S R w S R H(S R ) ( H)(S R ) H(S S R ) The composte morphsm w S R assgnedto w agreeswth φ R, snce p j = Id and the whole dagram s commutatve. p

6 6 Proposton [1, 1.15] Let M be a functor of R-modules. Let S be an R- algebra and S the functor of R-algebras defned by S(R ) = R S. Then M (S) = Hom R (M, S). Proof. M (S) = Hom S (M S,S) 2.11 = Hom R (M, S). Let M be an R-module. Observe that M (S) =Hom S (M S,S) =Hom S (M R S,S) =Hom S (M R S,S) =Hom R (M,S). Notaton If M s an R-module we denote by M the R 0 -module defned by M (S) = Hom R (M,S). Observe that M (R) = M (R). Observe that M = M. 3. Hypothess 1.2 and the functor F Proposton 3.1. Let M be a rght R-module and N an R-module. If N (or M) s an R-bmodule or a flat R-module, then Hypothess 1.2 s satsfed.. Proof. Suppose that N s a bmodule. It s clear that Im Ker(p 1 p 2 ). Let s: M R N Z R M R N, s(m n r) = m nr and s : M R N Z R Z R M R N Z R, s (m n r r ) = m nr r. Observe that s = Id, so that s njectve. Also, s p 2 = Id and s p 1 = s. Thus, f x Ker(p 1 p 2 ), then p 1 (x) p 2 (x) = 0; hence 0 = s (p 1 (x)) s (p 2 (x)) = (s(x)) x and x Im. In partcular, takng N = R, the sequence of morphsms of groups M M Z R p 1 p 2 M Z R Z R s exact. Now, suppose that N s flat. Tensorng by N, we obtan the requred exact sequence. Proposton 3.2. If there exsts a central subalgebra R R such that Q Q K R s njectve, for any K-module Q, then Hypothess 1.2 s satsfed.. Proof. Let N := N R R, whch s abmodule asfollows: r 1 (n r) r 2 = r 1 n rr 2. The morphsm of R-modules N N, n n 1 s unversallly njectve. Let Q = N /N and N := Q R R. Let p 1 the composte morphsm N N /N = Q Q R R = N and p 2 = 0 The sequence of morphsms of R-modules N N p 1 p 2 N s unversally exact. Consder the followng commutatve dagram M R N M R N M R N M R N Z R M R N Z R Z R M R N Z R M R N Z R Z R M R N Z R M R N Z R Z R whose rows are exact, as well as both the second and thrd columns, by Proposton 3.1. Hence, the frst column s exact too.

7 FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES 7 If we use the notaton M M n n R := M Z Z M Z R, m 1 m n r m 1 m n r, then R M = n=0m n M R and the product n ths algebra can be wrtten as: (m 1 m n r) (m 1 m n r ) = m 1 m n (rm 1 ) m 2 m n r. Also, any R-lnear morphsm φ: N M unquely extends to a morphsm of R-algebras φ: R N R M, n 1 φ(n) 1. We wll denote R x := T Z (R) Z R, that s, Spec rat R x = R. If we use the notaton Rx RxR n := TZ nr Z R, r 1 xr 2 x r n xr r 1 r n r, then R x = n=0rx n RxR and the product n ths algebra can be wrtten as: (r 1 x r n xr) (s 1 x s m xs) = r 1 x r n x(rs 1 )xs 2 x s m xs. In partcular, observe that rx stands for r 1 and xr stands for 1 r. Proposton 3.3. Hypothess 1.2 s satsfed ff the sequence of morphsms of groups 0 M R N M R R N M R R N R R x m n m n 1, m p(n) m p(n)x m p(nx) (f p(n) = n 1 n s r 1... s, then p(nx) := n 1 x n s x r 1... s and p(n)x := n1 n s r 1... s x) s exact. Proof. R N R R[x] = R N [x] s naturally an R-algebra. It s easy to prove that the kernel of the morphsm M R R N f M R R N R R[x], m p(n) m (p(n)x p(nx)) s ncluded n M R N Z R. Observe that R N R R[x] s a quotent rng of R N R R x. Then, Kerf = Ker[M R N Z R M R N Z R Z R]. Notaton 3.4. Let N be an R-module and r R. Consder the morphsm of R-bmodules N Z R N Z R, n a n ra, for any n a N Z R. Let h r : R N R N, h r (n 1) = n r be the nduced morphsm of R-algebras. Gven a morphsm of R-modules w: N N, let w: R N R N, w(n 1) = w(n) 1 be the nduced morphsm. Observe that w h r = h r w. Defnton 3.5. Gven a functor F of rght R-modules, let F be the functor from the category of R-modules to the category of abelan groups defned by F(N) := Ker[F(R N ) F(R N R R x ), f f x F(h x )(f)]. ObservethatgvenamorphsmofR-modulesw: N N, wehavethemorphsm F(w): F(N) F(N ), F(w)(f) := F( w)(f), for any f F(N) F(R N ).

8 8 Proposton 3.6. Hypothess 1.2 s satsfed ff M(N) = M R N. Proof. It s an mmedate consequence of 3.3. Remark 3.7. M(N) = Ker[M R N Z R M R N Z R Z R] = N(M). Proposton 3.8. Let F be a functor of R-modules. Then, F (N) = Hom R (F,N) and F = F. Proof. By 3.3 and 3.1, the sequence of morphsms 0 N R N R N R R x n n 1, p(n) p(n)x p(nx) remans exact by tensorng by R-algebras.Therefore, F (N) = Hom R (F,N). Gven an R-algebra S, let S be the functor of R-modules defned by S(S ) := S R S. The sequence of morphsms 0 N R N R N R R x s exact. Then, F (N) 2.12 = Hom R (F,N) and F = F. Gven a morphsm of R-modules φ: F 1 F 2 we have the morphsm of functors of groups φ: F 1 F 2, φ N (f) := φ R N (f), for any R-module N and f F 1 (N) F 1 (R N ). Let S be an R-algebra. Consder the morphsm of R-algebras π S : R S S, s 1 s. Then we have the natural morphsms F(S) F(R S ) F(πS) F(S). ThecompostemorphsmF (S) F (R S ) F (π S) F (S)sthedenttymorphsm, snce the composte morphsm S R S πs S s the dentty morphsm. Let S be an R-algebra and s S. The morphsm of R-modules s: S S, s s s nduces the morphsm of groups F( s): F(S) F(S). Let us defne f s := F( s)(f), for any f F(S) F(R S ) and s S. F(πS) Proposton3.9. Let S be an R-algebra and F(S) F(S) the natural morphsm. Then, F(π S )(f s) = F(π S )(f) s, for any f F(S) and s S. Proof. Let f F(S). We know that f x = F(h x )(f) n F(R S R R x ). If we consder the morphsm of R-algebras R x S, x s, then f s = F(h s )(f) n F(R S R S). Let π S : R S R S S be the morphsm of S-algebras nduced by the morphsms Id: S S and π S : R S S, π S (s 1) = s. The dagram π S R S S π S R S R S

9 FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES 9 s commutatve. Let h s : R S R S R S R S, be the morphsm of S-algebras nduced by the morphsm of R-algebras R S R S, s 1 s s 1. Observe that π S h s = π S h s. Then, F(π S )(f s) = F(π S)(F(h s)(f)) = F(π S h s)(f) = F(π S h s )(f) = F(π S)(F(h s )(f)) = F(π S)(f s) = F(π S)(f) s = F(π S )(f) s. Defnton We wll say that a functor F of rght R-modules satsfes ( ) f for any R-algebra S, any R-module N and any w 1,w 2 N (S) = Hom R (N,S), then F(w 1 +w 2 ) = F(w 1 )+ F(w 2 ). Example Let F be an R-module. N satsfes ( ). Example M satsfes ( ). Theorem Let N be an R-module and F be a functor of R 0 -modules. Assume F satsfes ( ). Then, Hom R 0(N,F) = F(N). Proof. Let I N (R N ) be defned by I(n) := n 1. Obvously, I N (N). We can defne the morphsm Hom R (N,F) F(N), φ φ N (I) = φ R N (I). Gven w N (S), let w be the composte morphsm R N w R S π S S We have the commutatve dagram n 1 w(n) 1 w(n) N (S) φ S F(S) N (w ) F(w ) N (R N ) F(R N ) φ R N N (w ) w I φ S (w) F(w ) φ R N (I). Then, φ s determned by φ R N (I) F(N). Gven f F(N) F(R N ), we have the morphsm f: N F, fs (w) := F(w )(f) = F(π S w)(f) = F(π S )( F(w)(f)). The composte morphsm f f f R N (I) s the dentty: fr N (I) = Ĩ)(f) = F(Id)(f) = f. F(π R N Proposton lm F = lm F and lm Proof. It s an mmedate consequence of that lm F = lm F. and lm are left exact functors.

10 10 Proposton If F 2 satsfes ( ) and F 1 F 2 s a monomorphsm of R- modules, then F 1 satsfes ( ). If {F } s a drect (resp. nverse) system of R- modules whch satsfy ( ), then lmf (resp. lmf ) satsfes ( ). Proposton Let {F } be a drect system of R 0 -modules whch satsfy ( ) and let N be an R-module. Then, Hom R 0(N, lm F ) = lm Hom R 0(N,F ). Proof. Hom R 0(N, lm F ) 3.13 = (lm F )(N) 3.14 = lm F (N) 3.13 = lm Hom R 0(N,F ). 4. Reflexvty theorem Theorem 4.1. Suppose that Hypothess 1.2 s satsfed. Then, Proof. M R N 3.6 = M R N = Hom R 0(N,M). M(N) 3.13 = Hom R 0(N,M) Theorem 4.2. Let M be an R-module. The natural morphsm of R-modules s an somorphsm. M M Proof. M (S) = Hom S 0(M S,S) = Hom S 0(M S,S) 4.1 = S R M = M(S). As an nmedate consequence of Theorem 4.2, t follows that module schemes are also reflexve. Observe that M (S) = Hom R 0(M,S) = Hom R 0(M,S) 4.1 = S R M. Then, M = M. 5. Functoral characterzatons of flat modules From now on we wll assume that M satsfes Hpothess 1.2 for any R-module N. Proposton 5.1. A quas-coherent module M s a module scheme f and only f M s a fntely generated projectve R-module. Proof. ) Wrte M = P. Then, M = P (and M = P). Therefore, M = P and Hom R (M,M) 3.8 = M (M) = P(M) 3.6 = P R M = M R M. Let Id: M M be the dentty morphsm. Then, there exsts r =1 w m M R M = Hom R (M,M), such that w m Id. Therefore, w (m)m = m, for every m M. Let f: M R r, f(m) := (w (m)) and g: R r M, g(a ) := a m. Observe that (g f)(m) = g((w (m))) = w (m)m = m, that s, g f = Id and M s a drect summand of R r. )There exst an R-module M and an somorphsm R n = M M. Dually, we have that R n = M M. Besdes, we have R n = M M, so that R n = (M ) qc (M ) qc. Hence, M = (M ) qc ; that s to say, M = N, where N = M.

11 FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES 11 Any module s a drect lmt of fntely presented modules. The Lazard s theorem states that any flat module s a drect lmt of fnte free modules ([6, A6.6]). Theorem 5.2. M s a flat R-module ff M s a drect lmt of R-module schemes. Proof. ) M s a drect lmt of free modules of fnte type, M = lm L, by the Lazard s theorem. Then, M = lm (L ) s a drect lmt of module schemes. ) Wrte M = lm N. Then, N R M 3.6 = M(N) = lm N 3.14 (N) = lm (N 3.8 (N)) = lm Hom R 0(N,N), foranyr 0 -modulen. Hence, R M saleftexactfunctorsnce lm Hom R 0(N, ) s a left exact functor. Then, M s a flat R 0 -module Mttag-Leffler condtons were frst ntroduced by Grothendeck n[8], and deeply studed by some authors, for example, Raynaud and Gruson n [9]. Flat strct Mttag-Leffler modules have also been studed by Ohm and Rush under the name of trace modules n [12], by Garfnkel, who calls them unversally torsonless n [7] and by Zmmermann-Husgen, under the name of locally projectve modules n [14]. Defnton 5.3. [13, Chap. 2 Def. 3.] An R-module M s sad to be a flat Mttag- Leffler module f M s the drect lmt of fnte free R-modules {L } such that the nverse system {L } satsfes the usual Mttag-Leffler condton (that s, for each there exsts j such that for k j we have Im[L k L ] = Im[L j L ]). Lemma 5.4. Let f: N M be a morphsm of R-modules and let f : M N be the dual morphsm. Obvously, Cokerf s a quas-coherent R-module and Kerf = (Cokerf). Hence, f s an epmorphsm ff f s a monomorphsm. Theorem 5.5. Let M be an R-module. The followng statements are equvalent (1) M s a flat Mttag-Leffler module. (2) M s equal to a drect lmt of R-submodule schemes. (3) Any morphsm N M factors through an R-submodule scheme of M. Proof. (1) (2) Wrte M = lm L, where the nverse system {L } satsfes the Mttag-Leffler condton. Obvously, M s a flat R-module and M = lm L. Let N := Im[L k L ], for k >>. Obvously, the morphsm N N j s an epmorphsm, for any j. The morphsm L k N s an epmorphsm for every k >>, then the morphsm N L k s a monomorphsm for every k >>. Takng drect lmts we have the morphsms M = lm L lm N M Then, M = lm N. (2) (3) It s a consequence of 3.16.

12 12 (3) (1) Let V1,V 2 be two R-submodule schemes of M. The morphsm V1 V2 M, (w 1,w 2 ) w 1 + w 2 factors through an R-submodule scheme V of M. Then, V1,V 2 V. Any morphsm R n M factors through a submodule scheme of M. Then, M s the drect lmt of ts R-submodule schemes assocated wth modules. Hence, M s flat by 5.2. Wrte M = lml, where L s a fnte free module, for any. We have to prove that the nverse system {L } satsfes the Mttag-Leffler condton. The morphsm L M factors through a monomorphsm W M. By 3.16, there exsts j > such that W M factors through a morphsm W L j, whch s a monomorphsm because W M s a monomorphsm. Takng a bgger j, f t s necessary, we can suppose that the composte morphsm L W L j s the natural morphsm. Lkewse, the morphsm W L k s a monomorphsm for any k j. Dually we have the morphsms L k W L and L k W s an epmorphsm by 5.4. Then, Im[L k L ] = Im[W L ], for any k j. Remark 5.6. Now, t s easy to prove that an R 0 -module M s a flat Mttag-Leffler module ff there exst an nverse system of morphsms of modules {N,φ j } j I and elements {f M R N } I, such that (Id φ j )(f ) = f j, for any j, the morphsm Hom R (N,N) M R N, g (Id g )(f ) s njectve (for any ) and lm Hom R (N,N) = M R N, for any R-module N. Defnton 5.7. A flat R-module M s sad to be a flat strct Mttag-Leffler module f t s somorphc to a drect lmt of fntely presented modules P, so that for every there exsts a j such that (see [9, II 2.3.2] and Remark 5.11). Im[M P ] = Im[P j P ]. Lemma 5.8. Let M be a flat R-module and P a fntely presented R-module. Then, Hom R 0(M,P qc) = Hom R 0(M,P ). Proof. Consder an exact sequence of morphsms R n R m P 0. Dually, 0 P R m R n s exact. From the commutatve dagram of exact rows 0 Hom R 0(M,P ) Hom R 0(M,R m ) Hom R 0(M,R n ) P R M R m R M 4.1 Hom R 0(M,P qc) 4.1 R n R M one has that Hom R 0(M,P qc) = Hom R 0(M,P ). Lemma 5.9. Let {P } be a drect system of R-modules and M = lm P. Then, Hom R 0(M,N) = lm Hom R 0(P,N). for any R 0 -module N.

13 FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES 13 Proof. It follows from the equaltes Hom R 0(M,N) 2.6 = Hom R (N,M) 3.16 = lm Hom R (N,P ) 2.6 = lm Hom R (P,N). Theorem Let M be an R-module. The followng statements are equvalent (1) M s a flat strct Mttag-Leffler module. (2) Any morphsm f: M N factors through the quas-coherent module assocated wth Imf R, for any R-module N. (3) Let {M } I be the set of all the fntely generated R-submodules of M and M = Im[M M ]. The natural morphsm M R N lm I Hom R (M,N) s an somorphsm, for any R-module N. (4) M s a drect lmt of submodule schemes, N, so that the morphsms M N are epmorphsms. Proof. (1) (2) Let {P } be a drect system of fntely presented modules so that M = lmp and for every there exsts a j such that Im[M P ] = Im[P j P ]. Let f: M N be a morphsm of R-modules. M N factors through the morphsm M P, for some, by 5.9. There exsts j such that Im[M P ] = Im[P j P ]. Then, Imf R = Im[M N] = Im[Pj N]. The morphsm M Pj factors through a morphsm M Pj qc, by 5.8. We have the morphsms M Pj qc Pj N. Then, Imf R = Im[M N] = Im[P j N] = Im[P j qc (R) N]. The morphsm P j qc N factors through the quas-coherent module assocated wth Im[P j qc (R) N] = Imf R, then M N factors through the quas-coherent module assocated wth Imf R. (2) (3) If f 1,f 2 : M N are two morphsms such that (f 1 ) R = (f 2 ) R, then Im(f 1 f 2 ) R = 0 and f 1 f 2 factors through 0, that s, f 1 = f 2. Hence, any morphsm f: M N unquely factors through the quas-coherent module assocated wth Imf R. Let {M } be the set of the fntely generated submodules of M. M = lm Let M M be the ncluson morphsm and f : M M the nduced morphsm. Let L be a fnte free module and L M an epmorphsm, let π : L M be the nduced epmorphsm. Dually, we have the morphsms M f M π L The composte morphsm π f unquely factors through the quas-coherent module assocated wth Im(π f ) R = Im(f ) R = M. M M s an epmorphsm M.

14 14 and π s a monomorphsm, then f unquely factors through M. Then, we have the morphsms M M M. Dually, we have the morphsms M M M and M M s a monomorphsm. Hence, M = lmm. Then, M = lm M 3.14 = lmm. Therefore, M R N 3.6 = M(N) = lm M (N) 3.8 = lm Hom R (M,N). (3) (4) M = lmm, then M = lmm. (4) (1) M s flat, by 5.2. Let {L j } be a drect system of fnte free modules so that M = lml j. Observe that j Hom R 0(M,Q) 2.6 = Hom R (Q,M) 3.16 = lm Hom R (Q,N ) 2.6 = lm Hom R (N,Q), for any R 0 -module Q. The natural morphsm M L j factors through M N, for some. M N factors through the morphsm M L j, for some j, by 5.9. We have the morphsms M L j N L j (consderng a bgger j, f t s necessary, we can suppose that the composte morphsm L j N L j s the natural morphsm). Recall M N s an epmorphsm. Then, Im[M L j ] = Im[L j L j ]. We fnsh the artcle wth a techncal detal (recall 3.8). Remark In the proof of (4) (1) n Theorem 5.10, we have wrtten: We have the morphsms M L j N L j (consderng a bgger j, f t s necessary, we can suppose that the composte morphsm L j N L j s the natural morphsm). Recall M N s an epmorphsm. Then, we have the morphsms Hom R 0(Q,M ) Hom R 0(Q,L j ) Hom R 0(Q,N ) Hom R 0(Q,L j ) Hom R (M,Q) Hom R (L j,q) Hom R (N,Q) Hom R (L j,q) Hom R (M,Q) L j R Q N R Q L j R Q for any R-module Q. Hom R (M,Q) N R Q s surjectve, by Proposton Then, Im[Hom R (M,Q) Hom R (L j,q)] = Im[Hom R (L j,q) Hom R (L j,q)], for any R-module Q. Ths s the condton requred for strct Mttag-Leffler modules n [9, II 2.3.2]. Proposton Let f: M N be an epmorphsm. Wrte f = n m Hom R 0(M,N) = N R M. Then, the morphsm f: Hom R (M,Q) N R Q, f(g) := n g(m ) s surjectve, for any R-module Q.

15 FUNCTORIAL CHARACTERIZATIONS OF FLAT MODULES 15 Proof. Gven n N, there exsts w n M such that n = f R (w) = n w n (m ), snce f R s surjectve. Gven n q N R Q we have to prove that there exsts g Hom R (M,Q) such that f(g) = n q. Let g: M Q be defned by g(m) := w n (m) q. Then, f(g) = n g(m ) = (n w n (m ) q) = ( References n w n (m )) q = n q. [1] Álvarez, A., Sancho, C., Sancho, P., Algebra schemes and ther representatons, J. Algebra 296/1 (2006) [2] Álvarez, A., Sancho, C., Sancho, P., A characterzaton of lnearly semsmple groups, Acta Mathematca Snca, 27/1 (2011) [3] Álvarez, A., Sancho, C., Sancho, P., Reynolds operator on functors Journal of Pure and Appled Algebra 215/8 (2011) [4] Blyth, T.S., Categores, Longman, [5] Demazure, M.; Gabrel, P., Introducton to Algebrac Geometry and Algebrac Groups, Mathematcs Studes 39, North-Holland, [6] Esenbud, D., Commutatve Algebra wth a Vew Toward Algebrac Geometry, GTM 150, Sprnger-Verlag, [7] Garfnkel, G.S., Unversally torsonless and trace modules, Trans. Amer. Math. Soc. 215 (1976) [8] Grothendeck, A. EGA, III. Math. Inst. Hautes Etudes Scent. 11 (1961) [9] Gruson,L., Raynaud, M., Crtères de plattude et de projectvté, Inventones math. 13, 1-89 (1971). [10] Hrschowtz, A., Cohèrence et dualtè sur le gros ste de Zarsk, Algebrac curves and projectve geometry (Trento, 1988), LNM, 1389, Sprnger, Berln, [11] Navarro, J., Sancho C., Sancho, P., Affne functors and dualty 2012 arxv: v4 [12] Ohm, J., Rush, D.E. Content modules and algebras, Math. Scand. 31 (1972) [13] Raynaud, M., Flat modules n algebrac geometry Composto Mathematca 24 n [14] Zmmermann-Husgen B., Pure submodules of drect products of free modules, Math. Ann. 224 (3) (1976)