Campos Vetoriais

IMPA
INSTITUTO NACIONAL DE MATEMTICA PURA E APLICADA
Altemar Brito Lima
CAMPOS VETORIAIS SOBRE
Pn
E
HIPERSUPERFCIES INVARIANTES
Dissertao de Mestrado
Dissertao
apresentada
ao
Instituto
Nacional de Matemtica Pura e Aplicada

como requisito parcial para obteno do
ttulo de Mestre em Matemtica.
Rio de Janeiro
2011
Altemar Brito Lima

Orientador:
PhD.
Henrique Bursztyn
Co-orientador:
PhD.
Israel Vainsencher
Pn
E
Dissertao
apresentada
ao
Instituto
Nacional de Matemtica Pura e Aplicada

como requisito parcial para obteno do
ttulo de Mestre em Matemtica.
Rio de Janeiro
Junho de 2011
II
Altemar Brito Lima

Pn
E
Dissertao
apresentada
ao
Instituto
Nacional
de
Matemtica
Pura e Aplicada como requisito parcial para obteno do ttulo de

Mestre em Matemtica.
Aprovada pela Comisso Examinadora
abaixo assinada
PhD. Henrique Bursztyn

Orientador
Instituto Nacional de Matemtica Pura e Aplicada
PhD. Israel Vainsencher

Co-orientador
Universidade Federal de Minas Gerais
PhD. Eduardo de Sequeira Esteves

PhD. Carolina Bhering de Araujo

Rio de Janeiro, 06 de Junho de 2011
II
Agradecimentos
Aos meus familiares pela formao da minha personalidade, em especial, minha irm
Audinea.
minha futura esposa, Cludia Rosa Almeida de Jesus, pela pacincia e apoio.
Fgner e Alessandra, os quais considero parte da minha famlia, pela fora.
primeira pessoa que me apoiou e incentivou a ingressar na universidade, Raymundo
Barboza Vianna.
Aos professores da UESB, em especial, Benedito Acioly, Jlio Csar dos Reis e Flaulles
Boone Bergamaschi, que me incentivaram a ingressar no mestrado.
todos os meus professores do IMPA pelos ensinamentos. Em especial, ao Gugu,
que foi meu professor no meu primeiro vero aqui no IMPA durante o processo de seleo.
Ao meu orientador Henrique Bursztyn pelo apoio e ao meu co-orientador Israel Vainsencher pela sugesto do tema e ensinamentos.
Aos colegas com quem discuti pontos dessa dissertao: Fbio XP, Toninho, Renan,
Ruben, Alejandro.
Ao meu professor de Latex, Allan Soares, e os monitores Gaio, Alan Gerardo e Carlos.
todos da minha turma de mestrado, em especial, Juanito, Cadu, Ricardo, Daniel,
Toninho, Alan, Cristiane, Guillermo, Carlos e sua Luz, pela amizade. Valeu, valeu!
Aos parceiros do futebol e do vlei: Fbio Jlio, Ademir, Guillermo, Jnior, Thiago,
Mrio, Yuri, Xando, Xandinho, os Paulinhos, Carlo, Vgner, Miguel, Dudu, Henrique
(como reclama!), Gugu (que eu sempre deixava na cara do gol e ainda perdia vrios.
Como ele pode ter feito quase
mil?), Ricardo, Carlos, Ruben, Cod, Sebastian, time
Carangueijo, Gaio, Jyrko, Srgio, Jucelino, Allan R., os Fbios e Maria Jos (que acertou
mais do que errou). Todos eram, s vezes, vtimas do meu excesso de vontade.
Ao monitor espiritual do IMPA, coxinha, que no deixa ningum desanimar.
Ao Cnpq e aos funcionrios do IMPA pelo suporte, em especial, Andra Nascimento.
III
A Cludia Rosa Almeida de Jesus
IV
Resumo
Estudaremos os campos vetoriais sobre o espao projetivo de dimenso
sobre o corpo
dos complexos e as hipersuperfcies invariantes por tais campos. Mais precisamente, estudaremos as provas de dois dos teoremas apresentados por Esteves em [Est02]. O primeiro,
caracteriza os campos vetoriais que deixam uma hipersuperfcie suave dada invariante. O
segundo, garante que se um campo de vetores no nulo deixa uma hipersuperfcie invariante e esta suave ento o grau dessa hipersuperfcie , no mximo, o grau desse campo
mais um. Apresentaremos os tpicos de lgebra Comutativa e Geometria Algbrica necessrios para compreenso de tais teoremas. Provaremos que se as derivadas parciais de
um polinmio homogneo pertencente ao anel de polinmios em
n+1
variveis sobre o
corpo dos complexos se anularem ao mesmo tempo apenas na origem do espao am de
dimenso
n + 1 sobre o corpo dos complexos ento essas derivadas parciais formaro uma
sequncia regular nesse anel. Veremos que este ser o passo fundamental para a prova da
primeiro teorema e que o segundo seguir facilmente do primeiro.
Palavras chaves:
campo vetorial, hipersuperfcie invariante, sequncia regular.
VI
Sumrio
Introduo
1 Um Pouco de lgebra Comutativa
1.1
Localizao
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2
Dimenso de anis
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3
Divisores de zero de
. . . . . . . . . . . . . . .
1.4
Sequncia regular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
e primos associados a
2 Um Pouco de Geometria Algbrica
20
2.1
O espao projetivo
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
2.2
Variedades projetivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22
2.3
Dimenso das variedades projetivas . . . . . . . . . . . . . . . . . . . . . .
28
2.4
O espao tangente
31
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3 Campos Vetoriais Sobre Pn E Hipersuperfcies Invariantes

Pn
3.1
Campos vetoriais sobre
3.2
Sobre a importncia das hipteses do
3.3
Os
Teoremas E1 e E2
. . . . . . . . . . . . . . . . . . . . . . . . . . .
Teorema E2
34
35
. . . . . . . . . . . . .
41
. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
Referncias Bibliogrcas
50
VII
VIII
Introduo
Neste trabalho estudaremos as provas de dois dos teoremas provados por Esteves em
[Est02] que aparecem na pgina
Teorema E1 :
tal que
Seja
I(V ) = hF i.
de seu artigo. So eles:
V Pn uma hipersuperfcie suave de grau d.
Ento cada campo vetorial
sobre
Pn
Seja
F C[t0 , ..., tn ](d)
que deixa
invariante
induzido por um campo da forma
Pi,j (j F i i F j )
06i<j6n
para certos
Pi,j C[t0 , ..., tn ]
Teorema E2 :
Seja
homogneos de mesmo grau.
um campo vetorial no nulo de grau
uma hipersuperfcie de grau
d.
Se
suave e invariante por
Como ele mesmo garante, a prova do
por um campo homogneo

projetiva. Quando
por
X.
X|V
Pn
i=0
Seja
Gi i
sobre
Pn
de grau
sobre
Cn+1 .
V,
uma hipersuperfcie suave de grau

tal que
Seja
V Pn
d 6 m + 1.
ento
do Exemplo
Gi i F I(V ), F I(V )
F C[t0 , ..., tn ](d)
Pn .
7,
pgina
um campo de retas sobre
dene um campo de retas sobre
Isso ocorre se e s se
Suponhamos que
acima.
de grau
sobre
Teorema E1 se baseia nas idias de O. Zariski
que foram publicadas por J. Lipman em [Lip65], parte

Um campo vetorial
I(V ) = hF i.
Seja
V Pn
diremos que
Pn
892.
induzido
uma variedade
invariante
(Proposio 3.3).
invariante pelo campo
Ento
Gi i F = P F ,
onde
P C[t0 , ..., tn ](m 1).

Dividiremos a prova do
bem simples. Para o caso
Teorema E1 em dois casos: d = 1 e d > 2.
d > 2,
O caso
d = 1 ser
utilizaremos vrios resultados dos Captulos
passo fundamental ser provarmos que
(0 F, ..., n F )
uma sequncia
2.
C[t0 , ..., tn ]-regular
(Proposio 3.4).
Veremos que a prova do
Teorema E2 ser consequncia imediata do Teorema E1 .
Nosso objetivo apresentar a bagagem matemtica suciente para compreenso das
provas desses dois teoremas.

Iniciaremos este trabalho com a parte de lgebra Comutativa: localizao, dimenso
de anis, divisores de zero, sequncia regular e um pouco de complexo de Koszul.
No captulo
2,
trataremos da parte de Geometria Algbrica: espao projetivo, varie-
dades projetivas, dimenso, espao tangente, grau.

No ltimo captulo, trataremos sobre campos vetoriais sobre o espao projetivo e
variedades invariantes. Na sua ltima seo, provaremos os dois teoremas.
Em cada captulo, apresentaremos exemplos voltados para as provas dos
E1
Teoremas
E2 .
Acreditamos que qualquer pessoa com conhecimento de lgebra bsica pode ler este
trabalho. Mas no apresentaremos as provas de todos os resultados que utilizaremos para
demonstrar esses dois teoremas.
Historicamente, o assunto abordado por Esteves foi tratado inicialmente por H. Poincar em [Poi91b] e [Poi91a] onde ele estuda o seguinte problema:
possvel decidir se uma equao diferencial algbrica em duas variveis tem uma integral racional primeira?
No captulo
curvas planas
3,
abordaremos a seguinte questo:
possvel limitarmos o grau das
deixadas invariantes por um campo de vetores
procurado em termos do nico invariante numrico de
X,
sobre
P2 ?
Tal limitante
seu grau. Veremos que, em
geral, a resposta no. Mas a resposta sim, quando consideramos apenas curvas suaves.
Veremos que a resposta tambm no quando consideramos apenas curvas suaves em
espaos projetivos de dimenso maior que
2.
Podemos citar vrios trabalhos publicados nessa rea:

i) Quando
m,
uma curva plana de grau
foram obtidas cotas para
sobre
invariante por um campo vetorial
em termos de
de grau
impondo alguma condio sobre
ou
(consulte [Car94], [CN91] e [CC97]).
ii) Quando uma curva
d1 , ..., dn1
C Pn
uma interseo completa de hipersuperfcies de graus
e ela invariante por um campo
em termos de
quando
de grau
m,
foram obtidas cotas para
di
suave ou no (consulte [Soa00] e [CCGdlF00]).
iii) M. Soares tambm mostrou em [Soa97] o
Teorema E2 .
e L.G. Mendes mostraram em [BM00] que se
crossing ento
deg(V ) 6 m + n.
Enquanto que M. Brunella
tem no mximo singularidades normal-
Captulo 1
Um Pouco de lgebra Comutativa
Neste captulo apresentaremos as denies e os resultados de lgebra Comutativa
necessrios para provarmos os
Teoremas E1 e E2 .
Denotaremos por:
i)
ii)
um anel;
(R, )
um anel local com ideal maximal
iii)
iv)
ha1 , ..., an iR
um
R-mdulo;
submdulo de
Na Seo
(respec.
M)
1.1
ha1 , ..., an iM ),
gerado por
onde cada
ai R,
(respec.
R-
a1 , ..., an .
R
em um seu sis-
S , que denotaremos por RS , e lembraremos alguns fatos importantes.
Na Seo
1.2
estudaremos a dimenso de um anel.
Na Seo
1.3
apresentaremos os divisores de zero de
M,
o ideal de
apresentaremos ao leitor a localizao de um domnio
tema multiplicativo
que denotaremos, respectivamente, por
DZ(M )
e os ideais primos associados
Ass(M ).
Veremos como esto
relacionados e algumas propriedades.

Na Seo
1.4
apresentaremos as sequncias nitas em
que so
M -regulares.
zaremos os resultados da seo anterior para denir a profundidade de

de
R.
Utili-
em um ideal
Finalizaremos apresentando uma pequena parte do chamado complexo de Koszul
associado a um subconjunto nito de

Visando a prova do
R.
Teorema E1 , analisaremos de perto os casos M = R e M = RS .
Mais especicamente, quando
R = C[t1 , ..., tn ]
S = R \ ,
onde
= ht1 , ..., tn iR.
1.1
Um
i)
ii)
Localizao
sistema multiplicativo S
1S
de
um subconjunto de
tal que:
0
/ S;
x, y S xy S .
Seja
R um domnio e seja S um sistema multiplicativo de R.
de fraes de
R.
Observemos que
Denimos a
RS
localizao de R em S
um subanel de
que contem
por
R.
K o corpo
o
K; r R, s S .
Denotemos por
RS :=
nr
s
Alm disso, possvel vericar
que
Proposio 1.1. Nas condies acima, temos que:

nr
o
i) Todos os ideais de RS so da forma IRS := ; r I, s S , onde I um ideal de
s
R. (Da, se R noetheriano ento RS tambm );
ii)
ideais primos de R
{ideais primos de RS }
tais que S =
nr
o
7 RS = ; r , s S
s
uma bijeo que preserva a ordem, cuja inversa dada por

