Tpicos da Geometria: Categorias Derivadas

Professor: Marcos Jardim

Alunos:
Charles Aparecido de Almeida
Brian Callander
Rafael Genaro
20 de abril de 2014

Sumrio
1 Introduo Linguagem de Categorias
1.1 Noes Sobre a Linguagem de Categorias . . . . . . . . . . . . . . . .

1
1

2 Categorias Abelianas
2.1 Categoria Aditiva . . . . . . . . . . .
2.2 Categorias Abelianas . . . . . . . .
2.3 Funtores em Categorias Abelianas
2.4 Teoremas de Noether . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

5
5
6
8
9

3 Exemplos Importantes de Categorias Abelianas

3.1 Introduo . . . . . . . . . . . . . . . . . . . . . . .
3.2 Hom um grupo Abeliano . . . . . . . . . . . . .
3.3 Existe um objeto zero . . . . . . . . . . . . . . . .
3.4 Somas e produtos diretos . . . . . . . . . . . . . .
3.5 Decomposies cannicas . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

12
12
12
13
14
15

Bibliography

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

19

Captulo 1

Introduo Linguagem de
Categorias
por Charles Aparecido de Almeida

Resumo
Neste trabalho, apresentaremos alguns conceitos fundamentais acerca da teoria
de categorias, vizando introduzir a linguagem bsica da geometria algbrica
moderna.

1.1

Noes Sobre a Linguagem de Categorias

A teoria de categorias um ramo abrangente e abstrato da matemtica, e apesar de

sua generalidade, seus conceitos so muito teis no estudo da geometria algbrica,
pois muitas vezes simplificam a notao e a linguagem dos objetos com os quais
estamos tratando. Por este motivo, apresentaremos nesta seo algumas definies
e exemplos da teoria de categoria, seguindo a referncia [GM03].
1.1.1 D EFINIO. Uma categoria C consiste de:
i) Uma coleo de objetos, que ser denotada por Ob C;
ii) Um conjunto de morfismos (ou setas). Ou seja, para cada dois objetos
N, M Ob C, existe um conjunto HomC ( M, N ) de aplicaes que comeam
em M e chegam em N;
iii) Para cada 3 objetos M, N, P existe a composio de morfismos ou seja,
se f HomC ( M, N ) e g HomC ( N, P ) ento existe uma aplicao f g
HomC ( M, P );
iv) Para todo objeto N Ob C existe um elemento distinguido id N HomC ( N, N )
que satisfaz a seguinte propriedade: Para todo objeto M e todo morfismo
f HomC ( M, M ) temos que id N f = f id N = f .

Introduo Linguagem de CategoriasNoes Sobre a Linguagem de Categorias

Com o intuito de fixar as ideias e a notao, apresentaremos alguns exemplos
a seguir:
Exemplo 1) A categoria VectK dos espaos vetoriais sobre um corpo fixo K,
cujos objetos so os espaos vetoriais sobre K e os morfismos so as transformaes
lineares entre os espaos vetoriais.
Exemplo 2) A categoria Grp de todos os grupos, com os objetos sendo todos os
grupos, e os morfismos sendo os homomorfismos de grupos.
Exemplo 3 A categoria Top com os objetos sendo os espaos topolgicos, e com
os objetos sendo os mapas contnuos entre os espaos.
Exemplo 4) A categoria Sets com os objetos sendo todos os conjuntos de cardinalidade limitada (a categoria Sets contm todos os conjunto com cardinalidade
menor) e os morfismos so as aplicaes entre os conjuntos. Limitamos a cardinalidade dos conjuntos para no termos que lidar com o paradoxo de Russel(que diz
que podemos construir o conjunto R tal que R := { X ; X 6 X }, ento R R R 6 R )
o que nos conduziria a uma m definio).
Exemplo 5) A categoria dual Cop cujos objetos so os mesmos de C mas
HomCop ( M op , N op ) = HomC ( N, M ).
A partir de agora, escreveremos M C ao invz de escrever M Ob C. Por fim
definimos a noo de isomorfismo entre objetos.
1.1.2 D EFINIO. Dados M, N C, diremos que M e N so isomorfos se existem
: M N e : N M tal que id M = e id N = .
Observamos que nossos axiomas nos do flexibilidade para criarmos categorias
muito gerais e abstratas, no entanto, veremos posteriormente que o estudo de
algumas categorias em particular ser muito til.
Agora que j definimos nosso objeto de estudo, veremos como eles se relacionam
entre si, e para isso introduziremos o conceito de funtor entre categorias.
1.1.3 D EFINIO. Um funtor (covariante) F entre as categorias C e D uma
regra que a cada objeto M C associa um objeto F N D,e que para cada morfismo
HomC ( M, N ), associa o morfismo F HomD (F M, F N ) satisfaz as seguintes
condies:
i) F (id N ) = idF N ;
ii) F = F F para , Hom( M, N ).
Diremos que o funtor F contravariante se satisfaz as condies acima exceto
que F inverte a direo entre os morfismo. ou seja se HomC ( M, N ) ento
F HomD (F N, F M ).
Para fixar as ideias, apresentaremos alguns exemplos.
Exemplo 1) Considere a aplicao F : VectK VectK que a cada espao vetorial V associa seu dual V e para cada transformao linear T : V W para V ,W
espaos vetoriais, associa a sua transformao adjunta T : W V . Vemos que
F um funtor contravariante.
Exemplo 2) Considere a aplicao F : Top( X ) Ring, onde Top( X ) categoria dos abertos de um espao topolgico X com os morfismos sendo as aplicaes
contnuas entre os abertos e CRings a categoria dos aneis comutativos com
os morfismos sendo os homomorfismos de aneis, tal que a cada aberto do espao topolgico associa o anel das funes contnuas nele, e pra cada funo
2

