Notas de Geometr a Moderna 2

Francisco Javier Z un iga G ongora 30 de abril de 2013

11 de Marzo La geometr a de la esfera (de Riemann) S est a dada por el grupo de transformaciones de M obius, M (2), en el plano complejo: a nadiendo un punto al innito, extendemos el dominio de dichas transformaciones a la esfera, S = C {} Est a geometr a intr nseca de la esfera no se concierne con la m etrica: es una geometr a de la ((circularidad)). A un m as, esta caracter stica es de hecho una caracterizaci on de las transformaciones de M obius: automorsmos holomorfos de la esfera que preservan c rculos. La raz on arm onica de 4 puntos asigna un valor complejo a estos y nos lleva a un primer paso a entender esta vida secreta del plano y de la esfera Consideremos la raz on arm onica , una cantidad que asociaremos a 4 puntos {A, B, C, D} C {} denida de la siguiente manera: = [A, B, C, D] = (A C )(B D) (A D)(B C )

Esta expresi on presenta una ambiguedad: el orden de sus argumentos. Es de esperarse que distintas permutaciones de ellos nos entreguen distintos valores de . Lo que sucede es que tenemos s olo 6 valores para las 24 permutaciones de los argumentos. Y, m as a un, surge naturalmente un homomorsmo de S4 a S3 . Dado como en la expresi on anterior y permutando sus argumentos obtenemos los siguientes valores: {, 1 , 1 1 1 , , } 1 1

Cada una de las expresiones anteriores se puede ver como una funci on y as forman, bajo la composici on, un grupo. Tomando como argumento para estas la triada {0, 1, }, vemos que este grupo es precisamente S3 . As denimos un homomorsmo el grupos S4 S3 , que se puede representar de forma geom etr ca.

Considerando que los movimientos isom etricos del cubo inducen una permutaci on de sus diagonales pricipales y el hecho de que las trasposiciones de est as se pueden obtener por dichos movimientos llegamos a la conclusi on de que este grupo es isomorfo a S4 . As mismo el homomorsmo sobre S3 mencionado antes conrresponde al inducido por los movimientos del cubo sobre los pares de lados opuestos (correspondientes a los 3 ejes de simetr a rotacional de orden 4 que pasan por ellos). Aparici on de la losof a geom etrica: estudiamos el objeto geom etrico a trav es de las estructuras invariantes de las transformaciones que lo preservan. La propiedad fundamental que nos interesa de la raz on arm onica es la de ser invariante bajo transformaciones de M obius, es decir: una propiedad geometrica asociada a los 4 puntos. Simb olicamente: T M (2), = [A, B, C, D] = [T (A), T (B ), T (C ), T (D)] Tres puntos en posici on general (i.e. que denen una pareja de vectores linealmente independientes) siempre existen en un u nico c rculo que pasa por ellos y por lo general un cuarto punto arbitrario no pertenece a este c rculo. Un teorema importante nos da una condici on suciente y necesaria para que esto ocurra: R. Para demostrarlo b astenos analizar la siguiente expresi on, reescribiendo
C A

= (DA) / C B
D B

C A El argumento de D A es, en el dibujo anterior tomando como C el punto superior izquierdo y D C B el derecho, a y, correspondientemente, b es el argumento de D umero real es B . Para que sea un n necesario en este caso que su parte unitar a sea real: en general para un cociente de complejos tenemos |z1 | ei1 z1 z1 i(1 2 ) = | e y para que este sea real es suciente y suciente que z1 = 0 (como no es = | z2 z2 |z2 | ei2

nuestro caso) o que ei(1 2 ) sea real, es decir, igual a 1 o 1. En t erminos de los angulos estos es que su diferencia sea un m ultiplo entero de . En nuestro caso, con 1 = a y 2 = b, esto signica que a = b. Es un resultado de geometr a elemental que la igualdad de dichos angulos es equivalente a que el cuadr angulo que denen los 4 puntos sea c clico, i.e. a la circularidad compartida de los 4 puntos. Este an alisis corresponde al caso en el que k > 0 y a una conguraci on de los puntos como se ilustra en el dibujo. En el caso < 0 las parejas {A, B } y {C, D} aparecen intercaladas, de modo que el signo de uno de los angulos est a invertido. Sin perder generalidad podemos suponer que se invierte la orientaci on del angulo b. La condici on para que sea real es entonces que a + b = , i.e. que a y b sean angulos complementarios, lo que equivale nuevamente a que los 4 puntos est an en un c rculo. Se ilustra este caso en la siguiente imagen:

Un corolario a este teorema justica un comentario hecho en la introducci on sobre la ((circularidad)): si es invariante bajo una transformaci on de M obius entonces estas transforman c rculos en c rculos. Hemos de recordar que nuestro concepto de simetr a aqu es mucho menos reestrictivo que el euclideano y es que para nosotros c rculos y l neas-rectas son ambos simplemente c rculos (las rectas como c rculos que pasan por nuestro ). M as transformaciones singnica m as simetr a, pero un ((exceso)) de simetr a acaba con la posibilidad de discriminar entre las distintas partes. Podemos imaginar espacios con tanta simetr a que al nal no nos sea posible distinguir partes suyas distintas de su totalidad pero, no obstante, presentando una estructura geom etrica. 13 de Marzo La clase pasada vimos que la separabilidad de las parejas {A, B } y {C, D, } sobre la circunferencia del c rculo se traduce en el signo de la raz on arm onica = [A, B, C, D]. M as a un, nos dice como es la conguraci on de los puntos. La raz on arm onica es, para cada uno de sus argumentos, una transformaci on de M obius que nos distingue intr nsecamente la tr ada {1, 0, }. De hecho las transformaciones de M obius quedan determinadas de forma u nica por su valor en 3 puntos. Dando un vistazo m as cuidadoso a la demostraci on del teorema de la clase anterior, y a sus distintos casos, podemos deducir que los valores 1, 0 e s olo ocurren cuando alg uno de los puntos coincide con otro (se trata de los casos degenerados/singulares) y que marcan el salto cualitativo de una conguraci on a otra. Primero vamos a distinguir entre el orden ondulatorio y el orden militar. Este u ltimo es simplemente