RS R [ RS
Demonstrao.
Consulte [Mat86], pgina 22.
Observao 1.1. Quando dissemos que RS contem R e falamos em RS R, estamos

utilizando o seguinte fato: R pode ser identicado com a sua imagem pelo mapa de incluso
: R , K denido por (r) = 1r .
Um caso interessante quando tomamos um ideal primo de
um sistema multiplicativo e denotamos por
Proposio 1.1,
um
a localizao de
S := R \
Alm disso, pela
anel local, isto , um anel que tem apenas um ideal maximal, a
Dimenso de anis
Denotamos por
Ento
R em S .
saber R .
1.2
R.
Spec(R)
o conjunto dos ideais primos de
R.
Denio 1.1. Denimos a dimenso de Krull ou simplesmente a dimenso de R por

dim(R) = sup{k N; existe uma cadeia 0 ( ... ( k com i Spec(R), i}.
Denimos a dimenso de um ideal prprio I de R por dim(I) = dim(R/I).

Denimos a altura de um ideal Spec(R) por
h() = sup{k N; existe uma cadeia 0 ( ... ( k = com i Spec(R), i}.
Dizemos que a cadeia 0
( ... ( k
tem comprimento
k.
Alm disso, dizemos que ela
maximal quando no existe uma cadeia de ideais primos de

que
contendo i para
de comprimento maior
0 6 i 6 k.
Em particular, para
dim() = sup{k N;
Spec(R),
temos que
existe uma cadeia
= 0 ( ... ( k
com i
Spec(R), i}.
Denio 1.2. Seja I R um ideal prprio. Dizemos que Spec(R) um divisor

primo minimal de I quando I e no existe ' Spec(R) tal que I ' ( .
Segue diretamente das denies que: se
dim(I) = sup{dim();
um ideal prprio de
um divisor primo minimal de
ento
I}
Exemplo 1.1. Seja R = C[t1 , ..., tn ]. Ento dim(R) = n.

Demonstrao.
Como
h0i ( ht1 i ( ht1 , t2 i ( ... ( ht1 , ..., tn i,
temos que
dim(R) > n.
Notemos que essa cadeia maximal. A desigualdade contrria no vericada facilmente.

Ela segue do seguinte resultado mais geral:
Proposio 1.2. Seja K um corpo algebricamente fechado. Seja AK uma K-lgebra

am. Se K[t1 , ..., tn ] AK uma normalizao noetheriana ento dim(AK ) = n. Mais
ainda, se AK um domnio ento todas as cadeias de ideais primos maximais de AK tm
comprimento n ( em particular, isto vale para a AK = K[t1 , ..., tn ]).
Demonstrao.
Consulte [Kun85], pgina 51.
Segue diretamente da proposio acima que
Corolrio 1.1. Seja Spec(C[t1 , ..., tn ]). Ento h() + dim() = n.
Exemplo 1.2. Seja Spec(C[t1 , ..., tn ]). Ento h() = 1 se e s se principal.

Demonstrao.
Isso segue do fato que
C[t1 , ..., tn ]
um domnio fatorial.
Vejamos como se comporta a dimenso com relao a localizao.
Proposio 1.3. Seja R um domnio. Seja S um sistema multiplicativo de R. Seja

Spec(R) tal que S = . Ento
dim (RS /RS ) 6 dim (R/) .
Em particular, dim(RS ) 6 dim(R).

Demonstrao.
Lembremos que os ideais primos de
RS /RS
em correspondncia biunvoca com os ideais primos de

(respec.
).
(respec.
R)
R/) esto
que contm RS
Assim, basta mostrarmos que se tivermos uma cadeia de comprimento
RS
formada por ideais primos de

mento
RS
(respectivamente
que contm RS , ento teremos uma cadeia de compri-
formada por ideais primos de
que contm . Mas isso claro, pois uma tal
cadeia, pela Proposio 1.1, seria da forma
RS
0 RS ( ... ( n RS ,
onde
1.3
0 ( ... ( n
Divisores de zero de
Para
m M,
denimos o
Ann(m) = {r R; rm = 0}
e i
Tomemos
tal que
r R.
rm = 0.
M -regular.
por
e o
anulador de M ,
R.
Denimos tambm o
Ass(M ) = { Spec(R);
Dizemos que
DZ(M )
um
Por denio,
conjunto dos ideais
= Ann(m), m M }.
r um divisor de zero de M
Caso contrrio, dizemos que
Denotamos por
respectivamente, por
Ann(M ) = {r R; rm = 0, m M }.
temos que esses dois conjuntos so ideais de
primos associados a M
e primos associados a
anulador de m
e
Spec(R), i.
quando existe
0 6= m M
no divisor de zero de M
ou que ele
conjunto dos divisores de zero de M .
Observao 1.2. Pelas denies, se : M N um isomorsmo de R-mdulos e

n = (m) ento Ann(n) = Ann(m). Portanto, Ass(M ) = Ass(N ).
Lema 1.1. Se Spec(R) ento Ass (R/) = {}. Alm disso, se 0 6= m R/ ento
Ann(m) = .
Demonstrao.
Podemos escrever
Tomemos
s Ann(m).
Portanto,
Ann(m) = .
m = r + ,
Por denio,
com
sm = 0,
r
/
isto ,
claro que
sr
Ann(m).
. Como primo,
Lema 1.2. Seja N um R-submdulo de M . Ento

Ass(N ) Ass(M ) Ass(N ) Ass(M/N ).
Demonstrao.
bvia se
algum
ou
A primeira incluso segue diretamente da denio. A segunda incluso
Ass(M ) = .
0 6= m M .
Rm N = h0i.
Da,
Caso contrrio, seja
Rm
= R/
No primeiro caso,
No segundo caso, vemos que

cannica
como
: M M/N .
Rm
Ass(M ).
R-mdulos.
Ass(N )
isomorfo a um
Assim,
= Ann(m)
para
Rm N ) h0i
Temos dois casos:
pelo Lema 1.1 e pela Observao 1.2.
R-submdulo
M/N
de
via a projeo
Segue, novamente pelo Lema 1.1 e pela Observao 1.2, que
Ass(M/N ).
At agora no claro que
Ass(M ) 6= .
Nesse sentido temos o seguinte resultado.
Proposio 1.4. Se R noetheriano e M 6= h0i ento Ass(M ) 6= .

Demonstrao.
se e s se
de
R.
Tomemos
m = 0.
Como
Da, como
noetheriano,
primo. Digamos que
Ann(bm0 ) C .
segue que
C = {Ann(m); 0 6= m M }.
M 6= h0i, C
C
Sabemos que
uma famlia no vazia de ideais prprios
tem um elemento maximal .
= Ann(m0 )
Ann(m) = R
e sejam
a, b R
tais que
Do fato de ser maximal, temos que
Vamos mostrar que
b
/
= Ann(bm0 ).
ab
. Assim,
Como
abm0 = 0,
a .
Observemos que, nas condies da proposio acima, vericamos que cada elemento
maximal de
um ideal primo associado a
M.
claro que deve exitir uma relao entre os divisores de zero de

associados a
M.
De fato temos
Proposio 1.5. Se R noetheriano ento DZ(M ) =
Ass(M )
e os ideais primos
Demonstrao.
S
M = h0i,
Se
ok. Suponhamos que
M 6= h0i.
Ass(M ) . Assim, basta mostrarmos que para cada
existe
que
Ass(M )
Ass(Rm) 6= .
tal que
Seja
. De fato, como
Ass(Rm) Ass(M ).
Pelas denies,
r R e 0 6= m M
Rm 6= h0i,
Ento
DZ(M )
tais que
rm = 0
pela Proposio 1.4, temos
= Ann(r0 m)
e como
rm = 0,
r .
segue que
Quantos elementos
Ass(M ) possui?
Veremos mais a frente que, sob certas condies,
essa quantidade nita.
Proposio 1.6. Se R noetheriano e M nitamente gerado ento existe uma cadeia

de R-submdulos de M
M = M0 ) M1 ) ... ) Mk = h0i
tal que, para 0 6 i 6 k 1, Mi /Mi+1

= R/i para algum i Spec(R).
Demonstrao.
Se
M = h0i,
ok. Se no, tomemos
para os quais vale a proposio. Como
contem um elemento maximal
N 6= M .
absurdo, que
Ass(M/N ).
1 (Rm)
um
Rm
= R/.
R-submdulo
Assim,
N ( N 0 C.
R-submdulos
de
noetheriano, podemos armar que
N = M.
Suponhamos, por
= Ann(m)
Pela Proposio 1.4, existe
: M M/N
Se
de
a coleo de
Mostremos agora que
M/N 6= h0i.
Ento
R/
= Rm.
Da,
N.
C 6=
a projeo cannica ento
que contem propriamente

Isso contraria o fato de
N.
Alm disso,
N 0 :=
N 0 /N
=
ser maximal. Portanto,
M = N.
Lema 1.3. Seja I R um ideal tal que I 1 ... k , onde cada i Spec(R). Ento
I i para algum i.
Demonstrao.
para
k1.
Faamos induo sobre
k.
Observemos que se para algum
Se
k = 1, ok.
Suponhamos que o resultado vale
i {1, ..., k} tivermos que I 1 ...bi ...k
ento bastar aplicarmos a hiptese de induo. Caso contrrio, para cada

existe
ai I
temos que
tal que
a I,
ai
consequentemente,
i primo, temos que para algum
aj .
Portanto,
resultado.
... bi ... k
a i
. Denindo
para algum
j 6= i, aj
... bj ... k .
i.
Assim,
a=
Pk
i {1, ..., k},
i=1
a1 ...abi ...an ,
a1 ...abi ...an i .
Como
i . Isso contradiz nossa hiptese sobre o
Novamente, por hiptese de induo, segue o
Proposio 1.7. Se R noetheriano e M nitamente gerado ento:

i) Ass(M ) nito;
ii) Se I R um ideal tal que I DZ(M ) ento existe 0 6= m M tal que Im = h0i.
Demonstrao.
i)
R-submdulos M = M0 ) M1 ) ... ) Mk = h0i
Pela Proposio 1.6, existe uma cadeia de

tal que, para
0 6 i 6 k 1, Mi /Mi+1
= R/i
Pelo Lema 1.2,

Assim,
Ass(Mi ) Ass(Mi+1 ) Ass(Mi /Mi+1 )
Ass(Mk ) = .
Portanto,
Demonstrao.
Ass(Mi /Mi+1 ) = {i }
0 6 i 6 k 1.
1 6 i 6 l.
para
0 6 i 6 k 1.
Sabemos que
Ass(M ) {0 , ..., k1 }.
ii)
Pela Proposio 1.5 e pelo item anterior,
1.4
para
Spec(R).
Ass(M ) Ass(Mk ) Ass(Mk1 /Mk ) ... Ass(Mi /Mi+1 ) ... Ass(M0 /M1 ).
Pelo Lema 1.1 e Observao 1.2,
para
para algum i
Pelo Lema 1.3,
I i
I DZ(M ) =
para algum
i.
... l ,
com i
Ass(M )
Da segue o resultado.
Sequncia regular
Denio 1.3. Dizemos que uma sequncia (a1 , ..., an ) de elementos de R uma sequncia M -regular se:
i) ha1 , ..., an iM 6= M ;
ii) Para i = 1, ..., n, ai um no divisor de zero de Mi := M/ha1 , ..., ai1 iM . (Obs.
M1 := M )
Observao 1.3. Na denio acima, estamos pensando em Mi como um R-mdulo.
No entanto, ai um no divisor de zero de Mi se e s se a classe de ai em Ri :=
R/ha1 , ..., ai1 iR um no divisor de zero de Mi pensado agora como Ri -mdulo.
Seja
I R
um ideal. Dizemos que uma sequncia
uma sequncia em
se
ai I
para cada
(a1 , ..., an )
de elementos de
i.
Exemplo 1.3. Seja R = C[t1 , ..., tn ]. Ento (t1 , ..., tn ) uma sequncia R-regular, pois:
i) ht1 , ..., tn iR 6= R;
ii) Para i = 1, ..., n, Ri := R/ht1 , ..., ti1 iR um domnio e a classe de ti em Ri diferente
de zero.
10
Vamos agora ver alguns resultados que relacionam sequncias regulares em um domnio
R.
com sequncias regulares em uma localizao de
Nosso primeiro resultado diz que o fato de uma sequncia ser regular preservado
pela localizao quando impomos uma condio.
Proposio 1.8. Seja R um domnio. Seja S um sistema multiplicativo de R. Seja

(a1 , ..., an ) uma sequncia R-regular. Se ha1 , ..., an iRS 6= RS ento (a1 , ..., an ) uma
sequncia RS -regular.
Demonstrao.
zero de
Como
ha1 , ..., an iRS 6= RS ,
RS /ha1 , ..., ai1 iRS
a1
/ DZ(RS ).
Tomemos
para
ai
onde cada
rj
sj
RS .
Assim, por (1.1),
i = 1, ..., n.
i {2, ..., n}.
ai
s temos que mostrar que

Desde que
RS
no divisor de
um domnio e
a1 6= 0,
ento
Suponhamos que
r1
ri1
ri
= a1 + ... + ai1
,
si
s1
si1
(1.1)
Podemos supor, sem perda de generalidade, que
s1 = ... = si1 = s.
ai ri s = a1 r1 si + ... + ai1 ri1 si . Como ai

/ DZ(R/ha1 , ..., ai1 iR), ento
ri s = a1 b1 + ... + ai1 bi1 ,
com
b1 , ..., bi1 R.
A condio
Logo
ri ha1 , ..., ai1 iRS ,
ha1 , ..., an iRS 6= RS
consequentemente,
ri
si
ha1 , ..., ai1 iRS .
realmente necessria como podemos vericar no
seguinte exemplo.
Exemplo 1.4. S := {1, 2, 4, 8, ...} um sistema multiplicativo de Z. Temos que 2

Z-regular, mas 2 no ZS -regular, pois h2iZS = ZS .
Surge naturalmente a pegunta: Uma sequncia de elementos de
tambm
que
RS -regular
R-regular?
Geralmente no. Vejamos um exemplo.
Exemplo 1.5. S := {1, z, z 2 , z 3 , ...} um sistema multiplicativo de R := C[x, y, z]. Temos

que (xz, yz) uma sequncia RS -regular, mas no R-regular.
Demonstrao.
Temos que
hx, yiR
Como
yz.x = xz.y
x
/ hxziR,
hxz, yziRS = hx, yiRS ,
um ideal primo de
pois
disjunto de
S,
ento
(xz, yz)
no
R-regular.
um elemento invertvel de
RS .
pela Proposio 1.1, temos que
Como
hx, yiRS
11
um ideal primo de
uma sequncia
Segue que se
RS .
R-regular.
yz ab = xz dc ,
um domnio e
Em particular,
hx, yiRS 6= RS .
Assim, pela Proposio 1.8,
com
a c
,
b d
hxz, yziRS 6= RS .
RS ,
ento
Portanto,
a
b
(xz, yz)
que
RS -regular
Lembremos que
uma sequncia
(x, y)
(x, y) uma sequncia RS -regular.
hxiRS = hxziRS .
Veremos mais a frente um exemplo de um anel

sequncia de elementos de
Pelo Exemplo 1.3,
RS -regular.
RS
e uma localizao
tambm
RS
tal que cada
R-regular.
Denio 1.4. Dizemos que um ideal I de C[t1 , ..., tn ] homogneo se ele puder ser
gerado por polinmios homogneos (no necessariamente de mesmo grau).
Como
um corpo, ento
de Hilbert (consulte
um anel noetheriano. Assim, pelo
[Kun85], pgina 10), todos os ideais de
Teorema da base
C[t1 , ..., tn ]
so nitamente
gerados.
Lema 1.4. Seja I um ideal de C[t1 , ..., tn ]. Ento so equivalentes:

i) I homogneo.
ii) Para cada F = F0 + ... + Fd I , com Fi homogneo de grau i para 0 6 i 6 d, e
d = deg(F ), temos que Fi I para 0 6 i 6 d.
Demonstrao. ii i
claro que
gerado pelas partes homogneas de todos os seus elementos.
Demonstrao. i ii
Pelo Teorema da base de Hilbert, podemos supor que
de grau
dj
0 6 i 6 d,
para
e
1 6 j 6 r.
d = deg(F ).
Seja
I = (G1 , ..., Gr ), com Gj
F = F0 + ... + Fd I ,
com
Fi
homogneo
para
com
Hj,k
homogneo de grau
Temos que
F = H1 G1 + ... + Hr Gr ,
com
Hj C[t1 , ..., tn ]
homogneo de grau
de grau
para
ej
para
0 6 k 6 ej
1 6 j 6 r.
e
Escrevamos
1 6 j 6 r.
Hj =
Assim, para
^
^
Fi = H
1,id1 G1 + ... + Hr,idr Gr ,
onde
para
H
j,idj se 0 6 i dj 6 ej
^
Hj,idj =
0 caso contrrio
1 6 j 6 r.
Portanto,
Fi I
para
0 6 i 6 d.
Pej
k=0
06i6d
Hj,k ,
temos
12
Proposio 1.9. Seja R = C[t1 , ..., tn ]. Sejam F1 , ..., Fm R \ C homogneos. Seja

= ht1 , ..., tn iR. Ento:
i) Seja Spec(R) tal que Fi para cada i. Se (F1 , ..., Fm ) uma sequncia R-regular
ento ela R -regular.
ii) Se (F1 , ..., Fm ) uma sequncia R -regular ento ela R-regular.
Demonstrao.
i)
F1 , ..., Fm ,
(Observemos que existe pelo menos um ideal primo que contem

Como
Fi
R-regular,
para cada
para
segue que
hF1 , ..., Fm iR R 6= R
pela Proposio 1.8, temos que
Demonstrao.
Como
i,
(F1 , ..., Fm )
. Como
uma sequncia
i = 1, ..., m.
(F1 , ..., Fm )
Desde que

um domnio e
F1 6= 0,
Fi
/ DZ(R/hF1 , ..., Fi1 iR)
ento
F1
/ DZ(R).
Tomemos
Suponhamos que
Gj R .
Vamos observar que podemos supor que
Gi = Gi,0 + ... + Gi,d , com Gi,j

Fi
homogneo, ento
para
0 6 j 6 d,
Lema 1.4,
-regular.
Fi Gi = F1 G1 + ... + Fi1 Gi1 ,

onde cada
).
ii)
hF1 , ..., Fm iR R 6= R,
i {2, ..., n}.
a saber
homogneo. Escrevamos
para
0 6 j 6 d, e d = deg(Gi ).
Como
Fi Gi = Fi Gi,0 + ... + Fi Gi,d ,
com
Fi Gi,j
di + j
di = deg(Fi ).
Gi
Gi
homogneo de grau
Desde que
Fi Gi,j hF1 , ..., Fi1 iR
generalidade, que
(1.2)
para
hF1 , ..., Fi1 iR
0 6 j 6 d.
homogneo de grau
d.
homogneo de grau
homogneo, por (1.2) e pelo
Assim, podemos supor, sem perda de
Como
(F1 , ..., Fi )
R -regular,
por (1.2),
temos que
Gi = F1
onde cada
Assim,
com
Aj
Bj
R .
Podemos supor, sem perda de generalidade, que
Gi B = F1 A1 +...+Fi1 Ai1 .
0 6= z C.
A1
Ai1
+ ... + Fi1
,
B1
Bi1
Como
B1 = ... = Bi1 = B .
B
/ , ento B = z+(termos de grau postivo),
Assim,
Gi B = zGi + (termos
de grau maior que
d) hF1 , ..., Fi1 iR.
Novamente, como este ideal homogneo, pelo Lema 1.4, segue que
Empregamos o termo sequncia regular ao invs de

