LAS FORMAS DEL ESPACIO∗

Domingo Chinea
Universidad de La Laguna.

Abstract: We give a brief review on the shape of our universe, beginning with the necessary
mathematical tools, both geometrical and topological, to describe the relativistic cosmological
models, and finishing with a introduction to the cosmic topology.
Resumen: En este texto trataremos de aproximarnos al estudio de la forma de nuestro universo,
comenzando con las herramientas matem´aticas necesarias, tanto geom´etricas como topol´ogicas,
para describir los modelos cosmol´ogicos relativistas, y finalizando con una breve introducci´on a
la topolog´ıa c´osmica.

1

Introducci´
on

A lo largo de la historia el hombre se ha preocupado intensamente en entender el espacio
f´ısico que le rodea. Por ello, desde siempre ha intentado buscar respuestas a preguntas
sobre la forma y extensi´on del universo.
Una primera consideraci´on a tener en cuenta antes de continuar es que las repuestas
a tales cuestiones se encuentran ante un hecho irremediable: es imposible definir la forma
de un objeto que se percibe u
´nicamente desde su interior.
Los antiguos griegos fueron los primeros en usar la observaci´on y el razonamiento
para la descripci´on del universo. Ellos apenas dispon´ıan de medios t´ecnicos y recurr´ıan
principalmente a la imaginaci´on y la idealizaci´on. La mayor´ıa de los estudios fueron
desarrollados en el marco metaf´ısico de la filosof´ıa y la religi´on, llegando incluso a asignar
a la forma y al movimiento de los cuerpos celestes un car´acter mitol´ogico.
Para los griegos el universo se divid´ıa en ocho esferas, con la tierra como centro, la luna,
el sol y los cinco planetas conocidos en aquel tiempo constitu´ıan las esferas intermedias y
las estrellas, inm´oviles, la u
´ltima. Para ellos el universo era finito y llegaba hasta la esfera
de las estrellas fijas (modelo de Arist´oteles y Ptolomeo). Este modelo perdur´o durante
muchos siglos, hasta la aparici´on del modelo propuesto por Cop´ernico a principios del
siglo XVI, en la cuna del renacimiento.
El modelo de Cop´ernico en realidad comenz´o a tomarse en serio casi un siglo despu´es.
De hecho, a partir del siglo XVII, los modelos cosmol´ogicos se basaron en el principio seg´
un
el cual la tierra no ocupaba ning´
un lugar privilegiado en el universo y la distribuci´on de
las estrellas era ”homog´enea, is´otropa y en eterno equilibrio” (Cop´ernico, Galileo, Kepler,
Newton, Leibnitz,...). Esto implicaba que el universo se pod´ıa identificar con el espacio

Texto de la conferencia divulgativa que imparti´o el autor en la Facultad de Matem´aticas de la
Universidad de La Laguna el d´ıa 10 de marzo de 2005.

Ahora bien. En este texto trataremos de aproximarnos al estudio de la forma de nuestro universo. Dos trabajos son claves en los inicios. en el mismo rango que la geometr´ıa eucl´ıdea. ´estas tambi´en pod´ıan servir de modelo de nuestro universo. a finales del siglo XVIII y durante el siglo XIX. En esta obra. y la aplicaremos para la construcci´on de los modelos cosmol´ogicos.Eucl´ıdeo R3 . Leibnitz. Es necesaria la topolog´ıa. que es un espacio tridimensional. de extensi´on infinita. As´ı. 1854. considerado como la obra maestra de la geometr´ıa cl´asica de superficies. comenzando con las herramientas matem´aticas necesarias. para describir los modelos cosmol´ogicos relativistas. ¿Qu´e modelo tomar? ¿Cu´ales son las herramientas. Adem´as. Analizamos tambi´en la manera de detectar la forma de nuestro universo y finalizamos con un modelo de universo recientemente propuesto (el espacio dodeca´edrico de Poincar´e). de Bernhard Riemann. e incluye modelos cosmol´ogicos m´ ultiplemente conexos (”con agujeros”). la geometr´ıa no basta para obtener la estructura global de nuestro universo. como una generalizaci´on de los conceptos de superficie y espacio tridimensional. la estructura del Universo se rige por la gravitaci´on. en la secci´on tercera abordamos la clasificaci´on topol´ogica de las variedades de dimensi´on tres. Posteriormente. la memoria Sobre las hip´otesis que sirven de fundamentos a la geometr´ıa. Entonces. as´ı como el resultado que caracterizan a las variedades de Riemann de curvatura seccional constante. y el segundo. y finalizando con una breve introducci´on a la topolog´ıa c´osmica. El primero Disquisitiones generales circa superficies curvas. homog´eneo e is´otropo. de Karl Friedrich Gauss. 1827. m´etrica y curvatura. La geometr´ıa que soporta la relatividad general es la denominada geometr´ıa de Riemann. se supon´ıa que el tiempo y el espacio eran absolutos. la cual estudia la topolog´ıa global del universo. En las secciones cuarta y quinta describiremos brevemente c´omo Einstein lleg´o a la necesidad de utilizar la geometr´ıa de Riemann para formalizar la teor´ıa general de la relatividad. tanto geom´etricas como topol´ogicas. M´as concretamente. Riemann revoluciona la geometr´ıa. Este es el modelo cosmol´ogico que propusieron I. o la teor´ıa matem´atica que nos permiten dar soluci´on cient´ıfica a estas preguntas? Desde el punto de vista de la F´ısica sabemos que la din´amica de las galaxias ( c´ umulos y superc´ umulos) est´a regida por la interacci´on gravitatoria. En la u ´ltima secci´on nos introduciremos en la topolog´ıa c´osmica. en la segunda secci´on recordamos los conceptos de variedad diferenciable. 2 Las variedades de Riemann Las variedades diferenciables surgen en el siglo XIX. La mejor teor´ıa del campo gravitatorio que disponemos en la actualidad sigue siendo la relatividad general. Newton y G. que se puede obtener a trav´es del proceso de geometrizaci´on de Thurston. a gran escala. con la aparici´on de las geometr´ıas no eucl´ıdeas. con geometr´ıa llana (eucl´ıdea). en particular en la idea de que en . y usando un lenguaje intuitivo profundiza en las ideas de Gauss. creada por la materia que en ´el se encuentra.W. que interpreta la gravitaci´on como una deformaci´on (´o curvatura) del tejido geom´etrico del universo. Como los modelos de universos son variedades de dimensi´on tres.