una orientaci on positiva o negativa (sin distinci on), y sucesiva, de los puntos A, B, C, D (i.e. de acuerdo a como aparecen ordenados en la expresi on de ) sobre la c rcunferencia. El orden ondulatorio coresponde a un orden militar con una trasposici on entre C y D (espec camente: el tercer y cuarto argumento). Jugando con las trasposiciones de los argumentos de vemos que: El orden de los puntos es ondulatorio 0 < k < 1. El orden de los puntos es militar 1 < k < . Para el caso en que < < 0 la conguraci on es u nica a los ojos de la raz on arm onica, aunque podemos reconocer dos: la bandera izquierda y la bandera derecha. Estas se observan de acuerdo a nuestro recorrido de la recta AB , C queda a la izquierda o a la derecha. Pero no diferencia entre orden militar positivo o negativo, ni ondulatorio en sus dos orientaciones, y tampoco lo hace entre las dos banderas. Podemos imaginar al punto que se encuentra en el primer argumento, nuestra A, moviendose sobre el c rculo a partir de un orden militar, hacercandose a B para degenerar en = 1 y pasar al orden ondulatorio. Al pasar por C tenemos el otro caso degenerado = 0 y al aproximarnos a D, se va a innito, siempre negativo, hasta volver al dominio del que parti o adquiriendo alg un valor > 1. Veamos ahora que pasa con la raz on arm onica cuando jamos 3 puntos y la hacemos funci on del restante: (z C )(A C ) [z, A, B, C ] = (z C )(A B ) Se trata claramente de una transformaci on de M obius, por lo menos en lo que respecta a su forma. En efecto, si calculamos el determinante de su matriz asociada obtenemos una expresi on sim etrica en A,B y C , que no se anula mientras estos puntos sean distintos entre s : (C A)(B A)(B C ). De forma que la matriz no es singular. Notamos adem as que, bajo esta funci on, la tr ada {A, B, C } se mapea en la triada {1, 0, }. Ejemplo: [z, 1, 0, ] = z Nota: Siempre que hacemos c alculos aritm eticos incluyendo a en C debemos tomar en cuenta que la justicaci on formal de estos se halla en el c alculo de los l mites correspondientes. Inviertiendo la transformaci on [z, A, B, C ] encontramos una transformaci on de M obius que mapea a la tr ada {1, 0, } en tres puntos arbitrarios A, B, C . Combinando ambos argumentos (i.e. componiendo ambas trasformaciones) llegamos al siguiente resultado: podemos transformar tres puntos dados {A, B, C } en cualesquiera otros trespuntos A, B, C mediante una transformaci on de M obius. A un m as, esta transformaci on resulta u nica y, en consecuencia, una transformaci on de M obius queda determinada por su valor en tres puntos. Para constatar ello basta demostrar que si una de estas transformaciones ja 3 puntos no queda m as remedio a que sea la identidad. En efecto, un punto jo de una transformaci on de M obius cumple: az + b =z cz + d Esto nos dice que un punto jo es una raiz del polinomio T (z ) = cz 2 + (d a)z b = 0 para el cual existen, a lo m as, si la ecuaci on no es trivial, 2 soluciones distintas en C. De ser trivial se tiene que todos los puntos del plano son soluciones del polinomios, esto es puntos jos. En t erminos de los coecientes, la trivialidad de la ecuaci on se traduce en: c = b = 0, a = d De modo que la transformaci on es la identidad. Las dos posibles soluciones mencionadas, garantizadas por el llamado teorema fundamental del algebra, est an en C Puede pasar que la transformaci on 4

tenga como un tercer punto jo a y al mismo tiempo no sea la identidad? Bajo la transformaci on T se a tiene c y para que este valor sea igual a se requiere a = 0 y c = 0. Es decir: la transformaci on de T es una transformaci on af n que puede tener, cuando no es la identidad, a lo m as un punto jo en C (que sumar a junto con los dos puntos jos). De modo que no es posible que nos sobren puntos jos. Entonces, al jar tres puntos, T ja todo C {}. As probamos la unicidad de la transformaci on.
+b Ejercicio: Dada una transformaci on de M obius T (z ) = az on cruzada cz +d escribirla como una raz [z, A, B, C ]. Soluci on: Invertir la matriz asociada y calcular las im agenes de {1, 0, }. Estas son, respectivamente, los puntos A, B, C .