importante. Podemos vericar isso no seguinte
Gi hF1 , ..., Fi1 iR.
conjunto regular
porque a ordem
13
Exemplo 1.6. Seja R = C[t1 , t2 , t3 ]. Seja M = R/h(t1 1)t3 iR. Temos que (t1 , (t1 1)t2 )
uma sequncia M -regular, mas ((t1 1)t2 , t1 ) no.
Demonstrao.
Temos que
ht1 , (t1 1)t2 iM = ht1 , t2 iM 6= M .
relativamente primos, ento t1 um no divisor de zero de

um domnio, pois isomorfo a
um no divisor de zero de
Notemos agora que
divisor de zero de
R/ht1 , t3 iR.
M/t1 M .
0 6= t3 M ,
M.
Portanto,
Como
Portanto,
mas
M.
(t1 1)t3
t1
so
M/t1 M
(t1 1)t2
/ ht1 , t3 i, segue que (t1 1)t2
(t1 , (t1 1)t2 )
(t1 1)t2 t3 = 0.
((t1 1)t2 , t1 )
Como
Observemos que
uma sequncia
(t1 1)t2
Por denio,
no uma sequncia
M -regular.
um
M -regular.
No entanto, existem casos em que a ordem dos elementos no importante. Podemos

ver isso no seguinte resultado (ns no o utilizaremos nesse trabalho):
Proposio 1.10. Seja (R, ) um anel local noetheriano. Seja (a1 , ..., an ) uma sequncia

R-regular. Ento a(1) , ..., a(n) novamente uma sequncia R-regular para qualquer
permutao de {1, ..., n}.
Demonstrao.
Consulte [Eis95], pgina 426.
Suponhamos que
R tal que IM 6= M .
noetheriano, que
Para qualquer sequncia
nitamente gerado e que
um ideal de
(a1 , ..., an ), M -regular, temos, por denio,
que
ha1 iM
Como
ha1 , a2 iM
ha1 , ..., an iM
noetheriano, segue que qualquer sequncia
pode ser estendida a uma tal sequncia

com
...
k > n,
que
M -regular
e tal que
maximal.
M.
(a1 , ..., an )
em
I,
Isto , uma sequncia
que
M -regular,
(a1 , ..., ak )
em
I,
I DZ(M/ha1 , ..., ak iM ).
Exemplo 1.7. Se R = C[t1 , ..., tn ] ento (t1 , ..., tn ) uma sequncia R-regular maximal
em I = ht1 , ..., tn iR pelo Exemplo 1.3.
Surge agora uma pergunta natural: duas sequncias
M -regulares maximais em I
tm
o mesmo nmero de elementos? Veremos que, nas condies impostas acima, a resposta
sim. A prova inspirada em [NR57]. Antes, vamos provar um pequeno lema sobre a
troca na ordem de elementos de uma sequncia regular que ser essencial.
Lema 1.5. Seja (a, b) uma sequncia M -regular. Se b / DZ(M ) ento (b, a) tambm
uma sequncia M -regular.
14
Demonstrao.
J sabemos, pelas hipteses, que
b
/ DZ(M/haiM ),
Como
a
/ DZ(M ),
temos
a
/ DZ(M/hbiM ).
m0 = am00 ,
ento
m = bm00 .
Portanto,
ha, biM 6= M
am = bm0 ,
Escrevamos
m00 M .
onde
b
/ DZ(M ).
e que
com
Ento
m, m0 M .
am = bam00 .
Assim,
Como
a
/ DZ(M/hbiM ).
Proposio 1.11. Seja R um anel noetheriano e seja M um R-mdulo nitamente gerado. Seja I um ideal de R tal que IM 6= M . Ento duas sequncias M -regulares
maximais em I tm o mesmo nmero de elementos.
Demonstrao.
Suponhamos que a sequncia
n=0
ento
I DZ(M )
Suponhamos que
(b1 , ..., bn )
n > 0.
e no h o que fazer.
Sejam
uma sequncia regular em
n = 1
Se
tal que
ento
(a1 , ..., an )
I.
uma sequncia regular maximal em
Devemos mostar que
I DZ(M/ha1 iM ).
Im ha1 iM .
m0
/ hb1 iM
e que
m ha1 iM ,
pois
b 1 m = a1 m 0 ,
temos
(b1 , ..., bn )
Em particular,
Pela Proposio 1.7, existe
b1 m = a1 m0 ,
Im0 hb1 iM .
Com efeito, se
b1 m = a1 m0
b1
/ DZ(M ).
a1 Im0 = b1 Im ha1 b1 iM .
maximal em
I,
onde
m0
m0 M .
pertencesse a
Contradio.
Como
Vamos mostrar que
hb1 iM ,
Como
a1
/ DZ(M ),
m M \ ha1 iM
teramos que
Im ha1 iM
ento
Im0 hb1 iM .
I DZ(M/hb1 iM ).
Suponhamos que
onde
n elementos.
I DZ(M/hb1 , ..., bn iM ).
isto ,
Logo,
mais curta tem
n.
Faamos induo sobre

Se
M -regular em I
1 6 i 6 n.
n > 1.
Sejam
Do fato que
Mi := M/ha1 , ..., ai1 iM
(a1 , ..., an )
sies 1.5 e 1.7 e pelo Lema 1.3, existe
(a1 , ..., an1 , c)
(b1 , ..., bn1 , c)
n=1
(b1 , ..., bn ) so M -regulares e pelas

S
c I \ 16i6n (DZ(Mi ) DZ(Mi0 )).
M -regulares
ao mdulo
Mn .
aplicar repetidamente o Lema 1.5 para garantir que
M -regulares
sequncias
maximal.
Como
em
Mi0 := M/hb1 , ..., bi1 iM ,
so sequncias
maximal pela aplicao do caso
em
I,
(b1 , ..., bn1 )
Pela construo de
(c, a1 , ..., an1 )
so sequncias
Assim,
sendo que a primeira
c,
podemos
(c, b1 , ..., bn1 )
e, novamente, a primeira maximal, pois
(a1 , ..., an1 )
Propo-
so
(a1 , ..., an1 , c)
M/cM -regulares
em
a primeira maximal, temos, por hiptese de induo, que a segunda tambm maximal.
mais.
Assim,
(c, b1 , ..., bn1 )
e, consequentemente,
Portanto, aplicando o caso
M -regular
maximal em
n = 1
Mn0 ,
I.
Nas condies da proposio acima, segue a
(b1 , ..., bn1 , c)
temos que
so
M -regulares
(b1 , ..., bn )
maxi-
uma sequncia
15
Denio 1.5. Denimos a profundidade de M em I , que denotamos por d(I, M ), como

o nmero de elementos de uma sequncia M -regular maximal em I . Em particular, se
(R, ) uma anel local, denotamos simplesmente por d(M ) o valor d(, M ) e o chamamos
de profundidade de M .
Segue imediatamente da Proposio 1.11 o
Corolrio 1.2. Sejam R, M , I como na Proposio 1.11. Ento para qualquer sequncia
(a1 , ..., am ) em I , M -regular, temos
d(I, M/ha1 , ..., am iM ) = d(I, M ) m.
Exemplo 1.8. Seja R = C[t1 , ..., tn ]. Seja = ht1 , ..., tn iR. Ento d(, R) = d(R ) = n.
Demonstrao.
Pelo Exemplo 1.7 e pela Denio 1.5, temos
1.3 e pela Proposio 1.8,

maximal. Portanto,
d(, R) = n.
(t1 , ..., tn ) uma sequncia R -regular em R
Pelo Exemplo
que claramente
d(R ) = n.
De fato, era de se esperar que
d(, R) 6 d(R ),
pois
Corolrio 1.3. Seja R um domnio noetheriano. Seja Spec(R). Se I um ideal de

R contido em ento d(I, R) 6 d(IR , R ).
Demonstrao.
Como
I ,
a desigualdade segue diretamente da Proposio 1.8.
A prxima proposio essencial para a prova do

inferior para a dimenso dos elementos do conjunto
Teorema E1 .
Ass(M ).
Ela dar uma cota
Antes de enunci-la, vejamos
um lema algbrico muito conhecido.
Lema 1.6 (Lema de Nakayama). Seja (R, ) um anel local noetheriano. Seja M um
R-mdulo nitamente gerado. Se M = M ento M = h0i.
Demonstrao.
{m1 , ..., mn } um sistema minimal de geradores de M . Como

P
mn = ni=1 ai mi , onde ai para cada i. Da, (1 an )mn =
Tomemos
M = M , temos que
P
/
i<n ai mi . Como 1 an
invertvel. Assim,
devemos ter
n=1
e este o nico ideal maximal de
mn = (1 an )1
i<n
ai mi .
R,
ento
1 an
Como supomos que o sistema minimal,
e, pela ltima equao, temos que
mn = 0.
Portanto,
M = h0i.
16
Proposio 1.12. Seja (R, ) um anel local noetheriano. Seja M 6= h0i um R-mdulo
nitamente gerado. Ento
d(M ) 6 M inAss(M ) {dim (R/)}
Demonstrao.
n = 0,
Se
Faamos induo sobre
n := d(M ).
ok.
a \ DZ(M )
Vamos assumir que existe

