Derived Limits in Quasi-Abelian Categories
|
|
- Janel Owens
- 6 years ago
- Views:
Transcription
1 Prépublcatos Mathématques de l Uversté Pars-Nord Derved Lmts Quas-Abela Categores by Fabee Prosmas March 98 Laboratore Aalyse, Géométre et Applcatos, UMR 7539 sttut Gallée, Uversté Pars-Nord Vlletaeuse (Frace)
2
3 Derved Lmts Quas-Abela Categores Fabee Prosmas Aprl 1, 1998 Abstract ths paper, we study the derved fuctors of projectve lmt fuctors quas-abela categores. Frst, we show that f s a quas-abela category wth exact products, projectve lmt fuctors are rght dervable ad ther derved fuctors are computable usg a geeralzato of a costructo of Roos. Next, we study dex restrcto ad exteso fuctors ad lk them trough the symbolc Hom -fuctor. f : s a fuctor betwee small categores ad f s a projectve system dexed by, ths allows us to gve a codto for the derved projectve lmts of ad to be somorphc. Note that ths codto holds, f ad are flterg ad s cofal. Usg the precedg results, we establsh that the -th left cohomologcal fuctor of the derved projectve lmt of a projectve system dexed by vashes for k, f the cofalty of s strctly lower tha the k-th fte cardal umber. Fally, we cosder the lmts of pro-objects of a quasabela category. From our study, t follows, partcular, that the derved projectve lmt of a flterg projectve system depeds oly o the assocated pro-object. Cotets 0 troducto 2 1 Quas-abela homologcal algebra Quas-abela categores Dervato of a quas-abela category t-structure ad heart of the derved category Dervato of fuctors betwee quas-abela categores AMS Mathematcs Subject Classfcato. 18G50, 18A30, 46M20. Key words ad phrases. No-abela homologcal algebra, quas-abela categores, derved projectve lmts, homologcal methods for fuctoal aalyss. 1
4 2 Fabee Prosmas 2 Projectve systems quas-abela categores Categores of projectve systems Projectve systems of product ad croduct type jectve ad projectve objects dex restrcto ad exteso Dervato of the projectve lmt fuctor The case where has eough jectve objects Roos complexes The case where has exact products Derved projectve lmt fuctor ad dex restrcto Dual results for the ductve lmt fuctor Relatos betwee RHom ad derved lmts Derved lmts ad the symbolc-hom fuctor The symbolc-hom fuctor Dervato of the symbolc-hom fuctor Lks wth the derved projectve lmt fuctor dex restrcto Derved projectve lmts ad cofalty Cofal dex restrcto Cofalty ad ampltude of derved projectve lmts Pro-objects Categores of pro-objects Pro-represetable fuctors Represetato of dagrams of pro-objects Lmts categores of pro-objects Derved projectve lmts ad pro-objects Pro-objects of a quas-abela category The fuctor L Dervato of L troducto t s well-kow that the projectve lmt of a short exact sequece of projectve systems of abela groups s ot always a exact sequece. Ths pheomeo ofte explas the problems oe meets the globalzato of local results algebra or
5 Derved Lmts Quas-Abela Categores 3 aalyss. To uderstad ths loss of exactess, t s atural to study the derved fuctors of the projectve lmt fuctor. Ths was doe the sxtes by varous authors ([3, 4, 6, 8], etc.) ad led to a rather good uderstadg of the homologcal algebra of projectve lmts abela categores. However, for varous applcatos to algebrac aalyss, t would be very useful to exted these results to o-abela categores such as the category of tologcal abela groups or the category of locally covex tologcal vector spaces. Ths s what we do ths paper the more geeral framework of quas-abela categores. We start wth a summary of the facts about the homologcal algebra of quasabela categores whch are eeded the other sectos (see [9] ad [7] for more detaled expostos). Ths should help the reader whch has a good kowledge of the laguage of homologcal algebra ad derved categores the abela case (as exposed e.g. [5]) to uderstad the rest of the paper. Frst, we recall the codtos a category has to satsfy to be quas-abela. Next, we expla brefly the costructo of the derved category D( ) ad we gve the ma results about the two caocal t-structures o D( ) ad ther correspodg hearts LH( ) ad RH( ). We ed ths secto by recallg how to derve a addtve fuctor betwee two quas-abela categores. Secto 2 s devoted to the study of the category of projectve systems a quasabela category. We show frst that they form a quas-abela category. The, usg projectve systems of product type, we prove that ths category has eough jectve objects whe tself has eough jectve objects. We coclude by defg the dex restrcto ad exteso fuctors. Secto 3, we expla how to derve the projectve lmt fuctor lm : where s a quas-abela category ad a small category. Frst, we cosder the easy case where has eough jectve objects. Next, we treat the case where has exact products. ths case, we show that the derved projectve lmt of a projectve system of s somorphc to ts Roos complex. Moreover, f : s a fuctor betwee two small categores ad s a projectve system of dexed by, we show how to compute the caocal morphsm R lm ( ) R lm j ( ( )) by meas of Roos complexes. By dualty, we get correspodg results for the ductve lmts. At the ed of ths secto, we establsh commutato formulas for derved lmts ad the derved Hom fuctor. j
6 4 Fabee Prosmas Secto 4, we recall a few prertes of symbolc-hom fuctors ad show how to derve them. The, we prove that derved projectve lmts may be computed usg sutable derved symbolc-hom fuctors. Ths allows us to gve a codto for the caocal morphsm R lm ( ) R lm j ( ( )) to be a somorphsm. the frst part of Secto 5, usg the precedg result, we show that f a fuctor : betwee small flterg categores s cofal, the j R lm ( ) R lm j ( ( )) D ( ). the secod part, we establsh that, f the cofalty of the small flterg category s strctly lower tha the k-th fte cardal umber, j LH (R lm ( )) = 0 k for ay projectve system of dexed by. Secto 6 s devoted to a revew of the results about pro-objects we eed Secto 7. We refer the reader to [2] for detals. the frst three parts of ths secto, we recall basc results about pro-objects, represetable fuctors ad represetato of dagrams of pro-objects. the last part, we show that the category of proobjects of a arbtrary category has flterg projectve lmts ad we establsh some prertes of these lmts. Secto 7, we prove that the category of pro-objects of a quas-abela category s also quas-abela ad has exact products. Next, we troduce the fuctor L: Pro( ) ad we establsh that f the category the fuctor L s rght dervable ad s quas-abela ad has exact products, the RL lm ( ) R lm ( ) for ay flterg projectve system dexed by. Ths shows partcular that the derved projectve lmt of a flterg projectve system depeds oly o the assocated pro-object. Note that the theory develed ths paper may be appled to the category of tologcal abela groups or the category of locally covex tologcal vector
7 a a { { Derved Lmts Quas-Abela Categores 5 spaces sce these categores are quas-abela ad have exact products. these cases, more specfc results may be obtaed. Work ths drecto s progress ad wll appear elsewhere. To coclude ths troducto, wat to thak.-p. Scheders for the useful dscussos we had durg the preparato of ths paper. 1 Quas-abela homologcal algebra 1.1 Quas-abela categores To avod cofusos, let us frst recall a few basc deftos. Defto Let Abe a addtve category ad let f : A B be a morphsm of A. () A kerel of f s the data of a par (ker f,) where ker f b( A) ad Hom A(ker f,a) are such that f = 0 ad for ay g Hom A( C,A) verfyg f g = 0, there s a uque g Hom ( C, ker f) makg the dagram A ker g A?? f A B D DD D DD g D D commutatve. () A cokerel of f s the data of a par (coker f,q) where coker f b( A) ad q Hom A( B, coker f) are such that q f = 0 ad for ay g Hom A( B,C) verfyg g f = 0, there s a uque g Hom (coker f,c) makg the dagram C f 0 0 f A B coker f???????? C g commutatve. e ca check that : ker f A s moomorphc ad that q : B coker f s epmorphc. Moreover, two kerels (resp. two cokerels) of f are caocally somorphc. () f the morphsm : ker f A has a cokerel, t s called the comage of f ad deoted by com f. (v) f the morphsm q : B coker f has a kerel, t s called the mage of f ad deoted by m f. q w ww g w ww w ww
8 d d " " { { Fabee Prosmas Remark There s a caocal morphsm com f m f. As a matter of fact, sce com f s the cokerel of : ker f A, there s a uque morphsm f : com f B makg the dagram 0 D D D D D D D D f commutatve. We have q f q = q f = 0. The morphsm q beg epmorphc, t follows that q f = 0. Sce m f s the kerel of q : B coker f, there s a uque morphsm com f m f makg the dagram commutatve. m H q ker f A com f B x xx f x xx q x xx f B coker f H s H s s H f s s H s s com f s s s 0 Defto A category s quas-abela f () t s addtve, () ay morphsm has a kerel ad a cokerel, () a cartesa square X f Y f s a strct epmorphsm, the f X f Y s a strct epmorphsm, (v) a cocartesa square X f Y f s a strct moomorphsm, the f s a strct moomorphsm. X f Y
9 Derved Lmts Quas-Abela Categores Dervato of a quas-abela category ths secto, wll be a quas-abela category. We deote by C( ) the category of complexes of ad by K( ) the category defed by b( K( )) = b( C( )) ad where K( ) C( ) Hom ( X,Y ) = Hom ( X,Y )Ht( X,Y ) Ht( X,Y ) = { f : X Y : f s homotc to zero}. Recall that K( ) has a caocal structure of tragulated category. Defto A sequece u v A B C of such that v u= 0 s strctly exact f u s strct ad f the caocal morphsm m u ker v s somorphc. Remark Note that a sequece of such that F G Hom ( X, ) Hom ( X, F ) Hom ( X, G) s exact for ay X () A of s f the se- Defto quece b( ) s strctly exact. complex X k 1 k k 1 d k d k1 X X X strctly exact degree k s strctly exact. () A complex of s strctly exact f t s strctly exact every degree. () We deote by N( ) the full subcategory of K( ) whose objects are the strctly exact complexes of.
10 8 Fabee Prosmas (v) A morphsm f : X Y of K( ) s called a strct quas-somorphsm f there s a dstgushed tragle N of K( ) such that Z b( ( )). X Y Z X [1] Prosto The subcategory N( ) of K( ) s a ull system,.e. t verfes the followg codtos: () 0 N( ), () ( ) f ad oly f [1] ( ), X () f N X N X Y Z X [1] N s a dstgushed tragle of K( ) where X, Y b( ( )), the Z b( N( )). Defto The derved category of deoted by D( ) s the localzato of the tragulated category K( ) by N( ). The, D( ) = K ( ) N( ). Remark Note that as the abela case, a strctly exact sequece 0 X Y Z 0 of C( ) gves rse to a dstgushed tragle X Y Z X [1] of D( ). 1.3 t-structure ad heart of the derved category Frst, let us recall some usual results about t-structures o a tragulated category. Defto T T T strctly full subcategores of T. We set 0 0 Let be a tragulated category ad let ad be two 0 0 T = T [ ] ad T = T [ ]. 0 0 T T T The, the pars (, ) forms a t-structure o f t verfes the followg codtos:
11 Derved Lmts Quas-Abela Categores () ad, T T T T 0 1 () Hom T ( X, Y ) = 0 f X b( T ) ad Y b( T ), () for ay X b( T ), there s a dstgushed tragle T T such that X b( ) ad b( ) T X1 T 0 0 The heart of the t-structure ( T, T ), deoted by H, s the full subcategory of T defed by 0 0 H = T T. Theorem The heart of ay t-structure s a abela category. 0 0 Prosto Let ( T, T ) be a t-structure o a tragulated category T. () There s a fuctor τ : T T such that X X X X [1] Hom ( X, τ ( Y )) Hom ( X, Y ) for ay X b( T ) ad ay Y b( T ). the same way, there s a fuctor such that τ for ay X b( T ) ad Y b( T ). These fuctors τ ad τ are the 0 0 trucato fuctors assocated to the t-structure ( T, T ). () For ay Z, the fuctor defed by Hom ( τ ( X ),Y) Hom ( X,Y) H : T T : T H H ( X) = ( τ τ ( X))[ ] s a cohomologcal fuctor,.e. ay dstgushed tragle X Y Z X[1] T T of T gves rse to the log exact sequece H ( X) H ( Y) H ( Z) D BC H ( X) H ( Y) H ( Z)
12 10 Fabee Prosmas Defto Let be a quas-abela category. We deote by D 0 0 ( ) (resp. D ( )) the full subcategory of D( ) whose objects are the complexes whch are strctly exact degree k> 0 (resp. k< 0). Prosto a t-structure o D( ). We call t the left t-structure of D( ). ( D,D ) 0 0 Let be a quas-abela category. The par forms Remark The heart of the left t-structure s deoted by 0 0 We call t the left heart of D( ). f course, the objects of LH( ) are the complexes whch are strctly exact every degree but zero. The cohomologcal fuctors are deoted by where s degree ad k where s degree. Hece, the cohomologcal fuctors are gve by where s degree. LH( ) = D ( ) D ( ). LH : D ( ) LH( ). Prosto D( ). The trucato fuctors are gve by ker d X Let be a quas-abela category. Let be a object of τ ( X ) : X ker d 0 τ ( X ) : 0 com d X X ker d 0 1 LH ( X ) : 0 com d ker d 0 X Prosto Let be a quas-abela category. The fuctor : LH ( ) whch assocates to ay object of the complex 0 0 where s degree 0 s fully fathful.
13 Derved Lmts Quas-Abela Categores 11 Remark wrte X Let be a object of ( ). By a abuse of otatos, we wll X X LH f s somorphc to ( ) for some object of. Prosto Let be a quas-abela category. (a) Ay object of LH( ) s somorphc to a complex u 0 A B 0 where B s degree 0 ad us a moomorphsm. Moreover, such a object s the essetal mage of f ad oly f u s strct. (b) A sequece F G of s strctly exact f ad oly f the sequece ( ) F ( ) G ( ) of LH( ) s exact. Corollary D( ). The, Let be a quas-abela category ad let be a object of X k LH X X k () ( )=0 s strctly exact degree, () k k 1 LH ( X ) dx s strct. Remark Replacg the oto of strctly exact sequece by the oto of costrctly exact sequece, we may defe a secod t-structure o D( ). We call t the rght t-structure ad ts assocated heart (the rght heart) s deoted by RH( ). 1.4 Dervato of fuctors betwee quas-abela categores F ths secto, : wll deote a fuctor betwee quas-abela categores. Defto Let Q : K ( ) D ( ) ad Q : K ( ) D ( ) be the caocal fuctors. A rght derved fuctor of F s the data of a par ( T,s) where T : D ( ) D ( )
14 & & 12 Fabee Prosmas s a fuctor of tragulated categores ad s M M M M t M M M M M α dq k k k k such that, for ay k, b( ) ad u : X s a strct moomorphsm. M T,t there s a uque morphsm α : T T of fuctors makg the dagram commutatve. Defto A full subcategory of s F-jectve f () 0 0 s a strctly exact sequece of such that, Prosto f s a F-jectve subcategory of, the for ay object X of C ( ), there s a strct quas-somorphsm Prosto s : Q K ( F) T Q s a morphsm of fuctors such that for ay par ( T : D ( ) D ( ) t : Q K ( F) T Q, Q K ( F) T Q T Q () for ay b( ), there s a strct moomorphsm where b( ), b( ), the (a) b( ), (b) 0 F( ) F( ) F( ) 0 s strctly exact. u : X We call a F-jectve resoluto of X. f has a F-jectve subcategory, the fuctor ) where F : s rght dervable ad ts derved fuctor s gve by F X where s a -jectve resoluto of. RF : D ( ) D ( ) RF ( X ) = F ( )
15 Derved Lmts Quas-Abela Categores 13 Defto () A object of s jectve f for ay strct moomorphsm u : F ad ay morphsm v :, there s a morphsm v : F makg the dagram v ~ ~~ u v ~ ~~ commutatve. () The category has eough jectve objects f for ay object of, there s a strct moomorphsm wth jectve. ~ ~ F Prosto f has eough jectve objects, the the full subcategory of formed by the jectve objects s F-jectve for ay fuctor F :. partcular, ay fuctor F : s rght dervable. Now, let us expla how to derve a bfuctor. Prosto Let F (, ): be a bfuctor betwee quas-abela categores. Assume that there are full subcategores ad of ad respectvely such that () for ay b( ), s F (,)-jectve, () for ay b( ), s F(, )-jectve. The, the fuctor F (, ) s rght dervable ad ts derved fuctor RF : D ( ) D ( ) D ( ) s gve by RF ( X, Y ) = sf (, ) where (resp. ) s a jectve resoluto of X (resp. Y ) ad sf (, ) s the smple complex assocated to the double complex F(, ). Remark Dually, t s possble to derve fuctors o the left by cosderg F-projectve subcategores.
16 14 Fabee Prosmas 2 Projectve systems quas-abela categores 2.1 Categores of projectve systems Defto Let C be a category ad let be a small category. We deote by C the category of fuctors from to C. The objects of C wll be called projectve systems of C dexed by. Prosto Let be a small category. Assume s a quas-abela category. The, s a quas-abela category. Proof. We kow that the category s addtve. Cosder a morphsm f : F of. The kerel of f s gve by a object K of ad a morphsm u : K of such that for ay, the object K ( ) of ad the morphsm u ( ) : K ( ) ( ) form a kerel of f ( ). The cokerel of f s defed smlarly. t follows that a morphsm f : F of s strct f ad oly f f ( ) : ( ) F ( ) s strct for ay. Cosder a cartesa square f F f F of, where f s a strct epmorphsm. Sce for ay, the square f() () F () f () () F () of s cartesa ad sce f ( ) s a strct epmorphsm, f( ) s a strct epmorphsm. t follows that f s a strct epmorphsm of. Usg the same kd of argumets, a cocartesa square f F f F of, f f s a strct moomorphsm, the f s also a strct moomorphsm.
17 Derved Lmts Quas-Abela Categores Projectve systems of product ad croduct type Remark Hereafter, by a abuse of otatos, we wll deote by the same symbol a set ad ts assocated dscrete category. Defto Let be a small category ad let be a addtve category wth products. We defe the fuctor Π: b( ) the followg way. At the level of objects, for ay fuctor S : b( ) we defe the fuctor Π( S) : by settg Π( S)( ) = S( j) α j for ay. Let be a object of. For ay morphsm α : j of, we deote by p α S S j j :Π( )() ( ) the caocal projecto. The, f f : s a morphsm of, we defe by settg Π( S)( f) : Π( S)( ) Π( S)( ) p S f p Π( )( ) = α j α f α j j for ay morphsm :. b( ) At the level of morphsms, for ay morphsm s : S S of, we defe Π( s) : Π( S) Π( S ) by settg p Π( s)( ) = s( j) p for ay object of ad ay morphsm α : j of. α α j j Defto Let be a small category ad let be a addtve category wth croducts. Applyg the precedg defto to ad, we get a fuctor Through the caocal somorphsm b( ) ( ) ( ) ( ) ( D) D ( C ) ( C ),.
18 16 Fabee Prosmas ths gves us a fuctor Note that ( S)( ) = S( j ). α j b( ) b( ) b( ) Defto Let be a small category ad let be a addtve category wth products (resp. wth croducts). A projectve system product type : : croduct type b( ) s of (resp. of ) f there s a object of such that b( ) wth products (resp. wth croducts). For ay object S of ad ay object Π( S) (resp. ( S)). Defto Let be a small category ad let be a arbtrary category. We defe the fuctor b( ) : by ( )( ) = ( ) for ay object of. f f : s a morphsm of, we defe ( f) : ( ) ( ) by settg ( f)( ) = f( ). e checks easly that we have: Prosto Let be a small category ad let be a addtve category of, we have Hom ((,S ) ) Hom (, Π( S)) ( resp. Hom ( S, ( )) Hom ( ( S ), )). Prosto Let be a small category ad let be a addtve category b( ) wth products (resp. wth croducts). For ay object S of, we have the somorphsm lm Π( S)( ) S( ) ( resp. lm ( S)( ) S( )).. S
19 Derved Lmts Quas-Abela Categores 17 Proof. lmts. Ths follows drectly from the defto of the projectve ad the ductve 2.3 jectve ad projectve objects Prosto S of. Let be a small category ad let be a quas-abela category S b( ) wth products. f s a jectve object of, the Π( ) s a jectve object Proof. S b( ) Let be a jectve object of. Cosder a strct moomorphsm f : of. Sce for ay, f( ) : ( ) ( ) s a strct moomorphsm ad sce S ( ) s jectve, the sequece Hom ( f( ),S( )) Hom ( ( ),S( )) Hom ( ( ),S( )) 0 s exact. t follows that the sequece Hom (( f ),S) b( ) b( ) Hom (( ),S) Hom (( ),S) 0 s exact. By Prosto 2.2.6, the sequece Hom ( f, Π( S)) Hom (, Π( S)) Hom (, Π( S)) 0 s also exact ad the cocluso follows. Prosto Let be a small category ad let be a quas-abela category wth products (resp. wth croducts). For ay object of, there s a strct moomorphsm (resp. strct epmorphsm) f : Π(( )) ( resp. g : (( )) ) of. Proof. Let be a object of. We defe the morphsm f : Π(( )) by settg p α j f()= ( α)
20 18 Fabee Prosmas for ay object of ad ay morphsm α : j of. Sce for ay object of, we have p d f, ( ) = (d) = d p d f f ( ) s a strct moomorphsm. Cosequetly, for ay, ( ) s a strct moomorphsm of ad f s a strct moomorphsm of. Prosto Let be a small category ad let be a quas-abela category wth products. f has eough jectve objects the the category has eough jectve objects. Proof. Let be a object of. We kow that there s a strct moomorphsm f : Π(( )) of. Moreover, sce has eough jectve objects, for ay, there s a strct moomorphsm s (): () () of, where ( ) s a jectve object of. These morphsms defe a morphsm s :( ) b( ) b( ) of where s a jectve object of. Now, cosder the morphsm Π( s) f : Π( ) of. Sce the product of strct moomorphsms s a strct moomorphsm, for ay, Π( s)( ) s a strct moomorphsm of. Cosequetly, Π( s) s a strct moomorphsm of ad Π( s) fs a strct moomorphsm of. Fally, by Prosto 2.3.1, the object Π( ) s jectve. Ad the cocluso follows. Dually, we have: Prosto Let be a small category ad let be a quas-abela category wth croducts. f has eough projectve objects, the the category has eough projectve objects.
21 Derved Lmts Quas-Abela Categores dex restrcto ad exteso To fx the otatos, let us recall a few deftos of the theory of categores. Defto Let F : A C ad G : B C be two fuctors betwee arbtrary categores. We deote by F G the category whose objects are the trples ( a, f, b) where a s a object of A, b s a object of B ad f : F( a) G( b) s a morphsm of C. f ( a,f,b) ad ( a,f,b) are two objects of F G, a morphsm f ( u, v): ( a, f, b) ( a, f, b ) A B of F G s the data of a morphsm u : a a of ad a morphsm v : b b of such that the dagram F( a) G( b) F( u) G( v) s commutatve. Remark f G b F( a) ( ) Let 1 deote the category wth oe object. () f the fuctor F : 1 Cassocates to the object of 1, the object of C, the category F G wll smply be deoted G. f, moreover, G= d, the the category G wll be deoted C. C () Smlarly, f the fuctor G : 1 Cassocates to the object of 1, the object of C, the category F G wll be deoted F. Moreover, f F = d, the the category F wll be deoted C. C Prosto Let be a arbtrary category. For ay object of, (d,) ( resp. (, d )) s a tal object (resp. a termal object) of (resp. ).
22 20 Fabee Prosmas Defto Let : be a fuctor betwee two arbtrary categores ad let be a object of. () We defe the fuctor : by settg for ay object ( f,j) of ad by settg for ay morphsm β : ( f,j) ( f,j ) of. () We may defe the fuctor the same way. α α α α : Prosto Let : be a fuctor betwee arbtrary categores ad let α : be a morphsm of. () There s a fuctor α : such that () There s a fuctor such that Proof. defed by The fuctor for ay object ( f,j) of ad by ( f,j) = j ( β) = β α =. α : α =. : ( f,j) = ( f α,j) ( u) = u for ay morphsm u : ( f 1,j1) ( f 2,j2) of, solves the problem. The fuctor s defed smlarly.
23 Derved Lmts Quas-Abela Categores 21 Remark f = d the the fuctors wll be deoted respectvely by α,, ad :, :, α α : ad :. Defto Let C be a arbtrary category ad let : be a fuctor betwee two small categores. We defe the fuctor α : C C by settg ( C) = C for ay object C of C. f f : C C s a morphsm of C, we defe by settg for ay j. ( f) : ( C) ( C ) ( f)( j) = f( ( j)) Defto Let C be a cocomplete category ad let : be a fuctor betwee two small categores. We defe the fuctor : C C the followg way. At the level of objects, for ay fuctor :, we defe the fuctor by settg ( f,j) ( G) :, ( G)( ) = lm ( G )( f,j) = lm G( j) ( f,j ) α C ( f,j) ( f,j) G ( f,j) for ay. Let be a object of. For ay object ( f,j) of, deote by r : G( j) ( G)( ) ( G)( α) : lm G( j) lm G( j ) C the caocal morphsm. The, f : s a morphsm of, we defe
24 22 Fabee Prosmas by settg ( )( ) ( f,j ) = ( f α,j ) G α r r for ay object ( f,j) of. At the level of morphsms, for ay morphsm g : G G of C, we defe ( g) : ( G) ( G) by settg ( f,j ) ( f,j ) ( g)( ) r = r g( j) for ay object of ad ay object ( f,j) of. e ca check easly that we have: Prosto Let C be a cocomplete category ad let : beafuctor betwee small categores. For ay object C of C ad ay object G of C, we have Hom ( ( G ), C) Hom ( G, ( C )). C C 3 Dervato of the projectve lmt fuctor 3.1 The case where has eough jectve objects Prosto Let be a small category ad let be a quas-abela category wth products. f has eough jectve objects, the the fuctor s rght dervable. lm : Proof. Ths follows drectly from Prosto Dually, we have: Prosto Let be a small category ad let be a quas-abela category wth croducts. f has eough projectve objects, the the fuctor s left dervable. lm :
25 Derved Lmts Quas-Abela Categores Roos complexes ths secto, wll deote a small category ad a quas-abela category wth products. Defto We defe the fuctor the followg way. At the level of objects, for ay fuctor :, we defe by settg ad where R (,) = ( ) 0, R (,) α1 0 0 α1 α 0 α1 α p α1 α 1 d ( ) 1 α2 α R, α p 1 0 = ( ) l ( 1) p α1 1 α 1 l=1 1 R (,) : C ( ) R (,) C ( ) R (,)=0 < α l α l 0 l 1 l1 1 α1 0 At the level of morphsms, for ay morphsm : of, we defe α s a cha of morphsms of. Deotg by p : R (,) ( 0) the caocal projecto, we defe the dfferetal by settg d : R (,) R (,) ( 1) p α. f R (,f) : R (,) R (, ) by settg α1 α 0 α1 α 0 ( ) = ( ) 0 p R,f f p.
26 24 Fabee Prosmas Notato Let be a object of. For ay, we deote by q :lm () () the caocal morphsm. Prosto For ay object of, there s a caocal somorphsm whch duces a caocal morphsm 0 0 ( ) : R lm ( ) ker (, ) ɛ, d ɛ (,) : lm ( ) R (, ). Proof. We defe the morphsm 0 0 ɛ (,) : lm ( ) R (,) = ( ) by settg 0 p ɛ (,) = q for ay. Sce d ɛ (,) = 0, ɛ (,) duces a morphsm R (, ) ɛ (,) : lm ( ) R (,) of ( ). t follows drectly from the deftos that (lm ( ) ( )) s a kerel 0 C,ɛ, 0 dr (, ) of. Defto Let : beafuctor betwee small categores. We defe the morphsm of fuctors by settg R (, ) : R (,) R (, ()) β1 β ( β 1 ) ( β) j0 j ( j0) ( j) p R (,) = p 0 for ay object of.
27 Derved Lmts Quas-Abela Categores 25 Defto We defe the fuctor R (): C ( ) the followg way. At the level of objects, for ay fuctor :, we defe by settg α α R ( ) R ( ) ()= R (, ( )) At the level of morphsms, f : s a morphsm of fuctors, we defe 0 0 t follows that for ay 0 ad ay R ( )( ) = ( ) 0 R( ) C ( ) α1 α1 α α α R ( )( ) = R (, ( )) for ay. f α : s a morphsm of, we defe by settg R( )( α) = R (, ( )) f α1 α f 0 0 ad usg the fact that = ( ) =. For ay 0, we defe the dfferetal d 1 : R ( ) R ( ) by settg for ay object of. by settg R ( )( α) : R (, ( )) R (, ( )) d d f R( f) : R( ) R( ) R ( f)( ) = R (, ( f)) for ay object of. Remark Let us otce that to gve a cha of morphsms (,f) (,f) of s equvalet to gve a cha of morphsms of of the form.
28 26 Fabee Prosmas ad that for ay morphsm α : of R ( )( α) : ( ) ( ) s defed by 0 0 α1 α f α1 α f 0 0 For ay α1 α f ( )( ) = α1 α α f 0 0 p R α p. 0, the dfferetal R ( ) 1 d : R ( ) R ( ) s gve by p α1 α 1 f dr ( ) α1 p α2 α 1 f 0 1 ()= ( ) 1 1 l ( 1) p α1 α l 1 α l α 1 f 0 l 1 l1 1 l=1 1 ( 1) p α1 α f α 1 for ay. Fally, for ay morphsm f : of s gve by for ay 0 ad ay. R( f) : R( ) R( ) α1 α g 0 α1 α g 0 ( )( ) = ( ) 0 p R f f p 0 Lemma f the category has a termal object, the for ay object of, there s a caocal homoty equvalece ( ) R (,) Proof. For ay 0, defe 1 h : R (,) R (,) by settg h 0 = 0 ad α1 α 1 α1 α α 1 0, p h = ( 1) p 1
29 Derved Lmts Quas-Abela Categores 27 where α, 1 s the uque morphsm of Hom ( 1, ). Defe the caocal morphsm f : ( ) R (,) by settg k 0 0 0, p f = ( α ) Sce dr (, ) f = 0, f duces a caocal morphsm We wll also cosder the morphsm defed by settg Clearly, g f : ( ) R (, ). g : R (,) ( ) { p f k = 0 = 0 f k 1. g f =d. Moreover, f g s homotc to the detty map sce we have R (, ) =d h d f g ad 1 1 R (,) R (, ) = d R (, ) d h h d. Prosto For ay object of, there s a somorphsm ɛ( ) : R ( ) ( ). D Proof. Let be a object of. Sce (, d ) s a termal object of, by Lemma f ( ) : ( )(, d ) = ( ) R(, ( )) = R( )( ) K ( ), where 0 0 f (): () R ( )()= ( ) α 0 0
30 28 Fabee Prosmas s defed by So, for ay, we defe α 0 0 p f ()= ( α ). 0 0 ɛ ( )( ) : ( ) R ( )( ) by settg 0 0 ɛ ( )( ) = f ( ) Sce dr ( ) ɛ ( ) = 0, ɛ ( ) duces a morphsm ɛ( ) : R( ) of ( ). By costructo, for ay, we have the somorphsm C ɛ( )( ) : ( ) R( )( ) D ( ). t follows that ɛ( ) : R ( ) ( ). D Lemma For ay object of ad ay 0, there s a object S ( ) b( ) of such that R ( ) Π( S ( )). Proof. e checks easly that the fuctor S ( ) : b( ) defed by for ay solves the problem. S ( )( ) = ( ) α1 α 0 0 Prosto For ay object of, there s a somorphsm lm R( )( ) R (,) ( ) of C.
31 Derved Lmts Quas-Abela Categores 29 Proof. Ths follows from the cha of somorphsms lm R ( )( ) lm Π( S ( ))( ) S ( )( ) α1 0 α1 0 R (, ). α α ( ) ( ) The case where has exact products ths secto, wll deote a small category ad a quas-abela category wth products. Defto A object of s a Roos-acyclc projectve system f the co-augmeted complex j k lm ( ) R (,) R (,) s strctly exact. other words, s Roos-acyclc f ad oly f LH ( R (, )) = 0 for ay k> 0. b( ) Prosto For ay object Sof, there s a caocal homoty equvalece Sj () R (, Π( S )). partcular, Π( S) s a Roos-acyclc projectve system. Proof. For ay 0, defe 1 h : R (, Π( S)) R (, Π( S)) by settg h 0 = 0 ad β α1 α 1 d β α1 α 1 j 0 0 = 1 j j j 0 1 p p h p p
32 30 Fabee Prosmas for 1. Defe the caocal morphsm 0 0 u : S( j) R (, Π( S)) by settg j p p u = p. β 0 j Sce dr (, Π( S )) u = 0, u duces a caocal morphsm u : S( j) R (, Π( S )). j We wll also cosder the morphsm 0 0 v : R (, Π( S)) S( j) 0 j j defed by settg ad the duced morphsm Clearly, 0 pj v = p p d j j v : R (, Π( S)) S( j ). v u =d. j j Moreover, u v s homotc to the detty map sce we have R (, Π( S )) =d h d u v ad for R (, Π( S)) R (, Π( S)) = dr (, Π( S)) d h h d Prosto Assume has exact products. The, the fuctor s rght dervable. lm :
33 Derved Lmts Quas-Abela Categores 31 Proof. t s suffcet to show that the famly s lm-jectve. F = { b( ) : s Roos-acyclc} () Let be a object of. By Prosto 2.3.2, there s a strct moomorphsm Π(( )) ad by the precedg prosto, Π(( )) belogs to F. () Cosder a strctly exact sequece 0 0 of where ad belog to F. Sce has exact products, the sequece 0 R (, ) R (,) R (, ) 0 s strctly exact ad gves rse to the log exact sequece LH R, LH R, LH R, 0 ( ( )) ( ( )) ( ( )) D BC LH ( R (, )) LH ( R (, )) LH ( R (, )) D BC LH ( R (, )) LH ( R (, )) LH ( R (, )) Sce ad are objects of, t follows that ad that belogs to. k k k F LH ( R (, )) = LH ( R (, )) = 0 k > 0. 0 LH ( R (, ))=0 k > 0 F Moreover, by Prosto 3.2.3, for ay object of, LH ( R (, )) lm ( ) ad the precedg log exact sequece shows that the sequece s exact. 0 lm ( ) lm ( ) lm ( ) 0
34 o o 32 Fabee Prosmas Prosto Assume has exact products. The, for ay object of, we have a caocal somorphsm R lm ( ) R (,. ) Proof. By Prosto ad Lemma 3.2.9, R( ) s a Roos-acyclc resoluto of. The, R lm ( ) lm R( )( ) R (,) where the last somorphsm follows from Prosto Derved projectve lmt fuctor ad dex restrcto ths secto, wll deote a quas-abela category wth products ad : a fuctor betwee small categores. Defto We defe the morphsm of fuctors by settg ρ(,. ): ( R()) R( ()) β1 β g ( β 1 ) ( β) ( g) j0 j ( )( ) = j ( j0) ( j) ( j) p ρ, j p for ay object of, ay j ad ay 0. Prosto The caocal morphsm of fuctors characterzed by the fact that q j () j for ay object of ad ay duces a caocal morphsm () : lm lm j q q ( ) = q j j R lm R lm. Moreover, f has exact products, the dagram R lm ( ) R (,) R (,) j s commutatve for ay object of. R lm ( )( j) R (, ( ))
35 o Derved Lmts Quas-Abela Categores 33 Proof. By a well-kow procedure of homologcal algebra, the caocal morphsm q( ) : lm lm j duces a caocal morphsm Sce the fuctor j j R lm R lm R. s exact, we get the caocal morphsm R lm R lm. Assumg has exact products, we may vsualze the costructo of ths morphsm the followg way. Cosder a object of. We kow that s a lm-acyclc resoluto of. The fuctor beg exact, we have the somor- phsm D ( ). Sce s a lm-acyclc resoluto of ( ), j ɛ( ) : R ( ) ( ɛ( )) : ( ) ( R( )) ɛ( ( )) : ( ) R( ( )) 1 ɛ( ( )) ( ( ɛ( ))) : ( R( )) R ( ( )) s a lm-acyclc resoluto of ( ( )). Moreover, the dagram j R ( ɛ ( )) ρ (,) ( R( )) R ( ( )) k 5 k k k k k 5u k kk k k k k k k ɛ ( ( )) k ( ) of D ( ) beg commutatve, we have 1 ɛ( ( )) ( ( ɛ( ))) = ρ(, ). Hece, the caocal morphsm R lm ( ) R lm ( )( j) j
36 34 Fabee Prosmas s gve by the commutatve dagram j R lm ( ) R lm ( )( ) j q ( R ( )) j lm R( )( ) lm ( R ( ))( j) lm R( ( ))( j) lm ρ (,)( j) j j Sce a drect computato shows that the dagram q ( R ( )) lm ρ (,)( j) j lm R( )( ) lm ( R ( ))( j) lm R( ( ))( j) j j R (,) R (,) R (, ( )) s commutatve, the cocluso follows. 3.5 Dual results for the ductve lmt fuctor ths secto wll deote a small category ad a quas-abela category wth croducts. By dualty, the results ad costructos the precedg sectos ca be easly adapted to derve the fuctor lm :. We wll ot do ths explctly here. However, the rest of ths paper, we wll eed to work wth the derved fuctor of lm :. To avod cofusos, we wll fx below the otatos used ths case. The fuctor R (,) : C ( ) s defed by ad the dfferetal s gve by R (,)=( R (, )) R (,) 1 =( R (,) ) d d.
37 Derved Lmts Quas-Abela Categores 35 f f : s a morphsm of, the R (,) 0 b( ) R (,f)=( R (,f )). As Prosto 3.2.3, there s a caocal somorphsm The fuctor s defed by ad the dfferetal s gve by ɛ 0(,) : coker d lm ( ). R ( ) 1 =( R ( ) ) R(): C ( ) R( ) = ( R ( )) d d. f f : s a morphsm of, the R( f) = ( R ( f )). As Prosto 3.2.8, there s a caocal somorphsm ɛ( ) : R( ) D ( ). For ay 0, there s a object S ( ) of such that R ( ) ( S ( )). Moreover, there s a caocal somorphsm R (,) lm R ( )( ) C ( ). Therefore, as Prostos ad 3.3.4, f fuctor lm : s left dervable ad we have L lm ( ) R (,. ) has exact croducts, the
38 36 Fabee Prosmas f : s a fuctor betwee small categores, the we defe the morphsm of fuctors ρ(, ): R( ()) ( R()) of as the mage of ρ(,) by the adjucto by settg ρ (,) = ( ρ(, )). For ay 0, we defe the morphsm ρ (,) : ( R ( ( ))) R ( ) Hom ( R ( ( )), ( R ( ))) Hom ( ( R ( ( ))),R ( )) The morphsms ρ (,) duce a morphsm of fuctors ρ (, ) : ( R( ())) R (). 3.6 Relatos betwee RHom ad derved lmts Defto Let be a small category ad let be a quas-abela category. Cosder a object Xof. We defe the fuctor the followg way: at the level of objects, f s a object of, we set Hom ( X, ) : Ab Hom ( X, Y )( ) = Hom ( X, Y ( )) for ay object of. f α : j s a morphsm of, Y s defed by Hom ( X, Y )( α) : Hom ( X, Y ( )) Hom ( X, Y ( j)) for ay f Hom ( X,Y( )). Hom ( X, Y )( α)( f) = Hom ( X, Y ( α))( f) = Y ( α) f At the level of morphsms, f : s a morphsm of, F Y Y Hom ( X, F ) : Hom ( X, Y ) Hom ( X, Y ) s defed by Hom ( X, F )( ) = Hom ( X, F ( )) for ay. Dually, we defe also the fuctor Hom (,X) : ( ) Ab.
39 Derved Lmts Quas-Abela Categores 37 Lemma Let be a small category ad let be a quas-abela category. () For ay object X of ad ay object of, we have Hom ( X, R (, )) R (, Hom ( X, )). () For ay object of ad ay object of, we have X Hom ( R (, ),X) R (, Hom (,X )). Proof. Ths follows drectly from the deftos. Prosto Let be a small category ad let be a quas-abela category X wth eough jectve objects. For ay object of ad ay object of, we have ad RHom (L lm,x ( ) ) R lm(rhom (,X))( ) 0 1 RHom ( X, R lm ( )) R lm(rhom ( X, ))( ). Proof. Frst, recall that sce has eough jectve objects, croducts are exact. Hece, the ductve lmt fuctor s left dervable. Let 0 be a jectve resoluto of X. oe had, RHom (L lm ( ),X) s gve by the smple complex assocated to Hom ( R (, ), ) Hom ( R (, ), ) Ths complex s somorphc to the smple complex assocated to R (, Hom (, )) R (, Hom (, )) the other had, RHom (,X) s gve by the complex Hom (, ) Hom (, ) Therefore, R lm(rhom (,X))( ) s somorphc to the smple complex assocated to R lm Hom (, )( ) R lm Hom (, )( )
40 38 Fabee Prosmas Sce for ay l l b( ) of such that for l 0, S s a jectve object of. oe had, sce lm Hom ( X, Π( S ))( ) Hom ( X, lm Π( S )( )) l Hom ( X, S ( )) Hom ( X, S ( )) Hom ( X, S ( )) Ths complex s somorphc to the complex S ( ) S ( ) l R lm Hom (, )( ) R (, Hom (, )), the frst somorphsm s establshed. Next, we kow that has a jectve resoluto of the form l 0 Π( S ) Π( S ) Hom ( X, Π( S )) Π Hom ( X, S ) ad sce projectve systems of product type are lm-acyclc, by composto of the derved fuctors, we have R lm(rhom ( X, ))( ) R(lm Hom ( X, )( )). Hece, R lm(rhom ( X, ))( ) s somorphc to the complex lm Hom ( X, Π( S ))( ) lm Hom ( X, Π( S ))( ) Moreover, for ay l 0, we get l 0 1 Hece, R lm(rhom ( X, ))( ) s gve by the complex the other had, R lm ( ) s gve by the complex 0 lm Π( S )( ) lm Π( S )( ) l l l
41 Derved Lmts Quas-Abela Categores 39 Sce the product of jectve objects s a jectve object, the last complex s a jectve resoluto of R lm ( ). Therefore, RHom ( X, R lm ( )) s somorphc to the complex ad the cocluso follows Hom ( X, S ( )) Hom ( X, S ( )) D R, Prosto Let be a small category ad let be a quas-abela category wth exact products. Cosder a object of. f for ay object X of, Hom ( X, ) s lm-acyclc, the s lm-acyclc. Proof. Cosder X b( ). We kow that R lm Hom ( X, )( ) R (, Hom ( X, )) Hom ( X, R (, )). Sce Hom ( X, ) s lm-acyclc, we have Hom ( X, R (, )) lm Hom ( X, )( ) Hom ( X, lm ( )). Therefore, the complex Hom ( X, R (, )) s exact degree k = 0 for ay X b( ). Hece, Remark shows that R (,) s strctly exact degree k = 0. t follows that R (,) lm ( ) ( ). Sce R lm ( ) ( ), we get R lm ( ) lm. ( ) 4 Derved lmts ad the symbolc-hom fuctor 4.1 The symbolc-hom fuctor ths secto, wll deote a small category ad a complete addtve category.
42 40 Fabee Prosmas Defto We deote by b A the symbolc-hom fuctor. For ay object M of Ab ad ay object of, the object [ M, ] of s characterzed by Ab [, ] : ( A b ) X Hom ( X, [ M, ] ) Hom ( M, h ) X b( ). f s the oe pot category, the [, ] wll be deoted by [, ] : A b. ths case, for ay abela group M ad ay object of, the object [ M,] of s characterzed by Hom ( X, [ M, ]) Hom ( M, Hom ( X, )) X b( ). Let us recall the followg easy formulas: Prosto () For ay object of, we have [ Z,]. () For ay object M of Ab ad ay object of, we have [lm M, ( ) ] lm[ M,. ( ) ] () For ay abela group M ad ay object of, we have [ M, lm ( )] lm[ M, ( )]. 4.2 Dervato of the symbolc-hom fuctor ths secto, wll deote a small category. Lemma Let be a quas-abela category wth exact products. f P s a projectve abela group, the the fuctor [ P, ] : s exact.
43 Derved Lmts Quas-Abela Categores 41 Proof. Frst, let us prove the result whe P s a free abela group,.e., ( ) P = Z = Z. Cosder a strctly exact sequece of. Sce for ay object of, ( ) [ Z,] [ Z,] 0 [ Z, ] [ Z,] [ Z, ] 0 ( ) [ Z, ] [(ker q) P, ] [ker q, ] [ P, ]. ( ) The fuctor [ Z,] beg exact, the fuctor [ P, ] s also exact. Lemma Let be a complete addtve category. b( ) () For ay object S of Ab ad ay object of,we have [ ( S, ) ] [ S, ( )] [ S, () ()]. ( ) ( ) ( ) b( ) b( ) () For ay object M of Ab ad ay object S of, we have [ M, Π( S)] [( M ),S] [ M( ),S( )]. 0 0 ad sce products are exact, the sequece s exact. Next, cosder a projectve abela group P. We kow that there s a exact sequece ( ) q 0 ker q Z P 0. Sce P s projectve, ths sequece splts ad we have b( ) Proof. () Let X be a object of. Frst, we have Hom ( X, [ ( S ), ] ) Hom Ab ( ( S ), hx ) Hom Abb( ) ( S, ( hx )) (*) Hom Abb( ) ( S, hx ( )) Hom ( X, [ S, ( )] ), b( )
44 42 Fabee Prosmas where the somorphsm (*) follows from Prosto Next, we get Hom ( X, [ S, ( )] b( ) ) Hom Abb( ) ( S, hx ( )) Hom Ab( S, ( ) Hom ( X, ( ))) Hom ( X, [ S( ), ( )]) Hom ( X, [ S( ), ( )]). () Let X be a object of. oe had, we have successvely the other had, we get Hom ( X, [ M, Π( S)] ) Hom Ab ( M, hx Π( S)) Hom b A ( M, Π( hx S)) Hom Abb( ) (( M,h ) X S) Hom ( X, [( M ), S ] ). b( ) Hom ( X, [( M ), S] b( ) ) Hom Abb( ) (( M ), hx S) Hom ( M, ( ) Hom ( X,S ( ))) Ab Hom ( X, [ M( ), S( )]) Hom ( X, [ M( ), S( )]). Lemma Let be a quas-abela category wth exact products. f P s a projectve object of Ab, the the fuctor [ P, ] : s exact. Proof. Frst, let us prove the result whe P = ( S) where S s a projectve object b( ) of Ab. Cosder a strctly exact sequece 0 0
45 Derved Lmts Quas-Abela Categores 43 of. Sce for ay, S( ) s projectve, by Lemma 4.2.1, the fuctor s exact. Moreover, sce for ay object of, [ ( S, ) ] [ S, ( ) ( )] b( ) S b P Prosto Let be a quas-abela category wth exact products. The fuctor [, ] : ( A b ) q [ S, ( ) ] : ad sce products are exact, the sequece 0 [ ( S, ) ] [ ( S, ) ] [ ( S, ) ] 0 s exact. Next, cosder a projectve object P of Ab. We kow that there s a epmorphsm q : ( S) P where s a projectve object of A. Sce s projectve, the exact sequece splts ad we have 0 ker q ( S) P 0 [ ( S, ) ] [(ker q) P, ] [ker q, ] [ P, ]. The fuctor [ ( S, ) ] beg exact, the fuctor [ P, ] s also exact. has a rght derved fuctor R[, ] :( D ( A b )) D ( ) D ( ). Proof. Let us show that f P s the full subcategory of projectve objects of Ab, the the par ( P, ) s [,] -acyclc. Frst, cosder a object P of P. Sce the fuctor [ P, ] : s exact, the category s [ P, ] -jectve. Next, cosder a object of b( ) ad let us show that P s [,] - projectve.
46 44 Fabee Prosmas () For ay object M of Ab, there s a projectve object P of Ab ad a epmorphsm P M. () f 0 P P P 0 s a exact sequece of Ab, where P ad P are two objects of P, the we kow that P s a object of P. () f 0 P P P 0 s a exact sequece of P, the t splts. t follows that the sequece 0 [ P,] [ P,] [ P,] 0 of splts ad that t s exact. Sce the fuctor [, ] s left exact, the cocluso follows from Prosto Lks wth the derved projectve lmt fuctor Lemma Let be a small category ad let be a complete addtve category. f Z : Ab s the costat fuctor whch assocates to ay the abela group Z, the for ay object of, we have Proof. For ay object X of, we have [ Z,] lm ( ). Hom Z b ( X, [, ] ) Hom A ( Z,hX ) lm( hx )( ) lm Hom ( X, ( )) Hom ( X, lm ( )). Prosto Let be a small category ad let be a quas-abela category M b S b( ) wth exact products. For ay object of A ad ay object of, we have R [ M, Π( S)] R [( M ), S ]. b( )
47 Derved Lmts Quas-Abela Categores 45 Proof. We kow that there s a projectve resoluto P of M Ab such that for ay 0 P = ( S ) b( ) where S s a projectve object of Ab. The, we have R [ M, Π( S)] [ P, Π( S)] [( P ), S] where the secod somorphsm follows from Lemma Sce for ay 0 ad ay, we have ( P )( ) = P ( ) = ( S )( ) = S ( j ), b( ) ( P ) s projectve Ab. The fuctor b( ) α j : b( ) beg exact, ( P) s a projectve resoluto of ( M). t follows that R [( M,S ) ] [( P ),S] b( ) b( ) R[ M, Π( S )]. Corollary Let be a small category ad let be a quas-abela category b( ) wth exact products. For ay object S of, we have R [ Z, Π( S )] [ Z, Π( S )]. Proof. b( ) The object ( Z ) of Ab s projectve sce for ay, ( Z )( ) = Z ( ) = Z. t follows that R [ Z, Π( S )] R [( Z ),S] b( ) [( Z ),S] [ Z, Π( S)] b( ) where the last somorphsm follows from Lemma
48 46 Fabee Prosmas Prosto Let be a small category ad let be a quas-abela category wth exact products. The, the fuctor lm : s rght dervable ad for ay object of, we have Proof. R lm ( ) R [ Z, ]. Frst, let us remark that, sce the fuctor s left exact, we have for a object of, f ad oly f Next, let us show that the famly s lm-jectve. k [, ] : ( A b ) R[ Z,] [ Z,] LH R[ Z, ] 0 k > 0. F = { b( ) : R [ Z,] [ Z,] } () Let be a object of. By Prosto 2.3.2, there s a strct moomorphsm Π(( )) ad by Corollary 4.3.3, Π(( )) belogs to F. () Cosder a strctly exact sequece 0 0 of where ad belog to F. Ths sequece gves rse to the log exact sequece Z, Z, Z, 0 [ ] [ ] [ ] D BC Z Z Z LH R[, ] LH R[, ] LH R[, ] Z Z Z LH R[, ] LH R[, ] LH R[, ] D BC
49 Derved Lmts Quas-Abela Categores 47 of C ( ). Sce ad are objects of F, k k LH R[ Z, ] = LH R[ Z, ] =0 k > 0 ad t follows that k LH R[ Z, ] =0 k > 0. Hece, belogs to F. Moreover, by Lemma 4.3.1, for ay object of, we have [ Z,] lm ( ), so the precedg log exact sequece shows that the sequece 0 lm ( ) lm ( ) lm ( ) 0 s exact. Cosequetly, Fs lm-jectve ad the fuctor lm : s rght dervable. t follows from Prosto that ay object of has a resoluto by projectve systems of product type. Assume that for ay, s of the form Π( S ). The, for ay 0, we have [ Z, Π( S )] R[ Z, ] R[ Z, Π( S )] [ Z, ]. t follows that Therefore, we get R[ Z, ] [ Z, ]. R lm ( ) lm ( ) [ Z, ] R[ Z, ] R[ Z,] where the frst somorphsm follows from the frst part of the proof ad the secod from Lemma
50 o o 48 Fabee Prosmas Prosto Let be a small category ad let be a quas-abela category wth exact products. The, for ay object of, we have a caocal somorphsm R (,) [ R ( Z ),] C ( ) makg the dagram R lm ( ) R [ Z,] R (,) [ R ( Z ),] commutatve. Proof. For ay object of Ab ad ay 0, we have the cha of somorphsms Hom ( R ( Z ),) Hom ( ( S ( Z )),) Ab Ab Hom Abb( ) ( S ( Z), ( )) Hom ( S ( Z )( ), ( )( )) 0 0 α1 0 α1 0 Ab α Ab α Hom ( Z ( ),( )) R (, ). α ( ) α Hom ( Z,( )) Ab 0 0 A drect computato shows that these somorphsms are compatble wth the dfferetals. Hece, we have Hom ( R ( Z ),) R (, ).
51 Derved Lmts Quas-Abela Categores 49 The, for ay object of ad ay object X of, we have successvely Hom ( X, [ R ( Z ), ] ) Hom ( R ( Z ), h ) t follows that ad that Sce Ab X R (,hx ) Hom ( X, ( 0)) α1 α 0 Hom ( X, ( 0)) α1 α 0 Hom ( X, R (, )). [ R ( Z ),] R (,) [ R ( Z ),] R (, ). ad S( Z)( 0) Z( ), α1 α 0 t follows from the dual of Prosto that R( Z) s a projectve object of Ab. Together wth the fact that R ( Z) s a resoluto of Z, ths explas the secod vertcal somorphsm of the dagram our statemet. The commutatvty of the dagram follows drectly from the costructo of the varous morphsms. 4.4 dex restrcto R ( Z ) ( S ( Z )) Prosto Let be a complete addtve category ad let : be a fuctor betwee small categores. For ay object M of Ab ad ay object of,wehave [ ( M ),] [ M, ( )]. Proof. Ths somorphsm follows from Prosto As a matter of fact, for ay object X of, we have successvely Hom ( X, [ ( M ),] ) Hom Ab ( ( M ),hx ) Hom Ab ( M, ( hx )) Hom Ab ( M, hx ( )) Hom ( X, [ M, ( )] ).
52 50 Fabee Prosmas Lemma Let be a cocomplete category ad let : be a fuctor betwee two small categores. f P s a projectve object of, the ( P) s a projectve object of. Proof. Cosder a strctly exact sequece of. Sce s exact ad sce s projectve, the sequece Prosto Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. For ay object M of Ab ad ay object of, we have [ ] R[ L ( M ), ] R M, ( ). P Hom ( P, ( )) Hom ( P, ( )) Hom ( P, ( )) s exact. The cocluso follows from Prosto Proof. f P s a projectve resoluto of M, the we have successvely [ ] R M, ( ) [ P, ( )] [ ( P ),] R[ ( P ),] R[ L ( M ), ]. Prosto Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. The caocal somorphsm commutatve D ( Ab ). L d : Z ( Z ) = Z w : L ( Z ) Z ( Z ) duces by adjucto a caocal morphsm whch makes the dagram w Z Z ρ (, ) Z Z Z ɛ ( ) ( R( ( ))) R( )
53 # # o o Derved Lmts Quas-Abela Categores 51 Proof. Recall that w s the composto of ad the morphsm Z Z Z Z Z ( ɛ ( )) u : L ( Z ) ( Z ), v : ( Z ) Z defed as the mage of d : Z ( Z ) = Z by the adjucto Sce R( Z ) s a projectve resoluto of Z, we have D ( Ab ). Cosder the dagram ( R( ( Z ))) ( R( Z )) L ( Z ) Z ρ (, ) Z Z ( Z ) Hom (, ( )) Hom ( ( ), ). ( R( )) R( ) L w Z Z ɛ ( ) u Z [ ] R Z, ( ) R lm ( )( j) Z Z ( ɛ ( )) ɛ ( ) ρ (, ) Z Z s commutatve C ( Ab ) ad the cocluso follows. Prosto Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. The, for ay object of, the caocal dagram R [ Z,] R lm ( ) R[ w,] ( Z ) R[ L ( Z ), ] ( Z ) t follows from the costructo of w that the lower square s commutatve. Sce a drect computato shows that the dagram v v Z j Z ( R( )) R( )
54 z o :z d$ $ o o o o o o { ;{ c# # 52 Fabee Prosmas s commutatve. Proof. Cosder the followg dagram: R [ Z,] R lm ( ) (3) (2) [ R ( Z ),] R (,) w ww w ww w ww w ww w ww w ww R [ L ( Z ),] [ ( R ( Z )),] (1) (6) u uu u uu (4) u uu u uu [ R ( Z ), ( )] R (, ( )) u uu u [ uu G G ] R Z, ( ) R lm ( )( j) Lemma Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. For ay object of, the caocal dagram s commutatve D ( ). u uu u uu R [ L ( Z ),] [ ( R ( Z )),] (5) Z R[ w,] [ ρ (, ),] R[ Z,] [ R ( Z ),] G G G G G G G G G G G G G G G G G Clearly, the result wll be establshed f we prove that the subdagrams (1) (6) commute. We kow already from Prosto that dagram (6) commutes. Moreover, Prosto shows that dagrams (2) ad (5) are also commutatve. Sce the commutatvty of (1), (3) ad (4) follows from the lemmas below, the proof s complete. G G j Proof. Sce R( Z ) s a projectve resoluto of Z, we have R[ Z,] [ R ( Z ),].
55 o o o o Derved Lmts Quas-Abela Categores 53 Moreover, usg Lemma 4.4.2, we see that R[ L ( Z ),] R[ ( R ( Z )),] [ ( R ( Z )),]. Ths explas the horzotal somorphsm. Now, cosder the dagram R[ L ( ),] R[ ( R ( )),] [ ( R ( )),] Z oo Z Z [ ] R Z, ( ) [ R ( Z ), ( )] Z R[ w,] (1) R[ ρ (, ),] (2) [ ρ (, ),] R[ Z,] oo R[ R ( Z ),] [ R ( Z ),] By Prosto 4.4.4, the square (1) s commutatve. The square (2) beg clearly commutatve, the cocluso follows. Lemma Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. For ay object of, the caocal dagram Z s commutatve D ( ). R [ L ( Z ),] [ ( R ( Z )),] Proof. Ths follows drectly from the costructo the proof of Prosto f oe keeps md that R( Z ) s a projectve resoluto of Z. Lemma Let be a quas-abela category wth exact products ad let : be a fuctor betwee two small categores. For ay object of, the dagram [ R ( Z ),] R (,) Z [ ρ (, ),] [ ( R ( Z )),] R (,) s commutatve C ( ). [ R ( Z ), ( )] R (, ( ))
Maps on Triangular Matrix Algebras
Maps o ragular Matrx lgebras HMED RMZI SOUROUR Departmet of Mathematcs ad Statstcs Uversty of Vctora Vctora, BC V8W 3P4 CND sourour@mathuvcca bstract We surveys results about somorphsms, Jorda somorphsms,
More informationCHAPTER 4 RADICAL EXPRESSIONS
6 CHAPTER RADICAL EXPRESSIONS. The th Root of a Real Number A real umber a s called the th root of a real umber b f Thus, for example: s a square root of sce. s also a square root of sce ( ). s a cube
More informationPROJECTION PROBLEM FOR REGULAR POLYGONS
Joural of Mathematcal Sceces: Advaces ad Applcatos Volume, Number, 008, Pages 95-50 PROJECTION PROBLEM FOR REGULAR POLYGONS College of Scece Bejg Forestry Uversty Bejg 0008 P. R. Cha e-mal: sl@bjfu.edu.c
More informationA tighter lower bound on the circuit size of the hardest Boolean functions
Electroc Colloquum o Computatoal Complexty, Report No. 86 2011) A tghter lower boud o the crcut sze of the hardest Boolea fuctos Masak Yamamoto Abstract I [IPL2005], Fradse ad Mlterse mproved bouds o the
More informationTHE PROBABILISTIC STABILITY FOR THE GAMMA FUNCTIONAL EQUATION
Joural of Scece ad Arts Year 12, No. 3(2), pp. 297-32, 212 ORIGINAL AER THE ROBABILISTIC STABILITY FOR THE GAMMA FUNCTIONAL EQUATION DOREL MIHET 1, CLAUDIA ZAHARIA 1 Mauscrpt receved: 3.6.212; Accepted
More informationAssignment 5/MATH 247/Winter Due: Friday, February 19 in class (!) (answers will be posted right after class)
Assgmet 5/MATH 7/Wter 00 Due: Frday, February 9 class (!) (aswers wll be posted rght after class) As usual, there are peces of text, before the questos [], [], themselves. Recall: For the quadratc form
More informationMATH 247/Winter Notes on the adjoint and on normal operators.
MATH 47/Wter 00 Notes o the adjot ad o ormal operators I these otes, V s a fte dmesoal er product space over, wth gve er * product uv, T, S, T, are lear operators o V U, W are subspaces of V Whe we say
More informationThe Mathematical Appendix
The Mathematcal Appedx Defto A: If ( Λ, Ω, where ( λ λ λ whch the probablty dstrbutos,,..., Defto A. uppose that ( Λ,,..., s a expermet type, the σ-algebra o λ λ λ are defed s deoted by ( (,,...,, σ Ω.
More information= lim. (x 1 x 2... x n ) 1 n. = log. x i. = M, n
.. Soluto of Problem. M s obvously cotuous o ], [ ad ], [. Observe that M x,..., x ) M x,..., x ) )..) We ext show that M s odecreasg o ], [. Of course.) mles that M s odecreasg o ], [ as well. To show
More informationResearch Article A New Iterative Method for Common Fixed Points of a Finite Family of Nonexpansive Mappings
Hdaw Publshg Corporato Iteratoal Joural of Mathematcs ad Mathematcal Sceces Volume 009, Artcle ID 391839, 9 pages do:10.1155/009/391839 Research Artcle A New Iteratve Method for Commo Fxed Pots of a Fte
More informationA Study on Generalized Generalized Quasi hyperbolic Kac Moody algebra QHGGH of rank 10
Global Joural of Mathematcal Sceces: Theory ad Practcal. ISSN 974-3 Volume 9, Number 3 (7), pp. 43-4 Iteratoal Research Publcato House http://www.rphouse.com A Study o Geeralzed Geeralzed Quas (9) hyperbolc
More information1 Onto functions and bijections Applications to Counting
1 Oto fuctos ad bectos Applcatos to Coutg Now we move o to a ew topc. Defto 1.1 (Surecto. A fucto f : A B s sad to be surectve or oto f for each b B there s some a A so that f(a B. What are examples of
More informationON THE DEFINITION OF KAC-MOODY 2-CATEGORY
ON THE DEFINITION OF KAC-MOODY 2-CATEGORY JONATHAN BRUNDAN Abstract. We show that the Kac-Moody 2-categores defed by Rouquer ad by Khovaov ad Lauda are the same. 1. Itroducto Assume that we are gve the
More information9 U-STATISTICS. Eh =(m!) 1 Eh(X (1),..., X (m ) ) i.i.d
9 U-STATISTICS Suppose,,..., are P P..d. wth CDF F. Our goal s to estmate the expectato t (P)=Eh(,,..., m ). Note that ths expectato requres more tha oe cotrast to E, E, or Eh( ). Oe example s E or P((,
More informationTHE HOMOTOPY FIXED POINT SPECTRA OF PROFINITE GALOIS EXTENSIONS
THE HOMOTOPY FIXED POINT SPECTRA OF PROFINITE GALOIS EXTENSIONS MARK BEHRENS 1 AND DANIEL G. DAVIS 2 Abstract. Let E be a k-local profte G-Galos exteso of a E -rg spectrum A ( the sese of Roges). We show
More informationarxiv:math/ v1 [math.rt] 17 Jul 2006
ON THE STRUCTURE OF CALABI-YAU CATEGORIES WITH A CLUSTER TILTING SUBCATEGORY arxv:math/0607394v1 [math.rt] 17 Jul 2006 GONÇALO TABUADA Abstract. We prove that for d 2, a algebrac d-calab-yau tragulated
More informationLINEAR RECURRENT SEQUENCES AND POWERS OF A SQUARE MATRIX
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 6 2006, #A12 LINEAR RECURRENT SEQUENCES AND POWERS OF A SQUARE MATRIX Hacèe Belbachr 1 USTHB, Departmet of Mathematcs, POBox 32 El Ala, 16111,
More informationFactorization of Finite Abelian Groups
Iteratoal Joural of Algebra, Vol 6, 0, o 3, 0-07 Factorzato of Fte Abela Grous Khald Am Uversty of Bahra Deartmet of Mathematcs PO Box 3038 Sakhr, Bahra kamee@uobedubh Abstract If G s a fte abela grou
More informationLecture 9: Tolerant Testing
Lecture 9: Tolerat Testg Dael Kae Scrbe: Sakeerth Rao Aprl 4, 07 Abstract I ths lecture we prove a quas lear lower boud o the umber of samples eeded to do tolerat testg for L dstace. Tolerat Testg We have
More informationUnit 9. The Tangent Bundle
Ut 9. The Taget Budle ========================================================================================== ---------- The taget sace of a submafold of R, detfcato of taget vectors wth dervatos at
More informationChapter 5 Properties of a Random Sample
Lecture 6 o BST 63: Statstcal Theory I Ku Zhag, /0/008 Revew for the prevous lecture Cocepts: t-dstrbuto, F-dstrbuto Theorems: Dstrbutos of sample mea ad sample varace, relatoshp betwee sample mea ad sample
More information18.413: Error Correcting Codes Lab March 2, Lecture 8
18.413: Error Correctg Codes Lab March 2, 2004 Lecturer: Dael A. Spelma Lecture 8 8.1 Vector Spaces A set C {0, 1} s a vector space f for x all C ad y C, x + y C, where we take addto to be compoet wse
More informationComplete Convergence and Some Maximal Inequalities for Weighted Sums of Random Variables
Joural of Sceces, Islamc Republc of Ira 8(4): -6 (007) Uversty of Tehra, ISSN 06-04 http://sceces.ut.ac.r Complete Covergece ad Some Maxmal Iequaltes for Weghted Sums of Radom Varables M. Am,,* H.R. Nl
More informationThe Lie Algebra of Smooth Sections of a T-bundle
IST Iteratoal Joural of Egeerg Scece, Vol 7, No3-4, 6, Page 8-85 The Le Algera of Smooth Sectos of a T-udle Nadafhah ad H R Salm oghaddam Astract: I ths artcle, we geeralze the cocept of the Le algera
More informationExtend the Borel-Cantelli Lemma to Sequences of. Non-Independent Random Variables
ppled Mathematcal Sceces, Vol 4, 00, o 3, 637-64 xted the Borel-Catell Lemma to Sequeces of No-Idepedet Radom Varables olah Der Departmet of Statstc, Scece ad Research Campus zad Uversty of Tehra-Ira der53@gmalcom
More information{ }{ ( )} (, ) = ( ) ( ) ( ) Chapter 14 Exercises in Sampling Theory. Exercise 1 (Simple random sampling): Solution:
Chapter 4 Exercses Samplg Theory Exercse (Smple radom samplg: Let there be two correlated radom varables X ad A sample of sze s draw from a populato by smple radom samplg wthout replacemet The observed
More informationarxiv: v2 [math.ag] 9 Jun 2015
THE EULER CHARATERISTIC OF THE GENERALIZED KUMMER SCHEME OF AN ABELIAN THREEFOLD Mart G. Gulbradse Adrea T. Rcolf arxv:1506.01229v2 [math.ag] 9 Ju 2015 Abstract Let X be a Abela threefold. We prove a formula,
More informationTESTS BASED ON MAXIMUM LIKELIHOOD
ESE 5 Toy E. Smth. The Basc Example. TESTS BASED ON MAXIMUM LIKELIHOOD To llustrate the propertes of maxmum lkelhood estmates ad tests, we cosder the smplest possble case of estmatg the mea of the ormal
More informationInvestigating Cellular Automata
Researcher: Taylor Dupuy Advsor: Aaro Wootto Semester: Fall 4 Ivestgatg Cellular Automata A Overvew of Cellular Automata: Cellular Automata are smple computer programs that geerate rows of black ad whte
More informationSolving Constrained Flow-Shop Scheduling. Problems with Three Machines
It J Cotemp Math Sceces, Vol 5, 2010, o 19, 921-929 Solvg Costraed Flow-Shop Schedulg Problems wth Three Maches P Pada ad P Rajedra Departmet of Mathematcs, School of Advaced Sceces, VIT Uversty, Vellore-632
More informationLecture 3 Probability review (cont d)
STATS 00: Itroducto to Statstcal Iferece Autum 06 Lecture 3 Probablty revew (cot d) 3. Jot dstrbutos If radom varables X,..., X k are depedet, the ther dstrbuto may be specfed by specfyg the dvdual dstrbuto
More informationStrong Convergence of Weighted Averaged Approximants of Asymptotically Nonexpansive Mappings in Banach Spaces without Uniform Convexity
BULLETIN of the MALAYSIAN MATHEMATICAL SCIENCES SOCIETY Bull. Malays. Math. Sc. Soc. () 7 (004), 5 35 Strog Covergece of Weghted Averaged Appromats of Asymptotcally Noepasve Mappgs Baach Spaces wthout
More informationInternational Journal of Mathematical Archive-5(8), 2014, Available online through ISSN
Iteratoal Joural of Mathematcal Archve-5(8) 204 25-29 Avalable ole through www.jma.fo ISSN 2229 5046 COMMON FIXED POINT OF GENERALIZED CONTRACTION MAPPING IN FUZZY METRIC SPACES Hamd Mottagh Golsha* ad
More informationEntropy ISSN by MDPI
Etropy 2003, 5, 233-238 Etropy ISSN 1099-4300 2003 by MDPI www.mdp.org/etropy O the Measure Etropy of Addtve Cellular Automata Hasa Aı Arts ad Sceces Faculty, Departmet of Mathematcs, Harra Uversty; 63100,
More informationn -dimensional vectors follow naturally from the one
B. Vectors ad sets B. Vectors Ecoomsts study ecoomc pheomea by buldg hghly stylzed models. Uderstadg ad makg use of almost all such models requres a hgh comfort level wth some key mathematcal sklls. I
More informationThe internal structure of natural numbers, one method for the definition of large prime numbers, and a factorization test
Fal verso The teral structure of atural umbers oe method for the defto of large prme umbers ad a factorzato test Emmaul Maousos APM Isttute for the Advacemet of Physcs ad Mathematcs 3 Poulou str. 53 Athes
More informationA BASIS OF THE GROUP OF PRIMITIVE ALMOST PYTHAGOREAN TRIPLES
Joural of Algebra Number Theory: Advaces ad Applcatos Volume 6 Number 6 Pages 5-7 Avalable at http://scetfcadvaces.co. DOI: http://dx.do.org/.864/ataa_77 A BASIS OF THE GROUP OF PRIMITIVE ALMOST PYTHAGOREAN
More information5 Short Proofs of Simplified Stirling s Approximation
5 Short Proofs of Smplfed Strlg s Approxmato Ofr Gorodetsky, drtymaths.wordpress.com Jue, 20 0 Itroducto Strlg s approxmato s the followg (somewhat surprsg) approxmato of the factoral,, usg elemetary fuctos:
More informationF. Inequalities. HKAL Pure Mathematics. 進佳數學團隊 Dr. Herbert Lam 林康榮博士. [Solution] Example Basic properties
進佳數學團隊 Dr. Herbert Lam 林康榮博士 HKAL Pure Mathematcs F. Ieualtes. Basc propertes Theorem Let a, b, c be real umbers. () If a b ad b c, the a c. () If a b ad c 0, the ac bc, but f a b ad c 0, the ac bc. Theorem
More informationSummary of the lecture in Biostatistics
Summary of the lecture Bostatstcs Probablty Desty Fucto For a cotuos radom varable, a probablty desty fucto s a fucto such that: 0 dx a b) b a dx A probablty desty fucto provdes a smple descrpto of the
More informationPart 4b Asymptotic Results for MRR2 using PRESS. Recall that the PRESS statistic is a special type of cross validation procedure (see Allen (1971))
art 4b Asymptotc Results for MRR usg RESS Recall that the RESS statstc s a specal type of cross valdato procedure (see Alle (97)) partcular to the regresso problem ad volves fdg Y $,, the estmate at the
More informationBeam Warming Second-Order Upwind Method
Beam Warmg Secod-Order Upwd Method Petr Valeta Jauary 6, 015 Ths documet s a part of the assessmet work for the subject 1DRP Dfferetal Equatos o Computer lectured o FNSPE CTU Prague. Abstract Ths documet
More informationNon-uniform Turán-type problems
Joural of Combatoral Theory, Seres A 111 2005 106 110 wwwelsevercomlocatecta No-uform Turá-type problems DhruvMubay 1, Y Zhao 2 Departmet of Mathematcs, Statstcs, ad Computer Scece, Uversty of Illos at
More informationEconometric Methods. Review of Estimation
Ecoometrc Methods Revew of Estmato Estmatg the populato mea Radom samplg Pot ad terval estmators Lear estmators Ubased estmators Lear Ubased Estmators (LUEs) Effcecy (mmum varace) ad Best Lear Ubased Estmators
More informationC-1: Aerodynamics of Airfoils 1 C-2: Aerodynamics of Airfoils 2 C-3: Panel Methods C-4: Thin Airfoil Theory
ROAD MAP... AE301 Aerodyamcs I UNIT C: 2-D Arfols C-1: Aerodyamcs of Arfols 1 C-2: Aerodyamcs of Arfols 2 C-3: Pael Methods C-4: Th Arfol Theory AE301 Aerodyamcs I Ut C-3: Lst of Subects Problem Solutos?
More informationE be a set of parameters. A pair FE, is called a soft. A and GB, over X is the soft set HC,, and GB, over X is the soft set HC,, where.
The Exteso of Sgular Homology o the Category of Soft Topologcal Spaces Sad Bayramov Leoard Mdzarshvl Cgdem Guduz (Aras) Departmet of Mathematcs Kafkas Uversty Kars 3600-Turkey Departmet of Mathematcs Georga
More informationOn the Primitive Classes of K * KHALED S. FELALI Department of Mathematical Sciences, Umm Al-Qura University, Makkah Al-Mukarramah, Saudi Arabia
JKAU: Sc., O vol. the Prmtve, pp. 55-62 Classes (49 of A.H. K (BU) / 999 A.D.) * 55 O the Prmtve Classes of K * (BU) KHALED S. FELALI Departmet of Mathematcal Sceces, Umm Al-Qura Uversty, Makkah Al-Mukarramah,
More informationmeans the first term, a2 means the term, etc. Infinite Sequences: follow the same pattern forever.
9.4 Sequeces ad Seres Pre Calculus 9.4 SEQUENCES AND SERIES Learg Targets:. Wrte the terms of a explctly defed sequece.. Wrte the terms of a recursvely defed sequece. 3. Determe whether a sequece s arthmetc,
More informationDimensionality Reduction and Learning
CMSC 35900 (Sprg 009) Large Scale Learg Lecture: 3 Dmesoalty Reducto ad Learg Istructors: Sham Kakade ad Greg Shakharovch L Supervsed Methods ad Dmesoalty Reducto The theme of these two lectures s that
More informationNotes on Generalizations of Local Ogus-Vologodsky Correspondence
J. Math. Sc. Uv. Tokyo 22 (2015), 793 875. Notes o Geeralzatos of Local Ogus-Vologodsky Correspodece By Atsush Shho Abstract. Gve a smooth scheme over Z/p Z wth a lft of relatve Frobeus to Z/p +1 Z, we
More informationarxiv: v2 [math.rt] 28 Jan 2013
Fuso procedure for wreath products of fte groups by the symmetrc group L. Poula d Adecy arxv:30.4399v2 [math.rt] 28 Ja 203 Mathematcs Laboratory of Versalles (CNRS UMR 800, Versalles-Sat-Quet Uversty,
More informationExercises for Square-Congruence Modulo n ver 11
Exercses for Square-Cogruece Modulo ver Let ad ab,.. Mark True or False. a. 3S 30 b. 3S 90 c. 3S 3 d. 3S 4 e. 4S f. 5S g. 0S 55 h. 8S 57. 9S 58 j. S 76 k. 6S 304 l. 47S 5347. Fd the equvalece classes duced
More informationNecessary and Sufficient Conditions for the Cohen Macaulayness of Form Rings
Joural of Algebra 212, 1727 1999 Artcle ID jabr.1998.7615, avalable ole at http:www.dealbrary.com o Necessary ad Suffcet Codtos for the CoheMacaulayess of Form Rgs Eero Hyry Natoal Defese College, Satahama,
More informationThird handout: On the Gini Index
Thrd hadout: O the dex Corrado, a tala statstca, proposed (, 9, 96) to measure absolute equalt va the mea dfferece whch s defed as ( / ) where refers to the total umber of dvduals socet. Assume that. The
More informationX ε ) = 0, or equivalently, lim
Revew for the prevous lecture Cocepts: order statstcs Theorems: Dstrbutos of order statstcs Examples: How to get the dstrbuto of order statstcs Chapter 5 Propertes of a Radom Sample Secto 55 Covergece
More informationDerivation of 3-Point Block Method Formula for Solving First Order Stiff Ordinary Differential Equations
Dervato of -Pot Block Method Formula for Solvg Frst Order Stff Ordary Dfferetal Equatos Kharul Hamd Kharul Auar, Kharl Iskadar Othma, Zara Bb Ibrahm Abstract Dervato of pot block method formula wth costat
More informationFibonacci Identities as Binomial Sums
It. J. Cotemp. Math. Sceces, Vol. 7, 1, o. 38, 1871-1876 Fboacc Idettes as Bomal Sums Mohammad K. Azara Departmet of Mathematcs, Uversty of Evasvlle 18 Lcol Aveue, Evasvlle, IN 477, USA E-mal: azara@evasvlle.edu
More informationDiscrete Mathematics and Probability Theory Fall 2016 Seshia and Walrand DIS 10b
CS 70 Dscrete Mathematcs ad Probablty Theory Fall 206 Sesha ad Walrad DIS 0b. Wll I Get My Package? Seaky delvery guy of some compay s out delverg packages to customers. Not oly does he had a radom package
More informationThe Primitive Idempotents in
Iteratoal Joural of Algebra, Vol, 00, o 5, 3 - The Prmtve Idempotets FC - I Kulvr gh Departmet of Mathematcs, H College r Jwa Nagar (rsa)-5075, Ida kulvrsheora@yahoocom K Arora Departmet of Mathematcs,
More informationDIFFERENTIAL GEOMETRIC APPROACH TO HAMILTONIAN MECHANICS
DIFFERENTIAL GEOMETRIC APPROACH TO HAMILTONIAN MECHANICS Course Project: Classcal Mechacs (PHY 40) Suja Dabholkar (Y430) Sul Yeshwath (Y444). Itroducto Hamltoa mechacs s geometry phase space. It deals
More informationChapter 9 Jordan Block Matrices
Chapter 9 Jorda Block atrces I ths chapter we wll solve the followg problem. Gve a lear operator T fd a bass R of F such that the matrx R (T) s as smple as possble. f course smple s a matter of taste.
More informationChapter 2 - Free Vibration of Multi-Degree-of-Freedom Systems - II
CEE49b Chapter - Free Vbrato of Mult-Degree-of-Freedom Systems - II We ca obta a approxmate soluto to the fudametal atural frequecy through a approxmate formula developed usg eergy prcples by Lord Raylegh
More informationResearch Article Multidimensional Hilbert-Type Inequalities with a Homogeneous Kernel
Hdaw Publshg Corporato Joural of Iequaltes ad Applcatos Volume 29, Artcle ID 3958, 2 pages do:.55/29/3958 Research Artcle Multdmesoal Hlbert-Type Iequaltes wth a Homogeeous Kerel Predrag Vuovć Faculty
More informationMu Sequences/Series Solutions National Convention 2014
Mu Sequeces/Seres Solutos Natoal Coveto 04 C 6 E A 6C A 6 B B 7 A D 7 D C 7 A B 8 A B 8 A C 8 E 4 B 9 B 4 E 9 B 4 C 9 E C 0 A A 0 D B 0 C C Usg basc propertes of arthmetc sequeces, we fd a ad bm m We eed
More informationArithmetic Mean and Geometric Mean
Acta Mathematca Ntresa Vol, No, p 43 48 ISSN 453-6083 Arthmetc Mea ad Geometrc Mea Mare Varga a * Peter Mchalča b a Departmet of Mathematcs, Faculty of Natural Sceces, Costate the Phlosopher Uversty Ntra,
More informationSome Notes on the Probability Space of Statistical Surveys
Metodološk zvezk, Vol. 7, No., 200, 7-2 ome Notes o the Probablty pace of tatstcal urveys George Petrakos Abstract Ths paper troduces a formal presetato of samplg process usg prcples ad cocepts from Probablty
More informationON THE LOGARITHMIC INTEGRAL
Hacettepe Joural of Mathematcs ad Statstcs Volume 39(3) (21), 393 41 ON THE LOGARITHMIC INTEGRAL Bra Fsher ad Bljaa Jolevska-Tueska Receved 29:9 :29 : Accepted 2 :3 :21 Abstract The logarthmc tegral l(x)
More informationh-analogue of Fibonacci Numbers
h-aalogue of Fboacc Numbers arxv:090.0038v [math-ph 30 Sep 009 H.B. Beaoum Prce Mohammad Uversty, Al-Khobar 395, Saud Araba Abstract I ths paper, we troduce the h-aalogue of Fboacc umbers for o-commutatve
More informationOn the convergence of derivatives of Bernstein approximation
O the covergece of dervatves of Berste approxmato Mchael S. Floater Abstract: By dfferetatg a remader formula of Stacu, we derve both a error boud ad a asymptotc formula for the dervatves of Berste approxmato.
More information. The set of these sums. be a partition of [ ab, ]. Consider the sum f( x) f( x 1)
Chapter 7 Fuctos o Bouded Varato. Subject: Real Aalyss Level: M.Sc. Source: Syed Gul Shah (Charma, Departmet o Mathematcs, US Sargodha Collected & Composed by: Atq ur Rehma (atq@mathcty.org, http://www.mathcty.org
More informationFunctions of Random Variables
Fuctos of Radom Varables Chapter Fve Fuctos of Radom Varables 5. Itroducto A geeral egeerg aalyss model s show Fg. 5.. The model output (respose) cotas the performaces of a system or product, such as weght,
More informationCIS 800/002 The Algorithmic Foundations of Data Privacy October 13, Lecture 9. Database Update Algorithms: Multiplicative Weights
CIS 800/002 The Algorthmc Foudatos of Data Prvacy October 13, 2011 Lecturer: Aaro Roth Lecture 9 Scrbe: Aaro Roth Database Update Algorthms: Multplcatve Weghts We ll recall aga) some deftos from last tme:
More information2. Independence and Bernoulli Trials
. Ideedece ad Beroull Trals Ideedece: Evets ad B are deedet f B B. - It s easy to show that, B deedet mles, B;, B are all deedet ars. For examle, ad so that B or B B B B B φ,.e., ad B are deedet evets.,
More informationOn L- Fuzzy Sets. T. Rama Rao, Ch. Prabhakara Rao, Dawit Solomon And Derso Abeje.
Iteratoal Joural of Fuzzy Mathematcs ad Systems. ISSN 2248-9940 Volume 3, Number 5 (2013), pp. 375-379 Research Ida Publcatos http://www.rpublcato.com O L- Fuzzy Sets T. Rama Rao, Ch. Prabhakara Rao, Dawt
More informationLaboratory I.10 It All Adds Up
Laboratory I. It All Adds Up Goals The studet wll work wth Rema sums ad evaluate them usg Derve. The studet wll see applcatos of tegrals as accumulatos of chages. The studet wll revew curve fttg sklls.
More informationUNIT 2 SOLUTION OF ALGEBRAIC AND TRANSCENDENTAL EQUATIONS
Numercal Computg -I UNIT SOLUTION OF ALGEBRAIC AND TRANSCENDENTAL EQUATIONS Structure Page Nos..0 Itroducto 6. Objectves 7. Ital Approxmato to a Root 7. Bsecto Method 8.. Error Aalyss 9.4 Regula Fals Method
More informationA Remark on the Uniform Convergence of Some Sequences of Functions
Advaces Pure Mathematcs 05 5 57-533 Publshed Ole July 05 ScRes. http://www.scrp.org/joural/apm http://dx.do.org/0.436/apm.05.59048 A Remark o the Uform Covergece of Some Sequeces of Fuctos Guy Degla Isttut
More informationAN UPPER BOUND FOR THE PERMANENT VERSUS DETERMINANT PROBLEM BRUNO GRENET
AN UPPER BOUND FOR THE PERMANENT VERSUS DETERMINANT PROBLEM BRUNO GRENET Abstract. The Permaet versus Determat problem s the followg: Gve a matrx X of determates over a feld of characterstc dfferet from
More informationDecomposition of Hadamard Matrices
Chapter 7 Decomposto of Hadamard Matrces We hae see Chapter that Hadamard s orgal costructo of Hadamard matrces states that the Kroecer product of Hadamard matrces of orders m ad s a Hadamard matrx of
More informationSTRONG CONSISTENCY FOR SIMPLE LINEAR EV MODEL WITH v/ -MIXING
Joural of tatstcs: Advaces Theory ad Alcatos Volume 5, Number, 6, Pages 3- Avalable at htt://scetfcadvaces.co. DOI: htt://d.do.org/.864/jsata_7678 TRONG CONITENCY FOR IMPLE LINEAR EV MODEL WITH v/ -MIXING
More informationD KL (P Q) := p i ln p i q i
Cheroff-Bouds 1 The Geeral Boud Let P 1,, m ) ad Q q 1,, q m ) be two dstrbutos o m elemets, e,, q 0, for 1,, m, ad m 1 m 1 q 1 The Kullback-Lebler dvergece or relatve etroy of P ad Q s defed as m D KL
More informationIntroduction to local (nonparametric) density estimation. methods
Itroducto to local (oparametrc) desty estmato methods A slecture by Yu Lu for ECE 66 Sprg 014 1. Itroducto Ths slecture troduces two local desty estmato methods whch are Parze desty estmato ad k-earest
More informationCHAPTER VI Statistical Analysis of Experimental Data
Chapter VI Statstcal Aalyss of Expermetal Data CHAPTER VI Statstcal Aalyss of Expermetal Data Measuremets do ot lead to a uque value. Ths s a result of the multtude of errors (maly radom errors) that ca
More information1 Lyapunov Stability Theory
Lyapuov Stablty heory I ths secto we cosder proofs of stablty of equlbra of autoomous systems. hs s stadard theory for olear systems, ad oe of the most mportat tools the aalyss of olear systems. It may
More informationTHE COMPLETE ENUMERATION OF FINITE GROUPS OF THE FORM R 2 i ={R i R j ) k -i=i
ENUMERATON OF FNTE GROUPS OF THE FORM R ( 2 = (RfR^'u =1. 21 THE COMPLETE ENUMERATON OF FNTE GROUPS OF THE FORM R 2 ={R R j ) k -= H. S. M. COXETER*. ths paper, we vestgate the abstract group defed by
More informationChapter 4 Multiple Random Variables
Revew for the prevous lecture: Theorems ad Examples: How to obta the pmf (pdf) of U = g (, Y) ad V = g (, Y) Chapter 4 Multple Radom Varables Chapter 44 Herarchcal Models ad Mxture Dstrbutos Examples:
More informationModule 7: Probability and Statistics
Lecture 4: Goodess of ft tests. Itroducto Module 7: Probablty ad Statstcs I the prevous two lectures, the cocepts, steps ad applcatos of Hypotheses testg were dscussed. Hypotheses testg may be used to
More informationAlgorithms Theory, Solution for Assignment 2
Juor-Prof. Dr. Robert Elsässer, Marco Muñz, Phllp Hedegger WS 2009/200 Algorthms Theory, Soluto for Assgmet 2 http://lak.formatk.u-freburg.de/lak_teachg/ws09_0/algo090.php Exercse 2. - Fast Fourer Trasform
More informationJournal of Mathematical Analysis and Applications
J. Math. Aal. Appl. 365 200) 358 362 Cotets lsts avalable at SceceDrect Joural of Mathematcal Aalyss ad Applcatos www.elsever.com/locate/maa Asymptotc behavor of termedate pots the dfferetal mea value
More informationα1 α2 Simplex and Rectangle Elements Multi-index Notation of polynomials of degree Definition: The set P k will be the set of all functions:
Smplex ad Rectagle Elemets Mult-dex Notato = (,..., ), o-egatve tegers = = β = ( β,..., β ) the + β = ( + β,..., + β ) + x = x x x x = x x β β + D = D = D D x x x β β Defto: The set P of polyomals of degree
More informationv 1 -periodic 2-exponents of SU(2 e ) and SU(2 e + 1)
Joural of Pure ad Appled Algebra 216 (2012) 1268 1272 Cotets lsts avalable at ScVerse SceceDrect Joural of Pure ad Appled Algebra joural homepage: www.elsever.com/locate/jpaa v 1 -perodc 2-expoets of SU(2
More informationON KUNNETH RELATIONS. Marek Golasiñski. the appropriate hypothesis the usual form of the Künneth re
Pub. Mat. UAB Vol. 29 Ns Abrl 98 5 ON KUNNETH RELATIONS Marek Golasñsk Abstract. The am of ths ote s to subsume a umber of appretly qute dstrct results oe geeral theorem. For a left exact fuctor T : R-Mod
More information1 Solution to Problem 6.40
1 Soluto to Problem 6.40 (a We wll wrte T τ (X 1,...,X where the X s are..d. wth PDF f(x µ, σ 1 ( x µ σ g, σ where the locato parameter µ s ay real umber ad the scale parameter σ s > 0. Lettg Z X µ σ we
More informationPTAS for Bin-Packing
CS 663: Patter Matchg Algorthms Scrbe: Che Jag /9/00. Itroducto PTAS for B-Packg The B-Packg problem s NP-hard. If we use approxmato algorthms, the B-Packg problem could be solved polyomal tme. For example,
More informationLecture 7. Confidence Intervals and Hypothesis Tests in the Simple CLR Model
Lecture 7. Cofdece Itervals ad Hypothess Tests the Smple CLR Model I lecture 6 we troduced the Classcal Lear Regresso (CLR) model that s the radom expermet of whch the data Y,,, K, are the outcomes. The
More informationRademacher Complexity. Examples
Algorthmc Foudatos of Learg Lecture 3 Rademacher Complexty. Examples Lecturer: Patrck Rebesch Verso: October 16th 018 3.1 Itroducto I the last lecture we troduced the oto of Rademacher complexty ad showed
More informationOrdinary Least Squares Regression. Simple Regression. Algebra and Assumptions.
Ordary Least Squares egresso. Smple egresso. Algebra ad Assumptos. I ths part of the course we are gog to study a techque for aalysg the lear relatoshp betwee two varables Y ad X. We have pars of observatos
More informationMA 524 Homework 6 Solutions
MA 524 Homework 6 Solutos. Sce S(, s the umber of ways to partto [] to k oempty blocks, ad c(, s the umber of ways to partto to k oempty blocks ad also the arrage each block to a cycle, we must have S(,
More informationPoint Estimation: definition of estimators
Pot Estmato: defto of estmators Pot estmator: ay fucto W (X,..., X ) of a data sample. The exercse of pot estmato s to use partcular fuctos of the data order to estmate certa ukow populato parameters.
More informationDepartment of Agricultural Economics. PhD Qualifier Examination. August 2011
Departmet of Agrcultural Ecoomcs PhD Qualfer Examato August 0 Istructos: The exam cossts of sx questos You must aswer all questos If you eed a assumpto to complete a questo, state the assumpto clearly
More information