Introduo Linguagem de CategoriasNoes Sobre a Linguagem de Categorias

continua Hom(U, V ) com U, V sendo abertos de X associa o homomorfiscmo
F Hom(FU, FV ), tal que F ( f ) = f . F um funtor contravariante.
Exemplo 3) Seja C a categoria dos espaos topolgicos conexos por caminhos
com um ponto distinguido, com os morfismo sendo aplicaes contnuas entre
espaos contnuos com pontos distinguidos. Considere o funtor 1 : C Grp que
a cada objeto de C associa o seu primeiro grupo fundamental, e para cada funo
contnua f entre espaos topolgicos, associa o seu homomorfismo induzido nas
classes de homotopia. O funtor 1 covariante.
Perceba que o que acabamos de fazer no Exemplo 3, mostra que se dois espaos topolgicos so homeomorfos esnto 1 induz um isomorfismo nos grupos
fundamentais de X e Y . Com isso, podemos ver que a teoria de categorias nos
d um invariante topolgico interessante. Perceba que a recproca da afirmao
no verdadeira, por exemplo, R2 e R3 no so homeomorfos, mas seus grupos
fundamentais so triviais, e portanto isomorfos. Apesar de isso ser um problema,
ele nos motiva a seguinte pergunta, existem funtores que "carregam"os isomorfismos entre dua categorias, ou seja, existe um funtor F entre duas categorias C e D
tal que se X e Y so objetos isomorfos de D F 1 X e F 1 Y so isomorfos? De fato,
tais funtores existem e iremos estudar alguns deles neste trabalho. Esta questo
motiva as prximas definies.
1.1.4 D EFINIO. Um funtor F : C D dito fiel se para quaisquer dois objetos
X e Y de C, a aplicao F : HomC ( X , Y ) HomD (F X , FY ) injetiva. Diremos
que F pleno, se essa aplicao sobrejetiva.
Para definimos a noo de equivalncia entre duas categorias, precisamos da
noo de morfismo e de isomorfismo entre funtores.
1.1.5 D EFINIO. Sejam F : C D e G : C D dois funtores. Um morfismo
: F G entre os funtores F e G uma famlia de morfismos em D tal que para
quaisquer objetos X , Y D e para cada morfismo h : X Y , o diagrama abaixo
comutativo.

F(X )

Fh

F (Y )

( X )

(Y )

/ G(X )


Gh

/ G (Y )

Diremos que isomorfismo de funtores, quando cada ( X ) for um isomorfismo na categoria D.

1.1.6 D EFINIO. Diremos que duas categorias C e D so equivalentes se existem
dois funtores F : C D e G : D C, tal que G F ' idC e F G ' idD .
Como exemplo de categorias equivalentes, podemos citar a equivalncia entre
a categoria das variedades afins sobre um corpo algebricamente fechado k e a categoria dos domnios de integridade finitamente gerados sobre k, tal demonstrao
pode ser encontrada em [Har77, Chap. I, Cor. 3.8].
Observamos que usando a noo de morfismos entre funtores, podemos definir
a categoria Funct(C, D) dos funtores entre duas categorias C e D, com o morfismos
como definidos acima.
Introduziremos agora a noo de funtores representveis, que ser til em
posteriores estudos.
3

Introduo Linguagem de CategoriasNoes Sobre a Linguagem de Categorias

1.1.7 D EFINIO. A categoria dos funtores de uma dada categoria C dada por
b = Funct(C, Sets).
C
b dito representvel se
1.1.8 D EFINIO. Um funtor (contravariante)F C
isomorfo a um funtor h X com X C, onde h X : Cop Sets tal que Y op 7
HomC ( X , Y ). Diremos que X representa o funtor F .

Em geral, construir funtores representveis no uma tarefa trivial. Por isso

