Geometria Algebrica

Geometria Algebrica I
?? & Israel Vainsencher

Departamento de Matematica da UFMG
(versao muuuuuuuito preliminar)
26 de Maio de 2010
2
Conte udo
1 variedades ans 5
1.1 conjuntos algebricos . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 ideal de um subconjunto . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 a topologia de Zariski . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 subconjuntos irredutveis . . . . . . . . . . . . . . . . . . . . . . . 9
1.5 componentes irredutveis . . . . . . . . . . . . . . . . . . . . . . . 10
2 funcoes regulares 13
2.1 o anel de coordenadas . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 algebras reduzidas . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.3 germes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.4 func oes regulares . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.5 morsmos de variedades ans . . . . . . . . . . . . . . . . . . . . 16
3 variedades 19
3.1 feixes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2 espacos anelados . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.3 morsmos de variedades . . . . . . . . . . . . . . . . . . . . . . . 21
3.4 espacos projetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.5 variedades projetivas . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.6 variedades quase-projetivas . . . . . . . . . . . . . . . . . . . . . . 28
3.7 grassmannianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.8 coordenadas de Pl ucker . . . . . . . . . . . . . . . . . . . . . . . . 30
4 produto de variedades 33
4.1 produto de variedades ans . . . . . . . . . . . . . . . . . . . . . 33
4.2 produto de variedades arbitrarias . . . . . . . . . . . . . . . . . . 35
4.3 produto de variedades quase-projetivas . . . . . . . . . . . . . . . 36
4.4 o morsmo de Segre . . . . . . . . . . . . . . . . . . . . . . . . . 37
3
4 CONTE
UDO
4.5 morsmos de C em P
n
. . . . . . . . . . . . . . . . . . . . . . . . 39
4.6 morsmos de P
1
em P
n
. . . . . . . . . . . . . . . . . . . . . . . . 40
4.7 morsmos de P
m
em P
n
. . . . . . . . . . . . . . . . . . . . . . . 40
5 dimensao 43
5.1 corpo de fun coes . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
5.2 teorema da dimensao das bras. . . . . . . . . . . . . . . . . . . . 52
5.3 primeiras aplicac oes do TDF . . . . . . . . . . . . . . . . . . . . . 54
5.4 mais aplicac oes do TDF . . . . . . . . . . . . . . . . . . . . . . . 56
6 brados vetoriais 59
6.1 exemplo universal . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
6.2 func oes de transi cao . . . . . . . . . . . . . . . . . . . . . . . . . 60
6.3 homomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
6.4 subbrados vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . 64
6.5 operac oes com brados vetoriais . . . . . . . . . . . . . . . . . . . 65
6.6 o feixe de sec oes . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
6.7 feixes localmente livres . . . . . . . . . . . . . . . . . . . . . . . . 70
6.8 feixes versus brados . . . . . . . . . . . . . . . . . . . . . . . . . 72
6.9 brados em retas sobre P
n
. . . . . . . . . . . . . . . . . . . . . . 73
6.10 n ucleo, imagem e quociente . . . . . . . . . . . . . . . . . . . . . 75
6.11 imagem recproca de brados vetoriais . . . . . . . . . . . . . . . 78
6.12 morsmos na grassmanniana . . . . . . . . . . . . . . . . . . . . . 79
6.13 brados projetivos . . . . . . . . . . . . . . . . . . . . . . . . . . 80
6.14 explosao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
6.15 aplicac ao racional . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
6.16 explosao e proje cao . . . . . . . . . . . . . . . . . . . . . . . . . 82
6.17 Explosao e proje cao, mais intrnsecas. . . . . . . . . . . . . . . . . 84
7 eliminacao 87
7.1 introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
7.2 n = 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
7.3 P
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
7.4 aplicac oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
8 espaco tangente 91
8.1 hipersuperfcie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
8.2 tangente a uma variedade am . . . . . . . . . . . . . . . . . . . . 92
8.3 brado tangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
Captulo 1
variedades ans
1.1 conjuntos algebricos
Uma variedade am e um subconjunto X C
n
denido por um sistema de
equac oes polinomiais,
X = x C
n
[ f(x) = 0, f S.
Sin onimo: conjunto algebrico am; tambem dizemos subconjunto algebrico ou
subvariedade am de C
n
, se necess ario explicitar o espaco ambiente C
n
. Aqui
S denota um subconjunto do anel C[x
1
, . . . , x
n
] dos polin omios a coecientes
em C. Escrevemos tambem X = V(S) para indicar que X e a variedade
am denida pelas equa coes provenientes de S. Quando S = f para al-
gum f C[x
1
, . . . , x
n
], escrevemos simplesmente V(f). Se f e um polinomio
n ao constante, dizemos que V(f) e uma hipersuperfcie. Se o grau de f e 1
(resp. 2, 3. . . ), dizemos que V(f) e um hiperplano (resp. qu adrica, c ubica,. . . ).
Exerccios. 1. V(0) = C
n
; V(1) = . As unicas subvariedades ans de C
1
sao
C
1
e os subconjuntos nitos.
2. Se n 2, toda hipersuperfcie de C
n
e innita.
3. Identicando o espaco das matrizes M(m, n) = C
mn
, para cada r 0 o
subconjunto formado pelas matrizes de posto r e uma subvariedade.
4. As matrizes nilpotentes formam uma subvariedade de M(n, n).
5. O subconjunto Z M(m, n)M(n, p)M(m, p) = C
mn+np+mp
formado pelas
ternas de matrizes A, B, C tais que C = AB e uma subvariedade am.
5
6 CAP
ITULO 1. VARIEDADES AFINS

6. A imagem de Z em M(m, p) e uma subvariedade am.
7. A imagem de C
2
(x, y) (x, xy) C
2
nao e um subconjunto algebrico.
8. Um ponto de uma hipersuperfcie V(f) que anula o gradiente f e dito um
ponto singular. O subconjunto dos pontos singulares de uma hipersuperfcie e
algebrico.
1.1.1. Proposicao.
1. Toda intersecao (possivelmente innita) de subvariedades ans e uma sub-
variedade am.
2. Toda uniao nita de subvariedades ans e uma subvariedade am.
3. Toda subvariedade am de C
n
e uma intersecao nita de hipersuperfcies.
Prova.
1. SejamX
C
n
subvariedades denidas por subconjuntos S
C[x
1
, . . . , x
n
],
. Verica-se facilmente que
V(S
) = V(S
).
2. Se X
1
= V(S
1
), X
2
= V(S
2
), fa camos S
1
S
2
:= f
1
f
2
[ f
i
S
i
. Verica-se que
X
1
X
2
= V(S
1
S
2
).
3. Usaremos o seguinte
Fato. Seja S) o ideal gerado por S C[x
1
, . . . , x
n
]. Entao vale V(S) =
V(S)).
J a que S S), temos evidentemente V(S) V(S)) (mais equac oes, menos
soluc oes!). Por outro lado, todo elemento de S) se escreve na forma
f = g
1
f
1
+ +g
r
f
r
para alguma escolha g
i
C[x
1
, . . . , x
n
], f
i
S. Segue portanto que, se x V(S),
ent ao cada f
i
(x) = 0 e assim f(x) = 0. Isto prova a outra inclusao.
Para completar a prova da 3
a
armac ao, lembramos o
Teorema da base de Hilbert. Todo ideal de C[x
1
, . . . , x
n
] e nitamente ge-
rado.
Logo, escrevendo S) = f
1
, . . . , f
s
), conclumos V(S) = V(f
i
), intersec ao nita
de hipersuperfcies.
Exerccios. 9. Todo subconjunto nito de C

n
e uma subvariedade am.
1.2. IDEAL DE UM SUBCONJUNTO 7
10. Dados P
1
, P
2
, P
3
C
2
, 3 pontos nao alinhados, existem conicas q
1
, q
2
, q
3
tais que P
1
, P
2
, P
3
= V(q
1
, q
2
, q
3
).
11. Se X = P
1
, . . . , P
d
C
n
nao estao alinhados, entao X e denido por
polinomios de grau d 1.
1.2 ideal de um subconjunto
Se X C
n
, denimos
1(X) = f C[x
1
, . . . , x
n
] [ f(x) = x X.
Trata-se de um ideal radical, i.e., para cada f C[x
1
, . . . , x
n
], se existir um
inteiro k tal que f
k
1(X), segue f 1(X).
Temos evidentemente que V(1(X)) X.
1.2.1. Proposicao. Se X C
n
e algebrico, entao V(1(X)) = X.
Prova. Se X = V(I), vale I 1(X). Da e imediato que V(I) V(1(X)).
1.2.2. Teorema. (TZH) Seja I C[x
1
, . . . , x
n
] um ideal. Entao
1(V(I)) = rad(I).
Trata-se de uma das versoes do celebre Nullstellensatz
1
de Hilbert. Por
conveniencia, vamos deduzir a partir do seguinte enunciado aparentemente mais
fraco.
(TZF) Seja Seja I C[x
1
, . . . , x
N
] um ideal maximal. Entao
(c
1
, . . . , c
N
) C
N
tal que I = x
1
c
1
, . . . , x
N
c
N
).
Para provar o teorema, note que uma das inclusoes e facil. Para a outra,
seja f 1(V(I)). Consideremos em C
n+1
= C
n
C
1
o subconjunto X
formado
pelos pontos (x, t) tais que x X e f(x)t = 1. Um minuto de reexao nos con-
vence que X
= . Seja I
C[x
1
, . . . , x
n
, t] o ideal gerado por I f(x)t 1.
Armamos que
() I
= 1).
Caso contrario, existiria ideal maximal m
C[x
1
, . . . , x
n
, t] tal que m
. Se-
guiria pelo TZF, , = V(m
) V(I
), absurdo.
Tendo em vista (), podemos escrever
1 = (f(x)t 1)g
1
(x, t) + f
2
(x)g
2
(x, t) + +f
m
(x)g
m
(x, t)
1
Teorema dos zeros.
8 CAP