20 de Marzo Las transformaciones de M obius se pueden comprender a otro grado de profundidad utilizando maquinaria del algebra lineal. Desde este marco conceptual descubrimos que estas son las simetr as del espacio proyectivo complejo 1-dimensional (dimensi on real 2) CP. Haremos un breve repaso de los conceptos fundamentales de est a teor a limit andonos a trabajar en C2 , el espacio de parejas de n umeros complejos, que para nuestras necesidades inmediatas conformar a perfectamente el paradigma de espacio vectorial. Un espacio vectorial es conjunto con una suma entre elementos de este conjunto, llamados vectores, y un producto por elementos de un campo dado que llamamos escalares. Con dicha suma el conjunto tiene estructura de grupo abeliano y se relaciona con el producto por escalares de la siguiente manera: (v ) = ( )v (v + u) = v + u ( + )v = v + v 1v = v Donde {v, u} son elementos del espacio vectorial y {, } pertenecen al campo de escalares. Intuitivamente se trata de un espacio donde contamos con las nociones de direcci on y magnitud. El producto por escalares es an alogo a una dilataci on o una contracci on del espacio. Esta interpretaci on se deriva directamente del caso m as frecuentado en matem atica elemental: el espacio euclideano de 3dimensional R3 . Ah la suma de vectores se realiza geom etricamente a trav es de la construcci on del paralelogramo y el producto escalar a trav es de la dilataci on del vector a raz on del escalar. En concreto, para C2 , la suma de vectores y el producto por escalares est an dados por las siguientes expresiones respectivamente: (z1 , w1 ) + (z2 , w2 ) = (z1 + z2 , w1 + w2 ) (z1 , w1 ) = (z1 , w2 ) Donde {, z1 , z2 , w1 , w2 } C. Se verica de inmediato que con estas deniciones C2 es, en efecto, un espacio vectorial. Notemos que cualquier vector (z, w) en C2 se puede escribir como una combinaci on lineal de los vectores e1 = (1, 0) y e2 = (0, 1), esto es una expresi on de la forma: (1, 0) + (0, 1) 5

Basta hacer = z y = w para dar cuenta de la observaci on. Llamamos a z y w los componentes o coordenadas del vector. Decimos entonces que esta pareja de vectores conforma un conjunto generador. Un conjunto de vectores para los cuales no existe una combinaci on lineal no trivial (i.e. donde no todos los coecientes escalares de la expresi on son cero) igualada al vector cero (el neutro aditivo de la suma vectores) es llamado un conjunto de vectores linealmente independientes. El concepto de dependencia lineal se obtiene de la negaci on de este enunciado. La dependencia lineal de un conjunto de vectores signif ca que que alguno entre ellos se pueden expresar como combinaci on lineal del resto y podemos pensar que se trata de una direcci on compuesta. Un conjunto generador y linealmente dependiente es llamado una base para el espacion vectorial y se dene la dimensi on del espacio como el n umero de elementos pertenecientes a esta base. En este curso nos limitamos a trabajar con espacios de dimensi on nita, o sea, con una base de una cantidad nita de vectores. Se puede demostrar que dos bases distintas para un mismo espacio vectorial siempre tienen la misma cantidad de elementos. Hemos visto que {e1 , e2 } forma un conjunto generador, su independencia lineal resulta de que: e1 + e2 = (1, 0) + (0, 1) = (, 0) + (0, ) = (, ) = (0, 0) = = 0 Una transformaci on lineal es una funci on entre espacios vectoriales T : V W que respeta la estructura, es decir, tal que se cumple lo siguiente: T (u + v ) = T (u) + T (v ) T (v ) = T (v ) Gracias a esto es suciente conocer la imagen de los elementos de una base para determinar la transformaci on de forma un voca. A su vez usamos la base del contradominio para expresar estas im agenes como combinaci on lineal de sus elementos. El conjunto de coecientes escalares de est as expresiones nos permiten acomodarlas de forma natural en una matriz. Con el producto de matrices podemos reconstruir la transformaci on lineal, recordando siempre que este procedimiento depende de nuestro conocimiento de la base. En nuestro caso, T : C2 C2 est a representada por una matriz de 2 2 con entradas complejas y actua sobre un vector (z, w) de la siguiente forma: a b c d z w = az + bw cz + dw =z a b +w c d =z a b c d 1 a b +w 0 c d 0 1

En la expresi on anterior vemos como la transformaci on est a determinada por las im agenes de nuestros vectores can onicos {e1 , e2 }, que son precisamente los vectores columna de la matriz. Mediante c alculo directo se verica que T es una transformaci on lineal y en base a la discusi on anterior notamos que toda transformaci on lineal de C2 se puede describir con una matriz (siempre que conozcamos una base). Cabe mencionar que la pareja de vectores can onicos e1 , e2 constituyen s olo una base particular para C2 sin mayor ventaja sobre otra m as que ser la m as natural, pues parte de los elementos distinguidos en el campo: 1 y O. Cada vector es en s una entidad geom etrica independiente de su representaci on como una pareja de n umeros complejos (pues est as parejas siempre reeren impl citamente a una base particular, siendo los componentes del vector en t erminos de esta base); el vector es lo que comparten todas estas representaciones. Cuando cambiamos de base, cambiamos las coordenadas de un vector. Pero este cambio de base es tambi en posible verlo en su interpretaci on activa : consideramos la transformaci on que lleva a los elementos de una base a los elementos de la otra. As , las coordenadas de un vector resultan relacionadas por la matriz inversa a la asociada a la transformaci on de la base. Las coordenadas se transforman de forma inversa a

la base. Las matrices que relacionan dos sistemas de coordenadas son aquellas que son invertibles, que en t erminos algebr aicos se reduce a la condici on de que su determinante sea distinto de cero. El determinante de una matriz de 2 2 es: det a b c d = ad bc

