Você está na página 1de 27

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Variedades de lgebras Topolgicas


Lucas Taylor Earl

10 de Julho de 2013

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

ndice

Categorias protomodulares lgebras topolgicas


Os Grupos Topolgicos As lgebras Topolgicas Exemplo: lgebras de Lie

Produtos semidirectos
Em Grp Functores mondicos Nas lgebras topolgicas

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Lema dos Cinco

K [f ] a K [f ]

ker f

X b X

Y c Y

ker f

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Protomodular

Denio
Uma categoria protomodular quando A a B b C

no diagrama se 1 e 1 2 forem produtos brados, ento 2 tambm o ser.


Lucas Taylor Earl Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Caracterizaes de Protomodularidade

Denio: 1 e 1 2 p.f. 2 p.f. Para todo o morsmo p : A B o functor p reecte isomorsmos. (Categoria protomodular) Lema cindido dos cinco

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Pullback functor
Seja p : A B um morsmo numa categoria. Denimos o functor p : PtB (C) PtA (C) , que leva cada ponto sobre B na sua imagem aps produto brado com p : X B A X

e cada morsmo no morsmo nico (induzido pela propriedade universal) entre as imagens de pontos em PtA (C) .

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

pontuada

homolgica semi-abeliana exacta

protomodular

regular efectiva

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Categorias Regulares

Denio
Uma categoria diz-se regular se
1 2

Tiver co-igualizadores de pares ncleos Os epimorsmos regulares (os co-igualizadores) forem estveis para produtos brados.

Uma categoria ser regular se e s se tiver uma factorizao nica estvel para produtos brados de cada morsmo da forma f = m e onde e um epimorsmo regular, e m um monomorsmo.

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Exacta de Barr

Uma categoria exacta uma categoria regular onde toda a relao de equivalncia for efectiva (um par ncleo). Tem-se as denies seguintes: homolgica = pontuada + protomodular + regular semi-abeliana = homolgica + exacta + cocompleta semi-abeliana = pontuada + protomodular + exacta + cocompleta

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Exemplo: Grupo de Lie

Denio Um grupo de Lie uma variedade diferencivel munida de uma estrutura de grupo que igualmente diferencivel. Um exemplo S 1 com a variedade diferencivel habitual. Em particular, um grupo de Lie um espao topolgico munido de um grupo que contnuo.

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Os Grupos Topolgicos

Denio
Um grupo topolgico um grupo munido de uma topologia tal que as operaes de grupo sejam aplicaes contnuas. Um morsmo entre grupos topolgicos um homomorsmo contnuo.

Teorema
Um grupo topolgico um espao homogneo.

Demonstrao.
A aplicao X X ; t ba1 t , que a a atribui b , um homeomorsmo.

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Metateorema

Como corolrio temos.

Teorema
Se uma propriedade topolgica vlida numa vizinhana aberta do elemento neutro, ento vlida em todo o grupo topolgico.

Consequncias:
Se um grupo topolgico tiver um sistema de vizinhanas numervel da identidade, ento metrizvel. Se um homomorsmo entre grupos topolgicos for contnuo para uma vizinhana do elemento neutro, ento contnuo.

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

GrpTop protomodular

K [f ] a K [g ]

ker f

X b

f s g t

Y c Z

g (bsc 1 g ) = cfsc 1 g = g !u : 1W bsc 1 g = ker gu Denimos : W X , = ker f a1 u + sc 1 g onde + a operao do grupo.

ker g

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

GrpTop protomodular

K [f ] a K [g ]

ker f

X b

f s g t

Y c Z b = b ker fa1 u + bsc 1 g = ker gaa1 u + bsc 1 g = (1W bsc 1 g ) + bsc 1 g = 1W

ker g

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

GrpTop protomodular

b (1X b ) = 0 gb (1X b ) = 0 K [f ] a K [g ] ker g ker f X b W g t Z f s cf (1X b ) = 0 Y c f (1X b ) = 0 ! v : X K [f ] 1X b = ker f v 0 = b ker f v = (ker g a)v v = 0 1X b = 0.

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Caracterizao de lgebras protomodulares

Teorema
Uma lgebra universal Alg(T) = ConjT protomodular se e s se a sua teoria T tiver
1 2 3

Constantes e1 , . . . , en ; Termos 1 , . . . , n que satisfaam i (x , x ) = ei ; Um termo tal que (1 (x , y ), . . . , n (x , y ), y ) = x .

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

