LA CRISTALOGRAFA GEOMTRICA

JOS MARA MONTESINOS AMILIBIA

Real Academia de Ciencias

INTRODUCCIN

Ejemplo. El grupo de simetra del diseo anterior es cristalogrfico (eucldeo) Es interesante hallar el cociente de la accin. Claramente se obtiene identificando lados de la baldosa, como sigue:

En este diseo plano,

R y R y R y R R R y R
y

R y R y

R y R y R y

R y R y R y R
y

R y R y R y R

R y R y R y R

R y R y R y R

R y R y R y R

R y R y R y R

R R R R

y
R R

[\
|R

y
R R

y
R

y
R

y
R

y
R

y
R

almohada de 4 picos

que suponemos extendido al infinito en todas direcciones, hay una baldosa B triangular que se repite y construye el diseo: lo desarrolla, decimos matemticamente. El diseo obtenido posee simetra. Matemticamente, hay un grupo G de isometras eucldeas planas formado por todas la isometras que dejan el diseo invariante: lo superponen. Podemos modificar el diseo de la baldosa B y mientras hagamos esto asimtricamente (poniendo un diseo sin simetras dentro de B), el grupo G repetir el nuevo diseo local (el situado en B) y nos construir un diseo global que tiene en comn con el diseo infinito original el grupo G de simetra. Vemos, pues, que lo importante aqu es G. Varios problemas se presentan de inmediato; el primero es dar una buena definicin de grupo de simetra.
GRUPOS CRISTALOGRFICOS

Se obtiene un extrao objeto que llamar almohada de cuatro picos. Es una esfera con mtrica eucldea cnica. Hay cuatro puntos cnicos (picos) en los que el ngulo es de 180. Ejemplo. Tomemos este otro diseo
R R R t y t y t y fl R a| R t y t y t y R t y R fl t y

DD1

Aqu el cociente es LJ Esto (mitad de la almohada de 4 picos) posee 4 espejos y 4 puntos esquina; le llamaremos baldosa de 4 esquinas. Estos dos ejemplos (almohada y baldosa con picos y esquinas, respectivamente) ilustran el concepto de calidoscopio eucldeo. Esto es un espacio topolgico X cubierto por cartas U1( U2,..., que son abiertos del espacio eucldeo En, con funciones f que son cociente de U por un grupo finito de isometras eucldeas. Adems, los cambios de cartas son isometras eucldeas. Por ejemplo, en dimensin 2 slo hay dos tipos de cartas: cocientes de E2 bajo la accin de un grupo cclico o un grupo didrico.

Sea X un espacio topolgico localmente compacto y sea G un grupo que en l acta. La accin es propia y discontinua si para todo compacto Ka Xhay slo un nmero finito de g e G tales que g Kc\ K 0 . El grupo se dice cristalogrfico si el cociente de la accin es compacto. En esta conferencia voy a hablar de grupos cristalogrficos eucldeos, esfricos e hiperblicos en dimensiones dos y tres.

97

JOS MARA MONTESINOS AAIILIBIA

Ejemplo. El cociente de E2 bajo la accin del grupo cclico C, de isometras eucldeas es un pico de ngulo 27T/3
pico de 120

esquina 90

El cociente de E2 bajo D4, didrico de cuatro elementos es una esquina de 90. El cociente de E2 bajo D2 es un espejo:

La demostracin de este teorema consiste en esencia en desarrollar Q sobre el plano euclideo. Dicho de modo ms vivido: nos metemos en el calidoscopio (como la letra R de los dos primeros ejemplos) y miramos en torno. Los espejos reflejan la letra R; las esquinas la reflejan en dos espejos esquinados y producen un diseo local en torno de la esquina con grupo (local) didrico; asimismo, los picos producen un diseo local cclico. El ejemplo clsico de esto lo proporciona el conocido calidoscopio del comercio: es un calidoscopio euclideo con tres esquinas de ngulo de 60 y tres espejos. Esta es la razn de la nomenclatura calidoscopio en este contexto. As que ahora sabemos que hay una correspondencia biunvoca entre grupos cristalogrficos y calidoscopios. Para entender aqullos, vamos a analizar stos. Antes de ello vamos a definir un par de conceptos de igualdad de calidoscopios y grupos cristalogrficos. Dir que dos calidoscopios eucldeos son iguales si entre ellos hay una funcin bicontinua que carta a carta es isometra eucldea. Y si en lugar de ser isometra eucldea, slo requerimos que sea afinidad (biyecn que preserva alineacin) dir que los calidoscopios son afinmente equivalentes. An-

logamente puede definirse cundo dos grupos cristalogrficos son afinmente equivalentes. Ello ocurrir cuando una cierta afinidad <p haga conmutativo el siguiente diagrama

E2xH Aqu , * son las acciones de los grupos cristalogrficos G y H en E2; X es un isomorfismo entre G y H; (p es una afinidad. Se tiene obviamente: dos calidoscopios son afinmente equivalentes si y slo si sus grupos fundamentales (cristalogrficos) son afinmente equivalentes.

espejo

Los ejemplos anteriores revelan una relacin entre grupos cristalogrficos y calidoscopios compactos. Es evidente que el cociente de E" bajo la accin de un grupo Ejempb. El tetraedro issceles. Partiendo de un tringulo acucristalogrfico euclideo es un calidoscopio euclideo. Lo tngulo realizamos las identificaciones indicadas y obteinteresante es que vale el recproco: un calidoscopio eucli- nemos un tetraedro con 4 picos de ngulos de 180: un deo Q tiene asociado un grupo cristalogrfico euclideo G talcalidoscopio euclideo. que E"/G=Q. Este grupo se llama grupo fundamental de Q y se denota por 7r" (Q).

Una tabla de nudos muy antigua: nudos 83, 4,, 3, (Alhambra de Granada).

Como dos tringulos acutngulos son afinmente equivalentes se ve que todos estos infinitos calidoscopios eucldeos son distintos entre s, pero todos afinmente equivalentes al tetraedro issceles degenerado que hemos llamado almohada de 4 picos. Al rodar el tetraedro issceles sobre la mesa dibujar (si est impregnado de colores asimtricos) un diseo en el plano cuyo grupo de simetra es K((Q). Todos estos grupos, para los distintos tetraedros issceles, son afinmente equivalentes. 98

LA CRISTALOGRAFA GEOMTRICA

Problema. Cuntos calidoscopios eucldeos hay, a menos de equivalencia afn?

La solucin al problema, repito, resuelve adems cuntos grupos cristalogrficos hay a menos de afinidad. Este problema tiene estas respuestas conocidas hoy en nuestras dimensiones dos y tres: n = 2; hay 17 calidoscopios a menos de afinidad n = 3; hay 219 calidoscopios a menos de afinidad Adems pueden describirse geomtricamente.
CALIDOSCOPIOS EUCLDEOS

del radio R. Al aproximar R a cero, vemos que el pico de ngulo a contribuye con 2n- <X a la curvatura total. La curvatura total del tetraedro T issceles es, pues,
4 (27T- n) = Ai?.

en consonancia con la frmula de Gauss-Bonet para la

esferaS 2 : AK = 2K{X{S1)).

Recordemos el Teorema de Gauss-Bonet. Si F es una superficie compacta y sin frontera con una mtrica riemanniana y KdA es la forma de curvatura (en x F, K{x) es la curvatura de Gauss) vale la frmula de Gauss-Bonet:

Cmo resolver esto? En dimensin 2 nos valdremos de la caracterstica de Euler de un calidoscopio. donde x(F) e s ^a caracterstica de Euler de la superficie. Ejemplo. El tetraedro issceles de nuevo. En l hay una m- Si la superficie tiene picos, esquinas o espejos, es precitrica riemanniana de curvatura cero con 4 picos o puntos so modificar la frmula. Podemos modificarla, como hesingulares. Es fcil ver que un pico de ngulo a contribuye mos hecho ms arriba, suponiendo que un pico de ngulo a contribuye a la curvatura total con 2n - a. Para nuestros fines, sin embargo, es mejor modificar la parte derecha de la frmula y definir la caracterstica de Euler ^(Q)de un calidoscopio del modo siguiente. Triangulamos el calidoscopio Qde modo que cada clula (o simple) conste de puntos con igual grupo de isotropa. (Si x Qest cubierto por una carta/: U <Z E" >Q, cociente por la accin de un grupo H, el grupo de isotropa de x se define como el estabilizador en H de cualquier y ef~l(x); puede verse que est bien definido. As, por ejemplo, un pico tiene grupo de isotropa cclico y una esquina, grupo de isotropa didrico; un punto-espejo tiene el grupo de isotropa D,.). Si es una clula de dimensin i, llamamos Yeso Azufre # al nmero de elementos de su grupo de isotropa. Dea la curvatura total con 2n- O: el pico acta como si fue- finimos caracterstica de Euler de Q por la frmula ra una rea que concentra curvatura. En efecto, en un (-1)' pico de ngulo a inscribimos una esfera

#e
otT =27tr ctR 2it

El rea del casquete interceptado por el cono es (2n-d)R2: rea=[

Ja=tt

f R'senB da /\d =
J/l

i
# *

= 2K(l-cos})R1={27t-a)R2 La curvatura de la esfera de radio R es -=-y. Luego la R~ curvatura total del casquete es (2.JZ - a), independiente

.Torre de las Damas de la Alhambra de Granada.

99

JOS MARA MONTESINOS AMILIBIA

Ejemplo. Q es el tetraedro issceles. %{Q) es la %(S2) = 2 modificando en 4 picos as: quito un punto (rebajo ^ en 1) de 5 2 y pongo un pico de isotropa C2 (ngulo de 180) que aumenta en . Tenemos, pues,

Teorema. Si Q es un calidoscopio eucldeo bidimensional su X es cero.

Este teorema puede demostrarse de otro modo, conceptualmente muy importante y que depende del siguiente Teorema. Todo calidoscopio eucldeo Q est finitamente cubierto por un toro. (Como x(Toro) = 0, este Teorema implica el anterior). Para demostrarlo tomemos un punto x^e Q con isotropa trivial, que llamaremos punto base de Q. Supongamos que Q slo posee picos y denotemos por Q a Q\ (unin de los picos). Sea VQ un vector base basado en x0 Si a es un camino en Q basado en x0, al trasladar Vo a lo largo de a, vuelve al punto base girado en cierto ngulo. El transporte slo depende de la clase de homotopa de (X (relativa a xQ pues la curvatura de Q es cero. Si a rodea un solo punto de isotropa C n , Vo vuelve . Coloquemos pues en x,,, mcm (n,,..., nk)=m n vectores igualmente espaciados, donde n,,...,nk son los rdenes de os grupos de isotropa de los k picos de Q. Entonces el proceso de traslado paralelo define un homomorfismo donde m es el grupo simtrico en m ndices. La cubierta de Q correspondiente al ncleo de /es finita y, al completarla, obtenemos una superficie sin picos con curvatura cero: un toro D Ejemplo. En un tetraedro isscelesT, /: jt^T)>Z2, enva cada meridiano en torno a un pico al elemento no trivial de Z2. La cubierta asociada a Kernel /tiene dos hojas y es un toro. He aqu la cubierta: girado en

Si Qes la baldosa triangular, la isotropa de las esquinas es de orden 6 (60) y la de las aristas, de orden 2 (espejos):

Vemos, pues, que la caracterstica de Euler es cero en estos ejemplos. La razn es que vale el siguiente Teorema de Gauss-Bonet generalizado: para un calidoscopio de dimensin 2, Q, vale:

La demostracin la hemos hecho ya. En efecto, si denotamos por IQI al espacio subyacente a Q, IQI es superficie riemanniana con picos. Hemos probado que si los picos tienen ngulo (Z, vale

IQI

que equivale a

IQI

Si el pico i-simo tiene grupo de isotropa Cn su ngulo es

27r

, luego:

2:1

Esto prueba la frmula para Q sin esquinas ni espejos. Pero este caso se reduce al anterior, pues siempre este caso posee un recubrimiento de dos hojas con slo picos. Como corolario del Teorema de Gauss-Bonet generalizado obtenemos que si Q es eucldeo, K = 0 implica %(Q) - 0. Luego, hemos probado:

Toro

Traducido al lenguaje de grupos cristalogrficos este Teorema es equivalente al siguiente famoso Teorema de Bieberbach Teorema (equivalente al anterior). Todo grupo cristalogrfico eucldeo n-dimensional tiene un subgrupo normal de ndice finito compuesto nicamente de traslaciones D Identificamos fcilmente este subgrupo normal como Kernel(/) = K,(Toro) <
CALIDOSCOPIOS BIDIMENSIONALES

Ahora podemos listar todos los calidoscopios eucldeos bidimensionales, simplemente listando los que tienen
Pirita y magnetita

100

LA CRISTALOGRAFA GEOMTRICA

Sea pues Qeucldeo. Sea IQI el espacio subyacente. Aqu IQI es una superficie (orientable o no) con/componentes en su frontera; con picos de rdenes p 1; p2, ..., pa, y esquinas de rdenes 2e,,..., 2eb. Caso 1. IQI es orientable. Entonces, si su gnero es g, vale:

pecto a un calidoscopio eucldeo, la misma relacin que una superficie diferenciable a una superficie con curvatura constante cero. sta es un concepto de geometra riemanniana y aqulla de topologa diferencial. Definimos, pues, orbificie como un espacio topolgico X con cartas (pliegos) f: U C R">X, que cubren X, d o n d e / es el cociente por un grupo finito de difeomorfismos y donde los cambios de cartas estn dados por difeomorfismos. Ejemplo. Tomemos la esfera como C+. Sean cuatro puntos {Zv Z,, Z3, Z4}. C+ posee un atlas maximal de cartas que definen su estructura diferenciable. Quitamos de ese atlas todas las cartas que cubren Z,, Z->, Z3 Z4, salvo una pequea carta de radio para cada punto Z,. Sea

(La frmula se obtiene duplicando IQI a lo largo de su frontera: se obtiene algo orientable de gnero 2g + f 1; con 2a picos de rdenes p,, p,, p2, p2, ..., pa, p. y b picos de rdenes e, ,..., eb.) Reescribiendo obtenemos P,

Si g > 1 no hay solucin. Cabe g = 1 (y entonces f = a = b = 0) y Qes un toroT; o bieng = 0. En estecaso/< 2: tal carta. Modifiquemos f componindolo con C > C ; 2 Z h-> Z , as Caso 1.1. f= 2. Entonces a = b = 0 y IQI es un anillo A. Caso 1.2. f= 1. Entonces IQI es un disco D y las posibilidades (tras una breve inspeccin) son o ' > o ' > Z, Caso 1.2. l.f=l,a =0 Es claro que las nuevas cartas f, g definen una orbifib=4 IQI= D22I2 (disco con 4 picos de ncie con picos en {Z,, Z , Z3, Z4) e isotropa cclica de orgulo 90) den 2. b=3 IQI= D333, D244, D236 (disco con 3 piDe hecho, como los cambios de cartas del ejemplo viecos; 2 de ngulo 90; 3 de ngulo 60; 4 de nen dados por funciones biholomorfas, jC+; (Z,, 2); ngulo 45) (Zj, 2); (Zj, 2); (Z4, 2)} es una orbificie de Riemann (un conCaso 1.2.2. f= l,a0 cepto que extiende la nocin de superficie de Riemann). a = 1, b = 2 IQI = D2 (un pico y dos esquinas) Nuestro corolario ltimo dice precisamente esto: las a = 1, b = 1 IQI = D3- (un pico y una esquina) nicas 2-orbificies que pueden admitir estructura de calia = 2, b = 0 IQI= Du (dos picos) doscopio eucldeo son las 17 enumeradas, a menos de difeoCaso 1.3. f= 0. Entonces IQI es una esfera y como b = 0 morfiismo. caben las posibilidades Admiten tal estructura? S, pero no de manera nica. S2222 (esfera con 4 picos) Sin embargo dos calidoscopios eucldeos difeomorfos resulS333 (3 picos) tan ser afinmente equivalentes (este es el segundo celebra$244 do teorema de Bieberbach; el tercero es que el nmero de
$236

Caso 2. IQI no es orientable. Si su gnero es k vale 0 = X(Q) ~ ' a misma frmula anterior substituyendo 2g por k Cabe que k = 2, Q = K (Botella de Klein) y f = a = b = O; que k = 1 con f = b = 0 y entonces Q = P22 (plano proyectivo con dos puntos cnicos); o que k = 1 con f = 1 y entonces Q = M (banda de Mbius). Corolario. Slo hay 17 posibilidades de calidoscopios eucldeos, a saber T,(K, M, A), S2222, (A-222, A22 A2. P22). $333. ( A l .
-O3I3), 214' (-Q2> ^24?)> $236' \DTM-

ORBIFICIES

Recapitulemos lo hecho hasta ahora, definiendo con ms precisin. Hemos definido calidoscopio eucldeo, pero hubiera sido mejor considerar un objeto un poco ms general: la orbificie. Una orbificie guarda, con res-

D333 (en ajedrezado de tringulos). Silla de taracea. Museo de la Alhambra(3113).

101

JOS MARA MONTESINOS AMILIBIA

GEOMETRIZACIN DE ORBIFICIES n-calidoscopios eucldeos a menos de difeomorfismo es finito, para todo n). Cambiemos ahora de tercio y vayamos al problema de geoEjemplo. CP 1 = C+ con cuatro puntos {Z, Z2, Z, Z4] con isotropa cclica de orden 2 Como siempre hay un metrizacin. Ya hemos definido orbificie de Riemann y hemos difeomorfismo CP 1 que enva n puntos a otros n pun- puesto un ejemplo (CP1; 0, 1, , X) donde estos cuatro puntos arbitrariamente dados, fcilmente se deduce que, a tos son de isotropa cclica de orden 2. Notamos ahora que menos de difeomorfismo, slo hay una orbificie Q con IQJ = S : y n puntos de isotropa cclica de orden 2. Sin embargo, no siempre existe una funcin biholomorfa que haga eso. Como las funciones biholomorfas de CP 1 son precisamente las homografas (o transformaciones de Mbius) podemos enunciar: hay slo una orbificie de Riemann con 3puntos de isotropa cclica de orden n, a saber (CP 1 ; 0, Axnta Cuarzo 1, <) Dos orbificies de Riemann {CP1; Z, Z2, Zh, Z4], Teorema. Todo calidoscopio orientable esfrico, eucldeo {CP1; Wv W2, W3, WJ con isotropas de orden n son biholomorfas si y slo si las razones dobles de {Z, Zj, Z^, Z4\ (de- hiperblico, tiene asociada de modo natural una estructura sordenadas) coinciden con las de{Wl, W2, W3, W4}. As que nica de orbificie de Riemann. En efecto, si el calidoscopio Q es eucldeo, l est cubierlas orbificies de Riemann con 4 puntos de orden 2, por to por cartas (pliegos) del plano eucldeo (que puede penejemplo, pueden escribirse as: sarse como C) de modo que los cambios de cartas son isometras eucldeas. stas son aplicaciones de C en C de ecuacin (CP';0, \,,X)

y dependen de un parmetro complejo; aunque -repetimos- todas son difeomorfas. Admiten estructura de calidoscopio eucldeo? El te- y por tanto biholomorfas. Esto prueba el teorema para el traedro issceles realiza tal estructura de calidoscopio eu- caso eucldeo. Los casos esfrico e hiperblico son semejantes. Basta cldeo. Pero ntese, para ulterior reflexin, que el nmero de estructuras eucldeas que admite S,,,, es dependiente pensar que un modelo de la geometra esfrica es la esfede tres parmetros reales (tantas como tringulos acutn- ra de Riemann CP 1 = C+ con isometras de ecuacin gulos hay); el nmero de estructuras eucldeas a menos de semejanza depende de dos parmetros reales; pero el nW= a-+l3 , a,peC, aa + pp = \ mero, a menos de afinidad, es exactamente uno. -pZ + a Anlogamente a lo hecho en este ejemplo, el lector pue(Para verlo, proyctese S2 estereogrficamente sobre CP1: de construir (literalmente) calidoscopios eucldeos que los elementos de SO (3) se proyectan en homografas de realizan las 17 posibilidades y comprobar, para los 17 caCP1 que conmutan con la proyeccin de la aplicacin sos, que el teorema de Bieberbach es cierto: slo hay, para antipodal, es decir, con W= Z~l.) cada caso de los 17, un ejemplar afn (aunque muchos euEl caso hiperblico se ve igual, pues un modelo del placldeos). Incidentalmente, este ejercicio que se propone no hiperblico es el interior del disco unidad D c C y las al lector, ya fue realizado por los artistas que decoraron isometras son las homografas de CP 1 que lo dejan inla Alhambra de Granada. All pueden encontrarse ejemvariante; stas son plos de 17 diseos correspondientes a los 17 grupos cristalogrficos eucldeos (y muchas cosas ms, por supuesto). W= Z + P_, a,peC, aa-pj3 = l De los 17 calidoscopios de la lista, slo 5 son orientapz + a bles (los que no estn entre parntesis en el enunciado del La pregunta natural ahora es esta. Si todo calidoscopio ltimo corolario). Una orbificie es orientable si todos los bidimensional orientable eucldeo, esfrico o hiperblico cambios de cartas preservan orientacin. Ntese que aunes de modo natural una orbificie de Riemann valdr el reque el espacio subyacente IQI a un calidoscopio (u orbicproco? Ser verdad que toda orbificie de Riemann es ficie) sea una variedad orientable, el calidoscopio puede no geometrizable con una de esas tres geometras? Y si es as, serlo. Por ejemplo, la baldosa de tres picos D553 contiene de cuntas maneras? La respuesta es el celebrado grupos de isotropa didricos (con reflexiones) y no es orientable, aunque su espacio subyacente IQI sea el disco D. Teorema de uniformizacin. Toda orbificie de Riemann, con Como toda orbificie no orientable posee una cubierta dos excepciones, Q es biholomorfa a un calidoscopio eucldoble orientable deducimos de nuestra investigacin un deo, esfrico o hiperblico segn quex(Q) sea 0, >0, <0. interesante corolario: el toro posee, a menos de difeomorfis- Adems ste es nico salvo en el caso eucldeo, en que est demo, exactamente tres involuciones que invierten su orienta- terminado a menos de semejanza. Las excepciones son, CP' cin (con cocientes K, M, A); un resultado no tan simple con un nico punto singular, y CP1 con dos puntos singulade probar directamente. res de distinta isotropa.
102

LA CRISTALOGRAFA GEOMTRICA

(La unicidad de la geometra se califica de rigidez: la or- riable principal, para Z e Q. Si Zx) i Z, la variable principal de Zo es t = Z ZQ. bificie tiene geometra y sta es rgida.) El teorema de uniformizacin tiene una larga historia que no reproducir aqu, por conocida. Realmente, cuando nos referimos a este teorema lo enunciamos como sigue: Las superficies de Riemann simplemente conexas son biholomorfas a una de estas tres: C, CP 1 , D (interior del disco unidad). De esto se sigue el enunciado del Teorema de uniformizacin que hemos dado ms arriba. En efecto, salvo para las excepciones, la cubierta universal de una orbificie de Riemann Z es una superficie de Riemann simple->z=r+z0 mente conexa; luego, C, C P ! o D. Si es C, entonces Z es biholomorfa a C/7r5'(Z), donde 7T?(Z) es un grupo de aplicaciones biholomorfas en C Pero las aplicaciones bihoSi ZQ = & Z la variable principal de Zo es t = Z ': lomorfas de C son exactamente las semejanzas de ecuacin
I f

y como rfj(L) acta propia y discontinuamente, no puede contener semejanzas que no sean isometras eucldeas (si no, habra puntos lmite). Si la cubierta universal es CP 1 entonces Z es CPl/jtf(L), donde ahora rf{(L) es un grupo finito de aplicaciones biholomorfas de C/ 3 '. stas son exactamente las homografas de CP\ ES bien sabido que la proyeccin estereogrfica enva stas a proyectividades directas de IR3 que dejan la esfera unidad invariante. Los subgrupos finitos de estas proyectividades son los subgrupos finitos de S0(3). Luego Z es esfrico. Si la cubierta universal es D entonces Z es cociente de D por un grupo de aplicaciones biholomorfas de D. El celebrado lema de Schwarz dice que stas son exactamente las homografas de CP 1 que dejan invariante D. Pero D, junto con estas homografas es un modelo del plano hiperblico. En consecuencia Z es un calidoscopio hiperblico. La naturaleza de la cubierta universal de Z la da /(Z). Pues por el Teorema de Gauss-Bonet

Z=

Si ZQ e Z\{} y la isotropa de Zo es cclica de orden n, la variable principal de Zo es " = Z ZQ.

Si ZQ = G Z con isotropa de orden n, la variable principal en Zo = es t" =

y si K es <0, 0, >0 esto se revela en que %(L) sea <0, 0, >0. Esto finalmente prueba el teorema. La unicidad a menos de semejanza en el caso % = 0 se debe a que las biholomorfas de C son no slo las isometras eucldeas sino tambin las semejanzas. Y as un biholomorfismo entre Z, y Z2 se levanta a un biholomorfismo de C (en caso ^(Z,) = ^(Z,) = 0) que se interpreta como una semejanza. Y recprocamente.
CONSTRUCCIN DE MODELOS GEOMTRICOS

As las variables principales son cartas de orbificie para el caso particular IQI =

La demostracin del Teorema de uniformizacin no es constructiva. Habr, dada la orbificie Z de Riemann, un procedimiento de hallar un modelo eucldeo, esfrico o hiperblico? La respuesta, para los casos eucldeo y esfrico es positiva. Veamos cmo resolvi Schwarz este problema para el caso eucldeo. Sea Q una orbificie de Riemann con \Q\ = C P ' . Sea Z el conjunto de picos. Definimos, siguiendo a Bianchi, va-

D22. Museo de la Ahambra(1318).

103

JOS MARA MONTESINOS AMILIBIA

Sea d: Q> C / F un biholomorfismo entre Q y el calidoscopio eucldeo C/F donde p : C C / F es la proyeccin inducida por un grupo F de isometras eucldeas directas. Entonces/)"1 o des una funcin holomorfa (conforme, pues la derivada es ^ 0) multiforme. Si V c C / F es un abierto cuyas componentes conexas dep~l(V) son V,, V2, ..., (y V es suficientemente pequeo) entonces d\d~\V)^>V, i= 1,2,... son las ramasded: =p~1d. Dos ramas dv d: U> V, i = 1, 2 (donde U es entorno de Zo con Ua CP~l\( U ) difieren en una isometra eucldea directa; es decir,

Anlogamente si Z = e 1 es de orden n, entonces vale:

w = c0
W" = ^

" + c2z" +..., c, * o

"i"

...

4(Z) = adx{Z) + p

a * 0,

a,p e C

y en consecuencia .Zo = e Z es un cero de orden 1. Resumiendo, D :l Q1= CP 1 ^ C/ 5 ' definida por

J"(

para todo Z e U. Como d\Z) ^ 0 tenemos d'2(Z) = ad\{Z) d"2(Z) = ad'\{T) o sea:

y\
w

holomorfa. Sil. = {,, ..., 5r, } ?-

es un cero de orden 1 para el que vale lim D(Z)Z = - - 1

d'2\Z) = d[\Z)
d'2{Z) d[{Z) est bien definida y es holomorfa en U. Es decir, hay definida una funcin holomorfa D : C P~] \ ( I u )C que en Z vale

siendo , el orden de isotropa de . Los nicos polos de D son los puntos singulares restantes, y si S tiene orden de isotropa n entonces S es un polo de orden 1 para el que lim > ( Z ) ( Z - S ) = - 1 . Con esta informacin podemos reconstruir d, como sigue. En efecto, D es racional de la forma

D(Z) =

d"{Z)
d'(Z)

Sea Zg I\{] un punto de isotropa n. La variable principal para Zo es tn = Z - Zo. Si d, es una rama de d en Zo, como d[ es holomorfa en Zo, hay un desarrollo en serie en torno a t=0:
lt

+ C2t2+...,

Z-S,

Z-S.

-1= lim D(Z)(Z -S,) = A,.

- - 1 = lim D(Z)Z = A, +... + A, = + ... + - r

En otras palabras, la rama d,, en torno a Zo, es la funcin multivalorada

Tenemos entonces

es decir, X(Q) = :

J- + ...+ l

- r - l =0

condicin que vuelve a salir aqu como necesaria para la existencia del biholomorfismo d: Q >C/F. Ejemplo. Q = (C/>'; 0, 1, A, ) con isotropa cclica de orden 2 en X = {0, 1, A, }. Como A = ' 2 Luego Z e S\{o}es un polo de orden 1 de D con parte principal - 1 . 2Z 1 = es 2 i 2(Z-A)

de donde:

d'

104

LA CRISTALOGRAFA GEOMTRICA

+ Loga

El grupo F est generado por rotaciones de 180 en los puntos w = d(X), w2 = d{\). La funcin d = p d, p : CC/F es el biholomorfismo buscado. Observemos aqu la rigidez: a menos de semejanza el grupo T est perfectamente definido:

d' =

-Z{Z-\){Z-X)

d(Z) =
a, b constantes arbitrarias {a ^ 0) complejas que definen da. menos de semejanza.

w.

La inversa de des la funcin automorfa para el grupo F (que realiza el cociente abstracto p: C > C/F como la_/w concretap : C>C/Pl) conocida como funcin Pde Weierstrass. Ejemplo. Q = (C7 3 '; 0, 1, ) con isotropas cclicas de rdenes {m, n, r] = (3,3,3), (2,4,4), (2,3,6). Poniendo
// =

ferenciables de dimensiones dos y tres sino en comparar las

orbificies de Riemann con las 3-orbificies diferenciables. He

1 d' =

y=\ a

,0=1 n

es

z"(z-iy
+b

aqu, por qu he expuesto con tanto detalle el caso de las orbificies de Riemann. Aclarado esto, que emerger despus, empecemos con los 3-calidoscopios eucldeos. Hay 230 a menos de difeomorfsmo directo y 219 si permitimos difeomorfismos inversos. Un grupo cristalogrfico 3-dimensional eucldeo que preserva la orientacin en su accin en el espacio eucldeo, se llamar desde ahora un grupo cristalogrfico sin ms. Tal grupo es un subgrupo del grupo de isometras directas de Ei. Una isometra as puede escribirse como:

donde a es un vector fijo y A e 50(3) es una matriz orY as queda resuelto satisfactoriamente el problema degeo- togonal de determinante 1. Por tanto, si G es cristalogrmetrizacin de orbificies de Riemann Qcon %(Q) - 0. El fico existe un homoformismo caso x(Q) > 0 puede hacerse directamente sin dificultad. El caso #( Qj < 0 admite un mtodo similar a lo explicah : G 50(3) do ms arriba pero pronto se topa uno con dificultades (paA (w = = a + Av)\-^> A rmetros de Poincar) que dejan el problema abierto siguiendo ese mtodo de Schwarz. cuyo ncleo son las translaciones de G; denotamos por ti la translacin
EL CASO TRIDIMENSIONAL

La situacin en dimensin tres es, naturalmente, ms diHemos indicado ya que este subgrupo de translaciones fcil. T<G tiene ndice finito en G, luego la imagen del hoPero quiero hacer notar de entrada que la analoga fruc- momorfismo h : G >50(3) es un subgrupo finito de ttfera.no consiste en comparar superficies (u orbificies) di- 50(3), es decir, h (G) es un grupo cristalogrfico bidi-

105

JOS MARA MONTESINOS AMILIBIA

&^^Mff t2*V2 SU;/

es u n a

matriz entera y ortogonal. Su traza 7, v coincide con la traza de una matriz o entera y ortogonal directa 1+2 eos a donde OC es el ngulo girado por g{). As

-~$

2 eos a e Z lo que slo puede ocurrir si a = , = 1,2,3,4,6. Hen mos demostrado la restriccin cristalogrfica: la holonoma consta de rotaciones de ngulos fracciones enteras de 2n, para n = 2,3,4,6: slo hay rotaciones de 180, 120, 90 60y sus mltiplos. HOLONOM1AS
Pared del oratorio del Partal (Alhambra de Granada).

Con esta potente restriccin podemos ahora deducir qu posibles holonomas pueden existir. G(l acta sobre S2 (la 2-esfera) por isometras y S2/Go es un 2-calidoscopio esfrico. stos estn determinados por su caracterstica de o >T > GEuler X que debe ser >0. Un estudio similar al que hicimos para los 2-calidoscopios eucldeos (con % = 0) nos da donde Go es el grupo de holonoma. Este grupo acta en (supuesta la restriccin cristalogrfica) las siguientes poT: en efecto, sea 5: Go>(7una seccin (no necesariamente sibilidades de 2-orbificies que pueden ser esfricas: homomorfismo), es decir, una aplicacin de Go en G tal Smm ' m - 1.2,3,4,6 (almohada con 2 picos) que h S = 1 <-. Tenemos definida la accin de Go en 7" ^ 2 2 ' m = 2,3,4,6 (almohada con 3 picos) mensional esfrico. A este grupo h (G) le llamamos la holonoma de G. Tenemos, pues, una sucesin exacta corta:
J

233

5, '234
Es fcil ver que estas 2-orbificies admiten una nica estructura esfrica. Sus grupos fundamentales actan en S : y dan como cocientes las dichas orbificies. Ellas son fcilmente identificables. El ^,l)(5,,,J: = 5,,,,,, est generado por rotacin de Iilm en torno a la lnea NS de la 2-esfera; ^ (^22m):= Siim extiende al anterior con una rotacin de 180 en torno a un eje ecuatorial de la esfera (es un grupo didrico de orden 2m); nf(S2}i): = ^ es el grupo de simetras del tetraedro regular inscrito en S"y es el grupo alternante A4 de 4 elementos; K"(S22,4): = 5234 es el grupo del cubo, simtrico de 4 elementos S4. Har una breve digresin cristalogrfica. En cristalografa se habla de grupos puntuales y clases cristalinas. Los grupos puntuales son nuestros grupos cristalogrficos G y las clases cristalinas (32 cuando se estudian tambin grupos que invierten orientacin) agrupan a aqullos en clases con idntico grupo de holonoma Go. Este grupo es el grupo puntual a menos de translaciones y es el que vemos realizado en los bellos cristales que encontramos en la naturaleza: el hecho de que las caras aparezcan presentes a menos de translacin expresa el hecho de que Go es la holonoma. Ntese que la sucesin exacta

(puede verse que est bien definida independientemente de la seccin elegida, porque T es abeliano). La accin gota enva ta a una translacin ta* &oi\de a y a estn relacionadas as a" =go(a) (siendo goe 50(3), acta sobre los vectores de E3). Hemos deducido lo siguiente: la holonoma Go acta en la red de vectores T dejndola globalmente invariante. Pero como G es cristalogrfico, T contiene una base {J1,?2,?3] de E1 (de otro modo, E'/G no sera compacto) y en consecuencia T = {met + ne +pe}: (m, n,p) (aunque exige un poco de atencin llegar a esto). Si ahora ge e Go se tendr que su matriz con respecto a {?,, ?,, ?3)

no necesariamente admite una seccin que sea homomorfismo, es decir, G() no es en general un subgrupo de 106

LA CRISTALOGRAFA GEOMTRICA

G: si, por ejemplo, en un cristal de Wulfenita vemos un eje de orden 4 lo ms que podemos deducir de la estructura interna de este mineral es que hay un giro helicoidal en que la parte rotacional es de 90. (Fin de la digresin.)

La estrategia que seguiremos para enumerar los 3-calidoscopios eucldeos (o equivalentemente, los grupos cristalogrficos ) es obtener primero los orientables, pues los no orientables son cociente de los orientables bajo la accin de una involucin inversa. Fijada nuestra atencin en los orientables, observamos que las posibles holonomas estn relacionadas as:

dicho de otro modo, se tiene $,, ^ ^22,. Entonces si G es cristalogrfico con holonoma S21 > el subgrupo G[ ={(w = a+ Av) E G I A e Smm (tiene ndice 2 e n y en consecuencia el calidoscopio G Ei IG es el cociente del G1 := Ei l& bajo la accin de una involucin que
S333. Museo de la Alhambra (2232).

preserva la orientacin.

Asimismo tenemos
2:1
>432

que corresponden a las siguientes inclusiones entre sus grupos fundamentales:

3

Paso 1 Calidoscopios G con holonoma Go = Smm, m = 1,2,3,4,6.

<

< c234
J2

Si Go S entonces G es un toro tridimensional 5'x5'x5' ya que G coincide con su subgrupo de translaciones. Supongamos que m = 2,3,4,6. Si Smm est generado por 2nlm- rotacin en el eje 0Z de IR3 (con ejes X,Y,Z) entonces G = {w-a + Av\A& Smm} deja invariante el haz de rectas paralelas al eje 0Z. Al pasar al cociente G:= E3 IG las rectas se convierten en crculos S1 y entonces G es un calidoscopio fibrado de Seifert con base un calidoscopio

(geomtricamente S122e s el subgrupo del grupo del tetraedro S235 = A4 correspondiente a laspermutaciones {(12X34),(13)(24),(14)(32), id}; y S2i3 = A4 < S4 = = S1)4)De este modo, si hallamos los calidoscopios con holonomas Smm podremos deducir todos los dems, rastreando las acciones cclicas de orden 2 y de orden 3, respectivamente.

107

JOS MARA MONTESINOS AMILIBIA

eucldeo bidimensional Gj que es el cociente del plano <X, Y> bajo la accin inducida en l por la proyeccin de G paralela al eje OZ. Esta accin define el grupo plano o kernel Ge > Cm * o con holonoma cclica Cm, m = 2,3,4,6. Conocemos perfectamente qu 2-calidoscopios eucldeos son stos: m = 2, Ge= S1221
m= 3, m= 4, m= 6, Gr =
^333

Ge = J 2 4 4 Ge = "->236

* ?

Hemos obtenido el importante teorema de BonahonSiebenmann:

P22 (en la mukarna). Puerta de la Justicia (Alhambra de Granada).

es un fibrado de Seifert. Describir losfibradosde Seifert rpidamente. Son unin, X, de crculos, S\ con cartas. Una carta es

La notacin sugiere que la fibra central es una fibra general (en nomenclatura de H. Seifert), o sea que fibras cercanas a ella son homologas a ella (y no a un mltiplo a de ella, que es el caso de las fibras excepcionales de orden a, que enseguida ocurrirn). Las fibras generales fueron denotadas por Seifert por (1,0). Yo denoto una

donde D es el 2-disco, f preserva fibras y es el cociente de Dx Sl por una accin cclica que preserva fibras. Claramente, al colapsar las fibras, X se convierte en una 2-orbificie B, base del fibrado de Seifert. Escribimos la proyeccin as Si x eAtiene y ef~l{x) con estabilizador de orden n dir que la isotropa de x (y de toda la fibra que lo contiene) es n. Veamos ahora las posibilidades, estudiando un fibrado de Seifert ocal sobre un pico, por ejemplo, de ngulo 2nlG. Entonces p : X-^B, donde B es el pico y X es la imagen ef: Dx S]>X Tenemos el diagrama conmutativo:

fibra general con isotropa fpor | ,0 ! 66. (Espero que la notacin ayude.)

T o m o del 6 cilindro D X S[ como dominio fundamental de la accin de C 6 , y pego, con rotacin de , la base con la

=l. Sacacorchos de paso

27T/6

tapa.

La accin de C6 en D es generada por rotacin de 2KI6, mientras que la accin de C6 en S[ es generada por cual2nk quier mltiplo , = 0,1,2,3,4,5. k = O.-X = Bx S]; la isotropa es 6 en la fibra central pxS1 (p es el pico). Denotar esta fibra central as ,0 . 16 La fibra central del cilindro es excepcional de orden 6; (6,1) en rotacin de Seifert. Como la isotropa de la fibra centrales 1, yo escribir ,1 6,. {1 j

108

LA CRISTALOGRAFA GEOMTRICA

k=2. Sacacorchos de paso . Tomo del 6 6 cilindro D X S1 y pego la tapa con la base por rotacin de 6 asi:

Resumen local
m ^

2 3

1 2,

2 22

3 33

4
6

3, 4,
6,

32 42
62

43 63

44
64 65

La notacin clsica de las acciones en DxlR que definen estas variedades fibradas de Seifert locales es esta
Mi notacin Notacin clsica Mi notacin

.(!)-.{!)-.(!-)-.(!-)-.(!)-.

Entonces X es el cociente de este cilindro por rotacin de 180 en torno a su eje. La imagen X es la mitad del cilindro anterior con identificaciones.

Notacin clsica Mi notacin Notacin clsica Mi notacin Notacin clsica

3,

A
3

Volviendo a lo anterior, el calidoscopio G con holonoma Go = Smm, m = 2,3,4,6 es un fibrado de Seifert sobre una de estas bases B = Ge La fibra central tiene isotropa 2 y es una fibra excepcional de orden 3. Denotar as: 6, k=3.- Da, anlogamente, 63 (Sacacorchos de paso n). k=4. La fibra central tiene isotropa 2 y es una fibra excepcional de orden 3; difiere del caso k=2 en la orientacin (fibra excepcional de tipo (3,2) en la notacin de H. Seifert). La notacin es 64 (Sacacorchos de paso ). m =2 m =3 m =4 m=6 B= Ge= S2222 B = 53 B = S333 U2 B = 5236

k=5. Consideraciones semejantes al caso anterior. Notacin 65.

As que sobre cada pico p habr alguno de los p, i= 0, 1, ...,p\, locales explicados antes. El importante teorema global que viene ahora es la clave de toda la clasificacin. Es el anlogo (en dimensin 2) al hecho de que la caracterstica de Euler de un 2-calidoscopio eucldeo es cero. Recordemos que este hecho se demostraba de dos modos, pero uno de ellos (susceptible de generalizacin a dimensiones >2) era que un calidoscopio eucldeo est cubierto finitamente por un toro (producto SxxSlX ... x5'). Pues bien, el siguiente teorema se demuestra empleando este hecho, pero no dar la demostracin pues es demasiado complicado para estas notas. Teorema. Sea G un calidoscopio eucldeo tridimensional orientable con base un calidoscopio eucldeo de picos pv p2,..., pn. Supongamos que la holonoma es Smm, (m = 2,3,4,6). Entonces, sobre cada pico p yace una fibra de G de tipo local (p)i-; donde z j = 0, 1, ..., p\. Entonces m m
ii =0

Wulfenita

109

JOS MARA MONTESINOS AMILIBIA

As, por ejemplo, para m = 2 caben los casos (entre parntesis, la notacin de las International Tables for Crystallography):
,2,2,2, 2,2-, ( Q )

4 de estas involuciones (ver la lista de los 17 grupos cristalogrficos planos)

>2222

Para m = 3, caben 5, i3|3] (/>,,); S,,,,,, ( / y ; S33,3, (p); Para m = 4 caben los casos:
,4,4, (A,)
,434.,(/'43)
2-22

24444 (A)

Para m = 6 caben los casos

^ <

'22

,3,6, ( ,3 2 6, ( ,3 3 6 3 ( 2 3,6 4 ( 23262 ( 2336f,

Los pares siguientes son enantiomorfos (iguales por difeomorfismo inverso)

,3,2, = &,322, 4 3,2 2 = Sbiiili ,4,4, = 52,4343 ,3,3, = 53,3,32

Paso 2 Podemos ahora pasar a hallar los calidoscopios G con holonoma 5,,,Proceden de la cubierta doble 5,,

Sin entrar a estudiar todos los casos, que sera demasiado laborioso, veamos un solo ejemplo. La segunda involucin de arriba aplicada al calidoscopio S,|2|2,2, da el cociente Q = D-,^ 2 Puede verse que el espacio subyacente IQI es S3 (la 3-esfera IR3+o) y la isotropa de orden 2 son los puntos de un enlace de tres curvas triviales llamado anillos de Borromeo (/T,,^, e n notacin internacional)

180

2:1

Este calidoscopio eucldeo tiene holonoma S222. La cubierta triple La involucin que define esta cubierta doble deja invariante las fibras de la fibracin de E3 paralelas al eje OZ pero invirtiendo su orientacin. La involucin inducida en el calidoscopio con holonoma 522 invierte la orientacin de la base de la fibracin de Seifert. Esta base es 2222 y hay Sn, corresponde a una accin cclica de orden 3 en los anillos de Borromeo: 110

LA CRISTALOGRAFA GEOMTRICA

3:1

Este ltimo calidoscopio, con holonoma S233, tiene la notacin internacional /2]3. En l acta la involucin correspondiente a la cubierta doble:

Se tiene:

2:1

04,32)

isotropa cclica Cn con n = 2, eucldea para n = 3, e hiperblica para todos los dems casos n > 3. Adems el espacio complementario de este nudo admite estructura de variedad hiperblica completa y de volumen finito. (Vase la fotografa de la Alhambra: Una tabla de nudos PROBLEMAS ABIERTOS (pg. 98); el nudo en cuestin es el 4,.) No se piense que esto es excepcional. De hecho un enunLas consideraciones hechas hasta ahora no muestran ciado parecido (aunque no igual) vale para muchos nudos qu problemas pueden estar sin solucin hasta el presen(para todos, exceptuando los nudos toroidales y los nudos te en el campo de la cristalografa geomtrica. Las cuestiones satlites de otros nudos). abiertas aparecen en el campo de la cristalografa hiperUna importante propiedad de las orbificies hiperblicas blica, as como en el estudio (ms amplio) de las 3-ores que son rgidas. Esto ya lo vimos para el caso de las orbificies en general. Para dar una idea de las dificultades bificies de Riemann. Aqu, sin estructura adicional sobre dir que no sabemos hoy da ni siquiera qu cubiertas unila diferenciable, puede afirmarse que si una 3-orbificie es versales admiten las 3-orbificies. El problema acuciante un calidoscopio hiperblico, esta estructura es nica. aqu es saber si la cubierta universal de una 3-orbificie Este hecho permite deducir que los invariantes geomcon grupo fundamental finito es necesariamente la 3-estricos de un 3-calidoscopio hiperblico, tales como el vo3 fera S y si, en tal caso, la 3-orbificie es esfrica. lumen, son invariantes topolgicos de la 3-orbificie subEl caso hiperblico es difcil por su enorme amplitud. yacente. El estudio de estos invariantes es objeto de intensa As, por ejemplo, la 3-orbificie Q con espacio subyacenactividad hoy da. te IQ = S3 y singularidad el nudo siguiente es esfrica para Una generalizacin del concepto de calidoscopio es el concepto de variedad geomtrica cnica. Por ejemplo, el nudo antes mencionado admite una continua familia de estructuras geomtricas cnicas: elpticas (o esfricas) entre los ngulos situados entre TTy ya dijimos- para ; eucldea -como

De este modo, como resultado de nuestras consideraciones anteriores, podemos obtener los 230 grupos cristalogrficos eucldeos.

, e hiperblica para ngulos entre

entre

y 0. El ngulo 0 se interpreta como la estructura

111

r
JOS MARA MONTESINOS AMILIBIA

hiperblica de volumen finito y completa que admite el complemento del nudo. El estudio de las variedades cnicas es otro tema de gran inters hoy da. REFERENCIA ULTIMA Y pongo punto final a este relato. Deliberadamente no hay en l argumentos histricos ni bibliogrficos. Estos

pueden encontrarse en los libros (abundantes) sobre variedades hiperblicas (Ratcliff, Benedetti y Petronio, etctera). El impulsor de la cristalografa geomtrica hiperblica fue W. Thurston. En 1976-1978 dio dos cursos en Princeton (Estados Unidos) que se conservan en sus famosas notas. Casi toda la investigacin que sobre estas materias se lleva hoy a cabo, procede de sus ideas. La lectura de estas notas creo que es el mejor modo de iniciarse en esta materia.

112