Es decir, aquellas transformaciones cuya matriz asociada es as son, bajo la interpretaci on pasiva, simplemente cambios de coordenadas. Esta es exactamente la condici on para que {a, b, c, d} sean los coecientes de una transformaci on de M obius y la anterior su matriz asociada. Recordamos que la composici on de transformaciones de M obius se corresponde al producto de matrices asociadas. Ahora introducimos el concepto central causante de nuestra digresi on al algebra lineal: el espacio proyectivo. Este concepto nos permitir a recuperar las transformaciones de M obius a partir de las simetr as de C2 . Un subespacio de un espacio vectorial es un subconjunto de este que es a su vez un espacio vectorial. Entonces un subespacio unidimensional es aquel cuya base consta de un s olo elemento. Inversamente cada vector distinto de cero dene un subespacio unidimencional que es b asicamente el conjunto de todas las dilataciones y contracciones del vector, todos sus m ultiplos escalares. El espacio proyectivo asosiado a un espacio vectorial dado es el espacio cuyos puntos se corresponden con los subespacios unidimencionales del espacio inicial. En el caso de R3 se trata del conjunto de rectas que pasan por el origen. Para nuestro caso en C2 obtenemos la recta proyectiva compleja CP. Cada subespacio determina de forma biun voca lo que se conoce como su complemento ortogonal. Este es el subespacio de vectores ortogonales al subespacio inicial. Cada vector en el espacio se puede escribir como la suma de un vector en el subespacio inicial y un vector en el complemento ortogonal, exactamente como en el plano tenemos un componente horizontal y otro vertical. Estas componentes vectoriales nos dan a su vez las proyecciones ortogonales, que describen la sombra de un vector sobre el subespacio. Equivalentemente podemos denir el espacio proyectivo CP introduciendo la siguiente relaci on de 2 equivalencia para vectores distintos de cero en C : (z1 , w1 ) (z2 , w2 ) z2 = z1 , w2 = w1 para alg un escalar . Cada espacio unidimensional est a determinado por el cociente de las coordenadas de cualquier vector suyo distinto de cero (que es invariante sobre toda la clase de equivalencia). Entonces el espacio proyectivo asociado a C2 es tambi en el conjunto de cocientes de n umeros complejos asignando = z . Estas son las coordenadas homogeneas en CP . Este espacio es exactamente nuestro plano complejo 0 2 extendido C . Las simetr as de C son las transformaciones lineales de s mismo que mandan bases en bases: el grupo de matrices complejas de 2 2 con determinante distinto de cero, i.e. el grupo general z1 lineal GL(2, C). Cu al es el efecto de estas simetr as vistas desde CP? Denotando z = z vemos que: 2 z1 z1 a b c d z1 z2 = z1 =z z2 az1 + bz2 az + b = cz1 + dz2 cz + d

az1 + bz2 cz1 + dz2

La transformaci on inducida en el proyectivo es una transformaci on de M obius! De modo que est as transformaciones son, vistas pasivamente, simples cambios de perspectiva en nuestra esfera celestial. Resumimos nuestro estudio del espacio proyectivo complejo 1-dimensional enumerando sus distintas representaciones: La esfera del cielo S2 . El plano complejo extendido C . Los rayos (vectores distintos de cero) m odulo el producto por escalares. Subespacios Unidimensionales. 7

Complementos ortogonales a espacios unidimensionales. Proyecciones ortogonales a espacios unidimensionales.

3 de Abril En las clases anteriores se introdujo el concepto de la potencia. Ahora discutimos a profundidad el concepto de la potenciala e introducimos el concepto de espectro. La potenciala es el conjunto de puntos que tienen la misma potencia respecto de 2 c rculos dados. Recordamos que la potencia de un punto respecto de un c rculo es (para un punto fuera del c rculo) la distancia tangencial del punto a este. Realizaremos un c alculo para dar con la ecuaci on de la potenciala a dos c rculos distintos arbitrarios, K1 y K2 . Un punto z C est a en la potenciala si y solamente si se cumple la siguiente ecuaci on: (z, K1 ) = (z, K2 ) es decir |z O1 |2 r1 2 = |z O2 |2 r2 2 donde Oi y ri es el centro y radio, respectivamente, de Ki . Escribiendo los m odulos de la expresi on como producto de conjugados y agrupando t erminos llegamos a la siguiente expresi on equivalente: z (O1 O2 ) + z (O1 O2 ) + (r1 2 r2 2 + O2 O2 O1 O1 )
b De modo que tenemos una ecuaci on de la forma az + az + b, a, b C, esto es Re(az ) = 2 que nalmente reescribimos como:

Re(uz ) = , con u =

a b S1 , = |a| 2|a|

Esta es la ecuaci on de una la recta, la que se obtiene de rotar por u1 la recta de parte real constante . Consideremos el caso concreto en el que las dos circunferencias se intersectan no tangencialmente (este caso vendr a despues). Los dos puntos de intersecci on tienen la misma potencia respecto de los dos c rculos, de modo que la potenciala es exactamente la recta que pasa por estos puntos. Esto nos dice que la potenciala de estos c rculos depende solamente de los puntos de intersecci on, de modo que cualquier otro par de circulos que pasen por ellos tienen la misma potenciala. Esta familia de circulos es el espectro el ptico, que denotaremos por el momento 1 , y al par de puntos de intersecci on se les conoce como los focos del espectro. En general el espectro se dene como la familia de c rculos que con la misma potenciala. Existe otra familia de c rculos denida intr nsecamente por el espectro el ptico: para cada punto p de la potenciala, que no est e contenido en el segmento denido por los focos, podemos contruir un c rculo de radio igual a su potencia al espectro (su potencia a cada circulo de este es la misma). Al ser esta precisamente la distancia tangencial tenemos que cada c rculo as constru do es ortogonal a todo el espectro el ptico. Denotamos a esta familia por 2 . Tambi en notamos que al acercar este punto a alguno de los focos las circunferencias se van cerrando sobre este foco. Veremos que este es el llamado espectro hiperb olico que se dene como el espectro asociado a la potenciala de 2 c rculos que no se intersectan. Hacia este resultado necesitamos un peque no Lema: La inversi on sobre cualquier c rculo de 2 intercambia los focos del espectro. 8

