stringtranslate.com

Formulario modular simulado

En matemáticas , una forma modular simulada es la parte holomorfa 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 . Los primeros ejemplos de funciones theta simuladas fueron descritos por Srinivasa Ramanujan en su última carta de 1920 a GH Hardy y en su cuaderno perdido . Sander Zwegers descubrió que agregarles ciertas funciones no holomorfas las convierte en formas armónicas débiles de Maass. [1] [2]

Historia

"Supóngase que existe una función en forma euleriana y supóngase que todos o una infinidad de puntos son singularidades exponenciales, y supóngase también que en estos puntos la forma asintótica se cierra tan claramente como en los casos de (A) y (B). La pregunta es: ¿la función es la 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 e 2 m π i / n ? ... Cuando no es así, llamo a la función una función θ simulada".

Definición original de Ramanujan de una función theta simulada [3]

La carta de Ramanujan del 12 de enero de 1920 a Hardy [3] enumeraba 17 ejemplos de funciones que él llamaba funciones theta simuladas, y su cuaderno perdido [4] contenía varios ejemplos más. (Ramanujan utilizó el término "función theta" para lo que hoy se llamaría una forma modular). Ramanujan señaló que tienen una expansión 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 se pueden expresar en términos de funciones theta "ordinarias" . Llamó a las funciones con propiedades similares "funciones theta simuladas". Zwegers descubrió más tarde la conexión de la función theta simulada con las formas débiles de Maass.

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

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

La noción de orden de Ramanujan resultó posteriormente corresponder al conductor del carácter Nebentypus del peso .1/2 formas armónicas de Maass que admiten las funciones theta simuladas de Ramanujan como sus proyecciones holomórficas.

En las décadas siguientes, Watson, Andrews, Selberg, Hickerson, Choi, McIntosh y otros estudiaron las funciones theta simuladas de Ramanujan, quienes demostraron las afirmaciones de Ramanujan sobre ellas y encontraron varios ejemplos e identidades más. (La mayoría de las identidades y ejemplos "nuevos" ya eran conocidos por Ramanujan y reaparecieron en su cuaderno perdido). En 1936, Watson descubrió que bajo la acción de elementos del grupo modular , las funciones theta simuladas de orden 3 casi se transforman como formas modulares de peso .1/2 (multiplicado por potencias adecuadas de q ), excepto que hay "términos de error" en las ecuaciones funcionales, generalmente dadas como integrales explícitas. [5] 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ó la relación con las formas modulares no holomorfas, las sumas de Lerch y las series theta indefinidas. Zwegers demostró, utilizando el trabajo previo de Watson y Andrews, que las funciones theta simuladas de órdenes 3, 5 y 7 se pueden escribir como la suma de una forma de Maass débil de peso 1/2 y una función que está limitada a lo largo de geodésicas que terminan en cúspides. [2] La forma débil de Maass tiene valor propio 3/16 bajo el Laplaciano hiperbólico (el mismo valor que las formas modulares holomorfas de peso 1/2 ); sin embargo, aumenta exponencialmente rápido cerca de las cúspides, por lo que no satisface la condición de crecimiento habitual para las formas de onda de Maass . Zwegers demostró este resultado de tres maneras diferentes, relacionando las funciones theta simuladas con las funciones theta de Hecke de redes 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 muestra que las funciones theta simuladas son las "partes holomorfas" de las formas modulares analíticas reales del peso .1/2 . Esto permite extender muchos resultados sobre formas modulares a funciones theta simuladas. En particular, al igual que las formas modulares, las funciones theta simuladas se encuentran todas en ciertos espacios explícitos de dimensión finita, lo que reduce las pruebas largas y difíciles de muchas identidades entre ellas al álgebra lineal de rutina. 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 aplicaciones adicionales de las ideas de Zwegers, Kathrin Bringmann y Ken Ono demostraron que ciertas series q que surgen de las series hipergeométricas básicas de Rogers-Fine están relacionadas con partes holomorfas del peso 3/2 formas débiles armónicas de Maass [6] y demostraron que la serie asintótica para coeficientes de la función theta simulada de orden 3 f ( q ) estudiada por George Andrews [7] y Leila Dragonette [8] converge a los coeficientes. [9] En particular, las funciones theta simuladas tienen expansiones asintóticas en las cúspides del grupo modular , actuando en el semiplano superior , que se asemejan a las de las formas modulares de peso 1/2 con postes en las cúspides.