As lgebras Topolgicas Protomodulares


Alg(T) protomodular TopT protomodular K [f ] a K [g ] ker g ker f X b W g t Z f s Y c

Seja U : TopT Top o functor de esquecimento habitual. O functor de Yoneda Top(U (W ), ) manda o diagrama para um diagrama em ConjT . Sendo assim, Top(U (W ), b ) um isomorsmo, ou seja, existe d : W X contnua tal que b d = 1W . Olhando para Top(U (X ), ), obtem-se d b = 1X . U reecte isomorsmos.
Lucas Taylor Earl Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

lgebras de Lie

Uma lgebra de Lie sobre um anel R um mdulo A com uma aplicao linear [, ] : A A A (chamada de colchetes de Lie) que satisfaz os axiomas: a. [a, a] = 0, b. [a, [b , c ]] + [b , [c , a]] + [c , [a, b ]] = 0 para cada a, b , c A.

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

lgebras de Lie Topolgicas

Uma lgebra de Lie topolgica uma lgebra de Lie munida de uma topologia que seja compatvel com todas as operaes da mesma. Como lgebras de Lie so em particular mdulos, a categoria Lie(R ) protomodular: basta tomar n = 1, e = 0, 1 (x , y ) = x y e (x , y ) = x + y . Se L for a teoria de lgebras de Lie sobre R ento TopL protomodular.

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Produto semidirecto

O produto semidirecto de grupos um diagrama, K k G q s Q

Em outras palavras, o produto semidirecto de K por Q um supergrupo G tal que K um subgrupo normal e K Q = {e } e KQ = G .

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Como que se constri K

Q?

uma aco de Q em K . K Q o produto munido da operao de grupo (a1 , b1 ) (a2 , b2 ) = (a1 b1 (a2 , b1 b2 ). Esta estrutura a nica a menos de isomorsmo. Existe uma equivalncia de categorias entre Grp(G ) e PtG (Grp).

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Functor Mondico
Um functor U diz-se mondico se tiver adjunto esquerda e se o functor de comparao J : D CT uma equivalncia de categorias. D U F C J CT FT UT .

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Critrio de Beck

Teorema
U : D C mondico se e s se
1 2 3 4

U tiver um adjunto esquerda U reectir isomorsmos; D tiver co-igualizadores de pares reexivos; U preservar esses.

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Exemplo
O functor U = kerG = 0 G mondico. U tem como adjunto esquerda F que leva cada grupo para o seu produto livre (coproduto) com G e as projeco e incluso cannicas. U reecte isomorsmos porque Grp protomodular e pontuado. U preserve co-igualizadores que existem em geral em PtG (Grp). Este functor mondico em qualquer variedade semi-abeliana (Borceux-Clementino, Inyangala).

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Produtos semidirectos

Diz-se que C tem produtos semidirectos se para cada morsmo p : E B , o functor p mondico.

Seja T o endofunctor associado ao functor p , e seja (X , ) uma lgebra do tipo T. Dene-se o produto semidirecto (X , ) (B , p ) como sendo o objecto em PtB (C) que corresponde a (X , ).

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Como que construimos estes produtos semidirectos nas variedades topolgicas?

Em (Inyangala) mostrado que o produto semidirecto de certas variedades semi-abelianas constuido custa do produto cartesiano. Uma dica do Prof. Dr. Andreia Montoli surgeriu que este resultado ainda se aplica no caso das lgebras topolgicas semi-abelianas.

Lucas Taylor Earl

Variedades de lgebras Topolgicas

Categorias protomodulares lgebras topolgicas Produtos semidirectos

Teorema
Seja T uma teoria pontuada (com constante 0) que contenha + e entre as suas operaes binrias que satisfazem os axiomas: x + 0 = x; 0 + x = x; (x + y ) y = x ; (x y ) + y = x . O produto semidirecto em TopT , (X , ) B onde B um objecto de TopT e (X , ) uma lgebra sobre T o espao topolgico X B munido da estrutura

((x1 , b1 ), . . . , (xn , bn )) = ( ( (x1 +b1 , . . . , xn +bn ) (b1 , . . . , bn )), (b1 , para cada operao e elementos bi , xi de B e X , respectivamente.
Lucas Taylor Earl Variedades de lgebras Topolgicas