Problemas del Milenio

La Conjetura de Poincaré.
Agujeros y esferas
María Teresa Lozano Imízcoz
Universidad de Zaragoza

Sabadell, 8-3-2005
07/03/2005 1
 Henri Poincaré Ingeniero de minas (1879)
1854-1912
Doctor en Ciencias
(Matemáticas) bajo la dirección
de Hermite.

Metódico, intuitivo,
memoria excepcional,
extraordinaria visión espacial y
gran poder de abstracción.

Profesor en la Sorbona y en la
École Polytecnique (Paris)

07/03/2005 2
 Contribuciones en física,
matemáticas y filosofía:

Funciones automorfas
(Fuchsianas)
Macánica celeste
Topología
Pensamiento científico

“Matemático, geómetra,
filósofo, y hombre de letras,
una especie de poeta del
infinito, una especie de
trovador de la ciencia”

07/03/2005 3
 Esquema
Introducción a la topología:
•Las esferas
•Concepto de n-variedad
•Problemas de topología

•Establecimiento de la conjetura
•Sus generalizaciones
•¿Su solución?

07/03/2005 4
 La esfera Sn
Definición geométrica:

Vectores unitarios del espacio Euclideo En+1.

Sn={(x1, x2,…,xn+1)|Êxi2=1}
n=1 n=2
Circunferencia en el plano Esfera en el espacio

07/03/2005 5
 La esfera S3

Dificultades para dibujarla.

Algunas representaciones de esta esfera

– R3»{¶}. Proyección estereográfica.
– Unión de dos bolas tridimensionales.
– Identificación en la esfera borde de una
bola.
– Unión de dos toros sólidos.
07/03/2005 6
 Topología:
• Geometría módulo deformaciones continuas
• Propiedades que se conservan por
deformaciones continuas.

¡Circunferencias!
07/03/2005 7
 Topología:
• Geometría módulo deformaciones continuas
• Propiedades que se conservan por
deformaciones continuas.

¡Esferas de dimensión 2!
07/03/2005 8
 Topología: Concepto de variedad Mn

• Un variedad Mn es un espacio donde cada

punto tiene un entorno homeomorfo a una
bola de dimensión n.

n 1 2 3

entorno intervalo disco bola

Ejemplos: R1, S1 R2, S2 R3, S3

07/03/2005 9
 Topología: Concepto de variedad Mn

Problemas importantes:
• Clasificar las n-variedades:
Dar una lista completa sin repeticiones
• Caracterizar la esfera Sn:
Problema de Poincaré

07/03/2005 10
 Superficies (2-variedades).
•Cada punto tiene un entorno
homeomorfo a un disco.

• Están clasificadas por su orientabilidad y género.

– Orientables:
Fg, g ≥ 0.

S2=F0 F1 F2

–No orientables: Nk, k>0.

07/03/2005 11
 Variedad tridimensional
• Localmente es como nuestro espacio
ambiente.
Cada punto tiene un
entorno homeomorfo a
una bola B3.

Imposibilidad de abarcar visualmente nuestro

universo desde el exterior.
07/03/2005 12
 Superficies

• Desde dentro de la superficie

no es fácil saber de que superficie
se trata.

S2=F0 F1 F2
07/03/2005 13
07/03/2005 14
 Procedimiento intrínseco:
Caminos cerrados dentro de la superficie.

07/03/2005 15
 Procedimiento intrínseco:
Caminos cerrados dentro de la superficie.

07/03/2005 16
 Procedimiento intrínseco:
Caminos cerrados dentro de la superficie.

07/03/2005 17
 Procedimiento intrínseco:
Caminos cerrados dentro de la superficie.

En S2 se contrae a un punto.

07/03/2005 18
 Procedimiento intrínseco:
Caminos cerrados dentro de la superficie.

En S2 se contrae a un punto.

07/03/2005 19
 Procedimiento intrínseco:
Caminos cerrados dentro de la superficie.
En S2 siempre se contraen En otras superficies no
a un punto. siempre es posible.

07/03/2005 20
 En superficies:
•El grupo fundamental, formado por las clases de
equivalencia de caminos cerrados que empiezan y
terminan en el mismo punto de una superficie, la
distingue de cualquier otra.
•La esfera S2 es la única superficie cerrada en la
que todo lazo (camino cerrado) se contrae a un
punto.
•La esfera S2 es la única superficie cerrada en la
que toda curva simple cerrada bordea (un disco).
07/03/2005 21
 En superficies:
•El grupo fundamental, formado por las clases de
equivalencia de caminos cerrados que empiezan y
terminan en el mismo punto de una superficie, la
distingue de cualquier otra.
•La esfera S2 es la única superficie cerrada en la
que todo lazo (camino cerrado) se contrae a un
punto.
•La esfera S2 es la única superficie cerrada en la
que toda curva simple cerrada bordea (un disco).
07/03/2005 22
 Origen de la cuestión
Afirmación original (1900):
• Una variedad de dimensión 3 compacta y
sin borde, en la que todo lazo es el borde
de una superficie inmersa, es la esfera S3.
• Si una variedad de dimensión 3 compacta
y sin borde, tiene el tipo de homología de
la esfera S3, es la esfera S3.

