UNIVERSIDADE FEDERAL DE MINAS GERAIS - UFMG

MESTRADO EM MATEM

ATICA
A GRASSMANNIANA E A DIMENS

AO DA VARIEDADE DE
FANO DE UMA HIPERSUPERF

ICIE
Allan de Sousa Soares
Belo Horizonte - MG
2011
UNIVERSIDADE FEDERAL DE MINAS GERAIS - UFMG
MESTRADO EM MATEM

ATICA
Allan de Sousa Soares
Orientador:
Prof. Dr. Renato Vidal Martins
A GRASSMANNIANA E A DIMENS

AO DA VARIEDADE DE
FANO DE UMA HIPERSUPERF

ICIE
Dissertac ao apresentada ao De-
partamento de Matematica do
Instituto de Ciencias Exatas
da Universidade Federal de Mi-
nas Gerais como requesito ` a
obtenc ao do Ttulo de Mestre em
Matem atica.
Belo Horizonte - MG
Marco - 2011
Agradecimentos
Agradeco primeiramente a Deus por ter me dado forca,
coragem e entusiasmo para chegar ate aqui.
Agradeco aos meus pais e ao meu irm ao, Gilberto, Maurina e Gilberto Jr,
que mesmo estando longe sempre me apoiaram.
Agradeco ao meu orientador Renato Vidal Martins pelas explicac oes
e conselhos dados durante a elaboracao deste trabalho.
Agradeco ao professor Israel Vainsencher pelos conselhos dados no incio
deste trabalho, bem como a ajuda na escolha do tema.
Agradeco a um professor e velho amigo, Benedito Melo Acioly, que sempre me
incentivou a prosseguir nos estudos em matematica pura.
Agradeco aos meus colegas da UFMG por d uvidas sanadas em alguns pontos
deste trabalho, em especial ao meu amigo, Ant onio Marcos.
II
Sumario
Resumo IV
Abstract V
Introducao 1
1 Conceitos Basicos 3
1.1 Espaco Projetivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Grassmannianas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 Variedade de Fano 16
2.1 Variedade de Fano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2 Correspondencia Incidente . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.3 Retas em uma Superfcie em P
3
. . . . . . . . . . . . . . . . . . . . . . . . 24
2.4 O Teorema Principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3 As 27 retas de uma superfcie c ubica sem pontos
singulares 30
3.1 Blowup e Criterio de Jacobi . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.2 As 27 Retas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4 Demonstracao do Teorema Principal 46
Conclusao 57
III
Resumo
A Grassmanniana G(k, n) corresponde aos subespa cos lineares k-dimensionais de P
n
.
Assim, dada uma variedade X P
n
, de grau d, denimos a Variedade de Fano F
k
(X)
como sendo uma subvariedade de G(k, n) formada pelos espacos lineares k-dimensionais
contidos em X. No caso em que X e uma hipersuperfcie estudaremos, a partir dos
par ametros n, k, d, sob que condic oes esta variedade e vazia ou n ao. No caso em que esta
variedade e nao vazia determinaremos a sua dimensao. Alem disso, mostraremos que a
variedade de Fano de retas de uma superfcie c ubica sem pontos singulares X P
3
e
composta de exatamente 27 retas.
Palavras Chave: Grassmanniana, Variedade de Fano, Dimensao.
IV
Abstract
The Grassmannian G(k, n) corresponds to the linear k-dimensional subespaces of P
n
.
Thus, given a variety X P
n
of degree d, we dene the Fano variety F
k
(X) as a subman-
ifold of G(k, n) formed by the k-dimensional linear spaces contained in X. In the case
where X is hypersurface we will study, from the parameters n, k, d, under what conditions
this variety is not empty. In the case that this variety is not empty will determine its
dimension. Furthermore, we show that Fano variety of lines of a cubic surface without
singular points of X P
3
is composed of exactly 27 lines.
Keywords: Grassmannian, Fano variety, Dimension.
V
Introducao
Gino Fano (1871 1952), lho de Ugo Fano e Angelica Fano, foi um matematico
italiano de grande destaque no ramo da geometria. Fano estudou na Universidade de
Turim, onde entrou em 1888. Seus estudos foram dirigidos por Corrado Segre, que tinha
sido nomeado para a cadeira de geometria superior neste mesmo ano. Este foi um lugar
muito interessante para a investiga cao em geometria e nao e de se estranhar que Fano foi
levado a se especializar nesta area.
Nosso objetivo neste trabalho e o de fazer um estudo a cerca da Variedade de Fano.
Conforme a Denicao 2.1, a variedade de Fano nada mais e que o conjunto dos espa cos
k-dimensionais contidos em X, a qual denotaremos por F
k
(X). Mais especicamente,
buscaremos responder ` a seguinte questao: Dada uma hipersuperfcie X P
n
de grau
d 3, qual a dimensao da variedade de k-planos contidos em X? Na tentativa de resolver
esta questao optamos pela seguinte divis ao de captulos:
No Captulo 1 abordaremos de forma breve alguns dos resultados a cerca das Grass-
mannianas. Por que isto? A resposta e bastante simples. A variedade de Fano, F
k
(X) e
uma subvariedade da Grassmanniana G(k, n). Neste captulo, dentre os resultados mais
interessantes estao: a prova de que a Grassmanniana G(k, n) e uma subvariedade pro-
jetiva contida em P
N
, N =
_
n+1
k+1
_
1, donde forneceremos uma maneira de calcular as
equac oes que a denem; a prova de que G(k, n) e irredutvel e que esta pode ser vista
localmente como o graco de uma aplica cao. Tais resultados nos fornecer ao uma melhor
base para o entendimento dos captulos posteriores.
No Captulo 2 e que o nosso trabalho de fato comeca. Nele trataremos de descrever
a variedade incidente de k-planos, =
_
(X, ) P
N
G(k, n); X
_
, uma vez que a
variedade de Fano, nada mais e que a bra sobre um ponto X P
N
, onde estamos con-
siderando o mapa projec ao
1
: P
N
. Por meio dos Exemplos 2.3 e 2.4, veremos que
s ao necess arios muitos c alculos envolvendo polin omios sempre que estivermos interessados
1
2
em exibir explicitamente a variedade de Fano. Diante desse fato, nos restringiremos so-
mente ao c alculo da dimens ao de F
k
(X). Depois disso, apresentaremos alguns resultados
da geometria algebrica, como por exemplo, o Teorema da Dimensao das Fibras, tendo
em vista sua import acia para c alculo da dimensao de . Um exemplo importante, dado
neste captulo, e visto na Sec ao 2.3. Nele estudamos a dimens ao de F
1
(X), onde X e
uma superfcie geral de P
3
. Por m, enunciaremos o Teorema 2.15 que responde ` a nossa
quest ao principal de uma maneira bastante simples. A saber
Seja X P
n
uma hipersuperfcie geral de grau d sobre um corpo de caracterstica zero
e F
k
(X) a variedade de Fano de k-planos contidos em X. Se d 3 e (n, k, d) =
(n k)(k + 1)
_
k+d
k
_
, entao
i) F
k
(X) = se (n, k, d) < 0;
ii) F
k
(X) e uma variedade suave nao vazia de dimensao (n, k, d) se (n, k, d) 0.
Este resultado nos mostrar a que basta observar os par ametros n, k, d. Ele pode ser en-
contrado em [1] ou em [8].
A ttulo de ilustrac ao, no Captulo 3, discutiremos um dos problemas cl assicos da
escola de geometria algebrica italiana: Provar que toda superfcie c ubica suave, X P
3
apresenta sua variedade de Fano composta de exatamente 27 retas. Alem disso, veremos,
de forma parcial, que nao somente a quantidade de retas em uma c ubica X e um invariante,
mas tambem a disposicao destas retas, se tratando apenas de uma deformac ao em um
certo conjunto. Para tanto, descreveremos de forma sucinta, o blowup e o criterio de
Jacobi que ser ao ferramentas muito utilizadas no resto do nosso trabalho.
Por m, no Captulo 4, nos empenharemos em provar o Teorema 2.15. Esta tarefa re-
quer o uso de ferramentas mais avancadas tais como a cohomologia. O grau de diculdade
encontrado nesta etapa e, sem d uvida, maior que o encontrado nos captulos precedentes
e portanto, tentamos demonstrar todos os resultados e passagens, algumas ate obvias.
Mas ao m, por um belo resultado, o esforco e v alido.
Ao longo deste trabalho, nota-se, em muitos casos, que tentamos demonstrar prati-
camente todos os resultados e justicar todas as passagens, mesmo que algumas delas
fossem bem triviais. O zemos desta forma por uma quest ao did atica.
Captulo 1
Conceitos Basicos
Apresentaremos neste captulo alguns conceitos e exemplos basicos que nos possibili-
tar ao ir mais a fundo na teoria que ser a apresentada nos captulos posteriores.
1.1 Espaco Projetivo
Dado um espaco vetorial V sobre um corpo algebricamente fechado k, o espaco proje-
tivo P(V ) e o conjunto dos subespa cos vetoriais de V de dimens ao 1. Mais precisamente,
P(V ) = (V 0)/ onde, para v, w V 0, temos que v w se, e somente se,
existe k 0 tal que w = v. No caso em que V = k
n+1
, usaremos a nota cao
P
n
= P
n
k
:= P(V ) e denotaremos por (x
0
: . . . : x
n
) a classe de (x
0
, . . . , x
n
). Se o espaco
vetorial V tem dimensao n + 1 entao o espaco projetivo associado a V ter a dimens ao n.
Uma variedade projetiva e o conjunto dos zeros em P
n
de uma famlia de polin omios
homogeneos f
i

s
i=1
em k[x
0
, . . . , x
n
]. O primeiro caso interessante de variedades proje-
tivas ocorre quando os f
i
s ao lineares. Mais precisamente, dizemos que e um espaco
linear em P
n
se e o conjunto solucao de um sistema linear
_

_
a
10
x
0
+ . . . + a
1n
x
n
= 0
.
.
.
a
s0
x
0
+ . . . + a
sn
x
n
= 0
Se estas s linhas s ao linearmente independentes, temos que e dito ser um espaco linear
k-dimensional, ou um k-plano.
Por exemplo o seguinte sistema de equacoes
_
_
_
x
0
x
1
+ x
2
+ x
3
= 0
x
0
+ x
1
+ x
2
x
3
= 0
3
4
corresponde `a reta de P
3
que une os pontos (1 : 1 : 1 : 1) e (1 : 1 : 1 : 1).
1.2 Grassmannianas
D a-se o nome de Grassmanniana ao conjunto G(k + 1, n + 1) dos subespacos
(k + 1)-dimensionais do espaco vetorial k
n+1
. No caso em que estivermos trabalhando
em um espaco vetorial abstrato V , escreveremos G(k +1, V ). Tambem usamos a notacao
G(k, n) ou G(k, P(V )) para o mesmo conjunto e neste caso os elementos sao vistos como
k-planos de P
n
. Veremos mais adiante que a Grassmanniana G(k, n) pode ser imersa num
certo espaco projetivo P
N
. Convencao: Neste trabalho adotaremos sempre a notacao
G(k, n) para as Grassmannianas, mas trataremos seus pontos ora como k-planos de P
n
,
ora como (k + 1)-subespacos de k
n+1
conforme a conveniencia do contexto.
Considere agora um subespaco linear W V de dimens ao k + 1 com base

W
= v
1
, . . . , v
k+1
. Associemos W ao multivetor = v
1
. . . v
k+1

k+1
(V ). Observe
que e determinado a menos de multiplica cao por escalar. De fato, seja

W
= w
1
, . . . , w
k+1
outra base de W e consideremos o mutilvetor

= w
1
. . . w
k+1
associado a W. Temos a seguinte relac ao

= w
1
. . . w
k+1
= det(A). = det(A).v
1
. . . v
k+1
,
onde A e a matriz de mudan ca de base.
Ou seja, podemos denir a seguinte aplicac ao
: G(k + 1, V ) P(
k+1
V ) = P
N
W = v
1
, . . . , v
k+1
[v
1
. . . v
k+1
]
(1.1)
a qual damos o nome de imersao de Plucker de G(k +1, V ). Note que esta aplicacao e de
fato injetiva. Mais ainda, para todo [w] = (W) temos
1
([w]) = v V ; v w = 0.
Ent ao, a partir de agora, as vezes identicaremos a Grassmanniana G(k, n) com sua
imagem em P
N
. As coordenadas homogeneas de P(
k+1
V ) s ao chamadas de coordenadas
de Plucker de G(k + 1, V ).
Agora apresentaremos uma descri cao mais detalhada da Grassmanniana G(k, n). En-
tre os nossos objetivos est ao: apresentar uma descric ao das coordenadas de Plucker de
G(k, n); mostrar que esta Grassmanniana e de fato uma subvariedade projetiva imersa em
um certo espa co projetivo P
N
, N =
_
n+1
k+1
_
1; calcular a dimensao de G(k, n) e mostrar
5
em dois exemplos, G(1, 3) e G(1, 4), como as Grassmannianas podem ser vistas localmente
como o gr aco de uma func ao e da inferir o caso geral.
Considere / como sendo o conjunto das matrizes (k + 1) (n + 1). Seja
A = (a
ij
) /, 1 i k + 1 e 1 j n + 1. Agora associemos a cada sequencia de
k + 1 inteiros j
1
, . . . , j
k+1
, com 1 j
l
n + 1, o n umero p(j
1
, . . . , j
k+1
) = det((a
ij
l
)).

E
f acil ver que existem exatamente
_
n+1
k+1
_
= N + 1 destas sequencias.
Considerermos um k-plano G(k, n), temos que este e gerado por k + 1 vetores
linearmente independentes. Fixada uma base para k
n+1
a matriz A /, que representa
, e aquela cujas linhas sao as componentes destes vetores. Ela tem um menor n ao nulo
de ordem (k + 1) (k + 1) pois os vetores n ao sao dependentes. Logo, podemos associar
ao ponto p = (. . . : p(j
1
, . . . , j
k+1
) : . . .) P
N
, onde os (j
1
, . . . , j
k+1
) estao em ordem
lexicogr aca. Na verdade estas sao exatamente as coordenadas de Plucker de .
Exemplo 1.1. Consideremos a reta P
3
que passa pelos pontos (1 : 1 : 1 : 1) e
(1 : 1 : 1 : 1). A matriz que representa esta reta e dada por
A =
_
_
1 1 1 1
1 1 1 1
_
_
.
Portanto as coordenadas de Plucker desta reta sao
p
12
= 2, p
13
= 0, p
14
= 2, p
23
= 2, p
24
= 0, p
34
= 2,
onde por simplica cao estamos considerando p(j
1
, j
2
) = p
j
1
j
2
.
Exemplo 1.2. Agora estudemos a Grassmanniana G(1, 3). Temos por denic ao que
G(1, 3) e o conjunto dos 1-planos de P
3
. Neste exemplo trabalharemos com os
1-planos cuja representac ao matricial apresenta o primeiro menor sendo dado pela matriz
identidade (isto pode ser feito sem problemas como veremos mais adiante). Sendo assim,
apresenta a seguinte representacao matricial:
A =
_
_
1 0 a b
0 1 c d
_
_
.
Temos que determina, via imers ao de Plucker, um ponto
y = (1 : c : d : a : b : ad bc) = (p
12
: p
13
: p
14
: p
23
: p
24
: p
34
) P
5
.
6
Uma r apida observac ao nos mostra que p
34
e uma coordenada dependente de p
13
, p
14
, p
23
,
p
24
, donde podemos obter a seguinte relac ao algebrica:
p
34
= p
14
p
23
+ p
13
p
24
.
Homogeneizando em relacao ` a variavel p
12
(que e n ao nula) obtemos a seguinte relacao:
S : p
12
p
34
p
13
p
24
+ p
14
p
23
= 0. (1.2)
A qual chamaremos de relacao de Plucker.
A rigor para mostrarmos que G(1, 3) e de fato uma subvariedade de P
5
formada pelo
conjunto soluc ao da equac ao (1.2) devemos observar que:
i) As demais cartas ans correspondentes as matrizes em que um outro menor e a iden-
tidade produzem a mesma equac ao de (1.2). De fato, basta repetir o mesmo argumento
anterior, com a diferenca que agora consideraremos os 1-planos P
3
em que um outro
menor e dado pela matriz identidade. Este por sua vez determinara um ponto p P
5
em que uma das coordenadas p
rs
e igual a 1. Seguindo o mesmo processo acima, onde
homogeneizamos em rela cao `a vari avel p
rs
, obteremos as mesmas relac oes dadas em (1.2).
Portanto, G(1, 3) S.
ii) Dado um ponto p P
5
que satisfaz a equacao (1.2) este deve ser imagem pela aplicac ao
de algum 1-plano P
3
. Basta tomar p P
5
que satisfaz (1.2), onde sem perdas pode-
mos assumir que p
12
= 1, ou seja, p = (1 : p
13
: p
14
: p
23
: p
24
: p
34
) e corresponde-lo com
o seguinte 1-plano , cuja representac ao matricial e dada por
A =
_
_
1 0 p
23
p
24
0 1 p
13
p
14
_
_
.
Isto mostra que S G(1, 3).
A escolha da matriz acima esconde um metodo que ser a visto logo mais na demonstrac ao
da Proposicao 1.14.
Por outro lado, podemos denir uma aplicac ao que mapeia o ponto
(1 : c : d : a : b : ad bc) = (1 : x : y : z : w : xw yz) P
5
no ponto
(x, y, z, w, u) k
5
,
7
onde u = xw yz. Temos que G(1, 3) pode ser vista (localmente) como o gr aco de uma
func ao, que neste caso e dada por
: k
4
k
1
(x, y, z, w) xw yz
.
Exemplo 1.3. Estudemos de maneira an aloga a Grassmanniana G(1, 4). Faremos neste
exemplo um estudo bem semelhante ao apresentado no exemplo anterior. Temos que um
1-plano P
4
, no qual o primeiro menor seja n ao nulo admite a seguinte representa cao
matricial:
A =
_
_
1 0 a b c
0 1 d e f
_
_
Temos que as coordenadas Plucker de determinam um ponto em P
9
(p
12
: p
13
: p
14
: p
15
: p
23
: p
24
: p
25
: p
34
: p
35
: p
45
) =
= (1 : d : e : f : a : b : c : ae bd : af cd : bf ce),
que por sua vez pode ser identicado com o ponto
(1 : u : v : w : x : y : z : uy xv : uz xw : vz yw).
Alem disso podemos denir uma aplicac ao de P
9
em k
9
que mapeia o ponto
(1 : u : v : w : x : y : z : uy xv : uz xw : vz yw) (1.3)
no ponto
(u, v, w, x, y, z, uy xv, uz xw, vz yw).
Da mesma forma que visto para G(1, 3), temos que G(1, 4) e localmente o gr aco da
aplicac ao
: k
6
k
3
(u, v, w, x, y, z) (uy xv, uz xw, vz yw)
Agora calculemos as equac oes que denem G(1, 4). Consideremos um ponto em P
9
como
sendo da forma
(p
12
: p
13
: p
14
: p
15
: p
23
: p
24
: p
25
: p
34
: p
35
: p
45
).
De (1.3) obtemos as seguintes relacoes algebricas:
_

