Schur Eisenstein series and Schur MacMahon series

Resumo Técnico: Séries de Schur-Eisenstein e Séries de Schur-MacMahon

Enunciado do Problema
O artigo aborda a relação estrutural entre duas famílias de formas quase modulares indexadas por partições: as clássicas somas de divisores de MacMahon (generalizadas para séries de Schur-MacMahon) e as séries de Eisenstein múltiplas (generalizadas para séries de Schur-Eisenstein). Embora a relação entre os casos de coluna única (séries de MacMahon $A_r$ e séries de Eisenstein múltiplas todas-2 $G_{\{2\}r}$) tenha sido estabelecida anteriormente pelo primeiro autor, faltava um arcabouço unificado para diagramas de Young arbitrários. Os autores visam definir essas famílias generalizadas, estabelecer uma transição explícita entre elas, analisar suas estruturas diferenciais sob a ação clássica de $\mathfrak{sl}_2$ e investigar seu papel na formação de bases para o anel de formas quase modulares, particularmente em relação aos coeficientes integrais.

Metodologia
Os autores empregam a teoria das funções simétricas como a linguagem unificadora. Eles definem três homomorfismos de álgebra do anel de funções simétricas $\Lambda$ (sobre $\mathbb{Q}$) para o anel de formas quase modulares $\mathcal{M}$:

1. $\Phi_\beta$: Mapeia as somas de potências $p_r$ para valores zeta múltiplos de Schur renormalizados $\beta_{2r} = \zeta(2r)/(2\pi i)^{2r}$.
2. $\Phi_g$: Mapeia $p_r$ para a série de MacMahon $P_r = \sum_{m \ge 1} (q^m/(1-q^m)^2)^r$. A imagem de uma função de Schur $s_\lambda$ sob este mapa é a série de Schur-MacMahon $g(\lambda)$.
3. $\Phi_G$: Mapeia $p_r$ para a série de Eisenstein renormalizada $G_{2r}$. A imagem de $s_\lambda$ é a série de Schur-Eisenstein $G(\lambda)$.

A metodologia central envolve:

• Transição Algébrica de Hopf: Utilizar um coproduto de Faà di Bruno deformado $\Delta_F$ em $\Lambda$ para construir um automorfismo $\theta$ tal que $\Phi_G = \Phi_g \circ \theta$. Isso interpreta a transição entre as duas famílias como uma convolução em uma álgebra de Hopf.
• Análise Combinatória: Usar números fatoriais centrais do primeiro e segundo tipo para computar explicitamente os coeficientes da transição $\theta$.
• Cálculo Diferencial: Definir derivações em $\Lambda$ ($D_\Lambda, W_\Lambda, \delta_\Lambda$) que elevam a ação da tripla $\mathfrak{sl}_2$ clássica sobre $\mathcal{M}$ (graduação de peso, derivada $q \frac{d}{dq}$, e o operador $\delta = -\frac{1}{2}\frac{\partial}{\partial G_2}$).
• Divisibilidade 2-ádica: Empregar propriedades da equação diferencial de Weierstrass e as valorações 2-ádicas de polinômios de Eisenstein para provar resultados de independência linear.

Principais Contribuições e Resultados

1. Teorema da Transição Explícita (Teorema Principal A):
   Os autores provam que a série de Schur-Eisenstein $G(\lambda)$ pode ser expressa como uma combinação linear de séries de Schur-MacMahon $g(\mu)$, onde $\mu$ é um subdiagrama de $\lambda$. Especificamente, $G(\lambda) = \beta(\lambda) + \sum_{0 < |\mu| < |\lambda|} d_\lambda(\mu) g(\mu) + g(\lambda)$. Os coeficientes $d_\lambda(\mu)$ são inteiros (combinações lineares de valores zeta renormalizados) e são determinados por números fatoriais centrais. Esta transição é realizada via o automorfismo $\theta$ de $\Lambda$, que é mostrado ser o automorfismo de enrolamento associado à convolução do caráter zeta e da especialização de MacMahon.

2. Estrutura $\mathfrak{sl}_2$ (Teorema Principal B):
   O artigo constrói uma elevação da tripla $\mathfrak{sl}_2$ clássica $(D, W, \delta)$ em $\mathcal{M}$ para o anel de funções simétricas $\Lambda$.

   • O operador de abaixamento $\delta$ atua em $G(\lambda)$ somando sobre todas as partições obtidas pela remoção de uma única caixa de $\lambda$.
   • O operador de elevação $D$ atua em $G(\lambda)$ via uma fórmula determinante envolvendo as séries de coluna $G_{\{2\}k}$.
   • Os autores mostram que conjugar esta tripla por $\theta$ produz uma tripla correspondente adaptada às séries de Schur-MacMahon $g(\lambda)$, recuperando as fórmulas de derivada de Andrews–Rose.

3. Teorema da Base (Teorema Principal C):
   Os autores provam que, para qualquer peso $2n$, o conjunto de séries de Schur-Eisenstein $\{G(\lambda) \mid \lambda \vdash n, \lambda_1 \le 3\}$ forma uma base para o espaço de formas quase modulares $\mathcal{M}_{2n}$.

   • A prova baseia-se no fato de que a matriz de transição da base monomial $G_2^a G_4^b G_6^c$ para a base de Schur é unitriangular superior módulo 2.
   • Isso estabelece que partições com partes de tamanho no máximo 3 são suficientes para gerar todo o anel de formas quase modulares, espelhando o fato de que $\mathcal{M} = \mathbb{Q}[G_2, G_4, G_6]$.

4. Conjectura de Espalhamento Integral (Conjectura Principal D):
   O artigo define a rede integral $\mathcal{M}_\mathbb{Z} = \mathcal{M} \cap \mathbb{Z}[[q]]$ e o subanel gerado por séries de Schur-MacMahon com coeficientes inteiros, $\mathcal{G}_\mathbb{Z} = \mathbb{Z}[A_1, A_2, \dots]$.

   • Os autores conjecturam que $\mathcal{G}_\mathbb{Z} = \mathcal{M}_\mathbb{Z}$, significando que as séries de Schur-MacMahon geram toda a rede integral de formas quase modulares.
   • Eles fornecem evidência computacional verificando esta igualdade para pesos até 16 e propõem um limite refinado $B(k)$ para o tamanho das partições necessárias para gerar formas de peso $\le k$.

Significância e Alegações
O artigo afirma fornecer uma "correção homogênea natural" das séries de peso misto de MacMahon via séries de Schur-Eisenstein, generalizando resultados anteriores de colunas únicas para diagramas de Young arbitrários. Ao interpretar a transição entre essas famílias através da lente de uma álgebra de Hopf de Faà di Bruno, os autores unificam os termos constantes (valores zeta), a estrutura filtrada (séries de MacMahon) e a estrutura homogênea (séries de Eisenstein) dentro de um único arcabouço de funções simétricas.

A significância do teorema da base reside em identificar um subconjunto combinatoriamente natural de partições (aquelas com tamanho máximo de parte 3) que gera todo o espaço de formas quase modulares, oferecendo uma nova perspectiva sobre a estrutura algébrica de $\mathcal{M}$. A conjectura integral sugere que as séries de Schur-MacMahon não são apenas uma base racional, mas uma base integral completa, capturando todas as congruências divididas dentro do anel de formas quase modulares. Os autores observam que, embora a geração racional seja provada, a igualdade integral permanece uma conjectura apoiada por verificação computacional até o peso 16.