07/03/2005 23
 Contraejemplo:
Esfera homológica de Poincaré
Posiciones de un dodecaedro inscrito en una esfera

07/03/2005 24
 Esfera homológica de Poincaré
Posiciones de un dodecaedro inscrito en una esfera

v Un punto en la
esfera y un vector
P tangente en ese
punto determina
un dodecaedro
inscrito.

07/03/2005 25
 Esfera homológica de Poincaré
Esta variedad de dodecaedros inscritos es de dimensión
3, cociente del esférico tangente de la esfera por un
grupo finito (SO(3)/I60).
Su grupo de homotopía es el binario icosaedral, grupo
perfecto (su abelianizado es trivial) de 120 elementos.
Su grupo de homología es trivial.
Es el resultado de pegar cada par de caras opuestas de
un dodecaedro por giro a derecha de 2π/10.
Es espacio recubridor cíclico de cinco hojas de S3
ramificado sobre el trébol, y también el resultado de
hacer cirugía –1 en el trébol.
07/03/2005 26
 Todas las esferas homológicas son
contraejemplos a la pregunta original.
Tras definir y estudiar el concepto de
grupo fundamental, Poincaré se plantea
la pregunta precisa.

07/03/2005 27
 Enunciado de la conjetura. (1904)
• Una variedad de dimensión 3 cerrada
en la que todo lazo bordea un disco
es la esfera S3.
• Una variedad de dimensión 3
cerrada simplemente conexa es
la esfera S3.

CP
07/03/2005 28
 La conjetura en otras dimensiones
• Dimensión 2: Cierto
• Dimensión >4: (1960→, Smale, Stalling, Wallace,
Zeeman) Diferentes versiones para diferentes hipótesis.
– (Smale) Toda esfera homotópica diferenciable
Mn, n>4, es homeomorfa a la esfera Sn.

07/03/2005 29
 La conjetura en otras dimensiones
• Dimensión 2: Cierto
• Dimensión >4: (1960→, Smale, Stalling, Wallace,
Zeeman) Diferentes versiones para diferentes hipótesis.

• Dimensión 4: (1980 →, Freedman)

– Dos 4-variedades simplemente conexas son
homeomorfas si y solo si tienen el mismo
β:H2×H2→H4≅Ù y el mismo invariante de Kirby-
Siemenmann κ.
– Corolario. Una esfera homotópica M4 es
homeomorfa a la esfera S4. (H2(M4)=0, κ (M4)=0)
07/03/2005 30
 La CP es parte del problema de

Clasificación de 3-variedades
• Métodos combinatorios y topológicos
– Determinar un procedimiento que construya todas
las 3-variedades.
• Poliedro con caras identificadas
• Diagrama de Heegaard
• Espacio recubridor de S3 ramificado
– de tres hojas sobre un nudo (variable)
– sobre un nudo o enlace universal
• Cirugía en un enlace de S3
– Imponer la condición de ser simplemente conexa
– Demostrar la CP o encontrar un contraejemplo.

07/03/2005 31
 La CP es parte del problema de

Clasificación de 3-variedades
• Métodos combinatorios y topológicos
– En cada caso se han obtenido conjeturas
equivalentes (en mayor o menor grado) a la CP.
– Enunciados de la conjetura en diferentes
contextos.
– Demostraciones de la CP

• Métodos geométricos (1978 Ø )

– R. Ryley, Thurston,…

07/03/2005 32
 La CP es parte de la conjetura de Thurston

Geometrización de 3-variedades CG .

Cada 3-variedad prima M es geométrica o

sus piezas simples son geométricas.

• Descomposición de 3-variedades
– En suma conexa de 3-variedades primas.
– Cada variedad prima se descompone por toros
incompresibles en piezas simples.
• Variedad geométrica
07/03/2005 33
 Suma conexa de variedades.
• Es el resultado de quitar sendas bolas e identificar las
esferas bordes resultantes mediante un homeomorfismo.
En superficies:

(M1-D1) » (M1-D2) = M1#M2

07/03/2005 34
 Suma conexa de variedades.
• Es el resultado de quitar sendas bolas e identificar las
esferas bordes resultantes mediante un homeomorfismo.
En 3-variedades:

B1 B2

M1 M2

(M1-B1) » (M1-B2) = M1#M2

Se pasa de M1 a M2 por un túnel de agujero
de gusano con una esfera S2 como sección.
07/03/2005 35
 • Cada variedad prima se descompone por
toros incompresibles en piezas simples.
• Un toro T encajado en M es incompresible si ninguna
curva simple cerrada esencial en T bordea un disco en M.

T1 T2

M1 M2

Se pasa de M1 a M2 por un túnel de agujero de gusano con un

toro como sección.
07/03/2005 36
 3-Variedad geométrica

Una geometría X es una 3-variedad Riemanniana

homogenea unimodular y simplemente conexa.
– Curvatura constante S3, E3, H3
– Geometrías producto S2×Ñ, H2×Ñ
– Geometrías productos torcidos Nil, Sol, SL2(Ñ)