el transporte paralelo. y algunos otros autores posteriores como C. como aparece actualmente. aparece por primera vez de forma expl´ıcita en 1913 en un trabajo de H. Es el germen del concepto de variedad diferenciable. La geometr´ıa de Gauss y Riemann. r2 . Chevalley. Veblen y H.. e introdujo el concepto de n-magnitud. necesaria para la formalizaci´on de las ideas de Riemann. volumen de una regi´on. S. Whitehead de 1932. al considerar el espacio de configuraci´on de un sistema din´amico. Una clase importante de variedades son las de curvatura constante (se entiende curvatura seccional constante). o la que mide lo que difiere la variedad del espacio eucl´ıdeo (espacio llano o plano). de dimensi´on n. una variedad diferenciable. una m´etrica de Riemann sobre una variedad diferenciable es un campo de tensores de tipo (0. La curvatura es la responsable de c´omo se curva o dobla (flexiona) una superficie. De Rham. A grandes rasgos. En una superficie la curvatura a que nos referimos es la curvatura de Gauss.. En su obra Riemann profundiz´o en la idea de espacio de Gauss.geometr´ıa hab´ıa que separar el espacio de las construcciones y propiedades geom´etricas que pueden desarrollarse en el mismo. de modo que en las intersecciones el cambio de coordenadas es un difeomorfismo (local) entre abiertos de Rn . se debe a H. 1900. A trav´es de estos homeomorfismos uno puede introducir coordenadas locales en la variedad. Tres conceptos claves en la obra de Riemann son el espacio. la distancia entre puntos. es un espacio topol´ogico (Hausdorff. su primera forma fundamental es una m´etrica de Riemann (es la m´etrica que induce sobre ella el producto eucl´ıdeo de R3 ). segundo contable) de tal forma que en cada uno de sus puntos podemos encontrar un abierto que es homeomorfo a un abierto de Rn . Levi-Civita. Un cl´asico resultado nos dice que una variedad de Riemann. La m´etrica es la que determina la geometr´ıa en una variedad de Riemann. la definici´on moderna surge en el libro de O. S. junto a la tambi´en fundamental obra M´etodos del c´alculo diferencial absoluto. ´angulo entre vectores tangentes y entre curvas. Chern. y la definitiva... G. que ser´an esenciales para Einstein. Tambi´en podemos introducir las geod´esicas.. n-dimensional.. La esfera Sn (r) si c = 1 . Distintas m´etricas dan lugar a distintas geometr´ıas sobre una misma variedad. constituyeron los fundamentos matem´aticos que utiliz´o posteriormente Einstein para desarrollar su teor´ıa general de la relatividad.. completa y simplemente conexa de curvatura constante c es isom´etrica a: 1. en 1788.. La n-magnitud es el ”ente” o ”conjunto” en donde se va a desarrollar la geometr´ıa. 2) sim´etrico y definido positivo. La idea de variedad diferenciable ya estaba en el tratado de Mec´anica Anal´ıtica de Lagrange.. Para una superficie. En lenguaje tensorial. Con la m´etrica podemos definir la longitud de una curva. Whitney en 1936. de G.. la derivaci´on covariante. Ricci y T. Dar una m´etrica es dar un producto escalar sim´etrico y definido positivo en el espacio tangente de cada punto de la variedad. Weyl. aunque su definici´on. la m´etrica y la curvatura.