Definición

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

Fijemos un peso k , normalmente con 2 k integral. Fijemos un subgrupo Γ de SL 2 ( Z ) (o del grupo metapléctico si k es semiintegral) y un carácter ρ de Γ. Una forma modular f para este carácter y este grupo Γ se transforma bajo elementos de Γ por

Una forma débil de Maass del peso k es una función continua en el semiplano superior que se transforma como una forma modular del peso k y es una función propia del operador laplaciano del peso k , y se denomina armónica si su valor propio es (1 − k/2 ) ​​⁠a/2 . [10] Este es el valor propio de las formas modulares de peso k holomórfico , por lo que todos estos son ejemplos de formas de Maass débiles armónicas. (Una forma de Maass es una forma de Maass débil que decrece rápidamente en los puntos más altos). Por lo tanto, una forma de Maass débil armónica es aniquilada por el operador diferencial.

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

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

dónde

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 puede extenderse por continuación analítica, por lo que esta fórmula puede usarse para definir la parte holomorfa g * de F incluso en el caso en que g es meromórfica en i ∞, aunque esto requiere cierto cuidado si k es 1 o no es integral o si n  = 0. La inversa del operador diferencial está lejos de ser única ya que podemos agregar cualquier función homomórfica a g * sin afectar su imagen, y como resultado la función g * no necesita ser invariante bajo el grupo Γ. La función h = F  −  g * se llama la parte holomorfa de F .

Una forma modular simulada se define como la parte holomorfa h de alguna forma de Maass débil armónica F. Por lo tanto, existe un isomorfismo desde el espacio de formas modulares simuladas h a un subespacio de las formas de Maass débiles armónicas.

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 su 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 (hasta la multiplicación por una constante).

Don Zagier [11] define una función theta simulada como una potencia racional de q  = e 2 π i 𝜏 veces una forma modular simulada de peso .1/2 cuya sombra es una serie theta de la forma

para una función racional positiva κ y una función periódica impar ε . (Cualquier serie theta de este tipo es una forma modular de peso 3/2 ). El poder racional de q es un accidente histórico.

La mayoría de las formas modulares simuladas y las formas Maass débiles tienen un crecimiento rápido en las cúspides. Es común imponer la condición de que crezcan como máximo exponencialmente rápido 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 determinados) cuyo crecimiento está limitado por alguna función exponencial fija en las cúspides es de dimensión finita.

Sumas de Appell-Lerch

Las sumas de Appell-Lerch, una generalización de las series de Lambert , fueron estudiadas por primera vez por Paul Émile Appell [12] y Mathias Lerch [13] . 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 Appell-Lerch es

dónde

y

La serie modificada

dónde

y y = Im(𝜏) y

satisface las siguientes propiedades de transformación

En otras palabras, la serie de Appell-Lerch modificada se transforma como una forma modular con respecto a 𝜏. Dado que las funciones theta simuladas se pueden expresar en términos de la serie de Appell-Lerch, esto significa que las funciones theta simuladas se transforman como formas modulares si se les agrega una determinada serie no analítica.

Serie theta indefinida

George Andrews [14] demostró que varias de las funciones theta simuladas de quinto orden de Ramanujan son iguales a cocientes .Θ(𝜏)/θ (𝜏) donde θ (𝜏) es una forma modular de peso 1/2 y Θ(𝜏) es una función theta de una forma cuadrática binaria indefinida , y Dean Hickerson [15] demostró resultados similares para funciones theta simuladas de séptimo orden. Zwegers mostró cómo completar las funciones theta indefinidas para producir formas modulares analíticas reales, y utilizó esto para dar otra prueba de la relación entre las funciones theta simuladas y las formas de onda débiles de Maass.

Formas meromórficas de Jacobi

George Andrews [16] observó que algunas de las funciones theta simuladas de quinto orden de Ramanujan podían expresarse en términos de cocientes de las funciones theta de Jacobi. Zwegers utilizó esta idea para expresar las funciones theta simuladas como coeficientes de Fourier de formas meromórficas de Jacobi.

Aplicaciones

Ejemplos