apresentaremos o prximo exemplo:
Exemplo 1) Seja C = Ring(K) a categoria das K-algebras finitamente geradas, com K um corpo algebricamente fechado. Sejam f 1 , ..., f m K[ x1 , ..., xn ],
A = K[ x1 , ..., xn ] e A 0 = K[ x1 , ..., xn ]/ I onde I = ( f 1 , ..., f n ). Sabemos que para todo
: A K, existe um nico a = (a 1 , ..., a n ) tal que ( f ) = f (a) (para ver isso, use
induo em n e o algoritmo da diviso de Euclides). Por outro lado, para todo
a Kn existe a : A K tal que f 7 f (a). Com isso HomC ( A, K) ' Kn .
Agora os homomorfismos A 0 K so os homomorfismos de A K cujo kernel contm I . Seja a : A K ento I ker a f i (a) = 0 a V ( f 1 , ..., f m ),
com V ( f 1 , ..., f m ) := { b Kn ; f i ( b) = 0, i = 1, ..., m}. Assim, HomC ( A 0 , K) ' V =
V ( f 1 , ..., f m ). Trocando K por S uma Klgebra finitamente gerada, e repetindo
as contas que acabamos de fazer temos que HomC ( A, S ) ' S n e HomC ( A 0 , S ) ' VS
onde VS := {a S n ; f i (0) = 0 S, i = 1, ..., m}.
Agora considere o funtor Hom( A 0 , .) : C Sets tal que Hom( A 0 , )(S ) = Hom( A 0 , S )
e para cada morfismo f : S S 0 em C associa o morfismo f Hom( A 0 , S 0 ) para
todo Hom( A 0 , S ). Defina o funtor F : C Sets tal que S 7 VS ( f 1 , ..., f m ) e
7 V : VS VS 0 tal que V (a) = ((a 1 ), . . . , (a n )) para S S 0 .
Com isso podemos definir o seguinte morfismo de funtores : F Hom( A 0 , )
tal que a cada S C associa o mapa (S ) : VS Hom( A 0 , S ) tal que a 7 a : A 0 S
tal que a ( f ) = f (a). Como VS ' Hom( A 0 , S ) temos que isomorfismo de funtores,
assim vemos que F representvel.
Apresentaremos aqui sem a demonstrao, o importante Lema de Yoneda, sua
demonstrao pode ser encontrada em [Pic02].
1.1.9 Teorema. (Lema de Yoneda) Se G : C Sets um funtor contravariante,
ento para todo X C existe nico isomorfismo de funtores em X tal que G ( X ) '
Hom( h X ,G ).
O seguinte corolrio segue facilmente do Lema de Yoneda.
e representvel, ento o objeto representante em C
1.1.10 Corolrio. Se F Ob C
nico a menos de isomorfismo.

Observamos que o corolrio acima, mais o Lema de Yoneda nos diz que se
conhecermos todos os morfismos que chegam em um objeto da categoria C ento
o objeto estar bem determinado, ou seja, para entedermos os objetos de uma
categoria C basta entendermos os morfismos dessa categoria.

Captulo 2

Categorias Abelianas
por Rafael Genaro

2.1

Categoria Aditiva

Considere os seguinte axiomas de uma categoria C:

A1: Para cada X , Y Ob(C), o conjunto HomC ( X , Y ) possui uma estrutura de
grupos abelianos, alm disso, a composio de morfismos biaditivo com
respeito a estas estruturas.
A2: Existe um objeto 0 Ob(C), tal que
HomC ( X , 0) = HomC (0, X ) = {0},
para todo X Ob(C).
A3: Para cada X 1 , X 2 Ob(C), existe Y Ob(C) e morfismos p 1 : Y X 1 , p 1 : Y
X 2 , i 1 : X 1 Y e i 2 : X 2 Y tais que:

p 1 i 1 = id X 1

p1 i 2 = p2 i 1 = 0

p 2 i 2 = id X 2

i 1 p 1 + i 2 i 2 = id Y .

Assim temos a seguinte definio:

2.1.1 D EFINIO. Uma categoria C satisfazendo os axiomas A1, A2, A3
chamada de categoria aditiva.
Para esclarecer o papel do terceiro axioma, iremos definir produto de objetos e
assim o terceiro axioma pede-se que todos dois objetos possua produto.
2.1.2 D EFINIO. Seja { A i } i I Ob(C) uma famlia no vazia, A Ob(C) e para
cada i I tome u i HomC ( A, A 1 ). Se, para cada B Ob(C), a aplicao
Y
HomC (B, A ) HomC (B, A i )
i I

u 7 ( u i u) i I
for bijetora, diremos que A um produto de { A i } i I atravs da famlia de morfismo
{u i } i I .

Categorias Abelianas

Categorias Abelianas

2.1.3 Proposio. Suponha que C satisfaz A1 e A2. Seja A, B, C Ob(C), p A : C