• El plano proyectivo. compactas y sin borde. As´ı. el tama˜ no y la distancia. Las transformaciones equivalentes en topolog´ıa se denominan homeomorfismos. El g´enero de una superficie puede ser descrito intuitivamente como el n´ umero de agujeros de la misma. Las variedades de dimensi´on dos son las superficies. Ahora. si M 2 no es orientable. si M 2 es orientable. Es decir. cortar. g ≥ 2. El problema de clasificaci´on de superficies cerradas tambi´en est´a resuelto.2. en los u ´ltimos cien a˜ nos se han planteados tres cuestiones fundamentales en topolog´ıa: . Si una variedad (completa y simplemente conexa) es de curvatura constante entonces es geom´etricamente equivalente a uno de los tres modelos anteriores. Dos variedades se dicen que son topol´ ogicamente equivalentes si existe un homeomorfismo entre ellas. Las variedades de curvatura constante juegan un papel fundamental en el estudio de los modelos cosmol´ogicos. Estirar o encoger una variedad produce un cambio en la m´etrica. El espacio hiperb´olico Hn (r) si c = − r12 . los modelos can´onicos de espacios de curvatura constante son la esfera. Una superficie M 2 . el toro o a una suma conexa de g toros. o a una suma conexa de planos proyectivos. y por tanto en su geometr´ıa. y encajando cada variedad en su clase correspondiente. Se puede hacer caracterizando todas las clases de equivalencias definidas a trav´es de los homeomorfismos. esto es. Respecto a las variedades de dimension tres. en cierto sentido. Tambi´en son importantes en el estudio de las geometr´ıas no eucl´ıdeas. en las distancias. el espacio eucl´ıdeo y el espacio hiperb´olico. 3. El espacio eucl´ıdeo Rn si c = 0. Nos limitaremos a las variedades cerradas. Uno de los principales problemas en topolog´ıa es la clasificaci´on de las variedades. son ignorados en topolog´ıa. Las propiedades topol´ogicas son aquellas que permanecen invariantes por transformaciones continuas. conexa. 3 Geometrizaci´ on y clasificaci´ on de las 3-variedades En realidad una variedad diferenciable es una variedad topol´ogica junto con una estructura diferenciable sobre ella. rasgar o hacer agujeros si puede cambiar la topolog´ıa de la variedad. Sin embargo no produce una modificaci´on en la topolog´ıa. las variedades conexas. Es bien conocido que la u ´nica variedad cerrada de dimensi´on uno es la circunferencia 1 S . compacta y sin borde es homeomorfa a: • La esfera. Se pueden clasificar en funci´on de su g´enero (o de su caracter´ıstica de Euler) y su orientabilidad.