La única geometría compacta es S3

Una 3-variedad compacta es geométrica si su
interior es X/Γ y tiene volumen finito, donde Γ es
un subgrupo discreto de isometrías de X que
actua libremente.
07/03/2005 37
 CG implica CP

Cada 3-variedad prima M es geométrica o

sus piezas simples son geométricas.

Una variedad de dimensión 3 cerrada

simplemente conexa es la esfera
S3.
07/03/2005 38
 CG implica CP
Sea M3 cerrada y simplemente conexa.
M3 = M1#M2#...#Mk, donde Mi es también cerrada
y simplemente conexa.
‡
Mi no tiene toros incompresibles
‡
Mi es geométrica (y compacta)
‡
Mi es S3
‡
M3 = S3 # S3 #...# S3 es S3

07/03/2005 39
 Novedad (Hamilton-Perelman):
CG usando el flujo de Ricci
Hamilton (1982) define el flujo de Ricci
Sea M3 3-variedad cerrada.
La familia diferenciable de métricas Riemannianas
{ }
g (t ) t ∈ [0, T ), T < ∞ en M, es flujo de Ricci si satisface
g ′(t ) = −2 Ric( g (t ))
Normalizada c
2
g ′(t ) = −2 Ric( g (t ) + r (t ) g (t )
07/03/2005
3 40
 Flujo de Ricci º ecuación del calor
• En una carta normal (U,(x1, xn))
1
g ij ( x ) = δ ij − Ripjq x p x q + O (| x |3 )
3
Luego, su laplaciana en el centro es
n ∂ 2 g ij 1 n 1
∆ g ij ( 0 ) = ∑ ∂( x
k =1
k
)2
= − 2 ∑ Rikjk ( 0 ) = − Ric ij ( 0 )
3 k =1 3
(0)

Entonces

∂g ij ∂g ij
= −2 Ricij ≈ 6∆g ij
∂t ∂t
07/03/2005 41
 Ejemplo de flujo de Ricci

Sea M rn la esfera de radio r en el espacio E n +1

g ij ( r ) = r 2 g ij (1)
Ricij ( r ) = ( n − 1) g ij (1) = Ricij
∂g ij(r)
El flujo de Ricci = -2 Ricij(r) se reduce a
∂t
2
dr
= −2(n − 1 ) ⇒ r 2 (t ) = r 2 (0) − 2( n − 1)t
dt

07/03/2005 42
 Teorema A de Hamilton (1982)
Si M3 es una variedad Riemanniana cerrada cuyo
tensor de Ricci es definido positivo, entonces la variedad
colapsa a un punto bajo el flujo de Ricci. Si se considera
el flujo normalizado (volumen constante) converge a
una variedad con curvatura constante positiva, luego es
geométrica.

Corolario: CP ñ Toda 3-variedad cerrada

simplemente conexa admite una estructura
Riemanniana cuyo tensor de Ricci es definido positivo.

07/03/2005 43
 Teorema B de Hamilton (1999)
Si el flujo de Ricci en una variedad Riemanniana
cerrada M3 tiene solución "t>0, y el tensor curvatura de
la solución normalizada tiene norma acotada, entonces
CG es cierta para M3.
La variedad M3 con la métrica (tض) se descompone por
toros incompresibles en Mgruesa»Mfina, donde Mgruesa es
union de variedades hiperbólicas completas de volumen
finito y Mfina es variedad de grafo.

07/03/2005 44
 Teorema buscado
Si el flujo de Ricci en una variedad Riemanniana
cerrada M3 tiene solución "t>0, y el tensor curvatura de
la solución normalizada tiene norma acotada, entonces
CG es cierta para M3.
La variedad M3 con la métrica (tض) se descompone por
toros incompresibles en Mgruesa»Mfina, donde Mgruesa es
union de variedades hiperbólicas completas de volumen
finito y Mfina es variedad de grafo.

07/03/2005 45
 Teorema C de Perelman (2003/4)
La CG es cierta para una 3-variedad cerrada M3.

Cada componente irreduclble se descompone por

toros incompresibles en Mgruesa»Mfina, donde Mgruesa es
unión de variedades hiperbólicas completas de volumen
finito y Mfina es variedad de grafo.

07/03/2005 46
 Dificultades en el flujo de Ricci

• En un tiempo finito, una esfera S2 colapsa a

un punto.

cirugía

07/03/2005 47
 Dificultades en el flujo de Ricci

• En un tiempo finito, una esfera S2 colapsa a

un punto.
– Solución: cirugía que separa esferas (si hemos
partido de variedad irreducible).
• ¿Existen solo un número finito (localmente
finito) de singularidades?.
• La variedad restante se descompone por toros
incompresibles en Mgruesa»Mfina, donde Mgruesa es
unión de variedades hiperbólicas completas de
volumen finito y Mfina es variedad de grafo.
07/03/2005 48
 Si el CMI considera
resuelto el problema,
su autor recibirá un
millón de dólares.

07/03/2005 49
 Premiados en 2003:
Richard Hamilton

07/03/2005 50
 Gracias

07/03/2005 51