A e p B : C B dois morfismos em C. Para que C seja o produto de A e B atravs
da famlia de morfismos { p A , p B }, necessrio e suficiente mostrar que existem
i A : A C e i B C em C que satisfaz as propriedades do axioma A3.
Demonstrao. () Suponha que C seja um produto de A e B atravs de { p A , p B }.
Ento por definio, para cada D Ob(C), a aplicao
HomC (D, C ) HomC (D, A ) HomC (D, B)

u 7 ( p A u, p B u)
bijetora.
Em particular, se D = A , dado ( id A , 0) HomC ( A, A ) HomC ( A, B), existe um
nico morfismo i A : A C em C tal que

p A i A = id A ,
p B i B = 0.
Analogamente, se D = B, dado (0, id B ) HomC (B, A ) HomC (B, B), existe um
nico morfismo i B : B C em C tal que

p B i B = id B ,
p A i A = 0.
Por fim, de D = C , temos que ( i A p A + i B p B ) 7 ( p A , p B ), por outro lado id C 7
( p A , p B ). Logo, pela injetividade, i A p A + i B p B = id C .
() Dado D Ob(C), defina as seguintes funes:
: HomC (D, C ) HomC (D, A ) HomC (D, B)
: HomC (D, A ) HomC (D, B) HomC (D, C ),

onde ( u) = ( p A u, p B u) e ( u, v) = i A u + i B v.
Assim, temos que e so os mapas identidades nos seus devidos domnios.
Assim, bijetora, conclundo que C o produto de A, B via { p A , p B } como
queramos demonstrar.
2.1.4 Observao. O resultado anterior tambm valido se trocarmos { p A , p B } por
{ i A , i B }.
Verifica-se que a categoria de grupos abelianos, Ab, mais geral, a categoria
dos mdulos sobre um anel R so categorias Aditivas.

2.2

Categorias Abelianas

Para uma categoria aditiva C se encaixar na definio de categorias Abelianas,

pede-se que todo morfismo de C possua ncleo, concleo com certas propriedades.
Suponha que C satisfaa A1, A2 e seja : X Y um morfismo. Dado X 1 , X 2
Ob(C), considere h X 1 , h X 2 os funtores que representa-os respectivamentes e defina
o seguinte morfismo de funtores

h : h X 1 h X 2 ,
6

Categorias Abelianas

Categorias Abelianas

que associa cada objeto Y a um mapa h (Y ) : h X 1 (Y ) h X 2 (Y ) que associa cada

h X 1 (Y ) a composio .
Assim, definimos o ncleo de como o funtor
ker : Cop Ab
tal que para cada objeto Z , ker ( Z ) = ker( h ), e ker ( f ) a restrio de h X ( f ) em
ker ( Z ). Agora assuma que o funtor ker representa um objeto K , acompanhado
com um morfismo k : K X tal que k = 0. Chamaremos o par (K, k) como o
ncleo de .
Dado (K, k) o ncleo de , para todo morfismo k0 : K 0 X tal que k0 = 0, ento
existe um nico morfismo h : K 0 K tal que k0 = k.
Definimos o concleo de como o duplo dual

op
coker = ker op .
A definio de concleo equivalente as seguintes definies:
O concleo de um morfismo : X Y um morfismo c : Y K 0 tal que
para todo objeto Z , a sequncia
0 HomC (K 0 , Z ) HomC (Y , Z ) HomC ( X , Z )
exata.
O concleo de um morfismo : X Y um morfismo c : Y K 0 tal que
c = 0 e para qualquer outro morfismo c 1 : Y K 10 onde c 1 = 0, ento
existe um nico morfismo h : K 0 K 10 com c 1 = hc.
Assim, temos condio de enunciar o quarto axioma:
A4: Para cada morfismo : X Y , existe uma sequncia, chamada de decomposio cannica,
k

K X I Y K 0 ,
com as seguintes propriedades:
ji = ;
K e K 0 so o ncleo e o concleo respectivamente de ;
I o ncleo de k e o concleo de c.
2.2.1 D EFINIO. Uma categoria aditiva C que satisfaz o axioma A4 chamada
de categoria Abeliana.
2.2.2 Exemplo. Ab uma categoria Abeliana:
A existncia de uma decomposio cannica de um morfismo : G H entre
grupos abelianos, garantido pelo teorema do isomorfismo. Pois se
im()
=

G
,
ker

obtemos o diagrama
ker G

G
H
H
,
ker
im()

satisfaz as condies da decomposio primria.

7

Categorias Abelianas

Funtores em Categorias Abelianas

2.2.3 Exemplo. Considere GrpTop a categoria dos grupos topolgicos, Hausdorff,

com os morfismos so os homomorfismos contnuos.
Qualquer morfismo nesta categoria possui ncleo e concleo, isto , se : X Y ,
ker o ncleo de vista em Ab com a topologia induzida e o concleo

coker = Y ( X ),
onde ( X ) o fecho de sua imagem.
Assim, obtemos o diagrama
ker X

X
Y
( X ) Y
ker
im

X
em A b, porm o morfismo cannico de ker
( X ) nem sempre um isomorfismo