la que tiene estructura menos complicada? 2. g ≥ 2. Esto significa que podemos asociar a cada superficie topol´ogica una m´etrica particular y u ´nica: aquella en que la curvatura de la superficie se halla distribuida de modo completamente uniforme por la superficie. cuyas formas can´onicas son el espacio eucl´ıdeo R3 . a la mayor´ıa de las 3-variedades no se le puede dotar de una m´etrica de curvatura constante. • El toro se le puede dotar de curvatura nula. de volumen finito. en realidad es la Conjetura de Poincar´e que nos dice que la esfera es la u ´nica variedad tridimensional cerrada simplemente conexa. S2 × R no es homeomorfo ni a S3 ni a R3 . al menos localmente. Pero. ella incluye a la Conjetura de Poincar´e como un caso muy particular. As´ı. [4]): . por ejemplo. g) es modelada sobre una variedad hof. como recordamos a continuaci´on. podemos encontrar isometr´ıas locales entre dos puntos cualesquiera de la variedad.1. La situaci´on para dimensi´on tres es m´as complicada. Esto quiere decir que la geometr´ıa de la variedad. En el caso de superficies orientables: • La esfera es la que tiene curvatura constante positiva. Las 2-variedades o superficies tambi´en pueden clasificarse mediante la ”geometrizaci´on” que consiste en asignarle una forma r´ıgida. Diremos que una variedad de Riemann (M. Aunque ellas se pueden descomponer en trozos que se modelan en ocho geometr´ıas can´onicas. El teorema de geometrizaci´on de 2-variedades nos dice que cualquier superficie cerrada (conexa) es homeomorfa a una superficie de curvatura constante. La segunda cuesti´on. desde el punto de vista topol´ogico? 3. se le puede dotar de curvatura constante negativa. es decir a la clasificaci´on de las variedades para dimensi´on tres. Una estructura geom´etrica en una variedad M es una m´etrica de Riemann g completa y localmente homog´enea. es decir a una suma conexa de g toros. S2 × R no admite m´etrica de curvatura constante. • A un toro con m´as de un agujero. ¿ Podemos clasificar las variedades tridimensionales? Es obvio que la esfera tridimensional es la m´as sencilla. La Conjetura de geometrizaci´ on de Thurston puede responder a tercera cuesti´on. g e) si cada punto de la variedad M tiene un entorno isom´ mog´enea (M etrico a un abierto f . ¿Es u ´nica esta variedad m´as sencilla. Adem´ as. Adem´as. la esfera S3 y el 3-espacio hiperb´olico H3 . Toda variedad tridimensional localmente homog´enea. ¿Cu´al es la 3-variedad m´as sencilla. es modelada sobre una de las siguientes variedades homog´eneas (ver [5]. De hecho. desde el punto de vista topol´ogico. no depende del punto. El recubrimiento universal de un variedad localmente homog´ de M enea es una variedad homog´enea la cual la modela. Naturalmente existen tres geometr´ıas de curvaturas constantes. una geometr´ıa espec´ıfica.

las componentes resultantes admiten una estructura geom´etrica. Esto en cierto sentido es lo que nos dice la conjetura de geometrizaci´ on de Thurston. cada una de las cuales se puede moldear hasta convertirla en una de las ocho geometr´ıas tridimensionales can´onicas. La nil-geometr´ıa. que tambi´en puede ser descrita en un fibrado no trivial con base unidimensional y fibra bidimensional. es decir del recubrimiento universal del grupo de Lie tridimensional formado 6. Al parecer. 8. Es la geometr´ıa de curvatura constante negativa (geometr´ıa hiperb´olica). La sol-geometr´ıa. SL 2 por las matrices de orden 2 y determinante 1. 2. El segundo paso es descomponer cada trozo irreducible. una 3-variedad se puede dividir en piezas. que geom´etricamente puede ser descrita como un fibrado no trivial con base un c´ırculo y fibra un toro. observemos que toda variedad de dimensi´on tres la podemos descomponer en dos pasos. Observar que s´olo tres de las geometr´ıas can´onicas son de curvatura constante. Antes de enunciar dicha conjetura. 4. 7. 5. Esta es la geometr´ıa de curvatura constante nula (geometr´ıa eucl´ıdea). pero aquellas que la admiten se pueden utilizar para construir 3-variedades m´as generales. ella ha sido recientemente probada por G. 4 La Geometr´ıa de la Relatividad La teor´ıa general de la relatividad de Einstein es el ejemplo m´as espectacular del uso con ´exito de la imaginaci´on matem´atica para reflejar la conducta del universo f´ısico. H3 . Esta conjetura implica la de Poincar´e (incluida en la lista de los siete problemas del milenio). y su resoluci´on da una completa clasificaci´on de las 3-variedades cerradas. . Primero la descomponemos en trozos irreducibles. La descomposici´on por toros de Jaco-Shalen-Johannson establece que cada 3-variedad compacta orientable irreducible tiene una familia minimal de toros incompresibles tal que cada componente o trozo. La conjetura de Thurston nos dice que: Despu´es de que se divida una variedad de dimensi´on tres cerrada y orientable en su suma conexa y se realice la descomposici´ on por toros de Jaco-Shalen-Johannson. Es claro que no toda 3-variedad admite un estructura geom´etrica.1. En resumen. 3. y en 1915 su trabajo sobre la teor´ıa general de la relatividad. Perelman. que se obtiene es una 3-variedad denominada atoroidal o una variedad de Seifert. S2 × R. R3 . puesto que toda 3-variedad compacta se puede poner como suma conexa de variedades compactas irreducible. encajado entre los toros. en 1905 Einstein publica su primer trabajo sobre relatividad especial. S3 . H2 × R. ^R. Como es bien conocido. Es la geometr´ıa de curvatura constante positiva (geometr´ıa esf´erica).

para la aplicaci´on de este principio. cuatri-dimensional. trabaja duramente para intentar enunciar una ley de campo para la gravitaci´on. que es soluci´on de las ecuaciones de Einstein (ecuaciones que sustituye a la ecuaci´on de Poisson de la mec´anica cl´asica). la m´etrica g ha de ser soluci´on de la ecuaciones de Einstein. Por supuesto. Entre 1907 y 1911. Su intuici´on le hizo ver que el tensor m´etrico del espacio-tiempo deber´ıa ser la realidad que representase la gravitaci´on. Estas ecuaciones relaciona la geometr´ıa del . donde Rij son las componentes del tensor de Ricci. Despu´es de mucho trabajo y de estudio con Grossmann de la geometr´ıa de Riemann y del c´alculo diferencial absoluto de Ricci y Levi-Civita. g). R la curvatura escalar. Sobre estas part´ıculas no act´ ua ninguna fuerza. Einstein llega a la necesidad de utilizar la geometr´ıa de Riemann como soporte matem´atico de su teor´ıa. cuando estamos ante un campo gravitatorio d´ebil. 1). As´ı. los espacios-tiempos de la relatividad general son variedades de Lorentz de dimensi´on 4. De acuerdo con la teor´ıa de la relatividad general no hay fuerzas de gravitaci´on. incluida su densidad) y k es una constante. Einstein se encontr´o con graves problemas matem´aticos y busc´o la ayuda de un experto. Einstein deduce que en presencia de un campo gravitatorio. un espacio en cuatro dimensiones cuya geometr´ıa depende de la distribuci´on de masas que contiene. 5 Modelos cosmol´ ogicos Uno de los grandes atractivos de la teor´ıa de la relatividad es el de constituir el marco adecuado para proponer modelos te´oricos sobre nuestro Universo. Einstein redacta su famoso principio de equivalencia: Principio de equivalencia: Ning´ un experimento interno puede manifestar diferencia alguna entre un peque˜ no laboratorio acelerado en el espacio y el laboratorio equivalente situado en la tierra y por tanto sometido a la gravitaci´ on. Este universo ser´ıa la parte espacial de nuestro espacio-tiempo.En 1907. salvo las que ejercen las unas sobre las otras por la gravedad. sino que el movimiento de las part´ıculas es representado por geod´esicas del espacio-tiempo (M. De hecho. donde M es una variedad diferenciable de dimensi´on n y g un tensor m´etrico de signatura (n − 1. M . Grossmann. Einstein llega a la conclusi´on de que su principio de equivalencia implica que las ecuaciones de la F´ısica deber´ıan de expresarse de tal manera que todos los sistemas de coordenadas espacio-temporales estuvieran en las mismas condiciones de igualdad (lo que se denomin´o Principio de covarianza general). el espacio-tiempo es una variedad diferenciable de dimensi´on cuatro con un tensor m´etrico g de signatura (3. 1) . El estudio de los problemas f´ısicos que involucren campos gravitacionales se traducen en problemas geom´etricos sobre una variedad de Lorentz. Ahora. usando su teor´ıa. Estas ecuaciones son: Rij − 21 Rgij = kTij . imaginamos la materia como un fluido donde cada ”part´ıcula” es una galaxia. las ecuaciones de Einstein se reducen a la de Poisson). su amigo M. Una variedad de Lorentz es un par (M. Tij son las componentes del tensor de impulso-energ´ıa (el cual nos da la informaci´on sobre la materia. obtenidos ambos del tensor de curvatura. Para describir un modelo de universo. La ecuaci´on de Poisson resulta ser una aproximaci´on de las ecuaciones de Einstein (en otras palabras. Einstein (en 1917) es el primero en proponer. g).

Las m´as generalmente aceptadas soluciones cosmol´ogicas de las ecuaciones de Einstein son los modelos homog´eneos e is´otropos de Friedmann-Lemaitre (Robertson-Walker). Para resolverlas se consideran las siguientes hip´otesis: Las propiedades geom´etricas y f´ısicas de nuestro universo son las mismas en todos los puntos en cada instante. de volumen finito. Robertson. de Sitter. En la mayor´ıa de los estudios cosmol´ogicos. los cuales obedecen al principio cosmol´ogico de que las secciones espaciales tienen curvatura constante. es abierto y de extensi´on infinita: el espacio hiperb´ olico infinito H3 . el modelo global m´as sencillo de espacio-tiempo es de la forma M 4 = R × M . Pronto se reconoci´o. En este sentido la teor´ıa de la relatividad no fija la estructura global del espacio-tiempo. y en los libros cl´asicos de textos. 6 Topolog´ıa c´ osmica Como se expuso en la secci´on anterior. La m´etrica h sobre M es dada por: h = dψ 2 + g 2 (ψ)(sen2 θdϕ2 + dθ2 ). y por ello los tres modelos de espacios de Friemann-Lemaitre que suelen aparecer son: • El modelo de curvatura constante positiva que implica un espacio esf´erico y cerrado de volumen finito: la esfera tridimensional S3 .. negativa o nula. entre otros. Lemaitre. y describen las caracter´ıstica del espacio-tiempo desde un punto de vista local. A. es el modelo eucl´ıdeo abierto de volumen infinito: el espacio eucl´ıdeo R3 .. G. y M 4 dotada con la m´etrica g = −c2 dt2 + f 2 (t)h. W. cero o negativa. donde M es una variedad de Riemann dotada de una m´etrica h de curvatura constante. los modelos homog´eneos e is´otropos de FriedmannLemaitre admiten secciones espaciales de tipo esf´erico. de geometr´ıa de tipo hiperb´ olico. senhψ ´o ψ. Lemaitre y algunos otros. se asume impl´ıcitamente que la topolog´ıa del espacio es simplemente conexa. En el marco de la cosmolog´ıa est´andar estos universos son descritos por la denominada m´etrica de Robertson-Walker. Las ecuaciones de Einstein son ecuaciones en derivadas parciales. con g(ψ) = senψ. y por lo tanto la forma del universo. . que las m´etricas con curvatura negativa o cero admit´ıan espacios con topolog´ıas cerradas. • El modelo de curvatura nula. el Universo es homog´eneo e is´otropo. As´ı. dependiendo que h sea de curvatura constante positiva. Usando estas hip´otesis uno puede encontrar resultados locales sobre como debe ser la m´etrica. respectivamente.. Walker.espacio-tiempo con la distribuci´on de materia y energ´ıa en el Universo. por Friedmann. as´ı como en todas las direcciones alrededor de todo punto. • El modelo de curvatura constante negativa. Estas soluciones han sido estudiadas por. Friedmann. eucl´ıdeo o hiperb´olico de acuerdo a que su curvatura (espacial) constante sea positiva. Dicho de otra forma. La funci´on f = f (t) es un factor de escala.

las investigaciones en topolog´ıa c´osmica eran escasas. Un ejemplo de uno de ellos es el toro en tres dimensiones. topol´ogicamente. En la mayor´ıa de los trabajos te´oricos sobre cosmolog´ıa se supon´ıa. A ello se uni´o tambi´en los esfuerzos en observaci´on cosmol´ogica para determinar la curvatura y el tama˜ no del universo. dado que la simplicidad de nuestro 3-espacio M no ha sido establecido por observaciones cosmol´ogicas. Hasta 1990. A cada cara C le . la idea de utilizar espacios m´ ultiplemente conexos no atrajo mucho. y la posibilidad de considerar modelos de espacios m´ ultiplemente conexos. comenz´o a ser desarrollada principalmente en el marco de la gravitaci´on cu´antica. Ahora. nuestro 3-espacio puede igualmente ser uno de los ˜ /Γ. y M es el espacio de ´orbitas de un subgrupo Γ ˜ que act´ ˜. hasta hace poco tiempo. poco despu´es de la aparici´on de la soluci´on est´atica de Einstein (1917). De dicho resultado. De Sitter observ´o que dicha soluci´on admit´ıa un modelo cosmol´ogico esf´erico ”no simplemente conexo”. son muy diferentes. De hecho. Este espacio tiene igual m´etrica que el espacio esf´erico. As´ı. Weyl. Friedmann y Lemaˆıtre tambi´en trataron el tema de la topolog´ıa global del espacio. En la d´ecada pasada. el 3-espacio eucl´ıdeo. Friedmann (en 1923) precis´o que la teor´ıa de Einstein era incapaz de ocuparse de la estructura global del espacio-tiempo. obtenido a partir de la esfera tridimensional identificando los puntos diametralmente opuestos. Posteriormente. A del grupo de isometr´ıas de M ua libremente y discontinuamente sobre M grosso modo esto quiere decir que localmente la geometr´ıa de una variedad de curvatura constante coincide con la de sus modelos can´onicos globales simplemente conexos (”sin agujeros”). En el caso de curvatura nula. H. posibles cocientes (m´ ultiplemente conexos. que propon´ıa un modelo esf´erico (con curvatura constante positiva). que son copias del poliedro o dominio fundamental. denominado el´ıptico. y por ello se presupon´ıa que eran espacios simplemente conexos. es localmente isom´etrica a M y est´a constituida por un n´ umero de copias m´ ultiples de puntos de M . que el Universo estaba dotado de las propiedades topol´ogicas m´as sencillas posible. Esas caras son hom´ologas por pares. Es siempre convexo y tiene un n´ umero finito de caras (debido a que el grupo de holonom´ıa es discreto). El poliedro fundamental ˜ del mayor dominio simplemente conexo que contiene a un punto es el desarrollo en M dado x ∈ M . La simplicidad de nuestro Universo no ha sido establecida por observaciones cosmol´ogicas. Sin embargo. o con agujeros) M = M ˜ en dominios o celdas Sabemos que la acci´on de Γ divide al espacio de recubrimiento M id´enticas. pero la mitad de volumen. el problema de la topolog´ıa del espacio-tiempo era generalmente ignorado.Desde 1917 se sab´ıa que a una misma soluci´on de las ecuaciones de Einstein en general le puede corresponder un gran n´ umero de universos topol´ogicamente distintos (no equivalentes). As´ı. se sabe que existen 17 formas de espacios m´ ultiplemente conexos que son localmente equivalentes al espacio eucl´ıdeo pero que. Un resultado conocido en geometr´ıa de Riemann dice que si M es una variedad com˜ es uno de los tres pleta de curvatura constante entonces su recubrimiento universal M modelos can´onicos de curvatura constante. uno puede preguntarse porqu´e el universo tiene que tener la topolog´ıa m´as simple. la esfera tridimensional o el espacio hiperb´olico tridimensional. Observar que el recubridor universal de la variedad de Riemann M es una variedad de Riemann simplemente conexa que la recubre.

• Obtener los subgrupos de isometr´ıas que act´ uan de forma libre y discontinua. As´ı. en cada caso. El m´as simple. podemos m´as larga en el poliedro fundamental P de M . S3 /Z3 . como recubrimiento universal. divide a S3 en seis celdas fundamentales. donde |Γ| es el orden del grupo. la distribuci´on de sus posiciones. y denotamos por L la longitud ˜ . cada punto de M representa todos los puntos ˜ . Para 3-variedades esf´ericas topol´ogicamente complicadas |Γ| es grande y por tanto el volumen de M es peque˜ no (de hecho 0 < vol(M ) ≤ 2π 2 R3 ). que representa. si L/2 < r. cualquier objeto c´osmico es descrito equivalentes en M por un punto p ∈ M .corresponde una y solo una cara C 0 . • Obtener el poliedro fundamental. La m´etrica sobre S3 puede escribirse como h = R2 {dψ 2 + sen2 ψ(sen2 θdϕ2 + dθ2 )} Su volumen es 2π 2 R3 . A continuaci´on damos una breve descripci´on de tales espacios. son dadas por el grupo Γ. cada una de ellas con forma de lente. Fue usado por de Sitter y Lemaˆıtre como espacio para sus modelos cosmol´ogicos. • Los espacios ”lenticulares” S3 /Zp . El poliedro fundamental es un dodecaedro regular cuyas caras son pent´agonos. un sistema de ˜ . Ejemplos: • El espacio proyectivo P3 = S3 /Z2 . Las 3-variedades de curvatura constante positiva tienen a S3 . H3 ). El volumen de M = S3 /Γ es vol(M ) = 2π 2 R3 /|Γ|. obtenido identificando los puntos diametralmente opuesto de S3 . En este modelo cosmol´ogico. Antes debemos observar que para obtener los espacios de curvatura constante (las formas espaciales) se puede proceder como sigue: • Considerar el recubrimiento universal (S3 . . Los desplazamientos que llevan C a C 0 son los generadores del grupo de holonom´ıa Γ. tales que x y x0 son dos desarrollos del mismo punto x ∈ M . cuando M es m´ ultiplemente conexo. Existen infinitos subgrupos admisibles en este caso (de hecho se trata de una familia bi-param´etrica de subgrupos). R3 . La periodicidad de las im´agenes m´ ultiples de los objetos c´osmico. P ⊂ M observar im´agenes m´ ultiples de objetos c´osmicos que viven en B. y est´an fundamentalmente relacionadas con la topolog´ıa del 3-espacio. tal que para cada x ∈ C existe un x0 ∈ C 0 . que es compacta. • El espacio dodeca´edrico de Poincar´e es otro ejemplo. El grupo de isometr´ıa de S3 es SO(4). Si suponemos puntos equivalentes (las im´agenes de p) en la variedad de recubrimiento M ˜ que el universo observable es una bola B ⊂ M de radio r. ˜ identificando los puntos Los puntos de la variedad cociente M son obtenidos de M equivalentes bajo la acci´on de Γ. entonces.

En el caso esf´erico el volumen de S3 /Γ es finito. el dominio fundamental puede poseer volumen arbitrario. pocos ejemplos eran conocidos hasta el trabajo de Thurston de finales de los a˜ nos 70. Las 17 formas espaciales m´ ultiplemente conexa est´an en correspondencia con los 17 grupos cristalogr´aficos descubierto hace m´as de un siglo por Feodoroff (1885). En el caso hiperb´olico tri-dimensional. el grupo de las transformaciones lineales fraccionales sobre el plano complejo. a pesar de que son de las m´as estudiadas en la actualidad.La m´etrica para el recubridor universal. es posible dividir H3 por poliedros teniendo un n´ umero arbitrario de caras. Para dimensiones mayores que dos el volumen de una variedad de curvatura negativa y las longitudes de sus geod´esicas cerradas son invariantes topol´ogicos. El poliedro fundamental puede ser un paralelep´ıpedo o un prisma hexagonal con varias posibles identificaciones. Seis de ellos son orientables. Para espacios eucl´ıdeos localmente compactos. Los subgrupos finitos han sido estudiados. de una 3-variedad de curvatura nula puede ser escrita como h = R2 {dψ 2 + ψ(sen2 θdϕ2 + dθ2 )} El grupo de isometr´ıas es ISO(3) ≡ R3 × SO(3). R3 . Estas variedades todav´ıa permanecen sin clasificar. La topolog´ıa global del universo puede ser comprobada estudiando la distribuci´on tridimensional de fuentes discretas y las fluctuaciones bidimensionales en el fondo c´osmico de microondas. Esto sugiere la idea de usar los vol´ umenes para clasificar las topolog´ıas. pero no puede tener m´as de ocho caras. Existen 18 tipos distintos de espacios localmente eucl´ıdeos. Los modelos compactos se pueden visualizar mejor identificando caras apropiadas del poliedro fundamental. Por el contrario. Una de las primeras cuestiones que se ha intentado a partir de la observaci´on es el tama˜ no de nuestro universo. esto es. los posibles valores para el volumen del poliedro fundamental est´an acotados por debajo. Aunque existen infinidad de variedades de dimensi´on tres de curvatura constante negativa. El 3-toro es el m´as simple. Ocho formas son abiertas (no compactas) y 10 son cerradas (compactas). . La m´etrica inducida sobre H3 puede escribirse como h = R3 {dψ 2 + senh2 ψ(sen2 θdϕ2 + dθ2 )} El volumen de H3 es infinito. Cada tipo de topolog´ıa es caracterizada por algunas longitudes. Inter´es particular que han tenido muchos autores en los u ´ltimos a˜ nos es la computaci´on de los vol´ umenes de las 3-variedades hiperb´olicas compactas. C). Su grupo de isometr´ıas es isomorfo a P SL(2.

El Universo. la acci´on de Γ divide el espacio de recubrimiento M o dominios id´enticos que son copias del poliedro fundamental. a medida que nuestras observaciones sean m´as exactas. Si el universo es m´ ultiplemente conexo y la esfera es suficientemente grande. sino que muestra peque˜ nas desviaciones. Otra forma de abordar la topolog´ıa del universo es investigar sobre sobre la radiaci´on c´osmica de fondo. Roland Lehoucq (CEA/Saclay.000 a˜ nos de edad. un dodecaedro Los datos obtenidos por la sonda WMAP ( Wilkinson Microware Anisotropy Probe) de la NASA. que se ha ido propagando despu´es del big-bang (producida hace unos 13 mil millones de a˜ nos). Caucaso). France). cortas y largas. France). As´ı se detectar´ıa la presencia de c´ırculos en el cielo. Sus estudios se publicaron en la revista Nature (ver [3]). dependiendo de la direcci´on en que se mire el universo. La radiaci´on c´osmica de fondo aparece hoy como una esfera gigante. puesto que la radiaci´on c´osmica no es completamente uniforme. Sin embargo el WMAP no ha detectado ondas largas. y tambi´en los recientes estudios sobre la distribuci´on de los c´ umulos de galaxias en el contexto de suponer un universo cristalogr´afico.En esta l´ınea est´an los trabajos del astrof´ısico ruso V. Los datos que ha enviado sugieren que el universo debe ser finito. Si el universo fuese infinito estas ondulaciones tendr´ıa que ser de cualquier longitud. mayor que el poliedro fundamental. a trav´es del estudio de la distribuci´on de la radiaci´on de fondo de microondas. lo que indica de que el espacio debe de tener un tama˜ no finito. A pesar de nuestra incapacidad actual para predecir la topolog´ıa del universo. aunque existen ligeras ondulaciones (COBE). ese d´ebil resplandor provocado por ”el big bang”. Univ. Schvartsmann. ˜ en celdas Como ya comentamos. Alain Riazuelo (CEA/Saclay. Luminet y su equipo. La sonda WMAP realiza observaciones del universo cuando ten´ıa unos 380. muchos investigadores piensan que se llegar´a a detectar. Weeks (Cantor. y formado por Jeffrey R. Una consecuencia inmediata en un 3-espacio M con topolog´ıa no trivial es que el cielo puede mostrar la repetici´on del poliedro generador. Esta radiaci´on se distingue por su notable homogeneidad. que ha dirigido (desde 1970) un programa de observaciones (Telescopio de Zelentchuk. Paris XI. dirigidos por Jean-Pierre Luminet. como se pensaba. El origen de estas desviaciones son las fluctuaciones de densidad que se originaron poco despu´es del big-bang y se propagaron en forma de ondas por todo el universo. A esta conclusi´on ha llegado el equipo de investigadores. USA). parecen indicar que el universo podr´ıa tener forma de un dodecaedro. y sobre la b´ usqueda de im´agenes fantasmas. a partir de los datos proporcionados han calculado la forma que deber´ıa tener el universo para producir esos espectro de frecuencias en la radiaci´on de . como por ejemplo galaxias. De ellos se ha podido establecer un l´ımite inferior en el tama˜ no de un universo m´ ultiplemente conexo. France) y Jean-Phillippe Uzan (Laboratoire Physique Theorique. es decir im´agenes m´ ultiples (”im´agenes fantasmas”) de objetos c´osmicos. las copias de la esfera se intersectar´ıan. del Obsevartorio de Paris.

Bibliograf´ıa [1] M. Amer. W. Lehoucq y J-P Uzan.R. sin borde. octubre 2003). 1. Nature (vol. Acta Cosmologica (1998). todo objeto c´osmico tendr´ıa im´agenes m´ ultiples. aparecer´ıan los c´ırculos de interferencias (originalmente ideados por Cornish. [2] J. [5] W. formado por duplicados de dodecaedros. con una rotaci´on de 36 grados. Si la radiaci´on de fondo hubiese viajado lo suficiente para reencontrarse (es decir si hubiese sobrepasado el tama˜ no del espacio). R. [3] J. Weeks. Morgan: ”Recent progress on the Poincar´e conjecture and the classification of 3-manifolds”. Luminet. un observador tendr´ıa la ilusi´on de que se encuentra en un espacio mucho m´as extenso. 425. . as´ı que podemos viajar indefinidamente. vol 35 (1997). Los objetos distantes los podemos divisar en dos direcciones distintas (opuestas). Ser. Lauchi`eze-Rey and J-P Luminet: ”Cosmic Topology”. vol. En este caso deber´ıan de aparecer seis pares de c´ırculos con un radio angular de 36 grados. J. tras un viaje de unos 60. pero que tiene la siguiente propiedad: cuando se sale por una cara de uno de los pent´agonos aparecemos por el pent´agono opuesto.-P. Un observador que viviese en un dodecaedro esf´erico de caras conectadas podr´ıa interpretar que vive en un universo esf´erico constituido por c´elulas dodeca´edricas esf´ericas iguales. Math. Thurston: ”Three-dimensional Geometry and Topology” Princeton Math. El espacio dodeca´edrico de Poincar´e puede ser descrito como el interior de una especie de esfera (bal´on de f´ utbol) formada por 12 pent´agonos ligeramente curvados. Si nos alejamos (sin volver atr´as) en una direcci´on el espacio.fondo. 42.000 millones de a˜ nos-luz. llegar´ıamos de nuevo a la tierra. Soc. como en una habitaci´on de espejos. Como los rayos de luz cruzan una cara y aparecen por la opuesta. Este espacio es finito. aunque con diferentes edades. y han llegado a la conclusi´on de que la forma que m´as se adapta es la del espacio dodeca´edrico de Poincar´e.: ”Dodecahedral space topology as an explanation for weak wide-angle temperature correlations in the cosmic microwave background”. Riazuelo.. [4] J. (2004). A. Bull. Luminet: ”Past and Future of cosmic topology”. Se necesitan 120 dodecaedros para embaldosar (o llenar) la esfera tridimensional. Physics Reports (1995). As´ı.-P. Spergel y Starkman).