com profundidade
n1.
Pelo Corolrio 1.2,
e que a proposio vlida para mdulos
d(M/haiM ) = d(M )1.
Ento, por hiptese
de induo,
d(M ) 1 = d(M/haiM ) 6 M in
Ass(M/haiM )
'
{dim (R/')} .
Assim, basta mostrarmos que
M in
Ass(M/haiM )
'
{dim (R/')} < M in
suciente mostrarmos que para cada
( ',
pois assim teremos que
= ',
pois
a
/
'
M/haiM
N = haiM .
e (N/haiM )
= h0i.
N 0 = haiN 0 .
Portanto,
= h0i.
Ass(M ).
( '.
de
Assim,
diferente de
N/haiM
N/haiM 6= h0i.
m0 N 0 ,
teramos
um
h0i,
pois ele
R-submdulo
Caso contrrio, teramos
m0 = am,
com
m M.
Como
m N 0.
Dessa forma,
a , teramos, pelo Lema de Nakayama, que N 0 = h0i.
Contradio.
Como
R-submdulo
Se conseguirmos (e iremos), dever existir
Devemos ter
Em particular, para cada
= m0 = h0i
tal que
no podemos ter
Vamos tentar encontrar um
e consequentemente
N 0 := {m M ; m = h0i}
M/haiM
Ass(M/haiM )
Ass(M/haiM )
e '
R-submdulo N := {m M ; m haiM }
contem
am
Ass(M )
Ass(M ).
tal que U
Ass(U ) Ass(M/haiM )
O
de
de
existe '
a '.
Fixemos, a partir de agora,
U 6= h0i
Ass(M ),
{dim (R/)} .
dim (R/') < dim (R/) .
Notemos que para quaisquer
Ass(M )
a
/ DZ(M ),
N 6= haiM
teramos que m
U := N/haiM
= h0i
e assim
atende aos nossos desejos.
Segue imediatamente o
Corolrio 1.4. Seja (R, ) um anel local noetheriano. Ento d(R) 6 dim(R).
Exitem anis locais noetherianos cuja profundidade igual a sua dimenso. Estes so
chamados de
Ento
anis Cohen-Macauly.
(R , R )
Exemplo: Seja
um anel Cohen-Macauly.
R = C[t1 , ..., tn ].
Seja
= ht1 , ..., tn iR.
17
Na prova do
Teorema E1 ,
Esteves utiliza a ida do seguinte teorema (ns no o
utilizaremos).
Teorema 1.1. Seja (R, ) um anel Cohen-Macauly. Sejam a1 , ..., ar . Ento {a1 , ..., ar }
parte de um sistema de parmetros de R se e s se (a1 , ..., ar ) uma sequncia R-regular.
Demonstrao.
135.
Consulte [Mat86], pgina
Para mais informaes sobre sistema de parmetros e anis Cohen-Macauly consulte

[Mat86], pginas 104 e 133.
Finalizamos esta seo comentando sobre uma pequena parte do
e apresentando uma proposio que utilizaremos na prova do
Seja
i)R
ii)
n+1
V2
, o
um anel qualquer. Fixemos
R-mdulo
Rn+1 ,
livre de dimenso
R-mdulo
a0 , ..., an R,
n+1
livre de dimenso
Teorema E1 .
n > 1.
com base cannica

n+1
2
com base
Vamos considerar os seguintes homomorsmos de
2
^
onde
complexo de Koszul
Denotemos por:
{e0 , ..., en };
{ei ej ; 0 6 i < j 6 n}.
R-mdulos:
Rn+1 Rn+1 R,
(1.3)
onde
n (ei ej ) = aj ei ai ej ,
n (ei ) = ai .
Esta sequncia a parte nal do chamado
complexo de Koszul associado a {a0 , ..., an }.
Para mais informaes sobre esse complexo, consulte [Mat86], pgina 127. Na pgina 128,
est provado que:
Se
(a0 , ..., an )
uma sequncia
R-regular
ento o complexo de Koszul associado exato.
Esse resultado foi utilizado por Esteves na prova do

observou, no necessrio tanto.
Teorema E1 .
Mas, como ele mesmo
Vamos agora demonstrar a parte que realmente
necessria.
Proposio 1.13. Seja (a0 , ..., an ) uma sequncia R-regular, onde n > 1. Ento
2
^
Rn+1 Rn+1 R
uma sequncia exata, isto , Im(n ) = Ker(n ).
18
Demonstrao.
Tomemos
Im(n ) Ker(n ).
V2 n+1
R , onde cada ri,j R.
06i<j6n ri,j (ei ej )
Primeiro mostremos que
w=
(w) =
06i<j6n
((w)) =
ri,j (ei ej ) =
ri,j (aj ei ai ej )
Temos que
06i<j6n
ri,j (aj (ei ) ai (ej )) =
06i<j6n
ri,j (aj ai ai aj ) = 0.
06i<j6n
Da segue a incluso. (Na verdade, ns no utilizaremos essa incluso. A demonstramos

aqui apenas por completude e porque simples).
Agora mostremos que
Ker(n ) Im(n ).
pas acima esto denidos para cada
n > 1.
importante entendermos bem quem
Observemos que os
R-mdulos
Assim, faamos induo sobre
Im(n ).
n.
e os maO mais
Por denio,
)
X
Im(n ) =
ri,j (aj ei ai ej ); ri,j R .
06i<j6n
Observemos que
ri,j (aj ei ai ej ) = (r0,1 a1 + r0,2 a2 + ... + r0,n an )e0 +
06i<j6n
+(r0,1 a0 + r1,2 a2 + ... + r1,n an )e1 + (r0,2 a0 r1,2 a1 + r2,3 a3 + ... + r2,n an )e2 + ...
... + (r0,k a0 ... rk1,k ak1 + rk,k+1 ak+1 + ... + rk,n an )ek + ...
... + (r0,n a0 r1,n a1 ... rn1,n an1 )en .
Assim,
(
Im(n ) =
yk ek ; yk =
ri,j R
ri,k ai +
i=0
06k6n
onde cada
k1
X
n
X
)
rk,j aj
(1.4)
j=k+1
e entendemos que
Pk1 r a = 0 se k = 0
i,k i
i=0
P
n
j=k+1 rk,j aj = 0 se k = n
Iniciemos a induo. Quando
Tomemos
p0 e0 + p1 e1 Ker(1 ).
n = 1,
temos
Im(1 ) = {r0,1 a1 e0 r0,1 a0 e1 ; r0,1 R}.
Por denio,
p0 a0 + p1 a1 = 0 p1 a1 = p0 a0 .
Como
a1
/ DZ(R/ha0 iR), ento p1 = r0,1 a0 , onde r0,1 R.
acima, temos
r0,1 a0 a1 = p0 a0 .
Como
a0
/ DZ(R),
Substituindo
segue que
p1
p0 = r0,1 a1 .
p0 e0 + p1 e1 = r0,1 a1 e0 r0,1 a0 e1 Im(1 ).
na equao
Portanto,
19
Suponhamos que o resultado vale para
Ker(n ).
n 1, onde n > 2.
Tomemos
p0 e0 + ... + pn en
Por denio,
p0 a0 + ... + pn an = 0 pn an = p0 a0 ... pn1 an1 .

Como
an
/ DZ(R/ha0 , ..., an1 iR),
segue que
pn = r0,n a0 ... rn1,n an1

onde
ri,n R
para
i = 0, ..., n 1.
Substituindo
pn
(1.5)
na equao acima e colocando os
a0i s
em evidncia, temos
(p0 r0,n an )a0 + ... + (pn1 rn1,n an )an1 = 0,

isto ,
(p0 r0,n an )e0 + ... + (pn1 rn1,n an )en1 Ker(n1 ).

Por hiptese,
(a0 , ..., an1 )
uma sequncia
R-regular.
Assim, por hiptese de induo,
(p0 r0,n an )e0 + ... + (pn1 rn1,n an )en1 Im(n1 ).

Por (1.4), para
06k 6n1
temos
pk rk,n an =
k1
X
n1
X
ri,k ai +
i=0
rk,j aj ,
j=k+1
isto ,
pk =
k1
X
n
X
ri,k ai +
i=0
onde cada
ri,j R
j=k+1
Pk1
i=0
Pn1
ri,k ai = 0
j=k+1 rk,j aj
=0
pk =
k1
X
i=0
ri,j R
ri,k ai +
k=0
se
se
Da segue, pela expresso que encontramos para
onde cada
rk,j aj
k =n1
pn
em (1.5) , que para
n
X
rk,j aj ,
j=k+1
Pk1 r a = 0 se k = 0
i,k i
i=0
P
n
j=k+1 rk,j aj = 0 se k = n
Novamente, por (1.4),
p0 e0 + ... + pn en Im(n ).
06k6n
temos
Captulo 2
Um Pouco de Geometria Algbrica
Neste captulo apresentaremos as denies e os resultados de Geometria Algbrica
necessrios para provarmos os
Teoremas E1 e E2 .
Denotaremos por:
i)
C[t0 , ..., tn ](m),
onde
homogneos de grau
ii)
i F ,
onde
m.
m > 0,
o subconjunto de
Assumimos que
F C[t0 , ..., tn ](m),
Na Seo
2.1
deniremos o
0 C[t0 , ..., tn ](m)
o polinmio
n-simo
C[t0 , ..., tn ]
formado pelos polinmios
para todo
m;
F
;
ti
espao projetivo sobre
C,
que denotaremos por
Pn .
Na Seo
de
Pn .
2.2 relacionaremos os ideais homogneos de C[t0 , ..., tn ] com os subconjuntos
Introduziremos uma topologia em
Pn
e deniremos variedades projetivas. Veremos
que estas se decompem em um nmero nito de subvariedades irredutveis maximais,

chamadas componentes irredutveis.
Na Seo
2.3
deniremos a dimenso topolgica de uma variedade projetiva e a rela-
cionaremos com a dimenso de anis vista na Seo

Na Seo
variedade
Tv V
2.4,
Tv V ,
dada uma variedade projetiva
chamada de espao tangente a
com a dimenso de
1.2.
V
em
e um ponto
v.
v V,
deniremos a
Relacionaremos a dimenso de
V.
Visando a prova dos
Teoremas E1
E2 ,
variedade projetiva uma hipersuperfcie.
20
analisaremos de perto o caso em que a
21
2.1
O espao pro jetivo
Tomemos
(p0 , ..., pn ), (q0 , ..., qn ) Cn+1 \ {O}.
so equivalentes se existe
numa mesma reta em
equivalncia
em
Diremos que
(p0 , ..., pn )
(q0 , ..., qn )
z C \ {0} tal que (p0 , ..., pn ) = z(q0 , ..., qn ), isto , se eles esto
Cn+1
que passa pela origem. De fato, isso dene uma relao de
Cn+1 \ {O}.
Segue a
Denio 2.1. Para n N>1 , denimos o n-simo espao projetivo sobre C por
Pn = Cn+1 \ {O} .
Denotamos por
Dizemos que
(p0 : ... : pn )
p0 , ..., pn
base cannica
so as
o ponto (a classe) em
coordenadas homogneas
{(1, 0, ..., 0), (0, 1, ..., 0), ..., (0, ..., 0, 1)}
Pn
do ponto
do ponto
de
(p0 , ..., pn ) 6= O.
(p0 : ... : pn )
relativas
Cn+1 .
Por denio, as coordenadas homogneas de um ponto de
Pn ,
relativas base can-
nica, s esto bem denidas a menos de um fator escalar no nulo. Alm disso, temos
que
(p0 : ... : pn ) = (q0 : ... : qn ) z C\{0}; (p0 , ..., pn ) = z(q0 , ..., qn ) pi qj = pj qi , i < j
Assim, se
pj 6= 0
(p0 : ... : pn ).
ento
qj 6= 0
qi
qj
Por isso usamos a notao
pi
.
pj
Isto , o valor
pi
est bem denido sobre
pj
:00 .
Observao 2.1. Pelas denies acima, segue que os pontos de Pn esto em correspondncia biunvoca com as retas em Cn+1 que passam por O.
Tomemos
Cn+1 ,
temos
F C[t0 , ..., tn ](d).
Notemos que, para quaisquer
F (zp0 , ..., zpn ) = z d F (p0 , ..., pn ).
z C
(p0 , ..., pn )
Assim,
F (p0 , ..., pn ) = 0 F (zp0 , ..., zpn ) = 0, z C \ {0}.

Isso signica que, apesar de no podermos denir o valor de
Pn
num ponto
(p0 : ... : pn )
(pois o valor pode depender das coordenadas homogneas), podemos perfeitamente
dizer se um ponto de
Pn
para a prxima seo.
raiz de
desde que
seja homogneo. Esse o pontap inicial
22
2.2
Variedades pro jetivas
Vimos no captulo anterior que, pelo
C[t0 , ..., tn ]
Teorema da base de Hilbert,
so nitamente gerados e que um ideal
de
C[t0 , ..., tn ]
todos os ideais de
dito
homogneo
se
ele puder ser gerado por elementos homogneos. Para este tipo de ideal faz sentido a
Denio 2.2. Seja I um ideal homogneo de C[t0 , ..., tn ]. Denimos o lugar dos zeros
de I em Pn por
Z(I) = {(p0 : ... : pn ) Pn ; F (p0 , ..., pn ) = 0, F I}.
De fato, se
I = hF1 , , Fs i,
Fi C[t0 , ..., tn ]
onde cada
homogneo, ento
Z(I) = {(p0 : ... : pn ) Pn ; F (p0 , ..., pn ) = 0, i}.

Chamamos esse tipo de subconjunto de
Pn
de
conjunto algbrico.
Proposio 2.1. Pn um espao topolgico declarando que os fechados so os conjuntos

algbricos. Chamamos essa topologia de Topologia de Zariski.
Demonstrao.
i)
{0}
Notemos que:
C[t0 , ..., tn ]
ii) Dados
I1 , ..., Im
so ideais homogneos;
ideais homogneos de
C[t0 , ..., tn ],
temos que o ideal
I1 ...Im
tambm
homogneo;
iii) Dada uma famlia qualquer
que o ideal
{I / }
de ideais homogneos de
C[t0 , ..., tn ],
temos
I tambm homogneo.
Mantendo essa notao, fcil concluirmos que:

i')
Z(0) = Pn
Z(R) = ;
Z(I1 ) ... Z(Im ) = Z(I1 ...Im );

T
P
iii')
Z(I ) = Z(
I ).
ii')
Da segue o resultado.
Temos assim uma aplicao sobrejetiva
n
ideais homogneos de
C[t0 , ..., tn ]
n
Conjuntos algbricos de
I 7 Z(I)
que, claramente, inverte a ordem.
Por outro lado,
23
Denio 2.3. Seja V um subconjunto de Pn . Denimos o ideal associado a V por

I(V ) = h{F C[t0 , ..., tn ]; F homogneo e F (v0 , ..., vn ) = 0, (v0 : ... : vn ) V }i.
I(V )
Por denio,
homogneo.
Assim, temos uma nova aplicao
n
Subconjuntos de
n
ideais homogneos de
C[t0 , ..., tn ]
7 I(V )
que, claramente, tambm inverte a ordem.

Qual a relao entre essas aplicaes?
Denio 2.4. Dado um ideal I de R, denimos o radical de I por
I = {F C[t0 , ..., tn ]; F m I para algum m N}.
fcil vericar que
ento
tambm .
um ideal de
claro que
I.
C[t0 , ..., tn ].
Alm disso, Se
Dizemos que
um
homogneo
ideal radical
quando
I = I.
Exemplo 2.1. Sejam F C[t0 , ..., tn ]. Seja F = F1k1 ... Frkr a decomposio de F em
p
fatores irredutveis no associados. Ento hF m i = hF1 ...Fr i, m N>0 . (Obs. se F
homogneo ento cada Fi homogneo). claro que todo ideal primo de C[t0 , ..., tn ]
radical.
Observemos que:
no pode ser injetivo, pois, para qualquer

Z
I , mas nem sempre temos I = I .
i)
ii)
ideal
de
C[t0 , ..., tn ],
no pode ser sobrejetivo, pois, para qualquer subconjunto
de
temos que
Pn ,
Z(I) =
temos que
um ideal radical.
De fato, temos
Teorema 2.1
(Teorema dos zeros projetivo de Hilbert=TZH)
ideais homogneos e radicais de

n
o
Conjuntos algbricos de Pn
C[t , ..., t ], exceto ht , ..., t i
0
7 I(V )
uma bijeo, cuja inversa dada por

Z(I) [ I
I(V )
24
Demonstrao.
Consulte [Mum99], pgina
8.
Este resultado nos fornece uma importante relao entre a Geometria e a lgebra.
Observemos que o ideal
ht0 , ..., tn i teve que ser eliminado acima porque Z(t0 , ..., tn ) =
I(Z(t0 , ..., tn )) = C[t0 , ..., tn ] 6= ht0 , ..., tn i. Alm disso, pelo teorema e do
fato que Z(I) = Z( I), para qualquer ideal homogneo I de C[t0 , ..., tn ], temos que
I(Z(I)) = I .
Assim,
A partir de agora chamamos os fechados de

mente
Pn
de
variedades projetivas
ou simples-
variedades.
Denio 2.5. Seja V Pn uma variedade. Se I(V ) = hF i com F C[t0 , ..., tn ](d)\{0},
d > 0, ento dizemos que V uma hipersuperfcie de grau d. Em particular, quando d = 1,
dizemos que V um hiperplano.
Observemos que o grau de
G = zF ,
Seja
com
est bem denido, pois se
I(V ) = hF i = hGi
ento
z C \ {0}.
F C[t0 , ..., tn ] \ C
homogneo. Seja
F = F1k1 ... Frkr
uma decomposio de
em fatores irredutveis no associados. Ento, pelo Exemplo 2.1 e pelo

uma hipersuperfcie e
T ZH , V = Z(F )
deg(V ) = deg(F1 ) + ... + deg(Fr ).
Observemos que a variedade projetiva

duas subvariedades prprias:
Z(t0 )
Z(t0 t1 ) P2
Z(t1 ).
pode ser escrita como a unio de
Mas no podemos fazer o mesmo com essas
duas variedades.
Denio 2.6. Seja V Pn uma variedade projetiva. Dizemos que V redutvel se ela
unio prpria de duas subvariedades projetivas; irredutvel caso contrrio.
Exemplo 2.2. Seja V = Z(F ) Pn . Ento V irredutvel se e s se F irredutvel.
Proposio 2.2. Seja V Pn uma variedade projetiva. Ento:
i) V uma unio nita de subvariedades projetivas;
ii) Suponhamos que V = V1 ... Vr , onde cada Vi uma subvariedade irredutvel e
Vi * Vj para i 6= j . Ento {V1 , ..., Vr } nico. Chamamos essas subvariedades de V de
componentes irredutves de V .
Demonstrao.
i)
Faamos induo noetheriana.
25
Se
Se
V1
V
e
irredutvel, acabou. Se no,
V2
so irredutveis, acabou.
subvariedades prprias, digamos:
V = V1 V2 ,
V1 , V2
com
subvariedades prprias.
Se no, pelo menos uma delas unio de duas
V1 = V11 V12
ou
V2 = V21 V22 .
O processo segue com
a anlise dessas novas subvariedades.

Para concluir o que queremos temos que vericar que esse processo para, isto , que
em algum momento chegamos em subvariedades irredutveis.
Suponha por absurdo que o processo no para. Ento teremos uma sequncia decrescente no estacionria, digamos,
V ) V1 ) V11 ) ... ) V(m) ) ...

de variedades projetivas. Assim, pelo
T ZH ,
teremos uma sequncia crescente no estaci-
onria

