Modularity from $q$-series

Resumen Técnico: Modularidad a partir de Series-q

Enunciado del Problema
El artículo aborda un desafío planteado por G. E. Andrews, quien a su vez hace referencia a un problema de L. Ehrenpreis: idear un método directo para probar la modularidad de las formas de suma de series-q sin depender de una entrada modular preexistente (tales como la modularidad de la función $\eta$ de Dedekind, las funciones theta de Jacobi o las series de Eisenstein). Muchas series-q que surgen en combinatoria, teoría de representaciones y física exhiben una modularidad "misteriosa" que no es visible a partir de sus fórmulas de suma. El caso de prueba principal para este desafío es el par Rogers–Ramanujan, cuya modularidad se conoce clásicamente mediante identidades de producto infinito, pero carece de una prueba derivada exclusivamente de sus definiciones en serie.

Metodología
El autor, Ken Ono, desarrolla un criterio para la modularidad vectorial basado enteramente en el álgebra de series-q, sistemas diferenciales-q de primer orden y continuación analítica. La metodología procede a través de los siguientes pasos:

1. Sistemas Diferenciales Locales: El artículo trata un vector de series-q holomorfas, $f = (f_1, \dots, f_r)^T$, como una solución de un sistema lineal de primer orden en el semiplano superior. Al examinar las expansiones locales en los cúspides (específicamente $\infty$ y $0$), el autor construye sistemas diferenciales-q locales de la forma $\theta_\gamma f^{(\gamma)} = A_\gamma(q_\gamma) f^{(\gamma)}$, donde $\theta = q \frac{d}{dq}$ y $A_\gamma$ es una matriz de funciones meromorfas.
2. La Condición "Buena": Un vector $f$ se define como "bueno" para un dato de órbita finita $O$ si satisface tres condiciones:
   • Matriz Fundamental Local: En cada cúspide, existe una matriz $\Phi$ formada por un número finito de traslaciones de $f$ por $SL_2(\mathbb{Z})$ que es invertible en una vecindad punteada del cúspide.
   • Regularidad: La matriz de la derivada logarítmica $A = (\theta \Phi)\Phi^{-1}$ es meromorfa en el disco punteado, se extiende holomórficamente al cúspide y tiene una matriz de exponentes límite conjugada a una matriz diagonal de números racionales.
   • Cierre de Continuación Finita: Los sistemas locales están cerrados bajo continuación analítica y desplazamientos $T$ (traslaciones) hasta transformaciones de gauge constantes. Esto asegura que los parches locales puedan unirse globalmente.
3. Unión y Monodromía: Utilizando resultados estándar de la teoría de ecuaciones diferenciales lineales, el artículo demuestra que si se cumplen las condiciones "buenas", los sistemas locales se unen para formar un sistema meromorfo global. La monodromía de este sistema global produce una representación $\rho: SL_2(\mathbb{Z}) \to GL_r(\mathbb{C})$, certificando así que $f$ es una función modular vectorial.

Contribuciones y Resultados Clave

• Teorema 2 (Modularidad a partir de Series-q): Este es el resultado teórico central. Establece una equivalencia entre que un vector de series-q sea una función modular vectorial débilmente holomorfa y que el vector sea "bueno" para un dato de órbita finita. Este teorema proporciona un criterio puramente intrínseco, basado en series-q, para la modularidad, independiente de formas modulares externas.
• Teorema 1 (Modularidad Rogers–Ramanujan): El artículo aplica el Teorema 2 al par Rogers–Ramanujan $G(q)$ y $H(q)$.
  • Utiliza las recurrencias finitas clásicas de Schur y las comparaciones de producto finito de Andrews para derivar sistemas diferenciales-q de primer orden explícitos para las series Rogers–Ramanujan en los cúspides $\infty$ y $0$.
  • Los coeficientes de estos sistemas se expresan en términos de series de Lambert. Crucialmente, la prueba no asume que estas series de Lambert sean series de Eisenstein; solo utiliza sus expansiones-q y los sistemas diferenciales resultantes.
  • El autor verifica que el par Rogers–Ramanujan satisface las condiciones "buenas", probando así su modularidad y derivando explícitamente las matrices multiplicadoras $\rho(T)$ y $\rho(S)$ sin invocar entrada modular.
• Teorema 3: Este teorema proporciona la recíproca constructiva, mostrando que cualquier función modular vectorial débilmente holomorfa para un subgrupo de congruencia satisface naturalmente las condiciones "buenas", validando así la equivalencia.
• Extensión a las Series de Andrews–Gordon: El artículo esboza la aplicación de este método a las series-q de Andrews–Gordon (una generalización de Rogers–Ramanujan). Señala que las identidades polinómicas finitas en la literatura de Andrews–Gordon producen los sistemas diferenciales necesarios para certificar la modularidad de estas familias de rango superior.

Significado y Afirmaciones
El artículo afirma resolver el problema Ehrenpreis-Andrews al proporcionar una "prueba directa" de modularidad que depende únicamente de la estructura interna de las series-q (recurrencias algebraicas y propiedades analíticas) en lugar de la modularidad de otras funciones conocidas.

• Naturaleza Intrínseca: El significado radica en la eliminación de la "entrada modular". La prueba para el caso Rogers–Ramanujan no utiliza las leyes de transformación de $\eta$ o las funciones theta, ni se basa en el hecho de que las series de Lambert asociadas sean series de Eisenstein de peso 2.
• Marco Conceptual: El trabajo reformula la detección de la modularidad como un problema de continuación analítica y monodromía de sistemas diferenciales-q. Establece un paralelo con la correspondencia Lewis–Zagier entre funciones de periodo y formas de cuspide de Maass, situando los sistemas diferenciales-q como el análogo-q de las ecuaciones de funciones de periodo.
• Relación con la Conjetura de Nahm: El artículo contrasta brevemente su enfoque con la conjetura de Nahm, que relaciona la modularidad con la torsión en el grupo de Bloch. El autor postula que la condición "buena para $O$" ofrece una ruta diferente hacia la modularidad y sugiere que clarificar la relación entre la torsión del grupo de Bloch y la existencia de datos de órbita finita es una dirección abierta interesante, aunque el artículo no resuelve esta relación.

En resumen, el artículo ofrece un mecanismo riguroso y autocontenido para certificar la modularidad de vectores de series-q verificando un conjunto finito de condiciones algebraicas y analíticas en los cúspides, demostrando esto exitosamente en el caso fundamental de Rogers–Ramanujan.