_
p
34
= p
13
p
24
p
23
p
14
p
35
= p
13
p
25
p
23
p
15
p
45
= p
14
p
25
p
24
p
15
8
Homogeneizando em relacao ` a variavel p
12
, temos as seguintes equac oes qu adricas;
_

_
p
12
p
34
= p
13
p
24
p
23
p
14
p
12
p
35
= p
13
p
25
p
23
p
15
p
12
p
45
= p
14
p
25
p
24
p
15
O procedimento para mostrar que G(1, 4) e uma subvariedade de P
9
descrita
pelas equacoes dadas acima e exatamente o mesmo do exemplo anterior.
J a foi visto que G(k, n) est a imerso no espaco projetivo P(
k+1
(V )) via imers ao de
Plucker . Como nos exemplos acima, agora mostraremos que esta imagem e um sub-
conjunto fechado de P
N
, N =
_
n+1
k+1
_
1, ou seja a Grassmanniana ser a de fato uma
subvariedade projetiva e exibiremos uma forma de calcular as equac oes que a denem.
Denicao 1.4. Seja w
k+1
(V ) e v V , v ,= 0. Dizemos que v divide w se existe
u
k
(V ) tal que w = v u.
Proposicao 1.5. Seja w
k+1
(V ) e v V , v ,= 0. Entao v divide w se, e somente se,
o produto vetorial w v = 0.
Demonstracao. Suponha que v divide w, ou seja, existe u tal que w = v u e
portanto w v = v u v = 0. Reciprocamente, seja v
1
, . . . , v
n+1
uma base de
V e seja v
1
= v. Temos que uma base can onica de
k+1
(V ) e dada por
v
i
1
. . . v
i
k+1
; 1 i
1
< . . . < i
k+1
n + 1. Todo w
k+1
(V ) pode ser escrito, nesta
base, da seguinte forma w =

1i
1
<...<i
k+1n+1
a
i
1
...i
k+1
v
i
1
. . . v
i
k+1
. Ent ao
v w =

1i
1
<...<i
k+1
n+1
a
i
1
...i
k+1
v
1
v
i
1
. . . v
i
k+1
.
Note que se v w = 0 entao a
i
1
...i
k+1
= 0 para todo i
1
, . . . , i
k+1
com 1 < i
1
, ou seja, o
vetor v
1
= v divide w.
Denicao 1.6. Dizemos que w
k+1
(V ) e totalmente decomponvel se existem
v
1
, . . . , v
k+1
V linearmente independentes tais que w = v
1
. . . v
k+1
.
Proposicao 1.7. Um multivetor w
k+1
(V ) e totalmente decomponvel se, e somente
se, o espaco dos vetores v que dividem w tem dimensao k + 1.
9
Demonstracao. =) Suponha que w
k+1
(V ) seja totalmente decomponvel, ou seja,
existem k + 1 vetores linearmente independentes v
1
, . . . , v
k+1
V tais que
w = v
1
. . . v
k+1
. Pela Proposicao 1.5 o conjunto dos vetores que dividem w e dado por
U = v V ; v w = 0 .
Assim, um vetor v U se, e somente se, e linearmente dependente aos vetores v
1
, . . . , v
k
,
isto e, U tem dimensao k + 1.
=) Suponhamos
U
= v
1
, . . . , v
k+1
e completemos
U
a uma base de V ,

V
= v
1
, . . . , v
k+1
, v
k+2
, . . . , v
n+1
. Esta base induz uma base can onica de
k+1
(V ) na
qual w
k+1
(V ) se escreve
w =

1i
1
<...<i
k+1
n+1
a
i
1
,...,i
k+1
v
i
1
. . . v
i
k+1
.
Note que para todo j = 1, . . . , k + 1 temos que
v
j
w =

1i
1
<...<i
k+1
n+1
a
i
1
,...,i
k+1
v
j
v
i
1
. . . v
i
k+1
=
=

1i
1
<...<i
k+1
n+1,i
r
=j
a
i
1
,...,i
k+1
v
j
v
i
1
. . . v
i
k+1
e uma equac ao nula se, e somente se, a
i
1
...i
k+1
= 0 exceto para algum i
r
= j. Portanto,
v
1
w = v
2
w = . . . = v
k+1
w = 0
se, e somente se, a
i
1
...i
k+1
= 0 exceto para
1, . . . , k + 1 i
1
, . . . , i
k+1
.
Logo, w = a
i
1
...i
k+1
v
1
. . . v
k+1
.
Proposicao 1.8. G(k, P(V )) e uma subvariedade de P
N
.
Demonstracao. Observe que [w] (G(k, P(V ))) P(
k+1
(V )) se, e somente se,[w] e
totalmente decomponvel em
k+1
(V ). Mas isto ocorre se, e somente se, a transformac ao
linear
(w) : V
k+2
(V )
v v w
tem posto nk. De fato, note que ker((w)) = v V ; (w) = wv = 0 e por simples
algebra linear temos que dim(ker((w))) +dim(Im((w))) = dim(V ) = n+1. Logo, pela
10
Proposic ao (1.7) [w] e totalmente decomponvel se, e somente se, (w) tem posto n k.
Por outro lado, a fun cao :
k+1
(V ) Hom(V,
k+2
(V )) e linear e as entradas da
matriz (w) s ao formas lineares de P
N
. Logo, G(k, P(V )) e uma subvariedade conseguida
anulando-se os menores (n k + 1) (n k + 1) desta matriz.
Exemplo 1.9. Neste exemplo exibiremos a matriz (w) associada `a Grassmanniana
G(1, 3)

= G(1, P(V )). Seja
V
= e
1
, e
2
, e
3
, e
4
uma base de V . Temos que as bases
can onicas de
2
(V ) e
3
(V ) sao respectivamente:
i)

2
(V )
= e
1
e
2
, e
1
e
3
, e
1
e
4
, e
2
e
3
, e
2
e
4
, e
3
e
4
;
ii)

3
(V )
= e
1
e
2
e
3
, e
1
e
2
e
4
, e
1
e
3
e
4
, e
2
e
3
e
4
.
Se w =

w
ij
e
i
e
j
ent ao
(w) : V
3
(V )
v v w
e dada pela matriz cujas colunas s ao as componentes dos vetores
_

w
ij
e
i
e
j
_
e
1
,
_

w
ij
e
i
e
j
_
e
2
,
_

w
ij
e
i
e
j
_
e
3
,
_

w
ij
e
i
e
j
_
e
4
.
Nossa matriz ca ent ao da seguinte forma:
(w) =
_
_
_
_
_
_
_
_
w
23
w
13
w
12
0
w
24
w
14
0 w
12
w
34
0 w
14
w
13
0 w
34
w
24
w
23
_
_
_
_
_
_
_
_
Portanto a variedade G(1, 3) e denida pelo anulamento dos menores 3 3 da matriz
acima.
Seja V um espaco vetorial de dimensao n + 1 e V

o espaco dual de V . Considere a

aplicac ao
:
k+1
(V )
nk
(V

)
e
i
1
. . . e
i
k+1
(e
i
1
. . . e
i
k+1
) = f
e
j
1
. . . f
e
j
nk
onde
V
= e
i
1
, . . . , e
i
k+1
, e
j
1
, . . . , e
j
nk
, com i
1
< . . . < i
k+1
e j
1
< . . . < j
nk
.
Desta forma, w e totalmente decomponvel se, e somente se, (w) tambem o e. Por
exemplo, se w = v
1
. . . v
k+1
e f
k+2
, . . . , f
n+1
V

, entao (w) = f
k+2
. . . f
n+1
.
Suponha que existam dois espacos vetorias V e V

sobre k e uma transformac ao linear

T : V V

. Seja g um funcional linear sobre V

, dena
f
g
(v) = g(Tv)
11
para cada v V . Note que T nos fornece uma func ao linear
T

= T
t
: V

g f
g
Denicao 1.10. Dado um subespaco vetorial V

V , denimos o conjunto
Ann(V

) = f V

; f(v

) = 0, v

,
o qual da-se o nome de anulador de V

.
Abusando um pouco a notacao, temos que Ann(V

) = (V

, e portanto
dim(V

) + dim(Ann(V

)) = dim(V ).
Proposicao 1.11. Seja T : V V

uma transformacao linear. Entao,

Im(T

) = Ann(ker(T)).
Demonstracao. Seja f Im(T

). Temos que f = T

g para algum g V

. Se v ker(T)
temos
f(v) = (T

g)(v) = g(Tv) = g(0) = 0.

Portanto a imagem de T

e um subespaco de Ann(ker(T)). Alem disso

dim(Ann(ker(T))) = dim(V ) dim(ker(T)) = posto(T) = posto(T

) = dim(Im(T

)).
Logo, Im(T

) = Ann(ker(T)).
Usando o isomorsmo entre
k+1
(V ) e
nk
(V

), dado w
k+1
(V ) tome o
correspondente w

nk
(V

), donde faz sentido denir a aplica cao

(w) : V

nk+1
(V

)
f (w) f
Por argumentos semelhantes aos vistos na prova da Proposic ao 1.8 temos que w

k+1
(V ) e totalmente decomponvel se, e somente se, (w) tem posto k + 1. Alem disso,
usando a relac ao entre w e (w) temos que ker((w)) = Ann(ker((w))). De fato,
como w e totalmente decomponvel, sem perda de generalidade, suponhamos que w =
v
1
. . .v
k+1
e portanto (w) = f
k+2
. . .f
n+1
. Assim, ker((w)) = f
k+2
, . . . , f
n+1
. Da
12
mesma forma, ker((w))) = v
1
, . . . , v
k+1
e portanto Ann(ker((w))) = f
k+2
, . . . , f
n+1
.
Equivalentemente, temos que as imagens de suas func oes transpostas
(w)

:
k+2
(V

) V

, (w)

:
nk+1
(V ) V
s ao os anuladores uma da outra. De fato,
Im((w)

) = Ann(ker((w))) = ker((w)) = Ann(Im((w)

)).
Portanto, [w] G(k, n) se, e somente se, para todo
k+2
(V

) e
nk+1
(V ),
temos
(w)

() ((w)

()) = 0.
Proposicao 1.12. Seja w =

i
1
<...<i
k+1
a
i
1
...i
k+1
e
i
1
. . . e
i
k+1

k+1
(V ). Entao w e
totalmente decomponvel se, e somente se,
w
_
n+1

j=1
a
j
1
...j
k
j
e
j
_
= 0
para todo j
1
< . . . < j
k
. (Para determinar o coeciente a
j
1
...j
k
j
para j
k
> j assuma que
a
...ij...
= a
...ji...
).
Demonstracao. (=) Suponhamos que w e totalmente decomponvel, onde sem perdas
assumimos que w = e
1
. . . e
k+1
. Sendo assim, temos que
a
i
1
...i
k+1
= 0 se (i
1
, . . . , i
k+1
) ,= (1, . . . , k + 1). (1.4)
Suponha que
w
n+1

j
a
j
1
...j
k
j
e
j
,= 0,
ou seja, existe alguma sequencia j
1
< . . . < j
k
tal que
n+1

j
a
j
1
...j
k
j
e
1
. . . e
k+1
e
j
,= 0. (1.5)
Observe que um termo deste somatorio e nulo sempre que:
i) j 1, . . . , k + 1 pois contem e
1
. . . e
k+1
e
j
;
ii) j j
1
, . . . , j
k
pois contem os coecientes a
j
1
...j
k
j
.
Sendo (1.5) n ao nulo temos que existe j / 1, . . . , k+1j
1
, . . . , j
k
, tal que a
j
1
,...,j
k
j
,= 0.
Mas isto contradiz (1.4).
13
(=) Seja w =

a
i
1
...i
k+1
e
i
1
. . . e
i
k+1
,= 0, digamos a
1...k+1
,= 0. Suponha que w n ao
e totalmente decomponvel. Assim, o espaco dos vetores que dividem w tem dimensao
no maximo k. De fato, considerando a aplicac ao (w) : V
k+2
(V ) (Proposicao
1.8) temos que w e totalmente decomponvel se, e somente se, o posto de (w) e no
m aximo n k, ou melhor, o n ucleo de (w) e k + 1. Portanto, se w e nao decomponvel
ent ao dim(ker((w))) k. Note que ker((w)) e exatamente o conjunto dos vetores que
dividem w. Por outro lado, como
_
_

i
1
<...<i
k+1
a
i
1
...i
k+1
e
i
1
. . . e
i
k+1
_
_

j
a
j
1
...j
k
j
e
j
_
= 0
para todo j
1
< . . . < j
k
1, . . . , , . . . , k + 1, o espa co gerado pelos vetores
= 1 = v
1
=

a
j
2
...j
k+1
j
e
j
= a
2...k+11
e
1
+ . . . 0 . . . + a
2...k+1k+2
e
k+2
+ . . . a
2...k+1n+1
e
n+1
.
.
.
= k + 1 = v
k+1
=

a
j
1
...j
k
j
e
j
= 0 + a
1...kk+1
e
k+1
+ a
1...kk+2
e
k+2
+ . . . a
2...kn+1
e
n+1
divide w e tem dimens ao k + 1. De fato, veja que eles s ao linearmente independentes

1
v
1
+ . . . +
k+1
v
k+1
= 0
(
1
a
2...k+11
, . . . ,
k+1
a
1...kk+1
, f
k+2
, . . . , f
n+1
) = (0, . . . , 0)

1
= . . . =
k+1
= 0.
Mas isto e uma contradicao
1
.
Exemplo 1.13. Para o caso em que k = 1 e para todo q xo temos a seguinte relac ao
_

i<j
a
ij
e
i
e
j
_

s
a
qs
e
s
_
= 0.
Nesta realc ao o ceciente de e
i
e
j
e
s
e igual a a
ij
a
qs
a
is
a
qj
+ a
js
a
qi
e a equac ao
a
ij
a
qs
a
is
a
qj
+ a
js
a
qi
= 0 e nao trivial se, e somente se, i, j, q, s s ao distintos. Portanto,
a equac ao que dene G(1, 3), como j a sabemos e igual a
a
12
a
34
a
13
a
24
+ a
14
a
23
= 0.
De agora em diante nos empenharemos em calcular a dimensao de G(k, n). Seja
G(k, n) em P
N
e r = (r
1
, . . . , r
k+1
) uma cole cao de ndices 0 r
0
< . . . < r
k+1
n + 1.
Denamos os seguintes conjuntos:
1
Usamos para indicar que o inteiro foi removido do conjunto 1, . . . , , . . . , k + 1
14
(i) U
r
= p = (. . . : p(j
1
, . . . , j
k+1
) : . . .) G(k, n); p(r
1
, . . . , r
k+1
) ,= 0;
(ii) M
r
= (x
ij
) M
(k+1)(n+1)
; a submatriz (x
ir
l
), l = 1, . . . , k + 1 seja a identidade.
As matrizes dadas em (ii) s ao da seguinte forma
(x
ij
) =
_
_
_
_
_
_
_
_
1 0 . . . 0 x
1k+2
. . . x
1n+1
0 1 . . . 0 x
2k+2
. . . x
2n+1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . . 1 x
k+1k+2
. . . x
k+1n+1
_
_
_
_
_
_
_
_
(1.6)
onde, sem perdas, estamos supondo r
l
= l.

