Forma modular simulada

From Wikipedia, the free encyclopedia

En matemáticas, una forma modular simulada es la parte holomórfica de una forma de Maass débil armónica, y una función theta simulada es esencialmente una forma modular simulada de peso 1/2. Srinivasa Ramanujan describió los primeros ejemplos de funciones theta simuladas en su última carta de 1920 a G. H. Hardy y en su cuaderno perdido.(Zwegers, 2001) Sander Zwegers descubrió que agregarles ciertas funciones no holomorfas las convierte en formas armónicas débiles de Maass.

"Supóngase que hay una función en forma euleriana, y supóngase que todos o una infinidad de puntos son singularidades exponenciales, y también supóngase que en estos puntos la forma asintótica se cierra tan claramente como en los casos de (A) y (B). La pregunta es: ¿Se toma la función suma de dos funciones, una de las cuales es una función ordinaria θ y la otra una función (trivial) que es O (1) en todos los puntos e2mπi/n? ... Cuando no es así, llamo a la función una función θ simulada"
La definición original de Ramanujan de una función theta simulada, de (Ramanujan, 2000, Appendix II)

La carta de Ramanujan del 12 de enero de 1920 a Hardy, reimpresa en (Ramanujan, 2000, Appendix II), enumeraba 17 ejemplos de funciones que llamó funciones simuladas de theta, y su cuaderno perdido (Ramanujan, 1988) contenía varios ejemplos más. (Ramanujan usó el término "función theta" para lo que hoy se llamaría una forma modular). El propio Ramanujan señaló que tienen una serie asintótica en las cúspides, similar a la de las formas modulares de peso 1/2, posiblemente con polos en las cúspides, pero no puede expresarse en términos de una función theta "ordinaria". Llamó a funciones con propiedades similares "simulacros de funciones theta". Más tarde, Zwegers descubrió la conexión de la función theta simulada con las formas de Maass débiles.

Ramanujan asoció un orden a sus funciones theta simuladas, que no estaban claramente definidas. Antes del trabajo de Zwegers, las órdenes de las funciones theta simuladas conocidas incluían

3, 5, 6, 7, 8, 10.

La noción de orden de Ramanujan más tarde resultó corresponder al conductor de la forma modular de peso 12 de las formas armónicas de Maass que admiten las funciones simuladas theta de Ramanujan como sus proyecciones holomorfas.

En las siguientes décadas, Watson, Andrews, Selberg, Hickerson, Choi, McIntosh y otros estudiaron las funciones simuladas theta de Ramanujan. Probaron las declaraciones de Ramanujan sobre ellas y encontraron varios ejemplos e identidades más. La mayoría de las "nuevas" identidades y ejemplos ya eran conocidos por Ramanujan, y reaparecieron en su cuaderno perdido.Watson (1936) descubrió que bajo la acción de elementos del grupo modular, el orden 3 de funciones theta simuladas casi se transforma en formas modulares de peso 1/2 (multiplicado por las potencias adecuadas de q), excepto porque hay "términos de error" en las ecuaciones funcionales, generalmente dados como integrales explícitas. Sin embargo, durante muchos años no hubo una buena definición de una función theta simulada. Esto cambió en 2001, cuando Zwegers descubrió su relación con las formas modulares no holomórficas, sumas de Lerch y series theta indefinidas.Zwegers (2002) demostró, utilizando el trabajo previo de Watson y Andrews, que las funciones theta simuladas de los órdenes 3, 5 y 7 pueden escribirse como la suma de una forma débil de Maass de peso 12 y una función que está limitada en geodésicas que terminan en cúspides. La forma débil de Maass tiene un autovalor 3/16 bajo la laplaciana hiperbólica (el mismo valor que las formas modulares holomorfas de peso 12); pero que sin embargo, aumenta exponencialmente rápido cerca de las cúspides, por lo que no satisface la condición de crecimiento habitual para la forma de onda de Maass. Zwegers demostró este resultado de tres maneras diferentes, relacionando las funciones theta simuladas con las funciones theta de Hecke de retículas indefinidas de dimensión 2, y con las sumas de Appell-Lerch, y con las formas meromórficas de Jacobi.

El resultado fundamental de Zwegers demuestra que las funciones simuladas de theta son las "partes holomórficas" de las formas analíticas modulares reales de peso 1/2. Esto permite ampliar muchos resultados sobre formas modulares de las funciones theta simuladas. En particular, al igual que las formas modulares, las funciones simuladas de theta se encuentran en ciertos espacios explícitos de dimensiones finitas, lo que reduce las pruebas largas y duras de muchas identidades entre ellas al álgebra lineal rutinaria. Por primera vez se hizo posible producir un número infinito de ejemplos de funciones theta simuladas. Antes de este trabajo, solo se conocían unos 50 ejemplos (la mayoría de los cuales fueron encontrados por primera vez por Ramanujan). Como otras aplicaciones de las ideas de Zwegers, Kathrin Bringmann y Ken Ono demostraron que ciertas series q que surgen de la serie hipergeométrica básica de Rogers–Fine están relacionadas con partes holomórficas de la forma armónica de Maas débil de peso 3/2 (Bringmann, Folsom y Ono, 2009) y demostró que la serie asintótica para coeficientes de la función theta simulada de orden 3 f(q) estudiada por (Andrews, 1966) y Dragonette (1952) converge a los coeficientes (Bringmann y Ono, 2006). En particular, las funciones theta simuladas poseen expansiones asintóticas en las cúspides del grupo modular, actuando sobre el semiplano superior, que se parecen a las de forma modular de peso 1/2 con polos en las cúspides.

Definición