En efecto, todos los c rculos de 1 son ortogonales a cualquiera de 2 de modo que sus puntos de interseccion, es decir los focos, son sim etricos respecto a esta inversi on. Ahora podemos ver que 2 es de hecho un espectro hiperb olico. Observamos una conguraci on sugerida por el lema anterior: un c rculo K de radio r y dos puntos A y B sim etricos respecto de K , d la distancia entre A y B . Denimos C como el punto medio del segmento AB . La recta ortogonal a AB que pasa por C pregura la potenciala, la denotamos L, A y B los focos (el pticos) y nuestro c rculo K a un elemnto arbitrario de 2 . S x es la distancia del centro de K hasta A. Entonces x(x + d) = r2 pues A y B son sim etricos. Calculamos la potencia de C : d d2 d2 (C, K ) = (x + )2 r2 = (x2 + xd r2 ) + = 2 4 4 Entonces hemos visto que la potencia de cualquier c rculo en 2 a C depende s olo de la separaci on de los focos, de modo que L es necesariamente potenciala a toda esta familia de c rculos. 2 es el espectro hiperb olico. Uno y otro espectro son duales. Existe otra forma de obtener un espectro a partir del otro, siendo estos familias de circulos ortogonales entre s : a cada punto del plano le asociamos la direcci on ortogonal, denida localmente por un espacio 1-dimensional, al c rculo del espectro que pasa por el (es intuitivamente claro que cada espectro llena el plano). A esta asignaci on se le llama distribuci on. Podemos imaginar a un hormiga innitesimal moviendose por el plano, alineandose en su recorrido a la direcci on especicada en cada punto por el que pasa. As constru mos un curva que es ortogonal a todo nuestro espectro inicial, decimos que se trata de una curva integral de la distribuci on. Por cada punto del plano pasa una sola curva integral y estas son los integrantes del otro espectro. A la divisi on del espacio en curvas, supercies o variedades de mayor dimensi on, se le conoce como foliaci on. . El teorema de Frobenius es un resultado general que da condiciones de integrabilidad para distribuciones en general y est a relacionado con la existencia y unicidad de soluciones para sistemas de ecuaciones diferenciales. Como caso l mite, cuando los focos se funden en un punto, tenemos el espectro parab olico. La potenciala a dos c rculos que se tocan en un punto es la recta tangente a ambos por este punto. As , el espectro parab olico es la familia de circulos tangentes a esta recta. En este caso el espectro dual (i.e. el espectro ortogonal) es a su vez un espectro parab olico cuya potenciala es la recta ortogonal que pasa por el mismo punto de tangencia. Tarea: Hacer la construcci on de los espectros ahora partiendo del hiperb olico (empezando con 2 c rculos disjuntos). Nota: ver la relaci on con los c rculos de apolonio. 10 de Abril Los espectros, aunque denidos usando la m etrica, son objetos geom etricos intr nsecos independientes de esta m etrica. Est as estructuras nacen directamente de nuestro juego de c rculos. Para evidenciar esta armaci on, generalizaremos la potencia de un c rculo dado a una nueva potencia cuyas simetr as dependen s olamente de relaciones entre c rculos, hablamos del grupo de M obius. Veremos aparecer un Octahedro plat onico como un objeto intr nseco a un arreglo de 3 c rculos ortogonales. La potencia de un punto con respecto a un c rculo es invariante bajo el grupo Euclideano de 3 par ametros. Al ser una expresi on homogenea de grado 2 (i.e. todas las cantidades en la expresi on est an elevadas a la potencia 2), la potencia de un punto A respecto a un c rculo K cambia con una homotecia de acuerdo al cuadrado del coeciente de esta. Es decir, si espandimos el plano desde alg un punto por un factor obtenemos: (A, K ) 2 (A, K ) 9