I(V ) ( I (V1 ) ( I (V11 ) ( ... ( I V(m) ( ...
de ideais de
C[t0 , ..., tn ].
Mas
C[t0 , ..., tn ]
noetheriano pelo teorema da base de Hilbert.
Contradio.
Demonstrao.
ii)
Suponhamos que
V = V1 ... Vr = W1 ... Ws ,
Vi , Wi
onde cada
i {1, ..., r}.
uma subvariedade irredutvel e
Vi * Vj , Wi * Wj
para
i 6= j .
Fixemos
Temos que
Vi = (Vi W1 ) ... (Vi Ws ).

Como
Vi
Wk Vj
Wk = Vi .
irredutvel, segue que

para algum
j.
Como
Vi Wk
Vi * Vj
para
para algum
i 6= j
k.
Analogamente, temos que
Vi Wk Vj ,
segue que
j = i,
isto ,
Esse o passo fundamental. O resultado segue por induo.
Observemos que, na prova do item (ii), vericamos que: se

irredutvel de
ento
vericamos que: se
irredutvel
Vi
de
qualquer subvariedade
est contido em alguma componente irredutvel de
uma subvariedade irredutvel de
ento
V.
Tambm
que contem uma componente
W = Vi .
Vamos ver o conceito de irredutibilidade do ponto de vista algbrico.
26
Proposio 2.3. Seja V Pn uma variedade projetiva no vazia. Ento V irredutvel

se e s se I(V ) primo.
Demonstrao.
I(V )
Suponhamos que
F G I(V ).
Mostremos que
irredutvel. Sejam
F I(V ).
F, G C[t0 , ..., tn ]
tais que
G
/
Escrevamos
F = F0 + ... + Fd , G = G0 + ... + Ge
Fi , Gj C[t0 , ..., tn ]
onde
generalidade, que
Ge
/ I(V )
a parte homognea de
I(V )
so homogneos de graus
(caso contrrio, trocamos
homogneo, assim, pelo Lema 1.4,
ento
Fd Ge I(V ).
Pelo
irredutvel, segue que
Como
Ge
/ I(V ),
I(V )
Z(Fd ) V
segue que
Agora suponhamos que
V1 , V2
ou
Fd I(V ).
I(V )
I(V )
= G0 + ... + Ge,
G
I(V )).
onde
contem um polinmio se e s se contem
Fd Ge
Z(Ge ) V ,
Subtraindo
V.
F2 I(V2 ) \ I(V ).
Assim,
Ge
Lembremos que
o termo de mais alto grau de
isto ,
Fd
de
pertence a
Fd I(V )
ou
Ge I(V ).
I(V ).
V = V1 V2 ,
I(V1 ) ) I(V ) e I(V2 ) ) I(V ).
Temos que
Como
e repetindo o argumento,
primo. Suponhamos por absurdo que
subvariedades prprias de
F1 I(V1 ) \ I(V )
por
T ZH , Z(Fd ) Z(Ge ) = Z(Fd Ge ) Z(I(V )) = V .
teremos que cada componente homognea de
com
Podemos supor, sem perda de
de mais alto grau que no pertence a
todas as partes homogneas desse polinmio. Como
F G,
i, j .
Tomemos
F1 F2 I(V1 V2 ) = I(V ).
Assim,
no primo. Contradio.
Exemplo 2.3. Temos que:

i) Pn irredutvel, pois I(Pn ) = h0i;
ii) Seja F C[t0 , ..., tn ] \ C homogneo. Seja F = F1k1 ... Frkr uma decomposio de
F em fatores irredutveis no associados. Seja V = Z(F ). Ento Z(F1 ), ..., Z(Fr ) so as
componentes irredutveis de V . Ou seja, as componentes irredutveis de uma hipersuperfcie so hipersuperfcies.
Na pgina 5, vimos a denio de divisor primo minimal de um ideal. No caso de
ideais homogneos, temos que
Proposio 2.4. Seja I C[t0 , ..., tn ] um ideal prprio homogneo. Ento todos os
divisores primos minimais de I so homogneos.
Sua prova segue diretamente do
27
Lema 2.1. Seja Spec(C[t0 , ..., tn ]). Seja h o ideal de C[t0 , ..., tn ] gerado pelos elementos homogneos de . Ento h primo.
Demonstrao.
F h .
Sejam
F, G C[t0 , ..., tn ]
tais que
G
/
h e
FG
h .
Mostremos que
Escrevamos
F = F0 + ... + Fd , G = G0 + ... + Ge
onde
Fi , Gj C[t0 , ..., tn ]
generalidade, que
gneo, ento
Fd
Ge
/ h .
Fd Ge
h . Subtraindo
homognea de
so homogneos de graus
Fd
Como
.
de
Fd Ge
Ge
/
i, j .
Podemos supor, sem perda de
o termo de mais alto grau de
, pois
Ge
/
h . Assim,
Fd
FG
e h homo-
, consequentemente,
e repetindo o argumento, teremos que cada componente
pertence a h .
Necessariamente, se um divisor primo minimal de um ideal homogneo

que
I h .
Por denio e pelo lema acima, segue que h
Na prova do
Teorema E1 utilizaremos o seguinte resultado:
I,
temos
= .
Proposio 2.5. Seja V Pn uma variedade no vazia. Ento as componentes

irredutveis de V esto em correspondncia biunvoca com os divisores primos minimais
de I(V ).
Demonstrao.
I(V )
Notemos que, pela ltima proposio, os divisores primos minimais de
so homogneos.
V1 , ..., Vr
as componentes irredutveis de
V.
Pelo
T ZH ,
um divisor primo minimal de
I(V )
para
ii) Se um divisor primo minimal de
I(V )
ento
i)
I(Vi )
Lembremos tambm que todo ideal primo radical.
Fixemos
i {1, ..., r}.
I(Vi ) Spec(C[t0 , ..., tn ]).

I(Vi ).
Pelo
Z(') = Vi .
Pelo
T ZH ,
'
1 6 i 6 r;
T ZH .
= I(Vi )
para algum
V Vi ,
Tomemos ' um divisor primo minimal de

Pela Proposio 2.3,
Z(')
i.
temos que
I(V )
I(V )
tal que '
irredutvel.
Ento
= I(Z(')) = I(Vi ).
Agora tomemos um divisor primo minimal de

podemos armar que
devemos mostrar que:
Pela Proposio 2.3 e do fato que
T ZH , V Z(') Vi .
Sejam
Z() Vj
Pela minimalidade,
para algum
= I(Vj ).
j.
I(V ).
Assim,
Como feito acima para ',
= I(Z()) I(Vj ) I(V ) pelo
28
2.3
Dimenso das variedades pro jetivas
Seja
V Pn
uma variedade no vazia. Consideremos
topologia induzida por

de
Pn
Pn .
Como
que esto contidos em
um espao topolgico com a
um fechado, ento os fechados em
so os fechados
V.
Denio 2.7. Denimos a dimenso de Krull ou simplesmente a dimenso de V por

dim(V ) = sup{k N; existe ( V0 ( ... ( Vk , com Vi fechado irredutvel de V , i}.
Denimos a codimenso de V por

codim(V ) = sup{k N; existe V = V0 ( ... ( Vk = Pn , com Vi fechado irredutvel, i}.
Dizemos que V uma curva quando dim(V ) = 1.

Convencionamos
dim() = 1.
Por denio, se
V = V1 ... Vk
ento
dim(V ) = maxi {dim(Vi )}.
a decomposio de
Alm disso, desde que
em componentes irredutveis
Pn
um espao topolgico
noetheriano (isto , no contem cadeias descendentes innitas de fechados), temos que
dim(V )
nita para toda variedade
V Pn .
Essa denio de dimenso puramente topolgica.
dim(V )
dim(I(V )).
Vejamos qual a relao entre
(Este ltimo foi denido na pgina 5).
Proposio 2.6. Seja V Pn uma variedade no vazia. Ento dim(V ) = dim(I(V ))1.
Demonstrao.
Suponhamos por enquanto que
irredutvel. Seja
d = dim(V ).
Tome-
mos uma cadeia
( V0 ( ... ( Vd = V
de fechados irredutvies de
V.
Pelo
T ZH
e pela Proposio 2.3, temos que
I(V ) = I(Vd ) ( ... ( I(V0 ) ( ht0 , ..., tn i

uma cadeia de primos. Assim,
dim(I(V )) > d + 1.
No possvel inserir um ideal primo
diferente nessa cadeia, pois, caso contrrio, poderamos estender a primeira cadeia, o que
impossvel. Como o ideal
que
ht0 , ..., tn i
maximal, podemos concluir, pela Proposio 1.2,
dim(I(V )) = d + 1.
No caso em que
temos que
V = V1 ... Vr
a decomposio de
em componentes irredutveis,
dim(V ) = maxi {dim(Vi )} = maxi {dim(I(Vi ))1} = maxi {dim(I(Vi ))}1 =
dim(I(V )) 1,
onde a ltima igualdade decorre da Proposio 2.5.
29
Corolrio 2.1. Seja V Pn uma variedade irredutvel no vazia. Seja d = dim(V ).

Ento a cadeia ( V0 ( ... ( Vk = V formada por fechados irredutveis de V maximal
(isto , no existe uma cadeia de fechados irredutveis no vazios de V de comprimento
maior que k que contenha Vi para cada i) se e s se k = d.
Demonstrao.
Segue das Proposies 1.2 e 2.6.
Denio 2.8. Seja V Pn uma variedade no vazia. Dizemos que V tem dimenso
pura d se todas as suas componentes irredutveis tm dimenso d.
i) dim(Pn ) = n. (Isso decorre do Exemplo 1.1);
ii) Seja V Pn . Ento V uma hipersuperfcie se e s se V tem dimenso pura n 1.
(Isso decorre dos Exemplos 1.1, 1.2 e 2.3 e do Corolrio 1.1);
iii) Em P2 , hipersuperfcies e curvas de dimenso pura 1 so a mesma coisa. (Isso decorre
das denies e do item (ii));
iv) Seja V Pn . Ento dim(V ) = 0 se e s se V consiste de um nmero nito de pontos.
(Porque um ponto de Pn uma variedade irredutvel de dimenso 0 e toda variedade tem
um nmero nito de componentes irredutveis).
Uma pergunta importantssima em Geometria Algbrica : o que podemos armar
sobre a dimenso da interseo entre duas variedades projetivas?
Vejamos agora alguns resultados sobre isso.
ideal principal de Krull (consulte [Kun85], pgina
O primeiro derivado do teorema do
132).
Proposio 2.7. Seja V Pn uma variedade irredutvel de dimenso d. Seja H Pn

uma hipersuperfcie. Se V H 6= e V * H , ento cada componente irredutvel de V H
tm dimenso d 1.
Demonstrao.
Consulte a pgina
132
de [Kun85], proposio
3.2.
Proposio 2.8. Sejam V, W Pn variedades quaisquer com dim(V ) + dim(W ) > n.

Ento V W 6= .
Demonstrao.
Consulte [Kun85], pgina
134.
Corolrio 2.2. Seja V Pn uma variedade com dimenso d > 1. Seja H Pn uma
hipersuperfcie. Sejam F0 , ..., Fn C[t0 , ..., tn ] \ C homogneos. Ento, combinando as
30
duas proposies acima, temos que:

i) Suponha que V irredutvel. Ento V H tm dimenso pura d 1 se e s se V * H ;
ii) dim(V H) = d 1 se e s se H no contem qualquer componente irredutvel de V
de dimenso d;
iii) Para 0 6 i 6 n, cada componente irredutvel de Z(F0 , ..., Fi ) tm dimenso pelo menos
n i 1. Em particular, Z(F0 , ..., Fn1 ) 6= ;
iv) Para 0 6 i 6 n, se Z(F0 , ..., Fi ) tem dimenso pura n i 1 ento Z(F0 , ..., Fi1 )
tem dimenso pura n i. (Obs. Se i = 0, convencionamos Z(F0 , ..., Fi1 ) = Pn ). Em
particular, se Z(F0 , ..., Fn ) = ento Z(F0 , ..., Fi ) tem dimenso pura n i 1 para
0 6 i 6 n.
Seja
V Pn
uma variedade de dimenso
ser gerado por menos de

que
uma
n k.
polinmios. Quando
interseo completa.
Ento, pelo item (iii),
I(V )
gerado por
I(V ) no pode
elementos dizemos
Toda variedade projetiva no vazia cujo ideal associado
gerado pelos elementos de uma sequncia
R-regular
uma interseo completa.
Isso
segue da
Proposio 2.9. Sejam F1 , ..., Fd C[t0 , ..., tn ] homogneos. Se (F1 , ..., Fd ) uma sequncia C[t0 , ..., tn ]-regular ento dim(Z(F1 , ..., Fd )) = n d.
Demonstrao.
Consulte [CLO07], pgina
464.
De fato, veremos que o passo fundamental para a prova do
Teorema E1
ser a
recproca dessa proposio.

J sabemos qual o grau de uma hipersuperfcie em
Pn
e, para as provas dos
Teo-
remas E1 e E2 , no necessrio sabermos o conceito de grau de outras variedades.
Por
isso, no abordaremos esse conceito neste trabalho. No entanto, no prximo captulo, diremos o grau de algumas variedades que no so hipersuperfcies. Nesses casos, daremos
referncias que justiquem o valor informado. No caso das intersees completas, temos
que
Proposio 2.10. Seja V Pn uma variedade no vazia. Sejam F1 , ..., Fd C[t0 , ..., tn ]
homogneos tais que I(V ) = hF1 , ..., Fd i. Se (F1 , ..., Fd ) uma sequncia C[t0 , ..., tn ]regular ento
deg(V ) = deg(F1 ) ... deg(Fd )
Demonstrao.
Consulte [CLO07], pgina
465.
31
2.4
O espao tangente
Denio 2.9. Seja V Pn uma variedade projetiva no vazia. Suponhamos que I(V ) =
hF1 , , Fr i, onde cada Fi C[t0 , ..., tn ] homogneo. Para v = (v0 : ... : vn ) V ,
denimos o Espao Tangente a V em v como a variedade projetiva em Pn dada por
Tv V = Z
n
X
i F1 (v0 , ..., vn )ti , ...,
i=0
n
X
!
i Fr (v0 , ..., vn )ti .
i=0
Observemos que a denio acima coerente, pois:
F C[t0 , ..., tn ](d), d > 1. Sejam v0 , ..., vn coordenadas homogneas de v Pn . EnPn

Pn
d1
to, z C\{0}, temos que Z(
i=0 i F (z(v0 , ..., vn ))ti ) = Z(z
i=0 i F (v0 , ..., vn )ti ) =
Pn
Z( i=0 i F (v0 , ..., vn )ti );
P
P
ii)
O
ideal
h ni=0 i F1 (v0 , ..., vn )ti , ..., ni=0 i Fr (v0 , ..., vn )ti i igual ao ideal
P
h ni=0 i F (v0 , ..., vn )ti ; F I(V ) homogneoi .
i) Seja
Abusando da notao, escreveremos simplesmente
Tv V = Z
n
X
i F1 (v)ti , ...,
i=0
n
X
!
i Fr (v)ti .
i=0

i) Para cada v Pn , Tv Pn = Pn ;
ii) Seja V Pn uma hipersuperfcie. Tomemos F C[t0 , ..., tn ] homogneo tal que
P
I(V ) = hF i. Ento, para cada v V , Tv V = Z ( ni=0 i F (v)ti );
iii) Sejam W V Pn variedades. Ento, para cada v W , Tv W Tv V .
Vamos agora discutir sobre a dimenso do espao tangente.
Proposio 2.11. Seja V Pn uma variedade irredutvel no vazia. Ento existe um

nmero s N tal que dim(Tv V ) > s para cada v V . Alm disso, os pontos w V tais
que dim(Tw V ) > s formam uma subvariedade prpria W V , isto , uma subvariedade
de dimenso menor.
Demonstrao.
Consulte [Sha94], pgina
A partir disso, na pgina
93,
92.
[Sha94] d a seguinte
Denio 2.10. Seja V Pn uma variedade irredutvel. Seja s = minvV {dim(Tv V )}.
Dizemos que um ponto v V no singular se dim(Tv V ) = s. V dita suave se todos
os seus pontos so no singulares. Se v V e dim(Tv V ) > s, dizemos que v um ponto
singular.
32
Mantendo a notao dessa denio, [Sha94], ainda na pgina
93,
demonstra que
Teorema 2.2. A dimenso do espao tangente em um ponto no singular igual a dimenso da variedade.
Conclumos que, para uma variedade projetiva irredutvel
para cada
v V.
V , dim(Tv V ) > dim(V )
Essa concluso no sempre verdadeira quando a variedade redutvel.
O caso das variedades projetivas redutveis tambm tratado por [Sha94]. Primeiro, na
pgina
94,
ele d a seguinte
Denio 2.11. Seja V Pn uma variedade. A dimenso de V em um ponto v, denotada

por dimv (V ), o mximo das dimenses das componentes irredutveis de V contendo v .
Depois, denotando por
V i,
passam por um ponto xado
para
vV
i = 1, ..., r,
as componentes irredutveis de
que
e utilizando o Teorema 2.2, ele prova que

dim(Tv V ) > maxi dim(Tv V i ) > maxi dim(V i ) = dimv (V ).
Ele naliza com uma nova
Denio 2.12. Seja V Pn uma variedade. Dizemos que um ponto v V no

singular se dim(Tv V ) = dimv V . Uma variedade V suave se todos os seus pontos so
no singulares.
Notemos que, quando
irredutvel,
dimv (V ) = dim(V )
essa nova denio equivale a anterior quando
para cada
v V.
Assim,
irredutvel.
Olhemos mais de perto o caso das hipersuperfcies. Primeiro veriquemos o seguinte
Lema 2.2 (frmula de Euler). Seja F C[t0 , ..., tn ](d). Ento dF =

Demonstrao.
Pn
i=0
i F ti .
Como ambos os membros da igualdade so lineares como funes de
suciente vericarmos quando
F,
um monmio, o que imediato.
Proposio 2.12. Seja V Pn uma hipersuperfcie. Seja F C[t0 , ..., tn ](d) tal que
I(V ) = hF i. Ento:
i) v V , v Tv V ;
ii) Z (0 F, , n F ) Z(F );
iii) V suave se e s se Z(0 F, ..., n F ) = ;
iv) Suponhamos que n > 2. Se V suave ento F irredutvel.
33
Demonstrao.
Para cada
P
v V , Tv V = Z ( i i F (v)ti ).
(i)
Assim,
(ii)
seguem da
frmula de Euler.
O item
(iii)
segue: do item anterior, do Exemplo 2.4 e do fato que
Pn se e s se v Z( F, , F )
0
n
Tv V =
uma hiperplano caso contrrio
Para mostrarmos
tantes.
Como
temos que
(iv),
n > 2,
suponhamos, por absurdo, que
pelo Corolrio 2.2, existe
i F = Hi G + Gi H .
Contradio com a hiptese.
Assim,
F = GH ,
com
v Z(G, H) V .
v Z(0 F, ..., n F ).
Por
G, H
Para
(iii), V
no cons-
0 6 i 6 n,
no suave.
Captulo 3
Campos Vetoriais Sobre Pn E
Hipersuperfcies Invariantes
Concluiremos o trabalho demonstrando os
Na seo
bre
Cn+1 .
3.1
recordaremos a denio de um campo de vetorial polinomial
so-
Mostraremos que quando esse campo homogneo ele induz um campo
Pn .
com singularidades sobre
um campo vetorial sobre
Pn .
Por um abuso de linguagem, diremos que
Diremos que o grau de
campos homogneos de mesmo grau distintos sobre
X.
Inicialmente o veremos como um mapa e depois como uma derivao sobre
(C[t0 , ..., tn ], +).

de retas
Teoremas E1 e E2 .
Deniremos variedades integrais de

Na seo
Cn+1
o grau de
Veremos que
podem induzir o mesmo campo
e analisaremos alguns exemplos.
Seja X um campo vetorial de
3.2
apresentaremos a questo de H. Poincar:
grau m sobre P2 . Ser possvel limitarmos o grau das curvas planas deixadas invariantes
por X atravs de m?.
Veremos que, em geral, a resposta no e analisaremos alguns
exemplos.
Na seo
3.3
demonstraremos os
Teoremas E1 e E2 .
Para isso, utilizaremos vrios
resultados dos captulos anteriores, principalmente do Captulo

o
Teorema E2
1.
Encerraremos aplicando
para mostrarmos que possvel limitarmos o grau das curvas em
invariantes por um campo
atravs do grau de
hipersuperfcies suaves invariantes por
X.
34
Pn
quando esta interseo completa de
35
3.1
Campos vetoriais sobre
Iniciemos recordando sobre campos em
Pn
Cn+1 .
Denio 3.1. Um campo vetorial polinomial ou simplesmente um campo vetorial sobre

Cn+1 um mapa
= (G0 , ..., Gn ) : Cn+1
Cn+1
p = (po , ..., pn ) 7 (p) = (G0 (po , ..., pn ), ..., Gn (po , ..., pn ))
onde cada Gi C[t0 , ..., tn ]. Tal campo dene uma EDO autnoma (isto , que no
depende do tempo): x = (x). Quando, para todo i, Gi C[t0 , ..., tn ](m), dizemos que
um campo vetorial homogneo de grau m.
Denotamos por
CV
o conjunto dos campos vetoriais sobre
conjunto dos campos vetoriais homogneos de grau
m.
Cn+1
e por
Ambos so, naturalmente,
espaos vetoriais. Veremos agora que tais campos podem ser tratados como
Dados
G0 , ..., Gn C[t0 , ..., tn ],

Pn
i=0
CV (m)
C-
derivaes.
temos que o mapa
Gi i : (C[t0 , ..., tn ], +)
(C[t0 , ..., tn ], +)
n
X
F 7
Gi i F
i=0
uma
derivao C-linear sobre C[t0 , ..., tn ], isto ,
grupo sobre
(C[t0 , ..., tn ], +)
Pn
i=0
tal que, para quaisquer
Gi i
dene um endomorsmo de
F1 , F2 C[t0 , ..., tn ]
z C,
que:
P
P
Gi i (F1 F2 ) = F1 ni=0 Gi i F2 + F2 ni=0 Gi i F1 ;
Pn
Pn
i=0 Gi i (zF1 ) = z
i=0 Gi i F1 .
i) regra de Leibniz:
ii)
C-linearidade:
Pn
i=0
(Para mais informaes sobre derivao, consulte [Eis95], pgina
385).
Pn
D(m) := { i=0 Gi i ; Gi C[t0 , ..., tn ](m)}.