Una forma modular simulada se definirá como la "parte holomórfica" de una forma armónica de Maass débil.

Tómese un peso k, generalmente con 2k entero. Elíjase un subgrupo Γ de SL2(Z) (o del grupo metapléctico si k es semi-entero) y un caracter ρ de Γ. Una forma modular f para este caracter y este grupo Γ se transforma bajo elementos de Γ por

Una forma débil de Maass de peso k es una función continua en el semiplano superior que se transforma como una forma modular de peso 2 & minus; k y es una función propia del operador laplaciano de peso k, y se llama armónico si su valor propio es (1  k/2)k/2 (Bruinier y Funke, 2004). Este es el valor propio de las formas modulares de peso k holomórficas, por lo que todos estos son ejemplos de formas de Maass armónicas débiles. Una forma de Maass es una forma de Maass débil que disminuye rápidamente en las cúspides.

Entonces, una forma de Maass débil armónica es anulada por el operador diferencial

Si F es cualquier forma de Maass débil armónica, entonces la función g dada por

es holomorfa y se transforma como una forma modular de peso k, aunque puede no ser holomorfa en las cúspides. Si se puede encontrar cualquier otra función g* con la misma imagen g, entonces F  g* será holomorfa. Dicha función se da invirtiendo el operador diferencial por integración; por ejemplo se puede definir

donde

es esencialmente la función gamma incompleta.

La integral converge siempre que g tiene un cero en la cúspide i, y la función gamma incompleta se puede extender por continuación analítica, por lo que esta fórmula se puede utilizar para definir la parte holomórfica g* de F incluso en el caso de que g sea meromórfica en i∞, aunque esto requiere cierto cuidado si k es 1 o no entero, o si n = 0. El inverso del operador diferencial está lejos de ser único, ya que se puede agregar cualquier función homomórfica a g* sin afectar a su imagen, y como resultado la función g* no necesita ser invariante bajo el grupo Γ. La función h = F  g* se llama parte holomórfica de F.

Una forma modular simulada se define como la parte holomórfica h de alguna forma armónica débil de Maass F. Entonces, existe un isomorfismo desde el espacio de formas modulares simuladas h hacia el subespacio de las formas armónicas débiles de Maass.

La forma modular simulada h es holomorfa pero no del todo modular, mientras que h + g* es modular pero no del todo holomorfa. El espacio de formas modulares simuladas de peso k contiene el espacio de formas casi modulares ("formas modulares que pueden ser meromórficas en las cúspides") de peso k como un subespacio. El cociente es (antilinealmente) isomorfo al espacio de formas modulares holomorfas de peso 2  k. La forma modular de peso (2  k) g correspondiente a una forma modular simulada h se llama sombra. Es bastante común que diferentes funciones theta simuladas tengan la misma sombra. Por ejemplo, las 10 funciones theta simuladas de orden 5 encontradas por Ramanujan se dividen en dos grupos de 5, donde todas las funciones en cada grupo tienen la misma sombra (considerando la multiplicación por una constante).Zagier (2007) define una función theta simulada como una potencia racional de q = eiτ multiplicada por una forma modular simulada de peso 1/2 cuya sombra es una serie theta de la forma

para una κ racional positiva y una función periódica impar ε. Cualquiera de estas series theta es una forma modular de peso 3/2. La potencia racional de q se puede considerar un accidente histórico.

La mayoría de las formas modulares simuladas y las formas débiles de Maass tienen un rápido crecimiento en las cúspides. Es común imponer la condición de que crecen como máximo exponencialmente en las cúspides (lo que para las formas modulares simuladas significa que son "meromórficas" en las cúspides). El espacio de las formas modulares simuladas (de peso y grupo dados) cuyo crecimiento está limitado por alguna función exponencial fija en las cúspides es de dimensión finita.

Suma de Appell-Lerch

Las sumas de Appell-Lerch, una generalización de la Serie de Lambert, fueron estudiadas por primera vez por  () y  (). Watson estudió las funciones theta simuladas de orden 3 expresándolas en términos de sumas de Appell–Lerch, y Zwegers las utilizó para demostrar que las funciones theta simuladas son esencialmente formas modulares simuladas.

La serie de Appell–Lerch es

donde

y

La serie modificada

donde

y además y= Im(τ) y también

satisface las siguientes propiedades de transformación

En otras palabras, la serie modificada de Appell–Lerch se transforma como una forma modular con respecto a τ. Dado que las funciones theta simuladas se pueden expresar en términos de series de Appell–Lerch, esto significa que las funciones theta simuladas se transforman como formas modulares si se les agregan ciertas series no analíticas.

Serie theta indefinida

Andrews (1986) mostró que varias de las funciones theta simuladas de quinto orden de Ramanujan son iguales a los cocientes Θ(τ)/θ(τ), donde θ(τ) es una forma modular de peso 1/2 y Θ(τ) es una función theta de una forma cuadrática binaria indefinida, y Hickerson (1988b) demostró resultados similares para las funciones theta simuladas de séptimo orden. Zwegers a su vez demostró cómo completar las funciones theta indefinidas para producir formas modulares analíticas reales, y usó este procedimiento para dar otra prueba de la relación entre las funciones theta simuladas y las formas de onda de Maass débiles.

Forma meromórfica de Jacobi

Andrews (1988) observó que algunas de las funciones theta simuladas de quinto orden de Ramanujan podrían expresarse en términos de cocientes de las funciones theta de Jacobi. Zwegers usó esta idea para expresar funciones simuladas de theta como coeficientes de Fourier de formas meromórficas de Jacobi.

Aplicaciones

Ejemplos

Referencias

Enlaces externos

Related Articles

Wikiwand AI