Es posible cambiar nuestra potencia de modo que esta sea invariante no s olo del grupo euclideano de 4 parametros, sino de todo el grupo 6-param etrico de M obius? Claro que deseamos que la nueva, que denotaremos , est e relacionada con la anterior; esperamos que sea su generalizaci on. En la denici on de la potencia (A, K ) hacemos uso impl cito de la recta que pasa por A y el centro de K , as como de los puntos de intersecci on A y B de esta con K (pues con estos podemos denir todas las distancias de la expresi on de ). Posiblemente tambi en hacemos caso omiso de un punto con un papel no considerado en nuestro c alculo de , pero que se relaciona ntimamente con nuestra conguraci on geom etrica; hablamos de . Este punto es colineal a nuestros 3 puntos iniciales. Podr a ser que para extender nuestra potencia nos jemos s olo en estos 4 puntos y su conguraci on respecto de K , en vez de las distancias denidas a partir de A; al cabo que la noci on de distancia es la limitada en simetr a. Bajo un cambio de coordenadas, es decir una transformaci on de M obius en su interpretaci on pasiva, vemos que esta conguraci on corresponde a 4 puntos sobre un c rculo ortogonal a K , 2 de estos puntos su intersecci on con K , que denotamos A y B , y los otros dos puntos son y cumplen A = B (ahora es este punto B , tom andolo como un punto nito podemos ver el arreglo en una regi on acotada del plano). Esperando preservar la nueva potencia bajo transformaciones de M obius, y olvidandonos de nuestra vieja potencia por un momento, podemos preguntar Conocemos alguna cantidad que podamos asociar a 4 puntos de modo que sea invariante bajo el grupo de M obius? S , la raz on arm onica! S la denimos as esta nueva potencia depende en realidad s olo de A, B y K pues al tomar el c rculo ortogonal que pasa por ellos A y B quedan determinados. Para construir esta circunferencia ortogonal basta encontrar el inverso de A, o de B , respecto de K y dibujar la circunferencia que pasa por los 3. Claro que esta circunferencia es u nica exceptuando cuando A y B son sim etricos respecto de K , en cuyo caso tendr amos todo un espectro el ptico de c rculos ortogonales. Entonces proponemos (A, K, B ) = [A, A , B , B ], siendo una cantidad invariante asociada a A, B y K . Sin embargo este valor a un no est a completamente determinado. Si decidimos jar c omo argumentos de la nueva potencia a los puntos A y B , podemos requerir dejarlos jos en la expresi on pero faltar a determinar el orden de los argumentos intermedios pues estos puntos no tienen un orden denido (y de hecho nos vastar a arreglar esta situaci on). Recordamos que si intercambiamos los argumentos intermedios tenemos que la expresi on de la raz on arm onica cambia de acuerdo a 1 , las otras dos 1 transposiciones b asicas nos dan . Una soluci on es modicar la expresi on para que sea sim etrica respecto a estos argumentos intermedios y que siga siendo invariante bajo M obius. Sencillamente podemos tomar: [A, A , B , B ][A, B , A , B ] = (A, K, B ) Esta es la expresi on que dene a ! Es claramente invariante por transformaciones de M obius. Depende de 2 puntos y una circunferencia. Adem as, devolviendo B a su identidad anterior y reriendo de nuevo a las distancia AO de A al centro y el radio r de K (volviendo al entorno m etrico), llegamos al siguiente c alculo: (AO + r)(AO r) 1 (A B ) (A A ) = = 2 (A, K ) 2 (A B ) (B A ) 4r 4r

(A, K, ) = [A, A , B ][A, B , A , ] =

Y esta es la relaci on entre ambas potencias. Las dos est an relacionadas intr nsecamente y el grupo de simetr as crece de 3 a 6. Inclusive se tiene una invarianza de bajo trasposici on de los puntos, (A, K, B ) = (B, K, A). Estudiando las trenzas que se forman por la composici on de transposiciones elementales para darnos la transposici on que intercambia los argumentos de los extremos, vemos que la 10

raz on arm onica cambia de acuerdo a 1 . Usando esto y el hecho de que la transposici on b asica de los argumentos centrales causa el mismo efecto sobre la raz on arm onica se puede demostrar la armaci on. C omo se ve afectados los espectros bajo el cambio de potencias? S denimos la potenciala jando en (A, K, B ) el punto B = , entonces, igualando as la potencia de un punto respecto a 2 circunferencias, la ecuaci on de la potenciala est a determinada por la ecuaci on en A: (A, K1 , ) = (A, K2 , ) que se reduce a: ( AO1 2 AO2 2 ) =( ) r1 r2 1 1 (A, K1 ) = (A, K2 ) 2 4r1 4r2 2