E facil ver que M
r
e isomorfo a k
(k+1)(nk)
.
Proposicao 1.14. Existe uma bijecao entre os conjuntos U
r
e M
r
.
Demonstracao. Dada uma matriz (x
ij
) M
r
basta associa-la ao ponto p U
r
de coor-
denadas p(j
1
, . . . , j
k+1
) = det(x
ij

), 1 j
1
< . . . < j
k+1
n + 1 e = 1, . . . , k + 1,
que s ao exatamente as coordenadas de Plucker associadas a (x
ij
). Por outro lado, dado
p = (. . . : p(j
1
, . . . , j
k+1
) : . . .) U
r
basta associa-lo ` a matriz M
r
cujas entradas s ao
x
ij
= p(r
1
, . . . , r
i1
, j, r
i+1
, . . . , r
k+1
)/p(r
1
, . . . , r
k+1
).
Note que toda matriz, cujo um certo menor tem determinante nao nulo, admite uma
unica representac ao na qual este menor e a matriz identidade. Portanto, temos que
G(k, n) pode ser coberto por c opias de k
(k+1)(nk)
, onde cada c opia esta associada a um
conjunto U
r
formado pelos pontos p P
N
em que uma certa coordenada xa e n ao nula.
Temos exatamanente N +1 destes conjuntos U
r
e portanto, acabamos de obter o seguinte
resultado:
dim(G(k, n)) = (k + 1)(n k).
Alem do que foi visto ate agora, a Grassmanniana pode ser vista localmente como o
gr aco de uma aplicacao. Para ver isto observe que as rela coes de Plucker ocorrem em
n umero de N(k+1)(nk) (este n umero e a dimensao do espaco de chegada da aplicacao)
e estas relac oes dependem de (k + 1)(n k) variaveis (sendo este n umero a dimens ao do
domnio). Portanto, G(k, n) admite uma representa cao graca (local). Se estivermos
trabalhando com os k-planos cujo primeiro menor e dado pela matriz identidade (como
visto em (1.6)). A aplicac ao associada a esta carta am pode ser dada por:
: k
(k+1)(nk)
k
N(k+1)(nk)
(x
1k+2
, . . . , x
k+1n+1
) (R
1
, . . . , R
N(k+1)(nk)
)
,
15
onde os R
i
s sao as relacoes de Plucker.
Para nalizar esta se cao vejamos um ultimo resultado a cerca das Grassmannianas.
Proposicao 1.15. A Grassmanniana G(k, n) e irredutvel.
Demonstracao. Consideremos o espaco vetorial
k+1
(V ) com
V
= e
1
, . . . , e
n+1
. Assim
temos que

k+1
(V )
e formado pelos vetores e
H
= e
i
1
. . . e
i
k+1
para todo subconjunto
H 1, . . . , n + 1 de k + 1 elementos i
1
< . . . < i
k+1
. Dessa forma a Grassmanniana
G(k, n) pode ser coberta por abertos U
H
= G(k, n)U

H
, onde U

H
corresponde aos pontos
de P
N
cuja coordenada correspondente a e
H
e n ao nula. Como visto anteriormente,
cada U
H
e isomorfo a k
(nk)(k+1)
e portanto irredutvel. Assim, e suciente mostrar que
U
H
U
J
,= para H ,= J. Seja HJ =
0
, . . . ,
s
. Consideremos os seguintes conjuntos
H H J =
s+1
, . . . ,
k
, J H J =
s+1
, . . . ,
k
.
Temos que
W =

0
, . . . , e

s
, e

s+1
+ e

s+1
, . . . , e

k
+ e

k
_
e tal que (W) U
H
U
J
, onde e dada em (1.1).
Captulo 2
Variedade de Fano
Neste captulo trataremos de fato o tema a que este trabalho se prop oe discutir, a
Variedade de Fano. Inicialmente apresentaremos algumas denic oes e exemplos. Logo
ap os trataremos da correspondencia incidente entre as hipersuperfcies X de grau d e
os k-planos de P
n
. A ttulo de ilustracao a cerca da correspondencia incidente, apre-
sentaremos um estudo sucinto da variedade de retas de um superfcie de P
3
, onde estaremos
interessados no c alculo da sua dimensao. Por m, enunciaremos o Teorema 2.15, que ser a
central neste trabalho e tambem um dos mais importantes resultados no que diz respeito
ao estudo das variedades de Fano sobre corpos de caracterstica zero. Ele nos permitira
armar em que casos a variedade de k-planos de uma hipersuperfcie e nao vazia e nos
fornecer a a sua dimensao.
2.1 Variedade de Fano
Nesta sec ao deniremos a Variedade de Fano e daremos dois exemplos nos quais
calculamos de forma explcita esta variedade.
Denicao 2.1. Seja X P
n
uma variedade projetiva. A Variedade de Fano F
k
(X)
associada a X e a subvariedade da Grassmanniana G(k, n) dada por
F
k
(X) = G(k, n); X.
Diante da denic ao acima surgem algumas quest oes interessantes:
i) X contem algum subespaco de dimensao k, onde k > 0?
ii) Qual a dimens ao da variedade de k-planos F
k
(X) que est a em X?
16
17
Para o caso em que X e uma hipersuperfcie de grau d 3, contida em P
n
, o Teorema
2.15. assegura respostas para estas quest oes.
Proposicao 2.2. A variedade de Fano e uma subvariedade da Grassmanniana.
Demonstracao. Considere o aberto U = G(k, n) U
1
, onde U
1
corresponde a parte am
de P(
k+1
(V )), cujos pontos tem a primeira coordenada diferente de zero.

E suciente
mostrar que F
k
(X) U e uma variedade am para todo U G(k, n). Podemos, sem
perda de generalidade, supor que X seja uma hipersuperfcie. Neste caso, temos que X e
denida por um polinomio homogeneo G(x) = G(x
0
, . . . , x
n
) de grau d. Como X e uma
hipersuperfcie temos que X se, e somente se, G[

e identicamente nulo. Seja U

parametrizado por (u
0
: ... : u
k
) (u
i

i
), onde
i
e a i-esima linha da matriz
A =
_
_
_
_
_
_
_
_
1 0 . . . 0 a
1k+2
. . . a
1n+1
0 1 . . . 0 a
2k+2
. . . a
2n+1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . . 1 a
k+1k+2
. . . a
k+1n+1
_
_
_
_
_
_
_
_
.
Note que esta parametrizac ao e tal que o polin omio homogeneo G(u
i

i
) possui o mesmo
grau d quando visto em relac ao as variaveis u
i
do espaco . Queremos que os coecientes
deste polin omio, que sao polin omios em a
ij
, se anulem. Esta condic ao ocorre se, e somente
se, G[

0. Desta forma acabamos de obter equa coes polinomiais em a

ij
que denem
F
k
(X) U. Logo, F
k
(X) e uma subvariedade projetiva fechada de G(k, n). Para nalizar
a prova, observe que, quando supomos que X e uma hipersuperfcie n ao ocorrem perdas,
uma vez que, de maneira geral, F
k
(X) e a intersecc ao em G(k, n) das variedades de Fano
de todas as hipersuperfcies que a contem.
Agora vejamos dois exemplos nos quais explicitamos as variedades de Fano.
Exemplo 2.3. Neste exemplo determinaremos todas as retas contidas na c ubica
C : x
3
0
+ x
3
1
+ x
3
2
+ x
3
3
= 0 em P
3
sobre o corpo dos complexos. Isto e o mesmo que
determinar a variedade de Fano
F
1
(C) = 1 planos G(1, 3); C .
Solucao. A menos de uma permutacao de coordenadas, toda reta em P
3
pode ser escrita
da seguinte maneira:
_
_
_
x
0
= ax
2
+ bx
3
x
1
= cx
2
+ dx
3
18
Substituindo as equacoes acima em C temos:
(ax
2
+ bx
3
)
3
+ (cx
2
+ dx
3
)
3
+ x
3
2
+ x
3
3
= 0
a
3
x
3
2
+ 3a
2
bx
2
2
x
3
+ 3ab
2
x
2
x
2
3
+ b
3
x
3
3
+ c
3
x
3
2
+ 3c
2
dx
2
2
x
3
+ 3cd
2
x
2
x
2
3
+ d
3
x
3
3
+ x
3
2
+ x
3
3
= 0
(a
3
+ c
3
+ 1)x
3
2
+ (3a
2
b + 3c
2
d)x
2
2
x
3
+ (3ab
2
+ 3cd
2
)x
2
x
2
3
+ (b
3
+ d
3
+ 1)x
3
3
= 0.
Por meio de igualdade de polinomios temos que:
_

_
(a
3
+ c
3
+ 1)x
3
2
= 0x
3
2
(3a
2
b + 3c
2
d)x
2
2
x
3
= 0x
2
2
x
3
(3ab
2
+ 3cd
2
)x
2
x
2
3
= 0x
2
x
2
3
(b
3
+ d
3
+ 1)x
4
3
= 0x
3
3
_

_
a
3
+ c
3
= 1 (L
1
)
3a
2
b = 3c
2
d (L
2
)
3ab
2
= 3cd
2
(L
3
)
b
3
+ d
3
= 1 (L
4
)
Agora suponhamos que a, b, c, d sejam nao nulos. Pois bem, consideremos as seguintes
operac oes nas linhas do sistema: L
2
2
/L
3
a
3
= c
3
Mas isto gera um absurdo em L
1
pois
ao considerarmos a relac ao a
3
= c
3
obtemos 0 = 1. Da mesma forma considerando a
seguinte operac ao L
2
3
/L
2
b
3
= d
3
que gera o mesmo absurdo anterior. Sendo assim,
suponhamos que a = 0 c =
i
d = 0 b =
j
onde e a raz c ubica da
unidade e i, j 0, 1, 2. Portanto,
_
_
_
x
0
=
i
x
3
, i 0, 1, 2
x
1
=
j
x
2
, j 0, 1, 2
Note que variando i e j obtemos nove retas. Mas ao permutarmos as
vari aveis x
0
, x
1
, x
2
, x
3
obtemos outros dois sistemas
_
_
_
x
0
=
i
x
1
x
2
=
j
x
3
e
_
_
_
x
0
=
i
x
2
x
1
=
j
x
3
Veja que os sistemas acima nos fornecem mais 9 retas cada um. Portanto, encontramos
9 + 9 + 9 = 27 retas. Na verdade, ocorre um fato curioso: Toda superfcie c ubica sem
pontos singulares contem exatamente 27 retas, conforme ser a visto no proximo captulo.
19
Exemplo 2.4. Encontremos as duas famlias de retas de uma qu adrica suave Q de P
3
.
Temos que uma quadrica de P
3
tem a seguinte forma
ax
2
0
+ bx
2
1
+ cx
2
2
+ dx
2
3
+ ex
0
x
1
+ fx
0
x
2
+ gx
0
x
3
+ hx
1
x
2
+ ix
1
x
3
+ jx
2
x
3
= 0.
Podemos tomar a representac ao matricial de Q, que neste caso e dada por uma matriz
simetrica e portanto existe uma base na qual Q e dada por uma matriz diagonal. Logo,
sendo Q suave, ela pode ser representada por uma equac ao da forma
Q : a

x
2
0
+ b

x
2
1
c

x
2
2
d

x
2
3
= 0, (2.1)
onde a

, b

, c

, d

,= 0. Por meio da seguinte mudanca de coordenadas de P

3
x
0
=
y
0
+ a

y
1
a

, x
2
=
y
0
a

y
1

, x
1
=
y
2
b

y
3
b

, x
3
=
y
2
+ b

y
3

podemos escrever (2.1) da seguinte maneira

y
0
y
1
= y
2
y
3
()
Esta superfcie contem duas famlias de retas, a saber:
y
0
= ay
2
, ay
1
= y
3
, y
0
= by
3
, by
1
= y
2
.
De fato, temos que uma reta de P
3
pode ser escrita da seguinte forma:
_
_
_
y
0
= ay
2
+ by
3
y
1
= cy
2
+ dy
3
Substituindo estas equacoes em () temos:
(ay
2
+ by
3
)(cy
2
+ dy
3
) = y
2
y
3
.
Por meio de igualdade de polinomios obtemos as seguintes relac oes:
_

_
ac = 0 (L
1
)
bd = 0 (L
2
)
ad + bc 1 = 0 (L
3
)
i) Na linha L
1
temos que a = 0 ou c = 0. Suponhamos que a = 0. Substituindo na linha
L
3
obtemos bc = 1. Em particular, b ,= 0 e c ,= 0. Observando L
2
temos que d = 0.
ii) Por outro lado, se supormos c = 0 obtemos ad = 1 e b = 0.
Isto conclui o nosso exemplo.
20
No exemplo acima vemos que a varieda de Fano F
1
(Q) e composta de duas famlias
de retas. Surge ent ao uma quest ao interessante a cerca da irredutibilidade: Em que casos
F
k
(X) e irredutvel, onde X hipersuperfcie de grau d? Neste caso recomenda-se a leitura
de [16].
2.2 Correspondencia Incidente
Nos Exemplos 2.3 e 2.4 descrevemos, de forma explcita, a variedade de Fano de retas
da c ubica C : x
3
0
+ x
3
1
+ x
3
2
+ x
3
3
= 0 e a variedade de Fano de retas de uma quadrica
suave de P
3
sobre os complexos. Agora, no entanto, trataremos de estimar a dimens ao de
F
k
(X) no caso em X seja uma hipersuperfcie de grau d em P
n
. Agora listemos alguns
resultados que iremos utilizar nesta tarefa.
Denicao 2.5. Uma variedade quase-projetiva e um subconjunto aberto de um conjunto
projetivo fechado. Equivalentemente uma variedade e dita quase-projetiva se for isomorfa
a um aberto de uma variedade projetiva.
Proposicao 2.6. Se Y X, entao dim(Y ) dim(X). Se X e irredutvel, Y e fechado
em X e dim(Y ) = dim(X), entao X = Y .
Demonstracao. Este e o Teorema 1 de [2] pag. 68.
Proposicao 2.7. Seja X uma variedade irredutvel quase-projetiva e f : X P
n
uma
funcao regular e seja Y = f(X) o fecho da imagem. Para todo x X, seja X
x
=
f
1
(f(x)) X a bra de f sobre x. Temos que:
(i) Para todo x X, dim
x
(X
x
) dim
x
(X) dim
f(x)
(Y ), com igualdade valida em um
subconjunto aberto nao vazio de X. A funcao dim
x
(X
x
) e semicontnua superiormente em
X, isto e, para todo inteiro o conjunto dos pontos x tais que dim
x
(X
x
) e fechado.
(ii) Se X e projetivo entao para todo y Y temos dim(f
1
(y)) dim(X) dim(Y ),
com igualdade valida em um subconjunto aberto nao vazio de Y. A funcao dim(f
1
(y)) e
semicontnua superiormente para todo y Y .
Demonstracao. A parte (i), onde consideramos variedades quase-projetivas, corresponde
ao Teorema 11.12 [1], enquanto que a parte (ii) corresponde ao Teorema 7 da Se cao 1.6.3
de [2]. Este resultado e o Teorema da Dimens ao das Fibras (TDF).
21
Proposicao 2.8. A imagem de uma variedade projetiva por uma funcao regular e um
conjunto fechado.
Demonstracao. Este resultado pode ser encontrado em [2] pag. 57.
Proposicao 2.9. Se f : X Y e uma funcao regular entre variedades projetivas com
f(X) = Y , e se Y e irredutvel e as bras f
1
(y) sao irredutveis e de mesma dimensao,
entao X e irredutvel.
Demonstracao. Suponha que X = X
i
, onde X
i
e uma subvariedade fechada irredutvel
de X. Para todo y Y considere a dimens ao dim
i
(f
1
(y)) da bra de
f
i
= f[
X
i
: X
i
Y . Agora, para cada y seja = max(dim
i
(f
1
(y))). Desde de que
cada dim
i
e superiormente semicontnua (Proposic ao 2.7 (ii)), temos que existe j tal que
dim
j
= . Note ainda que Y = f(X
i
), onde f(X
i
) e fechado (Proposic ao 2.8) e sendo
Y irredutvel temos que Y = f(X
i
0
), onde suporemos i
0
= j. Usando o fato de toda
a bra f
1
(y) ser irredutvel e de mesma dimens ao , temos que f
1
(y) X
j
. Logo,
f
1
(y) f
1
j
(y) onde estamos considerando a func ao restri cao f
j
= f[
X
j
: X
j
Y .
Sendo a inclus ao f
1
j
(y) f
1
(y) obvia conclumos que f
1
j
(y) = f
1
(y) e portanto
X
j
= X, isto e X e irredutvel.
Seja
S = x

0
0
. . . x

n
n
;
0
+ . . . +
n
= d
o conjunto de mon omios de grau d de P
n
. Este conjunto forma uma base para o espaco P
M
que parametriza todas as formas de grau d nas n +1 variaveis x
0
, . . . , x
n
. Em particular,
M + 1 =
_
n+d
d
_
.

E conveniente denirmos neste momento o mergulho de Veronese (que ser a bastante

utilizada nos Captulos 3 e 4). Considere o mapa

d
: P
n
P
M
(x
0
: . . . : x
n
) (. . . : x
l
: . . .)
onde cada coordenada x
l
e dada por um monomio de grau d, isto e, x
l
= x

0l
0
. . . x

nl
n
com
[[ = d. A aplicacao
d
e chamada de d-esimo mergulho de Veronese de P
n
. A imagem

d
(P
n
) P
M
e chamada de variedade de Veronese. De fato, basta observar que
x
i
0
0
. . . x
i
n
n
.x
j
0
0
. . . x
j
n
n
= x
k
0
0
. . . x
k
n
n
.x
m
0
0
. . . x
m
n
n
se i
0
+j
0
= k
0
+m
0
, . . . , i
n
+j
n
= = k
n
+m
n
.
22
Exemplo 2.10. Consideremos a aplicacao

2
: P
2
P
5
(x
0
: x
1
: x
2
) (x
0
2
: x
1
2
: x
2
2
: x
0
x
1
: x
0
x
2
: x
1
x
2
) = (z
0
: . . . : z
5
)
A imagem desta aplicac ao e chamada de superfcie Veronese. Para ver que a imagem
desta aplicac ao e de fato uma variedade observe que: A imagem de
2
e descrita pelo
local dos pontos (z
0
: . . . : z
5
) P
5
tais que a matriz
_
_
_
_
_
z
0
z
3
z
4
z
3
z
1
z
5
z
4
z
5
z
2
_
_
_
_
_
tem posto 1.
Mostraremos agora a importante correspondencia incidente entre as hipersuperfcies
X de grau d em P
n
e os k-planos de P
n
. Considere o conjunto
= (X, ); X P
M
G(k, n).
Note que e formado por duas subvariedades de P
n
, sendo que uma esta contida na outra.
Considere a seguinte aplica cao:
: P
n
P
m
P
(n+1)(m+1)1
denida por mandar o par ((x), (y)) em um ponto de P
(n+1)(m+1)1
cujas coordenadas sao
os produtos dois a dois das coordenadas de (x) e (y), isto e,
: ((x
0
, . . . , x
n
), (y
0
, . . . , y
m
)) (. . . , x
i
y
j
, . . .).
A esta aplica cao da-se o nome de imersao de Segre.
Veja que a imagem da imers ao de Segre e uma variedade algebrica que recebe o nome
de variedade de Segre. Se denotarmos o espaco de chegada P
(n+1)(m+1)1
com coordenadas
w
ij
veremos que este sera o local dos zeros dos polin omios quadr aticos w
ij
w
kl
w
il
w
kj
.
Observe que o espa co P
(n+1)(m+1)1
tambem pode ser visto como uma matriz de posto 1,
conseguida pelo produto das matrizes: (x
i1
) formada pelas componentes de P
n
e a matriz
(y
1j
) formada pelas componentes de P
m
. As equacoes algebricas que denem a imagem
de como uma variedade s ao obtidas pelo anulamento dos menores de ordem 2 2 da
matriz (w
ij
) = (x
i1
)(y
1j
).
23
Proposicao 2.11. Seja = (X, ); X P
M
G(k, n). Temos que se trata de
uma subvariedade fechada de P
M
G(k, n).
Demonstracao. Tome o sistema de coordenadas locais U = U
1
U
2
P
M
G(k, n) onde
U
1
tem a forma
U
1
= (G(x)) P
M
; G(x) = x

0
+

l
=
0
b

l
x

e U
2
tem as coordenadas ans (a
ij
) como em (1.6). Estamos admitindo que
x

l
= x

0l
1
. . . x

nl
n
, onde [
l
[ = d e 0 l M. Devemos mostrar que e uma variedade
am nas coordenadas ans de U. Note que
U = U
1
U
2
P
M
G(k, n) P
M
P
N
P
(
n+d
d
)(
n+1
d+1
)
1
.
Sendo assim, por meio da imersao de Segre, obtemos coordendas n ao homogeneas em U
nas variaveis b

l
, a
ij
. Seja (u
0
: . . . : u
k
) (

u
i

i
) a parametrizac ao de em U.
Desta forma temos que G() e um polin omio homogeneo nas variaveis u
i
cujos coecientes
s ao polin omios duplamente n ao homogeneos nos coecientes b

l
e a
ij
. Estes polin omios
devem ser nulos, mas isto ocorre se, e somente se, G() 0. Logo, e uma variedade nas
coordenadas de U denida pelo anulamento dos polin omios nas vari aveis b

l
e a
ij
.
Examinemos as bras de considerando as suas projec oes
1
,
2
. Note que a bra
de sobre um ponto X P
M
e exatamente a variedade de Fano F
k
(X). Veremos mais
adiante que a imagem da primeira projec ao
1
: P
M
tem dimens ao m axima se
d ,= 2. Isto signica que
1
ser a injetiva quando dim() M e sobrejetiva quando
dim() M. Alem disso, a segunda projec ao
2
e sobrejetiva, ou seja, dado um k-plano
G(k, n) existe uma hipersuperfcie X P
n
de grau d que o contem. De fato, basta
escolher um sistema de coordenadas homogeneas x
0
, . . . , x
n
em P
n
tal que e dado por
x
k+1
= . . . = x
n
= 0 (**) e considerar um polinomio qualquer
G(x
0
, . . . , x
n
) = f
k+1
(x
0
, . . . , x
n
)x
k+1
+ . . . + f
n
(x
0
, . . . , x
n
)x
n
,
onde os f
j
s ao mon omios de grau d 1 nas variaveis x
0
, . . . , x
n
.
Agora calcularemos a dimensao de . Considerando a segunda proje cao

2
: G(k, n) temos que a bra sobre G(k, n) e o espaco dos polin omios de grau
d de P
n
contendo . Considerando o sistema de coordenadas (**) temos o seguinte mapa
24
Polin omios de grau d emP
n
Polin omios de grau d em

= P
k
x
n
1
i
1
. . . x
n
m
i
m
x
n
1
i
1
. . . x
n
m
i
m
se x
i
1
, . . . , x
i
m
x
k+1
. . . , x
n
=
x
n
1
i
1
. . . x
n
m
i
m
0 se x
i
1
, . . . , x
i
m
x
k+1
. . . , x
n
, =
que e linear e sobrejetivo. Alem disso o n ucleo deste mapa e um subespaco linear de
dimens ao
_
d+n
d
_

_
d+k
d
_
cuja projetivizac ao e a bra de
2
sobre . Como as bras

1
2
() s ao todas irredutveis e de mesma dimensao e sendo G(k, n) irredutvel, temos
pela Proposi cao 2.9 que e irredutvel. Portanto, pelo TDF temos que
dim() dim(G(k, n)) + dim(
1
2
()) =
(n k)(k + 1) +
_
d + n
d
_

_
d + k
d
_
1.
Mas, sendo toda bra
1
2
() de mesma dimens ao temos a igualdade, isto e
dim() = dim(G(k, n)) + dim(
1
2
()).
Por outro lado, analisando a proje cao
1
: P
M
, temos:
i) Para o caso em que dim() M o TDF assegura que
dim(F
k
(X)) dim() dim(P
M
) = (n, k, d),
que se trata de uma igualdade em um aberto denso, isto e
dim(F
k
(X)) = (n, k, d)
para uma hipersuperfcie geral X.
ii)

E f acil ver que se dim() < M, ent ao F
k
(X) = para uma hipersuperfcie geral X,
pois a imagem de ser a um fechado pr oprio de P
M
.
2.3 Retas em uma Superfcie em P
3
Nesta se cao apresentaremos um caso particular do Teorema 2.15 que sera visto logo
mais. Estudaremos a dimens ao da variedade de Fano de retas, F
1
(X), de uma superfcie
X P
3
de grau d.
Seja
3
o conjunto dos pares (X, ) P
M
G(1, 3), onde X e uma superfcie de grau
d de P
3
e P
M
o espaco que parametriza estas superfcies. Temos que
3
e uma variedade
25
projetiva (Proposic ao 2.11). Da correspondencia incidente vista na Se cao 2.2 temos:
i)
2
(
3
) = G(1, 3);
ii) dim(
1
2
()) =
_
d+3
d
_

_
d+1
d
_
1 =
d(d+1)(d+5)
6
1;
iii)
3
e irredutvel e dim(
3
) = dim(
2
(
3
)) + dim(
1
2
()) =
d(d+1)(d+5)
6
+ 3.
Alem disso a func ao
1
:
3
P
M
possui imagem fechada (Proposi cao 2.8) e portanto
temos que dim(
1
(
3
)) dim(
3
). Portanto, se dim(
3
) < M ent ao
1
(
3
) ,= P
M
.
Conclui-se da que, nem toda superfcie de grau d contem retas. Substituindo os devidos
valores na desigualdade dim(
3
) < M obtemos,
d(d + 1)(d + 5)
6
+ 3 <
(d + 1)(d + 2)(d + 3)
6
1
que e uma inequa cao verdadeira para d > 3. Portanto, acabamos de obter o seguinte
resultado.
Proposicao 2.12. Para todo d > 3 existe uma superfcie X de grau d que nao contem
nenhuma reta. O conjunto destas superfcies forma um aberto de P
M
.
Assim, dada uma superfcie X P
3
, de grau d > 3, podemos recorrer ao resultado
seguinte que utiliza coordenadas de Plucker, para estudar sua variedade de Fano F
1
(X).
Proposicao 2.13. As condicoes para uma reta l, em coordenadas de Plucker p
ij
, per-
tencer a uma superfcie X, dada pela equacao F = 0, sao relacoes algebricas entre os p
ij
e os coecientes de F que sao homogeneos ambos em p
ij
e nos coecientes de F.
Demonstracao. Consideremos a reta l parametrizada em coordenadas de Plucker. Tome
u, v dois vetores formando uma base para o plano V , tal que
dim() = 2 e dim(V ) = 4. Assim, o conjunto dos vetores da forma uf(v) vf(u) (*),
onde f percorre o espaco de todas as formas lineares em V , coincidem com . Supondo
que f tenha coordenadas (
0
,
1
,
2
,
3
), ou melhor, se f(u) =
i
u
i
, ent ao os vetores (*)
tem coordenadas z
i
=

3
j=0

j
p
ij
, onde p
ij
= u
i
v
j
u
j
v
i
. Desta forma, se l e uma reta em
coordenadas de Plucker p
ij
, os pontos de l tem coordenadas

3
j=0

j
p
ij
para j = 0, 1, 2, 3.
Substituindo estas express oes na equa cao F(m
0
, m
1
, m
2
, m
3
) = 0 e igualando a zero os
coecientes de todos os monomios em
i
, acabamos de obter condic oes para que l X.
Estas condic oes estao sob a forma de relac oes algebricas entre os coecientes de F e as
coordenadas de Plucker p
ij
.
26
Assim, obtemos relac oes algebricas entre os coecientes de uma forma
F(m
0
, m
1
, m
2
, m
3
) de grau d > 3, que ser ao condic oes necess arias e sucientes para que
uma superfcie dada por F = 0 contenha uma reta.
Ainda nao terminamos o nosso trabalho. Vejamos os casos em que X e uma superfcie
de grau d = 1, 2, 3, onde asseguramos que a variedade de Fano F
1
(X) e n ao vazia.
i) d = 1;
Este caso e trivial, pois F = 0 se trata da uma equa cao linear, que obviamente, deve
conter retas.
ii) d = 2;
No caso em que d = 2 temos que M = 9, dim(
3
) = 10 e portanto dim(
1
1
(X)) 1.
Logo, podemos dizer que toda quadrica suave contem aos menos uma reta. Para ilustrar
este caso temos o Exemplo 2.4 mostrando que toda quadrica de P
3
contem innitas retas,
isto e, F
1
(Q) ,= em um aberto denso.
iii) d = 3.
Para d = 3 temos M = 19 e dim(
3
) = 19 e portanto dim(
1
1
(X)) 0. O que dizer neste
caso? Lembre-se de que no Exemplo 2.3 foi exibida uma superfcie c ubica que contem
somente um n umero nito de retas. A partir deste exemplo temos que existe um ponto
X

P
19
cuja bra e n ao vazia e alem disso dim(
1
1
(X

)) = 0. Mas pelo TDF temos que

isso e possvel somente se dim(
1
(
3
)) = 19. De fato,
0 = dim(
1
1
(X

)) dim(
3
) dim(
1
(
3
)) dim(
1
(
3
)) dim(
3
).
Usando o fato de que dim(
3
) dim(
1
(
3
)) temos a igualdade desejada. Como
1
(
3
)
e fechado em P
19
segue que
1
(
3
) = P
19
(Proposic ao 2.6 ).
Diante das informac oes de iii) acabamos de obter a seguinte proposic ao.
Proposicao 2.14. Toda superfcie c ubica contem ao menos uma reta. Existe um sub-
conjunto aberto U do espaco P
19
parametrizando todas as superfcies c ubicas tal que uma
superfcie correspondente a um ponto de U contem somente um n umero nito de retas.
Superfcies c ubicas que contem innitas retas existem, como e o caso dos cones c ubicos,
muito embora estaremos considerando, no proximo captulo, superfcies c ubicas suaves de
P
3
. Neste caso, teremos que toda c ubica possuir a um n umero xo de retas.
27
2.4 O Teorema Principal
Veremos agora que, dada uma hipersuperfcie geral X P
n
de grau d 3, o n umero
(n, k, d) nos possibilitara responder se F
k
(X) e ou nao uma variedade vazia, e sendo nao
vazia, qual a sua dimens ao. O resultado que segue e um dos mais importantes no que diz
respeito a esta questao e ele estabelece uma relac ao entre os parametros n, k, d.
Teorema 2.15. Seja X P
n
uma hipersuperfcie geral de grau d sobre um corpo de
caracterstica zero e F
k
(X) a variedade de Fano de k-planos contidos em X. Se d 3 e
(n, k, d) = (n k)(k + 1)
_
k+d
k
_
, entao
i) F
k
(X) = se (n, k, d) < 0;
ii) F
k
(X) e uma variedade suave nao vazia de dimensao (n, k, d) se (n, k, d) 0.
Demonstracao. Apresentaremos a demonstrac ao deste resultado no captulo 4.
Para o caso em que n = 3 e k = 1 temos (3, 1, d) = (1 + 1).(3 1)
_
d+1
d
_
= 3 d.
Como conclumos na sec ao anterior uma superfcie geral X P
3
, de grau d > 3 n ao deve
conter nenhuma reta. Alem disso temos que o n umero 3 d e exatamente a dimens ao da
variedade de Fano de retas de uma superfcie X P
3
de grau d.
Note que o Teorema 2.15 e valido para uma hipersuperfcie geral X, e nao para toda
hipersuperfcie. Tomemos por exemplo a seguinte quartica Q P
3
Q : x
4
0
+ x
4
1
x
4
2
x
4
3
= 0.
Temos neste caso
n = 3, k = 1, d = 4 = (n, k, d) = (3 1)(1 + 1)
_
1 + 4
1
_
= 4 5 = 1.
No entanto, F
1
(Q) ,= . Em particular a reta x
0
= x
2
, x
1
= x
3
pertence a F
1
(Q).
Exemplo 2.16. Mostremos agora que a hip otese do Teorema 2.15 de que d 3 e
necess aria. De fato, considere o caso em que n = 4, d = 2 e k = 2 que sao os 2-planos em
uma qu adrica suave Q de P
4
, ou seja F
2
(Q). Temos que = (2+1)(42)
_
2+2
2
_
= 0.Tome
a qu adrica Q = ax
2
0
+ bx
2
1
+ cx
2
2
+ dx
2
3
+ ex
2
4
. Note que a condic ao de esta qu adrica n ao
conter pontos singulares equivale a dizer que a, b, c, d, e ,= 0. Por outro lado temos que
um 2-plano de P
4
pode ser escrito da seguinte forma:
_
_
_
x
0
= Ax
2
+ Bx
3
+ Cx
4
x
1
= Dx
2
+ Ex
3
+ Fx
4
28
Substituindo estas equac oes em Q e por meio de igualdade de polin omios temos as
seguintes relac oes:
_

_
aA
2
+ bD
2
+ c = 0
aB
2
+ bE
2
+ d = 0
aC
2
+ bF
2
+ e = 0
aAB + bDE = 0
aAC + bDF = 0
aBC + bEF = 0
Queremos mostrar que este sistema nao admite solucao. Note que se A = B = C = D =
= E = F = 0 teramos o um absurdo, pois c, d, e s ao n ao-nulos. Ent ao suponhamos que
F ,= 0 = E =
aBC
bF
, D =
aAC
bF
.
Substituindo estas valores na quarta linha do nosso sistema e cancelando os denominadores
temos a seguinte equa cao:
aAB(bF
2
+ aC
2
) = 0.
Note que nao podemos ter bF
2
+aC
2
= 0 pois isto geraria um absurdo na terceira linha.
Pois bem suponhamos que
aAB = 0 = A = 0 ou B = 0.
i) A = 0 = bDF = 0 = D = 0 o que gera um absurdo na primeira linha do nosso
sistema;
ii) B = 0 = bEF = 0 = E = 0 o que gera um absurdo na segunda linha do nosso
sistema.
Os primeiros exemplos interessantes de variedades de Fano ocorrem no caso em que
(n, k, d) = 0. Dentre eles dois se destacam:
i) a variedade de Fano de retas de uma superfcie c ubica suave C P
3
, onde temos que
(3, 1, 3) = (3 1)(1 + 1)
_
3+1
3
_
= 0. Neste caso, mostra-se que F
1
(C) e composta de
exatamente 27 retas.
ii) a variedade de Fano de uma quintica Q sem pontos singulares qualquer de P
4
, onde
(4, 1, 5) = (4 1)(1 + 1)
_
5+1
1
_
= 0.

E possvel mostrar que F
1
(Q) e composta de
extamente 2875 retas conforme [1], pag. 154.
29
Proposicao 2.17. Seja X P
n
uma hipersuperfcie de grau d > 1 e seja k um inteiro tal
que 2k n. Entao todo k-plano X intersecta um local singular de X. Em particular,
se X e suave entao F
k
(X) e vazia.
Demonstracao. Escolha um sistema de coordenadas homogeneas x
0
, . . . , x
n
em P
n
tal que
e dado por x
k+1
= . . . = x
n
= 0. Seja F denindo a equac ao de X. Como X,
F(x
0
, . . . , x
k
, 0, . . . , 0) = 0. Alem disso
F
x
i
(x
0
, . . . , x
k
, 0, . . . , 0) = 0,
para todo i = 0, . . . , k. De fato, como X temos que F = f
k+1
x
k+1
+. . . +f
n
x
n
, onde
cada f
i
e uma forma de grau d 1. Como d > 1, para i = 1, . . . , n k, os polin omios
homogeneos em ,
F
x
k+i
(x
0
, . . . , x
k
, 0, . . . , 0) = f
k+i
(x
0
, . . . , x
k
, 0, . . . , 0)
s ao n ao constantes. Desde que n k k, estes n k polin omios n ao constantes tem um
zero comum em . Pelo criterio de Jacobi (Se cao 3.1) este e um ponto singular de X.
Captulo 3
As 27 retas de uma superfcie c ubica sem pontos
singulares
Neste captulo trataremos de discutir um dos problemas cl assicos da escola italiana
de Geometria Algebrica: Toda superfcie c ubica sem pontos singulares de P
3
contem
exatamente 27 retas. Ate o presente momento sabemos apenas que a variedade de Fano
de retas de tais c ubicas e nao vazia conforme visto na Proposic ao 2.14. Alem disso,
apresentaremos uma descric ao parcial acerca da disposic ao destas retas. Sendo assim, na
Sec ao 3.1 apresentaremos alguns resultados acerca da teoria necess aria para esta tarefa a
qual nalizaremos na Sec ao 3.2.
3.1 Blowup e Criterio de Jacobi

E fato conhecido da Geometria Algebrica que o c alculo da dimens ao de uma variedade

tem um car ater local.

E sabido que se duas variedades irredutveis tem subconjuntos
abertos isomorfos ent ao estas variedades tem a mesma dimens ao. Nosso papel agora
ser a estudar estas relacoes mais a fundo, o que nos possibilitar a a construc ao de uma
importante classe de variedades que, embora n ao sejam isomorfas, contenham abertos
que o s ao.
Denicao 3.1. Sejam
1
k
n
1
e
2
k
n
2
dois conjuntos algebricos irredutveis. Um
mapa :
1

2
sera chamado um morsmo se existem n
2
polinomios f
1
, . . . , f
n
2
nas variaveis x
1
, . . . , x
n
1
tais que (x) = (f
1
(x
1
, . . . , x
n
1
), . . . , f
n
2
(x
1
, . . . , x
n
1
)) para todo
ponto x = (x
1
, . . . , x
n
1
)
1
.
Consideremos duas variedades X e Y . Dizemos que um mapa f : X Y e racional
30
31
se e uma classe de equivalencia entre os pares (f[
U
, U), onde f[
U
e um morsmo de
variedades de um aberto U X em Y . Neste contexto dois pares (f[
U
, U) e (f[
U
, U

)
s ao ditos equivalentes se f[
U
e f[
U
coincidem na intersec ao U U

.
Uma func ao racional f : X Y e chamada dominante se sua imagem e densa em Y ,
ou seja, se f e dada por um morsmo f : U Y tal que f(U) contem um subconjunto
aberto n ao vazio de Y . Dois mapas racionais arbitr arios f : X Y , g : Y Z podem
n ao admitir a composi cao, mas se f for dominante ent ao existe a composta. Para ver
isto, tome U tal que f(U) contem um aberto V Y . Assim, temos que g f : X Z
e racional denida pela classe de equivalencia contendo os pares (g[
V
f[
U
, f[
1
U
(Y )).
Um mapa birracional de X em Y e um mapa dominante racional f : X Y ,
juntamente com um mapa racional tambem dominante g : Y X, onde gof = id
X
e fog = id
Y
s ao mapas racionais. Duas variedades X e Y s ao chamadas birracionais se
existe um mapa birracional entre elas, ou melhor, X e Y s ao birracionais se elas contem
subconjuntos abertos n ao vazios isomorfos.
Seja X k
n
uma variedade am, e f
0
, . . . , f
r
k[x
1
, . . . , x
n
] fun coes polinomiais que
n ao se anulem identicamente em X. Seja U = X Z(f
0
, . . . , f
r
) um conjunto aberto
n ao vazio de X, onde Z(f
0
, . . . , f
r
) indica o local dos zeros destes polinomios. Assim,
existe um morsmo bem denido f : U P
r
que leva P no ponto (f
0
(P) : . . . : f
r
(P)).
Podemos olhar o gr aco associado a este morsmo
= (P, f(P)); P U X P
r
,
que e isomorfo a U, cujo morsmo inverso e naturalmente o que mapeia (P, Q) no ponto
P. Note que, em geral, nao e fechado em X P
r
. Isso se deve ao fato de que os pontos
em X U onde (f
0
: . . . : f
r
) n ao est a bem denida como um ponto de P
r
est ao faltando.
D a-se o nome de blowup de X em (f
0
, . . . , f
r
) ao conjunto

X correspondente ao fecho de
em XP
r
. Observe que

X e um subconjunto fechado de XP
r
e irredutvel de XP
r
.
Assim,

X e uma subvariedade fechada de X P
r
. Denimos naturalmente os morsmos
projec ao
1
:

X X e
2
:

X P
r
. Um fato determinante e que tanto X quanto

X contem um subconjunto aberto denso U isomorfo, e portanto dim(X) = dim(

X). Na
verdade temos que o blowup

X e o local dos zeros das equac oes x
i
y
j
= x
j
y
i
para todo
i, j no espaco X P
r
onde estamos considerando que Z e o local dos zeros das equacoes
x
0
= . . . = x
r
= 0 e os y
0
, . . . , y
r
s ao coordenadas homogenas em P
r
.
32
Exemplo 3.2. Seja X = k
2
onde adotamos as coordenadas x
0
, x
1
. Seja f
0
= x
0
, f
1
= x
1
.
O blowup de X em (f
0
, f
1
) e uma subvariedade fechada irredutvel de k
2
P
1
. Observe
que o morsmo que mapeia o ponto (x
0
, x
1
) em suas coordenadas homogeneas (y
0
, y
1
) e
bem denido no aberto U = X (0, 0). Associado a este morsmo temos o seguinte
gr aco
= ((x
0
, x
1
), (y
0
: y
1
)); x
0
y
1
= x
1
y
0
U P
1
.
Se tomarmos o fecho de , iremos obter um conjunto dado pela mesma equa cao, mas
agora considerado como um subconjunto de k
2
P
1
:

X = ((x
0
, x
1
), (y
0
: y
1
)); x
0
y
1
= x
1
y
0
k
2
P
1
.
Veja que a imagem inversa do ponto P = (x
0
, x
1
) X (0, 0) sobre
1
corresponde a
um unico ponto ((x
0
, x
1
), (x
0
: x
1
)) porem a imagem inversa de (0, 0) X e todo o P
1
.
De fato, fazendo x
0
= x
1
= 0 n ao temos qualquer condi cao imposta a y
0
, y
1
na equac ao
x
0
y
1
= x
1
y
0
. A interpreta cao geometrica da imagem inversa
1
1
(0, 0) e a seguinte: este
ponto corresponde as direc oes tangentes em X no ponto (0, 0).
Proposicao 3.3. Seja X k
n
uma variedade am, e seja f k[x
1
, . . . , x
n
] um polinomio
nao constante que nao se anule identicamente em X. Entao toda componente irredutvel
de X Z(f) tem dimensao dim(X) 1. Neste caso dizemos que X e pura de dimensao
dim(X) 1.
Proposicao 3.4. Seja X k
n
uma variedade am, e

X o blowup de X em
I = (f
0
, . . . , f
r
). Entao o blowup

X esta contido no conjunto
(P, (y
0
: . . . : y
r
); y
i
f
j
(P) = y
j
f
i
(P), i, j = 0, . . . , r X P
r
.
Demonstracao. Por denic ao, devemos ter que (y
0
: . . . : y
r
) = (f
0
(P) : . . . : f
r
(P)) no
subconjunto aberto nao vazio X Z(I)

X. Logo estas equac oes est ao bem denidas no
fecho deste aberto, que e o proprio

X.
Proposicao 3.5. O blowup de uma variedade am X em (f
0
, . . . , f
r
) depende somente
do ideal I A(X) gerado pelos f
i
, i = 0, . . . , r.
Demonstracao. Seja (f
0
, . . . , f
r
) e (f

0
, . . . , f

s
) dois geradores de I, onde consideramos

X
e

X

os respectivos blowups de X nestes conjunto de geradores. Note que

f
i
=
s

j=0
g
ij
f

j
e f

j
=
r

k=0
g

jk
f
k
.
33
Dena ent ao o morsmo

X

X

que mapeia o ponto (P, (y

0
: . . . : y
r
)) no ponto
(P, (y

0
: . . . : y

s
)), onde escrevemos y

j
=

k
g

jk
(P)y
k
. Veja que temos um morsmo
de X P
s
, e portanto n ao podemos ter todos os y

j
simultaneamente nulos. Da relac ao
f
i
=

jk
g
ij
g

jk
f
k
e pela Proposic ao 3.4 temos que y
i
=

jk
g
ij
g

jk
y
k
em X. Portanto,
se tivessemos que y

j
=

k
g

jk
y
k
= 0, ent ao tambem teramos que y
i
=

j
g
ij
y

j
= 0
o que seria uma contradic ao. Assim, temos um morsmo bem denido

X X P
s
.
Veja que esta construc ao faz com que este morsmo mapeie o subconjunto
aberto X Z(f
0
, . . . , f
r
)

X em X Z(f

0
, . . . , f

s
)

X

, e portanto mapeia o fecho

X
em

X

. Para nalizar a prova basta repetir o mesmo argumento para o morsmo inverso

X e portanto teremos concludo que

X e

X

s ao isomorfos.
Com base no resultado acima podemos dizer que estamos fazendo um blowup de X
no ideal I. Se I = I(Y ) for um subconjunto fechado Y X, iremos dizer que este e o
blowup de X em Y .
Denicao 3.6. Chamaremos o conjunto
1
1
(Z(f
0
, . . . , f
r
)) de variedade excepcional.
Em particular, no Exemplo 3.2 a variedade excepcional e isomorfa a P
1
. O pr oximo
resultado nos permitir a calcular a dimens ao de
1
1
(Z(f
0
: . . . : f
r
)).
Proposicao 3.7. Seja X k
n
uma variedade am, e

X o blowup de X
em I = (f
0
, . . . , f
r
). Entao a imagem inversa
1
1
(Z(f
0
, . . . , f
r
)) e de dimensao pura
dim(X) 1.
Demonstracao. Provaremos esta armacao no aberto em que y
i
,= 0, uma vez que estes
conjuntos abertos formam uma cobertura de

X. Note que nestes subconjuntos abertos a
condic ao f
i
(P) = 0 implica que f
j
(P) = 0 para todo j (isso decorre da Proposic ao 3.4).
Logo, a imagem inversa
1
1
(Z(f
0
, . . . , f
r
)) e dada por uma equac aof
j
= 0, ou seja, e pura
de dimensao dim(

X) 1 = dim(X) 1, que e uma conseqencia da Proposic ao 3.3.
Para todo f k[x
1
, . . . , x
n
] seja f =

i
f
(i)
uma decomposicao de f em formas f
(i)
de grau i. Ao menor dos graus j, consideremos a forma f
(j)
a qual da-se o nome de forma
inicial de f. Dado um ideal I podemos considerar ideal homogeneo gerado por todas suas
formas iniciais J(f) =

f
(i)
, f I
_
. Temos que o local am dos zeros Z
a
(J(I)) k
n
e
um cone e, portanto, e bem denido o local pojetivo dos zeros Z
p
(J(I)).
34
Proposicao 3.8. A hipersuperfcie excepcional do blowup de uma variedade am X k
n
na origem e igual a Z
p
(J(I(X))), onde I(X) e o ideal correspondente a variedade X.
Assim, pelas Proposic ao 3.7 e 3.8 temos que
dim(
1
1
(Z(f
0
, . . . , f
r
))) = dim(X) 1 = dim(Z
p
(J(I(X)))) = dim(Z
a
(J(I(X)))) 1
dim(X) = dim(Z
a
(J(I(X)))).
Denicao 3.9. Chamaremos o conjunto Z
a
(J(I(X)) k
n
de cone tangente de X no
ponto P. Denotaremos este conjunto por C
P
(X).
Veja que o local excepcional do blowup

X de X em P corresponde a projetivizacao
do cone tangente, ou seja, corresponde `as direc oes tangentes como j a foi mencionado no
Exemplo 3.2.
Proposicao 3.10. P
1
P
1
e isomorfo a uma superfcie quadrica de P
3
.
Demonstracao. Consideremos o espaco projetivo P
3
com coordenadas w
ij
, i, j = 0, 1. Se
x = (x
0
: x
1
) P
1
e y = (y
0
: y
1
) P
1
podemos denir a aplicac ao
: P
1
P
1
P
3
((x
0
: x
1
), (y
0
: y
1
)) w
ij
= x
i
x
j
, i, j = 0, 1.
(3.1)
Note que (P
1
P
1
) e um subconjunto fechado de P
3
descrito pelas eqauc oes
w
ij
w
kl
= w
kj
w
il
, 0 i, j, k, l 1. (3.2)
Veja que os w
ij
dados em (3.1) satisfazem as relac oes (3.2). Podemos supor que w
00
,= 0
e fazendo k = l = 0 em (3.2) temos w
ij
w
00
= w
0j
w
i0
e
(x, y) = (x
0
y
0
: x
0
y
1
: x
1
y
0
: x
1
y
1
) =
= (x
0
y
0
x
0
y
0
: x
0
y
0
x
0
y
1
: x
0
y
0
x
1
y
0
: x
0
y
0
x
1
y
1
) =
= (w
00
2
: w
00
w
01
: w
00
w
10
: w
00
w
11
)
Como w
00
,= 0 temos que x
0
,= 0, y
0
,= 0 e portanto
x = (x
0
: x
1
) = (x
0
y
0
: x
1
y
0
) = (w
00
: w
10
)
y = (y
0
: y
1
) = (x
0
y
0
: x
0
y
1
) = (w
00
: w
01
)
35
Por outro lado,
(x, y) = ((w
00
: w
10
), (w
00
: w
01
)) =
(w
00
w
00
: w
00
w
01
: w
00
w
10
: w
10
w
01
) =
= (w
00
2
: w
00
w
01
: w
00
w
10
: w
00
w
11
).
As contas acima mostram que x e y s ao determinados de maneira unica, ou seja, que
(P
1
P
1
) P
3
e uma imersao com imagem sendo uma subvariedade Q P
3
descrita
pelas equac oes em (3.2). Para nalizar, veja que a equac ao w
11
w
00
= w
10
w
01
mostra que
(P
1
P
1
) P
3
e uma quadrica n ao degenerada Q P
3
.
Proposicao 3.11. O blowup de P
1
P
1
em um ponto e isomorfo ao blowup de P
2
em
dois pontos.
Demonstracao. Pela Proposi cao 3.10 temos que P
1
P
1
e isomorfo ` a superfcie qu adrica
descrita pelo conjunto Q = (x
0
: x
1
: x
2
: x
3
); x
0
x
3
= x
1
x
2
P
3
. Consideremos o
blowup

Q P
3
P
2
em I(P) = (x
0
, x
1
, x
2
) onde P = (0 : 0 : 0 : 1). Sejam R = (0 : 1 : 0)
e S = (0 : 0 : 1), onde obviamente I(RS) = (y
0
, y
1
y
2
). Consideremos

P
2
P
2
P
3
como
sendo o blowup de P
2
no ideal I = (y
2
0
, y
0
y
1
, y
0
y
2
, y
1
y
2
).

E possvel tomar uma vizinhanca
aberta U
R
X em torno de R na qual y
1
,= 0, e portanto neste aberto temos que
I = I
U
R
= (y
0
, y
2
). Da mesma forma existe U
S
, com y
2
,= 0 e portanto I = I
U
S
= (y
0
, y
1
)
nesta vizinhaca. Temos que o blowup de P
2
em I e o blowup de P
2
nos pontos R e S.
Devemos agora, mostrar que temos um isomorsmo f dado por f :

Q

P
2
que mapeia
o ponto ((x
0
: x
1
: x
2
: x
3
), (y
0
: y
1
: y
2
)) no ponto ((y
0
: y
1
: y
2
), (x
0
, x
1
, x
2
, x
3
)) cujo
isomorsmo inverso f
1
:

P
2

Q e denido de maneira obvia. Pois bem, devemos
mostrar que f mapeia

Q em

P
2
e que f
1
mapeia

P
2
em

Q. Primeiro observe que f
1
(

P
2
)
e fechado em P
3
P
2
, e portanto se contem um aberto n ao vazio U Q, ent ao deve conter
todos os outros abertos de Q. Note que em

Q temos as mesmas equa coes que em Q, ou
seja x
0
x
3
= x
1
x
2
e (y
0
: y
1
: y
2
) = (x
0
: x
1
: x
2
). Desta forma na imagem de f temos as
seguintes equac oes
(x
0
: x
1
: x
2
: x
3
) = (x
0
2
: x
0
x
1
: x
0
x
2
: x
0
x
3
) =
= (x
0
2
: x
0
x
1
: x
0
x
2
: x
1
x
2
) = (y
0
2
: y
0
y
1
: y
0
y
2
: y
1
y
2
)
para um ponto imagem que est a em

P
2
. Reciprocamente, em

P
2
temos
que (x
0
: x
1
: x
2
: x
3
) = (y
0
2
: y
0
y
1
: y
0
y
2
: y
1
y
2
). Desta ultima igualdade decorrem as
seguintes relac oes: (x
0
: x
1
: x
2
) = (y
0
: y
1
: y
2
) e x
0
x
3
= y
1
y
2
= x
1
x
2
.
36
Seja f k[x
1
, . . . , x
n
] denotemos por f
(1)
o termo linear de f. Dado um
ideal I k[x
1
, . . . , x
n
], consideremos o ideal /(I) = f
(1)
; f I. Podemos tratar /(I)
como um espaco vetorial formado por todas as partes lineares de elementos de I, ou ainda
como um subespaco vetorial do espaco /(k[x
1
, . . . , x
n
]) =
1
x
1
+ . . . +
n
x
n
;
i
k e
portanto Z(/(I)) e um subespa co linear de k.
Denicao 3.12. Seja X k
n
uma variedade am e P X, o qual por meio de uma
mudanca de coordenadas podemos supor igual a (0, . . . , 0). Ao espaco linear Z(/(I))
damos o nome de espaco tangente a X no ponto P que sera denotado por T
P
(X)
2
. Na
verdade, o espaco tangente a X em P e o subespaco de k
n
formado pelos vetores ortogonais
ao gradiente em P de cada f I(X). Em smbolos
T
P
(X) =
_
v = (v
1
, . . . , v
n
) k
n
;
f
x
1
(P)v
1
+ . . . +
f
x
n
(P)v
n
= 0, f I(X)
_
.
Dada uma variedade X k
n
observe que /(I(X)) J(I(X)) e portanto
C
P
(X) T
P
(X) k
n
. Na verdade temos que dim(T
P
(X)) dim(C
P
(X)) = dim(X).
Denicao 3.13. Uma variedade X sera dita suave no ponto P X se T
P
(X) = C
P
(X),
ou seja, se T
P
(X) tem dimensao (no maximo) dim(X). Caso contrario diremos que X e
singular em P. Uma variedade X sera dita suave se for suave em todo ponto P X, do
contrario X sera dita singular.
Seja X k
n
uma variedade am, e seja f
1
, . . . , f
r
k[x
1
, . . . , x
n
] um conjunto de
geradores do ideal I(X). Chamaremos de matriz Jacobiana de X no ponto P a matriz
(x
ij
) =
_
f
i
x
j
(P)
_
que denotaremos por Jf(P).
Proposicao 3.14. Seja X k
n
uma variedade am onde I(X) = (f
1
, . . . , f
r
). Entao X
e suave em P X se, e somente se, o posto de Jf(P) e pelo menos n dim(X).
Demonstracao. Consideremos a linearizacao das func oes f
i
no ponto P = (a
1
, . . . , a
n
)
dada por

j
f
i
x
j
(P)(x
i
a
i
). Por denic ao, X e suave em P se estas func oes denem um
subespaco linear de k de dimens ao (no m aximo) dim(X). Mas isto ocorre se, e somente
se, o subespaco linear de /(k[x
1
, . . . , x
n
]) gerado por esta linearizacao tem dimensao (no
2
Se considerarmos P = (a
1
, . . . , a
n
) como sendo um ponto qualquer a mudanca de coordenadas que
manda x
i
em x
i
a
i
nao traz perdas. Neste caso, por meio de expansao de Taylor de primeira ordem, e
facil ver que dado f k[x
1
, . . . , x
n
] entao T
P
(X) pode ser escrito da seguinte forma

i
f
x
i
(P)(x
i
a
i
) = 0
para todo f I(X).
37
mnimo) ndim(X). Mas a dimensao deste espaco linear e exatamente o posto da matriz
cujas entradas sao os coecientes destas func oes lineares.
O resultado que acabamos de provar e conhecido como criterio de Jacobi para o caso
am, para ver que este criterio tambem vale para o caso projetivo (mesmas hipoteses e
consequencias), basta lembrar que o espaco projetivo P
n
pode ser coberto por n+1 espacos
ans isormorfos a k
n
, onde fazemos cada coordenada x
i
,= 0. Desta forma podemos aplicar
o criterio de Jacobi a cada um deste espacos. Portanto ganhamos o mesmo criterio no
caso projetivo.
3.2 As 27 Retas
Agora j a estamos preparados para provar um dos mais famosos problemas da escola
de geometria algebrica italiana. Ele consiste em mostrar que a variedade de Fano F
1
(C)
de uma c ubica suave, C de P
3
, e composta de exatamente 27 retas. Veremos que n ao
somente a quantidade de retas de uma c ubica suave e um invariante mas tambem a
disposic ao destas retas.
Comecaremos esta se cao dando uma descric ao do espaco das formas c ubicas. Alguns
dos detalhes que por ventura venham a ser omitidos aqui podem ser vistos nos Captulos
1 e 2. Como j a vimos na Sec ao 2.2 as formas c ubicas

||=3
c

x
0

0
x
1

1
x
2

2
x
3

3
tem
exatamente
_
3+3
3
_
= 20 coecientes, os quais, formam um espaco cuja projetivizac ao
chamaremos de P
19
w
P
19
, que e o espaco projetivo com coordenadas homogeneas w

,
onde = (
0
,
1
,
2
,
3
) e [[ = 3. Denotemos por C
c
C a superfcie c ubica Z(

)
em P
3
, onde c = (c

) P
19
e x

= x
0

0
x
1

1
x
2

2
x
3

3
. Consideremos entao o conjunto
( =
_
cP
19
c C P
19
P
3
,
onde ( e denido pela equac ao

= 0. Portanto, o conjunto ( e um conjunto

algebrico fechado. Veja ainda que
dim(() + codim(() = dim(P
19
P
3
) = dim(() = 19 + 3 1 = 21,
onde a codimens ao e dada em relac ao a P
19
P
3
. Seja S ( o conjunto dos pontos
onde
1
: ( P
19
n ao e suave, ou seja, onde a bra C n ao e suave e denotemos por
/ = P
19

1
(S) o conjunto que parametriza todas as c ubicas suaves de P
3
. Consideremos
38
tambem o conjunto
1,3
P
19
G(1, 3), onde
1,3
= (C, ); C, ou equivalentemente

1,3
= (c, p); l
p
C.
Teorema 3.15.
1,3
e uma variedade suave de dimensao 19.
Demonstracao. Como G(1, 3) P
5
, onde P
5
tem coordenadas x
01
, x
02
, x
03
, x
12
, x
13
, x
23
,
podemos sem perda, trabalhar no aberto am
U
01
= G(1, 3) G(1, 3) Z(x
01
).
Nessa vizinhaca uma reta l pode ser representada pelas linhas da matriz
_
_
1 0 a
2
a
3
0 1 b
2
b
3
_
_
.
Denotemos esta reta por
l(a
2
, a
3
, b
2
, b
3
) = (1, 0, a
2
, a
3
)(0, 1, b
2
, b
3
).
Temos que
l(a
2
, a
3
, b
2
, b
3
) C

= 0
se, e somente se, para toda combina cao s(1, 0, a
2
, a
3
) + t(0, 1, b
2
, b
3
) tivermos

0
t

1
(sa
2
+ tb
2
)

2
(sa
3
+ tb
3
)

3
=
= s
3
f
0
(a, b, c) + s
2
tf
1
(a, b, c) + st
2
f
2
(a, b, c) + t
3
f
3
(a, b, c) = 0,
onde (a, b, c) = (a
2
, a
3
, b
2
, b
3
, c

). Desta forma temos que

l(a
2
, a
3
, b
2
, b
3
) C f
i
(a, b, c) = 0, 0 i 3.
Portanto,
1,3
e um conjunto algebrico fechado cujas componentes tem codimensao no
m aximo 4 em P
19
G(1, 3), ou seja tem dimens ao no mnimo 19. Vejamos a projec ao

2
:
1,3
G(1, 3). Para toda reta l P
3
, o conjunto de todas as formas c ubicas
F que se anulam identicamente em l formam um subespaco linear do espa co vetorial de
todas as formas c ubicas. Desde que toda reta e projetivamente equivalente, a dimensao
deste espaco independe de l. Se l = Z(x
2
, x
3
) ent ao, F[
l
= 0 F =

=(
0
,
1
,
2
,
3
)
c

,
onde
2
+
3
1 e um subespaco linear de dimens ao 16. Portanto para todo ponto
p G(1, 3),
1
2
(p) e um subespaco linear de dimens ao 15 de P
19
. Em particular, note
39
que, para todo p G(1, 3), a bra
1
2
(p) e irredutvel e de mesma dimens ao(ver Sec ao
2.2). Desde que G(1, 3) e irredutvel temos que
1,3
e irredutvel (Proposicao 2.9) e,
alem disso, as quatro equa coes f
0
, f
1
, f
2
, f
3
que denem
1,3
s ao lineares na vari avel
c. Desde que para todos a, b estas equac oes denem um subespaco linear do espaco dos
cs, elas s ao linearmente independentes. Isto mostra que suas diferenciais na c-direc ao s ao
independentes e portanto
1,3
e suave e de codimens ao exatamente 4 em P
19
G(1, 3).
Teorema 3.16. O mapa
1
:
1,3
P
19
e suave sobre /.
Demonstracao. Usaremos a mesma nota cao do teorema anterior. Consideremos a primeira
projec ao
1
:
1,3
P
19
. Devemos mostrar que as diferenciais dos f
i
s na (a, b)-direc ao
(isto e em T
p,G(1,3)
) sao independentes se a c ubica C e suave. Fixemos o ponto (p, c)

1,3
com C suave e escolha um sistema de coordenadas em P
3
no qual l
p
= Z(x
2
, x
3
).
Ent ao nas coordenadas ans (a
2
, a
3
, b
2
, b
3
) em G(1, 3) podemos supor que
p = (a
2
, b
2
, a
3
, b
3
) = (0 : 0 : 0 : 0). Seja F(x) =

a equacao que representa C.

Computando as derivadas parciais em relac ao a
2
, a
3
, b
2
, b
3
. Note que
F
a
i
=
F
x
0
x
0
a
i
+
F
x
1
x
1
a
i
+
F
x
2
x
2
a
i
+
F
x
3
x
3
a
i
e portanto temos:

a
2
_

s
3i
t
i
f
i
(a, b, c)
_
[
a=b=0
=

a
2
F(s, t, sa
2
+ tb
2
, sa
3
+ tb
3
)[
a=b=0
= s
F
x
2
(s, t, 0, 0);

b
2
_

s
3i
t
i
f
i
(a, b, c)
_
[
a=b=0
=

b
2
F(s, t, sa
2
+ tb
2
, sa
3
+ tb
3
)[
a=b=0
= t
F
x
2
(s, t, 0, 0);

a
3
_

s
3i
t
i
f
i
(a, b, c)
_
[
a=b=0
=

a
3
F(s, t, sa
2
+ tb
2
, sa
3
+ tb
3
)[
a=b=0
= s
F
x
3
(s, t, 0, 0);

b
3
_

s
3i
t
i
f
i
(a, b, c)
_
[
a=b=0
=

b
3
F(s, t, sa
2
+ tb
2
, sa
3
+ tb
3
)[
a=b=0
= t
F
x
3
(s, t, 0, 0).
Suponhamos por absurdo que a diferencial das 4 func oes f
i
s com respeito a vari aveis a
2
,
a
3
, b
2
, b
3
sejam linearmente dependentes para todo i. Isto e o mesmo que dizer que as
4 derivadas parciais

a
2
,

a
3
,

b
2
,

b
3
de

s
3i
t
i
f
i
(a, b, c) em a = b = 0 s ao polin omios
dependentes. Mas isto ocorre se, e somente se, existem
2
,
3
,
2
,
3
tais que
_

2
F
|
l
a
2
+
2
F
|
l
b
2
+
3
F
|
l
a
3
+
3
F
|
l
b
3
_
[
a=b=0
= 0,
onde F
|
l
=

s
3i
t
i
f
i
(a, b, c). Assim,
(
2
s +
2
t)
F
x
2
(s, t, 0, 0) + (
3
s +
3
t)
F
x
3
(s, t, 0, 0) = 0.
40
Sendo estas duas derivadas parciais polin omios quadraticos homogeneos, a existencia de
tais polin omios
2
s +
2
t,
3
s +
3
t e equivalente a dizer que
F
x
2
(s, t, 0, 0) e
F
x
3
(s, t, 0, 0)
tem uma raiz comum (, , 0, 0). De fato, consideremos a seguintes fatorac oes
de
F
x
2
(s, t, 0, 0) = MN e
F
x
3
(s, t, 0, 0) = RS, onde M, N, R, S s ao formas de grau 1.
Assim,
(
2
s +
2
t)MN + (
3
s +
3
t)RS = 0
s(
2
MN +
3
RS) + t(
2
MN +
3
RS) = 0.
Note que ao menos um dos
2
,
3
,
2
,
3
e n ao nulo, digamos
2
,= 0. Neste caso temos
que a igualdade MN =

2
RS e verdadeira caso
F
x
2
(s, t, 0, 0) e
F
x
3
(s, t, 0, 0) tenham uma
raiz comum. Como l
p
C podemos escrever F = x
2
A + x
3
B e portanto os polin omios
F
x
0
= x
2
A
x
0
+ x
3
B
x
0
,
F
x
1
= x
2
A
x
1
+ x
3
B
x
1
tambem tem um zero (, , 0, 0). Portanto, (, , 0, 0) deve ser um ponto singular de
C = Z(F) o que e uma contradic ao. Logo o mapa
1
:
1,3
P
19
e suave sobre /.
Se pensarmos o teorema acima do ponto de vista da topologia classica, este nos diz
que o mapa
1
:
1,3
P
19
se trata de um isomorsmo local, isto e, numa vizinhanca em
torno de um ponto (a, b, c) de uma c ubica suave, as coordenadas a
i
e b
i
s ao determinadas
de maneira unica em
1,3
pelos c

s. Usando o fato de que o n umero de retas e determinado

pela imagem inversa de pontos c P
19
, temos que este n umero nao depende da c ubica
em quest ao. Assim se exibirmos uma c ubica suave, a qual conhecemos todas as suas
retas, todas as demais c ubicas conter ao o mesmo n umero de retas. Mas isto j a foi feito
no Exemplo 2.3.
Na verdade, tanto o n umero de retas, quanto a sua disposic ao independem de C. Note
que dadas duas retas l
1
, l
2
C, ou l
1
l
2
= , ou elas se intersectam transversalmente
em um ponto. Vejamos para o caso do Exemplo 2.3 como ocorre essa disposic ao, uma vez
que esta independe da c ubica C. Denotemos por o gr aco que representa esta situac ao
a qual estudaremos de forma parcial
3
. Assim,
i) vertices de = retas de C;
ii) 2 vertices sao ligados por uma borda se, e somente se, as retas correspondentes se
3
Uma descricao mais completa a cerca da disposicao destas 27 retas pode ser encontrada em [7] cap.
V, secao 4; [5] cap. 8, se cao D; [2] cap. IV, secao 2.2.
41
intersectam.
Agora vejamos que independe de c. De fato, seja

= (p
1
, p
2
, c); l
p
1
C, l
p
2
C G(1, 3) G(1, 3) /
que, pelo Teorema 3.16, e uma superfcie suave sobre /. Portanto e uma uniao disjunta
de componentes suaves
i

de dimensao 19. Uma destas componentes, digamos,

0

e o
conjunto dos pontos (p, p, c) tais que (p, c)
1,3
e para os demais is, l
p
1
nunca e igual a
l
p
2
. Analisemos os seguintes conjuntos:
i) (
i

= (x, p
1
, p
2
, c); (p
1
, p
2
, c)
i

, x C;
ii) L
ij
= (x, p
1
, p
2
, c); (p
1
, p
2
, c)
i

, x l
p
j
.
Veja que (
i

e uma variedade suave cuja bra sobre

i

s ao c ubicas associadas a C
c
s, alem
disso possui dimensao igual a 21. Tambem L
i1
, L
i2
(
i

s ao subvariedades suaves de
dimens ao 20, cujas bras sobre
i

s ao retas. Considerando a proje cao : L

i1
L
i2

i

e considerando o fato de que duas retas se intersectam em no maximo um ponto temos

que esta e uma aplicacao injetiva e alem disso toda componente irredutvel de L
i1
L
i2
tem dimens ao 19 ( pelo Teorema 7.2 de [7]). Conclui-se da que, ou L
i1
L
i2
= , e
portanto l
p
1
e l
p
2
nunca se intersectam, ou L
i1
L
i2

i

e um isomorsmo, portanto
essas retas sempre se intersectam.
No Exemplo 2.3 foram encontradas as seguintes retas:
x
0
+
i
x
1
= x
2
+
j
x
3
= 0
x
0
+
i
x
2
= x
1
+
j
x
3
= 0
x
0
+
i
x
3
= x
1
+
j
x
2
= 0
onde i, j 0, 1, 2.
Agora estudemos a congurac ao das retas nesta c ubica, vejamos quais destas retas
se intersectam. Consideremos l
1
= x
0
+ x
1
= x
2
+ x
3
= 0 em C. Armamos que
l
1
intersecta outras 10 retas e que existe uma outra reta disjunta l
2
tal que exatamente
cinco destas 10 retas intersectam ambas. Quanto a primeira armac ao as 10 retas que
intersectam a reta l
1
s ao dadas por:
42
1) x
0
+ x
1
= x
2
+ x
3
= 0;
2) x
0
+
2
x
1
= x
2
+ x
3
= 0;
3) x
0
+ x
1
= x
2
+ x
3
= 0;
4) x
0
+ x
1
= x
2
+
2
x
3
= 0;
5) x
0
+ x
3
= x
1
+ x
2
= 0;
6) x
0
+ x
3
= x
1
+ x
2
= 0;
7) x
0
+
2
x
3
= x
1
+
2
x
2
= 0;
8) x
0
+ x
2
= x
1
+ x
3
= 0;
9) x
0
+ x
2
= x
1
+ x
3
= 0;
10) x
0
+
2
= x
1
+
2
x
3
= 0.
Para a segunda arma cao observe que as retas l
1
e l
2
n ao se intersectam
l
1
: x
0
+ x
1
= x
2
+ x
3
= 0;
l
2
: x
0
+ x
1
= x
2
+ x
3
= 0;
mas sao, simultaneamente, intersectadas pelas 5 retas
l
1

: x
0
+ x
1
= x
2
+ x
3
= 0;
l
2

: x
0
+ x
1
= x
2
+ x
3
= 0;
l
3

: x
0
+ x
2
= x
1
+ x
3
= 0;
l
4

: x
0
+ x
2
= x
1
+ x
3
= 0;
l
5

: x
0
+
2
x
2
= x
1
+
2
x
3
= 0;
O mesmo e verdade para toda outra reta em C. Ou seja, temos que l
1
l
2
= e que
nenhuma outra reta, que nao uma das 5 dadas acima, intersecta ambas l
1
e l
2
. Alem
disso temos l
i

l
j

= para todo i, j, com i ,= j. Na verdade, o mesmo ocorre em toda

c ubica suave de P
3
, isto e temos apenas uma deformacao do conjunto (l
1
, l
2
, l

1
, l

2
, l

3
, l

4
, l

5
)
conforme e visto em [5] cap. 8.
De agora ate o nal desta sec ao exporemos, de forma sucinta, os principais resultados
a cerca do estudo das 27 retas de uma c ubica n ao singular de P
3
.
Proposicao 3.17. Sejam l
1
e l
2
duas retas disjuntas em P
3
, e seja p P
3
(l
1
l
2
).
Entao existe uma unica reta ligando l
1
, l
2
e p.
Demonstracao. Seja uma reta l P
3
e um ponto p / l. Tome dois pontos x, y l e
obtenha a equac ao do plano que passa por x, y, p. Note que se tomarmos outros dois
pontos x

, y

l o plano que contem x

, y

, p e exatamente , ou seja, temos um unico

43
plano contendo a reta l e o ponto p. Observe que duas retas quaisquer em P
2
sempre se
intersectam. De fato, basta observar que uma reta em P
2
e formada por um sistema de
uma linha e tres vari aveis. Se acrescentarmos uma outra reta, isto e, uma outra linha a
este sistema ser a composto de duas equac oes compostas por tres inc ognitas cada uma,
admitindo, portanto soluc ao nao trivial. Logo, dados l
1
e p temos que existe um unico
plano
1
que os contem. Da mesma forma, dados l
2
e p obtemos
2
. Note que
1
,=
2
,
pois se fossem iguais, teramos que l
1
l
2
,= , uma vez que
i

= P
2
. Pela contagem da
dimens ao temos que estes dois planos se intersectam em uma subvariedade de dimens ao
ao menos 2 + 2 3 = 1. Como
1
,=
2
, temos que esta intersec cao deve ter dimensao
exatamente 1, isto e, estes planos se intesectam em uma unica reta, que e exatamente a
reta que liga l
1
, l
2
e p.
Proposicao 3.18. Toda superfcie c ubica em P
3
e birracional a P
2
.
Demonstracao. Como vimos, existem duas retas disjuntas l
1
, l
2
X. Exibiremos dois
mapas racionais onde um e o inverso do outro:
: X l
1
l
2

1
: l
1
l
2
X.
Devemos mostrar que X e birracional a P
1
P
1
, e pela Proposic ao 3.11, teremos que e
birracional a P
2
. Vejamos:
i) : X l
1
l
2
Pela Proposic ao 3.17, temos que para todo ponto p que n ao est a em l
1
l
2
existe uma
unica reta l
p
em P
3
passando por l
1
, l
2
e p. Basta tomar o mapa racional:
: X l
1
l
2
p (l
1
l
p
, l
2
l
p
)
que e bem denido fora de l
1
l
2
.
ii)
1
: l
1
l
2
X
Basta denir o mapa que manda (r, s) l
1
l
2
para o terceiro ponto de interseccao de X
com a reta rs. Este mapa e bem denido sempre que rs n ao esteja contida em X.
Teorema 3.19. Toda superfcie c ubica suave de P
3
e isomorfa a um blowup de P
1
P
1
em
5 pontos (devidamente escolidos), ou equivalentemente, a um blowup de P
2
em 6 pontos
(adequadamente escolhidos).
44
Demonstracao. Seja uma superfcie c ubica suave X P
3
. Podemos denir um mapa
racional : X l
1
l
2

= P
1
P
1
(Proposic ao 3.18). Vejamos que e um morsmo:
i) para um ponto p X l
2
, tome o unico plano P
3
que contem l
2
e p e fa ca

1
(p) = l
1
. Dena
2
(p) = l
2
de maneira an aloga. Desta forma podemos denir
(p) = (
1
(p),
2
(p));
ii) para um ponto p l
2
, seja = T
p
(X) e faca
1
(p) = l
1
e, de maneira analoga, para
p l
1
faca
2
(p) = l
2
. A forma como denimos estende = (
1
,
2
) a um morsmo
bem denido X P
1
P
1
em todo o X. Veja que o mapa inverso
1
: P
1
P
1
X
n ao e bem denido em todo ponto de P
1
P
1
. Voltando a Proposic ao 3.18 temos que
estes pontos sao exatamente os pontos (r, s) tais que rs X. Neste caso, toda reta
rs

= P
1
P
1
e mapeada no ponto (r, s). Sendo assim, veja que e localmente a explos ao
destes pontos. Ja sabemos que existem exatamente 5 pontos. Assim, acabamos de obter
que X e o blowup de P
1
P
1
nestes 5 pontos. Como o blowup de P
1
P
1
em um ponto
e isomorfo ao blowup de P
2
em dois pontos (Proposic ao 3.11) segue que X e o blowup de
P
2
em 6 pontos adequadamente escolhidos.
Esta e apenas uma prova parcial deste resultado. Uma prova completa pode ser obtida em
[7] V.4.10 ou nas Proposicoes 8.21 e 8.22 em [5].
Seja Y X uma subvariedade fechada que tem uma intersec cao nao vazia com U =
XZ(f
1
, . . . , f
r
). Como U e tambem um subconjunto de

X, podemos considerar o fecho
de Y X em

X. Chamaremos isso de transformacao estrita de Y . A transformac ao
estrita de Y e justamente o blowup de Y em (f
1
, . . . , f
r
), que denotaremos por

Y .
Teorema 3.20. Seja C uma c ubica suave e
: C B
P
1
,P
2
,P
3
,P
4
,P
5
,P
6
(P
2
)
a correspondencia birracional dada no Teorema 3.19. Se P
1
, P
2
, P
3
, P
4
, P
5
, P
6
sao os pontos
excepcionais de
1
, entao nenhum dos 3 P
i
sao colineares e
1
e denido por um sistema
linear de todas as c ubicas passando por P
1
, P
2
, P
3
, P
4
, P
5
, P
6
.
Demonstracao. Ver [5] Proposic ao 8.23.
Podemos olhar as 27 retas de uma superfcie c ubica X como uma gura onde pensamos
X como um blowup de P
2
em 6 pontos. Conforme [5] e com algumas das informac oes
obtidas a partir da c ubica de Fermat (Exemplo 2.3) temos que as 27 retas correspondem
45
` as seguintes curvas:
i) 6 retas exepcionais;
ii) a transforma cao estrita de
_
6
2
_
= 15 retas passando por 2 dos pontos de blowup;
iii) a transforma cao estrita de
_
6
5
_
= 6 c onicas passando por 5 dos pontos de blowup.
Captulo 4
Demonstracao do Teorema Principal
Neste captulo nos empenharemos em demonstrar o Teorema 2.15. Para tanto seguire-
mos a linha descrita em [8], e demonstraremos a maioria dos resultados.
No Captulo 2, foi denida a variedade incidente de k-planos de P
n
= (X, ), X P
M
G(k, n). Consideremos as projecoes can onicas
1
e
2
de
em P
M
e G(k, n) respectivamente. A proje cao
2
e tal que suas bras correspondem `a
projetivizac ao do n ucleo do morsmo sobrejetivo
H
0
(P
n
, O(d)) H
0
(P
k
, O(d)),
onde H
0
(P
r
, O(s)) representam os polin omios homogeneos de grau s em r + 1 vari aveis.
Alem disso e uma subvariedade irredutvel de P
M
G(k, n) e de codimens ao
_
k+d
k
_
. De
fato, basta notar que
codim() = dim(P
M
G(k, n)) dim(),
onde
dim(P
M
G(k, n)) =
_
n+d
d
_
1 + (n k)(k + 1),
dim() = (n k)(k + 1) +
_
n+d
d
_

_
k+d
k
_
1.
Seja P
n
um k-plano, escolha um sistema de coordenadas (x
i
) P
n
tal que e
dado por equac oes
x
k+1
= . . . = x
n
= 0. (4.1)
Se X e uma hipersuperfcie de grau d que contenha , entao podemos escrever sua equac ao
da seguinte forma:
F =
n

k+1
x
i
f
i
, (4.2)
onde os f
i

s sao formas de grau d 1.

46
47
Proposicao 4.1. Seja X P
n
uma hipersuperfcie descrita pela equacao (4.2). X e
singular no ponto p se, e somente se, f
i
(p) = 0 para i = k + 1, . . . , n.
Demonstracao. X e singular em p se, e somente se, _(F
p
) = 0, ou seja
_

x
1
_
n

k+1
x
i
f
i
_
, . . . ,

x
k
_
n

k+1
x
i
f
i
_
,

x
k+1
_
n

k+1
x
i
f
i
_
, . . . ,

x
n
_
n

k+1
x
i
f
i
__
|
p
= 0.
_
n

k+1
x
i
f
i
x
1
, . . . ,
n

k+1
x
i
f
i
x
k
, f
k+1
+
n

k+1
x
i
f
i
x
k+1
, . . . , f
n
+
n

k+1
x
i
f
i
x
n
_
|
p
= 0.
Como x
k+1
= . . . = x
n
= 0 temos que
(0, . . . , 0, f
k+1
(p), . . . , f
n
(p)) = (0, . . . , 0)
se, e somente se, f
i
(p) = 0 para todo i = k + 1, . . . , n.
Descreveremos agora o espaco tangente a variedade de Fano de uma hipersuperfcie X
dada pela equa cao polinomial homogenea G(x) = G(x
0
: . . . : x
n
). Seja (t) um caminho
na variedade de Fano F
k
(X) (que e uma familia de k-planos de X). Para cada ponto
p
0
podemos tomar um caminho p(t) = (x
0
(t) : . . . : x
n
(t)) onde p(t) (t) para todo
t. Desde que (t) X temos que G(p(t)) = 0 para todo t, derivando G(p(t)) em rela cao
a t temos

G
x
i
(p
0
)x

i
(0) =
_
G
x
0
(p
0
), . . . ,
G
x
n
(p
0
)
_
.(x

0
(0), . . . , x

n
(0)) = 0
o que signica dizer que o vetor tangente ao caminho p(t) esta no plano tangente a X em
p
0
. Logo, para =
0
, temos T

(F
k
(X)) H onde H e o espaco dos homomorsmos
: k
n+1
/
denidos por
H = ; (p) T
p
(X)/ p .
Note que se H Hom(, k
n+1
/) e tal que dim(H) = dim(F
k
(X)), podemos, con-
forme ser a feito na Proposi cao 4.2, deduzir que F
k
(X) e suave em
com T

(F
k
(X)) = H. Como estamos considerando somente o caso das hipersuperfcies,
a dimens ao de H coincidir a com a dimens ao esperada (n, k, d) da variedade de Fano.
Dada X(G = 0) e X, para todo homomorsmo : k
n+1
/ podemos associar
o polinomio
G

(p) =
_
G
x
0
(p), . . . ,
G
x
n
(p)
_
.(p)
48
que e bem denido, donde podemos denir a seguinte aplicac ao linear
: Hom(, k
n+1
/) H
0
(, O(d))
G

cujo n ucleo e precisamente H. De fato,

G

(p) = 0 p
_
G
x
0
(p), . . . ,
G
x
n
(p)
_
(p) = 0 p
(p) T
p
(X)/ p H.
Da segue que
dim(H) = dim(ker()) = dim(Hom(, k
n+1
/)) dim(Im())
(k + 1)(n k)
_
k+d
k
_
= (n, k, d).
(4.3)
Dada uma variedade X P
n
o espaco normal a X no ponto p, N
p
(X/P
n
) = N
p
(X) e
denido pelo quociente
N
p
(X) = T
p
(P
n
)/T
p
(X).
Note que N
p
(X) pode ser realizado pelo espa co quociente k
n+1
/, onde k
n+1
e
o subespaco correspondente ao espaco projetivo tangente T
p
(X). Da construc ao acima
resulta que T

(F
k
(X)) = H
0
(, N
/X
), onde N
/X
e o brado normal de em X. Veja
a gura 4.4.
(4.4)
Proposicao 4.2. Se uma hipersuperfcie X P
n
de grau d e suave ao longo de entao
as condi coes sao equivalentes:
i)
1
e suave em (X, );
ii) h
0
(, N
/X
) = (n, k, d);
iii) H
0
(, O(d)) =

n
i=k+1
f
i
H
0
(, O(1)), onde os f

i
s sao formas de grau d 1.
49
Demonstracao. Mostremos que i) ii) e que ii) iii).
i) ii)
Assuma que X e suave ao longo de . Suponha que
1
: P
M
e suave em (X, )
o que ocorre se, e somente se, o n ucleo de d
1
(X, ) tem dimensao (n, k, d) (*).
Como
1
1
(X) = F
k
(X) temos que T

(F
k
(X)) = ker(d
1
(X, )) e juntamente com o
fato de H
0
(, N
/X
) = T

(F
k
(X)), veja que (*) ocorre se, e somente se, h
0
(, N
/X
) =
dim() dim(P
M
) = (n, k, d).
ii) iii)
Assuma que X e suave ao longo e considere a seguinte sequencia exata
0 N
/X
(O

(1))
nk
(f
k+1
,...,f
n
)

(d) 0
e suponhamos que h
0
(, N
/X
) = (n, k, d) que e equivalente a dizer que H
1
(, N
/X
) = 0
que ocorre se, e somente se, a sequencia
0 H
0
(, N
/X
) H
0
(, (O(1))
nk
) H
0
(, O(d)) 0
e exata, que ocorre se, e somente se,
n

i=k+1
f
i
H
0
(, O(1)) = H
0
(, O(d)).
Consideremos os seguintes conjuntos:
i)

= (X, ) ; X e suave ao longo de .

ii)Z = (X, )

;
1
nao e suave em (X, ).
Ent ao, temos a seguinte estimativa da codimensao de Z em

:
Proposicao 4.3. codim(Z,

) min
i=1,...,k
((n 2k + i)(i + 1)
_
d+i
i
_
+ 1).
Demonstracao. Como as bras de
2
s ao todas irredutveis e de mesma dimensao temos
que e suciente mostrar que
codim(Z
1
2
(),

1
2
()) min
i=1,...,k
((n 2k + i)(i + 1)
_
d + i
i
_
+ 1)
para G(k, n). Tomemos o sistema de coordenadas descrito em (4.1). De acordo com
as Proposi coes 4.1 e 4.2 temos que

1
2
() = (f
k+1
, . . . , f
n
); f
i
H
0
(, O(d 1)) nao tem zeros comuns.
50
Z
1
2
() = (f
k+1
, . . . , f
n
);

f
i
H
0
(, O(1)) ,= H
0
(, O(d))
onde estamos identicando uma hipersuperfcie X dada pela equa cao (4.2)
com a (n k)-upla (f
k+1
, . . . , f
n
).
Identicando o k-plano com P
k
podemos denir o seguinte mapa multiplicativo:
m : H
0
(P
k
, O(1)) H
0
(P
k
, O(d 1)) H
0
(P
k
, O(d)).
Para todo hiperplano V H
0
(P
k
, O(d)) consideremos os seguintes conjuntos:
i)A
V
= f H
0
(P
k
, O(d 1)); m(H
0
(P
k
, O(1)) f) V ;
ii)Z
V
= (f
k+1
, . . . , f
n
);

f
i
H
0
(, O(1)) V .
Denotemos por
D
i
= V H
0
(P
k
, O(d)); codim(A
V
, H
0
(P
k
, O(d 1)) = i. (4.5)
A conclusao da prova desta proposicao depende dos pr oximos dois lemas.
Lema 4.4. Seja V um hiperplano em H
0
(P
k
, O(d)), pertencente a D
1
. Entao
V = H
0
(P
k
, O(d)(p)) para algum ponto p de P
k
e A
V
= H
0
(P
k
, O(d 1)(p)).
Demonstracao. Temos que um hiperplano V em H
0
(P
k
, O(d)) pode ser dado por uma
equac ao linear

||=d
c

= 0,
onde nos fazemos a soma de todos os multi-ndices = (
0
, . . . ,
k
) tais que
[[ =
0
+ . . . +
k
= d e os u

s ao os coecientes de um polin omio em H

0
(P
k
, O(d)).
Note que f =

||=d1
v

H
0
(P
k
, O(d 1)) est a em A
V
se, e somente se, fx
i
V ,
onde podemos representar por um sistema de k + 1 equacoes lineares:

||=d1
c

0
,...,
i
+1,...,
k
v

0
,...,
k
= 0,
para i = 0, . . . , k. Se V D
1
ent ao o posto da matriz associada a este sistema e igual
a 1. Isto signica que o determinante de todos os menores 2 2 desta matriz sao nulos.
Mas estes menores denem um ideal na imagem de P
k
via imersao Veronese

d
: P
k
P
(
d+k
k
)
1
= P(H
0
(P
k
, O(d))).
Portanto, existe um ponto p P
k
tal que (c

)
||=d
=
d
(p), isto e, V = H
0
(P
k
, O(d)(p))
para algum p P
k
e A
V
= H
0
(P
k
, O(d 1)(p)).
51
Seja (f
k+1
, . . . , f
n
) Z
1
2
() e V H
0
(P
k
, O(d)) tal que

f
i
H
0
(P
k
, O(1)) V .
Portanto, temos que (f
k+1
, . . . , f
n
) Z
V
, onde V deve pertencer a algum D
i
. Mas, pelo
Lema 4.4 temos que V / D
1
. De fato, suponhamos que V D
1
, assim existe p P
k
tal
que V = H
0
(P
k
, O(d)(p)) o que e uma contradic ao com o fato de (f
k+1
, . . . , f
n
) pertencer
a Z
1
2
(). Desta forma, V deve pertencer a algum dos D
i
s para i 2. Portanto,
Z
1
2
() = (f
k+1
, . . . , f
n
);

f
i
H
0
(, O(1)) ,= H
0
(, O(d)) =
=
_
_
V D
2
Z
V
_

_
_
V D
3
Z
V
_
. . .
_
_
_
_
V D
k+1
Z
V
_
_
_
=
k+1
_
i=2
_
_
V D
i
Z
V
_
.
Veja que D
i
e uma variedade determinante da matriz
C = [c

0
,...,
j
+1,...,
k
], j = 0, . . . , k, [[ = d 1
que corresponde ao local dos pontos (c

)
||=d
P(H
0
(P
k
, O(d)))), onde a matriz
correspondente tem posto no maximo i. Assim, temos a seguinte estimativa:
codim(Z
1
2
(),

1
2
()) min
i=2,...,k+1
((n k)i dim(D
i
)).
Portanto, para provarmos a Proposic ao 4.3 devemos estimar a dimens ao de D
i
.
Lema 4.5. dim(D
i
)
_
d+i1
i1
_
+ (k + 1 i)i 1, i = 1, . . . , k + 1.
Demonstracao. Consideremos a funcao
i
: D
i
D
i1
G(k i, k) que manda (c

)
||=d
para o subespaco projetivo de dimensao k i de P
k
correspondendo as soluc oes do
seguinte sistema linear
k

l=0
c

0
,...,
l
+1,...,
k
x
l
= 0
onde [[ = d 1. Provaremos que as bras de
i
tem dimens ao no maximo
_
d+i1
i1
_
1.
Pois bem, xemos a bra de
i
correspondente aos k i + 1 vetores v
s
= (x
s0
, . . . , x
sk
),
s = 0, . . . , k i onde = v
0
, . . . , v
ki
. Podemos escolher as coordenadas destes vetores
tais que x
sj
= 0 para j < s e x
sj
,= 0 para j = s. Neste caso a matriz que representa
ser a dada por:
A =
_
_
_
_
_
_
_
_
x
00
x
01
. . . x
0(ki)
. . . x
0k
0 x
22
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . . x
(ki)(ki)
. . . x
(ki)k
_
_
_
_
_
_
_
_
52
Agora ja podemos estimar a dimens ao do espaco das soluc oes do seguinte sistema de
equac oes lineares nas vari aveis c

, que corresponde ao anulamento de todos os elementos

da matriz
P = A
(ki+1)(k+1)
.C
(k+1)
(
k+d1
d1
)
=
_
k

l=0
x
sl
c

0
,...,
l
+1,...,
k
_
(ki+1)
(
k+d1
d1
)
, (4.6)
onde s = 0, . . . , k i. Podemos ordenar o conjunto destes ndices ; [[ = d por uma
ordem lexicogr aca reversa e as equac oes em (4.6) pelo primeiro coeciente e n umero s
n ao nulos. Agora, podemos escolher um menor M da matriz deste sistema de equac oes
correspondendo as linhas numeradas por A
j
= ;
0
= . . . =
j1
= 0,
i
,= 0, s = j
com j i e colunas correspondendo as vari aveis c

, A
j
. Note que M e facilmente
vista como uma matriz triangular superior com x
jj
na diagonal. O menor M corresponde
a parte da matriz (4.7) descartando-se **:
(4.7)
Note que o posto da matriz deste sistema e no mnimo o posto de M, que e exatamente
W
k,d,i
=
_
d + k 1
k
_
+
_
d + k 2
k 1
_
+ . . . +
_
d + i 1
i
_
=
ki+1

j=1
_
d + k j
k j + 1
_
,
onde cada binomial desta soma corresponde ao posto nos blocos destacados em (4.7) (note
que o posto destes blocos e exatamente o n umero de elementos da diagonal principal, uma
vez que se tratam de matrizes triangulares superiores). Segue que a bra sobre um ponto
spanv
0
, . . . , v
ki
de G(k i, k) tem dimens ao no m aximo
_
k + d
k
_
W
k,d,i
1.
53
Usando a rela cao de Stifel
_
a 1
b 1
_
+
_
a 1
b
_
=
_
a
b
_
,
obtemos que dim(
1
i
())
_
d+i1
i1
_
1. Juntamente com o fato de que
dim(G(k i, k)) = (k (k i))(k i + 1) = i(k i + 1)
temos que
dim(D
i
) dim(G(k i, k)) + dim(
1
i
()) (k i + 1)i +
_
d + i 1
i 1
_
1.
Para concluir a prova da Proposic ao 4.3 basta observar que
codim(Z
1
2
(),

1
2
()) min
i=1,...,k
((n k)(i + 1) dim(D
i+1
))
min
i=1,...,k
_
(n k)(i + 1)
_
(i + 1)(k i) +
_
d + i
i
_
1
__
=
= min
i=1,...,k
_
(i + 1)(n 2k + i)
_
d + i
i
_
+ 1
_
.
Isto e o bastante para provar a Proposic ao 4.3.
Corolario 4.6. Se (n, d, k) 0 (com d 3 ), entao codim(Z,

) 1.
Demonstracao. Pela Proposic ao 4.3 temos que
codim(Z,

) min
i=1,...,k
_
(n 2k + i)(i + 1)
_
d + i
i
_
+ 1
_
.
Suponhamos por absurdo que codim(Z,

) < 1, ent ao
min
i=1,...,k
_
(n 2k + i)(i + 1)
_
d + i
i
_
+ 1
_
< 1,
ou seja, existe j 1, . . . , k tal que
(n 2k + j)(j + 1)
_
d + j
j
_
+ 1 < 1
n 2k <
_
d + j
j
_
1
j + 1
j.
Por outro lado temos que
(n, k, d) 0
54
(n k)(k + 1)
_
k + d
k
_
0
n
_
k + d
k
_
1
k + 1
+ k.
Portanto,
_
k + d
k
_
1
k + 1
+ k 2k n 2k <
_
d + j
j
_
1
j + 1
j
_
k + d
k
_
1
k + 1
k <
_
d + j
j
_
1
j + 1
j.()
Mostraremos que a desigualdade () nos conduz a um absurdo. Para tanto, consideremos
A
t
=
_
d+t
t
_
1
t+1
t e analisemos o sinal de A
t+1
A
t
.
A
t+1
A
t
=
_
d + t + 1
t + 1
_
1
t + 2
(t + 1)
__
d + t
t
_
1
t + 1
t
_
=
=
_
d + t
t + 1
_
1
t + 2
+
_
d + t
t
_
1
t + 2
t 1
_
d + t
t
_
1
t + 1
+ t =
=
_
d + t
t + 1
_
1
t + 2
+
_
d + t
t
_
.
_
1
t + 2

1
t + 1
_
1 =
=
_
d + t
t + 1
_
1
t + 2

_
d + t
t
_
1
(t + 2)(t + 1)
1 =
=
d
d
(d + t)!
(d 1)!(t + 1)!
1
t + 2

(d + t)!
d!t!
1
(t + 2)(t + 1)
1 =
= d
(d + t)!
d!(t + 2)!

(d + t)!
d!(t + 2)!
1 =
=
(d + t)!
d!(t + 2)!
(d 1) 1 =
=
(d + t)!
d(d 1)(d 2)!(t + 2)!
(d 1) 1 =
=
1
d
_
d + t
t + 2
_
1.
Para concluir devemos mostrar que esta ultima equac ao e sempre maior ou igual a zero.
Seja B
t
=
_
d+t
t+2
_
d. Analisemos o sinal de B
t+1
B
t
.
B
t+1
B
t
=
_
d + t + 1
t + 3
_
d
__
d + t
t + 2
_
d
_
=
=
_
d + t + 1
t + 3
_
d
_
d + t
t + 2
_
+ d =
=
_
d + t
t + 3
_
+
_
d + t
t + 2
_

_
d + t
t + 2
_
=
55
=
_
d + t
t + 3
_
0
sempre que d 3.
Portanto, A
t
e crescente, ou seja, A
t+1
A
t
0 para todo t 1. Por outro lado, de (*)
temos que A
k
< A
j
com k > j o que e uma contradicao. No caso em que j = k temos
1 > (n 2k + k)(k + 1)
_
d + k
k
_
+ 1
0 > (n k)(k + 1)
_
d + k
k
_
= (n, k, d),
que seria uma contradi cao com a hip otese.
56
Conclusao do Teorema 2.15
Se (n, k, d) = dim() dim(P
M
) < 0, temos obviamente que
1
n ao e sobrejetiva e
portanto para uma hipersuperfcie geral X temos que F
k
(X) = , donde obtemos 2.15
item i). Por outro lado, se (n, k, d) 0 temos que
1
e sobrejetiva e tambem suave
num ponto geral, isto e, suave em um aberto. De fato, seja / P
M
o conjunto que
parametriza todas as hipersuperfcies suaves. Se X /, entao
1
1
(X) e suave se, e
somente se, X /
1
(Z) (Proposi cao 4.2 parte referente a i) ii)). Mas usando o
Corol ario 4.6 temos que F
k
(X) e suave para uma hipersuperfcie geral X. De fato, se
codim(Z,

) 1 temos que
1
1
(X) e n ao suave em um fechado, e portanto F
k
(X) e
suave em um aberto denso. Diante do fato de assumirmos a caracterstica zero obtemos
2.15 item ii).
Conclusao
Embora sucinto, este trabalho tratou de um importante resultado, o Teorema 2.15.
Ele nos possibilita, de um modo extremamente simples, calcular a dimensao da variedade
de Fano de uma hipersuperfcie geral de grau d 3, X P
n
. Embora, de enunciado
simples, a prova deste resultado nos conduziu por um belo passeio onde zemos uso de
importantes ferramentas da algebra comutativa e geometria algebrica, como por exemplo,
o Teorema da Dimensao das Fibras e algumas noc oes de cohomologia.
Apesar de tudo, ca a sensac ao de que o exposto neste trabalho e apenas a ponta de
um imenso iceberg. Um possvel caminho, embora nao abordado aqui, por mais resultados
a cerca das variedades de Fano e o estudo das Classes de Chern. Esta armacao reside
no fato de que durante a confecc ao deste trabalho, outros resultados na mesma linha dos
expostos aqui, quase sempre, envolviam as Classes de Chern.
Assim, chegamos ao m deste trabalho satisfeitos, porem com a ambi cao por algo
mais, o que talvez seja feito em estudos posteriores.
57
Referencias Bibliogracas
[1] HARRIS, Joe. Algebraic Geometry: A First Course. Graduate texts in mathematics;
133. Springer-Verlag New York, 1992.
[2] SHAFAREVICH, Igor R. Basic Algebraic Geomtry 1. 2nd ed. Springer-Verlag, 1994.
[3] KLEIMAN, S. L.; LAKSOV, D. Schubert Calculus. Amer. Math. Mont. 1972.
[4] MUMFORD, David. The Red Book of Varieties and Schemes. Springer-Verlag Berlin
Heidelberg, 1988.
[5] MUMFORD, David. Algebraic Geometry I: Complex Projective Varieties. Springer-
Verlag Berlin Heidelberg New York, 1976.
[6] MACHADO, Paulo A. F. Geometria da Grassmanniana de Retas de P
3
. Dissertac ao
de Mestrado, UFMG, 1989.
[7] HARTSHORNE, Robin, Algebraic Geometry. Springer-Verlag, 1977.
[8] LANGER, Adrian. Fano Schemes of Linear Spaces on Hypersurfaces. Instytut
Matematyki UW, 1996.
[9] LIU, Qing. Algebraic Geometry and Arithmetic Curves. Oxford Graduate Texts in
Mathematics, Oxford University Press Inc., New York, 2002.
[10] KOLHATKAR, Ratnadha. Grassmann Varieties. Dissertac ao de Mestrado. Depart-
ment of Mathematics and Statistics. McGill University, Montreal, 2004.
[11] HASSETT, Brendan. Introduction to Algebraic Geometry. Cambridge University
Press, New York, 2007.
[12] POTTMANN, Helmut; JOHANNES, Wallner. Computational Line Geometry.
Springer-Verlag Berlin Heidelberg, 2001.
58
59
[13] BELTRAMETTI, Mauro C.; CARLETTI, Ettore; GALLARATI, Dionisio; BRA-
GADIN, Giacomo M. Lectures on Curves, Surfaces and Projective Varieties: A Clas-
sical View of Algebraic Geometry. European Mathematical Society, Germany, 2009.
[14] LIMA, Elon Lages.

Algebra Exterior. Cole cao Matem atica Unversit aria. Rio de
Janeiro, IMPA, 2005.
[15] HOFFMAN, Kenneth.

Algebra Linear. Livros Tecnicos e Cientcos, Rio de Janeiro,
1976.
[16] HARRIS J.; MAZUR B.; PANDHARIPANDE R.. Hypersurfaces of Low Degree,
Duke Math. J. 95, No. 1 (1998), 125-160.