Schur Eisenstein series and Schur MacMahon series

Resumen Técnico: Series de Schur-Eisenstein y Series de Schur-MacMahon

Planteamiento del Problema
El artículo aborda la relación estructural entre dos familias de formas cuasimodulares indexadas por particiones: las series clásicas de MacMahon de sumas de divisores (generalizadas a series de Schur-MacMahon) y las series de Eisenstein múltiples (generalizadas a series de Schur-Eisenstein). Si bien la relación entre los casos de una sola columna (series de MacMahon $A_r$ y las series de Eisenstein múltiples de todo 2 $G_{\{2\}r}$) fue establecida previamente por el primer autor, faltaba un marco unificado para diagramas de Young arbitrarios. Los autores pretenden definir estas familias generalizadas, establecer una transición explícita entre ellas, analizar su estructura diferencial bajo la acción clásica de $\mathfrak{sl}_2$, e investigar su papel en la formación de bases para el anillo de formas cuasimodulares, particularmente respecto a los coeficientes integrales.

Metodología
Los autores emplean la teoría de las funciones simétricas como el lenguaje unificador. Definen tres homomorfismos algebraicos desde el anillo de funciones simétricas $\Lambda$ (sobre $\mathbb{Q}$) al anillo de formas cuasimodulares $\mathcal{M}$:

1. $\Phi_\beta$: Mapea las sumas de potencias $p_r$ a valores zeta múltiples de Schur renormalizados $\beta_{2r} = \zeta(2r)/(2\pi i)^{2r}$.
2. $\Phi_g$: Mapea $p_r$ a la serie de MacMahon $P_r = \sum_{m \ge 1} (q^m/(1-q^m)^2)^r$. La imagen de una función de Schur $s_\lambda$ bajo este mapa es la serie de Schur-MacMahon $g(\lambda)$.
3. $\Phi_G$: Mapea $p_r$ a la serie de Eisenstein renormalizada $G_{2r}$. La imagen de $s_\lambda$ es la serie de Schur-Eisenstein $G(\lambda)$.

La metodología central implica:

• Transición de Álgebra de Hopf: Utilizar un coproducto de Faà di Bruno deformado $\Delta_F$ en $\Lambda$ para construir un automorfismo $\theta$ tal que $\Phi_G = \Phi_g \circ \theta$. Esto interpreta la transición entre las dos familias como una convolución en un álgebra de Hopf.
• Análisis Combinatorio: Utilizar números factoriales centrales de primera y segunda especie para computar explícitamente los coeficientes de la transición $\theta$.
• Cálculo Diferencial: Definir derivaciones en $\Lambda$ ($D_\Lambda, W_\Lambda, \delta_\Lambda$) que elevan la acción del triple $\mathfrak{sl}_2$ clásico en $\mathcal{M}$ (graduación de peso, derivada $q \frac{d}{dq}$, y el operador $\delta = -\frac{1}{2}\frac{\partial}{\partial G_2}$).
• Divisibilidad 2-ádica: Emplear propiedades de la ecuación diferencial de Weierstrass y las valuaciones 2-ádicas de los polinomios de Eisenstein para probar resultados de independencia lineal.

Contribuciones Clave y Resultados

1. Teorema de Transición Explícita (Teorema Principal A):
   Los autores demuestran que la serie de Schur-Eisenstein $G(\lambda)$ puede expresarse como una combinación lineal de series de Schur-MacMahon $g(\mu)$ donde $\mu$ es un subdiagrama de $\lambda$. Específicamente, $G(\lambda) = \beta(\lambda) + \sum_{0 < |\mu| < |\lambda|} d_\lambda(\mu) g(\mu) + g(\lambda)$. Los coeficientes $d_\lambda(\mu)$ son enteros (combinaciones lineales de valores zeta renormalizados) y están determinados por números factoriales centrales. Esta transición se realiza mediante el automorfismo $\theta$ de $\Lambda$, el cual se muestra como el automorfismo de bobinado asociado a la convolución del carácter zeta y la especialización de MacMahon.

2. Estructura $\mathfrak{sl}_2$ (Teorema Principal B):
   El artículo construye una elevación del triple clásico $\mathfrak{sl}_2$ $(D, W, \delta)$ en $\mathcal{M}$ al anillo de funciones simétricas $\Lambda$.

   • El operador de descenso $\delta$ actúa sobre $G(\lambda)$ sumando sobre todas las particiones obtenidas al eliminar una sola casilla de $\lambda$.
   • El operador de ascenso $D$ actúa sobre $G(\lambda)$ mediante una fórmula determinantal que involucra las series de columna $G_{\{2\}k}$.
   • Los autores muestran que conjugar este triple por $\theta$ produce un triple correspondiente adaptado a las series de Schur-MacMahon $g(\lambda)$, recuperando las fórmulas de la derivada de Andrews–Rose.

3. Teorema de la Base (Teorema Principal C):
   Los autores demuestran que para cualquier peso $2n$, el conjunto de series de Schur-Eisenstein $\{G(\lambda) \mid \lambda \vdash n, \lambda_1 \le 3\}$ forma una base para el espacio de formas cuasimodulares $\mathcal{M}_{2n}$.

   • La prueba se basa en el hecho de que la matriz de transición de la base monomial $G_2^a G_4^b G_6^c$ a la base de Schur es un triangular superior unitario módulo 2.
   • Esto establece que las particiones con partes de tamaño máximo 3 son suficientes para generar todo el anillo de formas cuasimodulares, reflejando el hecho de que $\mathcal{M} = \mathbb{Q}[G_2, G_4, G_6]$.

4. Conjetura de la Base Integral (Conjetura Principal D):
   El artículo define el retículo integral $\mathcal{M}_\mathbb{Z} = \mathcal{M} \cap \mathbb{Z}[[q]]$ y el subanillo generado por las series de Schur-MacMahon con coeficientes enteros, $\mathcal{G}_\mathbb{Z} = \mathbb{Z}[A_1, A_2, \dots]$.

   • Los autores conjeturan que $\mathcal{G}_\mathbb{Z} = \mathcal{M}_\mathbb{Z}$, lo que significa que las series de Schur-MacMahon generan todo el retículo integral de las formas cuasimodulares.
   • Proporcionan evidencia computacional que verifica esta igualdad para pesos hasta 16 y proponen un límite refinado $B(k)$ para el tamaño de las particiones necesarias para generar formas de peso $\le k$.

Significación y Reivindicaciones
El artículo afirma proporcionar una "corrección homogénea natural" de las series de peso mixto de MacMahon mediante las series de Schur-Eisenstein, generalizando resultados previos de columnas únicas a diagramas de Young arbitrarios. Al interpretar la transición entre estas familias a través de la lente de un álgebra de Hopf de Faà di Bruno, los autores unifican los términos constantes (valores zeta), la estructura filtrada (series de MacMahon) y la estructura homogénea (series de Eisenstein) dentro de un único marco de funciones simétricas.

La significación del teorema de la base reside en identificar un subconjunto combinatoriamente natural de particiones (aquellas con tamaño de parte máxima 3) que genera todo el espacio de formas cuasimodulares, ofreciendo una nueva perspectiva sobre la estructura algebraica de $\mathcal{M}$. La conjetura integral sugiere que las series de Schur-MacMahon no son solo una base racional, sino una base integral completa, capturando todas las congruencias divididas dentro del anillo de formas cuasimodulares. Los autores señalan que, si bien la generación racional está probada, la igualdad integral sigue siendo una conjetura apoyada por verificación computacional hasta el peso 16.