Las funciones racionales de j son modulares y, de hecho, dan todas las funciones modulares de peso 0. Clásicamente, el j -invariante se estudió como una parametrización de curvas elípticas sobre , pero también tiene conexiones sorprendentes con las simetrías del grupo Monster (esta conexión se conoce como monstruosa luz de luna ).
Definición
El j -invariante se puede definir como una función en el semiplano superior H = { τ ∈ C , Im ( τ ) > 0},
con la tercera definición implicando que puede expresarse como un cubo , también desde 1728 .
En general, esto puede motivarse al considerar cada τ como representante de una clase de isomorfismo de curvas elípticas. Cada curva elíptica E sobre C es un toro complejo y, por lo tanto, puede identificarse con una red de rango 2; es decir, una red bidimensional de C . Esta red se puede rotar y escalar (operaciones que preservan la clase de isomorfismo), de modo que se genere mediante 1 y τ ∈ H . Esta red corresponde a la curva elíptica (consulte Funciones elípticas de Weierstrass ).
Obsérvese que j se define en todas partes en H, ya que el discriminante modular no es cero. Esto se debe a que el polinomio cúbico correspondiente tiene raíces distintas.
La región fundamental
Se puede demostrar que Δ es una forma modular de peso doce, y g 2 una de peso cuatro, de modo que su tercera potencia también es de peso doce. Por lo tanto, su cociente, y por lo tanto j , es una función modular de peso cero, en particular una función holomorfa H → C invariante bajo la acción de SL(2, Z ) . Al cocientear por su centro { ±I } se obtiene el grupo modular , que podemos identificar con el grupo lineal especial proyectivo PSL(2, Z ) .
Mediante una adecuada elección de la transformación perteneciente a este grupo,
podemos reducir τ a un valor que dé el mismo valor para j , y que se encuentre en la región fundamental para j , que consiste en valores para τ que satisfacen las condiciones
La función j ( τ ) cuando se restringe a esta región aún toma cada valor en los números complejos C exactamente una vez. En otras palabras, para cada c en C , hay un τ único en la región fundamental tal que c = j ( τ ) . Por lo tanto, j tiene la propiedad de mapear la región fundamental a todo el plano complejo.
Además, dos valores τ,τ' ∈ H producen la misma curva elíptica si y solo si τ = T(τ') para algún T ∈ PSL(2, Z ) . Esto significa que j proporciona una biyección del conjunto de curvas elípticas sobre C al plano complejo. [2]
Como superficie de Riemann , la región fundamental tiene género 0 y toda función modular ( de nivel uno ) es una función racional en j ; y, a la inversa, toda función racional en j es una función modular. En otras palabras, el campo de funciones modulares es C ( j ) .
Teoría de campos de clases yyo
El j -invariante tiene muchas propiedades notables:
Si τ es cualquier punto del semiplano superior cuya curva elíptica correspondiente tiene multiplicación compleja (es decir, si τ es cualquier elemento de un campo cuadrático imaginario con parte imaginaria positiva, de modo que j está definido), entonces j ( τ ) es un entero algebraico . [3] Estos valores especiales se denominan módulos singulares .
La extensión de campo Q [ j ( τ ), τ ]/ Q ( τ ) es abeliana, es decir, tiene un grupo de Galois abeliano .
Sea Λ la red en C generada por {1, τ }. Es fácil ver que todos los elementos de Q ( τ ) que fijan Λ bajo multiplicación forman un anillo con unidades, llamado orden . Las otras redes con generadores {1, τ ′ }, asociadas de manera similar al mismo orden, definen los conjugados algebraicos j ( τ ′ ) de j ( τ ) sobre Q ( τ ) . Ordenado por inclusión, el único orden máximo en Q ( τ ) es el anillo de enteros algebraicos de Q ( τ ) , y los valores de τ que lo tienen como su orden asociado conducen a extensiones no ramificadas de Q ( τ ) .
Estos resultados clásicos son el punto de partida de la teoría de la multiplicación compleja.
Propiedades de trascendencia
En 1937, Theodor Schneider demostró el resultado antes mencionado de que si τ es un número irracional cuadrático en el semiplano superior, entonces j ( τ ) es un entero algebraico. Además, demostró que si τ es un número algebraico pero no cuadrático imaginario, entonces j ( τ ) es trascendental.
La función j tiene otras numerosas propiedades trascendentales. Kurt Mahler conjeturó un resultado de trascendencia particular que a menudo se conoce como la conjetura de Mahler, aunque fue demostrada como corolario de resultados por Yu. V. Nesterenko y Patrice Phillipon en la década de 1990. La conjetura de Mahler (ahora demostrada) es que, si τ está en el semiplano superior, entonces e 2π iτ y j ( τ ) nunca son ambos simultáneamente algebraicos. Ahora se conocen resultados más sólidos, por ejemplo, si e 2π iτ es algebraico, entonces los siguientes tres números son algebraicamente independientes y, por lo tanto, al menos dos de ellos son trascendentales:
Más notable aún es que los coeficientes de Fourier para los exponentes positivos de q son las dimensiones de la parte graduada de una representación de álgebra graduada de dimensión infinita del grupo monstruo llamado módulo de luz de luna – específicamente, el coeficiente de q n es la dimensión de la parte de grado n del módulo de luz de luna, siendo el primer ejemplo el álgebra de Griess , que tiene dimensión 196.884, correspondiente al término 196884 q . Esta sorprendente observación, hecha por primera vez por John McKay , fue el punto de partida de la teoría de la luz de luna .
El estudio de la conjetura de Moonshine llevó a John Horton Conway y Simon P. Norton a estudiar las funciones modulares de género cero. Si se normalizan para que tengan la forma
Luego, John G. Thompson demostró que sólo hay un número finito de tales funciones (de algún nivel finito), y Chris J. Cummins demostró más tarde que hay exactamente 6486 de ellas, 616 de las cuales tienen coeficientes integrales. [6]
una relación de funciones theta de Jacobi θ m , y es el cuadrado del módulo elíptico k ( τ ) . [7] El valor de j no cambia cuando λ se reemplaza por cualquiera de los seis valores de la relación cruzada : [8]
Los puntos de ramificación de j están en {0, 1, ∞} , por lo que j es una función de Belyi . [9]
Hasta ahora hemos considerado j como una función de una variable compleja. Sin embargo, como invariante para clases de isomorfismo de curvas elípticas, se puede definir de forma puramente algebraica. [10] Sea
sea una curva elíptica plana sobre cualquier campo . Luego podemos realizar transformaciones sucesivas para obtener la ecuación anterior en la forma estándar y 2 = 4 x 3 − g 2 x − g 3 (nótese que esta transformación solo se puede realizar cuando la característica del campo no es igual a 2 o 3). Los coeficientes resultantes son:
donde g 2 = c 4 y g 3 = c 6 . También tenemos el discriminante
El j -invariante para la curva elíptica ahora puede definirse como
En el caso de que el campo sobre el cual se define la curva tenga característica distinta de 2 ó 3, ésta es igual a
Función inversa
La función inversa del j -invariante se puede expresar en términos de la función hipergeométrica 2 F 1 (véase también el artículo Ecuación de Picard–Fuchs ). Explícitamente, dado un número N , para resolver la ecuación j ( τ ) = N para τ se puede hacer de al menos cuatro maneras.
Una raíz da τ y la otra da − 1/τ , pero como j ( τ ) = j (− 1/τ ) , no importa qué α se elija. Los últimos tres métodos se pueden encontrar en la teoría de funciones elípticas de Ramanujan para bases alternativas.
La inversión se aplica en cálculos de alta precisión de períodos de funciones elípticas incluso cuando sus proporciones se vuelven ilimitadas. [ cita requerida ] Un resultado relacionado es la expresibilidad a través de radicales cuadráticos de los valores de j en los puntos del eje imaginario cuyas magnitudes son potencias de 2 (lo que permite construcciones con regla y compás ). El último resultado es apenas evidente ya que la ecuación modular para j de orden 2 es cúbica. [11]
No se pueden clasificar las curvas elípticas en otros campos
El invariante α sólo es sensible a clases de isomorfismo de curvas elípticas sobre los números complejos, o más generalmente, un cuerpo algebraicamente cerrado . Sobre otros cuerpos existen ejemplos de curvas elípticas cuyo invariante α es el mismo, pero no son isomorfas. Por ejemplo, sean las curvas elípticas asociadas a los polinomios
Ambos tienen invariancia . Entonces, los puntos racionales de se pueden calcular como:
ya que no hay soluciones racionales con . Esto se puede demostrar utilizando la fórmula de Cardano para demostrar que en ese caso las soluciones de son todas irracionales. Por otro lado, en el conjunto de puntos
La ecuación para se convierte en . Dividiendo por para eliminar la solución, la fórmula cuadrática da las soluciones racionales:
Si se consideran estas curvas sobre , hay un isomorfismo que envía
Referencias
Notas
^ La igualdad se cumple si la media aritmético-geométrica de números complejos (tales que ) se define de la siguiente manera: Sea , , , donde los signos se eligen de manera que para todo . Si , el signo se elige de manera que . Entonces . Cuando son reales positivos (con ), esta definición coincide con la definición habitual de la media aritmético-geométrica para números reales positivos. Véase La media aritmético-geométrica de Gauss de David A. Cox .
Otro
^ Milne, Steven C. (2000). "Determinantes de Hankel de la serie de Eisenstein". arXiv : math/0009130v3 .El artículo utiliza una definición no equivalente de , pero esto se ha tenido en cuenta en este artículo.
^ Gareth A. Jones y David Singerman. (1987) Funciones complejas: un punto de vista algebraico y geométrico. Cambridge UP. [1]
^ Petersson, Hans (1932). "Über die Entwicklungskoeffizienten der automorphen Formen". Acta Matemática . 58 (1): 169–215. doi : 10.1007/BF02547776 . SEÑOR 1555346.
^ Rademacher, Hans (1938). "Los coeficientes de Fourier del invariante modular j(τ)". American Journal of Mathematics . 60 (2): 501–512. doi :10.2307/2371313. JSTOR 2371313. MR 1507331.
^ Cummins, Chris J. (2004). "Subgrupos de congruencia de grupos conmensurables con PSL(2,Z)$ de género 0 y 1". Matemáticas experimentales . 13 (3): 361–382. doi :10.1080/10586458.2004.10504547. ISSN 1058-6458. S2CID 10319627. Zbl 1099.11022.
^ Girondo, Ernesto; González-Diez, Gabino (2012), Introducción a las superficies compactas de Riemann y diseños de niños , London Mathematical Society Student Texts, vol. 79, Cambridge: Cambridge University Press , pág. 267, ISBN978-0-521-74022-7, Zbl1253.30001
^ Lang, Serge (1987). Funciones elípticas . Textos de posgrado en matemáticas. Vol. 112. Nueva York, etc.: Springer-Verlag. Págs. 299-300. ISBN.978-1-4612-9142-8.Zbl 0615.14018 .
^ Borwein, Jonathan M.; Borwein, Peter B. (1987). Pi y el AGM: un estudio sobre teoría analítica de números y complejidad computacional (Primera edición). Wiley-Interscience. ISBN0-471-83138-7.Teorema 4.8
Apostol, Tom M. (1976), Funciones modulares y series de Dirichlet en la teoría de números , Textos de posgrado en matemáticas, vol. 41, Nueva York: Springer-Verlag, MR 0422157Proporciona una introducción muy legible y varias identidades interesantes.
Apostol, Tom M. (1990), Funciones modulares y series de Dirichlet en teoría de números , Textos de posgrado en matemáticas, vol. 41 (2.ª ed.), doi :10.1007/978-1-4612-0999-7, ISBN 978-0-387-97127-8, Sr. 1027834
Berndt, Bruce C. ; Chan, Heng Huat (1999), "Ramanujan y el j-invariante modular", Canadian Mathematical Bulletin , 42 (4): 427–440, doi : 10.4153/CMB-1999-050-1 , MR 1727340Proporciona una variedad de identidades algebraicas interesantes, incluida la inversa como serie hipergeométrica.
Cox, David A. (1989), Primos de la forma x^2 + ny^2: Fermat, teoría de campos de clases y multiplicación compleja , Nueva York: Wiley-Interscience Publication, John Wiley & Sons Inc., MR 1028322Introduce el j-invariante y analiza la teoría de campos de clases relacionada.
Conway, John Horton ; Norton, Simon (1979), "Luz de luna monstruosa", Boletín de la Sociedad Matemática de Londres , 11 (3): 308–339, doi :10.1112/blms/11.3.308, MR 0554399Incluye una lista de las 175 funciones modulares de género cero.
Rankin, Robert A. (1977), Formas y funciones modulares , Cambridge: Cambridge University Press, ISBN 978-0-521-21212-0, Sr. 0498390Proporciona una breve revisión en el contexto de las formas modulares.
Schneider, Theodor (1937), "Arithmetische Untersuchungen elliptischer Integrale", Math. Annalen , 113 : 1–13, doi : 10.1007/BF01571618, SEÑOR 1513075, S2CID 121073687.