Pn
Pn
0
Dados
i=0 Gi i ,
i=0 Gi i D(m) e z C, denimos
Seja
n
X
Gi i +
n
X
i=0
Claramente,
D(m)
G0i i
i=0
um
n
X
(Gi +
G0i )i e
i=0
C-espao
n
X
Gi i =
i=0
vetorial. Notemos que o mapa
: CV (m)
= (G0 , ..., Gn ) 7
D(m)
n
X
i=0
Gi i
n
X
i=0
zGi i .
temos
36
claramente uma aplicao
0,
Pn
ento
Gj =
i=0
Pn
i=0
Gi i F = 0
Gi i tj = 0.
Chamaremos
E=
C-linear sobrejetora.
para todo
Logo,
F R.
Alm disso, se
= (G0 , ..., Gn ) e () =
Em particular, tomando
F = tj ,
temos que
um isomorsmo.
Pn
i=0 ti i de campo radial (ou de Euler).
Denio 3.2. Seja CV . Dizemos que um ponto p Cn+1 uma singularidade

ou um ponto singular de se (p) = O; regular caso contrrio. Quando p regular,
dizemos que O(p) a direo dada por em p. Denotamos por Sing() o conjunto das
singularidades de . As solues de x = (x) so chamadas de solues, trajetrias ou
curvas integrais de .
Seja
= (G0 , ..., Gn ) CV (m).
Seja
(p0 , ..., pn ) Cn+1 .
Ento,
z C \ {0},
temos
que
(G0 (zpo , ..., zpn ), ..., Gn (zpo , ..., zpn )) = z m (G0 (po , ..., pn ), ..., Gn (po , ..., pn )).
Assim, o mapa
= (G0 , ..., Gn ) : Pn
99K
Pn
p = (po : ... : pn ) 7 (p) = (G0 (po , ..., pn ) : ... : Gn (po , ..., pn ))

est bem denido em
Pn \ Z(G0 , ..., Gn ).
Se
(p) 6= p
ento podemos falar na reta em
Pn
denida por esses pontos, que dada por:
`(p) = {(rp0 + sG0 (p) : ... : rpn + sGn (p)); (r : s) P1 }.

Dessa forma, um campo vetorial homogneo sobre
Pn ,
Cn+1
induz um
campo de retas
sobre
possivelmente com singularidades.
Denio 3.3. Um campo vetorial X de grau m sobre Pn um campo de retas sobre Pn

P
induzido por um campo homogneo = ni=0 Gi i de grau m sobre Cn+1 . Dizemos que a
reta `X(p) := `(p) , denida acima, a direo dada por X em p. Os pontos em Pn para
os quais o mapa ou a direo no est denido so chamados de singularidades de X .
Denotamos por Sing(X) o conjunto de singularidades de X .
Semelhante ao problema de EDO associado a um campo sobre
rar curvas algbricas
em
Pn
que satisfaam: para cada
Cn+1 , podemos procu-
p C \Sing(X), `X(p) Tp C .
37
diferena que em
Cn+1
Pn
tinhamos as velocidades, os vetores tangentes, mas em
temos
apenas as retas tangentes.

Acima, escrevemos a expresso: possivelmente com singularidades.
um campo vetorial
X de
Pn
ele for induzido por
grau
i=0
Gi i
Pn
Sing(X) = Pn .
Seja
Se a matriz
M,
de
ento
isto , as retas em
Cn+1
Pn
i=0
Pn
i=0
ai i .
Se
ai = 0
para todo
o campo
i,
Sing(X)
ento
Sing(X) = {(a0 : ... : an )}.