De donde obtenemos, as como antes hicimos cuando descubrimos la primera ecuaci on de la potenciala, usando aritm etica de complejos la siguiente ecuaci on (donde ahora AO1 denota el producto complejo de los puntos y no su distancia): |A|2 ( 1 1 |O1 |2 |O2 |2 ) + 2 Re ( A ( O O ) + ( + )=0 2 1 r1 2 r2 2 r1 2 r2 2

Se tienen entonces las siguientes observaciones: Si los radios son iguales la potenciala es una recta, mientr as que si no lo son la ecuaci on es cuadr atica en dos variables (la parte real e imaginaria de A) correspondiente a un c rculo. Si tomamos A = x+iy , el primer par entesis de la expresi on igual a a, (O2 O1 ) = b + ic y al u ltimo parentesis lo igualamos a d, entonces la ecuaci on se reescribe como: ax2 + ay 2 + 2bx 2cy + d = 0; a, b, c, d R La potenciala de a dos c rculos es un tercer c rculo (incluyendo ahora las rectas como c rculos). El espectro hip erb olico/el ptico se ve separado en parejas de c rculos sim etricos respecto a la reexi on por la recta potenciala (hay una ambiguedad por que est a es recta es potenciala respecto de para estas parejas y respecto de a todo el conjunto). De modo que podemos retomar el espectro hip erbolico denido a partir de como la familia de parejas de c rculos con una misma recta potenciala respecto de . Podemos recuperar los espectros directamente de debilitando nuestra denici on de potenciala: el conjunto de puntos A para los cuales la potencia respecto de dos c rculos dados mantiene una proporci on constante. En el caso de los c rculos del espectro de (para el que las potencias son iguales) la proporci on de las potencias es exactamente el cuadrado de la raz on de los radios de ambas circunferencias. Analizemos el caso singular cuando la circunferencia ortogonal no es u nica, es decir, cuando A y B son sim etricos respecto de K (IK (A) = B ), desde una conguraci on can onica: A = 0, B = y K centrado en el origen. Calculemos la potencia: (0, K, ) = 1 1 1 (0, K ) = 2 (r2 ) = 4r2 4r 4

Esto nos dice que cuando IK (A) = B se tiene que [A, A , B , B ] = [A, B , A , B ] = 1 en 2 y tambi [B, A , B , A] = [B, B , A , A] = 1 . Decimos que los 4 puntos son arm o nicos cuando su raz o n arm o nica 2 toma este valor. Bajo el resto de permutaciones de argumentos el valor de la raz on arm onica visita otras 11

dos cantidades, d andonos el siguiente conjunto: { 1 e otros valores de exhiben una orbita 2 , 2, 1}. Qu menor que 6? (Recordando que, en base a las permutaciones de los argumentos, un valor general de tiene 6 variantes.) Partiendo del arreglo anterior, donde IK (A) = B y llamando K1 a alguno de los c rculos ortogonales a K que pasa por A y B , construimos un circulo K2 ortogonal a K1 que pase por A y B . Al pasar por dos puntos sim etricos a K tenemos inmediatamente que K2 tambi en es ortogonal a K . Si llamamos A y B a los nuevos puntos de intersecci on entre K y K2 , se tienen las siguientes relaciones: IK (A) = B ; IK1 (A ) = B ; IK2 (A ) = B Vemos 3 Circulos ortogonales, cuyas 6 intersecciones se relacionan por parejas a traves de inversiones sobre ellos. Pero indaguemos un poco m as: Llevando primero uno de estos puntos a 0 y a su inverso a , y luego reescalando el radio del restante c rculo (nito) que no pasa por ellos a 1 (ambos movimientos a trav es de transformaciones de M obius), esta conguraci on se ve bajo nuestra cl asica proyecci on estereogr aca como 3 c rculos ecuatoriales (mutuamente ortogonales) en la esfera unitaria S 2 , con sus 6 puntos de intersecci on ahora dispuestos como v ertices de un octahedro plat onico. En nuestra geometr a c rcular cuatro puntos arm onicos esconden un octahedro plat onico! 17 de Abril Hemos logrado encontrar la forma general, la naturaleza geom etrica, de cualquier transformaci on de M obius tomando una base apropiada para que la matriz asociada tuviera una forma can onica. Nuestro esquema es el del paso entre dos mundos: El mundo complicado de un operador arbitrario y el cambio de base que no lleva al mundo simple de este operador expresado en su forma can onica, una en t erminos de la otra a trav es de la conjugaci on por un operador invertible. En el cielo esto es el paso de una transformaci on de M obius arbitraria a una de las 4 m as sencillas que hemos estudiado a trav es de una conjugaci on por otra transformaci on de M obius. Misma situaci on: una transformaci on se obtiene de otra a trav es de la operaci on de conjugaci on. En el mundo del a lgebra lineal, tenemos los invariantes asociados a operadores similares (como el determinante). En el mundo del cielo, de la esfera de Riemann, del plano complejo extendido, de nuestra geometr a de c rculos; est as relaciones de similaridad se preservan. M as a un, podemos ver todas estas simetr as desde sus constituyentes at omicos: los propios c rculos. Las inversiones circulares generan todas las simetr as. Cu al es el equivalente en nuestro mundo de algebra lineal? La inversi on circular es invariante bajo cambios de mundo (conjugaciones, asociaciones, etc.)? Recordemos que el signicado visual y geom etrico de una conjugaci on corresponde al movimiento del dibujo de uno, por el dibujo de la transformaci on por la que se conjuga. As la conjugaci on de una inversi on circular por una transformaci on de M obius lleva los circulos asociados a esta en nuevos c rculos: La situaci on es que podemos retratar la inversi on por un circulo por la familia de circulos ortogonales a este. La transformaci on de M obius los mueve a todos en c rculos, y a la familia ortogonal en otra familia ortogonal. Entonces la inversi on se transforma en la inversi on por el c rculo imagen de nuestro c rculo original. Simb olicamente, si g es una transformaci on de M obius e IK es la inversi on sobre el c rculo K se tiene: gIK g 1 = Ig(K ) Las inversiones circulares no son transformaciones de M obius, pues cambian la orientaci on. Se trata de un caso particular de las transformaciones que llamamos anti-M obius, transformaciones de la forma: az + b cz + d Son las transformaciones que preservan c rculos e invierten angulos. Qu e equivalente tenemos para levantar estas transformaciones al mundo del algebra lineal como hicimos con las de M obius a trav es de 12

la asociaci on de matrices? Para responder esta pregunta debemos extender nuestra noci on de simetr a lineal. Podemos generalizar el concepto de operador lineal. Recordemos que un operador lineal T es aditivo (T (x + y ) = T (x) + T (y )) y homogeneo (T (x) = T (x)). La condici on de homogeneidad puede ser generalizada d andonos cuenta que se trata de la salida del escalar por la identidad del campo. Que pasar a si sacamos el escalar por alg un otro automorsmo del campo? Los automorsmos del campo son funciones biyectivas del campo en s mismo que preservan sumas y productos, si F es un automorsmo entonces cumple: F ( + ) = F () + F () F () = F (9F () F (1) = 1, F (0) = 0 Entonces nuestra simetr a generalizada T cumplir a las siguiente propiedades, semejantes a las lineales, para alg un automorsmo F asociado a T : T (x + y ) = T (x) + T (y ) T (x) = F ()T (x) Las transformaciones lineales constituyen un caso particular. En nuestro caso, los u nico automorsmos (continuos) del campo C son la identidad y la conjugaci on compleja. A diferencia de los reales cuyo u nico automorsmo (a un no continuo) es la identidad o de los cuaterniones y octoniones, para los que resultan una innidad de automorsmos. Cuando nuestro automorsmo es la conjugaci on compleja llamamos a estas transformaciones antilineales. Demostraremos ahora un teorema: Cualquier transformaci on que preserva c rculos es de M obius o anti-M obius. Supongamos que tenemos una biyecci on T : C C cuya u nica propiedad es mapear c rculos en c rculos. Mediante la acci on de una transformaci on de M obius podemos suponer que T deja jo a : Si es una transformaci on de M obius tal que T () entonces cambiamos T por 1 T . As , T se restringe a una transformaci on del plano complejo que preserva c rculos y rectas (es decir, c rculos por ). A un m as: rectas paralelas se transforman en rectas paralelas (pues estas son rectas que se intersectan s olo en inf ty y T es una biyecci on). As mismo podemos componer T con una traslaci on, de modo que no afectamos sus propiedades sobre rectas y c rculos, que nos permita suponer que T (0) = 0. Como la suma de vectores est a dada en el plano por la construcci on de un paralelogramos, podemos deducir que T es aditiva. 22 de Abril Abandonando brevemente la homogeneidad de las transformaciones lineales, permitiendo simetr as (automorsmos) del campo de escalares distintas de la identidad, extendemos nuestro concepto de simetr a para espacios vectoriales. Nuestro enfoque geom etrico nos invita a considerar, para C, no todos los automorsmos, sino solamente los continuos. Empezamos esta parte deduciendo cuales son estos automorsmos. Dado : C C un automorsmo, se tiene que: i2 = 1 (i)2 = 1 de modo que (i) {1, 1}. Adem as deja jo a todo elemento en Q pues ja a 1 y por aditividad a todos sus multiplos enteros, adem as de sus inversos multiplicativos por la multiplicatividad. Entonces para + i Q + iQ se tiene que: ( + i ) = () + (i)( ) = i . Es decir, un automorsmo ja o conjuga los complejos

13

racionales. Entonces para extender a todo el plano este automorsmo de manera continua tenemos s olo dos posibilidades: (z ) = z o (z ) = z . As conclu mos que el grupo de automorsmos continuos de C es {Id, Conj } Z2 Trabajaremos ahora en un ejemplo de varias ramicaciones interesantes: los cuaterniones H. Un automorsmo de H se restringe a un automorsmo de R, y al ser estos triviales vemos que toda simetr a de H ja necesariamente a R. El centro de H, es decir los cuaterniones que conmutan con todos los otros cuaterniones bajo el producto, es precisamente R. As que estas simetr as est an determinadas u nicamente sobre el complemento ortogonal de R en H, el espacio generado por los vectores i,j y k , que denotamos iR + j R + k R, que llamamos el espacio de los cuaterniones imaginarios, y lo identicamos simplemente con R3 . En este espacio tenemos una ecuaci on interesante que resulta del simple c alculo del producto cuaternionico. Si u y v son cuaterniones imaginarios que a su vez representan vectores estandar en R3 tenemos: uv = (u, v ) + (u v ) La parte real de este producto de cuaterniones imaginarios esta dada por el producto escalar y su parte imaginaria por el producto vectorial de estos como vectores de R3 ! Entonces el grupo de automorsmos de H es el grupo de simetr as de R3 que preservan el producto escalar (que es sim etrico en sus argumentos) y el producto vectorial (antisim etrico). Entonces estamos en el entorno de la geometr a 3-dimensional euclideana orientada, dada precisamente por el grupo SO(3). Ambos productos, escalar y vectorial, son bilineales y profundamente geom etricos. El producto escalar est a est a relacionado con la norma de los vectores y el angulo entre ellos. Mientras el producto vectorial de dos vectores es un vector ortogonal a ambos cuya norma es igual al area del paralelogramo generado por estos. Esta relaci on entre area y producto es m as profunda y su estudio nos remite a la teor a de las algebras de Grassmann. Un algebra de Grassmann es un espacio vectorial con un producto bilineal antisim etrico. Veamos como ejemplo la construcci on de una de estas algebras partiendo de un espacio vectorial 3-dimensional V . Dada una base {e1 , e2 , e3 }, vemos que la antisimetr a del producto, 2 2 2 que denotamos por , implica que e1 = e2 = e3 = 0, de modo que el algebra de Grassmann es 8 dimensional con elementos b asicos {1, e1 , e2 , e3 , e1 e2 , e2 e3 , e3 e1 , e1 e2 e3 }. Entonces tenemos algo maravilloso: si x, y, z V , podemos expresarlos como combinaci on lineal de la base y entonces se tiene x y z = (x, y, z )e1 e2 e3 donde es un n umero real y e1 e2 e3 es llamado el elemento de volumen. En efecto corresponde al volumen del paralelep pedo generado por los tres vectores. C omo cambia el elemento de volumen bajo una transformaci on lineal T de V ? Los c alculos nos dan: T (e1 ) T (e2 ) T (e3 ) = det(T )e1 e2 e3 En general, el algebra de Grassman captura la naturaleza de la supercies (planas). Vale la pena notar que la identidad anterior implica directamente la multiplicatividad del determinante. Regresando sobre nuestra linea de pensamiento inicial. Hemos visto que al preservar en R3 angulos y 2 m etrica, concluimos que Aut(H ) = SO(3). En t erminos de cuaterniones la esfera unitaria S es el conjunto de soluciones de la ecuaci on 2 = 1, de modo que los automorsmos de H la preservan: este es otro camino de llegar a la misma conclusi on, pues el resto de R3 son m ultiplos reales de los vectores de S2 .

14