de peso 2 y nivel 1 es una forma modular simulada de peso 2, con sombra constante. Esto significa que
se transforma como una forma modular de peso 2 (donde 𝜏 = x  +  iy ).
dónde
y y  = Im(𝜏), q  = e 2 π i 𝜏 .

Las funciones theta simuladas son formas modulares simuladas de peso .1/2 cuya sombra es una función theta unaria, multiplicada por una potencia racional de q (por razones históricas). Antes de que el trabajo de Zwegers condujera a un método general para construirlas, la mayoría de los ejemplos se daban como funciones hipergeométricas básicas , pero esto es en gran medida un accidente histórico, y la mayoría de las funciones theta simuladas no tienen una expresión simple conocida en términos de tales funciones.

Las funciones theta simuladas "triviales" son las formas modulares (holomórficas) del peso .1/2 , que fueron clasificadas por Serre y Stark, [23] quienes demostraron que todas ellas podían escribirse en términos de funciones theta de redes unidimensionales.

Los siguientes ejemplos utilizan los símbolos q-Pochhammer ( a ; q ) n que se definen como:

Orden 2

McIntosh estudió algunas funciones theta simuladas de orden 2. [24]

(secuencia A006304 en la OEIS )
(secuencia A153140 en la OEIS )
(secuencia A006306 en la OEIS )

Ramanujan encontró la función μ en su cuaderno perdido.

Estas están relacionadas con las funciones enumeradas en la sección sobre funciones de orden 8 por

Orden 3

Ramanujan mencionó cuatro funciones theta simuladas de orden 3 en su carta a Hardy, y enumeró otras tres en su cuaderno perdido, que fueron redescubiertas por GN Watson . [5] Este último demostró las relaciones entre ellas establecidas por Ramanujan y también encontró sus transformaciones bajo elementos del grupo modular expresándolas como sumas de Appell-Lerch. Dragonette [8] describió la expansión asintótica de sus coeficientes. Zwegers [1] las relacionó con formas armónicas débiles de Maass. Véase también la monografía de Nathan Fine. [25]

Las siete funciones theta simuladas de orden 3 dadas por Ramanujan son

, (secuencia A000025 en la OEIS ).
(secuencia A053250 en la OEIS ).
(secuencia A053251 en la OEIS ).
(secuencia A053252 en la OEIS ).
(secuencia A053253 en la OEIS ).
(secuencia A053254 en la OEIS ).
(secuencia A053255 en la OEIS ).

Las primeras cuatro forman un grupo con la misma sombra (hasta una constante), y lo mismo hacen las tres últimas. Más precisamente, las funciones satisfacen las siguientes relaciones (encontradas por Ramanujan y demostradas por Watson):

Orden 5

Ramanujan escribió diez funciones theta simuladas de orden 5 en su carta de 1920 a Hardy, y estableció algunas relaciones entre ellas que fueron probadas por Watson. [26] En su cuaderno perdido, estableció algunas identidades adicionales que relacionaban estas funciones, equivalentes a las conjeturas theta simuladas , [27] que fueron probadas por Hickerson. [28] Andrews [14] encontró representaciones de muchas de estas funciones como el cociente de una serie theta indefinida por formas modulares de peso .1/2 .

(secuencia A053256 en la OEIS )
(secuencia A053257 en la OEIS )
(secuencia A053258 en la OEIS )
(secuencia A053259 en la OEIS )
(secuencia A053260 en la OEIS )
(secuencia A053261 en la OEIS )
(secuencia A053262 en la OEIS )
(secuencia A053263 en la OEIS )
(secuencia A053264 en la OEIS )
(secuencia A053265 en la OEIS )
(secuencia A053266 en la OEIS )
(secuencia A053267 en la OEIS )

Orden 6

Ramanujan [4] escribió siete funciones theta simuladas de orden 6 en su cuaderno perdido, y enunció 11 identidades entre ellas, que fueron probadas por Andrews y Hickerson. [29] Dos de las identidades de Ramanujan relacionan φ y ψ en varios argumentos, cuatro de ellas expresan φ y ψ en términos de la serie de Appell–Lerch, y las últimas cinco identidades expresan las cinco funciones theta simuladas de sexto orden restantes en términos de φ y ψ . Berndt y Chan [30] descubrieron dos funciones más de sexto orden.

