Modularity of Point Counts for the Curves $X^a=Y^b$: New Rogers--Ramanujan Identities

Resumen Técnico: Modularidad de los Conteos de Puntos para las Curvas $X^a = Y^b$: Nuevas Identidades de Rogers–Ramanujan

Planteamiento del Problema
El artículo aborda una conjetura de Huang, Jiang y Oblomkov (HJO) relativa a la geometría enumerativa de la curva plana singular $X^a = Y^b$ sobre cuerpos finitos. Para enteros coprimos $1 < a < b$, sea $M_{n}^{a,b}(\mathbb{F}_q)$ el conjunto de pares conmutantes de matrices nilpotentes de $n \times n$ sobre $\mathbb{F}_q$ que satisfacen $X^a = Y^b$. HJO recopiló los conteos de puntos normalizados de estos conjuntos en una serie de potencias formal $Z_{a,b}(q)$. Ellos conjeturaron que $Z_{a,b}(q)$ es igual a un producto infinito explícito $P_{a,b}(q)$ que involucra funciones theta de Jacobi y la función eta de Dedekind.

Si es cierta, esta igualdad implica que los conteos de puntos en la curva $X^a = Y^b$ están gobernados por funciones modulares en el subgrupo de congruencia $\Gamma(a+b)$. La conjetura generaliza las identidades clásicas de Rogers–Ramanujan (RR) y Andrews–Gordon (AG). Específicamente:

• Para $a=1$, la identidad es trivial.
• Para $a=2$, la conjetura recupera las identidades AG conocidas (incluyendo las identidades RR clásicas para $b=3$).
• Para $a \ge 3$, la conjetura permanecía sin probar.

El objetivo principal de este artículo es probar la conjetura para la capa $a=3$, estableciendo una nueva familia infinita de identidades de tipo Rogers–Ramanujan y proporcionando un origen geométrico para productos estudiados previamente por Warnaar.

Metodología
Los autores emplean una estrategia de múltiples pasos que vincula la geometría algebraica, la combinatoria y la teoría de la representación:

1. Configuración Geométrica y Conjuntos de Huecos (Gap Sets): El problema se traduce al lenguaje de los semigrupos numéricos. El conjunto de huecos $G_{a,b} = \mathbb{N} \setminus \langle a, b \rangle$ se identifica con un diagrama de Young dentro de un rectángulo de $a \times b$. Para $a=3$, este conjunto de huecos consiste en dos progresiones aritméticas entrelazadas. La serie $Z_{3,b}(q)$ se define como una suma sobre vectores enteros indexados por este conjunto de huecos, ponderada por una forma cuadrática $Q_{3,b}(n)$ y símbolos $q$-Pochhammer.

2. Reindexación y Adaptación de Coordenadas: Los autores introducen coordenadas adaptadas a las dos progresiones aritméticas que componen $G_{3,b}$. Al fijar una "cadena de frontera" de variables (correspondiente al límite exterior del diagrama de Young), la suma se descompone. La forma cuadrática $Q_{3,b}(n)$ se reexpresa en términos de estas nuevas coordenadas, separando la contribución en un término de frontera y un polinomio de Laurent finito que involucra polinomios gaussianos (coeficientes $q$-binomiales).

3. Conexión con $q$-Supernominales: La innovación técnica central es el reconocimiento de que el polinomio de Laurent finito resultante de la suma de frontera fija es un coeficiente específico de un $q$-supernomial completamente simétrico. Los autores utilizan la teoría de $q$-supernominales de Schilling–Warnaar, específicamente:

   • Expansión de Multitableau: La suma se interpreta como una función generadora de tuplas de tableaux semiestándar de una sola fila (entradas $\{1, 2\}$).
   • Independencia del Orden: Un paso crítico consiste en mostrar que la suma es independiente del orden de los dos bloques de tableaux (correspondientes a las dos progresiones aritméticas). Esta simetría permite a los autores reconciliar las dos clases de congruencia $b \equiv 1 \pmod 3$ y $b \equiv -1 \pmod 3$ en una sola identidad.
   • Expansión Fermiónica: El supernomial se transforma en una suma fermiónica (una suma de productos de polinomios gaussianos) utilizando bijecciones de configuraciones armadas (rigged configurations).

4. Reensamblaje e Identificación Modular: Las sumas de frontera fija se reensamblan para reconstruir la serie completa $Z_{3,b}(q)$. Las sumas fermiónicas resultantes se identifican como los lados de suma de las identidades Andrews–Gordon de $A_2$ de Warnaar. Finalmente, los autores realizan un cálculo de clase de residuo para mostrar que los productos infinitos resultantes coinciden con el producto $P_{3,b}(q)$ conjeturado por HJO, el cual se expresa como un cociente de funciones theta.

Contribuciones Clave y Resultados
El artículo prueba el siguiente teorema principal (Teorema 1.1):

• Prueba de la Conjetura $a=3$: Para cada entero $b > 3$ coprimo con 3, el conteo de puntos normalizado $P_{3,b}^{pt}(q)$, la serie $Z_{3,b}(q)$ y el producto $P_{3,b}(q)$ son iguales.
• Nuevas Identidades de Rogers–Ramanujan: La igualdad establece una familia infinita de identidades donde una suma sobre un retículo indexado por un conjunto de huecos (que involucra una forma cuadrática y polinomios gaussianos) es igual a un producto de funciones theta.
• Modularidad: Se muestra que la serie $Z_{3,b}(q)$ es un producto finito de cocientes de funciones theta de Jacobi de nivel $b+3$. En consecuencia, es una función modular con carácter en $\Gamma(b+3)$ (hasta una potencia racional de $q$).
• Interpretación Combinatoria: El artículo proporciona un modelo de tableau (Corolario 1.4) para $Z_{3,b}(q)$. El lado de la suma se interpreta como una suma ponderada sobre tuplas de tableaux semiestándar de una sola fila, donde el peso involucra una estadística de coinversión y condiciones de frontera específicas determinadas por $b$.
• Verificación: Los autores señalan que las identidades fueron verificadas formalmente en el asistente de pruebas Lean utilizando el sistema AxiomProver, asumiendo la literatura existente sobre $q$-supernominales y funciones theta.

Significado
El artículo reclama significancia en áreas específicas:

1. Origen Geométrico de los Fenómenos RR: Proporciona una realización geométrica concreta de las identidades de tipo Rogers–Ramanujan mediante los conteos de puntos en curvas singulares $X^a = Y^b$, yendo más allá de los orígenes tradicionales de la teoría de la representación (álgebras de Lie afines, módulos de Virasoro).
2. Resolución de la Capa $a=3$: Mientras que el caso $a=2$ era conocido (Andrews–Gordon), los casos $a \ge 3$ eran previamente desconocidos. Este trabajo resuelve completamente el caso $a=3$.
3. Unificación de Estructuras: La prueba demuestra un puente entre la combinatoria de los semigrupos numéricos (conjuntos de huecos), el álgebra de los $q$-supernominales (teoría de Schilling–Warnaar) y las propiedades modulares de las funciones theta.
4. Clarificación de los Productos de Warnaar: El trabajo proporciona un origen geométrico para productos específicos encontrados por Warnaar, vinculándolos directamente con la geometría enumerativa de curvas planas.

Los autores mantienen un tono modesto respecto al alcance, señalando que, si bien prueban la capa $a=3$, el caso general para $a \ge 4$ sigue abierto. El trabajo se presenta como una verificación rigurosa de la conjetura HJO para una capa específica y no trivial, utilizando maquinaria combinatoria establecida para resolver un problema de enumeración geométrica.