Escolar Documentos
Profissional Documentos
Cultura Documentos
Sumrio
1 Introduo
1.1 Polinmios . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Curvas Afins Planas . . . . . . . . . . . . . . . . . . .
1.3 Curvas projetivas planas . . . . . . . . . . . . . . . . .
1.3.1 O plano projetivo . . . . . . . . . . . . . . . . .
1.3.2 Curvas projetivas e polinmios homogneos . .
1.3.3 Propriedades topolgicas das curvas projetivas
1.4 O 16 problema de Hilbert . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
6
7
9
9
10
12
14
2 Proibies
2.1 Ninhos . . . . . . . . . . .
2.2 Desigualidade de Harnack
2.3 Arranjos de at grau 5 . .
2.4 Arranjos de M -sxticas .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
17
17
18
19
20
3 Construes
3.1 Perturbaes . . . . . . . .
3.1.1 Cbicas . . . . . . .
3.1.2 Qurticas . . . . . .
3.1.3 Qunticas . . . . . .
3.2 M -sxticas . . . . . . . . .
3.2.1 Mtodo de Harnack
3.2.2 Mtodo de Hilbert .
3.2.3 A curva faltando... .
3.3 Patchwork combinatrio . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
23
23
25
27
27
27
30
30
32
SUMRIO
Captulo 1
Introduo
Em 1900, o ainda novo Congresso Internacional de Matemticos realizou-se em
Paris. Considerado como um dos maiores matemticos do sculo XX, David
Hilbert pronuncia nessa ocasio um longo discurso delineando 23 grandes temas
de pesquisa para o novo sculo. O discurso de Hilbert foi bem mais do que expor
uma coleo de questes matemticas, ele esboou sua filosofia da matemtica
e props problemas importantes relativos a esta filosofia que, at os dias atuais,
so uma fonte inesgotvel de perguntas tocando diversos campos da matemtica
[2]. Em especial, o dcimo sexto problema, que apareceu pela primeira vez em
1891 e trata sobre a topologia de curvas e superfcies, permanece ainda hoje no
totalmente resolvido.
Neste mini-curso, abordaremos o problema sobre a topologia das curvas algbricas reais no plano projetivo. Embora o assunto seja extenso e complexo, nos
ateremos ao caso de curvas de at grau 6, ilustrando uma maneira de tratarmos
o caso geral via o mtodo Patchwork, introduzido por Oleg Viro nos anos 1970
[5].
Comearemos introduzindo os conceitos bsicos necessrios para entendermos o 16 Problema de Hilbert, tais como os polinmios, as curvas algbricas
planas afins e seu modelo projetivo, e tambm as noes de topologia como o de
conjunto conexo e arranjo. Na maioria das vezes, estaremos mais interessados na
compreenso desses objetos e das suas propriedades do que em demonstraes
propriamente ditas.
5
1.1
CAPTULO 1. INTRODUO
Polinmios
P (x1 , . . . , xn ) =
i1 i2 ...in
1.2
CAPTULO 1. INTRODUO
cubica lisa
y2=x3-x
cusp
y2=x3
node
y2=x3+x2
Exerccio 1.
1. Mostre que se f, g C[x, y] so polinmios de graus m e n respectivamente,
ento o grau de f g m + n, enquanto o grau de f + g menor ou igual
ao mximo entre m e n.
2. Mostre que x2 + y 2 1 irredutvel em C[x, y].
3. Mostre que x3 + y 3 redutvel em em C[x, y].
4. Seja P um polinmio homogneo. Mostre que se P = F G, F, G
C[x1 , . . . , xn ] \ C, ento F e G so ainda polinmios homogneos.
5. Mostre que a curva y 2 x3 + x = 0 no-singular, enquanto as curvas
y 2 x3 = 0 e y 2 x(x2 + x) = 0 possuem uma singularidade na origem.
6. Determine a cnica passando pelos pontos A = (1, 6), B = (3, 2), C =
(5, 0), D = (3, 4) e E = (0, 10).
1.3
1.3.1
O plano projetivo
I1
I1
I2
(1.1)
10
CAPTULO 1. INTRODUO
o plano z = 0, isto , este ponto pode ser identificado com uma direo no plano
z = 0. Como cada direo define um ponto no infinito, obtemos na verdade uma
reta no infinito em RP 2 . Por outro lado, se z = 0, ento podemos identificar
estes pontos {[ xz : yz : 1] | xz yz R} com o R2 . Desse modo, RP 2 pode ser visto
como a unio do R2 com uma reta no infinito. (Veja a Figura 1.4).
z
[x, y, z]
z = 1
y
( x , , 1)
z z
y
[x, y, 0]
1.3.2
11
p(x,1,z)=0
p(x,y,1)=0
z2-2yz+z+1=0
x2+xz-2z+z2=0
x2+x-2y+1=0
L : x = 0
L : y = 0
L : z = 0
12
CAPTULO 1. INTRODUO
ai,j xi y j z mij .
i,j
1.3.3
Comearemos analisando a interseo de uma reta e uma curva afins. Para isso
precisaremos de um resultado bem conhecido sobre polinmios em uma varivel.
Teorema 1 (Teorema Fundamental da lgebra). Se f (x) C[x] um polinmio de grau n, ento existem 1 , 2 , . . . , k em C distintos, c = 0 C e
e1 , . . . , ek inteiros positivos tais que
f (x) = c(x 1 )e1 (x k )ek .
Dizemos que ei a multiplicidade da raiz i , repare que
k
i=1 ei
= n.
Para polinmios homogneos em duas varivies sobre os complexos, o Teorema Fundamental da lgebra nos fornece uma fatorao bem simples em
produto de fatores irredutveis.
Corolrio 1. Seja F (x, y) C[x, y] um polinmio homogneo, ento existem
nmeros complexos i e i para i = 1, . . . , s e c = 0 C tais que
F (x, y) = c(1 x + 1 y)r1 (s x + s y)rs .
Temos tambm unicidade com relao aos quocientes 1 /1 , . . . , s /s .
Demonstrao. Podemos escrever
m
ai xi y mi = y m
F (x, y) =
i=0
x
ai ( )i ,
y
i=0
13
onde c o maior ndice tal que ac = 0. Pelo Teorema Fundamental da lgebra para polinmios em uma varivel aplicado a varivel x/y, conclumos que
existem nicos 1 , . . . , s C tais que:
F (x, y) = ac y m (
x
x
1 )r1 ( s )rs = ac y mc (x 1 y)r1 (x s y)rs .
y
y
14
CAPTULO 1. INTRODUO
1.4
O 16 problema de Hilbert
Chamamos de arranjo de uma curva projetiva plana a posio relativa das suas
componentes conexas no plano (ver Figura 1.8). Isso , no nos interessamos
pela posio exata da curva no plano, mas apenas pelo seu trao.
15
b. uma pseudo-reta
16
CAPTULO 1. INTRODUO
12
11
11
Exerccio 3.
1. Faa um esboo do arranjo das seguintes possveis curvas em RP 2 :
a) x2 + y 2 1 = 0,
b) y 2 = x(x 1)(x + 1),
c) y 2 = x(x2 + 1).
2. Determine as notaes correspondente aos arranjos abaixo
Captulo 2
Proibies
O primeiro passo para o estudo do 16 problema de Hilbert identificar quais as
configuraes de curvas planas reais so impossveis, a fim de limitar os casos de
estudo. Veremos que at grau 5 tudo resulta do Corolrio do Teorema de Bzout.
A partir do grau 6, outras consideraes topolgicas precisam ser consideradas.
Mas isso vai muito alm do objetivo desse curso. Contudo, vamos simplesmente
enunciar um resultado de proibio de grau 6 e estudar o caso das curvas com
o nmero mximo de componentes conexas, chamadas de M -curvas.
2.1
Ninhos
18
CAPTULO 2. PROIBIES
e um arranjo 1 2
de profundidade 1). Uma curva de grau 4 no pode realizar tal arranjo, pois
2 5 > 2 4. Lembramos que uma curva de grau 5 ter necessariamente uma
pseudo-reta no arranjo.
Figura 2.2: conjunto de 5 ovais no realizvel por uma curva de grau menor que
6.
Vamos generalizar ainda mais essa argumentao a fim de determinar o
nmero mximo de componentes conexas que uma curva de grau m pode ter.
2.2
Desigualidade de Harnack
Teorema 3 (Harnack, 1876). Uma curva projetiva plana real de grau m tem
(m 1)(m 2)
no mximo Hm =
+ 1 componentes conexas.
2
Uma curva com o nmero mximo de componentes chamada de M -curva.
Harnack mostrou que existem M -curvas para qualquer grau. Trataremos o caso
das M -curvas de grau 6 na Seo 3.2. A demonstrao que vamos descrever
a feita pelo prprio Harnack e deriva do Corolrio 2 do Teorema de Bzout.
Contudo, queremos ressaltar que esse Teorema meramente topolgico como o
mostrou Klein alguns anos mais tarde, mas isso uma outra histria...
Demonstrao. Comeamos considerando pequenos valores para m. O Teorema
evidente para m = 1 ou m = 2, pois retas e cnicas lisas tm no mximo
Hm = 1 componente conexa. Tratamos o caso m = 3 de uma cbica, onde
queremos mostrar que H3 = 2. A tcnica a mesma que a da Seo acima.
Com efeito, se a cbica tivesse 3 componentes conexas (2 ovais e uma pseudoreta) poderamos traar uma reta que passa pelo interior de cada oval. Essa reta
19
1=m3
2
2
pontos pelos quais tal curva pode passar. Ento escolhemos esses pontos na
componente conexa sobrando e contamos os pontos na interseo dessa curva
com C como acima. Obtemos no mnimo 2Hm + (m 3) = (m 1)(m 2) +
2 + (m 3) = m(m 2) + 1 pontos, que contradiz o Corolrio 2. Logo C tem
no mximo Hm componentes conexas.
2.3
Arranjos de at grau 5
20
CAPTULO 2. PROIBIES
m = 4, Hm = 4: C realiza a unio de i, 0 i 4, ovais sem ninho exceto quando i = 2, onde um ninho de profundidade 2 possvel:
0, 1, 2, 11 , 3, 4;
m = 5, Hm = 7: C realiza a unio de uma pseudo-reta com i, 0 i 6,
ovais sem ninho exceto quando i = 2 onde um ninho de profundidade 2
possvel: J , J 1 , J 2 , J 1 1 , J 3 , J 4 , J 5 , J 6 .
2.4
Arranjos de M -sxticas
A lista dos arranjos possveis das curvas de grau 6 muito grande. Por isso,
vamos restringir nosso estudo ao caso das curvas com o nmero mximo de componente conexas, chamadas de M -curvas. As M -curvas de grau 6 tem H6 = 11
ovais. Se aplicarmos apenas os resultados de proibio acima no descartaramos um nmero suficientemente grande de arranjos que so irrealizveis, pois
existem outras obstrues que limitam os casos. Essas obstrues so resultados profundos cujas demonstraes requerem muitos avanos em topologia, em
particular esto fora do alcance do nosso curso. Contudo, para reduzir a lista
dos arranjos possveis, vamos enunciar o Teorema de Rokhlin, que um exemplo
importante de proibio que no se deduz do Teorema de Bzout.
Definio 3. Dizemos que um oval par (resp. mpar ) quando est contido
numa coleo par (resp. mpar) de outros ovais.
Por exemplo, considere a Figura 2.1. No ninho da esquerda, o oval maior
par (pois 0 par... certo?), o oval mdio mpar, e o oval menor par. No
ninho da direita, o maior oval par e os 2 ovais de dentro so mpares.
Teorema 4 (Rokhlin). Seja C uma M -curva projetiva plana real de grau par
m = 2k. Ento
p n = k2
mod (8)
p=6en=5
15
p = 10 e n = 1
11
p=2en=9
19
21
22
CAPTULO 2. PROIBIES
Captulo 3
Construes
Uma vez que reduzimos bastante a lista dos arranjos possveis atravs das proibies, devemos provar que tais arranjos so efetivamente realizveis. Para isso,
basta exibirmos um exemplo para cada arranjo que no conseguimos proibir,
ento teremos determinado todos os arranjos realizveis. Assim, teremos respondido completamente o problema para curvas de grau m < 6 (e m = 6 pelas
curvas mximas). Observe que se no conseguimos construir um certo arranjo,
ento devemos ser capazes de proibi-lo, caso contrrio a questo fica em aberto.
Por isso, o 16 problema de Hilbert uma questo muito difcil em toda a
generalidade.
3.1
Perturbaes
3.1.1
Cbicas
O primeiro caso no trivial o das curvas de grau 3, chamadas cbicas. Recapitulamos as configuraes possveis listadas na Seo 2.3 pelas cbicas (aquelas
que no conseguimos proibir): C cbica lisa real plana topologicamente uma
pseudo-reta J ou a unio de uma pseudo-reta e um oval J 1 . O objetivo
exibir uma cbica de cada tipo e assim fechar o caso de grau m = 3. Para
isso, vamos perturbar a equao de uma cbica redutvel (e ento singular) cuja
topologia bem simples.
Com efeito, consideramos uma cbica singular, unio de uma elipse e de
23
24
CAPTULO 3. CONSTRUES
uma reta que se intersetam em dois pontos. A equao de tal curva dada
pelo produto de um polinmio de grau 2: Q(x, y) e uma reta afim: L(x, y). Por
exemplo Q(x, y) = 4y 2 +x2 1 e L(x, y) = y, assim as curvas reais se intersetam
em (1, 0) e (1, 0):
Q(x, y)L(x, y) = 0
Agora, vamos dividir o plano afim R2 segundo o sinal de Q(x, y)L(x, y). Essa
diviso delimitada precisamente quando Q(x, y)L(x, y) = 0, ou seja, por nossa
curva redutvel:
Por fim, perturbamos a equao inicial com a equao da reta azul. Isso ,
consideramos uma nova equao Q(x, y)L(x, y) + l(x, y) = 0, onde > 0 um
nmero real muito pequeno. Por muito pequeno queremos dizer um nmero
suficientemente prximo de 0 para que a cbica Q(x, y)L(x, y) + l(x, y) = 0
seja lisa, e tenha a topologia desejada. O raciocnio muito simples, mesmo se
ele no define explicitamente uma cota para , compreendemos facilmente que
tal cota existe. Alm disso, sabemos que as curvas lisas so densas no conjunto
das curvas algbricas.
3.1. PERTURBAES
25
Com o mesmo raciocnio, vemos aparecer uma cbica lisa feita apenas de
uma pseudo-reta J !
3.1.2
Qurticas
Com o mesmo mtodo podemos exibir todos arranjos possveis para as qurticas.
Para isso, basta comearmos com a unio de duas cnicas Q1 (x, y)Q2 (x, y) = 0
que se intersetam em 4 pontos e perturbar a equao por uma reta l(x, y) = 0:
26
CAPTULO 3. CONSTRUES
l(x, y) = 0
Segundo as posies relativas da reta azul e das cnicas, o resultado das perturbaes fornece uma das configuraes listada na Seo 2.3: 1 , 2 , 1 1 , 3
e 4 . Ver exerccio abaixo.
Alm disso, fcil construir a configurao vazia 0 , por exemplo com a
curva x4 + y 4 + 1 = 0.
O 16 Problema de Hilbert est resolvido para m 4.
Exerccio 4.
1. Esboce o trao da seguinte qurtica perturbada
2. Voc seria capaz de obter equaes explcitas para cada uma das qurticas
realizveis?
3.2. M -SXTICAS
3.1.3
27
Qunticas
Usamos o mesmo mtodo e mesmo raciocnio dessa vez, partimos de uma quntica redutvel que a unio de duas cnicas e uma reta, com o nmero mximo
de pontos na interseo. Nesse desenho no inclumos a reta azul. s vezes,
preciso considerar duas, trs ou at cinco retas... mas no importa, isso no
complica muito e podemos deduzir do desenho da perturbao a posio das
retas... exerccio!
Exerccio 5. Determine a posio de 5 retas para realizar as perturbaes das
qunticas abaixo:
3.2
M -sxticas
3.2.1
Mtodo de Harnack
28
CAPTULO 3. CONSTRUES
Iniciamos com a cbica redutvel da Seo 3.1.1 que perturbamos por uma
cbica C3 dada por 3 retas l1 (x, y)l2 (x, y)l3 (x, y). Observe que o grau do polinmio perturbado 3, e tambm que o uso de 3 retas nos permite trabalhar
com polinmios homogneos.
3.2. M -SXTICAS
29
C5 (x, y)L(x, y) = 0
Terminamos o processo com a perturbao da unio de C5 com a reta L(x, y) = 0
com a unio de 6 retas bem posicionadas. O resultado a sxtica C6 chamada
de M -curva de Harnack.
M -sxtica de Harnack
Quando visto no plano projetivo (complete com os pontos no infinitos), a M sxtica de Harnack realiza o desenho seguinte:
11
de grau
30
CAPTULO 3. CONSTRUES
3.2.2
Mtodo de Hilbert
Em 1891 Hilbert construiu M -curvas (em grau par) com arranjos diferentes daqueles obtidos por Harnack. Foi certamente esse estudo que motivo o enunciado
do 16 problema 10 anos mais tarde. Para exibir um novo arranjo a construo
de Hilbert e baseada no mesmo mtodo, porm comeamos com a unio de duas
cnicas (grau 4), perturbadas pela unio de 4 retas, como segue:
Logo prosseguimos, como no mtodo de Harnack, mas com uma das elipses no
lugar da reta, o que gera uma curva de grau 4 + 2 = 6:
6.
3.2.3
em grau
A curva faltando...
11
a M -sxtica de Harnack
19
a M -sxtica de Hilbert
Mas temos um outro arranjo por M -sxticas, listada na Seo 2.4, que no
conseguimos proibir.
3.2. M -SXTICAS
31
15
Essa curva tem uma histria interessante contada por Viro em [6]. David Hilbert trabalhou duro para construir outros tipos de arranjos por M -sxticas alm
dos dois citados, mas no conseguiu. Nessa poca as proibies do Teorema de
Roklhin (Teorema 4) eram desconhecidas. No momento em que ele enunciou os
seus 23 problemas, Hilbert pretendia provar que outros arranjos eram impossveis. Logo, na publicao da sua apresentao no Congresso Internacional de
Matemticos de 1900, Hilbert declarou-se convencido de que no existia outro
arranjo por M -sxticas que os chamados hoje de curvas de Harnack e de Hilbert.
O Problema de Hilbert foi totalmente resolvido at grau 6 pelo matemtico
russo D.A. Gudkov em 1969.
Em 1954, Gudkov provou, na sua dissertao de candidato (Ph.D.), a afirmao de Hilbert: a curva faltando no realizvel. Porm, 15 anos mais tarde,
na sua tese de doutorado, Gudkov invalidou sua prova e construiu a curva faltante. Finalmente, classificou todos os arranjos realizveis de grau 6 e, no caso
das M -curvas, mostrou que a lista dos arranjos da Seo 2.4 a correta. A
curva 5 1 5 chamada hoje de curva de Gudkov.
Somente mais tarde, em 1972, os trabalhos de V.I. Arnold e V.A. Rokhlin
deram uma compreenso mais precisa das proibies do tipo no Bzout. Por
exemplo, o Teorema 4 foi inicialmente uma conjectura devida a Gudkov.
Soluo do exerccio 4.
etc.
32
CAPTULO 3. CONSTRUES
3.3
Patchwork combinatrio
Para construir sua curva, Gudkov usou mtodos de perturbaes similares aos
da Seo 3.1. No entanto, esse trabalho muito mais complexo que o feito
acima, por considerar curvas com singularidades mais profundas e transformaes projetivas. E este estudo vai muito alm do objetivo desse curso.
Ao invs disso, vamos aprender um mtodo mais moderno de construo
de curvas algbricas planas reais com topologia controlada. Esse mtodo, dito
Patchwork combinatrio, foi criado por Oleg Viro na dcada de 1970 e constituiu
um progresso considervel no estudo do 16 Problema de Hilbert, apresentado
82 anos aps Hilbert no Congresso Internacional de Matemticos em Varsvia
[5].
Oleg Viro1
O mtodo, que expurgamos da parte terica, consiste numa construo ldica que se assemelha a um quebra-cabeas com muitas simetrias e cujas peas
so codificadas por sinais. Desse modo, cada um ser capaz de construir uma
topologia realizada por uma curva de grau m.
Descrevemos passo a passo a construo exemplificada para grau m = 2.
Primeiro, partirmos de uma triangulao inteira do simplexo m de comprimento m N e escolhemos um sinal qualquer para cada vrtice inteiro da
triangulao.
1
0
0
1
0
1
0
1
11111inteira de
00000
uma triangulao
+
_
33
0
1
11111
00000
00000
11111
0
1
00000
11111
00000
11111
0
1
00000
11111
00000
11111
0
1
00000
11111
00000
11111
0
1
111111
000000
00000
11111
1111111
0000000
00000
11111
0
1
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
+
+
+
0
1
11111
00000
00000
11111
0
1
00000
11111
00000
11111
0
1
00000
11111
00000
11111
0
1
00000
11111
00000
11111
0
1
111111
000000
1111111
0000000
00000
11111
00000
11111
0
1
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
00000
11111
+
+
+
34
CAPTULO 3. CONSTRUES
35
36
CAPTULO 3. CONSTRUES
15
Referncias Bibliogrficas
[1] C. G. Gibson. Elementary Geometry of Algebraic Curves: An Undergraduate Introduction. Cambridge University Press, 2001.
[2] D. Hilbert. Mathematical Problems. Bulletin of the American Mathematical Society, 8(10): 437-479, 1902.
[3] V. A. Rokhlin. Congruences modulo 16 in Hilberts sixteenth problem.
Functional Analysis and Its Applications, 7(2): 163-164, 1973.
[4] I. Vaisencher. Introduo s Curvas Algbricas Planas. IMPA, Coleo
Matemtica Universitria, 2005.
[5] O. Viro. Real Algebraic Varieties With Prescribed Topology. Livro em
preparao. A maior parte desse curso baseado no primeiro captulo:
Early Study of Real Algebraic Plane Curves.
Acessvel no endereo: www.pdmi.ras.ru/~olegviro/es.
[6] O. Viro. The 16th Hilbert problem, a story of mystery, mistakes and solution. Apresentao no MSRI o 20 de avril de 2007.
37