Debido a estas ecuaciones funcionales, la función eta es una forma modular de peso.1/2y el nivel 1 para un determinado carácter de orden 24 de la doble cubierta metapléctica del grupo modular, y puede usarse para definir otras formas modulares. En particular, el discriminante modular de Weierstrass se puede definir como
y es una forma modular de peso 12. Algunos autores omiten el factor de (2 π ) 12 , de modo que la expansión en serie tiene coeficientes integrales.
Debido a que la función eta es fácil de calcular numéricamente a partir de cualquiera de las series de potencias , a menudo resulta útil en el cálculo expresar otras funciones en términos de ella cuando sea posible, y los productos y cocientes de funciones eta, llamados cocientes eta, se pueden utilizar para expresar una gran cantidad de funciones. Variedad de formas modulares.
La imagen de esta página muestra el módulo de la función de Euler: el factor adicional de q1/24entre esto y eta casi no hay diferencia visual alguna. Por lo tanto, esta imagen se puede tomar como una imagen de eta en función de q .
Identidades combinatorias
La teoría de los caracteres algebraicos de las álgebras de Lie afines da lugar a una gran clase de identidades previamente desconocidas para la función eta. Estas identidades se derivan de la fórmula de caracteres de Weyl-Kac y, más concretamente, de las denominadas "identidades denominadoras". Los propios personajes permiten la construcción de generalizaciones de la función theta de Jacobi que se transforman bajo el grupo modular ; esto es lo que conduce a las identidades. Un ejemplo de una de esas nuevas identidades [3] es
De la conexión anterior con la función de Euler junto con los valores especiales de esta última, se puede deducir fácilmente que
cocientes eta
Los cocientes eta están definidos por cocientes de la forma
donde d es un número entero no negativo y r d es cualquier número entero. Las combinaciones lineales de cocientes eta en argumentos cuadráticos imaginarios pueden ser algebraicas , mientras que las combinaciones de cocientes eta pueden incluso ser integrales . Por ejemplo, defina,
Los cocientes eta también pueden ser una herramienta útil para describir bases de formas modulares , que son notoriamente difíciles de calcular y expresar directamente. En 1993, Basil Gordon y Kim Hughes demostraron que si un cociente eta η g de la forma dada anteriormente, es decir, satisface
Este resultado se amplió en 2019 de modo que lo contrario se cumple para los casos en los que N es coprimo a 6, y queda abierto que el teorema original es definido para todos los números enteros N. [5] Esto también se extiende para afirmar que cualquier cociente eta modular para cualquier subgrupo de congruencia de nivel n también debe ser una forma modular para el grupo Γ( N ) . Si bien estos teoremas caracterizan los cocientes eta modulares , la condición de holomorfidad debe verificarse por separado utilizando un teorema que surgió del trabajo de Gérard Ligozat [6] e Yves Martin: [7]
Si η g es un cociente eta que satisface las condiciones anteriores para el número entero N y c y d son números enteros coprimos, entonces el orden de desaparición en la cúspideC/drelativo a Γ 0 ( N ) es
Estos teoremas proporcionan un medio eficaz para crear cocientes eta modulares holomórficos; sin embargo, esto puede no ser suficiente para construir una base para un espacio vectorial de formas modulares y formas de cúspide . Un teorema útil para limitar el número de cocientes eta modulares a considerar establece que un cociente eta modular k de peso holomórfico en Γ 0 ( N ) debe satisfacer
donde ord p ( N ) denota el entero más grande m tal que p m divide a N . [8]
Estos resultados conducen a varias caracterizaciones de espacios de formas modulares que pueden abarcarse mediante cocientes eta modulares. [8] Utilizando la estructura de anillo graduado en el anillo de formas modulares, podemos calcular bases de espacios vectoriales de formas modulares compuestas de combinaciones lineales de eta-cocientes. Por ejemplo, si asumimos que N = pq es un semiprimo , entonces se puede utilizar el siguiente proceso para calcular una base de cociente eta de M k (Γ ( N )) . [5]
Fije un semiprimo N = pq que sea coprimo con 6 (es decir, p , q > 3 ). Sabemos que cualquier cociente eta modular se puede encontrar utilizando los teoremas anteriores, por lo tanto, es razonable calcularlos algorítmicamente.
Calcule la dimensión D de M k (Γ 0 ( N )) . Esto nos dice cuántos cocientes eta modulares linealmente independientes necesitaremos calcular para formar una base.
Reducir el número de cocientes eta a considerar. Para semiprimos podemos reducir el número de particiones usando el límite
y al notar que la suma de las órdenes de desaparición en las cúspides de Γ 0 ( N ) debe ser igual
. [5]
Encuentre todas las particiones de S en 4 tuplas (hay 4 cúspides de Γ 0 ( N ) ), y entre ellas considere solo las particiones que satisfacen las condiciones de Gordon y Hughes (podemos convertir órdenes de desaparición en exponentes). Cada una de estas particiones corresponde a un cociente eta único.
Determine el número mínimo de términos en la expansión q de cada cociente eta necesarios para identificar elementos de forma única (esto utiliza un resultado conocido como límite de Sturm). Luego use álgebra lineal para determinar un conjunto independiente máximo entre estos cocientes eta.
Suponiendo que aún no hemos encontrado D cocientes eta linealmente independientes, encuentre un espacio vectorial apropiado M k ′ (Γ 0 ( N )) tal que k ′ y M k ′ (Γ 0 ( N )) esté abarcado por ( débilmente holomórfico ) cocientes eta, [8] y M k ′ − k (Γ 0 ( N )) contiene un cociente eta η g .
Tome una forma modular f con peso k que no esté en el lapso de nuestros cocientes eta calculados, y calcule f η g como una combinación lineal de cocientes eta en M k ′ (Γ 0 ( N )) y luego divida por η gramo . El resultado será una expresión de f como una combinación lineal de cocientes eta según se desee. Repita esto hasta que se forme una base.
Una colección de más de 6300 identidades de productos para la función Dedekind Eta en una forma canónica y estandarizada está disponible en la máquina Wayback [9] del sitio web de Michael Somos.
^ Siegel, CL (1954). "Una prueba simple de η (−1/ τ ) = η ( τ ) √ τ / i ". Matemática . 1 : 4. doi : 10.1112/S0025579300000462.
^ Bump, Daniel (1998), Formas y representaciones automórficas , Cambridge University Press, ISBN0-521-55098-X
^ Fuchs, Jurgen (1992), Álgebras de mentiras afines y grupos cuánticos , Cambridge University Press, ISBN0-521-48412-X
^ Gordon, albahaca; Hughes, Kim (1993). "Propiedades multiplicativas de η -productos. II.". Un tributo a Emil Grosswald: teoría de números y análisis relacionados . Matemáticas Contemporáneas. vol. 143. Providence, RI: Sociedad Matemática Estadounidense. pag. 415–430.
^ abc Allen, Michael; Anderson, Nicolás; Hamakiotes, Asimina; Oltsik, Ben; Swisher, Holly (2020). "Eta-cocientes de nivel primo o semiprimo y curvas elípticas". Involucrar . 13 (5): 879–900. arXiv : 1901.10511 . doi : 10.2140/involve.2020.13.879. S2CID 119620241.
^ Ligozat, G. (1974). Courbes modulares de género 1 . Publicaciones Mathématiques d'Orsay. vol. 75. UER Mathématique, Universidad París XI, Orsay. pag. 7411.
^ abc Rouse, Jeremy; Webb, John J. (2015). "Sobre espacios de formas modulares abarcadas por eta-cocientes". Avances en Matemáticas . 272 : 200–224. arXiv : 1311.1460 . doi : 10.1016/j.aim.2014.12.002 .
^ "Identidades de productos de función Dedekind Eta por Michael Somos". Archivado desde el original el 9 de julio de 2019.
Otras lecturas
Apóstol, 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.). Springer-Verlag. cap. 3.ISBN _ 3-540-97127-0.
Koblitz, Neal (1993). Introducción a las curvas elípticas y las formas modulares . Textos de Posgrado en Matemáticas. vol. 97 (2ª ed.). Springer-Verlag. ISBN 3-540-97966-2.