com f
i
I, g
i
C[x
1
, . . . , x
n
, t]. Se f = 0, m; caso contr ario, podemos
substituir na igualdade acima t = 1/f(x) e deduzir uma expressao
1 = f
2
(x)g
2
(x, 1/f(x)) + +f
m
(x)g
m
(x, 1/f(x)).
O resultado se deduz eliminando denominadores, todos da forma f
i
para
algum i.
1.3 a topologia de Zariski
A colec ao dos subconjuntos algebricos de C
n
satisfaz os axiomas de colec ao dos
subconjuntos fechados de uma topologia, chamada a topologia de Zariski:
1. , C
n
s ao algebricos;
2. X
1
, . . . , X
m
C
n
algebricos X
1
X
m
algebrico;
3. X
algebrico
algebrico.
Se X C
n
e um subconjunto, convencionaremos consider a-lo como
subespaco topologico com a topologia de Zariski induzida.
Exerccios. 12. Seja X um espaco topologico e seja X
cobertura aberta.
Y X e fechado se e so se X
Y e fechado em X
para cada .
13. Seja X um espaco topologico. Considere a topologia produto em X X.
Mostre que a diagonal = (x, x) [ x X e fechada se e so se X e Hausdor.
1.3.1. Proposicao. Para cada f C[x
1
, . . . , x
n
], X C
n
, seja X
f
= XV(f).
Entao a colecao dos X
f
e uma base de abertos da topologia de Zariski em X.
Prova. Podemos supor X = C
n
. Seja U um aberto e seja Y = X U. Trata-se
de um fechado, e assim Y = V(I) para algum ideal I. Logo, Y =
fI
V(f) e
passando ao complementar, U =
fI
X
f
.
Se X C
n
e uma subvariedade am e f O(X), dizemos que X
f
e um
aberto principal.
Exerccios. 14. Mostre que a topologia de Zariski em C
n
nao e Hausdor.
Entretanto, ela e T
1
, i.e., todo subconjunto nito e fechado.
15. Seja I C[x
1
, . . . , x
n
] um ideal. Sejam f
1
, . . . , f
m
geradores de I. Mostre
que
fI
V(f) = V(f
1
) V(f
m
).
1.4. SUBCONJUNTOS IRREDUT
IVEIS 9
16. Sejam S C[x
1
, . . . , x
n
] e seja X C
n
tais que X =
fS
X
f
. Mostre que
existe um subconjunto nito S
S tal que X =
fS
X
f
.
17. Sejam X C
m
, Y C
n
subconjuntos algebricos. Mostre que X Y
C
m
C
n
= C
m+n
e um subconjunto algebrico. Mostre que se m, n 1, existem
fechados em C
m
C
n
que nao sao da forma XY.
1.4 subconjuntos irredutveis
Diremos que um espa co topologico X e redutvel se existirem fechados X
1
, X
2
tais que
X = X
1
X
2
X , X
1
e X , X
2
.
X e irredutvel caso contrario. Note que irredutvel ,= .
1.4.1. Exemplo. X = 0 C
1
e irredutvel; todo subconjunto nito de C
n
com mais de um elemento e redutvel.
1.4.2. Lema. X e irredutvel se e so se todo subconjunto aberto nao vazio e
denso em X.
Prova. Suponhamos X irredutvel e tome U, U
X abertos nao vazios.

Devemos mostrar que U U
,= . Ora, U U
= U
c
U
c
= X. Aqui
X , U
c
, caso contrario U = .
Recproca = exerccio.
Exerccios. 18. Um subespaco Y de um espaco topologico X e irredutvel se e
so se sua aderencia Y X o for. Irredutvel conexo. Recproca?
19. C
n
, com a topologia de Zariski, e irredutvel. Com a topologia euclidiana,
quais sao os subconjuntos irredutveis R
n
?
20. Todo aberto nao vazio de irredutvel e irredutvel.
21. Mostre que as seguintes condicoes sao equivalentes:
(i) X e irredutvel;
(ii) existe uma cobertura aberta X
i
tal que cada X
i
e irredutvel e nao disjuntos
dois a dois.
(iii) para toda cobertura aberta X
i
,= , vale X
i
X
j
,= i, j.
10 CAP

1.4.3. Lema. Um subconjunto fechado nao vazio X C
n
e irredutvel se e so
se o ideal 1(X) C[x
1
, . . . , x
n
] e um ideal primo.
Prova. Sejam f, g tais que fg 1(X). Temos ent ao X Z(fg) = Z(f) Z(g).
Suponha X irredutvel; segue X Z(f) ou X Z(g),
i.e., f 1(X) ou g 1(X).
Reciprocamente, suponha 1(X) primo. Sejam f, g tais que X
f
,= e X
g
,= .
Devemos mostrar que X
fg
,= . Negando, temos x X, f(x)g(x) = 0. Ou
seja, fg 1(X), logo, digamos f 1(X), contradic ao.
1.4.4. Lema. Seja X
1
X
2
uma cadeia descendente de fechados em C
n
.
Entao existe r tal que X
r
= X
r+1
= . . . . Em palavras, toda cadeia descendente
de fechados em C
n
e estacionaria a partir de certa ordem.
Prova. A cadeia de ideais 1(X
1
) 1(X
2
) estaciona a partir de certa
ordem. Use a prop. 1.2.1 da p. 7.
Exerccios. 22. Seja ( uma colecao nao vazia de fechados em C
n
. Mostre que
existe membro minimal X
0
(, i.e., tal que X (, X X
0
X = X
0
. Que
dizer se trocarmos minimal por maximal?
1.5 componentes irredutveis
1.5.1. Teorema. Seja X C
n
um fechado nao vazio. Entao existe um n umero
nito de fechados irredutves X
1
, . . . , X
r
C
n
tais que
X = X
1
X
r
.
Prova. Seja ( a cole cao dos contra-exemplos. Queremos mostrar que ( = .!!!
Se ( , = , existe contra-exemplo minimal X
0
(. Este n ao pode ser irredutvel
(sen ao, nao seria contra-exemplo...). Logo, existem Y
1
, Y
2
que decomp oem X
0
n ao trivialmente, i.e., X
0
= Y
1
Y
2
, X
0
,= Y
i
. Se Y
i
( contradiz-se a minima-
lidade; se Y
i
, (, ambos se decomp oem e X
0
, (. . .
1.5.2. Corolario. A decomposicao anterior pode ser escolhida de forma que
i ,= j, X
i
, X
j
.
Tal decomposicao irredundante e unica a menos de permutacao.
1.5. COMPONENTES IRREDUT
IVEIS 11
Prova. Na decomposic ao X = X
1
X
r
se ocorrer algum X
i
X
j
, supri-
mimos. Suponha agora X
1
X
r
= Y
1
Y
s
irredundantes. Como Y
1
e
irredutvel, Y
1
X
1
X
r
i X
i
Y
1
. Digamos i = 1. Analogamente,
algum Y
j
X
1
, logo Y
j
Y
1
e segue X
1
= Y
1
. Repita para Y
2
.
Na decomposi cao irredundante acima, cada X
i
e dita uma componente irre-
dutvel de X.
Exerccios. 23. Determine os subconjuntos irredutveis de C. Idem para C
2
.
24. Determine as componentes irredutveis de V(xy zw, zy xw) C
4
.
25. Mostre que se I e um ideal de C[x
1
, . . . , x
n
] gerado por polinomios lineares,
entao V(I) e irredutvel (se ,= ).
26. Seja X um fechado em C
m
e seja I o seu ideal em C[x
1
, . . . , x
m
]. Mostre que
o ideal do fechado XC
n
em C
m+n
=C
m
C
n
(cf. exc.17) em C[x
1
, . . . , x
n+m
] e
igual a ao ideal

I = IC[x
1
, . . . , x
n+m
]. Mostre que

I e primo se I o for; conclua
que neste caso, XC
n
e irredutvel, e reciprocamente.
12 CAP

Captulo 2
o feixe de funcoes regulares
2.1 o anel de coordenadas
Para cada subconjunto X C
n
, denotamos por T(X) a colec ao das funcoes
X C. Trata-se de uma C- algebra com as opera coes naturais de soma e
multiplica cao de fun coes. Estamos interessados naquelas func oes que admitem
uma expressao polinomial. Precisamente, consideremos a aplica cao
C[x
1
, . . . , x
n
]

T(X)
f f
|X
que associa a cada polin omio a fun cao denida por restric ao.
Evidentemente, e um homomorsmo de C- algebras; sua imageme a sub algebra
O(X) das fun coes polinomiais.
Temos, por denic ao, ker = 1(X). Pelo teorema do homomorsmo, segue
O(X) C[x
1
, . . . , x
n
]
_
1(X).
Observe que este ultimo anel quociente depende apenas da variedade am de-
nida por 1(X). Por construc ao, O(X) e a subalgebra de T(X) gerada pelas
restric oes das func oes coordenadas x
i
. Chamamos O(X) o anel de coordenadas
de X.
Talvez a origem hist orica da notac ao O para esse anel seja a palavra em italiano
olomorfa.
2.2 algebras reduzidas
Dizemos que uma C- algebra A e reduzida se 0 e o unico nilpotente.
13
14 CAP
ITULO 2. FUNC

OES REGULARES
2.2.1. Proposicao. Seja X C
n
. Entao O(X) e uma C-algebra reduzida de
tipo nito. Reciprocamente, para toda C-algebra reduzida de tipo nito A existe
uma subvariedade am cujo anel de coordenadas e C-isomorfo à C-algebra A.
Prova. Seja A uma C- algebra de tipo nito. Por denic ao, existe um homomor-
smo sobrejetor de C- algebras,
C[x
1
, . . . , x
n
] A
Seja I seu n ucleo. Temos assim A C[x
1
, . . . , x
n
]
_
I.

E claro que A e reduzida
se e s o se I = rad(I). Segue portanto I = 1(V(I)), mostrando que A e C-
isomorfa ao anel de coordenadas da variedade am V(I).
2.3 germes
Seja X um espaco topologico e seja x X. Considerando C com a topologia
de Zariski, denotamos por T
x
(resp. T
c
x
) a colecao das func oes U C (resp.
contnuas) denidas em alguma vizinhanca aberta U x.
Sejam f : U C, f
: U
C em T
x
. Dizemos que f e germe-equivalente a
f
se existir uma vizinhanca aberta W x tal que W U U
e f
|W
= f
|W
.
Trata-se de uma relac ao de equivalencia. (Vericar!) Cada classe de equivalencia
e chamada um germe de func ao.
Exerccios. 27. Ache um exemplo de espaco topologico no qual a relacao de-
nida em T
c
x
pela condicao
(f : U C) (f
: U
C) f
|UU
= f
|UU
nao e de equivalencia.
28. Se x X e um ponto isolado entao todo germe em x e o germe de uma
funcao constante.
2.3.1. Proposicao. As operacoes de soma e produto estao bem denidas a nvel
de germes. O conjunto dos germes de funcoes contnuas, denotado (
x
, e uma
C-algebra local cujo unico ideal maximal, m
x
, consiste nos germes de funcoes
que se anulam em x.
Prova. Os detalhes da compatibilidade das operac oes de soma e produto em (
x
s ao rotineiros.
Se f (
x
e f(x) ,= 0, o germe de 1/f em x est a bem denido. Como (
x
m
x
e
formado por unidades (i.e., elementos inversveis em (
x
), segue facilmente que
m
x
e o unico ideal maximal.
2.4. FUNC

OES REGULARES 15
2.4 funcoes regulares
Seja X C
n
uma variedade am e seja x X. Dizemos que um germe f (
x
e regular se existem a, b O(X) tais que b(x) ,= 0 e f = a/b em (
x
. Denotamos
por O
X,x
(ou simplesmente O
x
) a colecao dos germes regulares em x; trata-se de
uma C-sub algebra local de (
x
, chamado anel local de X em x.
2.4.1. Lema. Se a, b, c, d O(X), b(x)d(x) ,= 0 entao temos a/b = c/d em
O
X,x
se e so se existe f O(X) tal que f(x) ,= 0 e fad = fbc em O(X).
Prova. Se os germes de a/b, c/d em x s ao iguais, existe um aberto basico X
f
X
contendo x e contido em X
bd
tal que a/b = c/d em X
f
. Logo, ad = bc em X
f
e
conseq uentemente, fad = fbc em X. A recproca ca a cargo do leitor.
Seja U X um aberto. Para cada func ao f : U C e cada x U, podemos
associar o germe f
x
de f em x. Dizemos que f e regular se f
x
e um germe regular
para cada x U. Denotamos por O
X
(U) o anel, de fato C- algebra, das fun coes
regulares no aberto U. Temos por deni cao um homomorsmo de C- algebras
O
X
(U) O
X,x
que associa a cada func ao regular o seu germe no ponto x U.
2.4.2. Proposicao. Seja X uma variedade am e seja O(X). Entao
f : X
C e regular no aberto principal X
se e so se existem a O(X) e
m Z tais que f(x) = a(x)/
m
(x) x X
.
Prova.

E claro que se f = a/
m
ent ao f e regular em X
. Para a recproca, seja

I = b O(X) [ bf O(X) o ideal dos denominadores de f. Basta provar que
algum
m
pertence a I. Mostraremos que
() rad(I).
Supondo demonstrado, obtemos
m
I para algum m 1. Assim,
m
f = a
O(X), e portanto f = a/
m
em X
.
Para provar (), lembrando o (TZH)(1.2.2, p. 7), basta ver que V() V(I).
Dado x V(I), desejamos (x) = 0. Supondo o contrario, temos x X
e f
e regular em x. Logo, existem a, b O(X) tais que b(x) ,= 0 e f = a/b como
germes em x. Isto implica que existe h O(X) tal que h(x) ,= 0 e f = a/b
em X
h
. Da segue bf = a em X
h
. Logo, hbf = ha em X = X
h
V(h).
Portanto, temos hb I, seguindo h(x)(x)b(x) = 0, absurdo.
2.4.3. Corolario. Uma funcao f : X C e regular se e so se f O(X).
16 CAP
ITULO 2. FUNC

OES REGULARES
2.5 morsmos de variedades ans
Uma aplica cao contnua : X Y de variedades ans e dita um morsmo se
para todo aberto V Y e toda func ao regular f O
Y
(V ), a composta
(f) := f
|
1
(V )
e regular. Um morsmo : X Y e um isomorsmo se existir um morsmo
: Y X tal que = i
X
e = i
Y
(aplicac ao idenditade).
Se : X Y e um morsmo, temos para cada x X, y = (x), um
homomorsmo
: O
Y,y
O
X,x
denido de forma an aloga.
Exerccios. 29. A aplicacao identidade e um morsmo. Toda aplicacao cons-
tante e um morsmo. A composta de morsmos X

Y

Z e um morsmo
e se x X, y = (x), z = (y) entao ()
: O
Z,z
O
Y,y
O
X,x
.
30. A aplicacao C t (t
2
, t
3
) V(y
2
x
3
) C
2
e um morsmo bijetivo,
mas sua inversa nao e um morsmo.
2.5.1. Teorema. Uma aplicacao : X Y de variedades ans e um
morsmo se e so se
() f O(Y ), temos f O(X).
Prova. Suponhamos (). Para cada g O(Y ), temos
1
(Y
g
) = X
g
. Logo
e contnua. Seja V Y aberto e tome uma func ao regular g O
Y
(V ).
Devemos mostrar que g O
X
(U) onde U =
1
(V ). Seja x U, y = (x).
Por denicao, temos uma igualdade de germes (em y), g = a/b, com a, b
O(Y ), b(y) ,= 0. Por hipotese, temos
(a),
(b) O(X). Segue a igualdade

de germes (em x),
(g) =
(a)/
(b).
Denotaremos por Mor(X, Y ) a cole cao dos morsmos de X em Y .
2.5.2. Corolario. A correspondencia
que associa a cada morsmo

: X Y de variedades ans o homomorsmo de aneis de coordenadas
:
O(Y ) O(X) e uma bijecao de Mor(X, Y ) sobre a colecao Hom(O(Y ), O(X))
dos homomorsmos de C-algebras.
Prova.

E claro que
e um homomorsmo de C- algebras para cada

Mor(X, Y ). Por outro lado, seja um elemento de Hom(O(Y ), O(X)). Su-
ponhamos Y C
n
, X C
m
e escrevamos
O(Y ) = C[y
1
, . . . , y
n
], O(X) = C[x
1
, . . . , x
m
],
2.5. MORFISMOS DE VARIEDADES AFINS 17
onde y
i
, x
j
denotam as (restric oes das) func oes coordenadas. Seja
i
= (y
i
)
O(X). Cada
i
e (a restric ao de) um polin omio nas variaveis x
1
, . . . , x
m
.
Visto que e um homomorsmo de C- algebras, vale (f) = f(
1
, . . . ,
n
), f
O(Y ).
Denimos : C
m
C
n
fazendo, para cada x C
m
,
(x) = (
1
(x), . . . ,
n
(x)) C
n
.
Note que, para x X, vale (x) Y . De fato, para cada equa cao f 1(Y ), sua
classe f e nula em O(Y ). Logo, 0 = (f) 0 = f(
1
(x), . . . ,
n
(x)) = f( (x)).
segue facilmente que induz um morsmo X Y , cujo homomorsmo asso-
ciado coincide com .
2.5.3. Proposicao. Na correspondencia acima, temos que
1. a imagem de : X Y e densa se e so se o homomorsmo
: O(Y ) O(X)
e injetivo;
2. se
: O(Y ) O(X) e sobrejetivo entao a imagem de e fechada em

Y e o mapa induzido X (X) e um isomorsmo, e reciprocamente.
Prova. 1. Seja f O(Y ) tal que
f = 0. Isto signica que f((x)) =

0 x X, ou seja, f se anula na imagem. Como esta e densa e f e contnua,
segue que f = 0.
Seja U aberto nao vazio de Y . Devemos mostrar que U (X) ,= . Podemos
supor U = Y
f
, aberto b asico. N ao vacuidade implica f ,= 0. Injetividade
acarreta
f ,= 0. Logo, existe x X tal que f((x)) ,= 0, ou seja (x)

(X) Y
f
, como desejado.
2. Seja I = ker . Se
e sobrejetivo, temos o isomorsmo induzido

O(Y )/I O(X).
Ora, O(Y )/I e o anel de coordenadas da subvariedade fechada V(I) Y , e
portanto segue o isomorsmo X (X). Para a reciproca, seja I = 1((X)) o
ideal da imagem, que e fechada por hipotese. Por hip otese, segue que o mapa in-
duzido O(V(I)) O(X) e um isomorsmo. Compondo com o mapa quociente,
O(Y ) O(Y )/I = O(V(I)), segue o resultado.
Exerccios. 31. Seja : X Y um morsmo sobrejetivo de varieades ans.
Mostre que e um isomorsmo se e so se para cada x X, y = (x), o
homomorsmo induzido
: O
Y,y
O
X,x
e sobrejetivo.
18 CAP
ITULO 2. FUNC

OES REGULARES
32. Seja X = V(x
1
x
2
= 1) C
2
e seja : X Y = C a projecao (x
1
, x
2
)
x
1
. Mostre que
: O
Y,y
O
X,x
e um isomorsmo para todo x X, y = (x).
33. Seja : C
m
C
n
C
mn
a aplicacao denida por
(x, y) (x
1
y
1
, . . . , x
1
y
n
, . . . , x
m
y
n
).
Mostre que e um morsmo.

E injetivo? A imagem e fechada? Sejam V = V(x
1
1), W = V(y
1
1). Mesma questao para a restricao de a V W C
m
C
n
.
34. Mostre que o graco de um morsmo de variedades ans, : X Y e
fechado em XY.
35. Mostre que a imagem do morsmo C
2
C
2
denido por (x, xy) nao e
aberta nem fechada. Mostre que existe um aberto nao vazio de C
2
contido na
imagem.
36. Mostre que todo morsmo bijetivo C C e um isomorsmo. (Falso tro-
cando C por um corpo de caracterstica > 0.) Vale para C
n
C
n
, n > 1?
Captulo 3
variedades
3.1 feixes
Seja X um espaco topologico e seja A a colec ao dos seus abertos. Um pre-feixe
de conjuntos (resp. de grupos, aneis, etc.. . . ) e uma famlia T(U)
UA
de con-
juntos (resp. grupos, . . . ), indexada pelos abertos de X, tal que, para cada par
de abertos encaixados U U
e dada uma aplicacao (resp. homomorsmo. . . )
U
U
: T(U) T(U
)
satisfazendo
1.
U
U
= I
F(U)
(identidade);
2. se U U
s ao abertos, ent ao

U
U
=
U
U
.
Cada elemento de T(U) e chamado uma secao do pre-feixe T sobre o aberto
U X.
Se f e uma se cao de T sobre um aberto U e U
U e um aberto, dizemos que
U
U
(f) e a restric ao de f a U
. A aplicac ao
U
U
e chamada de restric ao. Por

simplicidade, escrevemos tambem
f
|U
=
U
U
(f).
Um morsmo de pre-feixes : T T
e uma colec ao aplica coes
U
: T(U) T
(U), U U
compatveis com as restric oes,
U
(f)[U
=
U
(f[U
).
Se T e um pre-feixe de grupos (aneis, etc.) exige-se igualmente que
U
seja um homomorsmo de grupos, etc. A noc ao de composic ao de morsmos e
evidente; idem para isomorsmo.
19
20 CAP
ITULO 3. VARIEDADES
Se f T(U), g T(V ) s ao sec oes sobre abertos U, V , dizemos que elas sao
compatveis se
f
|UV
= g
|UV
.
Se existir uma sec ao h T(U V ) cuja restric ao a U (resp. V ) e igual a f (resp.
g), e claro que f, g s ao compatveis.
Um pre-feixe T e um feixe se, para toda cole cao de abertos U
i
X
iI
,
(1) para toda escolha de secoes f
i
T(U
i
) compatveis duas a duas, existe uma
sec ao f T(
U
i
) que estende cada f
i
, ou seja, tal que
f
|U
i
= f
i
(2) para todo par de sec oes f, g T(
U
i
) tais que f
|U
i
= g
|U
i
i, vale f = g.
Exerccios. 37. Seja X = 1, 2 com a topologia discreta. Dena T(X) =
X X, T(1) = X, T(2) = X e os mapas de restricao T(X) T(i)
dados pelas projecoes X X X. Mostre que T e um feixe. Modique
T(1) = 1; agora o pre-feixe T nao e um feixe: existem secoes distintas com
as mesmas restricoes na cobertura i, i = 1, 2.
38. De exemplo de pre-feixe e colecao de abertos com secoes compatveis duas
a duas que nao se estendem à uniao desses abertos.
Os exemplos b asicos, de fato motivadores de toda essa terminologia, s ao os
feixes de fun coes contnuas, diferenciaveis, regulares. . .
3.2 espacos anelados
Um espaco anelado e um espaco topologico munido de um feixe de aneis. Esta-
mos inicialmente de fato interessados apenas no caso em que, para cada aberto
U X, T(U) e uma algebra de funcoes U C.
Um morsmo : (X, T) (X
, T
) de espacos anelados, consiste em uma

aplicac ao contnua, por abuso ainda denotada : X X
, tal que, para

cada aberto U
se U =
1
U
, para cada fun cao f T
(U
), a com-
posic ao,
f := f
|U
T(U). Isto dene um homomorsmo de C- algebras
T
(U
T(
1
(U
)).
Dene-se de maneira evidente a composic ao de morsmos bem como a noc ao
de isomorsmo de espacos anelados.
3.3. MORFISMOS DE VARIEDADES 21
Se (X, T) e um espaco anelado, entao para cada aberto U X temos uma
estrutura induzida de espaco anelado, dada pela restric ao do feixe de aneis T ao
aberto U. A inclus ao U X dene um morsmo de espacos anelados.
Os exemplos b asicos sao os morsmos de variedades ans, cf. 2.5, p. 16.
Dizemos que um espaco anelado (X, T) e uma variedade se for localmente
am, i.e., se existir uma cobertura aberta U
i
de X tal que cada (U
i
, T
|U
i
) e
isomorfo, como espaco anelado, a uma variedade am. Exigiremos tambem que
X seja quase-compacto, i.e., toda cobertura aberta admite uma subcobertura
nita. Denotaremos por O
X
, ao inves de T, o feixe de fun coes regulares de uma
variedade X. Dizemos que uma variedade e am se for isomorfa a uma variedade
am.
3.2.1. Lema. Seja X uma variedade; sejam U,V,W abertos tais que U,V sao
ans e x W U V . Entao existem f O
X
(U), g O
X
(V ) tais que
x U
f
= V
g
W.
Prova. Escolhemos inicialmente x U
f
V
g
W. Podemos ent ao supor,
renomeando, U V variedades ans, com x U aberto em V . Sejam B =
O
X
(U) O
X
(U) = B. Temos x V
a
U para algum a A. Temos igualmente
x U
b
V
a
para algum b B. Visto que b e regular em U, sua restric ao a
V
a
e regular; portanto se escreve na forma b = c/a
n
, c A, n Z. Temos
evidentemente U
b
= V
ac
.
3.2.2. Proposicao. Seja X uma variedade e seja x X. Seja U um aberto
am de X contendo x. Entao o anel local dos germes de funcoes regulares de U
em x independe da escolha da vizinhanca U de x.
Prova. Temos de fato O
U,x
= O
U
f
,x
para cada func ao regular f em U n ao nula
em x. Basta agora aplicar o lema anterior: O
U
f
,x
= O
V
g
,x
.
3.3 morsmos de variedades
Um morsmo de variedades : X Y e uma aplicac ao contnua que local-
mente se expressa como morsmo de variedades ans. Precisamente, para cada
aberto am V Y e para cada aberto am U
1
V , o morsmo induzido
|U
: U V e um morsmo de variedades ans. Corresponde portanto a um
homomorsmo entre os aneis de coordenadas,
: O(V ) O(U).
Em particular, se Y e uma variedade am, cada morsmo : X Y induz
no feixe de func oes regulares O
X
uma estrutura de feixe de O(Y ) algebras
reduzidas de tipo nito, e reciprocamente (cf. 2.2.1).
22 CAP
ITULO 3. VARIEDADES
A recproca signica o seguinte. Suponhamos que o feixe O
X
seja um feixe de
O(Y ) algebras reduzidas de tipo nito. Para cada aberto am U X, o homo-
morsmo estrutural O(Y ) O
X
(U) corresponde a um morsmo de variedades
ans
U
: U Y . Se U
X e tambem um aberto am, temos igualmente um

morsmo,
U
: U
Y correspondente ao homomorsmo O(Y ) O

X
(U
).
Seja U
aberto am de U U
.
Visto que o diagrama de homomorsmos abaixo comuta,
O
X
(U)
P
P
P
P
P
P
P
P
P
P
P
P
O(Y )
t
t
t
t
t
t
t
t
t

J
J
J
J
J
J
J
J
J
O
X
(U U
)

O
X
(U
)
O
X
(U
n
n
n
n
n
n
n
n
n
n
n
n
temos igualmente a comutatividade do seguinte,
U
U
.y
y
y
y
y
y
y
y
Y U
1Q
F
F
F
F
F
F
F
F
F
m
M
.x
x
x
x
x
x
x
x
U
E
E
E
E
E
E
E
E
mostrando que
U
,
U
s ao compatveis, portanto bem-denindo : X Y .
3.3.1. Proposicao. Seja X uma variedade e seja U X um aberto. Entao a
restricao do feixe de funcoes regulares O
X
a U induz uma estrutura de variedade
em U.
Prova. A quest ao e mostrar a existencia de uma cobertura de U por abertos U
tais que cada (U
, O
X|U
) seja uma variedade am. Ora, X admite uma cober-

tura por abertos ans X
i
. Trocando X por X
i
e U por U X
i
, podemos supor
X am. Seja f O
X
(X) tal que U X
f
. Basta mostrar que o espaco anelado
(X
f
, O
X|X
f
) e uma variedade am. Seja Y
f
X C a variedade am denida
pela equacao tf(x) 1 = 0, x X, t C. Seja p : X C X a proje cao. A
restric ao a Y
f
induz um morsmo bijetivo sobre X
f
, que continuamos a denotar
por p. Seja q : X
f
X C denida por q(x) = (x, 1/f(x)). Temos que, para
cada func ao regular
3.3. MORFISMOS DE VARIEDADES 23
g : X C C,
a composta q
g e uma func ao regular em X

f
, ja que se expressa como um quo-
ciente de func oes polinomiais com denominador da forma f
m
, m N. Logo q e
um morsmo, evidentemente inverso de p : Y
f
X
f
.
Com a notac ao da prop. acima, dizemos que U e uma subvariedade aberta
da variedade X.
Exerccios. 39. Seja X uma variedade e seja : X C
n
, (x) = (
1
(x), . . . ,
n
(x))
uma aplicacao. Mostre que e um morsmo cada
i
e uma funcao regular.
40. Seja : X Y um morsmo de variedades. Mostre que para cada x
X, y = (x), existe um e um so homomorsmo de C-algebras O
Y,y
O
X,x
Exerccios. 41. Mostre que todo aberto de C e uma variedade am.
42. Seja U = C
2
(0, 0). Mostre que U nao e uma variedade am. Idem para
o complementar de uma reta em C
3
.
3.3.2. Proposicao. Seja X uma variedade e seja Z X um fechado. Entao
Z admite uma estrutura de variedade caracterizada pela seguinte propriedade:
para cada aberto am U X, o anel O
Z
(U Z) e formado pelas restricoes
f
|UZ
, f O
X
(U).
Prova. Por construc ao, como espaco topol ogico Z admite uma cobertura for-
mada por abertos homeomorfos a variedades ans. Resta ver que a receita para
O
Z
dene de fato um feixe de func oes. Note que, para cada aberto am U como
no enunciado, j a sabemos que O
ZU
e um feixe do tipo esperado. A quest ao ca
resolvida com o lema mais geral enunciado a seguir.
3.3.3. Lema. Seja Z um espaco topologico e seja Z
i
, i I, uma base de
abertos. Suponha cada Z
i
munido de um feixe T
i
tal que T
i|Z
i
Z
j
= T
j|Z
i
Z
j
.
Entao existe um unico feixe T em Z tal que T
|Z
i
= T
i
i I.
Prova. Para cada aberto U Z, denimos T(U) como o subconjunto de
Z
i
U
T
i
(Z
i
)
formado pelas famlias compatveis, i.e.,
(f
i
T
i
(Z
i
)) tais que f
i|Z
i
Z
j
= f
j|Z
i
Z
j
.
24 CAP
ITULO 3. VARIEDADES
Dene-se para cada par de abertos U V de maneira evidente o mapa de
restric ao T(V ) T(U), simplesmente desprezando os membros f
i
tais que
V Z
i
, U. Seja U
cobertura aberta de U e seja (f
i
)

T(U
) tal
que (f
i
)[U
= (f
i
)[U
. Existe uma unica famlia compatvel (g

i
) T(U)
cuja restric ao a cada U
coincide com (f
i
). De fato, xado i tal que Z
i
U,
recobrimos Z
i
por U
Z
i
e consideramos a famlia
(g
k
= f
k
), Z
k
U
Z
i
, k = k
i
.
Como esses Z
k
i
recobrem Z
i
, a condic ao de compatibilidade fornece g
i
T
i
(Z
i
)
que induz (g
k
). A unicidade e clara e ca como exerccio.
Nas condicoes da prop. anterior, dizemos que Z X e uma subvariedade
fechada de X. Em geral, uma subvariedade de X e uma subvariedade fechada
de uma subvariedade aberta de X.
Exerccios. 43. Seja T um pre-feixe sobre um espaco topologico X. Para cada
x X, denimos o talo T
x
de T em x de maneira analoga ao feito para germes:
classes de equivalencia de secoes s T(U), onde U denota uma vizinhanca
aberta de x; declaramos s s
T(U
), U
x aberto, se existir aberto U

U U
, x U
, de maneira que s[U
= s
[U
T(U
). Para cada s T(U),

denotamos por s
x
sua classe de equivalencia em T
x
. Denimos um pre-feixe

T
fazendo
T(U) = (s
x
)
xU
, s
x
T
x
[ a famlia (s
x
) e localmente determinada.
Esta condicao signica que,
x U aberto U
U, U
x, s
T(U
) com s
y
= s
y
y U
.
Mostre que

T e um feixe. Mostre que a aplicacao T(U) s (s
x
T
x
)
xU

T(U) dene um morsmo de pre-feixes, denotado

F
. Mostre que
F
e um
isomorsmo se e so se T e um feixe. Mostre que para todo morsmo de pre-
feixes : T (, se ( e um feixe entao existe um unico morsmo de feixes
:

T ( tal que
F
= . (O feixe

T e dito a feixicacao do pre-feixe T.)
44. Seja : T ( um morsmo de pre-feixes sobre X. Mostre que existe um
e um so morsmo de feixes :

T

( tal que
G
=
F
.
45. Seja X = 1, 2 com a topologia discreta. Dena T(U) = Z se U =
X, T(U) = 0 se U ,= X, com homomorsmos de restricao obvios. Descreva
T
46. Seja : T ( um morsmo de pre-feixes sobre X. Mostre que, para todo
x X existe um e um so morsmo
x
: T
x
(
x
tal que, para todo aberto
U x, o diagrama abaixo comuta,
3.4. ESPAC OS PROJETIVOS 25
T(U)

U
((U)

T
x
(
x
x
onde os mapas verticais sao dados por s s
x
. Mostre que, se
U
e inje-
tivo (resp. sobrejetivo) U, entao
x
e injetivo (resp. sobrejetivo) x. Vale a
recproca?
47. Notacoes como acima, suponha que T, ( sao feixes. Mostre que as seguintes
condicoes sao equivalentes:
(i) e um isomorsmo de feixes;
(ii) e um isomorsmo de pre-feixes;
(iii)
x
: T
x
(
x
e um isomorsmo x X.
48. O exerccio anterior falha para pre-feixes?
Os principais exemplos de variedades ser ao denidos a seguir.
3.4 espacos projetivos
Como conjunto, o espaco projetivo P
n
e a colecao dos subespa cos de dimensao
um em C
n+1
. Denimos uma topologia considerando a aplica cao
C
n+1
0

P
n
v = (x
1
, . . . , x
n+1
) [v] = [x
1
, . . . , x
n+1
],
(3.1)
onde [v] denota o subespa co gerado por v C
n+1
0. Para cada [v] = [x
1
, . . . , x
n+1
]
P
n
, dizemos que x
1
, . . . , x
n+1
s ao suas coordenadas homogeneas. Estas s o est ao
determinadas a menos de fator constante.
Munimos P
n
da topologia quociente pela aplicacao :
U P
n
e aberto
1
(U) e aberto em C
n+1
.
Observe que um subconjunto V C
n+1
0 e da forma
1
(U) se e so se
v V e t C
, temos tv V . Suponhamos V aberto ,= e seja f uma func ao

regular em V . Se v V , existem a
v
, b
v
C[x
1
, . . . , x
n+1
] tais que b
v
(v) ,= 0 e
f = a
v
/b
v
numa vizinhanca de v. Podemos supor que mdc(a
v
, b
v
) = 1. Se w V
e escolhemos a
w
, b
w
tambem primos relativos, segue uma igualdade a
w
/b
w
=
a
v
/b
v
em algum aberto ,= . Logo, a
w
b
v
= a
v
b
w
. Fatoracao unica implica
a
w
= a
v
, b
w
= b
v
(a menos de fator constante), de maneira que a representac ao
de f = a/b e de fato unica, com a, b primos entre si e b(v) ,= 0 v V .
26 CAP
ITULO 3. VARIEDADES
O feixe de funcoes regulares em P
n
e denido pelas func oes invariantes por
homotetias.
Suponhamos V =
1
(U) ,= ; seja f : V C uma func ao regular tal
que f(tv) = f(v)t C
, v V . Armamos que f = a/b com a, b polin omios

homogeneos de mesmo grau, que podemos supor primos entre si. Escrevamos
a = a
0
+ +a
r
, b = b
0
+ +b
s
, com cada a
i
, b
i
homogeneo de grau i, a
r
,= 0 ,= b
s
.
Da igualdade
a
0
+ +a
r
b
0
+ +b
s
=
a
0
+ta
1
+t
r
a
r
b
0
+tb
1
+t
s
b
s
segue, eliminando denominadores, r = s, a = a
r
, b = b
r
.
Denimos, para cada aberto U P
n
, V =
1
(U),
O
P
n(U) = f O
C
n+1(V ) [ f(tv) = f(v)t C
, v V .
Segue facilmente que temos denido um feixe de func oes em P
n
. Vemos de
imediato que a aplicac ao quociente e um morsmo de espacos anelados.
Resta ver que P
n
e localmente am. De fato, vamos exibir uma cobertura
aberta de P
n
formada por variedades isomorfas a C
n
.
3.4.1. Lema. Seja V C
n+1
0 um aberto invariante por homotetias, e seja
X = C
n+1
V . Entao 1(X) e gerado por polinomios homogeneos.
Prova. Se X = 0, obvio. Seja agora x X, x ,= 0. Temos C
x X.
Seja f 1(X). Escrevemos f = f
0
+ + f
m
, soma de polinomios ho-
mogeneos. Calculamos, t C
, 0 = f(tx) = f
0
+tf
1
(x) + +t
m
f
m
(x). Segue
0 = f
0
= f
1
(x) = = f
m
(x) e portanto deduzimos que cada f
i
1(X).
Para cada polin omio homogeneo H C[x
1
, . . . , x
n+1
], temos um aberto
P
n
H
P
n
tal que
1
(P
n
H
) = C
n+1
H
= H(x) ,= 0
3.4.2. Proposicao. A colecao P
n
H
e uma base da topologia de P
n
.
Prova. Segue do lema anterior. De fato, se V =
1
(U) e aberto, seu comple-
mentar e intersec ao de hipersuperfcies denidas por polin omios homogeneos.
3.4.3. abertos can onicos.
Seja U
i
= [x
1
, . . . , x
n+1
] P
n
[ x
i
,= 0 = P
n
x
i
.
Seja V
i
= (x
1
, . . . , x
n+1
) C
n+1
[ x
i
= 1
1
P
n
x
i
.
Mostremos que :=
|V

i
: V
i
U
i
e um homeomorsmo.
Por simplicidade, tomamos i = n + 1 e abreviamos U = U
i
, V = V
i
.
3.5. VARIEDADES PROJETIVAS 27
Continuidade e bijetividade, facil.
Agora e suciente mostrar que e uma aplicac ao aberta.
O anel de coordenadas de V e naturalmente o anel de polin omios C[x
1
, . . . , x
n
],
mediante o isomorsmo natural com C[x
1
, . . . , x
n+1
]/x
n+1
1). Uma base de
abertos de V e dada por V
f
, f O(V ). Seja F a homogeneizac ao de f com
respeito à vari avel suprimida, x
n+1
.

E imediato que (V
f
) = U
F
, e portanto
e aberta.
Vejamos o que se passa a nvel dos feixes de func oes regulares. Seja U
U
um aberto e seja V
=
1
U
V . Cada func ao regular em U
e da forma
g = G/F, com G homogeneo de grau deg G = deg F, e F n ao nula em U
. Sejam
G
, F
as restric oes de G, F a V ; trata-se da desomogeneiza cao com respeito a

x
n+1
.

E claro que
(g) = G
/F
O
V
(V
).
Reciprocamente, seja g
O(V
). Visto que V
e um aberto de V C
n
C
n+1
, podemos escrever g
= G
/F
, com F
, G
C[x
1
, . . . , x
n
], G
(x) ,= 0 x
V
. Homogeneizando com respeito a x

n+1
e, se necess ario, completando grau
multiplicando por uma potencia de x
n+1
, obtemos polin omios homogeneos G, F
do mesmo grau, de maneira que G/F restrito a V
coincide com g
.
Exerccios. 49. P
n
e uma variedade irredutvel.
50. Notacao como em 3.1, um subconjunto Y de P
n
e irredutvel se e so se
1
Y C
n+1
o for.
3.5 variedades projetivas
Em P
n
, os subconjuntos fechados s ao denidos como zeros de ideais homogeneos
em C[x
1
, . . . , x
n+1
]. Com efeito, se X P
n
e fechado, sua imagem inversa por
e dada pelos zeros em C
n+1
0 de um ideal homogeneo, como ja comentado
na prova da proposicao anterior.
Se X P
n
e fechado, denimos o anel de coordenadas homogeneas
A
h
(X) = C[x
1
, . . . , x
n+1
]
_
1(X).
Embora os elementos de A
h
(X) nao possam ser interpretados como func oes,
aqueles que provem de polinomios homogeneos desempenham importante papel.
Se F A
h
(X) e a classe de um polin omio homogeneo, a condic ao F(x) = 0 faz
sentido para x X.
Denimos X
F
= x X [ F(x) ,= 0.
28 CAP
ITULO 3. VARIEDADES
Como no caso am, cada subconjunto de P
n
herda a topologia induzida de
Zariski. Se X P
n
e fechado, uma base de abertos para a topologia de Zariski
em X e dada pelos subconjuntos da forma X
F
, F A
h
(X) homogeneo.
Uma subvariedade projetiva de P
n
e, como espa co topol ogico, um subcon-
junto fechado X P
n
; o feixe de func oes regulares se dene como na prop. 3.3.2.
Podemos explicitar da seguinte maneira. Para cada ponto x X, dizemos que
um germe de func ao f e regular em x se existirem polinomios homogeneos F, G
do mesmo grau, tais que G(x) ,= 0 e f = F/G como germes em x.
A exemplo do caso am, para cada aberto U X, o anel de func oes regulares
O
X
(U) e formado pelas func oes U C cujos germes s ao regulares em cada
x U.
Temos assim um espaco anelado (X, O
X
) que e de fato uma variedade.
Para vericar, consideramos a cobertura aberta X
i
1in+1
denida pondo
X
i
= X U
i
(veja 3.4, p. 26).
Cada X
i
e fechado na variedade am U
i
. Alem disso, mostra-se que o iso-
morsmo de variedades U
i
C
n
induz um isomorsmo de X
i
na sua imagem,
subvariedade am de C
n
.
3.6 variedades quase-projetivas
Dizemos que uma variedade e projetiva se for isomorfa a uma subvariedade
projetiva de P
n
.
Uma variedade e dita quase-projetiva se for isomorfa a um aberto de uma
variedade projetiva.
Toda variedade am, e mesmo toda subvariedade aberta de uma variedade
am, e uma variedade quase-projetiva.
Em linhas gerais, a passagem amquaseprojetiva e feita
a nvel de espacos topologicos, tomando uma inclus ao
X C
n
P
n
;
e quanto ` as funcoes regulares, expressando um germe seja como quociente
de elementos do anel de coordenadas, seja como restric ao de quociente de
polin omios homogeneos.
3.6.1. Lema. Seja X P
n
subvariedade quase-projetiva. Entao X e aberto
em sua aderencia X em P
n
.
3.7. GRASSMANNIANAS 29
Prova. Temos por denic ao X = U Y com U aberto e Y fechado em P
n
. Logo,
X e fechado em U. Mostremos que X = U X =: X
. Temos X Y , logo
X
X. Se X X
,= ent ao U X
, que e aberto em U, logo aberto, encontra

X. Logo encontra X:
(U X
) X ,= = (U X
) (U X) = (U X
) X
= .
3.7 grassmannianas
As variedades de Grassmann generalizam os espacos projetivos. Como conjunto,
denimos
Gr
r
C
n
= subespacos de dimens ao r em C
n
Em particular, Gr
1
C
n
= P
n1
.
A estrutura de variedade pode ser construda como no caso de P
n
. Conside-
ramos o aberto M(r, n)
0
de M(r, n) formado pelas matrizes r n de posto r. O
mapa natural
: M(r, n)
0
Gr
r
C
n
(3.2)
que associa a cada matriz o espaco gerado pelas linhas induz a topologia quoci-
ente. Os abertos de Gr
r
C
n
denidos pela escolha de posic ao de menor r r ,=0
s ao homeomorfos a fatias C
r(nr)
M(r, n), e.g., do tipo
V =
__
1 0 ... 0 a
1,r+1
... a
1,n
0 1 ... 0 a
2,r+1
... a
2,n
... ... ... ... ... ... ...
0 0 ... 1 a
r,r+1
... a
r,n
__
C
r(nr)
. (3.3)
Nesta fatia, escolhemos o primeiro bloco r r normalizado como a matriz
identidade.

E claro que V se aplica bijetivamente sobre sua imagem em Gr
r
C
n
.
Para ver que o mapa : V (V ) = U induzido por e um homeomorsmo,
e novamente suciente mostrar que se trata de uma aplicac ao aberta. Seja
V
V um aberto na topologia de Zariski e ponha U
= (V
). Seja :
M(r, n) C denida por det(x
ij
)
1i,jr
,= 0. Seja M
o aberto principal.
Temos o isomorsmo
GL(r) V GL(r) V =
_
gV =
1
U = M
.
Visto que GL(r) V
e aberto em GL(r) V , segue que GL(r) V
gV
1
U
e aberto e portanto e aberta.

Seja

V um aberto de M(r, n)
0
invariante pela a cao de GL(r). Temos assim
V =
1
V . Como no caso de P
n
, denimos o feixe de func oes regulares em
30 CAP
ITULO 3. VARIEDADES
Gr
r
C
n
como o subfeixe das fun coes regulares de M(r, n)
0
invariantes por GL(r).
Veriquemos que Gr
r
C
n
ca assim munido de estrutura de variedade. A quest ao
central e vericar o car ater localmente am. Ora, temos a cobertura aberta
formada pelos subconjuntos do tipo U = (V ) C
r(nr)
. Seja U
U aberto.
Seja f : U
C uma func ao regular. Por deni cao,
f e uma func ao regular em
1
U
invariante por GL(r). O ponto agora e perceber que
f e completamente
determinada por sua restric ao, f, a V
=
1
U
V V C
r(nr)
. Mas
isto decorre da invariancia! De fato, para cada x
1
U
, existe um e um
s o g GL(r) tal que v = g
1
x V : basta tomar g como o primeiro
bloco r r da matriz x. Temos assim
f(x) = f(g
1
x). Reciprocamente,
para cada f O
V
(
1
U
V ), a f ormula anterior (GL(r) V (g, v)

f(v)) dene uma extens ao invariante de f ao aberto
1
U
(Usar o isomorsmo
GL(r)V GL(r)V ). Em conclusao, a restri cao do feixe de fun coes invariantes
ao aberto tpico U fornece um isomorsmo de espacos anelados com V C
r(nr)
,
completando a vericac ao de que a grassmanniana Gr
r
C
n
e uma variedade.
Veremos em seguida que Gr
r
C
n
e de fato uma variedade projetiva.
3.8 coordenadas de Pl ucker
Iniciamos com uma revis ao de algebra multilinear. Seja V um espaco vetorial.
Denota-se por
_
r
V a r-esima potencia exterior de V . Se dimV = n ent ao
dim
_
r
V =
_
n
r
_
.
Temos uma aplicac ao r-linear alternada universal
V V
_
r
V
(v
1
, . . . , v
r
) v
1
v
r
.
A imagem de uma r-upla de vetores v
1
, . . . , v
r
V se escreve v
1
v
r
,
chamado um rvetor decomponvel. Se v
1
, . . . , v
n
V formam uma base de V ,
os vetores v
i
1
v
i
r
, com 1 i
1
< < i
r
n formam uma base de
_
r
V .
3.8.1. Lema. Seja W V um subespaco de dimensao r. Sejam v
1
, . . . , v
r
e
v
1
, . . . , v
r
bases de W. Entao v
1
v
r
e v
1
v
r
sao m ultiplos nao nulos
um do outro.
Prova. Sabemos que se passa de uma base a outra por operac oes elementares,
e.g., v
1
v
1
+ cv
2
, c C. Cada operacao deste tipo fornece um m ultiplo n ao
nulo.
O lema mostra que, para cada subespaco W C
n
de dimensao r, temos bem
denido um ponto
r
W P(
_
r
C
n
) = P
(
n
r
)
1
. Temos de fato o mergulho de
3.8. COORDENADAS DE PL
UCKER 31
Pl ucker.
3.8.2. Proposicao. O mapa de Pl ucker : W
r
W acima denido e um
isomorsmo de Gr
r
C
n
em uma subvariedade projetiva de P(
_
r
C
n
).
Prova. Seja e
1
, . . . , e
n
a base can onica de C
n
. As linhas da matriz x = (x
ij
), 1
i r, 1 j n, que geram W se expressam na forma
x
ij
e
j
, com i =
1..r. Escrevamos z
J
para a coordenada homogenea correspondente ao r-vetor
e
j
1
e
j
r
. Ent ao (W) =
r
W tem coordenadas homogeneas z
J
(x) = det x
J
,
menor determinante r r obtido pela escolha das colunas em J = j
1
< < j
r
.
Seja J
0
= 1 < < r correspondente ao primeiro bloco de x. A imagem
inversa do aberto basico U
J
0
= z
J
0
,= 0 P
(
n
r
)
1
e igual ` a imagem U da fatia
(3.3) V . A express ao de restrita a U C
r(nr)
inclui, entre as coordenadas,
z
J
ik
= a
i,r+k
, 1 i r, 1 k n r,
que e o subdeterminante com escolha de colunas
J
ik
= 1 < 2 < <
i < < r < r +k

em que omitimos i das r primeiras colunas consecutivas e inclumos r + k. Isto
mostra que o homomorsmo
U
: O(U
J
0
) O(U) e sobrejetivo. Segue de
(2.5.3, p. 17) que
U
: U (U) e um isomorsmo sobre o fechado (U)
U
J
0
.
3.8.3. Exemplo. Gr
2
C
4
P
5
. Para cada matriz x M(2, 4), seja
x =
_
x
11
x
12
x
13
x
14
x
21
x
22
x
23
x
24
x
11
x
12
x
13
x
14
x
21
x
22
x
23
x
24
_
matriz obtida repetindo as duas linhas. Temos det x = 0. Desenvolvendo pelos
menores 22 das 2 primeiras linhas, obtemos a equac ao
z
12
z
34
z
13
z
24
+z
14
z
23
= 0.
Trata-se de uma hipersuperfcie qu adrica emP
5
, chamada de qu adrica de Pl ucker-
Klein. Este e o unico caso em que a grassmanniana mergulha como uma hiper-
superfcie.
O metodo para achar equac oes para a imagem de Gr
r
C
n
em geral e seme-
lhante. Supondo 2r n fazemos x a matriz 2r n obtida repetindo as r linhas
que geram um subespaco. Calculamos os
_
n
r
_
subdeterminantes (nulos!) 2r 2r
de x, expandindo pelos menores das r primeiras linhas. Veja as equac oes para
Gr
2
C
5
P
9
, calculadas usando Singular, [?].
32 CAP
ITULO 3. VARIEDADES
z
7
z
8
z
6
z
9
z
5
z
10
, z
4
z
8
z
3
z
9
z
2
z
10
,
z
4
z
6
z
3
z
7
+z
1
z
10
, z
4
z
5
z
2
z
7
z
1
z
9
, z
3
z
5
z
2
z
6
z
1
z
8
As rotinas utilizadas acima estao disponveis em
http://www.mat.ufmg.br/
~
israel/Sing/myprocs.sing
Exerccios. 51. Prove que, se V e um espaco vetorial de dimensao n entao
Gr
r
V Gr
nr
V
. Mostre que P
n
e isomorfo a Gr
1
C
n+1
.
52. Se V e um subespaco de V
entao a aplicacao natural de Gr

r
V em Gr
r
V
e
um morsmo. Prove que a imagem e fechada e o mapa induzido sobre a imagem
e um isomorsmo.
53. Sej V um espaco vetorial de dimensao n e seja W V um subespaco de
dimensao n r. Mostre que a colecao dos subespacos W
Gr
r
V tais que
W
W = 0 e um aberto de Gr
r
V.
54. Notacao como no exc. (65, p. 38), descreva em coordenadas o mapa P
1
Gr
2
C
4
P
5
que associa a cada x o ponto (que representa a reta) L
x
. Mostre
que a imagem e igual à intersecao da quadrica de Pl ucker com um plano de P
5
.
55. Considere o mapa : P
1
P
3
dado em coordenadas ans por t (t, t
2
, t
3
).
Para cada t, seja L
t
a reta passando por (t) e direcao
(t) = (1, 2t, 3t

2
), i.e.,
dada parametricamente por s (t, t
2
, t
3
) + s(1, 2t, 3t
2
). Descreva a imagem do
mapa induzido t L
t
Gr
2
C
4
.
56. Notacao como no tem anterior, seja P
t
o plano que contem L
t
e e para-
lelo a
(t) = (0, 2, 6t), i.e., dado parametricamente por (s

1
, s
2
) (t, t
2
, t
3
) +
s
1
(1, 2t, 3t
2
) + s
2
(0, 2, 6t). Mostre que P
t
e o unico plano que passa por (t) e
so corta (P
1
) neste ponto; trata-se do plano osculador. O plano osculador P
t
corresponde a um ponto no espaco projetivo dual

P
3
. Descreva em coordenadas
o mapa P
1
t P
t

P
3
.
Captulo 4
produto de variedades
4.1 produto de variedades ans
Observemos que na topologia produto de C
m
C
n
, os fechados s ao as unioes
nitas de subconjuntos da forma X Y , com X C
m
, Y C
n
fechados. Por
exemplo, para m = n = 1, resultam apenas as uni oes nitas de retas horizontais
ou verticais ou pontos. Enquanto isso, em C
2
, cada polin omio n ao constante
dene uma curva, f(x, y) = 0.
Essas considerac oes levam a denir a topologia de Zariski no produto carte-
siano como a induzida pela bije cao natural
C
m
C
n
C
m+n
(x, y) (x, y)
onde abreviamos x = (x
1
, . . . , x
m
), y = (y
1
, . . . , y
n
). Como vimos, essa topologia
e mais na do que a topologia produto.
Observe tambem que, no anel de polin omios C[x, y] com dois blocos de
vari aveis, cada elemento se escreve como soma de elementos da forma f(x)g(y).
4.1.1. Lema. A projecao p
1
: C
m
C
n
C
m
e um morsmo aberto.
Prova. A proje cao e o morsmo correspondente ao homomorsmo de inclusao
natural C[x]

C[x, y]. Para provar que e aberto, basta examinar a imagem

de um aberto principal U = (C
m
C
n
)
f
. Escrevemos f = f
1
g
1
+ +f
r
g
r
, com
f
i
C[x], g
i
C[y]. Podemos supor g
1
, . . . , g
r
linearmente independentes/C. Se
f(x, y) ,= 0, e claro que algum f
i
(x) ,= 0. Reciprocamente, se algum f
i
(x) ,= 0,
ent ao f(x, y) ,= 0, e portanto existe y C
n
tal que f(x, y) ,= 0. Em resumo,
vale p
1
(U) =
(C
m
)
f
i
.
33
34 CAP
ITULO 4. PRODUTO DE VARIEDADES

4.1.2. Proposicao. Sejam X C
m
, Y C
n
subvariedades ans, e sejam
p
1
, p
2
as projecoes de C
m
C
n
. Entao
1. X Y C
m
C
n
= C
m+n
e uma subvariedade am;
2. cada funcao regular X Y C e soma de funcoes da forma
p
1
f(x)p
2
g(y)
tais que f (resp. g) e regular em X (resp. Y ).
Prova. O ideal 1(X) C[x
1
, . . . , x
m
] se estende a um ideal
J
X
= 1(X)C[x
1
, . . . , x
m
, y
1
, . . . , y
n
],
tal que V(J
X
) = X C
n
. Analogamente, temos V(J
Y
) = C
m
Y . Portanto,
V(J
X
+J
Y
) = X Y , o que prova 1.
O 2
o
item segue da observacao ao nal do 4.1, p. 33.
4.1.3. Lema. Notacao como acima, temos
1. 1(X Y ) = J
X
+J
Y
C[x
1
, . . . , x
m+n
].
2. Se X e Y sao irredutveis entao X Y tambem e.
Prova. Para a 1
a
armac ao , basta ver que C[x, y] = C[x, y]/(J
X
+ J
Y
) e uma
algebra reduzida (cf. 2.2.1, p. 14).
Seja f C[x, y] n ao nulo. Devemos mostrar que f
r
,= 0 r; equivalente: f ,
1(X Y ). Temos um homomorsmo natural O(X) C[x, y], idem para
O(Y ). Escreva f = a
1
b
1
+ +a
s
b
s
, com a
i
C[x] = C[x]/1(X), b
i
C[y] com
s mnimo. Segue que a
1
, . . . , a
s
s ao l.i./C, idem para os b
i
.
Em particular, a
1
,= 0, ou seja, existe x X tal que a
1
(x) ,= 0. Seja
f
x
(y) =
a
i
(x)b
i
(y) O(Y ).
Temos f
x
,= 0, logo existe y Y tal que f(x, y) ,= 0.
A 2
a
armac ao se prova de maneira an aloga, vericando que f e n ao divisor
de zero.
Exerccios. 57. Prove a 2
a
armacao acima.
58. Sejam I C[x
1
, . . . , x
m
], J C[y
1
, . . . , y
n
] ideais primos nos aneis de poli-
nomios nas variaveis indicadas. Mostre que o ideal gerado por I,J em C[x
1
, . . . , x
m
, y
1
, . . . , y
n
]
e primo.
4.1.4. Lema. Sejam X, Y, Z variedades com X, Y ans. Entao para todo par
de morsmos : Z X, : Z Y a aplicacao : Z X Y dada por
(z) = ((z), (z)) e um morsmo.
4.2. PRODUTO DE VARIEDADES ARBITR
ARIAS 35
Prova. Podemos supor Z am. Os homomorsmos
: O(X) O(Z) e
: O(Y ) O(Z) induzem
: A[X Y ] O(Z) tal que
(f(x)g(y)) =
(f(x))
(g(y)). Bem denido por conta do lema (4.1.3, p. 34). (Considerar

inicialmente C[x, y] O(Z) e passar ao quociente.)
Exerccios. 59. Sejam , : X Y morsmos de variedades ans. Mostre
que x X [ (x) = (x) e fechado em X.
60. Sejam
i
: X
i
Y
i
, i = 1, 2 morsmos de variedades ans. Mostre que a
funcao
1
2
: X
1
X
2
Y
1
Y
2
dada por (
1
(x
1
),
2
(x
2
)) e um morsmo.
4.2 produto de variedades arbitrarias
Sejam X, Y variedades n ao necessariamente ans. Deniremos no conjunto X
Y uma estrutura de variedade caracterizada pelas seguintes propriedades:
1. as projec oes p
1
: X Y X, p
2
: X Y Y s ao morsmos;
2. para todo par de morsmos : Z X, : Z Y a aplicac ao : Z
X Y dada por (z) = ((z), (z)) e um morsmo.
Devemos vericar que as propriedades 1&2 determinam tanto a topologia
como o feixe de func oes regulares de X Y .
Sejam U X, V Y abertos. Segue de 1. que U V = p
1
1
U p
1
2
V e
aberto em X Y .
Suponhamos U, V ambos ans. Entao U V e uma variedade am. Alem
disso, U V U

X e um morsmo.
Por 2., a inclus ao U V

X Y e um morsmo.
Seja W X Y um aberto arbitr ario e seja

W = W (U V ).
Segue que toda funcao regular f : W C se restringe a uma funcao regular
em
W, cujo repert orio e conhecido. Como W pode ser recoberto por
Ws, vemos
que a topologia e o feixe de funcoes est ao bem determinados.
Para construir X Y , nao h a surpresa. Recobrimos X, Y por abertos ans
X
, Y
, e declaramos um subconjunto W XY aberto se cada W(X
)
e aberto na variedade am X
. (Vericar que dene uma topologia!)

Dene-se func ao regular de maneira evidente: um germe f e regular em
(x, y) X Y se o for como germe em (x, y) X
para algum ,. Isto

signica que f =
g
i
h
i
, soma de produtos de germes g
i
regulares em x e h
i
regulares em y. Essa caracterizac ao e independente da escolha das vizinhan cas
ans X
, Y
.
36 CAP

Segue que p
1
: XY X e um morsmo, ja que a restri cao a cada X
e um morsmo.
Por m, sejam : Z X, : Z Y morsmos. Mostremos que a
aplicac ao : Z X Y dada por (z) = ((z), (z)) e um morsmo. Seja
Z
=
1
X

1
Y
=
1
(X
). Ent ao Z
e um morsmo
(cf. Lema 4.1.4, p. 34), completando a vericac ao.
Exerccios. 61. Sejam
i
: X
i
Y
i
, (i = 1, 2) morsmos de variedades.
Mostre que
1
2
: X
1
X
2
Y
1
Y
2
e um morsmo.
62. Se U X, V Y sao abertos (resp. fechados), mostre que U V X Y
e aberto (resp. fechado).
63. Se X, Y, Z sao variedades, mostre que X (Y Z) e (X Y ) Z sao
isomorfas.
64. Se X, Y sao variedades irredutveis, mostre que XY e irredutvel.
4.3 produto de variedades quase-projetivas
Um polinomio F C[x, y] e dito bi-homogeneo de bi-grau (a, b) se
F(tx, sy) = t
a
s
b
F(x, y).
Equivalente, todo mon omio que ocorre em F e da forma
x
m
i
i
y
n
i
i
com
m
i
= a,
n
i
= b.
Cada polinomio do tipo acima dene um subconjunto
(P
m
P
n
)
F
= (x, y) P
m
P
n
[ F(x, y) ,= 0.
4.3.1. Proposicao. Sejam X P
m
, Y P
n
subvariedades quase-projetivas e
sejam x X, y Y . Entao
1. uma base de abertos de XY e dada pelas intersecoes com os subconjuntos
da forma (P
m
P
n
)
F
denidos acima;
2. um germe de funcao f em (x, y) X Y e regular se e so se existem
polinomios G, H C[x, y] bi-homogeneos nas variaveis x
1
, . . . , x
m+1
, y
1
,
. . . , y
n+1
e de mesmo bi-grau tais que H(x, y) ,= 0 e f = G/H como
germes em (x, y).
4.4. O MORFISMO DE SEGRE 37
Prova. Suponhamos, por simplicidade x P
m
x
m+1
, y P
n
y
n+1
. Assim, (x, y)
pertence a um aberto U de X Y , o qual podemos supor contido em X Y
C
m
C
n
. Trata-se de um aberto do fechado U C
m
C
n
(cf. 3.6.1, p. 28). Logo,
existe um polin omio f(x, y) nas variaveis x
1
, . . . , x
m
, y
1
, . . . y
n
tal que f(x, y) ,= 0
e U
f
U. Bi-homogeneizando com respeito a x
m+1
, y
n+1
. . .
Se f e um germe regular em (x, y) XY , ent ao cf. (4.2, p. 35) existem po-
lin omios g(x, y), h(x, y) tais que h(x, y) ,= 0 e f = g/h. Bi-homogeneizamos g, h
com respeito a x
m+1
, y
n+1
e completamos bi-graus multiplicando por potencias
dessas vari aveis.
Recproca: exerccio.
4.3.2. Proposicao. A diagonal P
n
P
n
e uma subvariedade fechada.
Prova. Basta ver que e o conjunto das soluc oes do sistema de equacoes bi-
homogeneas x
i
y
j
= x
j
y
i
, 1 i, j n+1 que expressam a proporcionalidade dos
vetores x, y.
Dizemos que uma variedade X e separada se a diagonal XX e fechada.
4.3.3. Corolario. Toda variedade quase-projetiva e separada.
4.4 o morsmo de Segre
Para cada par de inteiros m, n 0, consideramos a aplicac ao
P
m
P
n

P
(m+1)(n+1)1
(x, y) (z
ij
) = (x
i
y
j
)
[[ [[
__
x
1
.
.
.
x
m+1
_
, (
y
1
,..., y
n+1
)
_ _
x
1
y
1
... x
1
y
n+1
.
.
.
.
.
.
.
.
.
x
m+1
y
1
... x
m+1
y
n+1
_
4.4.1. Teorema. A aplicacao de Segre acima denida e um isomorsmo de
P
m
P
n
sobre uma subvariedade projetiva
m,n
P
mn+m+n
, chamada variedade
de Segre, e denida pelas equacoes
z
ij
z
kl
= z
il
z
kj
(1 i, k m + 1, 1 j, l n + 1).
Prova. Escrevamos z
ij
para as coordenadas homogeneas do contra-domnio Z =
P
mn+m+n
. Seja Z
ij
o aberto b asico z
ij
,= 0. Seja a imagem de . A imagem
inversa
1
Z
ij
e igual a C
m
C
n
mediante as identicac oes habituais, C
m
=
P
m
x
i
, C
m
= P
n
y
j
.
38 CAP

Fazendo i = m+ 1, j = n + 1 por simplicidade, vemos que na ultima linha e
coluna da matriz (z
ij
) aparecem
y
1
= z
m+1,1
, . . . , y
n
= z
m+1,n
e
x
1
= z
1,n+1
, . . . , x
m
= z
m,n+1
.
Isto mostra que
11
= Z
11
e a subvariedade de Z
11
C
mn+m+n
dada
pelas equac oes z
ij
= z
i,n+1
z
m+1,j
, i = 1..m, j = 1..n. Conclumos que o anel de
coordenadas de
11
e isomorfo ao anel de polinomios em m + n vari aveis. A
func ao inversa
11
C
m
C
n
corresponde ao isomorsmo de aneis C[x, y]
C[. . . z
i,n+1
, . . . , z
m+1,j
, . . . ] dado por x
i
, y
j
z
i,n+1
, z
m+1,j
. Detalhes restantes,
exerccio.
Exerccios. 65. Descreva a imagem da diagonal pelo morsmo de Segre.
66.
0,n

n,0
P
n
.
67.
1,1
e uma superfcie quadrica nao degenerada em P
3
. Para cada x P
1
, a
imagem de x P
1
P
1
P
1
pelo morsmo de Segre e uma reta L
x

1,1
;
idem para (P
1
y). Mostre que toda reta de
1,1
e de um desses dois tipos.
Mostre que, se x, x
, x
P
1
sao 2 a 2 distintos, entao cada ponto de
1,1
esta
sobre exatamente uma reta incidente às 3 retas L
x
, L
x
, L
x
.
68. Se L, L
, L
P
3
sao retas 2 a 2 nao coplanares, existe uma e so uma
quadrica que as contem; ache explicitamente para sua escolha favorita de 3 retas
distintas dos eixos coordenados (x
i
= x
j
= 0).
69. Seja Z uma variedade, Z
i
cobertura aberta am. Mostre que a diagonal
Z
= (z, z) Z Z e fechada no aberto
Z
i
Z
i
. (Veja patologia no exc. 71
mais adiante.)
70. Mostre que, para toda variedade quase-projetiva X P
n
, a diagonal
X

X X e fechada em X X.
71. (Patologia) Seja Z = C0
o conjunto formado pela uniao de C com um

ponto extra, 0
, C. Declare aberto em Z todo subconjunto U Z tal que U0
e aberto de Zariski em C. Mostre que isso dene de fato uma topologia tal que
todo subconjunto nito de Z e fechado. Se U Z e aberto, 0
, U, dena T(U)
como o anel das funcoes regulares de U C. Se 0
U, ponha U
= U 0
e
dena T(U) = f : U C[
f T(0 U
) com f
|U
=

f
|U
, f(0) = f(0
) .
Mostre que Z e uma variedade. Sejam ,
: C Z as inclusoes obvias em C
e Z 0, (0) = 0,
(0) = 0
. Mostre que a diagonal de Z nao e fechada.

4.5. MORFISMOS DE C EM P
N
39
4.5 morsmos de C em P
n
Sejam f
1
, . . . , f
n+1
C[t] polinomios sem raz comum. Podemos denir a
aplicac ao
f : C P
n
t [f
1
(t), . . . , f
n+1
(t)]
A imagem inversa f
1
U
i
e formada pelos t C tais que f
i
(t) ,= 0. Trata-se
de um aberto am principal de C. Fazendo i = n + 1 por simplicidade, temos o
mapa induzido
f
1
U
n+1
C
n
denido por t (f
1
(t)/f
n+1
(t), . . . , f
n
(t)/f
n+1
(t)), claramente um morsmo.
Note que se g
1
, . . . , g
n+1
C[t] s ao primos relativos e denem a mesma
aplicac ao , i.e., ,
[f
1
(t), . . . , f
n+1
(t)] = [g
1
(t), . . . , g
n+1
(t)]t
ent ao valem as rela coes
f
i
g
j
= f
j
g
i
i < j.
Em particular, f
i
g
n+1
= g
i
f
n+1
, i = 1..n; por fatoracao unica, vem f
n+1
= g
n+1
e portanto f
i
= g
i
, a menos de fator constante.
4.5.1. Lema. Seja U C aberto nao vazio. Todo morsmo U P
n
e
restricao de um (e so um) morsmo C P
n
. Reciprocamente, todo morsmo
f : C P
n
e do tipo anterior.
Prova. De fato, suponha V = f
1
U
n+1
,= . Temos um homomorsmo induzido
f
: C[x
1
, . . . , x
n
] O
C
(V ). Sabemos que V = C
g
, complementar dos zeros
de algum g C[t]. Logo, O
C
(V ) = C[t]
g
, anel das fracoes com denominadores
potencias de g. Seja f
(x
i
) = f
i
/g
r
. Temos que f
|V
: C
g
C
n
P
n
e
dado por t [f
1
(t)/g
r
(t), . . . , f
n
(t)/g
r
(t), 1]. A menos de elimina cao de fator
comum, segue que f coincide com [f
1
, . . . , f
n
, g
r
]. Isto e conseq uencia do seguinte
resultado.
4.5.2. Proposicao. Sejam , : X Y morsmos de variedades quase-
projetivas. Se existir um aberto denso U X tal que
U
=
U
, entao = .
Prova. A diagonal Y Y e fechada pois Y e quase-projetiva. Seja =
(, ) : X Y Y . Ent ao
1
e fechado e contem um aberto denso.
40 CAP

4.6 morsmos de P
1
em P
n
4.6.1. Proposicao. Sejam F
1
, ..., F
n+1
C[x
1
, x
2
] polinomios homogeneos de
mesmo grau e sem fator comum. Entao [x
1
, x
2
] [F
1
(x
1
, x
2
), ..., F
n+1
(x
1
, x
2
)]
dene um morsmo de P
1
em P
n
. Reciprocamente. . .
Prova. Seja : P
1
P
n
um morsmo. Sua restric ao ao aberto C = x
2
,= 0
e um morsmo. Logo, tem o aspecto x [f
1
(x), . . . , f
n+1
(x)], onde os f
i
s ao
polinomios sem fator comum. Homogeneizar e ajustar grau.
Exerccios. 72. Estenda t (t, t
2
) a um morsmo de P
1
em P
2
e descreva sua
imagem. Qual a imagem do ponto no innito de P
1
? Idem para (t, t
3
).
73. Estenda t (t, t
2
, t
3
) a um morsmo de P
1
em P
3
e descreva sua imagem.
Qual a intersecao da imagem com o hiperplano no innito, x
4
= 0?
74. Considere as retas L : x = 0, z = 1, M : y = z = 0. Escolha uma bijecao
linear de L em M e descreva o lugar dos pontos denido pela uniao das retas
que ligam pontos correpondentes, tanto em C
3
como em P
3
.
4.7 morsmos de P
m
em P
n
4.7.1. Teorema. Seja : P
m
P
n
um morsmo nao constante. Entao m n
e existem polinomios homogeneos F
1
, . . . , F
n+1
C[x
1
, . . . , x
m+1
] do mesmo grau
tais que
V(F
i
) = e = [F
1
, . . . , F
n+1
], unicos a menos de fator constante.
Prova. A imagem inversa
1
C
n
, (C
n
P
n
) contem um aberto b asico U dado
por F
n+1
,= 0. O morsmo U C
n
P
n
restric ao de tem a receita
[F
1
/F
n+1
, . . . , F
n
/F
n+1
, 1] = [F
1
, . . . , F
n+1
],
em que podemos e vamos supor homogeneos do mesmo grau e mdc=1. Se
[G
1
, . . . , G
n+1
] e outra express ao v alida em algum aberto, seguem rela coes F
i
G
j
=
F
j
G
i
. Isto implica [F
1
, . . . , F
n+1
] = [G
1
, . . . , G
n+1
] i.e.,
F
i
= cG
i
, i = 1..n + 1, c C.
Se os F
i
s admitissem um zero comum, forcosamente outra expressao para
leva a contradi cao por conta da relacao acima. Como os F
i
s sao n ao constantes,
temos que em P
m
,
1in+1
V(F
i
) = m n.
4.7. MORFISMOS DE P
M
EM P
N
41
De fato, pelo corol ario 5.1.19. . .
Exerccios. 75. (Veronese) Seja v
d
: P
1
P
d
denido por [x
1
, x
2
] [x
d
1
, x
d1
1
x
2
, . . . , x
d
2
].
Mostre que v
d
e um morsmo. Mostre que sua imagem e a subvariedade denida
pelos menores 2 2 da matriz (
y
1
... y
d
y
2
... y
d+1
).
76. Seja v : P
2
P
5
denido por [x
1
, x
2
, x
3
] [x
2
1
, x
1
x
2
, x
1
x
3
, x
2
2
, x
2
x
3
, x
2
3
].
Mostre que v e um isomorsmo sobre sua imagem. Mostre que esta e denida
pelos menores 2 2 de uma matriz simetrica.
77. Sejam m, d inteiros positivos e sejam z
i
= x
i(1)
1
x
i(m)
m
os monomios de
grau d nas variaveis x
1
, . . . , x
m+1
ordenados lexicogracamente. Seja
v : P
m
P
N1
[x
1
, . . . , x
m+1
] [z
i
1
, . . . , z
i
N
] .
Mostre que v e um isomorsmo sobre sua imagem. Mostre que esta e denida
pelas equacoes quadraticas y
i
y
j
= y
k
y
l
, onde i, j, k, l denotam vetores tais que
i +j = k +l, ou seja, z
i
z
j
= x
i(1)+j(1)
1
x
i(m)+j(m)
m
= z
k
z
l
.
42 CAP

Captulo 5
dimensao
5.1 corpo de funcoes
Seja X uma variedade irredutvel. Para cada aberto am U X, seu anel de
coordenadas R
U
= O
X
(U) e um domnio de tipo nito sobre C. Ou seja, existe
um homomosmo sobrejetivo de C- algebras, C[x
1
, . . . , x
n
] R
U
, cujo n ucleo e
um ideal primo. Seja K
U
o corpo de fracoes de R
U
. Note que, passando a um
aberto principal qualquer de U, o corpo de fra coes n ao muda. Segue do lema
abaixo que o corpo K
U
independe da escolha do aberto am (Leitor: vericar!).
Denotaremos por K(X) ou simplesmente K se claro no contexto, e chamamos
de corpo de func oes racionais de X.
5.1.1. Lema. Sejam U, U
abertos ans de uma variedade e sejam R, R
seus
aneis de coordenadas. Seja x U U
. Entao existem f R, f
tais que
x U
= U
f
.
Prova. Existe um aberto am V U U
tal que x V . Seja A = O(V ).

Certamente temos x U
g
V, x U
U
g
para algum g R, g
.
Podemos escolher h A tal que x V
h
U
. A restric ao de h a U
g
se escreve
h = k/g
n
, k R; idem h = k
/g
n
, k
. Se y U
kg
ent ao y V
h
U
.
Reciprocamente, se y U
, entao y U
g
U
g
e h(y) ,= 0. Segue U
f
= U
com f = kg, f
= k
.
Por constru cao, o corpo de funcoes K e uma extensao nitamente gerada de
C. Sabe-se entao que existe uma extens ao intermediaria,
C L K
43
44 CAP
ITULO 5. DIMENS
AO
tal que
L[C e uma extensao transcendente pura;
K[L e uma extensao algebrica nita.
A primeira condic ao acima signica que L = C(x
1
, . . . , x
r
), extens ao gerada
por elementos algebricamente independentes sobre C, formando uma base de
transcendencia de K[C. O n umero r, chamado o grau de transcendencia, inde-
pende da base de transcendencia. A dimens ao de X e denida como o grau de
transcendencia de K[C. Em smbolos,
dimX = trdeg
C
K.
Exerccios. 78. C
n
e P
n
tem dimensao n. Qual a dimensao da grassmanniana?
79. Temos dimX = 0 X se reduz a um ponto.
5.1.2. Lema. A dimensao de qualquer hipersuperfcie irredutvel em C
n
e igual
a n 1.
Prova. Seja f C[X
1
, . . . , X
n
], irredutvel. Podemos supor que a vari avel X
n
ocorre efetivamente em f. O anel de coordenadas da hipersuperfcie V(f) se
escreve
C[x
1
, . . . , x
n
] = C[X
1
, . . . , X
n
]/f).
O corpo de fra coes C(x
1
, . . . , x
n
) e algebrico sobre C(x
1
, . . . , x
n1
), ja que f(x
1
, . . . , x
n
) =
0. Essa rela cao de dependencia algebrica de x
n
sobre os demais x
i
e honesta
pelo mesmo argumento que usaremos para mostrar que x
1
, . . . , x
n1
s ao algebri-
camente independentes sobre C. Se fossem dependentes, haveria um polin omio
g(X
1
, . . . , X
n1
) tal que g(x
1
, . . . , x
n1
) = 0. Isso implica que f divide g em
C[X
1
, . . . , X
n
], absurdo pois X
n
n ao gura em g. Conclumos que o grau de
transcendencia de C(x
1
, . . . , x
n
) sobre C vale n 1, como queramos.
Para o caso geral, necessitaremos de alguns preliminares algebricos.
5.1.3. Lema. Seja L K uma extensao nita de corpos, e seja M um L
espaco vetorial de dimensao nita. Seja T : M M um operador Llinear.
Entao vale a formula de transitividade para os determinantes,
det
K
(T) = det
K
(det
L
(T)),
onde det
L
(T) e considerado como o operador Klinear em L denido por mul-
tiplicacao.
5.1. CORPO DE FUNC

OES 45
Prova. O resultado e trivial (0=det(0)) se T n ao for bijetivo.
Suponhamos entao T bijetivo. Nesse caso, podemos escrever T como a com-
posic ao de operadores elementares, i.e., cuja matriz, , com respeito a uma base
de M como Lespaco e elementar. Pela multiplicatividade do determinante,
segue que basta provar a formula para operadores elementares. Suponha inici-
almente a matriz na forma
L
(T) =
_
_
_
_
_
_
_
1 0 0 0 . . . 0
x 1 0 0 . . . 0
0 0 1 0 . . . 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 0 . . . 1
_
_
_
_
_
_
_
correspondente ` a operac ao somar ` a 2
a
linha x vezes a 1
a
, para algum x L.
Temos claramente det
K
(det
L
(T)) = 1. J a no 1
o
membro da f ormula, devemos
calcular o determinante da matriz de T considerado como operador Klinear.
Seja
1
, . . . ,
r
base de L sobre K e seja m
1
, . . . , m
s
base de M sobre L.
Temos entao a base
1
m
1
, . . . ,
r
m
1
,
1
m
2
, . . . ,
r
m
2
, . . . , de M sobre K. Cal-
culamos T
i
m
1
=
i
(m
1
+xm
2
), T
i
m
2
=
i
m
2
. Isso mostra que a matriz acima
deve ser substituda agora pela matriz formada por blocos r r,
K
(T) =
_
_
_
_
_
_
_
I 0 0 0 . . . 0
K
(x) I 0 0 . . . 0
0 0 I 0 . . . 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 0 . . . I
_
_
_
_
_
_
_
colocando um bloco identidade no lugar de cada 1 diagonal, e mais o bloco
K
(x) = (
ij
) do operador Klinear denido pela multiplicacao por x em L,
i.e., , x
i
=
ij
j
. Segue facilmente det
K
= 1, completando a vericacao no
presente caso. Para a operac ao elementar multiplicac ao de uma linha (digamos
a 1
a
) por x L, x ,= 0 procede-se de forma an aloga. A matriz
L
(T) e agora
diagonal, com x na posic ao (1,1) e bloco identidade no restante. A matriz
K
(T)
apresenta o bloco rr dado por
K
(x) e blocos identidade no restante. Achamos
det
K
(x) em ambos os membros da f ormula.
Suponhamos na proposic ao acima que
o espaco M e tambem uma extens ao nita do corpo L e
o operador T e dado pela multiplicacao por um elemento m de M.
46 CAP
ITULO 5. DIMENS
AO
Conclumos em particular a seguinte f ormula de transitividade para a norma de
uma extensao de corpos.
5.1.4. Corolario. Seja M L K uma torre de extensoes nitas de cor-
pos. Seja
M|L
: M L a norma, i.e., a aplicacao multiplicativa denida por
M|L
(m) = det
L
(m). Entao temos
M|K
(m) =
L|K
(
M|L
(m))
para cada m M.
Exerccios. 80. Seja k um corpo, M = k(x) = corpo de funcoes racionais
em uma variavel. Sejam L = k(x
2
), K = k(x
6
). Calcule
M|L
(x). Idem para
M|K
(x).
5.1.5. Lema. Seja M K uma extensao nita e seja M. Seja p
(t) =
t
r
+
1
t
r1
+ +
r
o polinomio mnimo de sobre K. Entao a norma
M|K
() =
(
r
)
s
para algum inteiro s.
Prova. Usamos a transitividade, considerando a extensao intermediaria, M
L := K() K. Temos evidentemente
M|L
() =
s
onde s = [M : L]. Da
vem
M|K
() =
L|K
(
M|L
()) =
L|K
(
s
) =
L|K
()
s
. Por m, lembre que se o
grau do polinomio mnimo de um operador linear for igual ao grau do polinomio
caracterstico (o qual coincide com a dimensao do espaco K() sobre K), esses
polinomios s ao identicos. Ora, o termo constante do polinomio caracterstico e
igual a o determinante.
5.1.6. Lema. Seja A B uma extensao de domnios. Seja b B inteiro sobre
A. Seja K L a extensao dos corpos de fracoes de A e B. Se A for integralmente
fechado entao os coecientes do polinomio mnimo de b sobre K estao todos em
A.
Prova. Por simplicidade, daremos o argumento apenas no caso em que A e um
DFU. Seja p(t) = t
r
+a
1
t
r1
+ +a
r
A[t] um polin omio de grau mnimo que
expressa a integralidade de b sobre A. Armamos que p(t) e irredutvel em A[t].
Com efeito, se existir uma decomposic ao p(t) = f(t)g(t) com f(t), g(t) A[t],
ambos n ao constantes, segue que os coecientes lderes de f(t) e de g(t) sao
unidades em A. Poderamos ent ao ajustar para que f(t), g(t) sejam ambos
m onicos. Lembrando que f(b)g(b) = 0 e B e um domnio, deduziramos uma
relac ao inteira de grau menor. Pelo lema de Gauss, p(t) continua irredutvel em
K[t] e portanto, coincide com o polin omio mnimo.
5.1. CORPO DE FUNC

OES 47
Na aplicac ao que apresentamos a seguir, basta o caso DFU. O caso geral
pode ser visto em ??.
5.1.7. Lema. Seja S = C[X
1
, . . . , X
n
] um anel de polinomios a coecientes no
corpo C. Seja I S um ideal tal que S/I e um espaco vetorial de dimensao
nita d. Entao V(I) contem no maximo d elementos.
Prova. Lembramos (TZH) que os pontos de V(I) est ao em bijec ao com a cole cao
dos ideais maximais de S contendo o ideal I. Sejam m
1
, . . . , m
t
ideais maximais
contendo I, distintos dois a dois. Assim, temos I m
i
. Segue a sobrejecao
S/I S/ m
i
. Portanto, dim(S/ m
i
) d. Por um argumento semelhante
ao da prova do teorema dos restos chines, vale S/ m
i

S/m
i
C
t
. (Al-
ternativamente, dados t pontos distintos P
1
, . . . , P
t
em C
n
e dados t elementos
quaisquer c
1
, . . . , c
t
C, existe polin omio f S tal que f(P
i
) = c
i
, i = 1..t.)
Logo t d.
5.1.8. Teorema. Seja X uma variedade am irredutvel e seja f O
X
(X), f ,=
0. Ent ao cada componente de V(f) tem dimens ao igual a dimX 1.
Prova. Seguimos o roteiro indicado por D. Mumford, The red book. Para aquecer,
j a vimos o caso em que X = C
n
.
Para o caso geral, seja W uma componente de V(f). Passando a um aberto
am se necess ario, podemos supor V(f)=W. Seja R = O(X), anel de coorde-
nadas.
Normalizac ao de Noether: S = C[x
1
, . . . , x
n
]

R, extensao inteira do
anel de polin omios. Seja q =
f o ideal de W em R e seja p = q S. Temos

a extensao inteira S/p

R/q. Logo, dimW e igual a dimV(p). Pelo caso ja

visto, resta mostrar que p e principal. Seja t
m
+g
m1
t
m1
+ +g
0
o polin omio
mnimo de f sobre K = C(x
1
, . . . , x
n
). Pelo lema 5.1.6, temos que cada g
i
S.
A rela cao f
m
+ g
m1
f
m1
+ + g
0
= 0 implica que g
0
p. Mostraremos que
p =
_
g
0
). Ora, dado h p, temos h q =
_
f); logo vale h
r
= af para algum
a R. Aqui entra a norma : K(X) K(C
n
) = C(x
1
, . . . , x
n
). Sabemos
que a norma numa torre de extensoes K

E

F satisfaz (1) a regra de

transitividade,
F/K
() =
E/K
(
F/E
()); (2)
K(f)/K
= g
0
. Logo, calculamos
(h
r
) = (a)(f). Pelo argumento de que os coecientes do polinomio mnimo
est ao em S, deduzimos que uma potencia de h e um m ultiplo, em S, de uma
potencia de g
0
, como desejado.
Denimos a dimens ao de uma variedade como o maximo das dimens oes de
suas componentes irredutveis.
48 CAP
ITULO 5. DIMENS
AO
Exerccios. 81. Veja na pagina 69 do Atiyah-MacDonald um exerccio-roteiro
para demonstracao do lema de normalizacao de Noether.
82. Seja X uma variedade irredutvel. Mostre que se Z X e fechado e Z ,= X
entao dimZ < dimX.
5.1.9. Exemplo. Seja X = V(xy zw) C
4
. Temos ent ao dimX =
3, dimV(xy zw, x) = 2 = dimV(xy zw, x, z).
5.1.10. Corolario. Seja X uma variedade irredutvel e sejam f
1
, . . . , f
r

O(X). Entao cada componente de V(f
1
, . . . , f
r
) tem dimensao dimX r.
Prova. Seja Z uma componente irredutvel de V(f
1
, . . . , f
r
). Passando a um
aberto am adequado, podemos supor X am. Procedemos por inducao sobre
r. Suponhamos r = 1. Se f
1
= 0, temos Z = X e mais nada a vericar. Se
f
1
,= 0, podemos usar 5.1.8. Para a etapa indutiva, substitumos X por uma
componente de V(f
1
) contendo Z.
5.1.11. Observacao. O resultado anterior e falso para X redutvel: tome em
C
3
a uni ao do plano z = 0 com a reta x = y = 0, e considere a intersec ao com
plano z = 1.
5.1.12. Lema. Sejam X e Y variedades e sejam Z X, W Y componentes
irredutveis. Entao ZW e componente irredutvel de XY e toda componente
aqui e desta forma.
Prova. O lema (4.1.3, p. 34) mostra que ZW e irredutvel. Suponha ZW T
para algum fechado irredutvel T XY . Seja T
1
X o fecho da imagem de T
em X. Temos assim Z T
1
e portanto Z = T
1
. Similarmente, W = T
2
. Segue
T Z W e portanto, Z W e uma componente. O restante da argumenta cao
ca como exerccio.
5.1.13. Lema. Sejam X e Y variedades. Entao
dimX Y = dimX + dimY .
Prova. Podemos supor X, Y ans e irredutveis. As proje coes induzem inclusoes
naturais K(X) K(X Y ) K(Y ). Sabemos que o anel de coordenadas de
X Y e gerado pelas funcoes coordenadas provenientes de X e de Y . Segue
facilmente que, se x
1
, . . . , x
r
e y
1
, . . . , y
s
s ao bases de transcendencia de K(X)
e de K(Y ) respectivamente, ent ao x
1
, . . . , x
r
, y
1
, . . . , y
s
e base de transcendencia
de K(X Y ).
5.1. CORPO DE FUNC

OES 49
5.1.14. Proposicao. Sejam X e Y subvariedades de C
n
de codimensoes r,s.
Entao cada componente de X Y tem codimensao r +s.
Prova. Sabemos que dimXY = dimX+dimY . Temos tambem XY (X
Y ) , = diagonal de C
n
C
n
. Como e denida por n equac oes, segue o
resultado.
5.1.15. Observacao. Note que o resultado anterior nao arma que exista uma
componente irredutvel de X Y . Efetivamente, essa intersec ao pode ser vazia,
e.g., V(xy 1) V(x).
Observe tambem que o ambiente em que a intersecao ocorre e importante para
a validade da prop. 5.1.14. Por exemplo, considere o cone Z = V(xy zw)
C
4
. Sejam X = V(x, z), Y = V(y, w), ambos de codimensao 1 em Z (e de
codimens ao 2 em C
4
). Temos entretanto codim
Z
X Y = 3 > codim
Z
X +
codim
Z
Y = 2. A singularidade de Z (no vertice) e o vilao da est oria, como
veremos oportunamente.
5.1.16. Lema. Seja X P
n
uma subvariedade fechada e seja

X C
n+1
o
cone associado. Entao dim

X = dimX + 1.
Prova. Lembramos que o cone associado e a subvariedade de C
n+1
dada pelo
ideal homogeneo que dene X em P
n
. Podemos supor X irredutvel e X
1
=
X P
n
x
1
,= . Seja

X
1
=

X V(x
1
1). Sabemos que V(x
1
1) e isomorfo
ao aberto basico P
n
x
1
C
n
.

E claro que

X
1
e X
1
se correspondem por esse
isomorsmo. Logo, suas dimens oes coincidem. Segue que
dimX = dimX
1
= dim

X
1
= dim

X 1.
5.1.17. Observacao. O resultado acima decorre tambem do teorema da
dimens ao das bras.
5.1.18. Corolario. Sejam X e Y subvariedades fechadas de P
n
de codimensoes
r,s. Se r +s n entao XY ,= e cada componente de XY tem codimensao
r +s.
Prova. S o a nao vacuidade da interse cao merece cuidado. Passamos aos cones
X,
Y C
n+1
. As codimens oes nao mudam. Mas agora temos o vertice 0

X
Y
garantindo a existencia de alguma componente irredutvel. Observando que o
cone sobre a intersec ao e evidentemente a intersecao dos cones, podemos escrever
codimX Y = codim

X Y r +s.
50 CAP
ITULO 5. DIMENS
AO
5.1.19. Corolario. Sejam F
1
, . . . , F
n
hipersuperfcies em P
n
. Entao
F
i
,= .
5.1.20. Observacao. O teorema de Bezout arma que, caso a interse cao de
n hipersuperfcies seja nita, entao o n umero de pontos, contados com multi-
plicidades naturais, e igual ao produto dos graus. A nitude da interse cao vale
para escolha generica de hipersuperfcies, como mais uma feliz conseq uencia do
teorema da dimensao das bras.
5.1.21. Lema. Seja f : X Y um morsmo. Se dimX < dimY entao
f(X) esta contida em uma subvariedade fechada propria de Y.
Prova. Substituindo X, Y por abertos ans de componentes que realizam a
dimens ao, podemos sup o-los ans, irredutveis. (Leitor: detalhes?) Se f : X
Y fosse dominante, teramos uma inclusao de aneis de coordenadas, O(Y )
O(X). Passando aos corpos de fra coes, temos a extensao de corpos K(Y )
K(X). Mas isso acarreta a desigualdade de graus de transcendencia, dimY
dimX.
5.1.22. Lema. Seja X uma variedade am, dimX = d, x X. Entao
f
0
, f
1
, . . . , f
d
O(X) tal que
f
0
(x) ,= 0 e
V(f
1
, . . . , f
d
) X
f
0
= x.
Podemos assim interpretar a dimensao de uma variedade X como o n umero
mnimo de equac oes necessarias para denir qualquer ponto x X em alguma
vizinhanca am de x.
Prova. Mais uma vez, normaliza cao de Noether:
X O(X) = B m
x
maximal
inteira
C
r
S = C[x
1
, ..., x
d
], d = dimV
Note que m
x
S = n = f
1
, . . . , f
d
), ideal maximal de S, correspondente ` a
imagem do ponto x X em C
d
. A inclusao S B dada por normalizac ao de
Noether corresponde a um morsmo V C
d
. Visto que B e um Sm odulo -
nitamente gerado, segue que B/nB e um S/n(= C)espaco vetorial de dimens ao
nita. Pelo lema (5.1.7, p. 47), temos que V(nB)=V(f
1
, . . . , f
d
) e nito e contem
x (pois m
x
nB). Temos assim
5.1. CORPO DE FUNC

OES 51
V(nB) = V(m
x
) V(m
1
) V(m
t
) = V(m
x
m
1
m
t
)
para alguma escolha de ideais maximais distintos m
i
. Agora tome
f
0

_
i=x
m
i
_
m
x
.
Temos assim V(f
1
, . . . , f
d
) X
f
0
= x.
5.1.23. Observacao. Um argumento mais geometrico e o seguinte. Sejam
X
1
, . . . , X
r
as componentes irredutveis de X que passam por x. Seja m =
maxdimX
i
[ i = 1..r. Se m = 0 ent ao r = 1, X
1
= x. Escolhemos f
0
de maneira a evitar as demais componentes fora de x. Se d = dimX > 0,
fazemos f
1
= = f
d
= 0; se d = 0 interpretamos f
1
, . . . , f
d
como a lista vazia
e V() = X. Se m > 0, escolhemos um hiperplano de equac ao f
1
contendo
x e nenhuma dessas componentes. Trocamos X por V(f
1
) e procedemos por
induc ao.
Se X e uma variedade e x X, denimos dim
x
X como o m aximo das
dimens oes de componentes de X contendo x.
O argumento delineado acima mostra efetivamente o resultado seguinte.
5.1.24. Lema. Seja x um ponto de uma variedade am X e seja m = dim
x
X.
Entao existem m funcoes regulares que denem x em uma vizinhanca de X.
Reciprocamente, se f
0
, f
1
, . . . , f
m
O(X) sao tais que f
0
(x) ,= 0 e V(f
1
, . . . , f
m
)
X
f
0
= x, entao dim
x
X m.
Prova. Para a recproca, trocando X por X
f
0
podemos supor f
0
= 1. Basta
agora aplicar (5.1.10, p. 48) a cada componente de X passando por x.
5.1.25. Lema. Seja f : X Y um morsmo dominante de variedades ans
tal que f
: O(Y )

O(X) e uma extensao inteira. Entao f(X) = Y , i.e., f

e sobrejetivo.
Prova. Sejam A = O(Y ), B = O(X). Podemos escrever B = A[b
1
, . . . , b
r
]. Isto
corresponde a uma fatorac ao de f como composicao de morsmos,
X = X
r
f
r

f
2
X
1
f
1
Y ,
52 CAP
ITULO 5. DIMENS
AO
com aneis de coordenadas O(X
1
) = A[b
1
], O(X
2
) = A[b
1
, b
2
], etc. Basta mostrar
agora que f e sobrejetivo sob a hip otese adicional de que B = A[b], com b sa-
tisfazendo uma relacao da forma
() b
n
+a
1
(y)b
n1
+ +a
n
(y) = 0, a
i
A.
Dado y Y , seja m
y
A o ideal maximal correspondente. Mostremos que existe
x X tal que y = f(x); equivalente: queremos f
1
m
x
= m
y
. Basta encontrar
ideal maximal m
x
B tal que m
x
f
m
y
. Isto e garantido desde que 1 , m
y
B.
Ora, se 1 m
y
B, escrevemos uma rela cao
1 = m
0
+m
1
b + +m
n1
b
n1
, m
i
m
y
,
usando ().
Multiplicando por b e sempre usando (), vem
b
i
= m
i,0
+m
i,1
b + +m
i,n1
b
n1
.
Matricialmente,
_
m
0,0
m
i,1
m
0,n1
.
.
.
.
.
.
.
.
.
.
.
.
m
n1,0
m
n1,1
m
n1,n1
_
_
1
b
.
.
.
b
n1
_
=
_
1
b
.
.
.
b
n1
_
.
Isto signica que 1 e autovalor. Resulta uma relac ao
0 = det(I (m
ij
)) = 1 +m, m m
y
,
absurdo.
5.2 teorema da dimensao das bras.
(TDF) Seja : V W morsmo dominante, V, W irredutveis. Entao
(1) toda componente de
1
(w), (w W) tem dim dimV dimW;
(2) W
0
W aberto denso tal que W
0
f(V ) e vale = no tem anterior.
Prova. (1) w W W
w
aberto am tal que
w = V(f
1
, . . . , f
n
) W
w
, onde n = dimW,
e as f
i
s ao fun coes regulares em W
w
. Logo,
1
(w) = V(
f
1
, . . . ,
f
n
). Pelo
corol ario 5.1.10, deduzimos que cada componente tem dim dimV n.
(2) (Shafarevich) Primeiro, reduziremos ao caso em que e tudo am. De
fato, valendo na situac ao am, recobrimos W por um n umero nito de W
i
s
abertos ans e cada
1
W
i
por abertos ans V
ij
.

E claro que os V
ij
recobrem
5.2. TEOREMA DA DIMENS
AO DAS FIBRAS. 53
V . Por hip otese, para cada restricao : V
ij
W
i
existe um aberto denso
W
0ij
que funciona. Facamos W
0
= W
0ij
. Tome w W
0
e seja Z componente
de
1
w. Se Z encontra V
ij
, o caso am aplicado a V
ij
W
i
mostra que
dimZ = dimV dimW.
Doravante, tudo am.
K

L (corpos de func oes)

A

B (aneis de coordenadas)
||
O(W)
||
O(V )
Seja b
1
, . . . , b
d
L uma base de transcendencia de L[K. Passando a um aberto
principal de V , podemos supor b
1
, . . . , b
d
B. Escrevamos
B = A[b
1
, . . . , b
d
, b
d+1
, . . . , b
N
] com d = dimB dimA,
b
1
, . . . , b
d
algebricamente independentes sobre K e
b
d+1
, . . . , b
N
algebricos sobre K(b
1
, . . . , b
d
).
Note que essa escritura de B corresponde a uma fatorac ao de V

W,
V

2
W C
d

1
W
(B A[b
1
, . . . , b
d
] A)
Tomamos, para cada j = 1 j
1
< < j
d+1
N um polin omio n ao
nulo F
j
(x
1
, . . . , x
d+1
) A[x
1
, . . . , z
d+1
] tal que F
j
(b
j
1
, . . . , b
j
d+1
) = 0, garan-
tido pelo grau de transcendencia de L[K. Destaquemos i = 1, . . . , d, d + i,
F
i
(x
1
, . . . , x
d
, y) =
i,0
(x
1
, . . . , x
d
)y
e
i
+ A[x
1
, . . . , x
d
, y],
i,0
,= 0. Seja
1
j
A o ideal gerado pelos coecientes do polinomio F
j
. Seja Z a uni ao dos
fechados proprios V(1
j
). Existe a A tal que o aberto principal W
a
,= e
disjunto de Z. Passemos a esse aberto, renomeando W = W
a
. Assim, para todo
w W, cada polin omio
i,0
(x
1
, . . . , x
d
) e n ao nulo, onde indicamos por
i,0
a restri cao à bra sobre w; consequentemente, o mesmo vale para o polinomio
F
i
(x
1
, . . . , x
d
, y) C[x
1
, . . . , x
d
, y]. Seja U C
d
W o aberto principal dado
por =
i,0
. A imagem de U em W e um aberto W
0
(cf. exerccio ??, p. ??).
Para cada w W
0
, por construc ao, a restric ao de
2
: V C
d
W sobre
este aberto e um mapa nito, logo sobrejetor (cf. 5.1.25). Em particular, temos
1
(w) ,= , e portanto o aberto W
0
est a contido na imagem. O anel de coor-
denadas de cada componente da bra
1
(w) e um quociente, B, de B. Temos
evidentemente B = C[b
1
, . . . , b
N
]. Visto que F
j
(b
j
1
, . . . , b
j
d+1
) = 0 em B, segue
F
j
(b
j
1
, . . . , b
j
d+1
) = 0 em B. Isto fornece uma rela cao n ao trivial para a escolha
de d + 1 quaisquer entre os b
1
, . . . , b
N
.
54 CAP
ITULO 5. DIMENS
AO
5.2.1. Observacao. Note que, na arma cao (1) do TDF, se
1
(w) = ent ao
a conclusao vale por vacuidade, j a que n ao existe componente para contradizer o
enunciado. Reveja em detalhes o exemplo do morsmo C
2
(x, y) (x, xy)
C
2
.
A cole cao W
dos pontos w W tais que a desigualdade da arma cao (1) e

estrita, i.e., onde dim
1
(w) > dimV dimW, esta contida no complementar
de um aberto denso de W (garantido pela armac ao (2) do TDF). Note entre-
tanto que o lugar onde vale = no (TDF)(5.2, p. 52) pode nao ser aberto, cf. a
observacao (5.3.7, p. 56).
Exerccios. 83. Seja : C
2
C
2
denida por (
1
,
2
),
i
C[x
1
, x
2
]. Supo-
nha que existem polinomios a
1
, . . . , a
n
, b
1
, . . . , b
m
C[x
1
, x
2
] tais que
x
n
1
+a
1
(
1
,
2
)x
n1
1
+a
2
(
1
,
2
)x
n2
1
+ +a
n
(
1
,
2
) = 0.
x
m
2
+b
1
(
1
,
2
)x
n1
2
+b
2
(
1
,
2
)x
n2
2
+ +b
m
(
1
,
2
) = 0.
Mostre que (i) e sobrejetivo e (ii) para todo polinomio irredutvel f C[x
1
, x
2
]
existe um polinomio irredutvel g tal que (V(f)) = V(g). Exemplo explcito
com m, n 2.
5.3 primeiras aplicac oes do TDF
Inicialmente, um resultado sobre a natureza topol ogica da imagem.
5.3.1. Proposicao. Seja f : X Y um morsmo de variedades e seja
Z = f(X) a aderencia de sua imagem. Entao existe um aberto nao vazio de Z
contido em f(X).
Prova. Visto que a aderencia de uma uni ao nita e a uniao das aderencias,
podemos supor X irredutvel e, trocando Y por Z, supor f dominante. Pelo
TDF, existe um aberto de Y contido em f(X).
5.3.2. Corolario. (Construtibilidade da imagem.) Seja f : X Y um
morsmo de variedades. Entao, a imagem f(X) e um subconjunto construtvel
de Y, i.e., uma uniao nita de intersecoes de abertos e fechados.
5.3. PRIMEIRAS APLICAC

OES DO TDF 55
Prova. Reduz-se facilmente ao caso X irredutvel e f dominante. O caso
dimY = 0 nao oferecendo diculdade, suponhamos dimY > 0. Seja U f(X)
subconjunto n ao vazio e aberto em Y , como garantido pelo tdf (5.2, p. 52). Seja
Z = Y U. Temos dimZ < dimY . Por indu cao, f(f
1
(Z)) e construtvel
em Z, e portanto tambem em Y . O resultado segue notando que f(X) =
U f(f
1
(Z)).
5.3.3. semicontinuidade da dimensao das bras..
5.3.4. Proposicao. Seja f : X Y um morsmo de variedades. Entao,
para cada inteiro k, o subconjunto
f
(k)
= x X [ dim
x
f
1
(f(x)) k
e fechado em X.
Prova. Argumentamos por inducao sobre n = dimY . Se n = 0, obvio. Para a
etapa indutiva, podemos supor X irredutvel e f dominante. De fato, valendo
nesse caso, podemos restringir f a cada componente irredutvel X
i
de X. Seja Y
i
a aderencia de f(X
i
) em Y e denotemos f
i
: X
i
Y
i
o morsmo induzido. Se
x f
(k)
i
, e claro que dim
x
f
1
(f(x)) dim
x
f
1
i
(f
i
(x)) k. Reciprocamente, se
x f
(k)
, seja X
i
X uma componente contendo uma componente de f
1
(f(x))
com dimens ao k.

E imediato que x f
(k)
i
. Segue que f
(k)
=
f
(k)
i
, uni ao
nita de fechados. Seja r = dimX dimY . Doravante, vamos supor X irre-
dutvel e f dominante. Se k r ent ao f
(k)
= X. Por outro lado, para k r +1,
temos que f
(k)
est a contido em algum fechado Z X, imagem inversa de um fe-
chado pr oprio W Y , complementar do aberto denso em que cada componente
da bra tem dimens ao r. Aplicamos inducao ao morsmo Z W.
5.3.5. Observacao. O resultado e particularmente interessante quando o
morsmo f : X Y e fechado, i.e., aplica fechados em fechados. Nesse caso,
vale o seguinte enunciado de semi-continuidade no contradomnio.
5.3.6. Proposicao. Seja f : X Y um morsmo fechado sobrejetivo.
Entao, para cada inteiro k, o subconjunto f
(k)
= y Y [ dimf
1
(y) k e
fechado em Y.
Prova. Novamente, argumentamos por induc ao sobre n = dimY e reduzimos ao
caso X (logo Y ) irredutvel. De fato, valendo nesse caso, podemos restringir f
a cada componente irredutvel X
i
de X e agora tomar Y
i
= f(X
i
), fechado por
hip otese. Denotemos f
i
: X
i
Y
i
o morsmo induzido. Se y (f
i
)
(k)
, e claro
que dimf
1
(y) dimf
1
i
(y) k. Reciprocamente, se y f
(k)
, seja X
i
X
56 CAP
ITULO 5. DIMENS
AO
uma componente contendo uma componente de f
1
(y) com dimens ao k.

E
imediato que y (f
i
)
(k)
. Segue que f
(k)
=
(f
i
)
(k)
, uniao nita de fechados.
Seja r = dimX dimY . Doravante, vamos supor X irredutvel e f sobrejetiva.
Se k r ent ao f
(k)
= X. Por outro lado, para k r + 1, temos que f
(k)
est a
contido em algum fechado pr oprio W Y , complementar do aberto denso em
que cada componente da bra tem dimensao r. Aplicamos indu cao ao morsmo
f
1
W W.
5.3.7. Observacao. A semi-continuidade falha se omitirmos a hip otese de
morsmo fechado. Aprendi o exemplo seguinte com a Carolina Ara ujo. Seja
g : C
3
C
3
denida por (x, y, z
2
). Note que a imagem inversa da reta
y = 0, z = 1 tem duas componentes conexas, L
: y = 0, z = 1, x C.
Seja h : X C
3
a explosao de L
+
. A imagem inversa de L
+
e L
+
P
1
. Seja
X
0
obtida pela remocao do subconjunto (0, 0, 1) P
1
L
+
P
1
. Por m,
seja f = g h : X
0
C
3
a composicao. Agora f
(1)
= (x, 0, 1) [ x ,= 0.
Exerccios. 84. Seja f como na observacao acima. Encontre um fechado
Z X
0
tal que f(Z) nao e fechado em C
3
. Identique f
(0)
f
(1)
.

E aberto?
85. Seja n um inteiro > 0 e seja
X = (A, V ) M(n, n) Gr
1
C
n
[ AV = 0.
Todas as bras de X Gr
1
C
n
sao da mesma dimensao. Qual? Ja as bras
de X sobre Y := M(n, n) sao vazias sobre o aberto das matrizes nao singulares.
A imagem de X em Y e o fechado irredutvel formado pelas matrizes de posto
< n. As bras sobre a variedade das matrizes de posto n1 sao todas reduzidas
a um so ponto. Descreva as bras sobre a variedade das matrizes de posto nk
para os demais casos. Idem para a situacao de matrizes retangulares. Idem para
matrizes simetricas.
86. Seja Y o espaco projetivo cujos pontos correspondem aos coecientes de
polinomios homogeneos de grau d nas variaveis x
1
, . . . , x
4
. Seja G = Gr
2
C
4
a
grassmanniana de retas de P
3
. Seja X = (F, ) Y G[ V(F). Mostre
que X G (induzida por projecao no 2
o
fator) tem como bras um espaco
projetivo. Deduza que X e irredutvel e calcule sua dimensao. Examine as bras
de X sobre Y para d = 1, 2, 3, 4.
5.4 mais aplicac oes do TDF
O resultado seguinte generaliza (4.1.3, p. 34); veja tambem (5.1.13, p. 48).
5.4. MAIS APLICAC

OES DO TDF 57
5.4.1. Proposicao. Seja f : X Y um morsmo fechado de variedades.
Suponha Y irredutvel e que cada bra e irredutvel e de dimensao constante.
Entao X e irredutvel.
Prova. Sejam X
1
, . . . , X
r
X as componentes irredutveis distintas. Para cada
i tal que que f(X
i
) = Y , seja Y
i
um aberto de Y n ao vazio tal que
dimf
1
|X
i
(y) = dimX
i
dimY, y Y
i
,
a dimens ao esperada, garantido pelo TDF(5.2). Se f(X
i
) ,= Y , dena Y
i
=
Y f(X
i
). Seja U =
Y
i
. Entao U e um aberto denso de Y . Escolha y
0
U.
A irreducibilidade das bras implica f
1
y
0
X
i
0
para algum i, digamos i = 1,
com f(X
1
) = Y em virtude da escolha de y
0
. Logo, (f
|X
1
)
1
(y
0
) = f
1
y
0
. Para
x X
1
arbitr ario, temos (f
|X
1
)
1
(f(x)) f
1
f(x). Comparando dimens oes
conclumos que esta inclusao e uma igualdade, (f
|X
1
)
1
(f(x)) = f
1
f(x), x
X
1
. Como f(X
1
) = Y , se x
X e arbitrario, segue que existe x X

1
tal que
f(x
) = f(x). Logo, temos x
f
1
f(x) X
1
, e portanto X = X
1
.
5.4.2. Observacao. X = V(xy 1) V(x, y) Y = C, proje cao no eixo dos
x tem bras irredutveis e de mesma dimens ao, mas. . .
Exerccios. 87. Seja P
N
o espaco de parametros para hipersuperfcies de grau
d em P
n
e seja r 1. Estamos interessados nas hipersuperfcies que contem
algum subespaco P
r
de P
n
. Seja X = (F, ) P
N
Gr
r+1
C
n+1
[ V(F).
Mostre que X e irredutvel e calcule sua dimensao.
88. Mostre que toda superfcie c ubica em P
3
contem pelo menos uma reta. Mos-
tre que a superfcie quartica generica nao contem retas. Idem para grau maior
que 4.
58 CAP
ITULO 5. DIMENS
AO
Captulo 6
brados vetoriais
6.1 exemplo universal
Lembramos que cada x P
n
representa uma reta passando pela origem emC
n+1
.
Seja
L = (x, v) P
n
C
n+1
[ v x (6.1)
Sejam p
1
, p
2
as projec oes de L em P
n
,C
n+1
. A imagem inversa p
1
1
(x) x
C
n+1
se identica, mediante o isomorsmo natural x C
n+1
C
n+1
, com o
subespaco de C
n+1
que o ponto x representa. A imagem inversa p
1
2
(v) de cada
v ,= 0 consiste exatamente no par ([v], v), onde [v] P
n
representa a reta gerada.
(Leitor: p
1
2
(0)?)
Notemos que L e de fato uma subvariedade quase-projetiva, denida pelo
sistema de equa coes
x
i
y
j
= x
j
y
i
, 1 i, j n + 1, (6.2)
onde os x
i
denotam coordenadas homogeneas em P
n
e os y
j
coordenadas ans
em C
n+1
.
Seja U
i
P
n
o aberto b asico x
i
,= 0. Vamos mostrar que
p
1
1
U
i
U
i
C.
Lembramos que U
i
C
n
, mediante (x
1
, . . . , x
n+1
) (
x
1
x
i
, . . . ,
x
n
+1
x
i
) (omitir
x
i
x
i
=
1). O sistema (6.2) fornece ent ao (y
1
, . . . , y
n+1
) = y
i
(
x
1
x
i
, . . . ,
x
1
x
i1
, 1, x
i
, . . . , x
n+1
).
A aplicac ao
U
i
C

i
p
1
1
U
i
U
i
C
n+1
(x, t) (x, t(
x
1
x
i
, . . . ,
x
i1
x
i
, 1,
x
i+1
x
i
, . . . ,
x
n+1
x
i
))
e o isomorsmo prometido.
59
60 CAP
ITULO 6. FIBRADOS VETORIAIS

6.2 funcoes de transicao
Mais geralmente, seja : E X um morsmo de variedades. Diremos que
(ou simplesmente E) e um brado vetorial com base X e posto r se existir uma
cobertura de X por abertos U
de maneira que
1. para cada existe um isomorsmo
: U
C
r

1
U
tal que
(
(x, v)) = x, (x, v) U
C
r
;
2. para cada , , escrevendo U
= U
, a composic ao
U
C
r
1
U
C
r
e um isomorsmo da forma (x, v)
1
(x, v) = (x,
(x)v), onde
: U
GL(r)
e um morsmo. Cada
e dito uma trivializacao local; as composicoes,

|U
bem como
s ao chamadas funcoes de transic ao. O morsmo

: E X e chamado de morsmo estrutural. Para cada subconjunto
U X escrevemos E
U
=
1
U para indicar a restric ao de E sobre U.
Note que, restringindo a uma interse cao tripla U
, temos
1
, e portanto,
, chamada condic ao de cociclo.

A restricao de
a x C
r
equipa cada E
x
=
1
(x) E, x U
, com
uma estrutura de espa co vetorial. Visto que
(x) e um isomorsmo linear,

vemos que a estrutura de espaco vetorial independe da escolha de .
Um brado de posto 1 e tambem chamado um brado em retas.
Veriquemos que LP
n
e um brado em retas, chamado de brado tau-
tol ogico sobre P
n
. Para x U
ij
, temos x
i
,= 0 ,= x
j
. Calculamos
1
j

i
(x, t) =
1
j
(x, t(
x
1
x
i
, . . . ,
x
i1
x
i
, 1,
x
i+1
x
i
, . . . ,
x
n+1
x
i
))
=
1
j
(x,
x
j
x
i
t(
x
1
x
j
, . . . ,
x
j1
x
j
, 1,
x
j+1
x
j
, . . . ,
x
n+1
x
j
))
= (x,
x
j
x
i
t).
Temos aqui
ji
(x) =
x
j
x
i
GL(1) = C
. (6.3)
6.3. HOMOMORFISMOS 61
6.3 homomorsmos
Um homorsmo de brados vetoriais
i
: E
i
X (i = 1, 2) sobre uma variedade
X e um morsmo : E
1
E
2
tal que
1.
2
=
1
;
E
1
A
A
A
A
A
A
A
A
E
2
2
.}
}
}
}
}
}
}
}
X
(6.4)
2. a restric ao
x
: E
1x
E
2x
` as bras sobre cada x X e linear.
Um isomorsmo de brados vetoriais e um homomorsmo que e um isomorsmo
de variedades.

E imediato que se um homomorsmo e isomorsmo, entao
1
tambem e um homomorsmo.
Exerccios. 89. A composicao de homomorsmos de brados vetoriais e um
homomorsmo de brados vetoriais. Idem para a composicao de isomorsmos.
90. Seja : E
1
E
2
um homorsmo bijetivo de brados vetoriais. A aplicacao
inversa
1
e um morsmo?
6.3.1. Lema. Seja X uma variedade e seja U
i
iI
uma cobertura aberta.
Sejam
ij
: U
ij
GL(r) morsmos satisfazendo a condicao de cociclo
ij
jk
=
ik
. Entao existe um brado vetorial : E X munido de trivializacoes
locais
i
: U
i
C
r
E
U
i
satisfazendo a
1
i

j
(x, v) = (x,
ij
(x)v) i, j I, x
U
ij
, v C
r
.
Prova. Seja

E =
U
i
C
r
a uni ao disjunta. Seja :

E E o espa co
topologico quociente pela rela cao (x, v) (x
, v
) x = x
U
ij
, v
ij
(x)v.
A restricao
i
de a cada U
i
C
r
e um homeomorsmo sobre sua imagem
E
i
. De fato,
i
e bijetiva e aberta.
Seja U E aberto e seja
U
a restric ao de a
1
(U). Denimos
O
E
(U) = f : U C[ f
U
O
e
E
(
1
U).
Temos assim um feixe de func oes em E. Esse feixe torna a aplicac ao quociente
:

E E um morsmo de espacos anelados.
62 CAP

Seja f : E
i
C tal que f
i
O
e
E
(U
i
C
r
). Entao temos f O
E
(E
i
).
De fato, ponha

E
i
=
1
E
i
; observe que

E
i
(U
j
C
r
) = U
ij
C
r
. Logo, se
(x, v)

E
i
(U
j
C
r
), temos f
e
E
i
(x, v) = f
i
(x,
ij
(x)v), mostrando que
f
e
E
i
O
e
E
(
E
i
). O mesmo argumento motra que
i
: U
i
C
r
E
i
e um
isomorsmo de espacos anelados. Portanto, E
i
e uma variedade, seguindo que
E e uma variedade.
Dene-se : E X de maneira evidente, de forma que
1
U
i
= E
i
U
i
C
r
. Detalhes restantes, por conta do leitor.
Exerccios. 91. Verique os detalhes da demonstracao anterior.
92. Mostre que, na construcao do brado E no lema anterior, se X e separado
(i.e., diagonal fechada em XX) entao E e separado. A recproca tambem vale.
93. (Colagem de variedades.) Seja (X
) uma famlia de variedades. Suponha

que para cada par de ndices , seja dado um aberto X
e um isomor-
smo
: X
tal que
= id em X
= X
em X
. Mostre que
existe uma variedade Y e uma cobertura aberta (Y
) juntamente com isomors-

mos
: X
tais que
(X
) = Y
e
1
[X
.
94. Sejam X
1
= X
2
= C X
12
= C
= C 0. Dena
12
(t) = 1/t, t C
.
Seja Y obtido por colagem como no exerccio anterior. Mostre que Y P
1
.
Generalize para P
n
.
6.3.2. Lema. Seja : E F um homomorsmo de brados vetoriais sobre
uma variedade X. Entao existem uma cobertura aberta U
de X e trivializacoes
locais como no diagrama
1
U

1
U
C
r
C
s
onde
e um homomorsmo de brados triviais sobre U
e o mapa
denota
a restricao de . O homomorsmo
e da forma (x, v) (x,
(x)v). Aqui
6.3. HOMOMORFISMOS 63
: U
M(r, s) e um morsmo e sua restricao a U
satisfaz
(x)
(x) =
(x)
(x), x U
.
U
C
r
C
s
U
C
r
C
s
(6.5)
Reciprocamente, toda colecao
nas condicoes acima provem de um homomor-

smo de brados.
Prova. O ponto principal e se dar conta de que os brados E, F podem ser
trivializados sobre uma mesma cobertura. Isto se deduz passando a um rena-
mento comum. Para a recproca, usamos
para denir
e em seguida,
.
Estes ultimos sao compatveis nas intersec oes sobre U
, denindo assim um
homomorsmo : E F.
O lema anterior signica que, um homomorsmo de brados vetoriais pode
ser imaginado como uma cole cao de matrizes
com entradas fun coes regulares

em abertos U
de uma cobertura aberta que trivializam os brados e satisfazendo

a relac oes de compatibilidade naturais.
6.3.3. Proposicao. Sejam E, F brados vetoriais sobre uma variedade X,
denidos por fun coes de transic ao
associadas a uma cobertura U
de X.
Ent ao existe um isomorsmo : E F de brados vetoriais se e s o se existem
morsmos
: U
GL(r) tais que
(x) =
(x)
(x)
(x)
1
, x U
.
Prova. Segue imediatamente do lema anterior.
6.3.4. Proposicao. Seja : E F um homomorsmo de brados vetoriais
sobre uma variedade X. Entao sao equivalentes:
1. e injetivo;
2. a restricao
x
: E
x
F
x
a cada bra e injetiva;
3. e um isomorsmo de E sobre um fechado de F.
Prova. Passando a uma trivializac ao, podemos supor X am e que o homomo-
morsmo : X C
r
X C
s
se expressa por uma matriz da forma (I, ),
onde I denota um bloco identidade r r. Temos assim (x, (y
1
, . . . , y
r
)) =
(x, (y
1
, . . . , y
r
, y
r+1
, . . . , y
s
)) onde y
r+i
=
ij
(x)y
j
. Isto implica que
:
64 CAP

O
X
[z
1
, . . . , z
s
] O
X
[y
1
, . . . , y
r
] e o homomorsmo sobrejetivo de O
X
(X)- algebras
denido por
(z
i
) = y
i
, i = 1..s. Aplicando (2.5.3, p. 17),(2), completamos a
verica cao de 2 3. As demais implicacoes sao simples.
Exerccios. 95. Notacao como na demonstracao acima, mostre que existem
isomorsmos de brados vetoriais, : XC
r
XC
r
, : XC
s
XC
s
tais que (x, , (y
1
, . . . , y
r
)) = (x, (y
1
, . . . , y
r
, 0, . . . , 0)), i.e., podemos fazer
= 0.
6.4 subbrados vetoriais
Seja E

X um brado vetorial. Um subbrado vetorial de E e uma subvarie-
dade fechada S E tal
|S
: S X e um brado vetorial e o mapa de inclus ao
e um homomosmo.
2
C
2
denida por (x, y) (x, xy). Mostre que
e um homomorsmo de brados em retas sobre C. Descreva n ucleo e imagem.
Sao subbrados?
97. Seja X uma variedade am e seja Y X C
n
uma subvariedade tal que,
para cada x X a bra Y
x
= Y E
x
e um subespaco vetorial de dimensao
constante. Pode-se concluir que Y X e um subbrado?
98. O exemplo mais importante de subbrado vetorial e o chamado subbrado
tautologico sobre a grassmanniana,
o = (x, v) Gr
r
C
n
C
n
[ v x. (6.6)
A restricao de o sobre a fatia (3.3) produz um isomorsmo o
V
V C
r
. Cada
(x, y) V C
r
se envia na combinacao
y
i
x
i
C
n
das linhas de x. Veri-
que em detalhes que o e um subbrado. De particular interesse e o brado L
introduzido em (6.1, p. 59).
99. Seja X uma variedade am e seja (a
ij
) uma matriz mn de funcoes regu-
lares. Seja a : X C
n
X C
m
denido por
a(x, y) = (x, (
a
1j
(x)y
j
, . . . ,
a
mj
(x)y
j
)).
Suponha que o posto de (a
ij
(x)) e um inteiro r independente de x X. Mostre
que o n ucleo e a imagem de a sao brados vetoriais.
6.5. OPERAC

OES COM FIBRADOS VETORIAIS 65
6.5 operacoes com brados vetoriais
Cada uma das operac oes habituais da algebra linear tem um aspecto brado.
Assim, deixamos como exerccio de rotina a vericac ao do seguinte. Dados E, F
brados vetoriais sobre X, podemos construir
1. a soma direta E
F;
2. o brado dual E
;
3. o brado de homomorsmos Hom(E, F);
4. o brado quociente F/E se E F e um subbrado;
5. o produto tensorial E F;
6. as potencias tensoriais, simetricas e exteriores, E
n
, S
n
E,
_
n
E.
Analogamente, dene-se seq uencia exata de brados,
E

E
,
pelo requerimento Im = ker .
Exerccios. 100. Para cada um dos brados acima denidos, escreva funcoes
de transicao em termos das funcoes de transicao de E, F.
6.6 o feixe de secoes
Exerccio anterior mostra que tanto a imagem como o n ucleo de um homo-
morsmo de brados podem n ao ser um subbrado. Este incomodo vai ser
contornado por meio da noc ao de feixe de se coes.
Para cada brado vetorial : E X e para cada aberto U X, de-
notamos por

E(U) o conjunto das se coes, i.e., morsmos s : U E, tais que
(s(x)) = x, x U. Esta condicao implica que s(x) E
x
. Como esta bra tem
estrutura de espaco vetorial, vemos que faz sentido somar secoes bem como mul-
tiplicar por fun coes denidas em U. Passando a uma trivializacao local, deduz-se
que cada se cao corresponde localmente ` a escolha de um vetor de fun coes regu-
lares (f
1
, . . . , f
r
) O
X
(U)
r
. Mais precisamente, se
U
: U C
r
E
U
, temos
1
U
(s(x)) = (x, (f
1
(x), . . . , f
r
(x)). Segue que a soma de secoes e a multiplicac ao
por funcao regular reproduz uma se cao. Em outras palavras,

E(U) e munido de
66 CAP

uma estrutura de O
X
(U)-m odulo. Se U
U s ao abertos, temos um homomor-

smo de restri cao
U
U
:

E(U)

E(U
), claramente compatvel com a restric ao

de func oes,
U
U
: O
X
(U) O
X
(U
):
U
U
(f s) =
U
U
(f)
U
U
(s), f O
X
(U), s

E(U).
Exerccios. 101. Seja EX um brado vetorial de posto r sobre uma varie-
dade X e seja s : X E. uma secao. Entao cada componente de V(s) = x
X [ s(x) = 0 tem dimensao dimX r.
Mais geralmente, um feixe de O
X
-m odulos / sobre uma variedade X e um
feixe (cf. p. 19) que associa a cada aberto U X um O
X
(U)-m odulo /(U)
satisfazendo as compatibilidades habituais com respeito a homomorsmos de
restric ao:
para cada par de abertos V U, temos homomorsmos de grupos
UV
:
/(U) /(V ) tais que
UU
= id;
se W V U s ao abertos, ent ao
UW
=
V W
UV
;
a estrutura de O
X
(U)-m odulo de /(V ) induzida por restric ao de escalares
O
X
(U) O
X
(V ) torna
UV
um homomorsmo de O
X
(U)-m odulos.
Sin onimo: O
X
-M odulo. Dene-se a no cao de homomorsmo de Modulos de
maneira evidente. Seja / um O
X
-M odulo e xe um ponto x X. Sejam
U, U
vizinhancas abertas de x. Dizemos que as se coes m /(U), m
/(U
)
denem o mesmo germe em x se existir aberto U
U U
tal que U
x
e m
|W
= m
|W
. Trata-se de uma relac ao de equivalencia na colec ao das sec oes
de / denidas em vizinhancas abertas de x. O talo de / em x e o conjunto
quociente, denotado /
x
. Verica-se facilmente que /
x
e um O
x
-m odulo.
O modelo b asico de O
X
-M odulo provem do caso em que X e uma varie-
dade am. Escrevamos R = O(X) seu anel de coordenadas. Seja M um R-
m odulo. Vamos denir um M odulo, denotado

M, utilizando a noc ao de m odulos
de frac oes. Para cada x X, denimos o talo de M em x, denotado M
x
, como o
O
x
-m odulo formado pelas fra coes m/f, m M, f R, f(x) ,= 0. Cada frac ao
e uma classe de equivalencia, declarando-se
m/f = n/g h R, h(x) ,= 0, tal que h (gmfn) = 0 em M.
Detalhes, a cargo do zeloso leitor.
Exerccios. 102. Seja R um anel (comutativo, com unidade) e seja M um
R-modulo. Para cada f R seja M
[f]
= (m, f
r
) [ m M, r N. Dena a
6.6. O FEIXE DE SEC

OES 67
relacao (m, f
r
) (n, f
s
) em M
[f]
t 0 tal que f
t
(f
s
m f
r
n) = 0
em M. Mostre que esta e uma relacao de equivalencia. Dene-se o R-modulo
de fracoes M
f
= m/f
r
[ m M, r 0, onde cada fracao e uma classe de
equivalencia, com a soma e multiplicacao denidas da maneira usual. Verique
a boa denicao dessas operacoes.
103. Mostre que o homomorsmo natural M m m/1 M
f
e um isomor-
smo se e so se o homomorsmo M m f m M o for. Quando M = R,
mostre que R
f
e de fato uma R-algebra comutativa, isomorfa ao anel quociente
R[x]/xf 1).
104. Mostre que a aplicacao natural R R
f
e injetiva se e so se f e nao
divisor de zero. Mostre que R
f
= 0 (anel nulo) se e so se f e nilpotente. Mostre
que M
f
herda uma estrutura natural de R
f
-modulo tal que (g/f
r
)(m/f
s
) = .
Mostre que, se m M, m ,= 0, entao existe f R tal que m/1 ,= 0 em M
f
.
105. Notacao como no exerccio anterior, mostre que, se : M N e um ho-
momorsmo de R-modulos entao existe um e so um homomorsmo
f
: M
f

N
f
de R
f
-modulos tal que
f
(m/1) = (m)/1 m M. Mostre que
f
e inje-
tivo (resp. sobrejetivo) se e injetivo (resp. . . ). Mostre que ker(
f
) = ker()
f
;
idem para coker.
Para cada aberto U X, consideremos o produto
xU
M
x
. Podemos consi-
derar esse produto como um modulo sobre o produto de aneis
xU
O
x
. Diremos
que uma famlia (m
x
)
xU
M
x
e localmente determinada se, para cada x U
existirem m
x
M, f
x
R, tais que
x X
f
x
U e
m
y
= m
x
/f
x
em M
y
para cada y X
f
x
.
(6.7)
Ou seja, os membros da famlia na vizinhanca de cada m
x
s ao todos deter-
minados pela mesma frac ao.
6.6.1. Lema. Seja

M(U)
xU
M
x
o subconjunto formado pelas famlias
localmente determinadas. Entao
(i)

M(U) e um modulo sobre O
X
(U) fazendo g (m
x
) = (gm
x
), g O
X
(U);
(ii) para cada f R seja M
f
o R
f
-modulo das fracoes m/f
i
, m M, i Z.
Seja : M
f

xX
f
M
x
o homomorsmo natural. Entao e injetiva e sua
imagem e igual a

M(X
f
).
68 CAP

Prova. Sejam (m
x
)

M(U), g O
X
(U). Para cada x U, existem f
x

R, m
x
M tais que x X
f
x
U e m
y
= m
x
/f
x
, y X
f
x
. Analogamente,
temos g = a/f
r
x
em X
f
x
para algum a R. Segue que gm
y
= am
x
/f
r+1
x
, y
X
f
x
e portanto a famlia g (m
x
Veriquemos a injetividade de . Se (m/f
r
) = 0, ent ao m/f
r
= 0 em cada
M
x
, x X
f
. Logo, existe g
x
R tal que g
x
(x) ,= 0, g
x
m = 0 em R. Seja
I = g
x
[ x X
f
) o ideal gerado. Evidentemente vale hm = 0, h I. Temos
V(I) X
f
= . Logo, V (I) V(f). Pelo TZH, vem f rad I e portanto,
f
i
m = 0 para algum i. Assim, m/f
r
= 0 em M
f
.
Resta mostrar que cada (m
x
)

M(X
f
) esta na imagem de . Podemos
supor f = 1 (por que?).
Escrevemos m
z
= m
x
/h
x
em M
z
, z X
h
x
para algum m
x
M, h
x
(x) ,= 0.
Vale tambem m
y
/h
y
= m
x
/h
x
em M
z
, z X
h
x
h
y
. Temos assim g
z
(h
x
m
y
h
y
m
x
) = 0 em M, ou seja
g
z
h
x
m
y
= g
z
h
y
m
x
para algum g
z
R, g
z
(z) ,= 0. Logo, temos X
h
x
h
y

X
g
z
. Pelo TZH, segue
h
x
h
y
radg
z
[ z X
h
x
h
y
). Da vem
h
k
x
h
k
y
=
a
z
g
z
para algum k, a
z
R. Deduzimos da as relacoes
h
k
x
h
k
y
h
y
m
x
=
a
z
g
z
h
y
m
x
=
a
z
g
z
h
x
m
y
= h
k
x
h
k
y
h
x
m
y
;
1 =
b
x
h
k+1
x
, b
x
R; (pois X
h
x
= X)
h
k
y
m
y
=
b
x
h
k+1
x
h
k
y
m
y
=
b
x
h
k
x
h
k
y
h
y
m
x
= h
k+1
y
b
x
h
k
x
m
x
m
y
/h
y
= (
b
x
h
k
x
m
x
) em M
y
, y X.
Temos um pre-feixe

M denido por U

M(U)
xU
M
x
; o homomorsmo
de restricao para U U
abertos de X correspondem ` a projec ao,

xU
M
x

xU
M
x
. Trata-se efetivamente de um feixe. De fato se U
, s ao abertos,
U = U
e m

M(U
) denotam sec oes compatveis, e imediato que podemos

estende-las a uma secao (m
x
)

M(U) pela regra m
x
= (m
)
x
, x U
. Verica-
se que (m
x
Exerccios. 106. Verique os detalhes das armacoes acima.
107. Sejam X = 0, 1, R = O(X) C C. Seja T o feixe constante = R,
com restricoes identidade. Mostre que nao existe R-modulo M tal que T seja
da forma

M.
6.6. O FEIXE DE SEC

OES 69
108. Sejam X uma variedade am irredutvel, R = O(X). Seja T o feixe
constante K = Fr(R) (corpo de fracoes), com restricoes identidade. Mostre que
T =

K.
109. Seja X uma variedade am irredutvel. Seja U X um aberto am,
,= U ,= X. Dena T como o feixe associado ao pre-feixe tal que, para cada
aberto V X,
V
_
O
X
(V ) se V U,
0 caso contr ario.
Verique se existe O
X
(X)modulo M tal que T =

M.
6.6.1 Modulos quase-coerentes
Introduzido o modelo b asico de feixe de modulos sobre uma variedade am, di-
remos que um M odulo /sobre uma variedade X e quase-coerente se a restric ao
de / a cada aberto am X
i
de alguma cobertura de X e da forma

M
i
para
algum O(X
i
)-m odulo M
i
.
6.6.2. Lema. Seja / um Modulo quase-coerente sobre uma variedade X.
Entao a restricao de / a todo aberto am U de X e da forma

M para M =
/(U).
Prova.

E suciente mostrar que, se X e am, ent ao todo O
X
-M odulo quase-
coerente / provem do R-m odulo M = /(X) onde R = O
X
(X). Sejam X
i
abertos ans de X que exibem a quase-coerencia de /. Sem perda de genera-
lidade, podemos supor X
i
= X
f
i
aberto principal. Denotemos M
i
o R
f
i
-m odulo
/(X
i
) que dene /
|X
i
. Para cada f R, temos X
f
=
i
X
ff
i
. Portanto, a
seq uencia abaixo
0

M = /(X)

M
i

(M
i
)
f
j
e exata. Passando aos modulos de fracoes deduzimos
0

M
f

(M
i
)
f

(M
i
)
ff
j
0

/(X
f
)

/(X
ff
i
)

/(X
ff
i
f
j
).
Neste ultimo diagrama, as setas verticais nos produtos sao isomorsmos pois
/
|X
f
i
=

M
i
. Segue o isomorsmo
f
:

M(X
f
) = M
f
/(X
f
). A construc ao
70 CAP

mostra que
f
,
g
coincidem sobre X
fg
, fornecendo assim o isomorsmo desejado.
Exerccios. 110. Seja / um Modulo quase-coerente sobre uma variedade X.
Sejam U X aberto am, M = /(U) e x U. Entao o talo de / em x e
O
x
isomorfo ao talo de M em x.
111. Seja X uma variedade am irredutvel e seja A = O(X) seu anel de coor-
denadas. Seja K = Fr(A) o corpo de fracoes. Entao o feixe constante U K
e quase-coerente.
6.7 feixes localmente livres
Um feixe quase-coerente / de O
X
-m odulos e dito coerente se em cada aberto
am U X o O
X
(U)-m odulo /(U) e nitamente gerado.
Um feixe / e localmente livre se X admitir uma cobertura por abertos U
tais que /
|U
O
n
U
.
6.7.1. Lema. Seja X uma variedade am. Seja / um Modulo coerente sobre
X e seja M = /(X), R = O
X
(X). Sao equivalentes:
1. / e localmente livre;
2. M e somando direto de algum R
n
;
3. existem f
1
, . . . , f
r
R, n 1 tais que f
1
, . . . , f
r
) = 1 e cada M
f
i
R
n
f
i
.
Prova. (12) Existe uma cobertura aberta, que podemos supor nita e formada
por abertos principais X
f
i
, i = 1..k, de maneira que
R
f
M
f
= /(X
f
), f = f
i
.
Sejam m
i
1
, . . . , m
i
M tais que m
i
j
/1 e imagem de e
j
R
f
i
. Denimos
: R
n
=
k
1
R
M, n = k,
enviando as bases can onicas do i-esimo somando nos m
i
j
. O homomorsmo
e sobre pois cada
f
: R
n
f
M
f
e. Seja : Hom(M, R
n
) Hom(M, M)
denida por () = . Novamente cada
f
: Hom(R
f
, R
n
f
) Hom(R
f
, R
f
)
6.7. FEIXES LOCALMENTE LIVRES 71
e claramente sobrejetor, logo tambem e. Assim, existe uma cis ao, : M
R
n
tal que = 1
M
. Segue facilmente que R
n
= ker() (M) e portanto
M e somando direto de R
n
.
(23) Suponhamos R
n
= M M
. Seja x X, m = m
x
R o ideal maximal
correspondente. Segue a decomposicao R
n
/mR
n
C
n
= M/mMN/mN. Se-
jam m
1
, . . . , m
r
M cujas classes mod. mM formam base de M/mM. Temos
a igualdade M = m
1
, . . . , m
r
) + mM. A sobrejecao R
n
M oriunda da de-
composic ao fornece um conjunto nito de geradores, digamos v
1
, . . . , v
k
para M.
Escrevemos equac oes v
i
=
a
ij
m
j
+
ij
v
j
, a
ij
R,
ij
m. Matricialmente,
(1 (
ij
))
_
v
1
.
.
.
v
k
_
= (a
ij
)
_
m
1
.
.
.
m
r
_
. (6.8)
No aberto principal denido por f
x
= det(1 (
ij
)) ,= 0, temos portanto M
f
=
m
1
, . . . , m
r
)
f
. Podemos escrever analogamente M
f
= m
1
, . . . , m
s
)
f
. Da vem
uma sobrejec ao : R
n
f
M
f
M
f
= R
n
f
denida mandando a base canonica
nos m
i
, m
j
. Pelo lema seguinte, e um isomorsmo, e portanto os m
i
s ao l.i.
Visto que os X
f
x
recobrem X, extrai-se uma subcobertura nita por quase-
compacidade.
(31) Exerccio.
O belo resultado seguinte e devido a W. Vasconcelos.
6.7.2. Lema. Seja M um R-modulo f.g. Entao todo endomorsmo sobrejetivo
: M M e injetivo.
Prova. Trocando R pelo sub-anel R[] Hom(M, M) podemos supor que R
e uma homotetia. Se M = m
1
, . . . , m
r
), podemos escrever relac oes
m
i
=
a
ij
m
j
.
Segue det(1(a
ij
))m = 0 m M. Expandindo, vem (1a)m = 0. Portanto
a homotetia denida por a fornece a inversa de .
Exerccios. 112. Seja X = V(f) C
n
uma hipersuperfcie. Suponha f(x) =
(f/x
1
, . . . , f/x
n
) ,= 0x X. Seja R = O(X). Seja : R
n
R o
homomorsmo denido por (g
1
, . . . , g
n
) =
f
x
i
g
i
. Mostre que e sobrejetivo.
Mostre que ker e localmente livre. Mostre que, se f = x
2
1
+ x
2
2
1 entao ker
e livre. Suponha f = x
2
1
+ x
2
2
+ x
2
3
1. Encontre : R R
3
tal que = 1.
Mostre que R
3
= ker (R). (Sabe-se que ker nao e livre neste ultimo caso.)
72 CAP

6.8 feixes versus brados
6.8.1. Lema. Seja E X um brado vetorial. Escolhamos uma cobertura
aberta U
i
X que trivializa E,
i
: U
i
C
n
E
|U
i
. Sejam
ij
: U
ij
GL(n) as
funcoes de transicao correspondentes. Seja s : X E uma secao e escrevamos
s
i
= s
|U
i
a restricao. Entao existem morsmos
i
: U
i
C
n
tais que
() s
i
(x) =
i
(x,
i
(x)) x U
i
;
()
i
(x) =
ij
(x)
j
(x) x U
ij
.
Reciprocamente, dados morsmos
i
: U
i
C
n
que vericam a condicao (),
existe uma unica secao s : X E com expressoes locais ().
Prova. Dada a sec ao s : X E, denimos
i
pelo requerimento
1
i
(s
i
(x)) =
(x,
i
(x)). Se x U
ij
, entao vale s
i
(x) = s
j
(x), e portanto,
1
i

j
(x,
j
(x)) = (x,
ij
(x)
j
(x)) =
1
i
(s
i
(x)) = (x,
i
(x)).
Para a recproca, denimos s
i
: U
i
E
U
i
usando (). A compatibilidade
em U
ij
e garantida por ().
Para cada brado vetorial E X temos associado seu feixe

E de sec oes.
Por construc ao, trata-se de um O
X
-M odulo localmente livre.
Reciprocamente, para cada feixe localmente livre /sobre uma variedade X,
vamos construir um brado vetorial

M tal que
M /.
Temos uma cobertura aberta am U
i
X tal que
i
: O
n
U
i
/
|U
i
. Visto que
(/
|U
i
)
|U
ij
= (/
|U
j
)
|U
ij
, deduz-se um isomorsmo
ij
: O
n
U
ij
O
n
U
ij
.
Este e identicado com um morsmo
ij
: U
ij
GL(r) satisfazendo a condic ao
de cociclo. Da resulta um brado vetorial :

M X que se trivializa na
cobertura em tela, com fun coes de transicao
ij
. Pelo exposto sobre express oes
locais para sec oes em termos de func oes de transic ao, verica-se que o feixe de
sec oes de

M coincide com /.
6.9. FIBRADOS EM RETAS SOBRE P
N
73
6.9 brados em retas sobre P
n
6.9.1. Proposicao. Seja LP
n
o subbrado tautologico de P
n
C
n+1
. Entao
seu feixe de secoes e isomorfo ao feixe O(1), denido por
U
_
F
G
[ F, G sao polinomios homogeneos, deg F = deg G1, G(x) ,= 0 x U
_
para cada aberto U P
n
.
Prova. Cada secao de L induz uma sec ao de P
n
C
n+1
. Esta ultima e dada por
um vetor v = (f
1
, . . . , f
n+1
) de func oes regulares em U. Por denic ao de L, valem
as relac oes x
i
f
j
= x
j
f
i
. Escrevendo cada f
i
= F
i
/G
i
, com G
i
(x) ,= 0 x U,
achamos
F
i
G
i
x
i
=
F
j
G
j
x
j
=
F
G
(6.9)
independente de i, j. Temos assim v =
F
G
(x
1
, . . . , x
n+1
).
Alternativamente, podemos usar 6.8.1. Seja U
i
o aberto basico x
i
,= 0. Cada
sec ao s : U L corresponde a n + 1 func oes regulares f
i
: U U
i
C tais
que f
i
(x) =
ij
(x)f
j
(x) x U U
ij
. Lembrando (6.3), temos as func oes de
transic ao
ij
(x) = x
i
/x
j
. Logo, f
i
= f
j
x
i
/x
j
e conclumos como antes.
Mediante a identicac ao
(brado vetorial) (feixe localmente livre)
passamos a nos referir a O(1) seja como brado, seja como feixe.
Denotamos por O(1) o brado dual. Temos por construc ao a seq uencia exata
de brados,
T

P
n
(C
n+1
)
O(1).
Na bra sobre cada x P
n
, a seq uencia exata de espacos vetoriais,
T
x

(C
n+1
)
O(1)
x
tem a interpretac ao seguinte:
1. O(1)
x
e o espa co dual do subespaco de dimens ao um, O(1)
x
, associado
a x;
2. T
x
e o espaco das n 1 equacoes lineares independentes que denem o
ponto x.
74 CAP

Para cada inteiro m Z, denotamos por O(m) a m-esima potencia tensorial
de O(1).
A discussao precedente permite-nos mostrar o importante
6.9.2. Teorema. Para cada aberto U P
n
, as secoes de O(m) formam o
O(U)-modulo
_
F
G
[ F, G sao polinomios homogeneos, deg F = deg G +m, G(x) ,= 0 x U
_
.
Prova. As fun coes de transic ao para O(m) s ao
(m)
ij
= (x
i
/x
j
)
m
. Logo, proce-
dendo como na demonstra cao anterior, cada se cao s : U O(m) corresponde
a n + 1 func oes regulares f
i
: U U
i
C tais que f
i
(x) =
(m)
ij
(x)f
j
(x) x
U U
ij
. Temos assim f
i
x
m
i
= f
j
x
m
j
. Escrevendo cada f
i
= F
i
/G
i
, com
deg F
i
= deg G
i
, G
i
(x) ,= 0 x U U
i
, achamos
()
F
i
x
m
i
G
i
=
F
j
x
m
j
G
j
=
F
G
,
independente de i, j. Supondo mdc(F, G) =mdc(F
i
, G
i
) = 1, mostremos que
G(x) ,= 0 x U. De fato, caso m 0, de GF
i
x
m
i
= G
i
F conclumos que existe
H tal que G
i
= HG; se m < 0, GF
i
= G
i
Fx
m
i
implica G
i
x
m
i
= HG e portanto
G n ao se anula para x U U
i
. Reciprocamente, se F/G e como no enunciado,
podemos usar () para denir uma sec ao de O(m).
Para cada feixe T, escreve-se
H
0
(X, T) = T(X)
o espaco vetorial das sec oes globais.
Exerccios. 113. Mostre que H
0
(X, T () = H
0
(X, T) H
0
(X, ().
6.9.3. Corolario.
H
0
(P
n
, O(m)) =
_
_
_
F [ F polinomio homogeneo de grau m, se m 0;
0, caso contrario.
Veremos oportunamente que todo brado em retas sobre P
n
e isomorfo a
algum O(m).
6.10. N
UCLEO, IMAGEM E QUOCIENTE 75

6.10 n ucleo, imagem e quociente
Seja X uma variedade e seja : //
um homomorsmo de O
X
-M odulos.
Lembramos que, para cada aberto U X, e dado um homomorsmo
U
:
/(U) /
(U) de O
X
(U)-m odulos.

E um exerccio simples mostrar que o
pre-feixe denido por
ker()(U) = ker(
U
)
e de fato um feixe. Entretanto, para a imagem a situac ao e mais sutil. Considere
por exemplo o homomorsmo de M odulos sobre P
1
,
O(1)
2

O
(f
1
, f
2
) x
1
f
1
+x
2
f
2
.
Sobre os abertos b asicos U
i
: x
i
,= 0, temos as sec oes constantes 1
U
i
(O(1)
2
(U
i
)).
Na intersec ao, nada mais compatvel, fato que nos levaria a esperar 1
P
1(O(1)
2
(P
1
)).
Mas isto e impossvel, pois sabemos que H
0
(P
1
, O(1))
2
= 0!
6.10.1. Lema. Seja T um pre-feixe sobre um espaco topologico X. Entao
existe um feixe

T munido de um mapa de pre-feixes : T

T caracterizado
pela seguinte propriedade universal:
T

T
! e
.q
q
q
q
q
q
q
T
onde T denota um feixe. Em particular, e um isomorsmo se e so se T e um
feixe.
Prova. Para cada x X, seja T
x
=
T(U), uni ao disjunta sobre as vizinhancas

abertas de x. Sejam U, U
vizinhancas abertas de x. Declaramos secoes s

T(U), s
T(U
) germe-equivalentes em x se existir aberto U
U U
tal que
x U
e as restric oes coincidem, s

|U
= s
|U
. Cada classe de equivalencia e

novamente chamada um germe de sec ao. O talo T
x
e o conjunto quociente dessa
relac ao. Cada mapa de pre-feixes T T
induz um mapa natural T

x
T
x
.
Seja

T(U) =
xU
T
x
. Trata-se de um pre-feixe, as restric oes sendo denidas
por projec ao. Dene-se um mapa T(U)

T(U) associando a cada secao o
seu germe em x. Dizemos que (s
x
)

T(U) e localmente determinada se, numa
sub-vizinhanca U
x
de cada x U existir s
x
T(U
x
) tal que s
y
= s
x
como
germes em y para cada y U
x
. Denimos

T(U) como a colec ao das (s
x
)
76 CAP

localmente determinadas. Evidentemente U

T(U) dene um sub-pre-feixe de
T. Mostraremos que

T e de fato um feixe. Seja U
, uma cobertura aberta

de U. Sejam (s
)

T(U
) se coes compatveis. Isto signica que, para cada par

, as restric oes de (s
) e de (s
) a U
coincidem. No presente contexto,

isto signica que as coordenadas s
x
= s
x
x U
. Portanto, podemos
denir s

T(U) fazendo s
x
= s
x
para cada x U
, sem ambig uidade.

E
imediato que s e localmente determinada, ou seja, temos efetivamente s

T(U).
Observemos que, o mapa natural
U
: T(U)

T(U) e um mapa de pre-feixes.
Alem disso, o mapa induzido entre os talos, T
x

T
x
e um isomorsmo. De
fato, seja (s
y
)

T(U) representante de um germe de

T em x U. Escolhemos
s
x
T(U
x
) que determina o germe de cada s
y
, y U
x
. Ent ao s
x
representa um
unico germe de T em x que se envia em .
Seja agora

: T T um mapa de pre-feixes, onde T e um feixe. Seja
(s
y
)

T(U). Podemos escolher vizinhancas abertas U
x
U e sec oes s
x
T(U
x
)
tais que z U
x
existe aberto U
x
z
com z U
x
z
U
x
e s
x
|U
x
z
= s
z|U
x
z
. Segue que as
sec oes

(s
x
) sao compatveis: se z U
x
U
y
, temos

(s
x
|U
x
z
U
y
z
) =

(s
z|U
x
z
U
y
z
) =
(s
y
|U
y
z
U
x
z
). Como T e um feixe, podemos concluir que
(s
x
|U
x
U
y
) =

(s
y
[U
x
U
y
).
Fica assim bem denida

((s
y
)). Detalhes restantes, a cargo do leitor.
O feixe

T construdo acima e chamado de feixe associado ao pre-feixe T.
Segue da constru cao que o mapa de pre-feixes T

T induz, para cada
x X, isomorsmos naturais T
x

T
x
entre os talos.
Dene-se agora o feixe imagem de um homomorsmo de O
X
-M odulos, :
//
como o feixe associado ao pre-feixe

U
U
(/(U)).
Dene-se o feixe quociente de umO
X
-M odulo /por um subModulo ^ como
o feixe associado ao pre-feixe
U /(U)/^(U).
Dizemos que uma seq uencia de homomorsmos de O
X
-M odulos,
/

^

T
e exata se ker = Im.
6.10. N
UCLEO, IMAGEM E QUOCIENTE 77

6.10.2. Lema. Seja : //
um homomorsmo de O
X
-Modulos e seja
U X um aberto. Entao o feixe imagem Im e o subfeixe de /
dado por
Im(U) = s
(U) [ x U, s /
x
com
x
(s) = s
x
.
Em palavras, o feixe imagem e dado pelas secoes de /
que localmente sao da

forma
U
x
(s) para alguma vizinhanca x U
x
U, s /(U
x
).
Se /, /
sao quase-coerentes, entao o n ucleo, a imagem e o co-n ucleo (quoci-

ente de /
pela imagem) ker , Im, coker sao quase-coerentes.

Prova. A descric ao de Im segue da construc ao do feixe associado. A armacao
sobre quase-coerencia provem do seguinte.
6.10.3. Sublema. Na seq uencia exata de O
X
-Modulos,
/

^

T
onde ker = 0, Im = T, se dois sao quase-coerentes (resp. coerentes), o
terceiro tambem e.
Prova. Suponhamos /, ^ quase-coerentes. Podemos supor X am; seja R =
O
X
(X). Sejam M = /(X), N = ^(X), P = M/N. Consideremos a seq uencia
de feixes,
M

N

P.
Ela e exata pois, para cada f R, temos a seq uencia exata de R-M odulos,
M
f

N
f
P
f
.
Vamos mostrar que T=
P. Sabemos que T e o feixe associado ao pre-feixe

U /(U)/^(U). Temos assim um homomorsmo natural induzido T

P.
O homomorsmo induzido em cada talo, T
x

P
x
e um isomorsmo, logo T e
isomorfo a

P.
Os demais casos s ao an alogos.
6.10.4. Proposicao. Na seq uencia exata de O
X
-Modulos quase-coerentes
/

^

T
onde ker = 0, Im = T, se ^, T sao localmente livres, entao / e localmente
um somando direto de ^.
78 CAP

Prova.
A argumenta cao e analoga ` a desenvolvida em 6.7.1. A situacao se reduz a
uma seq uencia exata de R-m odulos,
M

N

P
onde N R
n
, P R
p
. Nessas condicoes deduz-se que N M P.
Note que nas condi coes acima, segue em particular que /e localmente livre.
Exerccios. 114. Sejam M = x) N = C[x] = R. Na seq uencia exata
M

N P, este ultimo R-modulo nao e localmente livre.
115. Se na seq uencia exata M

N P de R-modulos N e localmente
livre e M e localmente um somando direto de N entao P e localmente livre.
116. Use a proposi cao 6.10.4 e a identicacao feixe brado 6.8 para construir
o brado quociente F/E de um brado vetorial F por um subbrado E.
6.11 imagem recproca de brados vetoriais
6.11.1. Proposicao. Seja : E X um brado vetorial de posto r. Seja
f : X
X um morsmo de variedades. Seja

E
= (x
, v) X
E [ f(x
) = (v).
Entao a aplicacao
: E
induzida por projecao e um brado vetorial de

posto r.
Prova. Considere o morsmo = (f, ) : X
E X X. Visto que
a diagonal e localmente fechada em X X, segue que sua imagem inversa
E
=
1
tambem o e em X
X. Resta ver a trivialidade local. Mas se

U X e um aberto tal que E
U
U C
r
, pondo U
= f
1
U e facil ver
que E
C
r
. Alternativamente, sejam
ij
func oes de transicao para E
relativas a uma cobertura aberta U
i
. Seja U
i
= f
1
U
i
. Mostra-se que
ij
f :
U
ij
GL(r) sao func oes de transic ao para E
.
O brado vetorial E
acima construdo e dito a imagem recproca de E pelo

morsmo f, tambem denotado f
E.
6.12. MORFISMOS NA GRASSMANNIANA 79
Exerccios. 117. Seja X uma variedade e sejam f
1
, . . . , f
n+1
O
X
(X) funcoes
que nao se anulam simultaneamente. Seja f : X P
n
denida por f(x) =
[f
1
(x), . . . , f
n+1
(x)]. Descreva f
O(1). Mostre que, nesse caso, f
O(1) e
trivial.
118. Seja : C
n+1
0 P
n
o morsmo quociente. Mostre que
O(1) e
trivial. Mais geralmente, seja : M(r, n)
0
Gr
r
C
n
o morsmo quociente
(3.2) e seja o o subbrado tautologico sobre Gr
r
C
n
. Mostre que
o e trivial.
119. Notacao como no exerccio 117, seja : X C
n+1
X C o homomor-
smo denido por (x, y) (x,
f
i
(x)y
i
). Mostre que ker e um subbrado
vetorial de posto n. Se X = V(x
2
+y
2
1), f
1
= x, f
2
= y entao ker e trivial.
Sabe-se que para o exemplo analogo com V(x
2
+y
2
+z
2
1), ker nao e trivial.
(Coincide com brado tangente da esfera.(?!))
6.12 morsmos na grassmanniana
6.12.1. Proposicao. Seja X uma variedade. Entao a colecao dos morsmos
X Gr
r
C
n
esta em bijecao natural com a colecao dos subbrados de XC
n
de
posto r. Precisamente, para cada subbrado /

XC
n
de posto r, exite um
e um so morsmo f tal que / = f
o, imagem recproca do subbrado tautologico

(6.6).
Prova. Seja /

X C
n
subbrado de posto r. As bras de / fornecem
subespacos de posto r de C
n
. Isto dene uma aplica cao f : X Gr
r
C
n
.
Para vericar que e um morsmo, podemos supor / trivial. O homomorsmo
/ = X C
r
X C
n
corresponde a um morsmo g : X M(r, n) tal que
g(x) tem posto r, x X. Compondo com o morsmo quociente, M
0
(r, n)
Gr
r
C
n
, obtemos o morsmo desejado. A recproca e um exerccio simples.
Exerccios. 120. Seja V um espaco vetorial de dimensao n e seja f : X
Gr
r
V um morsmo. Mostre que existe um brado vetorial E X e um
homomorsmo sobrejetivo : X V E tal que, para cada x X, vale
f(x) = ker
x
. Reciprocamente. . .
121. Sejam V, W espacos vetoriais de dimensao nita e sejam r, s inteiros po-
sitivos. Para cada par de subespacos V
V, W
W, associe o subespaco
V
V W. Mostre que a aplicacao

: Gr
r
V Gr
s
W Gr
rs
V W
80 CAP

assim denida e um morsmo, sua imagem e fechada e induz um isomorsmo
em (Gr
r
V Gr
s
W). Isto generaliza o morsmo de Segre.
6.13 brados projetivos
Seja : E X um brado vetorial de posto r. Vamos contruir uma nova
variedade, P(E), chamada a projetivizacao de E, juntamente com um morsmo
: P(E) X, chamado o brado projetivo associado. Como conjunto, P(E)
nada mais e que a uniao disjunta dos espacos projetivos P(E
x
), x X, asso-
ciados aos espacos vetoriais E
x
, bras de . A estrutura de variedade e de-
nida mediante uma trivializac ao local de E. Para cada aberto U X tal que
U
: U C
r
E
U
, decretamos P(E
U
) aberto em P(E), e fazemos da bije cao
U
: U P
r1
P(E
U
) um morsmo. Em outras palavras, um subconjunto
W P(E) e declarado aberto
1
U
(W P(E
U
)) e aberto em U P
r1
para cada aberto U que trivializa E. Analogamente, uma func ao f : W C e
dita regular f
U
e regular em
1
U
(W P(E
U
)). Detalhes por conta do
leitor.
Observemos que, por constru cao, temos um morsmo : P(E) X, dito
estrutural, cuja restri cao a cada P(E
U
) U P
r1
se identica ` a projec ao
U P
r1
U. Temos tambem o subbrado vetorial, chamado tautol ogico,
O
E
(1) = (x, y, v) [ x X, y P(E
x
), v y
E.
Assim, a restricao de O
E
(1) a cada bra P(E
x
) nada mais e que o brado
tautol ogico
O
E
x
(1) = (y, v) P(E
x
) E
x
[ v y.
6.13.1. Proposicao. Sejam : E X um brado vetorial, : P(E) X
o brado projetivo associado. Fixe um morsmo f : Y X. Para cada
morsmo g : Y P(E) tal que f = g, temos um subbrado em retas,
L = g
(O
E
(1))

f
E. Reciprocamente, para cada subbrado em retas,

L

f
E sobre Y, existe um unico morsmo g nas condicoes explicitadas.

Prova. Para mostrar a recproca, denimos a aplica cao g : Y P(E) fazendo
g(y) = L
y
, que e um subespaco de posto 1 de f
E
y
= E
x
, portanto um ponto de
P(E
x
) P(E). Veriquemos que g e um morsmo. Para isso, podemos supor
L, E triviais. Logo, o homomorsmo L = Y C

Y C
r
e dado por
(y, t) (y, t(y)), com (y) = (
1
(y), . . . ,
r
(y)),
6.14. EXPLOS
AO 81
com
i
O(Y ), r func oes regulares que nao se anulam simultaneamente. Agora
a aplica cao g e dada por g(y) = (y, [
1
(y), . . . ,
r
(y)]) Y P
r1
, claramente
um morsmo.
Exerccios. 122. Sejam E, F brados vetoriais sobre uma variedade X. Seja
P(E)
X
P(F) = (x, y, z) [ x X, y P(E
x
), z P(F
x
)
chamado o produto brado de P(E), P(F) sobre X. Seja
E
: P(E) X o
morsmo estrutural. Seja p
1
: P(E)
X
P(F) P(E) a projecao. Mostre que
p
1
e um brado projetivo, isomorfo a P(
E
F) P(E), projetivizacao da imagem
recproca.
123. Notacao como no tem anterior, mostre que o subbrado
p
1
O
E
(1) p
2
O
F
(1)

p
E
E p
F
F
dene um morsmo P(E)
X
P(F) P(E F) cuja restricao a cada bra
sobre x X coincide com o mergulho de Segre, P(E
x
)P(F
x
)

P(E
x
F
x
).
124. Construa, para cada brado vetorial E X, um brado em grassmanni-
anas Gr
r
E X analogo ao caso de brados projetivos. Enuncie e demonstre
um resultado similar à proposicao anterior. Mostre que sen F tambem denota
um brado vetorial /X, entao Gr
r
E
X
Gr
s
F se identica a uma subvariedade
fechada de Gr
rs
E F
6.14 explosao
Reveja o subbrado
O(1)
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S
S

P
n
C
n+1
P
n
C
n+1
onde e s ao induzidos pelas projec oes. Lembramos ainda que O(1) e denido
pelas equacoes
x
i
y
j
= x
j
y
i
, 1 i, j n + 1,
onde x, y denotam coordenadas homogeneas em P
n
e ans em C
n+1
.
Enquanto e um brado em retas, a aplicac ao goza das seguintes propri-
edades:
82 CAP

1. v C
n+1
, v ,= 0
1
v = ([v], v), i.e., consiste em um unico elemento.
2.
1
0 = P
n
0.
3. A restric ao de induz um isomorsmo
O(1)
1
0 C
n+1
0.
A aplicac ao : O(1) C
n+1
e chamada a explosao de C
n+1
no ponto 0.
Note que O(1) pode ser imaginado como a colagem de C
n+1
0 com uma
c opia de P
n
substituindo o ponto 0. Esta c opia de P
n
deve ser vista como
a colec ao das direc oes de chegada ao ponto 0. Uma imagem aproximada e a
projec ao da quadrica z = xy sobre o plano horizontal.
Outra interpreta cao util para a explosao e como o fecho ou aderencia do
gr aco da func ao C
n+1
0 P
n
que dene P
n
como espaco quociente.
6.15 aplicacao racional
Sejam X, Y variedades irredutveis. Uma aplica cao racional : X Y e uma
classe de equivalencia de de morsmos de abertos densos de X em Y mediante
a relacao de coincidencia na intersec ao dos domnios. Por abuso, se : U Y
e um morsmo denido em um aberto denso U X, dizemos tambem que e
uma aplicac ao racional de X em Y . A uni ao dos domnios dos representantes
de uma aplica cao racional e dito o domnio de regularidade.
Exerccios. 125. Todo morsmo e uma aplicacao racional.
126. Se X e uma variedade irredutvel, toda funcao regular denida em um
aberto nao vazio de X dene uma funcao racional.
127. Considere X = V(xy zw) C
4
. Entao
x
z
: X
z
C dene a mesma
funcao racional que
w
y
. Qual o domnio de regularidade? E se substituirmos o
contradomnio C por P
1
C?
6.16 explosao e projecao
Seja W V = C
n+1
um subespa co de codimens ao r+1 e seja V V/W C
r+1
o espaco quociente. Passando ` as projetiviza coes, tem-se uma aplicac ao racional
6.16. EXPLOS
AO E PROJEC

AO 83
: P
n
= P(V ) P(V/W) = P
r
denida por [v] [v] = [v + W], chamada a proje cao de P
n
=P(V ) com centro
P(W).
6.16.1. Lema. Se x
1
, . . . , x
n+1
sao coordenadas homogeneas (base de V
) e
W : x
1
= = x
r+1
= 0 entao
(i) se escreve ([x
1
, . . . , x
n+1
]) = [x
1
, . . . , x
r+1
].
Suponha n 2, r 1. Entao
(ii) P(V ) P(W) e o maior aberto de regularidade de .
Seja B P
n
P
r
o fecho do graco de . Sejam y
1
, . . . , y
r+1
coordenadas
homogeneas em P
r
. Entao
(iii) B e denido pelas equacoes bihomogeneas x
i
y
j
= x
j
y
i
, i, j = 1..r + 1. Seja
b : B P
n
(resp. : B P
r
) a aplicacao denida pela projecao no primeiro
(resp. segundo) fator, P
n
P
r
P
n
.
E B

b
o
o
o
o
o
o
o
o
o
o
o
M
M
M
M
M
M
M
M
M
M
M
M
P
n
P
r
P(W) P
n
P
r
Seja E = b
1
P(W), chamado divisor excepcional da explosao B P(V ) ao
longo de P(W). Entao
(iv) b induz um isomorsmo B E P
r
P(W);
(v) : B P
r
e um brado projetivo, com bra P
nr
, subbrado do brado
projetivo trivial P
n
P
r
P
r
;
(vi) E = P(W) P
r
, subbrado trivial.
Prova. (i) Temos a inclus ao dual (V/W)
; a imagem de cada y
(V/W)
e um funcional que se anula em W. Estendemos uma base x

1
, . . . , x
r+1
de (V/W)
a uma base de V
, dual da base v
1
, . . . , v
n+1
V . Escrevemos
v =
n+1
1
x
i
(v)v
i
, que tem a mesma classe que
r+1
1
x
i
(v)v
i
m odulo W. Da
vem a expressao de em coordenadas homogeneas,
([v]) = ([x
1
, . . . , x
n+1
]) = [x
1
, . . . , x
r+1
].
(ii) Seja w P(W) e suponha, por absurdo, w U P
n
, U aberto no domnio
de regularidade de . Para cada z P
n
P(W), a reta zw corta U. Seja zw
t
=
[tz
1
, . . . , tz
r+1
, tz
r+2
+ w
r+2
, . . . , tz
n+1
+ w
n+1
], t P
1
. Exceto para um n umero
nito de valores de t, temos zw
t
U. Mas para t ,= 0, (zw
t
) = [z
1
, . . . , z
r+1
].
84 CAP

Por continuidade, segue (w) = (zw
0
) = [z
1
, . . . , z
r+1
]. Mudando z, chegamos
a uma contradic ao.
(iii) As equac oes denem um fechado B
, o qual contem B, pois traduzem a

igualdade [x
1
, . . . , x
r+1
] = [y
1
, . . . , y
r+1
]. Mostraremos que B
e irredutvel e que
B contem um aberto denso de B
. Examinemos a interse cao de B
com um
aberto tpico, x
i
= 1, y
j
= 1. Dois casos: (a) i r + 1; (b) i > r + 1. No caso
(a), e.g., x
r+1
= 1 = y
r+1
, B
e denido pelas equac oes x

1
= y
1
, . . . , x
r
= y
r
em
C
n
C
r
. Claramente B
e irredutvel e coincide com B nesse aberto. No caso

(b), e.g., x
n+1
= 1 = y
r+1
, B
e dado pelas equa coes

() x
1
= x
r+1
y
1
, . . . , x
r
= x
r+1
y
r
em C
n
C
r
. Nesse aberto, B
e isomorfo a C
n
, com as func oes coordenadas
x
r+1
, . . . , x
n
, y
1
, . . . , y
r
, novamente irredutvel. Entretanto, agora a restricao de
b n ao e mais um isomorsmo, j a que o homomorsmo de aneis de coordenadas
se escreve b
: C[x
1
, . . . , x
n
]

C[x
r+1
, . . . , x
n
, y
1
, . . . , y
r
] com a regra ().
(iv) A imagem inversa de P(W) e localmente denida pelo ideal
x
1
, . . . , x
r+1
)=x
r+1
).
A igualdade provem de (). Restringindo ao aberto principal x
r+1
,= 0, a
inclus ao b
fornece o isomorsmo
C[x
1
, . . . , x
n
]
x
r+1
C[1/x
r+1
, x
r+1
, . . . , x
n
, y
1
, . . . , y
r
] .
(v) Sobre o aberto U = P
r
y
r+1
, as equac oes de B = B
s ao dadas por (). Temos

assim o isomorsmo P
nr
U
1
U denido por
([z
1
, . . . , z
nr+1
], y) ([z
1
y
1
..
x
1
, . . . , z
1
y
r
..
x
r
, z
1
, . . . , z
nr+1
. .
x
n+1
], y).
E facil ver que as mudan cas de coordenadas se comportam bem.

(v) Fazendo x
1
= = x
r+1
= 0 nas equacoes de B, resulta P(W)P
r
.
6.17 Explosao e projecao, mais intrnsecas.
6.17.1. Proposicao. Sejam W V como em 6.16.1. Considere o diagrama
de brados vetoriais sobre P
r
=P(V/W),
6.17. EXPLOS
AO E PROJEC

AO, MAIS INTR
INSECAS. 85
W

Q
O
P
r (1)

V/W

Q
onde, como de costume, abreviamos V o brado trivial XV de bra V e base X
(arbitraria, clara no contexto), Q denota o quociente tautologico e o = ker(V
Q), brados vetoriais sobre P(V/W). Entao o subbrado projetivo
P(o)
.p
p
p
p
p
p
p
p
p
p
p
J
J
J
J
J
J
J
J
J
P(V ) P(V/W)
P(W) P(V )
_ _ _ _ _ _ _ _
P(V/W)
e igual à explosao de P(V ) com centro P(W).
Prova. Visto que tanto B como P(o) s ao subvariedades irredutveis de P(V )P(V/W),
basta mostrar que coincidem sobre algum aberto denso. Considere a composicao
de homomorsmos de brados sobre P(o),
O
S
(1)

o

O
P
r (1).
Note que e nulo na bra sobre um ponto (x, y) P(o) P(V ) P(V/W)
se e s o se o subespaco de V que corresponde a x e um subespa co de W =
ker(o O
P
r (1)), ou seja, (x, y) E = P(W) P(V/W) P(o).

E facil
perceber que, se x P(V ) P(W) e y = (x) e sua projec ao em P
r
, entao temos
(x, y) P(o) E, e reciprocamente. Isso mostra que P(o) E = B E.
2
C
2
, (x, y) (x, xy). Mostre que
1
0 =
V(x). Seja L
t
= V(y tx), t C xo. Mostre que
1
L
t
= V(x) V(y t).
Ache
1
V(y
2
x
2
x
3
),
1
V(y
2
x
3
).
129. Seja : C
3
C
3
, (x, y, z) (x, xy, xz). Mostre que induz um iso-
morsmo C
3

1
0 C
3
x
. Descreva a aderencia de
1
(V(xz y
2
) 0) C
3
.
Idem para
1
(V(x
2
z y
2
) 0) C
3
.
130. Sejam W V como em 6.16.1, dimW = n r. Mostre que a aplicacao
: P(V/W) Gr
nr+1
V, [v +W] v) +W (= subespaco gerado por W e v)
e um morsmo injetivo.
86 CAP

131. Fixado um ponto P
0
P
n
, seja U = P
n
P
0
. Seja : U Gr
2
C
n+1
a
aplicacao denida por P PP
0
= reta projetiva que liga P a P
0
. Mostre que
e um morsmo. Descreva a aderencia de seu graco em P
n
Gr
2
C
n+1
. Mostre
que se fatora pela projecao de centro P
0
. Precisamente, escreva P
0
= v
0
)
V = C
r+1
, seja : U P(V/v
0
)) a proje cao. Seja : P(V/v
0
))

Gr
2
V
como no exerccio anterior. Mostre que =
132. Seja p : P
2
P
2
P
2
a aplicacao racional dada pelo produto vetorial,
p(x, y) = (x
1
, x
2
, x
3
) (y
1
, y
2
, y
3
) = ([
x
2
x
3
y
2
y
3
[, . . . ) P
2
. Mostre que o lugar de
indeterminacao, complementar do aberto de denicao de p, e a diagonal. Para
cada elemento (x, x) da diagonal, descreva um morsmo
x
: C P
2
P
2
tal que
x
(0) = (x, x) ,=
x
(t) t ,= 0. Calcule lim
t 0
p(
x
(t)) para diferentes
escolhas de
x
. Descreva a aderencia do graco de p.
Captulo 7
eliminacao
7.1 introducao
Seja M(r, n) o espaco das matrizes r n. Considere a correspondencia
Z = (m, x) M(r, n) P
n1
[ mx = 0.

M(r, n) P
n1
Seja W M(r, n) a imagem de Z. Cada matriz m Z admite uma solu cao nao
trivial, i.e., existe x P
n1
tal que mx = 0. Naturalmente isso so e possvel
quando nenhum subdeterminante n n de m e nao nulo. De fato, e f acil ver
que as equac oes de W em M(r, n) sao precisamente os referidos menores. Em
particular, W e fechado em M(r, n).
O objetivo deste captulo e mostrar que, em geral, vale o seguinte
7.1.1. Teorema. Z X Y e uma subvariedade fechada e Y e projetiva,
entao a imagem W de Z em X pela projecao e fechada.
Prova. Digamos que Y P
n
seja fechada. Entao Z e fechado em X P
n
. Isto
nos permite supor Y = P
n
. Por outro lado, seja X
X um aberto de X. Ent ao
Z X
Y e fechado em X
Y e evidentemente a imagem dessa intersec ao e

W X
. Lembramos que W e fechado em X se e so se W X
e fechado em
X
para cada X
percorrendo uma cobertura aberta de X. Assim, reduzimos a

verica cao ao caso em que X e am. Isto signica X C
N
fechado. Por m,
basta provar no caso X = C
N
, Y = P
n
. Isto sera feito por induc ao sobre n 1.
87
88 CAP
ITULO 7. ELIMINAC

AO
7.2 n = 1
Neste caso, temos o fechado de Zariski Z C
N
P
1
denido por um sistema de
equac oes
f
(x, y) = 0, x = (x
1
, . . . , x
N
) C
N
, y = [y
0
, y
1
] P
1
,
com = 1..M. Cada f
e homogeneo em y. Devemos mostrar que a colec ao

W = x C
N
[ o sistema acima admite soluc ao em P
1
e dada por um sistema de equac oes em x. Dizemos assim que as relac oes pro-
metidas s ao obtidas por eliminacao de y. Sem perda de generalidade, podemos
supor que os f
s ao todos do mesmo grau em y (leitor: por que?).

Considere os polin omios homogeneos em y,
F(t, x, y) =
(t, x)y
,
G(u, x, y) =
(u, x)y
,
com novas vari aveis t, u. Se w W, entao os polinomios homogeneos em y
F(t, w, y), G(u, w, y)
admitem uma raiz comum y P
1
, independente do valor atribudo ` as variaveis
t,u. Isto signica que a resultante R
FG
(t, u, x) obtida por elimina cao de y
0
em
F(t, x, y
0
, 1), G(u, x, y
0
, 1) e nula. A resultante se escreve na forma
R
FG
(t, u, x) =
g
ij
(x)t
i
u
j
.
Conclumos que w satisfaz g
ij
(w) = 0, i, j. Reciprocamente, se a resultante
e nula para todo valor das vari aveis t,u, segue que F(t, x, y
0
, 1), G(u, x, y
0
, 1)
admitem um fator comum polinomial na vari avel y
0
. Como t n ao gura em G,
conclumos que o fator comum divide cada f
, produzindo assim um ponto em

Z.
Exerccios. 133. Seja Z C P
1
denido pelas equacoes
f
1
= xy
0
+y
1
, f
2
= y
0
+xy
1
.
Aplique o argumento acima para obter uma equacao para a imagem de Z em C.
Teste mais exemplos.
7.3 P
n
Para a etapa indutiva, seja Z C
N
P
n
, n > 1, fechado de Zariski. Considere o
diagrama de explos ao de um ponto emP
n
, seguido do produto cartesiano por C
N
,
7.4. APLICAC

OES 89
B

P
n
P
n1
p
1
Z C
N
B
p q
Z C
N
P
n
C
N
P
n1
p q
C
N
Veja que p(Z) = q(q(p
1
Z)). Agora p
1
Z e fechado em C
N
B. Por outro lado,
como B P
n1
e uma P
1
-brac ao localmente trivial, podemos aplicar o caso
n = 1 para concluir que q(p
1
Z) e fechado em C
N
P
n1
. Por m, induc ao.
7.4 aplicac oes
7.4.1. Proposicao. Seja : X Y um morsmo de variedades. Se X e
projetiva e Y e quase-projetiva, entao (X) e projetiva.
Prova. Temos Y aberto de alguma variedade projetiva Y P
n
(cf. (3.6, p. 28)).
Compondo com a inclus ao, podemos considerar : X P
n
. Vamos mostrar
que (X) e fechado em P
n
. Seja Z X P
n
o gr aco de . Sabemos que Z e
fechado, (??, p. ??). A imagem de Z em P
n
coincide com (X).
90 CAP
ITULO 7. ELIMINAC

AO
Captulo 8
espaco tangente
8.1 hipersuperfcie
Seja X = V(f) C
n
uma hipersuperfcie e seja x X. Suponha f)=radf).
Ou seja, f e um polin omio livre de quadrados, i.e., sem fator repetido. Denimos
o espa co tangente a X em x como o subespaco de C
n
formado pelos vetores
ortogonais ao gradiente de f no ponto x. Em smbolos,
T
x
V(f) =
_
v = (v
1
, . . . , v
n
) C
n
f
x
1
(x)v
1
+ +
f
x
n
(x)v
n
= 0
_
.
Os elementos de T
x
V(f) sao chamados de vetores tangentes ` a hipersuperfcie no
ponto x. O signicado geometrico do vetor tangente e ressaltado pelo seguinte
resultado.
8.1.1. Lema. Notacao como no paragrafo anterior, temos que um vetor v C
n
e tangente a V(f) em x se e so se o polinomio f(x + tv) e divisvel por t
2
.
Equivalente: t = 0 e uma raiz de multiplicidade 2.
Prova. Taylor: f(x +tv) = f(x)
..
||
0
+t
f
x
i
(x)v
i
. .
=0 vT
x
X
+t
2
( ).
Dizemos que x e um ponto nao singular quando dimT
x
X = dimV(f) = n 1.
Equivalente: f(x) ,= 0.
8.1.2. Lema. Toda hipersuperfcie de C
n
contem um aberto denso formado
por pontos nao singulares.
91
92 CAP
ITULO 8. ESPAC O TANGENTE

Prova. Suponhamos inicialmente X = V(f), com f irredutvel. Se todo ponto de
X fosse singular, teramos X V(
f
x
1
, . . . ,
f
x
n
). Pelo TZH, seguiria
f
x
i
f).
Comparando graus,
f
x
i
= 0 i, absurdo. O caso geral segue facilmente.
Analogamente, se V(f) P
n
e uma hipersuperfcie projetiva, temos para
cada x V(f) um espa co tangente projetivo, denido por
TP
x
V(f) = [y
1
, . . . , y
n+1
] P
n
[
f
x
i
(x)y
i
= 0.
Exerccios. 134. Se V(f) C
n
e um hiperplano que passa pela origem, entao
T
x
V(f) = V(f) x V(f).
135. Todo ponto de intersecao de duas (ou mais) componentes de uma hipersu-
perfcie e singular.
136. Se F C[x
1
, . . . , x
n
] e um polinomio homogeneo de grau d, mostre a
relacao de Euler, d F =
F
x
i
x
i
.
137. Se V(f) P
n
e uma hipersuperfcie projetiva entao TP
x
V(f) contem x
para cada x V(f).
138. Se f C[x
1
, . . . , x
n
] e um polinomio homogeneo livre de quadrados e x
V(f) 0 entao T
x
V(f) = T
y
V(f) y C
x. Mostre que TP
[x]
V(f) P
n1
e
igual à projetivizacao do subespaco T
x
V(f) C
n
.
139. Seja V(f) P
n
uma hipersuperfcie quadrica. Mostre que o conjunto dos
pontos singulares (f) e um subespaco projetivo. Seja A a matriz simetrica
associada à forma quadratica f. Mostre que (f) e a projetivizacao do n ucleo
de A.
8.2 tangente a uma variedade am
Mais geralmente, seja X C
n
uma subvariedade fechada. Denimos o espaco
tangente a X em x como o subespa co de C
n
formado pelos vetores ortogonais
ao gradiente em x de cada f I(X). Em smbolos,
T
x
X =
_
v = (v
1
, . . . , v
n
) C
n
f
x
1
(x)v
1
+ +
f
x
n
(x)v
n
= 0, f I(X)
_
.
Dizemos que x e um ponto nao singular quando dimT
x
X = dimX
x
, onde X
x
denota a uni ao das componentes irredutveis de X contendo x. Veremos opor-
tunamente que, se existir mais de uma componente contendo x, este ponto e
singular, a exemplo do caso de hipersuperfcies.
8.2. TANGENTE A UMA VARIEDADE AFIM 93
Exerccios. 140. Ache o espaco tangente a V(zx, zy) C
3
em cada um de
seus pontos. Idem para V(zx, zy, y x
2
).
8.2.1. Lema. Seja X C
n
uma subvariedade fechada. Existe um aberto denso
de X formado por pontos nao singulares.
Prova. Mostraremos que, para cada componente irredutvel de X, existe um
aberto denso formado de pontos nao singulares de X. O ponto e mostrar o
seguinte.
8.2.2. Lema. Toda variedade irredutvel admite um aberto denso isomorfo a
um aberto denso de uma hipersuperfcie.
Prova. Sem perda de generalidade, podemos supor X uma variedade am ir-
redutvel. Seja R seu anel de coordenadas. Seja K = Fr(R) seu corpo de
func oes racionais. Seja x
1
, . . . , x
n
uma base de transcendencia de K. Seja
L = C(x
1
, . . . , x
n
). Pelo teorema do elemento primitivo, a extensao algebrica
nita K[L e da forma K = L(z) para algum z K algebrico sobre L. Seja
p(x, z) = z
m
+
m1
0
a
i
(x)z
i
o polinomio mnimo de z sobre L. Reduzindo
a um mesmo denominador e passando a um aberto principal, podemos supor
x
1
, . . . , x
n
, z, a
0
, . . . , a
m
R. Seja A = C[x
1
, . . . , x
n
, z] R. O corpo de frac oes
de A e igual a K. Invertendo mais um n umero nito de elementos de R e de A,
chegamos a uma igualdade A
a
= R
b
. Como A e o anel de coordenadas de uma
hipersuperfcie, segue o resultado desejado.
Para ver como este ultimo lema implica o precedente, basta aplica-lo ao
aberto de cada componente obtido pela exclus ao das demais. Entretanto, faz-se
necess ario mostrar que o espa co tangente e invariante por isomorsmo.
Daremos em seguida uma descric ao intrnseca do espaco tangente de uma
variedade am que faz apenas uso do anel de coordenadas, e de fato, depende
apenas do anel local. Isto nos habilitara a construir o espaco tangente de uma
variedade arbitr aria.
8.2.3. derivacoes.
Seja R uma C- algebra e seja M um R-m odulo. Uma C-derivacao de R em
M e uma aplicac ao C-linear : R M que satisfaz a regra de Leibniz,
(fg) = f(g) + g(f).
E claro que a colec ao Der(R, M) das C-derivacoes de R em M e naturalmente

um R-m odulo. Se R = C[x
1
, . . . , x
n
], e um bom exerccio vericar que Der(R, R)
e o modulo livre com base /x
1
, . . . , /x
n
.
94 CAP

Seja X uma variedade am, x X, m
x
O(X) o ideal maximal correspon-
dente. Consideramos o corpo C como O(X)-m odulo mediante a identica cao
O(X)/m
x
= C. Concretamente, dados f O(X), z C, escrevemos f z =
f(x)z. Podemos tambem considerar C como um O
x
-m odulo de maneira analoga.
Denimos derivac ao de X em x como uma derivac ao de O(X) no O(X)-m odulo
C. Deixamos como exerccio a simples vericac ao de que as deriva coes de X em
x correspondem bijetivamente ` as derivacoes do anel local O
x
no O
x
-m odulo C.
Se e uma derivac ao vale (1) = (1
2
) = 2(1) (1) = 0 (c) = 0 c C.
E claro que as derivac oes de X em x formam um subespaco vetorial de

Hom(O(X), C). Denotamos por Der
x
X o espaco vetorial das derivacoes.
8.2.4. Lema. Seja C[] = C[t]/t
2
). Seja X uma variedade am e seja
: O(X) C[] um homomorsmo de C-algebras. Entao existem unicos
x X, Der
x
X tais que (f) = f(x) + (f), f O(X). Reciprocamente,
toda derivacao . . .
Prova. Como adivinhar x, ? Se j a os conhecessemos, teramos (f f(x)) =
(f). As func oes que se anulam em x v ao no ideal ). Denimos ent ao m =
1
). Trata-se de um ideal maximal: examine o quociente O(X)/m

C[]/) C.
Dena o ponto x tomando V(m).
Agora podemos tentar denir uma derivac ao : O(X) C requerendo
(f f(x)) = (f).
Leibniz? Dados f, g O(X), escrevemos
(fg) = (fg f(x)g(x)) =
((f f(x))(g g(x)) +f(x)g +g(x)f 2f(x)g(x))
= (f)(g)
2
+(f(x)g +g(x)f 2f(x)g(x))
= (f(x)g f(x)g(x) +g(x)f f(x)g(x))
= (f(x)(g g(x)) + g(x)(f f(x)))
= f(x)(g g(x)) + g(x)(f f(x))
= (f(x)(g) +g(x)(f)).
Cada homomorsmo de C- algebras
O(X) = C[x
1
, . . . , x
n
] C[t]
x
i
p
i
(t)
corresponde a uma curva parametrizada
C X
t (p
1
(t), . . . , p
n
(t)),
supondo algum p
i
(t) n ao constante. A discuss ao precedente mostra que Der
x
X
pode ser imaginado como o espaco das curvas innitesimais...
8.2.5. Lema. (equac oes de Der
x
X) Seja x C
n
e seja
: C[x
1
, . . . , x
n
] C
derivacao de C
n
em x. Entao existe um e um so vetor v C
n
tal que
(f) =
f
x
i
(x)v
i
f.
Em palavras, toda derivacao se expressa como uma derivada direcional, de modo
que temos um isomorsmo natural, Der
x
C
n
= C
n
, v.
Prova. Seja v
i
= (x
i
). Por Leibniz, vale
(x
2
i
) = 2x
i
(x
i
) =
(x
2
i
)
x
i
(x)v
i
;
analogamente,
(x
2
1
x
2
) = 2x
1
(x
1
)x
2
+x
2
1
(x
2
)
=
(x
2
1
x
2
)
x
1
(x)v
1
+
(x
2
1
x
2
)
x
2
(x)v
2
.
Mais geralmente, para um mon omio x
I
mostra-se (x
I
) =
i
(x
I
)
x
i
(x)v
i
, e
por linearidade. . .
n
variedade am e seja x X. Entao para
cada Der
x
X existe uma unica derivada direcional
v
Der
x
C
n
tal que
()
v
(f) = (f) f C[x
1
, . . . , x
n
],
com f = imagem de f em O(X) = C[x
1
, . . . , x
n
]/I(X). Em particular, temos
v
(f) = 0 f I(X). Reciprocamente, se v C
n
satisfaz
f
x
i
(x)v
i
= 0 f I(X)
entao
v
induz uma derivacao Der
x
X satisfazendo ().
96 CAP

Prova. Dado Der
x
X, a composic ao
C[x
1
, . . . , x
n
] O(X)

C
f f
e uma derivacao. Logo, e da forma
v
. Como f = 0 para f I(X), segue
v
(f) = 0. Reciprocamente, se esta condi cao vale, entao
v
: C[x
1
, . . . , x
n
] C
passa ao quociente e induz uma derivac ao : O(X) C.
O resultado abaixo estabelece uma identicac ao natural do espaco tangente
com o espa co das deriva coes.
8.2.7. Corolario. A correspondencia v
v
estabelece um isomorsmo entre
Der
x
X e o subespaco T
x
X C
n
= Der
x
C
n
denido pelo sistema linear
f
x
i
(x)v
i
= 0 f I(X).
Doravante, consideramos indistintamente cada vetor tangente como uma de-
riva cao e vice-versa. Para um, temos as equa coes, enquanto que para o outro,
temos a deni cao intrnseca.
Outra caracterizacao intrnseca do espaco tangente e fornecida pela seguinte
8.2.8. Proposicao. Seja X uma variedade am e seja x X. Seja m
x
O
x
o ideal maximal correspondente no anel local de X em x. Considere m
x
/m
2
x
como
espaco vetorial sobre C = O
x
/m
x
. Seja : O
x
C uma derivacao de X em x.
Entao temos
(m
2
x
) = 0 e portanto resulta o funcional linear
: m
x
/m
2
x
C;
a aplicacao
dene um isomorsmo de espacos vetoriais

T
x
X (m
x
/m
2
x
)
= Hom(m
x
/m
2
x
, C).
Prova. Dados f, g m
x
, temos (fg) = f(x)(g) + g(x)(f) = 0. Para cada
funcional (m
x
/m
2
x
)
, seja denida por composic ao m

x
m
x
/m
2
x
C.
Estendemos a : O
x
C fazendo (f) = (f f(x)). Verica-se que e uma
derivacao e que

= ,
= .
A proposic ao precedente nos permite denir o espaco tangente para cada
ponto x X de uma variedade arbitraria:
T
x
X = (m
x
/m
2
x
)
.
8.2.9. Lema. Seja : X Y morsmo de variedades e seja y = (x), x
X. Para cada derivacao T
x
X, : O
X,x
C, temos
T
y
Y . A
aplicacao induzida T
x
X T
y
Y e linear, denotada d
x
. Se X C
n
, Y C
m
sao subvariedades e e induzida por : C
n
C
m
, denida por polinomios
p
1
, . . . , p
m
C[x
1
, . . . , x
n
], entao temos o diagrama de aplicacoes lineares,
C
n
d
x
C
m

T
x
X
d
x
T
y
Y
onde a matriz de d
x
e a matriz jacobiana (
p
i
x
j
(x)).
Exerccios. 141. (Regra da cadeia.) Mostre que se : X Y, : Y Z
sao morsmos de variedades e y = (x), x X, entao d
x
() = d
y
()(d
x
()).
Conclua que, se e um isomorsmo entao d
x
: T
x
X T
y
Y .
142. Dado x X C
n
variedade am, para cada v T
x
X C
n
, temos um
homomorsmo,
v
: O(X) C[]
f f(x
1
+v
1
, . . . , x
n
+v
n
)
= f(x) + f(x) v
com f(x) = (
f
x
1
(x), . . . ,
f
x
n
(x)). Assim, a derivacao
v
nada mais e que
produto interno de v com o gradiente.
n
uma variedade am irredutvel. Entao
dimT
x
X dimX x X e,
os pontos singulares de X formam um fechado proprio.
Prova. Sejam f
1
, . . . , f
N
geradores do ideal de X. Seja r o posto maximo
da matriz jacobiana (
f
i
x
j
(x)), x X. Existe um aberto denso onde o posto
e m aximo. Por outro lado, existe um aberto denso formado por pontos n ao
singulares. Logo, vale r = n dimX. Conclumos tambem que o lugar dos
pontos singulares e denido pelos menores r r da matriz jacobiana.
98 CAP

8.2.11. Lema de Nakayama. Seja A um anel local com ideal maximal m e
seja M um Amodulo nitamente gerado. Se M = m M entao M = 0.
Prova. Sejam v
1
, . . . , v
r
geradores de M. Por hip otese, cada v
i
admite uma
express ao
v
i
=
m
ij
v
j
, m
ij
m.
Reescrevendo matricialmente,
_
v
1
v
r
_
= (m
ij
)
_
v
1
v
r
_
ou
(I (m
ij
))
_
v
1
v
r
_
= 0.
Multiplicando pela matriz dos cofatores, obtemos det(I (m
ij
))v
k
= 0. Mas
esse determinante e da forma 1 +m para algum m m, logo inversvel.
Exerccios. 143. Seja A um anel local com ideal maximal m e seja M um A
modulo nitamente gerado. Seja N M um submodulo tal que M = N+m M.
Entao M = N.
144. Seja n o n umero mnimo de geradores de M. Entao n e igual à dimensao
do espaco vetorial M/m M sobre o corpo k = //m.
8.2.12. Proposicao. Seja X uma variedade. Sao equivalentes:
1. dimT
x
X = dim
x
X;
2. m
x
O
x
e gerado por dim
x
X elementos.
Prova. Sabemos que dimT
x
X = dimm/m
2
. Por Nakayama, dimm/m
2
e igual
ao n umero mnimo de geradores de m. Logo, 1.2. Reciprocamente, temos que
2. dimT
x
X = dimm/m
2
dim
x
X = dimZ dimT
x
Z,
onde Z denota uma componente irredutvel de X passando por x de dimens ao
m axima. Por m, x Z X dimT
x
Z dimT
x
X.
Nas condicoes da proposic ao anterior, dizemos que o ponto x X e um
ponto nao singular. Pode-se mostrar que exatamente uma componente irre-
dutvel passa por um ponto n ao singular.
Uma variedade e lisa ou n ao singular se cada ponto x X e n ao singular.
Exerccios. 145. C
n
, P
n
, Gr
k
C
n
sao variedades lisas.
146. A maioria das hipersuperfcies de P
n
sao lisas. Fixados d, n 1 seja
N =
_
n+d
n
_
1; cada ponto (a
i
) P
N
corresponde a uma hipersuperfcie de P
n
de grau d, denida pelo polinomio F =
a
i
x
i
. Considere
D = (x, F) P
n
P
N
[ F(x) = 0.
Mostre que D P
n
e um brado projetivo com bra P
Nn1
. Deduza que a
imagem de D em P
N
esta contida em uma hipersuperfcie.
8.2.13. Proposicao. Seja X uma variedade irredutvel de dimensao m e seja
x X um ponto nao singular. Entao existe uma vizinhanca am U de x tal que
U C
m+r
e denida por r equacoes cujos gradientes sao independentes em cada
ponto de U.
Prova. Podemos supor X C
n
am. Sem perda de generalidade, podemos
tomar x = 0 C
n
. Sejam M = x
1
, . . . , x
n
), I = I(X) M o ideal de X.
O ideal de x em O(X) e a imagem, m = M/I, de M pela aplicac ao quociente
O(C
n
) O(X). Esta induz uma sobrejec ao de espacos vetoriais,
: M/M
2
m/m
2
.
Por 8.2.12, temos
dimm/m
2
= m, e evidentemente, dimM/M
2
= n.
Seja r = n m. Assim, dimker = r. Por outro lado,
ker = (I +M
2
)/M
2
.
Sejam f
1
, . . . , f
r
I cujas classes m odulo M
2
geram ker . Os gradientes de
f
1
, . . . , f
r
s ao independentes no ponto x, visto que as classes desses polinomios
s ao l.i. em M/M
2
. Seja J = f
1
, . . . , f
r
). Seja Z uma componente irredutvel
de V(J) passando por x. Temos m dimZ dimT
x
Z m. A primeira
desigualdade provem de (5.1.10, p. 48); a segunda, de (8.2.10, p. 97). A ultima,
da algebra linear: o subespa co T
x
Z C
m+r
e denido por um sistema que inclui
pelo menos r equac oes independentes, a saber f
i
(x) v = 0, i = 1..r. Segue que
dim
x
V(J) = m. Lembrando que m = dimT
x
X dimT
x
V(J) m, segue que
V(J) e liso em x. Logo, X e a unica componente de V(f
1
, . . . , f
r
) passando por
x. Passando a um aberto principal, segue o resultado.
100 CAP

8.2.14. Observacao. Utilizamos de forma essencial na demonstrac ao acima o
seguinte importante
8.2.15. Teorema. Seja x um ponto nao singular de uma variedade X. Entao
existe uma unica componente irredutvel de X passando por x.
A prova deste teorema exige mais noc oes de algebra comutativa e ser a esbocada
a seguir.
8.2.16. Lema. Seja x um ponto de uma variedade X. Entao existe uma unica
componente irredutvel de X passando por x se e so se o anel local O
x
e um
domnio.
Prova. Podemos supor X am e que toda componente de X contem x. Seja
R = O(X). Se X e irredutvel, e claro que o anel local O
x
e um domnio, como
sub-anel do corpo de funcoes racionais de X. Reciprocamente, se Y, Z X =
Y Z s ao fechados pr oprios passando por x, tais que nenhuma componente de
Z (resp. de Y ) esta contida em Y (resp. Z), existem funcoes f, g R tais
que f(Y ) = g(Z) = 0 e f (resp. g) n ao pertence ao ideal primo de nenhuma
componente de Z (resp. de Y ). Segue que o germe de f em O
x
e nao nulo. Do
contr ario, existiria h R tal que h(x) ,= 0 e hf = 0. Em particular, hf(Z) = 0.
Isto obriga h a pertencer ao ideal primo de toda componente de Z, logo h(x) = 0,
contradi cao. Analogamente, temos g ,= 0 em O
x
e fg = 0.
O leitor pode ver no livro do Shafarevich ou em qualquer texto de algebra
comutativa (e.g., Atiyah&MacDonald, Eisenbud) outras provas do seguinte
Teorema. Seja x um ponto nao singular de uma variedade X. Entao o anel
local O
x
e um domnio.
Os principais ingredientes s ao
1. Se A e um anel local noetheriano com ideal maximal m, ent ao
m
i
= 0.
2. Seja x um ponto n ao singular de uma variedade X tal que dim
x
X = m.
Seja m = z
1
, . . . , z
m
) o ideal maximal de O
x
. Seja f C[x
1
, . . . , x
m
]
um polinomio homogeneo de grau k tal que f(z
1
, . . . , z
m
) m
k+1
. Entao
f = 0.
A argumentac ao para mostrar que O
x
e um domnio e a seguinte. Sejama, b O
x
n ao nulos. Por (1), existem i, j tais que a m
i
m
i+1
, b m
j
m
j+1
. Logo,
existe um polinomio homogeneo F, de grau i, a coecientes em O
x
, tal que
a = F(z
1
, . . . , z
m
) e com algum coeciente fora de m. Analogamente para
b = G(z
1
, . . . , z
m
). A hip otese sobre F, G signica que F, G C[x
1
, . . . , x
m
]
s ao polinomios homogeneos nao nulos, onde F e obtido de F substituindo
cada coeciente por seu valor em x. Portanto F G ,= 0. Segue de (2) que
ab = FG(z
1
, . . . , z
m
) ,= 0. Com efeito, escreva FG =
c
I
x
I
, combinac ao de
mon omios homogeneos de grau k = i + j com coecientes c
I
O
x
. Temos
c
I
= c
I
(0) + c
I
, c
I
m. Seja h =
c
I
(0)x
I
. De ab = 0 =
(c
I
(0) + c
I
)z
I
,
deduzimos h(z
1
, . . . , z
m
) m
k+1
, contradic ao.
Para provar (2), suponha por contradic ao que f ,= 0. Logo, existe t =
(t
1
, . . . , t
m
) C
m
tal que f(t) ,= 0. Fazendo uma mudan ca linear de coor-
denadas, podemos supor t = (1, 0, . . . , 0). Temos assim f = x
k
1
+ f
, onde
f
x
2
, . . . , x
m
). De f(z
1
, . . . , z
m
) m
k+1
vem uma expressao
z
k
1
= az
k+1
1
+
m
2
b
i
z
i
, b
i
O
x
logo
(1 az
1
)z
k
1
=
m
2
b
i
z
i
.
Como 1 az
1
e inversvel em O
x
, isto implica que z
1
radz
2
, . . . , z
m
). Con-
clumos que o ponto x e denido por m1 equac oes numa vizinhanca adequada.
Aplicando (5.1.24, p. 51) vem dim
x
X < m, contradic ao.
Para a prova de (1), usamos o teorema da base de Hilbert. Seja a

m
i
.
Para cada i, existe um polinomio homogeneo F
i
de grau i, a coecientes em O
x
,
tal que a = F
i
(z
1
, . . . , z
m
), onde m=z
1
, . . . , z
m
). Pelo TBH, existe r tal que
F
r+1
F
1
, . . . , F
r
). Escrevemos F
r+1
=
r
1
G
i
F
i
, onde cada G
i
e homogeneo
de grau r + 1 i. Deduzimos a = F
r+1
(z
1
, . . . , z
m
) = (
r
1
G
i
(z
1
, . . . , z
m
))a. A
soma entre parenteses e um elemento m. Conclumos que a(1 ) = 0 e
portanto a = 0.
8.2.1 a serie de Taylor
Um pouco mais de atencao mostra que, se x X e um ponto nao singular e
m = z
1
, . . . , z
m
) O
x
, com m = dim
x
X, entao cada elemento de O
x
admite
uma, e so uma expansao de Taylor. Dizemos que uma serie formal F = F
0
+
F
1
+ C[[x
1
, . . . , x
m
[], onde cada F
i
denota um polin omio homogeneo de
grau i e uma serie de Taylor de f O
x
se
f
j
0
F
i
(z
1
, . . . , z
m
) m
j+1
j.
102 CAP

Toda f O
x
admite uma expans ao de Taylor: fazemos F
0
= f(x); agora
f f(x) m e uma combinac ao linear de z
1
, . . . , z
m
. Por induc ao, suponha
f
j
0
F
i
(z
1
, . . . , z
m
) =
J
a
J
z
J
m
j+1
, onde cada z
J
denota um monomio
de grau j + 1. Usamos os coecientes a
J
(x) para denir F
j+1
. A unicidade
da serie resulta facilmente de (2): se
F
i
e uma serie de Taylor de 0, ent ao
F
i
(z
1
, . . . , z
m
) m
i+1
F
i
= 0 i.
Seja A um anel. Dizemos que z
1
, . . . , z
m
A e uma seq uencia regular se o
ideal gerado e proprio, z
1
e n ao divisor de zero e cada z
i
e n ao divisor de zero
m odulo o ideal I = z
1
, . . . , z
i1
) gerado pelos elementos anteriores.
8.2.17. Proposicao. Se x X e um ponto nao singular, m = z
1
, . . . , z
m
)
O
x
, com m = dim
x
X entao z
1
, . . . , z
m
e uma seq uencia regular.
Prova. Seja I = z
1
, . . . , z
i1
). Suponha a O
x
/I, a ,= 0. Por (1), existe k tal
que a , m
k
. Equivalente: a , I + m
k
. Seja F =
F
i
C[[x
1
, . . . , x
m
[] a serie
de Taylor de a. Na soma parcial G =
k1
0
F
i
, existe pelo menos um mon omio
de G que n ao contem as vari aveis x
1
, . . . , x
i1
. Como a serie de Taylor de z
i
a e
claramente x
i
F, deduzimos que z
i
a , I.
8.3 brado tangente
8.3.1. Teorema. Seja X uma variedade irredutvel lisa. Entao
TX := (x, ) [ x X, T
x
X
e um brado vetorial.
Prova. A arma cao subentende a deni cao da estrutura de variedade para TX.
Isto ser a feito por colagem. Seja U X aberto am, U C
n
fechado, com
ideal I = f
1
, . . . , f
r
, . . . ) C[x
1
, . . . , x
n
] tal que os gradientes f
1
, . . . , f
r
s ao
independentes em cada ponto de U, com r = n dimX. Denimos
TU = (x, v) U C
n
[ f
i
(x) v = 0, i = 1..r.
E imediato que TU U e um brado vetorial. Para vericar que essa cons-

truc ao cola bem e se globaliza, faremos uma pequena digressao. Seja : C
n
C
m
um morsmo, = (
1
, . . . ,
m
),
i
C[x
1
, . . . , x
n
]. Denimos
: C
n
C
n
C
m
C
m
(x, v) ((x), d(x)v)
(8.1)
onde d(x) : C
n
C
m
e a transformac ao linear dada pela matriz jacobiana
(
i
/x
j
). Suponha que (U) V , subvariedade fechada de C
m
, de maneira
8.3. FIBRADO TANGENTE 103
que podemos considerar
U
: U V . Nesta situa cao sabems que, para cada
v T
x
U, temos d(x)v T
(x)
V . Deduzimos que

(TU) TV . Alem disso,
se
U
e um isomorsmo, conclumos que

|TU
: TU TV e um isomorsmo.
Estas considerac oes nos permitem denir a estrutura de variedade de TX reco-
brindo com os subconjuntos da forma TU. Como em situac oes anteriores, um
subconjunto de TX e declarado aberto se e s o se a intersec ao com cada TU e
um aberto de TU. O feixe de func oes regulares se dene de forma similar. O
car ater localmente am resulta da propriedade an aloga de TU.
8.3.2. Corolario. O feixe de secoes de TX e o feixe de O
X
-modulos de
derivacoes. Mais precisamente, para cada aberto am U X, se R = O(U)
entao o R-modulo de secoes TX(U) e isomorfo a Der(R, R).
Prova. Suponhamos inicialmente U C
n
fechado, com ideal I C[x
1
, . . . , x
n
]
contendo func oes f
1
, . . . , f
r
tais que os gradientes f
1
, . . . , f
r
s ao independen-
tes em cada ponto de U e em n umero correto. Nessas condic oes temos que
TU U se identica ao subbrado de U C
n
U formado pelas derivadas
direcionais, i.e., , (x, v) U C
n
tais que f
i
(x) v = 0. O vetor v corresponde
` a deriva cao
v
: R C tal que
v
(f) = f(x) v. Seja s : U TU uma
sec ao. Assim , para cada x U, temos s(x) = (x, v(x)) U C
n
, com v(x)
ortogonal a cada gradiente f
i
(x). Para cada f R, seja
s
(f)(x) =
v(x)
f.
Cumpre-nos mostrar que
s
(f) R, ou seja, e uma func ao regular. As coor-
denadas (v
1
(x), . . . , v
n
(x)) do vetor v(x) s ao func oes regulares. Lembrando que
v(x)
f =
f
x
i
(x)v
i
(x), segue o requerido,
s
Der(R, R). Reciprocamente,
dada uma derivac ao Der(R, R), podemos associar uma se cao s de TU da
seguinte forma. Para cada f C[x
1
, . . . , x
n
], seja f sua restricao a U; temos
f R. Por Leibnitz, vale f =
f
x
i
x
i
. Aqui, cada x
i
R, permitindo de-
nir s(x) = (x, (x
1
(x), . . . , x
n
(x))). Como o vetor que apareceu e certamente
ortogonal aos gradientes, temos efetivamente uma sec ao regular de TU.
Para um aberto am arbitrario U, tomamos uma cobertura por abertos prin-
cipais U
g
em que j a vale T(U
g
) = Der(R
g
, R
g
). Seja s uma secao de TU. Para
cada x U, temos s(x) = (x,
x
),
x
T
x
X. Devemos mostrar que, para cada
f R, a funcao x
x
(f) e regular. Como funciona em cada U
g
, segue o
desejado para todo U.
8.3.3. Exemplos. TC
n
= C
n
C
n
.
8.3.4. TP
1
= O(2).
Facamos o c alculo da funcao de transic ao. No aberto U
1
, temos a identicac ao
CC = TU
1
, a qual associa a cada (x, v) CC o vetor tangente
1
(x, v) = v
d
dx
;
104 CAP

o lado direito signica m ultiplo constante do operador derivac ao em C[x], o
anel de coordenadas do aberto sob considerac ao. Em U
2
,
2
(y, w) = w
d
dy
. Na
intersecao U
12
= C
, temos
xy = 1 . .xdy +ydx = 0, x/dx = y/dy . .d/dy =
x
y
d/dx = x
2
d/dx.
Calculamos
1
1

2
(y, w) =
1
1
(wd/dy) =
1
1
(x
2
wd/dx) = (1/x, x
2
w) = (y, y
2
w).
Lembrando (6.9.2, p. 74), (6.3.3, p. 63) e fazendo y = x
1
/x
2
, vemos que o brado
associado a essa func ao de transic ao e isomorfo a O(2).
Lembrando o calculo feito para o espaco de sec oes globais (6.9.2, p. 74), para
H
0
(P
1
, O(2)) devemos saber associar a cada forma quadr atica q = ax
2
1
+bx
1
x
2
+
cx
2
2
uma derivac ao no anel de func oes regulares de cada aberto de P
1
. De fato,
reescrevendo q = x
1
x
2
, , formas lineares, temos a derivac ao
q
(F/G) =
(GF FG) (, )/G
2
. Deixamos como exerccio a vericac ao dos detalhes.
Note que, no enunciado do corol ario anterior, nao estamos armando que
para um aberto arbitrario U X, o modulo de sec oes TX(U) seja sempre
isomorfo ao modulo Der(O(U), O(U)). Apenas temos sempre um homomorsmo
natural TX(U) Der(O(U), O(U)). Por exemplo, para U = X = P
1
, sabemos
que TP
1
(U) = H
0
(P
1
, O(2)), o espaco das formas quadr aticas nas coordenadas
homogeneas x
1
, x
2
, enquanto O(U) = C e Der(C, C) = 0.
8.3.1 o brado tangente de P
n
Denotamos por O o brado trivial com bra C; seu feixe de sec oes e o feixe de
func oes regulares. Consideremos o homomorsmo
: O

O(1)
n+1
denido por
1 (x
1
, . . . , x
n+1
).
Vamos construir um homomorsmo sobrejetivo
: O(1)
n+1
TP
n
8.3. FIBRADO TANGENTE 105
cujo n ucleo e igual ` a imagem de . Uma se cao de O(1)
n+1
sobre um aberto
U P
n
e um vetor f = (f
1
, . . . , f
n+1
), f
i
O(1)(U), onde cada f
i
= F
i
/G
i
, com
F
i
, G
i
polin omios homogeneos tais que deg F
i
= 1 + deg G
i
, G
i
(x) ,= 0 x U.
Associamos ao vetor f a derivac ao direcional
f
: O(U) O(U) tal que
f
(F/G) =
(GF FG) f
G
2
,
onde F, G s ao polinomios homogeneos de mesmo grau e G(x) ,= 0 x U. Note
que temos efetivamente
f
(F/G) O(U). (Leitor: por que?) O homomorsmo
e sobrejetivo sobre os abertos da cobertura am can onica de P
n
, visto que toda
deriva cao C[x
1
, . . . , x
n
] C[x
1
, . . . , x
n
] e do tipo
f
. (Vericar!)
8.3.5. Teorema. Notacao como no paragrafo anterior, o brado tangente de
P
n
e isomorfo a O(1)
n+1
_
O.
Prova. Vamos vericar que a seq uencia de homomorsmos de brados vetoriais
sobre P
n
0 O

O(1)
n+1

TP
n
0 (8.2)
denidos acima, e exata. J a argumentamos que e sobrejetiva. A injetividade
de e imediata. Para mostrar a anulac ao de , lembramos a relac ao de Euler,
F
x
i
x
i
= (deg F)F.
Podemos ent ao escrever
x
(F/G) =
G
F
x
i
x
i
F
G
x
i
x
i
G
2
=
G(deg F)F F(deg G)G
G
2
= 0.
Sabendo que ker Im e ambos sao subbrados de mesmo posto, segue a
igualdade. Alternativamente, restringindo sobre um aberto am can onico, diga-
mos U = P
n
x
1
, suponha f O(1)(U)
n+1
satisfaz
f
= 0. Temos em particular
f
(
x
i
x
1
) = 0 x
1
f
i
x
i
f
1
= 0, i = 1..n + 1.
Mas j a vimos (6.9, p. 73) que essa condic ao implica f = F (x
1
, . . . , x
n+1
) para
algum F O(U), ou seja, f = (F).
8.3.6. Observacao. Tomando potencia exterior em (8.2), deduz-se um isomor-
smo
n
TP
n
O(n + 1). (8.3)
Recupera-se em particular (P
1
) o exemplo 2, (8.3.3, p. 103).
106 CAP

Exerccios. 147. Sejam x
1
, . . . , x
n+1
coordenadas homogeneas em P
n
. Escreva
z
i
= x
i
/x
n+1
para as funcoes coordenadas no aberto am C
n
= P
n
x
n+1
. Seja
f C[z
1
, . . . , z
n
]. Seja F C[x
1
, . . . , x
n+1
] um polinomio homogeneo de grau d
tal que
f(z
1
, . . . , z
n
) = F(
x
1
x
n+1
, . . . ,
x
n
x
n+1
, 1) = F(x
1
, . . . , x
m
, x
n+1
)/x
d
n+1
.
Mostre que
f
z
i
=
F
x
i
/x
d1
n+1
.
148. Seja w = (w
1
, . . . , w
n+1
) O(1)(P
n
x
n+1
)
n+1
. Mostre que
w
(
F
x
d
n+1
) =
1
x
d+1
n+1
n
1
F
x
i
(w
i
x
n+1
x
i
w
n+1
).
149. Continuando, seja
v
(f) =
f
z
i
v
i
, v
i
C[z
1
, . . . , z
n
]. Mostre que existe
w como acima tal que
v
(f) =
w
(
F
x
d
n+1
).

Geometria Algebrica

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Geometria Algebrica

Загружено:

Авторское право:

Доступные форматы

Geometria Algebrica I

?? & Israel Vainsencher

ITULO 1. VARIEDADES AFINS

Exerccios. 9. Todo subconjunto nito de C

ITULO 1. VARIEDADES AFINS

X abertos nao vazios.

ITULO 1. VARIEDADES AFINS

ITULO 1. VARIEDADES AFINS

se existir uma vizinhanca aberta W x tal que W U U

C e regular no aberto principal X

. Para a recproca, seja

(b) O(X). Segue a igualdade

que associa a cada morsmo

e um homomorsmo de C- algebras para cada

: O(Y ) O(X) e sobrejetivo entao a imagem de e fechada em

f = 0. Isto signica que f((x)) =

f ,= 0. Logo, existe x X tal que f((x)) ,= 0, ou seja (x)

e sobrejetivo, temos o isomorsmo induzido

e dada uma aplicacao (resp. homomorsmo. . . )

U e um aberto, dizemos que

e chamada de restric ao. Por

e uma colec ao aplica coes

) de espacos anelados, consiste em uma

, tal que, para

, para cada fun cao f T

X e tambem um aberto am, temos igualmente um

Y correspondente ao homomorsmo O(Y ) O

tais que cada (U

) seja uma variedade am. Ora, X admite uma cober-

g e uma func ao regular em X

cobertura aberta de U e seja (f

. Existe uma unica famlia compatvel (g

x aberto, se existir aberto U

, de maneira que s[U

). Para cada s T(U),

T(U) dene um morsmo de pre-feixes, denotado

, temos tv V . Suponhamos V aberto ,= e seja f uma func ao

, v V . Armamos que f = a/b com a, b polin omios

V . Cada func ao regular em U

as restric oes de G, F a V ; trata-se da desomogeneiza cao com respeito a

. Homogeneizando com respeito a x

, que e aberto em U, logo aberto, encontra

V um aberto na topologia de Zariski e ponha U

e aberto em GL(r) V , segue que GL(r) V

e aberto e portanto e aberta.

C uma func ao regular. Por deni cao,

f e uma func ao regular em

invariante por GL(r). O ponto agora e perceber que

V ), a f ormula anterior (GL(r) V (g, v)

i < < r < r +k

entao a aplicacao natural de Gr

(t) = (1, 2t, 3t

(t) = (0, 2, 6t), i.e., dado parametricamente por (s

C[x, y]. Para provar que e aberto, basta examinar a imagem

ITULO 4. PRODUTO DE VARIEDADES

: O(Y ) O(Z) induzem

: A[X Y ] O(Z) tal que

(g(y)). Bem denido por conta do lema (4.1.3, p. 34). (Considerar

W, cujo repert orio e conhecido. Como W pode ser recoberto por

, e declaramos um subconjunto W XY aberto se cada W(X

. (Vericar que dene uma topologia!)

para algum ,. Isto

ITULO 4. PRODUTO DE VARIEDADES

ITULO 4. PRODUTO DE VARIEDADES