contnuo e portanto no valdo em GrpTop.

Por exemplo, tome X = R com a topologia discreta, assim se = id R : X R,
contnua com ncleo e concleo triviais, porm 1 no contnua. Logo GrpTop
uma categoria aditiva mas no abeliana.

2.3

Funtores em Categorias Abelianas

Toda categoria Abeliana pode ser vista como mergulhada em uma categoria de
mdulos sobre um anel. Este o conhecido como o teorema do mergulho de
Freyd-Mitchell.
2.3.1 D EFINIO. Seja C, C0 duas categorias aditivas. Um funtor F : C C0
dito aditivo se todos os mapas

F : HomC ( X , Y ) HomC0 (F ( X ), F (Y )), X , Y Ob(C),

so homomorfismos de grupos abelianos.
2.3.2 D EFINIO. Seja C, C0 uma categoria aditiva e F : C C0 um funtor aditivo.
F dito exato se para quaisquer sequncia exata
f

0 X Y Z 0,
em C, a sequncia
F( f )

F ( g)

0 F ( X ) F (Y ) F ( Z ) 0
for exata em C0 .
O funtor F dito exata esquerda se a sequncia acima for exata a menos no
termo F ( Z ).
O funtor F dito exata direita se a sequncia acima for exata a menos no termo
F ( X ).
Segue dois importantes funtores que podem ser encontrados em [GM03]:
2.3.3 Proposio. Seja C uma categoria Abeliana. Ento os funtores
C Ab

X 7 HomC (Y , X ),
8

Categorias Abelianas

Teoremas de Noether

e
Cop Ab,

X 7 HomC ( X , Y ),
so exatos esquerda, para cada Y Ob(C).
2.3.4 Exemplo. Seja A um anel, ento os funtores:

A -Mod Ab
X 7 Y A X
e
Mod- A Ab

X 7 X A Y ,
so exatas esquerda, para cada Y Ob(C).
Assim enunciamos o teorema que citamos no nicio desta seo
2.3.5 Teorema. Mergulho de Freyd-Mitchell:
Seja A uma categoria Abeliana cujo os objetos formam um conjunto. Ento existe
um anel R e um funtor exato F : A R-mod, que um mergulho nos objetos e nos
morfismos Hom0 s.
A demonstrao do Teorema acima, pode ser encontrada, na forma mais geral
em [Fre64] na pgina 150.
Por fim, iremos enunciar a definio de funtores projetivos e injetivos.
2.3.6 D EFINIO. Um objeto Y de uma categoria abeliana dita projetiva se o
funtor X HomC (Y , X ) for exata.
Um objeto Y de uma categoria abeliana dita injetiva se o funtor X HomC ( X , Y )
for exata.
Assim,
2.3.7 Proposio. Y Ob(C) projetivo se, e somente se, para todo epimorfismo
p : X X 00 e para todo morfismo : Y X 00 , existir um morfismo : Y X tal
que p = .
Y Ob(C) injetivo se, e somente se, para todo monomorfismo i : X 0 X e para
todo morfismo 0 : X 0 Y , existir um morfismo 0 : Y X tal que 0 = .

2.4

Teoremas de Noether

Seja B Ob(C).
2.4.1 D EFINIO. Dois monomorfismos i 1 : A 1 B e i 2 : A 2 B so equivalentes
se existir mapas 1 : A 1 A 2 e 2 : A 2 A 1 tal que i 2 1 = i 1 e i 1 2 = i 2 .
Um subobjeto de B uma classe de equivalncia de monomorfismos em B.
Dizemos que um subobjeto representado por i 1 : A 1 B est contido no subobjeto
representado por i 2 : A 2 B se existir um mapa : A 1 A 2 tal que i 2 1 = i 1 .
9

Categorias Abelianas

Teoremas de Noether

2.4.2 D EFINIO. Dois epimorfismos p 1 : B C 1 e p 2 : B C 2 so equivalentes

se existir mapas 1 : C 1 C 2 e 2 : C 2 C 1 tais que, 1 p 1 = p 2 e 2 p 2 = p 1 .
Um objeto quociente uma classe de equivalncia de epimorfismos.
Um objeto quociente representado por p 1 : B C 1 chamado menor que o objeto
quociente representado por p 2 : B C 2 , se existir um mapa 2 : C 2 C 1 , phi 2
p2 = p1 .
Assim podemos definir o que venha ser a interseo de objetos:
2.4.3 D EFINIO. A interseo de dois subobjetos A 1 , A 2 de um objeto A
definido como o maior subobjeto contido em A 1 e A 2 . Isto , se C for subobjeto de
A 1 e A 2 ento C est contido na sua interseo.
2.4.4 Teorema. Seja C uma categoria Abeliana. Ento todo par de objetos possui
uma interseo.
Demonstrao. Seja 1 : A 1 A e 2 : A 2 A monomorfismos, : A F um
concleo de 1 e k 12 : A 12 A 2 o ncle de 2 . Desde que
k2