1 sobre Pn , digamos induzido por = (G0 , ..., Gn ).
uma variedade projetiva em
Gi i CV (m).
M =
Sing(X) = Z ,
#Sing(X) =
so os auto-espaos
M.
que passam pela origem e que so invariantes por
da matriz
Ento
so gerais, ento
M = [j Gi ]06i,j6n invertvel ento as singularidades de X
induzido por
22
Gi
Alm disso, se
[NS97], pgina 71). Por exemplo, tomemos
um campo vetorial de grau
Observemos agora que
sempre tem singularidades.
induzido por
ai 6= 0
Se algum
Pn
e esses polinmios
mn + mn1 + ... + m + 1 (consulte

vetorial de grau zero sobre
sobre
Mas, de fato,
Seja
t0
...
Pn .
Suponhamos que
o lugar dos zeros em
tn
G0 . . . Gn
Pn
dos menores
ou
p = (p).
pois
p = (p0 : ... : pn ) Z pi Gj (p) = pj Gi (p), i < j p Z(G0 , ...Gn )

Ainda que um campo homogneo sobre
Cn+1
seja no nulo, ele pode induzir sobre
Pn
um campo totalmente singular. De fato, temos que
Proposio 3.1. Seja X o campo vetorial de grau m sobre Pn induzido por = ni=0 Gi i .
Ento Sing(X) = Pn se e s se = F E , onde F C[t0 , ..., tn ](m 1) (convencionemos
F = 0 se m = 0).
P
Demonstrao.
Suponhamos que
ento, novamente,
Gi = 0, i,
Sing(X) = Pn .
pois, se algum
apenas uma singularidade. Suponhamos que

sem perda de generalidade, que
t0 Gi = ti G0
existe
em
C[t0 , ..., tn ], i.
F C[t0 , ..., tn ](m 1)
Suponhamos agora que

em
C[t0 , ..., tn ], i < j .
G0 6= 0.
nulo ento
no nulo e que
C[t0 , ..., tn ]
Gi = F ti , i.
m > 1.
Sing(X) = Pn .
Se
m=0
teria
Podemos supor,
Z(t0 Gi ti G0 ) = Pn , i,
isto ,
um domnio fatorial, segue que
Donde segue o resultado.
= F E , onde F C[t0 , ..., tn ](m1).
Logo
= 0E .
fosse uma constante no nula,
Devemos ter
Desde que
tal que
Gi
Se
Ento ti F tj tj F ti
=0
38
Campos homogneos de mesmo grau e distintos sobre

campo de retas sobre
Pn
Cn+1
podem induzir o mesmo
como mostra a seguinte
Proposio 3.2. Seja X o campo vetorial de grau m sobre Pn induzido por = ni=0 Gi i .
Seja z C \ {0}. Seja F C[t0 , ..., tn ](m 1) (convencionemos F = 0 se m = 0). Ento
o campo vetorial 0 = z + F E de grau m sobre Cn+1 tambm induz X .
P
Demonstrao.
Chamemos de
Sing(Y ) = Sing(X)
dos zeros em
Pn
e que
o campo sobre
Pn
induzido por
`Y (p) = `X(p) , p
/ Sing(Y ).
dos menores
22
M 0 =
0.
Sabemos que
Mostremos que
Sing(Y )
o lugar
da matriz
t0
...
tn
zG0 + F t0 . . . zGn + F tn
i < j , Z(ti (zGj + F tj ) tj (zGi + F ti )) = Z(z(ti Gj tj Gi )) = Z(ti Gj tj Gi ).
Assim
Sing(Y ) = Sing(X).
Tomemos
p
/ Sing(Y ).
Temos que:
`X(p) = {(rp0 + sG0 (p) : ... : rpn + sGn (p)); (r : s) P1 }

Tomemos
Logo,
r = F (p), s = z .
Assim
0 (p) = (F (p)p0 +zG0 (p) : ... : F (p)pn +zGn (p)) `X(p) .
`Y (p) = `X(p) .
Observao 3.1. Sejam , 0 como acima. Seja p Pn \ Sing(X). Apesar de estarem

bem denidos os pontos (p) e 0 (p), no podemos armar que eles so iguais, mas apenas
que eles e o ponto p so colineares em Pn . Por exemplo, consideremos os campos vetoriais
homogneos = t0 0 + t0 1 , 0 = + E sobre Cn+1 . Seja p = (1 : 0 : ... : 0). Ento
p
/ Sing(X), mas (p) = (1 : 1 : 0 : ... : 0) 6= (2 : 1 : 0 : ... : 0) = 0 (p).
Analogamente a denio de curva integral de um campo vetorial sobre
Cn+1 ,
temos
a seguinte
Denio 3.4. Seja X um campo vetorial de grau m sobre Pn . Seja V Pn uma

variedade projetiva (curva). Dizemos que V uma variedade integral (curva integral) de
X quando X|V dene um campo de retas sobre V , isto , quando `X(v) Tv V para cada
v V \ Sing(X). Tambm dizemos que X deixa V invariante.
Essa denio apenas geomtrica. Algebricamente veremos que
invariante por
se e s se o seu ideal associado invariante pelo campo (derivao) que induziu
isso usamos a nomenclatura: X deixa
invariante.
X.
Por
39
Proposio 3.3. Seja V Pn uma variedade projetiva. Seja X o campo vetorial sobre
P
P
Pn induzido por = i Gi i . Ento X deixa V invariante se e s se i Gi i F I(V ),
F I(V ).
Demonstrao.
I(V ) = hF1 , ..., Fk i. Vimos

P
P
v = (v0 : ... : vn ) V , Tv V = Z ( i i F1 (v)ti , ..., i i Fk (v)ti ).
Suponhamos que
na pgina 31 que, para
() Como I(V ) = hF1 , ..., Fk i, ento, pela regra de Leibniz, suciente mostrarmos
P
P
que
i Gi i Fj I(V ) para 1 6 j 6 k . Isso ocorre se
i Gi i Fj = 0 em V para 1 6 j 6 k .
Para
v V \ Sing(X),
v V Sing(X),
temos que
temos que
ambos os casos, que
(v) = (G0 (v) : ... : Gn (v)) Tv V ,
v Z(G0 , ..., Gn )
Gi (v)i Fj (v) = 0
() Se V Sing(X), acabou.
denidos o ponto
em
Pn .
Como
(v)
e a reta
v Tv V ,
para
ou
(v) = v .
Como
enquanto que para
v Tv V ,
temos, em
1 6 j 6 k.
Se no, tomemos
v V \ Sing(X).
Assim, esto bem
`X(v) = {(rv0 + sG0 (v) : ... : rvn + sGn (v)); (r : s) P1 }

`X(p) Tv V , basta mostrarmos que
P
que
i Gi i Fj I(V ) para 1 6 j 6 k .
para vericarmos que
(v) Tv V . Por hiptese, temos, em particular,

P
Assim,
i i Fj (v)Gi (v) = 0 para 1 6 j 6 k . Portanto, (v) Tv V .
V Pn
Seja
sobre
Pn
uma variedade projetiva. Sejam
induzidos, respectivamente, por
X, X
os campos vetoriais de grau
P
= i Gi i .
i Gi i ,
Ento, pela ltima
proposio, claro que:

i) Se
deixa
deixam
invariante ento o campo de grau
sobre
Pn
induzido por
invariante;
P C[t0 , ..., tn ](k). Se X deixa V invariante ento o campo de grau m + k sobre

P
Pn induzido por P = P Gi i deixa V invariante. Em particular, se V invariante por
ii) Seja
um campo de grau
m,
ento
invariante por um campo de grau
para cada
l > m.
Vamos aplicar a ltima proposio a alguns exemplos.
4, 4 ,
pode
das hipersuperfcies denidas por
F1 =
Em [Soa00], pgina 372, M. Soares arma que a curva elptica de grau

ser realizada como a interseo completa em
t20 + t21 + t22 + t23
Notemos que
,
F2 = t0 t2 + t1 t3 ,
F1 , F2
isto ,
so irredutveis.
de fato uma curva. Alm disso,
Proposio 2.10,
Seja
P3
I(4 ) = hF1 , F2 i.
Asssim, pelo Corolrio 2.2,
(F1 , F2 )
uma sequncia
dim(4 ) = 1,
R-regular.
isto
Ento, pela
deg(4 ) = deg(F1 ).deg(F2 ) = 4.
o campo de grau
sobre
P3
induzido por
P3
i=0
Gi i ,
onde:
G0 = t20 t1 + t0 t2 t3 , G1 = t0 t21 + 2t1 t2 t3 t0 t23 , G2 = t0 t1 t2 t21 t3 + t22 t3 + t33 , G3 = 0.
40
Vamos vericar que
uma curva integral de
X.
Temos que:
(F1 ) = 2(t20 t1 + t0 t2 t3 )t0 + 2(t0 t21 + 2t1 t2 t3 t0 t23 )t1 + 2(t0 t1 t2 t21 t3 + t22 t3 + t33 )t2
= 2(t30 t1 + t20 t2 t3 t0 t31 + 2t21 t2 t3 t0 t1 t23 t0 t1 t22 t21 t2 t3 + t32 t3 + t2 t33 )
= 2(t0 t1 (t20 t21 t22 t23 ) + t2 t3 (t20 + 2t21 t21 + t22 + t23 ))
= 2(t2 t3 t0 t1 )F1 hF1 i
(F2 ) = (t20 t1 + t0 t2 t3 )t2 + (t0 t21 + 2t1 t2 t3 t0 t23 )t3 + (t0 t1 t2 t21 t3 + t22 t3 + t33 )t0
= t20 t1 t2 + t0 t22 t3 t0 t21 t3 + 2t1 t2 t23 t0 t33 t20 t1 t2 t0 t21 t3 + t0 t22 t3 + t0 t33
= 2t0 t1 (t0 t2 + t1 t3 ) + 2t2 t3 (t0 t2 + t1 t3 )
= 2(t2 t3 t0 t1 )F2 hF2 i
Como
(t3 ) = 0,
Z(t3 ) Sing(X),
ento o hiperplano
pois
tambm invariante por
Gi (t0 , t1 , t2 , 0) = (t0 t1 )ti ,
e = + t0 t1 E . Pela Proposio
P f
que
e = 3i=0 G
i i , onde:
Seja
Temos
Z(t3 )
para
0 6 i 6 2,
3.2, sabemos que
X.
De fato,
G3 = 0.
tambm induzido por
e.
f0 = t0 t2 t3 , G
f1 = (2t1 t2 t0 t3 )t3 , G
f2 = (t21 + t22 + t23 )t3 , G
f3 = t0 t1 t3 .
G
Seja
grau
i)
sobre
P3
P3
i=0 Gi i ,
fi
G
para 0 6 i 6 3.
t3
. Como
e = t3 , ento:
onde
induzido por
Gi =
Seja
o campo de vetores de
Sing(Y ) Sing(X);
ii) Se
v P3 \ Sing(X),
Vamos vericar que
ento
`Y (v) = `X(v) .
Y.
Temos que:
(F1 ) = 2t0 t2 t0 + 2(2t1 t2 t0 t3 )t1 + 2(t21 + t22 + t23 )t2 + 2t0 t1 t3

= 2(t20 t2 + 2t21 t2 t0 t1 t3 t21 t2 + t32 + t2 t23 + t0 t1 t3 )
= 2(t20 + t21 + t22 + t23 )t2 = 2t2 F1 hF1 i
(F2 ) = t0 t2 t2 + (2t1 t2 t0 t3 )t3 + (t21 + t22 + t23 )t0 + t0 t1 t1
= t0 t22 + 2t1 t2 t3 t0 t23 t0 t21 + t0 t22 + t0 t23 + t0 t21
= 2t2 (t0 t2 + t1 t3 ) = 2t2 F2 hF2 i
O hiperplano
Z(t3 )
Z(t3 ) * Sing(Y ).
no invariante por
Assim,
Y,
pois
Sing(Y ) ( Sing(X).
(t3 ) = t0 t1
/ ht3 i.
De fato,
Sing(Y )
Em particular,
no contem uma
41
hipersuperfcie.
C[t0 , ..., tn ]
Vamos vericar isso.
Suponhamos que
homogneo e no constante.
Podemos supor que
Z(F ) Z(H1 , H2 ),
pelo que vimos na pgina 37,
Z(F ) Sing(Y ),
F
onde
irredutvel.
Ento,
onde:
H1 = t0 G1 t1 G0 = t0 (t1 t2 t3 ),
H2 = t0 G2 t2 G0 = t0 (t23 t21 )
22
da matriz
Assim,
F = t0 .
so dois dos menores
Z(H1 , H2 )
Z(t0 ).
M .
A nica hipersuperfcie irredutvel contida em
Mas o ponto
(0 : 0 : 0 : 1) Z(t0 ) \ Sing(Y ),
pois
(0 : 0 : 0 : 1) = (0 : 0 : 1 : 0).
Passemos a outro exemplo.
Fixemos
Como
Fd
Para
n > 2.
Para cada
irredutvel, ento
0 6 i 6 n,
seja
Xi
d > 2,
seja
I(Vd ) = hFd i
Fd = td0 + ... + tdn .
Seja
Vd = Z(Fd ) Pn .
deg(Vd ) = d.
o campo vetorial de grau
d1
sobre
Pn
induzido por
d1
d1
i = td1
0 + ... + td1
i1 (t0d1 + ... + td
+ ... + td1
i+1 + ... + td1
n .
n )i + ti
i
i
i
i
Temos que
d
d1 d1
d1
d1
d1 d1
i (Fd ) = d(td1
td1
ti1 (td1
+...+td1
+td1
td1
tn ) = 0.
0 +...+ti
0 +...+ti
n )ti
i
i
i+1 +...+ti
Assim,
Vd
invariante por
Notemos que
Vd
Xi
para
suave, pois
0 6 i 6 n.
d1
Z(0 Fd , ..., n Fd ) = Z(td1
0 , ..., tn ) = .
possvel encontrarmos um campo vetorial de grau menor que

que deixe
3.2
Vd
invariante? O
d1
sobre
Ser que
Pn ,
no nulo,
Teorema E2 garante que no.
Sobre a importncia das hipteses do Teorema
Vamos iniciar com a seguinte questo:
E2
Seja X um campo vetorial de grau m sobre
P2 . Ser possvel limitarmos o grau das curvas planas deixadas invariantes por X atravs
de m?
A resposta no. Podemos ver isso no seguinte
Exemplo 3.1. Para cada d > 2, seja Fd = t0 td1

td2 C[to , t1 , t2 ]. Seja Cd = Z(Fd )
1
P2 . Seja Xd o campo vetorial de grau 1 sobre P2 induzido por d = (d 1)t0 0 t1 1 .
Ento, para cada d > 2, Cd uma curva plana de grau d invariante por Xd .
42
Demonstrao.
deg(Fd ) = d.
Como
Fd
irredutvel, ento:
I(Cd ) = hFd i, dim(Cd ) = 1
deg(Cd ) =
Temos que
(Fd ) = (d 1)t0 td1

(d 1)t1 t0 td2
= 0 hFd i.
1
1
Segue, pela Proposio 3.3, que
Assim, para cada

integral de grau
Xd .
temos um campo de grau
sobre
P2
que tem uma curva
d.
Observemos que
suave se e s se
(1 : 0 : 0)
d > 2,
Cd
d2 d1
Z(0 Fd , 1 Fd , 2 Fd ) = Z(td1
1 , t0 t1 , t2 ).
d2 d1
Z(td1
1 , t0 t1 , t2 ) = .
uma singularidade de
Cd
Assim,
Pela Proposio 2.12,
suave se e s se
Cd
d = 2 (para d > 2,
Cd ).
Consideremos a seguinte questo, extendendo a anterior:
Seja X um campo vetorial de
grau m sobre Pn . Ser possvel limitarmos o grau das curvas em Pn deixadas invariantes
por X atravs de m?
Como era de se esperar, a resposta no. Vamos ver isso atravs de uma cpia do
exemplo acima.
Exemplo 3.2. Para cada d > 2, sejam F1 = t0 td1

td2 , F2 = t3 ,..., Fn1 = tn
1
C[to , ..., tn ]. Seja Cd = Z(F1 , F2 , ..., Fn1 ) Pn . Seja Xd o campo vetorial de grau 1 sobre
Pn induzido por d = (d 1)t0 0 t1 1 . Ento, para cada d > 2, Cd uma curva de grau
d invariante por Xd .
Demonstrao.
cia
Temos que
C[to , ..., tn ]-regular,
I(Cd ) = hF1 , t3 , ..., tn i.
(F1 , t3 , ..., tn )
Como
ento, pelas Proposies 2.9 e 2.10, temos que
uma sequn-
dim(Cd ) = 1
deg(Cd ) = d.
Temos que
integral de
(Fi ) = 0 para 1 6 i 6 n 1.
Cd
uma curva
Xd .
Assim, para cada

integral de grau
d > 2,
temos um campo de grau
sobre
Pn
que tem uma curva
d.
Observemos que para
v = (vo : ... : vn ) Cd ,
temos que
Tv Cd = Z(v1d1 t0 + (d 1)v0 v1d2 t1 dv2d1 t2 , t3 , ..., tn ).

Se
d=2
de
Cd ,
ento
pois
Cd
suave. Para
Tv0 Cd = Z(t3 , ..., tn )
d > 3,
temos que
tem dimenso
2.
v 0 = (1 : 0 : ... : 0)
uma singularidade
43
Nesses dois ltimos exemplos, o campo depende de
d.
Vamos analisar um exemplo
em que isso no ocorre.
Exemplo 3.3. Suponhamos que n > 3. Para cada d > 2, sejam F1 = t0 td1
td1 ,
2
F2 = t2 dt3 , F3 = t4 ,..., Fn1 = tn C[to , ..., tn ] (Obs. Se n = 3, consideremos apenas
os polinmios F1 , F2 ). Seja Cd = Z(F1 , F2 , F3 , ..., Fn1 ) Pn . Seja X o campo vetorial
de grau 2 sobre Pn induzido por = t0 t2 0 + t1 t3 1 . Ento, para cada d > 2, Cd uma
curva de grau d invariante por X .
Demonstrao.
Esse exemplo aparece na pgina 14 de [Est02]. Nele, Esteves arma que
I(Cd ) = hF1 , F2 , F3 , ..., Fn1 i.
Como
(F1 , F2 , F3 , ..., Fn1 )
regular, pelas Proposies 2.9 e 2.10, temos que
uma sequncia
dim(Cd ) = 1
C[t0 , ..., tn ]-
deg(Cd ) = d.
Temos que:
(F1 ) = t0 t2 td1
dt1 t3 td1
= t0 td2 t2 td1 + t2 td1 dtd1 t3 = t2 F1 + td1 F2 I(Cd )
2
1
(Fi ) = 0
para
2 6 i 6 n 1.
Cd
Assim, temos um campo de grau

integral de grau
sobre
Pn
X.
que, para cada
d > 2,
tem uma curva
d.
Observemos que para
v = (vo : ... : vn ) Cd ,
temos que
Tv Cd = Z(v2d1 t0 dv1d1 t1 + (d 1)v0 v2d2 t2 , t2 dt3 , t4 , ..., tn ).

Se
d=2
de
Cd ,
ento
pois
Cd
suave. Para
d > 3,
temos que
Tv0 Cd = Z(t2 dt3 , t4 , ..., tn )
v 0 = (1 : 0 : ... : 0)
tem dimenso
uma singularidade
2.
Notemos que, nesses trs ltimos exemplos, quando as curvas deixadas invariantes
pelos campos so suaves, o grau delas no mximo o grau do campo mais um. Assim,
somos tentados a considerar a seguinte questo:
Seja X um campo vetorial de grau m
sobre Pn . Ser possvel limitarmos o grau das curvas suaves em Pn deixadas invariantes
por X atravs de m?
Para
n > 3,
a resposta no. Veriquemos isso, inicialmente, com um exemplo em
P3 .
Exemplo 3.4. Para cada natural d > 1, consideremos o mapa

d : P1 P3
d1
(po : p1 ) 7 (pd0 : pd1
: pd1 )
0 p1 : p0 p1
44
Seja Cd a imagem desse mapa. Seja Xd o campo vetorial de grau 1 sobre P3 induzido por
d = dt0 0 + (d 2)t1 1 (d 2)t2 2 dt3 3 . Ento, para cada d > 2, Cd uma curva
suave de grau d invariante por Xd .

Demonstrao.
arma que
Cd
Esse exemplo tambm aparece na pgina 14 de [Est02].

uma curva suave de grau
e que
Nele, Esteves
I(Cd ) = hF1 , F2 , F3 i,
onde:
F1 =
d1
t1 t2 t0 t3 , F2 = td1
t2 td2
t1 td2
C[to , ..., t3 ].
1
0 , F3 = t2
3
Temos que
(F1 ) = dt0 t3 + (d 2)t1 t2 (d 2)t2 t1 + dt3 t0 = 0

(F2 ) = d(d 2)t2 td2
+ (d 2)(d 1)td1
+ (d 2)t2 td2
0
1
0
= (d 2)(d 1)F2
(F3 ) = (d 2)t1 td2
(d 2)(d 1)td1
+ d(d 2)t1 td2
3
2
3
= (d 1)(d 2)F3
Para
n > 4,
Cd
Xd .
basta copiarmos o exemplo acima.
Exemplo 3.5. Para cada natural d > 1, consideremos o mapa

d : P1 Pn
d1
(po : p1 ) 7 (pd0 : pd1
: pd1 : 0 : ... : 0)
0 p1 : p0 p1
Seja Cd a imagem desse mapa. Seja Xd o campo vetorial de grau 1 sobre Pn induzido pelo
campo d do ltimo exemplo. Ento, para cada d > 2, Cd uma curva suave de grau d
invariante por Xd .
Seja
um campo vetorial no nulo de grau
sobre
P2 .
Na prxima seo, mostra-
remos que possvel limitarmos o grau das curvas planas suaves deixadas invariantes por
atravs de
3.3
Mais geralmente, mostraremos que vale o
Os Teoremas
Seja
hF i.
m.
V Pn
E1
Teorema E2 .
E2
uma hipersuperfcie de grau
d.
Seja
F C[t0 , ..., tn ](d)
Pela Proposio 3.3, fcil construirmos um campo vetorial sobre
tal que
Pn
I(V ) =
que a deixe
45
invariante. Por exemplo, o induzido por
Pi,j (j F i i F j )
(3.1)
06i<j6n
onde todos os
Pi,j C[t0 , ..., tn ]
so homogneos de mesmo grau, pois
Pi,j (j F i F i F j F ) = 0
i<j
Teorema E1 .
No sentido contrrio, Esteves provou em [Est02], pgina 6, o
(Como
ele mesmo garante, a prova se baseia nas idias de O. Zariski que foram publicadas por J.
Lipman em [Lip65], parte
c do Exemplo 7, pgina 892).
d uma caracterizao dos campos de vetores sobre
O interessante que esse teorema
Pn que deixam uma hipersuperfcie su-
ave xada invariante. Vamos, FINALMENTE, ver detalhadamente a prova desse teorema.
Teorema E1 . Seja V Pn uma hipersuperfcie suave de grau d. Seja F C[t0 , ..., tn ](d)
tal que I(V ) = hF i. Ento cada campo vetorial X sobre Pn que deixa V invariante induzido por um campo da forma (3.1), para certos Pi,j C[t0 , ..., tn ] homogneos de mesmo
grau.
Demonstrao.
sobre
Denotemos por
Pn que deixa V
3.3, existe
P R
R = C[t0 , ..., tn ].
Seja
um campo vetorial de grau
invariante. Digamos que ele induzido por
Gi i .
Pela Proposio
tal que
Gi i F = P F
(3.2)
i
Para cada
i, i F R(d 1)
Gi R(m).
Assim,
P R(m 1).
Vamos separar a prova em dois casos.

Suponhamos que
t0 .
e
d = 1.
Por uma mudana de coordenadas, podemos supor que
Ento, por (3.2), temos que
Pi,j = 0
G0 = P t0 .
Denindo
para
i = 0, 1 6 j 6 n
caso contrrio, temos que
Pi,j (j F i i F j ) =
06i<j6n
onde
Pi,j = P tj Gj
P0,0 = 0.
Como
P0,j j =
0<j6n
G0 = P t0 ,
X
06i<j6n
temos que
P0,j j ,
06j6n
P0,j = P tj Gj
Pi,j (j F i i F j ) =
X
06j6n
para
0 6 j 6 n.
Gj j P E,
F =
Assim,
46
onde
o campo radial.
06i<j6n
Pi,j (j F i i F j )
deg(P ) = m 1,
Como
X.
induz
pela Proposio 3.2, o campo
Alm disso,
deg(Pi,j ) = m
d > 2.
0 6 i 6 n,
para
0 6 i < j 6 n.
Encerramos assim esse caso.

Suponhamos, a partir de agora, que
i)
ii)
Para
identiquemos:
ai = i F ;
i
com o elemento
ei
da base cannica de
Rn+1 .
n , n denidos em (1.3), pgina 17. Temos

(
)
X
Im(n ) =
Pi,j (j F i i F j ); Pi,j R ,
Consideremos os mapas
que:
06i<j6n
)
X
Ker(n ) =
Gi i ;
06i6n
Gi i F = 0 .
06i6n
Lembremos que, pela Proposio 1.13, pgina 17: se
R-regular
ento
Ker(n ) = Im(n ).
(0 F, ..., n F )
uma sequncia
Suponhamos, por enquanto, que essa sequncia
R-regular.
Pela frmula de Euler, pgina 32,
ti i F = dF
(3.3)
06i6n
Isolando
em (3.3) e substituindo em (3.2), obtemos
(Gi
06i6n
Denamos
Gi = Gi
(3.4)
ti P
. Temos que
d
Gi i =
06i6n
Novamente, como
ti P
)i F = 0
d
deg(P ) = m 1,
Gi i
06i6n
ento o campo
P
E
d
06i6n
Gi i
tambm induz
Gi i F = 0
Por (3.4) e pela Proposio 1.13, temos que
X
06i6n
onde cada
Pi,j R.
Gi i =
X
06i<j6n
Pi,j (j F i i F j ),
X.
47
Para
0 6 i 6 n, temos que Gi R(m), i F R(d 1).
podemos assumir que
Pi,j R(m d + 1)
Ento, nessa ltima equao,
0 6 i < j 6 n.
para
Portanto,
induzido
por um campo da forma que desejvamos.

Notemos que em ambos os casos,
d=1
d > 2,
temos
Pi,j R(m d + 1).
Ento, para concluirmos a prova desse teorema, basta mostrarmos que

uma sequncia
R-regular.
a maquinria do Captulo
Como
(0 F, ..., n F )
Essa a parte mais difcil desse teorema e aqui que entrar
1.
Z(0 F, ..., n F ) = .
suave, pela Proposio 2.12,
Assim, pelo Corolrio
2.2, pgina 29, todas essas derivadas parciais so diferentes de zero. Alm disso, como
d > 2,
estamos supondo que
ento todas essas derivadas parciais so homogneas e no
constantes.
Vamos mostrar a seguinte proposio que provar que
(0 F, ..., n F ) uma sequncia
R-regular.
Proposio 3.4. Sejam F0 , ..., Fn R \ C homogneos (no necessariamente de mesmo

grau). Se Z(F0 , ..., Fn ) = ento (F0 , ..., Fn ) uma sequncia R-regular.
Demonstrao.
= ht0 , ..., tn i R.
Seja
sistema multiplicativo
primeiro que
(F0 , ..., Fn )
Por hiptese,
Para
R \ .
uma sequncia
Assim,
k {1, ..., n}
Assim,
Vamos provar
pois este um
Fi
/ DZ(Mi )
para
{F0 , ..., Fk }
Ento
k R , onde k
Por denio,
Spec(R).
Pela
dim (R /k R ) 6 dim(R/k ).
k . Seja
Spec(R)
dim(R/k ) 6 dim(R/).
uma componente irredutvel de

pgina 29,
tal que
Fk ek Ass(Mk ).
ek
Pela Proposio 1.1, pgina 4,
Proposio 1.3, pgina 6,
hF0 , ..., Fk i.
d(R ) = n + 1.
Mi = R /hF0 , ..., Fi1 iR . F0

/ DZ(R ),
tomemos
com relao ao
hF0 , ..., Fn iR 6= R .
Pela Proposio 1.5, pgina 7, temos que
Temos que
Fk DZ(Mk ).
mas
{F0 , ..., Fk } ek .
a localizao de
R -regular.
domnio. Suponhamos, por absurdo, que existe
0 6 i 6 k 1,
Pelo Exemplo 1.8, pgina 15,
F0 , ..., Fn .
0 6 i 6 n,
Seja
Z(F0 , ..., Fk ).
dim(Z()) = n k 1.
um divisor primo minimal do ideal
Como
Z()
Z(F0 , ..., Fn ) = , pelo Corolrio 2.2,
dim(R/) = n k .
dim(R /ek ) 6 n k .
Por outro lado, como

pgina 15, temos que
(F0 , ..., Fk1 )
uma sequncia
R -regular,
pelo Corolrio 1.2,
d(Mk ) = d(R /hF0 , ..., Fk1 iR ) = d(R ) k = n + 1 k .
48
Assim
d(Mk ) > dim(R /ek ),
pgina 16. Assim, tal valor
Ass(Mk ).
ek
com
no existe, isto ,
Portanto,
(0 F, ..., n F )
(F0 , ..., Fn )
(F0 , ..., Fn )
Logo, pela Proposio 1.9, pgina 12,
uma sequncia
Isso contradiz a Proposio 1.12,

uma sequncia
uma sequncia
R-regular.
R -regular.
R-regular.
Consequentemente, vale o
Teo-
rema E1 .
Agora segue facilmente o segundo teorema provado por Esteves.
Teorema E2 . Seja X um campo vetorial no nulo de grau m sobre Pn . Seja V Pn

uma hipersuperfcie de grau d. Se V suave e invariante por X ento d 6 m + 1.
Demonstrao.
Seja
sua prova, o campo
Pi,j R(m d + 1)
Assim,
F C[t0 , ..., tn ](d) tal que I(V ) = hF i.

X
Pelo teorema anterior e pela
induzido por uma expresso como em (3.1), pgina 45, onde
para quaisquer
deg(Pi,j ) = m d + 1 > 0,
i, j .
X 6= 0,
Como
isto ,
temos que
Pi,j 6= 0
para certos
i, j .
d 6 m + 1.
Em particular, o grau das curvas planas deixadas invariantes por um campo vetorial
no nulo
de grau
sobre
P2
no mximo
m + 1.
Lembremos que, pelo Exemplo 3.1,
pgina 41, essa cota pode ser atingida.

Vamos encerrar com uma aplicao do
Teorema E2 .
Proposio 3.5. Seja C uma curva em Pn tal que I(C) = hF1 , ..., Fn1 i, onde Fi
C[t0 , ..., tn ](di ). Seja X um campo vetorial no nulo de grau m sobre Pn . Se as hipersuperfcies Vi = Z(Fi ) so suaves e invariantes por X , ento C tambm invariante por X
e deg(C) 6 (m + 1)n1 .
Demonstrao.
os polinmios
Tomemos
Como as hipersuperfcies
Fi
so irredutveis. Assim,
v C \ Sing(X).
Tv C = Z
n
X
Como
Vi
so suaves, pela Proposio 2.12, pgina 32,
I(Vi ) = hFi i
deg(Vi ) = di .
Sabemos que
i F1 (v)ti , ...,
i=0
Como cada
Vi
n
X
!
i Fn1 (v)ti
= Tv V1 ... Tv Vn1 .
i=0
invariante por
X,
ento a reta
`X(v) Tv C .
Logo,
invariante por
C = Z(F1 , ..., Fn1 ) tem dimenso 1 e so exatamente n 1 polinmios,
mos armar, pela prova da Proposio 3.4, que
para cada
i.
Portanto,
pode-
(F1 , ..., Fn1 ) uma sequncia C[t0 , ..., tn ]-
regular. Assim, pela Proposio 2.10, pgina 30,
E2 , di 6 m + 1
X.
deg(C) = d1 ... dn1 .
deg(C) 6 (m + 1)n1 .
Pelo
Teorema
49
Referncias Bibliogrcas
[AM94]
M.F. Atiyah and I.G. Macdonald,
Introduction to commutative algebra,
Westview Pr, 1994.
[BM00]
M. Brunella and LG Mendes,
Bounding the degree of solutions to Pfa equa-
tions, preprint 206, U, 2000, pp. 593604.

[Car94]
M.M. Carnicer,
mathematics
[CC97]
The Poincar problem in the nondicritical case,
Annals of
140 (1994), no. 2, 289294.
A. Campillo and M.M. Carnicer,
Proximity Inequalities and Bounds for the
Degree of Invariant Curves by Foilations of P2C , Transactions of the American

Mathematical Society
349 (1997), no. 6, 22112228.
[CCGdlF00] A. Campillo, MM Carnicer, and J. Garcia de la Fuente,
Invariant curves
by vector elds on algebraic varieties, Journal of the London Mathematical

Society
[CLO07]
62 (2000), no. 1, 5670.
D.A. Cox, J.B. Little, and D. O'Shea,
Ideals, varieties, and algorithms: an
introduction to computational algebraic geometry and commutative algebra,

Springer Verlag, 2007.
[CN91]
D. Cerveau and A.L. Neto,
Holomorphic foliations in P2C having an invariant
algebraic curve, Annales de l'institut Fourier, vol. 41, 1991, pp. 883903.
[Eis95]
D. Eisenbud,
Commutative algebra with a view toward algebraic geometry,
Springer, 1995.
[Est02]
E. Esteves,
The Castelnuovo-Mumford regularity of an integral variety of
a vector eld on projective space,

no. 1, 115.
50
Mathematical Research Letters
9 (2002),
51
[Kap70]
I. Kaplansky,
[Kun85]
E. Kunz,
Commutative Rings, Springer, 1970.
Introduction to commutative algebra and algebraic geometry,
Birkhauser, 1985.
[LE06]
Q. Liu and R. Ern,
Algebraic geometry and arithmetic curves, Oxford Uni-
versity Press, USA, 2006.
[Lip65]
J. Lipman,
Free derivation modules on algebraic varieties, American Journal
of Mathematics
[Mat86]
87 (1965), no. 4, 874898.

Commutative ring theory,Cambridge studies in advanced
H. Matsumura,
mathematics 8, Cambridge Univ Press, 1986.

[Mum99]
The red book of varieties and schemes, volume 1358 of Lecture
D. Mumford,
Notes in Mathematics, 1999.

[NR57]
DG Northcott and D. Rees,
regular local rings,
Extensions and simplications of the theory of
Journal of the London Mathematical Society
(1957),
no. 3, 367.
[NS97]
A.L. Neto and B.A. Scrdua,
Folheaes algbricas complexas, 21 Colquio
Brasileiro de Matemtica, IMPA, R.J. (1997).

[Poi91a]
H. Poincar,
Acad. Sci.
[Poi91b]
Sur l'intgration algbrique des quations direntielles, C. R.
112 (1891), 761764.
Sur l'intgration algbrique des quations direntielles du premier
ordre et du premier degr, Rend. Circ. Mat. Palermo 5 (1891), 161191; 11

(1897), 193239.
[Sha94]
I.R. Shafarevich,
[Soa97]
M.G. Soares,
Basic algebraic geometry, Springer, 1994.
The Poincar problem for hypersurfaces invariant by one-
dimensional foliations,
Inventiones mathematicae
128
(1997), no. 3, 495
500.
[Soa00]
Projective varieties invariant by one-dimensional foliations, Annals
of Mathematics
152 (2000), no. 2, 369382.

Campos Vetoriais

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Campos Vetoriais

Enviado por

Direitos autorais:

Formatos disponíveis

IMPA

INSTITUTO NACIONAL DE MATEMTICA PURA E APLICADA

Altemar Brito Lima