por Andrés Sambarino
El plan ahora es contar otro tipo de construcción aritmética que da lugar a subgrupos de co-volumen finito de para (es decir, modulo torsion, variedades de volumen finito modeladas en ) y sobre el final vamos a enunciar la formula para calcular el co-volumen de en términos de las cuestiones aritméticas que aparecen en su construcción.
La construcción empieza por elegir un cuerpo que sea una extension finita de Si el numero de morfismos de en se escribe como donde son aquellos que caen (y el es para no contar uno y su conjugado), entonces vamos a explicar la idea de como construir un subgrupo de co-volumen finito de para Así, el cuerpo da lugar a 3-variedades hiperbólicas de volumen finito, el cuerpo da lugar a superficies hiperbólicas de area finita y el cuerpo da lugar a variedades de volumen finito modeladas en que no son un producto.
Esta historia nace en el paper de Borel, lo que vamos a contar acá se encuentra en el libro de Maclachlan-Ried.
El asunto viene con las álgebras de cuaterniones: si es un cuerpo y definimos el álgebra de cuaterniones sobre como el espacio vectorial sobre generado por con las relaciones de producto
A se le llama el símbolo de Hilbert del álgebra.
Observar que y que e juegan roles similares en la definición, así que en realidad las álgebras de cuaterniones y son todas isomorfas.
El ejemplo básico de un álgebra de cuaterniones sobre es el álgebra
Considerando las matrices
se ve que y ademas y es decir es el álgebra de cuaterniones que es lo mismo que
Observación. Sean entonces las álgebras de cuaterniones y son isomorfas.
La observación se prueba cambiando por y por Lo interesante acá es que el álgebra depende de si y tienen raíces cuadradas en Esto tiene la siguiente consecuencia interesante: como en todo numero es un cuadrado, tenemos que si entonces es isomorfa a que, como vimos recién, es Es decir, hay solo un álgebra de cuaterniones sobre y es el álgebra de las matrices
Sobre estan además los bien conocidos cuaterniones de Hamilton La observación implica que, modulo isomorfismos, y son las únicas álgebras de cuaterniones sobre Sobre otros cuerpos aparecen mas álgebras no necesariamente isomorfas, por ejemplo, (en algun post eventual mostraremos que) las álgebras con primo no son isomorfas entre si. Se tiene igual la siguiente dicotomía:
Teorema. Un álgebra de cuaterniones sobre es con división (i.e. todo elemento no nulo tiene un inverso) o isomorfa a
La prueba del teorema viene por considerar una norma natural en Si se escribe como entonces el conjugado de es y la norma de es Observar que así
es un grupo multiplicativo.
Cuando uno ve esto siempre piensa en y parece todo trivial, sin embargo, para el álgebra y se tiene que
por lo tanto,
Volviendo al caso general, si y entonces necesariamente es invertible en y su inverso es Así, el verdadero Teorema 1 es:
Teorema. Sea un álgebra de cuaterniones, si para algún entonces es isomorfa a Mas aun, para algún si y solo si la ecuación tiene solución en
Si es una extension de y es el álgebra entonces podemos considerar a como -espacio vectorial (esto en gral se denota como ) y obtenemos el álgebra de cuaterniones Un álgebra con division puede convertirse así en un álgebra de matrices, por ejemplo si Decimos entonces que escinde en si de lo contrario, (es decir si es con división) decimos que ramifica en
Sea entonces una extensión finita de y el conjunto de morfismos de (densos) en y respectivamente. Decimos entonces que el álgebra ramifica en si ramifica en Dado que hay solo dos álgebras de cuaterniones sobre es relativamente facil decidir si ramifica en : es equivalente a que y sean negativos. Sea el conjunto de morfismos de a donde ramifica.
Si y denotamos como el elemento correspondiente a en el álgebra (si ) o en si Consideramos entonces el mapa
dado por Obervar que via este mapa, cae en
Sea el anillo de enteros de es decir, aquellos elementos de que son soluciones de polinomios mónicos con coeficientes en Un orden en un álgebra de cuaterniones sobre es un -submodulo de que genera como -espacio vectorial, que ademas es un anillo con unidad. En otras palabras, un orden es un ‘-lattice’ de que es cerrado por multiplicación y tiene el 1.
Por ejemplo, si es el álgebra con entonces el -modulo generado por es un orden en
Si es un orden en entonces es un subgrupo de
necesariamente discreto. Como además es compacto, se tiene que la proyeccion de en las coordenadas tambien es discreto, llamamos a esta proyección. Se tiene el siguiente teorema de Borel.
Teorema.(Borel) Sea un orden en un álgebra de cuaterniones sobre Entonces es un subgrupo discreto y de co-volumen finito en
Si es con división, entonces es co-compacto. La proyección de en cualquier subconjunto de coordenadas es densa.
La prueba de este teorema es parecida a lo que esta en el post este. Sin embargo, la ventaja de esta construcción es que se puede calcular el volumen del cociente!
Vamos a centrarnos en superficies hiperbólicas. Para caer en esta situación hay que elegir un cuerpo totalmente real i.e. un cuerpo con y un álgebra de cuaterniones sobre que ramifica en todos los elementos de salvo 1, es decir
Simplemente vamos a enunciar la formula del volumen y explicar los objetos involucrados porque la capocha no me da pa mas…
Teorema.(Borel) Sean y como en el párrafo anterior y un orden maximal de entonces
Explicamos uno por uno cada objeto que aparece en la formula. Sea una extension finita de y su anillo de enteros. Recordar que dimensión de como -espacio vectorial.
El discriminante de : El cuerpo se puede escribir siempre como una extension simple de es decir para algún entero algebraico Si es el polinomio mónico irreducible que anula entonces (el discriminante de ) se define como el cuadrado del discriminante de (como esta definido acá, ahí le llamé resultante a lo que ahora le llamo discriminante…). Como se tiene que y como es irreducible, se tiene ademas que
La función : Resulta que si es un ideal de entonces el cociente es necesariamente finito, de cardinal La función zeta de Dedekind se define, para con como
Si es un subgrupo discreto de isometrias de de co-area finita, entonces es un múltiplo racional de (no olvidarse que puede tener torsion), asi, sacando de la formula de volumen todo lo que es obviamente racional (el termino que no definimos todavia es entero), se obtiene el siguiente teorema de Siegel:
Teorema.(Siegel) Sea totalmente real, entonces
es racional.
Comparar con y
El discriminante de un álgebra de cuaterniones : Resulta que hay varios cuerpos completos donde se inyecta como un subcuerpo denso. Los ejemplos obvios son o los otros ‘lugares’ de dependen de la elección de un ideal primo de estos son los llamados cuerpos -ádicos. Llamemosle a la completación -ádica de Resulta que los ideales primos tal que ramifica es un conjunto finito (esto es un teorema). El producto de estos ideales
es, por definición, el discriminante de
Me parece interesante remarcar de este último punto, el hecho que si bien es real y estamos calculando el area de una superficie hiperbólica, la fórmula depende de todas las posibles completaciones de