A 12 A 2 A F
nulo, temos que existe um mapa k 1 : A 12 A 1 (monomorfismo) tal que

A 12

/ A2


/A

A1

comuta.
Seja X A 1 e X A 2 dois pares de mapas tais que

/ A2


/A

A1

comuta. Iremos mostrar que existe um nico X A 12 tal que

X A 12 A 1 = X A 1
e

X A 12 A 2 = X A 2 .
O mapa X A 12 existe pois

X A 2 F = X A 1 F = 0
A 12 A 2 = ker( A 2 F ).
Portanto existe um nico mapa X A 12 tal que

X A 12 A 2 = X A 2 .
A outra equao, segue do fato de

X A 12 A 1 A = X A 2 A = X A 1 A
e pelo fato de que 1 um monomorfismo.
10

Categorias Abelianas

Teoremas de Noether

De maneira naloga, sabendo que ncleo e o concleo so inversos (olhar em

[Fre64]), todo par de subobjetos tem um menor subobjeto que contm ambos, coS T
nhecido como a nio. Assim podemos utilizar a notao e (unio e interseo
finita).
Assim, vale o primeiro e o segundo teorema de Noether, cuja as demonstraes
podem ser encontradas em [Fre64] pginas 58 e 59.
2.4.5 Teorema. Dado C uma categoria Abeliana, e tome A B C objetos. Ento

C/ A
= C /B.
B/ A
2.4.6 Teorema. Dado C uma categoria Abeliana, e tome A, B C objetos. Ento

B B A
.
=
B A
A

11

Captulo 3

Exemplos Importantes de
Categorias Abelianas
por Brian Callander

Resumo
Seja X uma esquema Noetheriana. Mostraremos que as categorias Sh X , O X -Mod,
QCoh X , e Coh X so categorias Abelianas.

3.1

Introduo

O teorema principal deste captulo o seguinte.

3.1.1 Teorema. As categorias Sh X , O X -Mod, QCoh X , e Coh X so categorias
Abelianas, onde X uma esquema Noetheriana.
Nas demonstraes a seguir, usaremos bastante a seguinte relao entre as
categorias:
Coh X

pleno
fiel

QCoh X

pleno
fiel

O X -Mod

fiel

Sh X

que so imediatas das definies das categorias. Em particular, mostrar que um

morfismo existe em O X -Mod implica que tambm existe em QCoh X e Coh X .
No entanto, mostrar que um objeto existe em O X -Mod no implica que existe em
QCoh X e Coh X .

3.2 Hom um grupo Abeliano

3.2.1 Lema. HomSh X (F , G ) um grupo Abeliano para F , G objetos quaisquer.

Exemplos Importantes de Categorias Abelianas

Existe um objeto zero

Demonstrao. Sejam , HomSh X (F , G ). Ento, definindo o morfismo +

pela familia ( + )U := U + U , vemos que o diagrama
F (U )
( + )U

G (U )

rUV

F (V )

rUV

( + )V

G (V )

comuta pois as restries so homomorphismos de grupos.

O elemento neutro dado pela familia de homomorphismos de grupos
0U : F (U ) G (U )

s 7 0.
Ela defina um morfismo 0 : F G pois r VU 0U = 0V r VU e defina o elemento
neutro pois + 0 = 0 + = .
O inverso dado pela familia de morfismos
()U : F (U ) G (U )

s 7 U ( s).
Ela compatvel com as restries pois .
3.2.2 Lema. HomO X -Mod (F , G ) um grupo Abeliano para F , G objetos quaisquer.
Demonstrao. Sejam , HomO X -Mod (F , G ) e defina + , , e 0 como na
demonstrao do Lema 3.2.1. Temos que mostrar que estes morfismos pertencem
categoria O X -Mod se e pertencerem; ou seja, que so familias de morfismos
de mdulos. Seja O X (U ) e s F (U ). Ento
(( + )U ( s)) = U ( s) + U ( s)

= U s + U s

= ( + )U s

e da que ( + )U um morfismo de mdulos para um aberto U X qualquer.

O morfismo 0U trivialmente um morfismo de mdulos e a inversa pois
.
3.2.3 Corolrio. Os conjuntos HomQCoh X (F , G ) e HomCoh X (F , G ) so grupos
Abelianos para F e G objetos quaisquer das categorias respectivas.

3.3

Existe um objeto zero

3.3.1 Lema. As categorias Sh X , O X -Mod, QCoh X , e Coh X possuem um objeto

zero.
Demonstrao. Mostraremos que o feixe constante 0 o objeto zero dessas categorias. No primeiro lugar, ele coerente pois, dada uma cobertura afim { U i
= Spec A i | i I }
e
de X , a restrio dele a cada aberto U i 0|U i
0,
que