Las funciones theta simuladas de orden 6 son:

(secuencia A053268 en la OEIS )
(secuencia A053269 en la OEIS )
(secuencia A053270 en la OEIS )
(secuencia A053271 en la OEIS )
(secuencia A053272 en la OEIS )
(secuencia A053273 en la OEIS )
(secuencia A053274 en la OEIS )
(secuencia A153251 en la OEIS )
(secuencia A153252 en la OEIS )

Orden 7

Ramanujan dio tres funciones theta simuladas de orden 7 en su carta de 1920 a Hardy. Fueron estudiadas por Selberg [31] , quien encontró una expansión asintótica para sus coeficientes, y por Andrews [14] . Hickerson [15] encontró representaciones de muchas de estas funciones como cocientes de series theta indefinidas mediante formas modulares de peso .1/2 . Zwegers [1] [2] describió sus propiedades de transformación modular.

Estas tres funciones theta simuladas tienen sombras diferentes, por lo que, a diferencia del caso de las funciones de orden 3 y orden 5 de Ramanujan, no existen relaciones lineales entre ellas y las formas modulares ordinarias. Las formas de Maass débiles correspondientes son

dónde

y

es más o menos la función de error complementaria. Bajo el grupo metapléctico, estas tres funciones se transforman según una determinada representación tridimensional del grupo metapléctico de la siguiente manera

En otras palabras, son los componentes de una forma de peso de Maass débil armónica con valor vectorial de nivel 1  .1/2 .

Orden 8

Gordon y McIntosh [32] encontraron ocho funciones theta simuladas de orden 8. Encontraron cinco relaciones lineales que las involucraban, expresaron cuatro de las funciones como sumas de Appell-Lerch y describieron sus transformaciones bajo el grupo modular. Las dos funciones V 1 y U 0 fueron encontradas anteriormente por Ramanujan [33] en su cuaderno perdido.

(secuencia A153148 en la OEIS )
(secuencia A153149 en la OEIS )
(secuencia A153155 en la OEIS )
(secuencia A153156 en la OEIS )
(secuencia A153172 en la OEIS )
(secuencia A153174 en la OEIS )
(secuencia A153176 en la OEIS )
(secuencia A153178 en la OEIS )

Orden 10

Ramanujan [34] enumeró cuatro funciones theta simuladas de orden 10 en su cuaderno perdido y estableció algunas relaciones entre ellas, que fueron demostradas por Choi. [35] [36] [37] [38]

Notas

  1. ^ Zwegers 2001.
  2. ^ Zwegers 2002.
  3. ^ ab Ramanujan 2000, Apéndice II.
  4. ^Por Ramanujan 1988.
  5. ^Por Watson 1936.
  6. ^ Bringmann, Folsom y Ono 2009.
  7. ^ Andrews 1966.
  8. ^de Dragonette 1952.
  9. ^ Bringmann y Ono 2006.
  10. ^ Bruinier y Funke 2004.
  11. ^ Zagier 2007.
  12. ^ Apelación 1884.
  13. ^ Lerch 1892.
  14. ^ Andrews 1986.
  15. ^ desde Hickerson 1988b.
  16. ^ Andrews 1988.
  17. ^ Lawrence y Zagier 1999.
  18. ^ Semikhatov, Taormina y Tipunin 2005.
  19. ^ Troost 2010.
  20. ^ Dabholkar, Murthy y Zagier 2012.
  21. ^ Zagier 1975.
  22. ^ Hirzebruch y Zagier 1976, 2.2.
  23. ^ Serre y Stark 1977.
  24. ^ McIntosh 2007.
  25. ^ Bien 1988.
  26. ^ Watson 1937.
  27. ^ Andrews y Garvan 1989.
  28. ^ Hickerson 1988a.
  29. ^ Andrews y Hickerson 1991.
  30. ^ Berndt y Chan 2007.
  31. ^ Selberg 1938.
  32. ^ Gordon y McIntosh 2000.
  33. ^ Ramanujan 1988, pag. 8, ecuación 1; pag. 29 ecuación 6.
  34. ^ Ramanujan 1988, pág. 9.
  35. ^ Choi 1999.
  36. ^ Choi 2000.
  37. ^ Choi 2002.
  38. ^ Choi 2007.

Referencias

Lectura adicional

Enlaces externos