conjectura de poincaré geometria para entender o universo
TRANSCRIPT
![Page 1: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/1.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Conjectura de Poincar eGeometria para entender o Universo
Marcelo Viana
IMPA - Rio de Janeiro
Marcelo Viana Conjectura de Poincar e
![Page 2: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/2.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Outline
1 Conceitos fundamentais
2 Classificac ao de variedades
3 Conjectura de Poincar e
4 Conjectura da Geometrizac ao
5 Ideias da demonstrac ao
Marcelo Viana Conjectura de Poincar e
![Page 3: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/3.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Outline
1 Conceitos fundamentais
2 Classificacao de variedades
3 Conjectura de Poincare
4 Conjectura da Geometrizacao
5 Ideias da demonstracao
Marcelo Viana Conjectura de Poincar e
![Page 4: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/4.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Variedades
Definic ao
Uma variedade e um espaco que pode ser descrito localmenteatraves de coordenadas. O numero de coordenadas que saonecessarias e chamado dimensao da variedade.
dimensao 1 = curva dimensao 2 = superfıcie
Marcelo Viana Conjectura de Poincar e
![Page 5: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/5.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Variedades
Definic ao
Uma variedade e um espaco que pode ser descrito localmenteatraves de coordenadas. O numero de coordenadas que saonecessarias e chamado dimensao da variedade.
dimensao 1 = curva dimensao 2 = superfıcie
Marcelo Viana Conjectura de Poincar e
![Page 6: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/6.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Variedades abertas
O cilindro e uma variedade aberta, de dimensao 2.
Marcelo Viana Conjectura de Poincar e
![Page 7: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/7.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Variedades fechadas
O toro e uma variedade fechada, de dimensao 2.
Marcelo Viana Conjectura de Poincar e
![Page 8: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/8.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Porqu e variedades s ao importantes ?
Em geral, o conjunto dos estados possıveis de um sistemaexperimental e uma variedade. Por exemplo:
Marcelo Viana Conjectura de Poincar e
![Page 9: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/9.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Porqu e variedades s ao importantes ?
Em geral, o conjunto dos estados possıveis de um sistemaexperimental e uma variedade. Por exemplo:
θ
ω
Cada estado do pendulo simples corresponde a um par (θ, ω).
Marcelo Viana Conjectura de Poincar e
![Page 10: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/10.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Porqu e variedades s ao importantes ?
Em geral, o conjunto dos estados possıveis de um sistemaexperimental e uma variedade. Por exemplo:
θ
ω
Cada estado do pendulo simples corresponde a um par (θ, ω).O espaco de todas esses pares e um cilindro.
Marcelo Viana Conjectura de Poincar e
![Page 11: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/11.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Porqu e variedades s ao importantes ?
O Universo e uma variedade, de dimensao 4 (espaco-temporelativıstico). Que tipo de variedade ? E aberta ou fechada ?
Marcelo Viana Conjectura de Poincar e
![Page 12: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/12.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Problema da classificac ao
ProblemaPodemos listar todas as variedades de qualquer dimensao d ?
Em dimensao 1 e facil: a unica curva aberta e a reta e a unicacurva fechada e o cırculo. Como assim, “unica” ?
Marcelo Viana Conjectura de Poincar e
![Page 13: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/13.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Problema da classificac ao
ProblemaPodemos listar todas as variedades de qualquer dimensao d ?
Em dimensao 1 e facil: a unica curva aberta e a reta e a unicacurva fechada e o cırculo. Como assim, “unica” ?
Marcelo Viana Conjectura de Poincar e
![Page 14: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/14.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Problema da classificac ao
ProblemaPodemos listar todas as variedades de qualquer dimensao d ?
Em dimensao 1 e facil: a unica curva aberta e a reta e a unicacurva fechada e o cırculo. Como assim, “unica” ?
Marcelo Viana Conjectura de Poincar e
![Page 15: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/15.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Equival encia de variedades
Definic ao
Duas variedades sao equivalentes se ha uma correspondenciacontınua um-a-um entre os pontos de uma e da outra.
Marcelo Viana Conjectura de Poincar e
![Page 16: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/16.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Equival encia de variedades
Definic ao
Duas variedades sao equivalentes se ha uma correspondenciacontınua um-a-um entre os pontos de uma e da outra.
Uma esfera e um elipsoide sao equivalentes.
Marcelo Viana Conjectura de Poincar e
![Page 17: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/17.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
VariedadesMotivac oesProblema da classificac ao
Equival encia de variedades
Definic ao
Duas variedades sao equivalentes se ha uma correspondenciacontınua um-a-um entre os pontos de uma e da outra.
Uma esfera e um toro nao sao equivalentes.
Marcelo Viana Conjectura de Poincar e
![Page 18: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/18.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Outline
1 Conceitos fundamentais
2 Classificac ao de variedades
3 Conjectura de Poincare
4 Conjectura da Geometrizacao
5 Ideias da demonstracao
Marcelo Viana Conjectura de Poincar e
![Page 19: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/19.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Teorema de classificac ao das superfıcies
Ha duas sequencias fundamentais de superfıcies fechadas:
Marcelo Viana Conjectura de Poincar e
![Page 20: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/20.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Teorema de classificac ao das superfıcies
Ha duas sequencias fundamentais de superfıcies fechadas:
Superfıcies orientaveis
S2
T2
B2
. . .
Marcelo Viana Conjectura de Poincar e
![Page 21: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/21.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Teorema de classificac ao das superfıcies
Ha duas sequencias fundamentais de superfıcies fechadas:
Superfıcies nao orientaveis
P2
K2
. . . . . . . . .
Marcelo Viana Conjectura de Poincar e
![Page 22: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/22.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Teorema de classificac ao das superfıcies
TeoremaToda a superfıcie fechada e equivalente a uma destas.
Duas destas superfıcies nunca sao equivalentes.
Marcelo Viana Conjectura de Poincar e
![Page 23: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/23.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Dimens oes superiores
ProblemaPara d > 2, tambem podemos listar (a menos de equivalencia)todas as variedades de dimensao d ?
Em dimensao 4 ou maior a resposta e negativa: o conjunto detodas as variedades e demasiado “complexo” para que possaser listado de modo explıcito.
A prova deste fato usa ideias da teoria da complexidade queremontam ao famoso Teorema da Indecidibilidade de Godel.
Marcelo Viana Conjectura de Poincar e
![Page 24: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/24.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Dimens oes superiores
ProblemaPara d > 2, tambem podemos listar (a menos de equivalencia)todas as variedades de dimensao d ?
Em dimensao 4 ou maior a resposta e negativa: o conjunto detodas as variedades e demasiado “complexo” para que possaser listado de modo explıcito.
A prova deste fato usa ideias da teoria da complexidade queremontam ao famoso Teorema da Indecidibilidade de Godel.
Marcelo Viana Conjectura de Poincar e
![Page 25: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/25.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Variedades simplesmente conexas
Marcelo Viana Conjectura de Poincar e
![Page 26: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/26.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Variedades simplesmente conexas
Marcelo Viana Conjectura de Poincar e
![Page 27: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/27.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Variedades simplesmente conexas
Marcelo Viana Conjectura de Poincar e
![Page 28: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/28.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Variedades simplesmente conexas
Marcelo Viana Conjectura de Poincar e
![Page 29: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/29.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Variedades simplesmente conexas
Marcelo Viana Conjectura de Poincar e
![Page 30: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/30.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Variedades simplesmente conexas
Definic ao
Uma variedade e simplesmente conexa se todo laco nela podeser deformado ate colapsar num ponto.
Marcelo Viana Conjectura de Poincar e
![Page 31: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/31.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
Porqu e esta noc ao e importante ?
Toda a variedade pode ser construıda, como um “quociente”, apartir de uma variedade simplesmente conexa.
Marcelo Viana Conjectura de Poincar e
![Page 32: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/32.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Classificac ao das superfıciesDimens oes superioresVariedades simplesmente conexas
O Universo e simplesmente conexo ?
Marcelo Viana Conjectura de Poincar e
![Page 33: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/33.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Conjectura de Poincar eDimens oes superioresA Conjectura de Poincar e e a Medalha Fields
Outline
1 Conceitos fundamentais
2 Classificacao de variedades
3 Conjectura de Poincar e
4 Conjectura da Geometrizacao
5 Ideias da demonstracao
Marcelo Viana Conjectura de Poincar e
![Page 34: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/34.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Conjectura de Poincar eDimens oes superioresA Conjectura de Poincar e e a Medalha Fields
Conjectura de Poincar e
Conjectura
Toda variedade fechada simplesmente conexa de dimensao 3e equivalente a esfera 3-dimensional.
Proposta por Henri Poincare no inıcio do seculo XX (1900-04).
Demonstrada cem anos depois por Grigori Perelman, seguindoum roteiro iniciado por Richard Hamilton.
Marcelo Viana Conjectura de Poincar e
![Page 35: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/35.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Conjectura de Poincar eDimens oes superioresA Conjectura de Poincar e e a Medalha Fields
Henri Poincar e
29 de abril de 1854 - 17 de julho de 1912
Ultimo dos grandes matematicos universalistas.
Os seus trabalhos abarcam a maioria das areasda Matematica e da Fısica Teorica (geometria,algebra, analise, eletromagnetismo, topologia,equacoes diferenciais, mecanica celeste, teoriados numeros).
Foi um dos artıfices da Teoria da Relatividade e ofundador da area de Sistemas Dinamicos.
Marcelo Viana Conjectura de Poincar e
![Page 36: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/36.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Conjectura de Poincar eDimens oes superioresA Conjectura de Poincar e e a Medalha Fields
Grigori Perelman
13 de junho de 1966 (Sao Petersburgo, Russia)
Especialista de fama internacional com diversostrabalhos notaveis na area de Geometria, taiscomo a prova da Conjectura da Alma.
A partir de nov/2002, publicou na internet umaserie de artigos contendo a prova da Conjecturade Poincare e da Conjectura da Geometrizacao.
Em 2006 a Uniao Matematica Internacional (IMU)concedeu-lhe a Medalha Fields. No entanto,Perelman recusou, se demitiu do Instituto Steklov,e se afastou do meio academico.
Marcelo Viana Conjectura de Poincar e
![Page 37: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/37.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Conjectura de Poincar eDimens oes superioresA Conjectura de Poincar e e a Medalha Fields
Conjectura de Poincar e
A conjectura de Poincare faz sentido em qualquer dimensao:se uma variedade parece ser a esfera entao ela e a esfera ?
Conjectura
Para qualquer d > 2, toda variedade fechada que tem o tipo dehomotopia da esfera S
d e equivalente a esfera Sd .
Marcelo Viana Conjectura de Poincar e
![Page 38: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/38.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Conjectura de Poincar eDimens oes superioresA Conjectura de Poincar e e a Medalha Fields
Steven Smale
15 de julho de 1930 (Flint (Michigan), USA)
Deu notaveis contribuicoes fundamentais atopologia, sistemas dinamicos, economiamatematica e teoria da computacao.
Causou controversia no seu paıs ao afirmar: ”osmeus melhores trabalhos foram feitos nas praiasdo Rio de Janeiro”.
Em 1960 provou a Conjectura de Poincare emdimensao maior ou igual a 5. Por este trabalho,recebeu a Medalha Fields em 1966.
Marcelo Viana Conjectura de Poincar e
![Page 39: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/39.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Conjectura de Poincar eDimens oes superioresA Conjectura de Poincar e e a Medalha Fields
Michael Freedman
21 de abril de 1951, Los Angeles, USA
Adquiriu renome internacional por seus trabalhosem topologia, particularmente sobre variedadesde dimensao quatro. Atualmente trabalha emcomputacao quantica nos Laboratorios Microsoft.
Em 1982 provou a Conjectura de Poincare emdimensao quatro. Por este trabalho, recebeu aMedalha Fields em 1986.
Marcelo Viana Conjectura de Poincar e
![Page 40: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/40.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Conjectura de Poincar eDimens oes superioresA Conjectura de Poincar e e a Medalha Fields
A Conjectura de Poincar e e a Medalha Fields
Ate hoje, ja foram concedidas 44 Medalhas Fields. Tres forampara trabalhos sobre a Conjectura de Poincare. Algumas mais(por exemplo, Thurston e Yau) foram para topicos correlatos.
A Conjectura de Poincare tambem e um dos 7 Problemas doMilenio, distinguidos pelo Instituto Clay de Matematicas compremio de 1 milhao de dolares.
Marcelo Viana Conjectura de Poincar e
![Page 41: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/41.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Conjectura de Poincar eDimens oes superioresA Conjectura de Poincar e e a Medalha Fields
A Conjectura de Poincar e e a Medalha Fields
Ate hoje, ja foram concedidas 44 Medalhas Fields. Tres forampara trabalhos sobre a Conjectura de Poincare. Algumas mais(por exemplo, Thurston e Yau) foram para topicos correlatos.
A Conjectura de Poincare tambem e um dos 7 Problemas doMilenio, distinguidos pelo Instituto Clay de Matematicas compremio de 1 milhao de dolares.
Marcelo Viana Conjectura de Poincar e
![Page 42: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/42.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
As geometrias elementares
Outline
1 Conceitos fundamentais
2 Classificacao de variedades
3 Conjectura de Poincare
4 Conjectura da Geometrizac ao
5 Ideias da demonstracao
Marcelo Viana Conjectura de Poincar e
![Page 43: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/43.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
As geometrias elementares
Geometrizac ao das superfıcies
Poincare e Kobe aprofundaram a classificacao das superfıcies:toda a superfıcie de genero g > 1 e uma colagem de “calcas”.
Marcelo Viana Conjectura de Poincar e
![Page 44: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/44.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
As geometrias elementares
Conjectura da Geometrizac ao de Thurston
Conjectura
Toda a variedade de dimensao 3 e uma colagem de variedadesde 8 tipos geometricos basicos.
Marcelo Viana Conjectura de Poincar e
![Page 45: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/45.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
As geometrias elementares
Conjectura da Geometrizac ao de Thurston
As “pecas” sao quocientes de 8 variedades simplesmenteconexas localmente homogeneas:
1 S3 (curvatura constante positiva)
2 R3 (curvatura constante nula)
3 H3 (curvatura constante negativa)
4 S2× R
5 H2× R
6 SL(2, R)
7 variedade Nil (geometria do grupo de Heisenberg)8 variedade Sol
Marcelo Viana Conjectura de Poincar e
![Page 46: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/46.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
As geometrias elementares
William Thurston
30 de outubro de 1946 (Washington DC, USA)
Fez profundas contribuicoes a teoria dos nos,geometria, teoria das folheacoes e topologia dasvariedades, revelando a importancia dageometria hiperbolica no estudo das variedadesde dimensao 3.
Formulou a Conjectura da Geometrizacao eprovou que ela e valida no caso das variedadesde Haken (Teorema “Monstro”). Por este e outrostrabalhos, recebeu a Medalha Fields em 1982.
Marcelo Viana Conjectura de Poincar e
![Page 47: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/47.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
As geometrias elementares
Conjectura da Geometrizac ao de Thurston
A Conjectura da Geometrizacao implica a Conjectura dePoincare e aponta para a classificacao de todas as variedadesde dimensao 3.
As duas conjecturas foram provadas por Perelman em 2003,seguindo um programa iniciado por Hamilton.
Marcelo Viana Conjectura de Poincar e
![Page 48: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/48.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Outline
1 Conceitos fundamentais
2 Classificacao de variedades
3 Conjectura de Poincare
4 Conjectura da Geometrizacao
5 Ideias da demonstrac ao
Marcelo Viana Conjectura de Poincar e
![Page 49: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/49.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Estrat egia da demonstrac ao
No inıcio dos anos 80, Hamilton propos a seguinte estrategia:
Comecando com uma variedade de dimensao 3 com umametrica qualquer, deforma-la para aumentar a curvatura ondeela e pequena e diminuir a curvatura onde ela e grande. Adeformacao deveria convergir para uma geometria “uniforme”.
FILMES (C. McMullen, R. Sinclair, L. H. Figueiredo)
Marcelo Viana Conjectura de Poincar e
![Page 50: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/50.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Estrat egia da demonstrac ao
Se a variedade inicial e simplesmente conexa entao adeformacao deveria convergir para a esfera S
3. Istoprovaria a Conjectura de Poincare.
Em geral, a deformacao deveria convergir para as 8geometrias de Thurston. Isto provaria a Conjectura daGeometrizacao.
Em dimensao 2 esta estrategia funciona: a deformacaoconverge para uma superfıcie com curvatura constante.
Marcelo Viana Conjectura de Poincar e
![Page 51: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/51.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Fluxo de Ricci
A formulacao exata desta estrategia e dada pelo fluxo de Ricci:
∂
∂tgi ,j = −2Ri ,j
onde gi ,j e a metrica, Ri ,j e o tensor da curvatura de Ricci, e t eo parametro (“tempo”) de deformacao.
O fluxo de Ricci e uma versao nao linear da Equacao doCalor: ele provoca “difusao” da curvatura na variedade.
O tensor de Ricci e fundamental na Relatividade Geral:
equacao de campo de Einstein: 8πTi ,j = Ri ,j −R2
gi ,j .
Marcelo Viana Conjectura de Poincar e
![Page 52: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/52.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Fluxo de Ricci
A formulacao exata desta estrategia e dada pelo fluxo de Ricci:
∂
∂tgi ,j = −2Ri ,j
onde gi ,j e a metrica, Ri ,j e o tensor da curvatura de Ricci, e t eo parametro (“tempo”) de deformacao.
O fluxo de Ricci e uma versao nao linear da Equacao doCalor: ele provoca “difusao” da curvatura na variedade.
O tensor de Ricci e fundamental na Relatividade Geral:
equacao de campo de Einstein: 8πTi ,j = Ri ,j −R2
gi ,j .
Marcelo Viana Conjectura de Poincar e
![Page 53: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/53.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Fluxo de Ricci
A formulacao exata desta estrategia e dada pelo fluxo de Ricci:
∂
∂tgi ,j = −2Ri ,j
onde gi ,j e a metrica, Ri ,j e o tensor da curvatura de Ricci, e t eo parametro (“tempo”) de deformacao.
O fluxo de Ricci e uma versao nao linear da Equacao doCalor: ele provoca “difusao” da curvatura na variedade.
O tensor de Ricci e fundamental na Relatividade Geral:
equacao de campo de Einstein: 8πTi ,j = Ri ,j −R2
gi ,j .
Marcelo Viana Conjectura de Poincar e
![Page 54: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/54.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Fluxo de Ricci normalizado
O fluxo de Ricci nao preserva o volume da variedade:
Por isso, precisamos utilizar o fluxo de Ricci normalizado:
∂
∂tgi ,j = −2Ri ,j + λgi ,j
onde λ e chamada constante cosmologica.
Marcelo Viana Conjectura de Poincar e
![Page 55: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/55.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Fluxo de Ricci normalizado
O fluxo de Ricci nao preserva o volume da variedade:
Por isso, precisamos utilizar o fluxo de Ricci normalizado:
∂
∂tgi ,j = −2Ri ,j + λgi ,j
onde λ e chamada constante cosmologica.
Marcelo Viana Conjectura de Poincar e
![Page 56: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/56.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Richard Hamilton
Nascido em 1943.
Formulou o programa do fluxo de Ricci e provouque esta estrategia realmente funciona quando avariedade inicial tem curvatura de Ricci positiva:
TeoremaToda variedade fechada simplesmente conexa dedimensao 3 que admite metrica com curvatura deRicci positiva e equivalente a esfera S
3.
Marcelo Viana Conjectura de Poincar e
![Page 57: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/57.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Singularidades
No caso geral, quando a curvatura de Ricci nao e positiva, ofluxo de Ricci pode desenvolver singularidades:
Marcelo Viana Conjectura de Poincar e
![Page 58: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/58.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Singularidades
No caso geral, quando a curvatura de Ricci nao e positiva, ofluxo de Ricci pode desenvolver singularidades:
Marcelo Viana Conjectura de Poincar e
![Page 59: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/59.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Singularidades
No caso geral, quando a curvatura de Ricci nao e positiva, ofluxo de Ricci pode desenvolver singularidades:
Marcelo Viana Conjectura de Poincar e
![Page 60: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/60.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Singularidades
No caso geral, quando a curvatura de Ricci nao e positiva, ofluxo de Ricci pode desenvolver singularidades:
Marcelo Viana Conjectura de Poincar e
![Page 61: Conjectura de Poincaré Geometria para entender o Universo](https://reader034.vdocuments.com.br/reader034/viewer/2022052406/5870b8f51a28abae588b7789/html5/thumbnails/61.jpg)
Conceitos fundamentaisClassificac ao de variedades
Conjectura de Poincar eConjectura da Geometrizac ao
Ideias da demonstrac ao
Estrat egiaFluxo de RicciSingularidades
Prova das Conjecturas de Poincar e e Thurston
Grigori Perelman explicou como o fluxo pode ser modificado(fluxo de Ricci com cirurgia) de modo a manter este fenomenosob controle, evitando os piores tipos de singularidades. Paraisso, introduziu diversas tecnicas originais revolucionarias.
Marcelo Viana Conjectura de Poincar e