o
feixe
correspondente
ao
=
A i -mdulo trivial. Portanto, 0 um objeto de todas as categorias.
13

Exemplos Importantes de Categorias Abelianas

Somas e produtos diretos

Alm disso, temos que

Hom F , 0 = Hom 0, F = 0

para F um objeto qualquer (da categoria respectiva), pois 0(U ) tem exatamente 1
elemento para U no vazo.

3.4

Somas e produtos diretos

3.4.1 Lema. A categoria Sh X possui somas e produtos diretos finitos, e uma soma
direta isomorfo ao produto direto.
Demonstrao. Para F1 e F2 objetos de Sh X , o objeto da soma direta dado pelo
feixe
(F1 F2 )(U ) := F1 (U ) F2 (U ),
onde a restrio de uma seo a soma das restries dos termos. Ele vem munido
com as incluses i k e as projees p k , k { 1, 2 }, dadas pelas familias
( i k )U : Fk (U ) F1 (U ) F2 (U ),

( p k )U : F1 (U ) F2 (U ) Fk (U )

s 7 s

s 1 + s 2 7 s k .

Valem ( i k )V ( s|V ) = s|V = ( i k )U ( s)|V e ( p k )V (( s 1 + s 2 )|V ) = s k |V = ( p k )U ( s 1 + s 2 )|V e

da que i k e p k so morfismos. Observe que

p k i k = id

(3.1)

p1 i 2 = p2 i 1 = 0

(3.2)

i 1 p 1 + i 2 p 2 = id

(3.3)

para k { 1, 2 }, e da que F1 F2 uma soma direta e um produto direto.

3.4.2 Lema. A categoria O X -Mod possui somas e produtos diretos finitos, e uma
soma direta isomorfo ao produto direto.
Demonstrao. Pelo Lema 3.4.1, temos que mostrar que F1 F2 tambm um
O X -mdulo e que i k , p k so morfismo de O X -mdulos. Seja O X (U ) e s k Fk (U ).
A multiplicao dada por ( s 1 + s 2 ) := s 1 + s 2 . Ento

( s 1 + s 2 )V = ( s 1 )|V + ( s 2 )|V
= |V s 1 |V + |V s 2 |V ,
= |V ( s 1 + s 2 ) |V

mostrando que a soma compatvel com a estrutura mdulo.

Como incluses e projees sempre preservam a estrutura de mdulo, i k e p k
so morfismos de O X -mdulos.
3.4.3 Lema. As categorias QCoh X e Coh X possuem somas e produtos diretos
finitos, e uma soma direta isomorfo ao produto direto.
Demonstrao. Pelo Lema 3.4.3, s falta mostrar que F1 F2 (quasi)coerente
quando F1 e F2 foram. Como (F1 F2 )|U i
= F1 |U i F2 |U i , basta considerar o caso
fk , a soma
afim. O caso afim segue do [Har77, Chap. II, Prop. 5.2c], i.e. com Fk = M
dada por

F1 F2 = M
1 M2 ,
que (quasi)coerente.
14

Exemplos Importantes de Categorias Abelianas

3.5

Decomposies cannicas

Decomposies cannicas

3.5.1 Axioma. Qualquer morfismo HomC (F , G ) tem um ncleo, concleo, e

uma decomposio cannica

ker

coker ker

coker

onde
p um epimorfismo, i um monomorfismo, e i p = ; e
coker ker
= ker coker .
3.5.2 Lema. Morfismos em Sh X tem ncleos.
3.5.3 Lema. Morfismos em O X -Mod tem ncleos.
Demonstrao. Seja : F G um morfismo de O X -mdulos e O X (U ). Ento
ker um O X -mdulo, com s induzido pela ao em F (U ).
O morfismo um morfismo de O X -mdulos pois ( ( s)) = s = ( s).
Ainda vale = 0.
Para ver que (ker , ) tem a propriedade universal requerida, seja (K , ) um
outro par tal que = 0.
K
0

ker

Ento o morfismo de O X -mdulos dado pela familia

U : s 7 U ( s)

o nico tal que = . Note que bem definida pois = 0, e da que

U ( s) ker (U ).
3.5.4 Proposio. [Mac96, Prop. 3.3]. Sejam M , M 0 , e M 00 A -mdulos e S A
um sistema multiplicativo. A operao S 1 exata; ou seja, se

M0

M 00

for exata em M , ento

S 1 M 0

S 1 f

S 1 M

exata em S 1 M .
15

S 1 g

S 1 M 00

Exemplos Importantes de Categorias Abelianas

Decomposies cannicas

3.5.5 Corolrio. Seja : M M 0 um morfismo de A -mdulos. Ento

ker(p ) = (ker )p
e
coker(p ) = (coker )p
para p < A um ideal primo qualquer.
3.5.6 Lema. Morfismos em QCoh X e Coh X tem ncleos.
Demonstrao. Como (F1 F2 )|U = F1 |U F2 |U , basta considerar o caso afim.
Seja X = Spec A , sejam M , N dois A -mdulos, e seja : M N um morfsimo de
A -mdulos. Pelo Corolrio 3.5.5
,
ker e = ker

mostrando que ker e (quasi)coerente se e for.

3.5.7 Lema. Morfismos em Sh X tem concleos.
3.5.8 Lema. Morfismos em O X -Mod tem concleos.
Demonstrao. Seja Hom(F , G ), O X (U ), e s coker (U ). Mostraremos
agora que s coker U , e da que coker um O X -mdulo.
Para cada x U , temos que s( x) G x / x F x e que existem uma vizinhana
x V U e uma seo t G (V )/V F (V ) tais que t y = s( y) para todo y V . Ento
( t) y = y t y = y s( y) e da que s coker U . Como isso vale sobre as hastes,
a ao compatvel com as restries.
O morfismo c um morfismo de O X -mdulos pois ele a composio de
morfismos de pr-feixes que so compatveis com a estrutura de mdulo. Isso ,
ele dado pela familia de morfismos
G (U )

( c )U

G (U )/U F (U )

coker (U )
iU

onde U a projeo cannica e i U a incluso do pr-feixe no feixe associado.

Seja Hom(F , G ) e (C , c) um outro par tal que c = 0.

F
0

G
c

coker
!

Ento o morfismo de O X -mdulos dado pela feixificao de

pre

U : G (U )/U F (U ) C (U )

[ s] 7 c( s)
o nico tal que c = c.
16

Exemplos Importantes de Categorias Abelianas

Decomposies cannicas

3.5.9 Lema. Morfismos em QCoh X e Coh X tem concleos.

Demonstrao. Basta considerar o caso afim. Seja X = Spec A , sejam M , N dois
A -mdulos, e seja : M N um morfsimo de A -mdulos. Ento
,
coker e = coker

mostrando que coker e (quasi)coerente se e for.

3.5.10 Proposio. [Har77, Ch. II Prop. 1.1]. Um morfismo de feixes : F G
um isomorfismo se e somente se o morfismo induzido nas hastes x : F x G x um
isomorfismo para todo x X .
3.5.11 Lema. Na categoria Sh X ,
coker ker
= ker coker
para HomSh X (F , G ) qualquer.
Demonstrao. Seja Hom(F , G ). O morfismo de pr-feixes dado pela familia
pre

U : F (U )/ ker U (ker coker )(U )

[ s] 7 U ( s)
induz um morfismo de feixes : coker ker ker coker .
Ele um isomorfismo pois o morfismo induzido nas hastes
(coker ker ) x = F x / ker x x F x = ker coker( x ) = (ker coker ) x
[ s x ] 7 x ( s x )
um isomorfismo para todo x X .
3.5.12 Lema. Na categoria O X -Mod,
coker ker
= ker coker
para HomO X -Mod (F , G ) qualquer.
Demonstrao. Caso que seja um morfismo em O X -Mod, QCoh X , ou Coh X ,
o isomorfismo compatvel com a estrutura de mdulo pois . Portanto, o
isomorfismo pertence categoria O X -Mod.
3.5.13 Corolrio. Nas categorias QCoh X e Coh X ,
coker ker
= ker coker
para Hom(F , G ) qualquer.
3.5.14 Lema. Os morfismos das categorias Sh X , O X -Mod, QCoh X , e Coh X
tem decomposies cannicas.

17

Exemplos Importantes de Categorias Abelianas

Decomposies cannicas

Demonstrao. Seja Hom(F , G ). Ento a decomposio cannica

ker

coker ker

ker coker

coker

pois
i := ( c ) um monomorfismo por causa de ser uma composio de um
morfismo ncleo com um isomorfismo;
p := c um epimorfismo por causa de ser um morfismo concleo;
= i p; e
coker ker
= ker coker ;
e todos os objetos e morfismos pertecem s categorias respectivas.

18

Referncias Bibliogrficas
[Fre64] Peter Freyd, Abelian categories. An introduction to the theory of functors,
Harpers Series in Modern Mathematics, Harper & Row, Publishers, New
York, 1964. MR 0166240 (29 #3517)
[GM03] Sergei I. Gelfand and Yuri I. Manin, Methods of homological algebra, second ed., Springer Monographs in Mathematics, Springer-Verlag, Berlin,
2003. MR 1950475 (2003m:18001)
[Har77] Robin Hartshorne, Algebraic geometry, Springer-Verlag, New York, 1977,
Graduate Texts in Mathematics, No. 52. MR 0463157 (57 #3116)
[Mac96] F.A.A.I.G. Macdonald, Introduction to commutative algebra, AddisonWesley series in mathematics, Sarat Book House, 1996.
[Pic02]

R.C. Picano, lgebra homolgica de feixes, Dissertao de mestrado,

Universidade Estadual de Campinas (UNICAMP), 2002.