Formal multiple Eisenstein series and their derivations

Resumo Técnico: Séries de Eisenstein Múltiplas Formais e Suas Derivações

Enunciado do Problema
O artigo aborda a estrutura algébrica das séries de Eisenstein múltiplas e sua relação com valores zeta múltiplos (MZVs) e formas (quasi)modulares. Embora as séries de Eisenstein clássicas (introduzidas por Gangl–Kaneko–Zagier) e suas versões regularizadas satisfaçam relações algébricas complexas, um arcabouço puramente formal que capture essas relações sem depender da convergência analítica ou de realizações específicas de séries $q$ tem sido inexistente. Especificamente, os autores buscam definir uma álgebra "formal" que espelhe as propriedades algébricas das séries de Eisenstein clássicas, incluindo seu comportamento sob derivações, e estabelecer um elo rigoroso entre esta álgebra formal e a álgebra dos valores zeta múltiplos formais.

Metodologia
Os autores constroem a álgebra das séries de Eisenstein múltiplas formais, denotada por $\mathcal{G}_f$, através de uma abordagem combinatória e algébrica:

1. Configuração Algébrica: Eles definem um alfabeto $\mathcal{A} = \{ \binom{k}{d} \mid k \ge 1, d \ge 0 \}$ e consideram a álgebra livre $\mathbb{Q}\langle \mathcal{A} \rangle$. Eles equipam este espaço com um produto "stuffle" (um produto quasi-shuffle) definido pela regra $\binom{k_1}{d_1} \ast \binom{k_2}{d_2} = \binom{k_1+k_2}{d_1+d_2}$, estendendo o produto stuffle padrão usado para MZVs.
2. Invariância de Troca (Swap Invariance): Um passo crucial é a introdução de um mapa linear $\sigma$ (a "troca" ou swap) atuando sobre séries geradoras de palavras em $\mathcal{A}$. Este mapa é motivado pela conjugação de partições observada nas expansões de séries $q$ de séries de Eisenstein múltiplas. A álgebra $\mathcal{G}_f$ é definida como o quociente de $(\mathbb{Q}\langle \mathcal{A} \rangle, \ast)$ pelo ideal gerado por elementos da forma $\sigma(w) - w$. Isso impõe a "invariância de troca" como uma relação fundamental.
3. Derivações: Os autores introduzem três derivações específicas, $W$, $D$ e $\delta$, sobre a álgebra livre subjacente. Eles provam que estas derivações são $\sigma$-equivariantes (comutam com o mapa de troca), garantindo que descendam para derivações bem definidas no quociente $\mathcal{G}_f$.
   • $W$ atua como um operador de peso.
   • $D$ atua como uma derivação que aumenta o peso em 2 (análogo a $q \frac{d}{dq}$).
   • $\delta$ é uma derivação mais complexa de peso $-2$, construída como uma soma de cinco derivações específicas em álgebras quasi-shuffle.
4. Quociente para MZVs: Eles definem a álgebra dos valores zeta múltiplos formais, $\mathcal{Z}_f$, como o quociente de $\mathcal{G}_f$ por um ideal $N$ gerado por palavras que não são da forma $\binom{1, \dots, 1, k_1, \dots, k_r}{d_1, \dots, d_s, 0, \dots, 0}$. Isso corresponde à projeção sobre o "termo constante".

Principais Contribuições e Resultados

• Definição de $\mathcal{G}_f$: O artigo define formalmente $\mathcal{G}_f$ como a álgebra das séries de Eisenstein múltiplas formais. Mostra-se que os elementos de índice único $G_f(k_1, \dots, k_r)$ (onde $d_i=0$) satisfazem as mesmas relações algébricas que as séries de Eisenstein clássicas, incluindo fórmulas recursivas (Corolário 2.11) e relações de Euler generalizadas (Corolário 2.12).
• Estrutura de Álgebra $sl_2$: O resultado principal (Teorema 1.2, Teorema 4.12) estabelece que $\mathcal{G}_f$ é uma álgebra $sl_2$. As derivações $W, D, \delta$ satisfazem as relações de comutador:
  $$[W, D] = 2D, \quad [W, \delta] = -2\delta, \quad [\delta, D] = W.$$
  Isso generaliza a estrutura $sl_2$ conhecida da álgebra de formas quasimodulares para o contexto das séries de Eisenstein múltiplas.
• Conexão com MZVs Formais: O Teorema 1.1 prova a existência de um homomorfismo de álgebra sobrejetor $\pi: \mathcal{G}_f \to \mathcal{Z}_f$ (valores zeta múltiplos formais) que mapeia $G_f(k_1, \dots, k_r)$ para $\zeta_f(k_1, \dots, k_r)$. O núcleo deste mapa é explicitamente descrito. O Teorema 2.17 demonstra que os valores zeta múltiplos definidos desta forma satisfazem as relações de double shuffle estendidas, confirmando a consistência da abordagem formal com as conjecturas clássicas.
• Formas Quasimodulares Formais: A subálgebra $\mathcal{M}_f \subset \mathcal{G}_f$ gerada por $G_f(2), G_f(4), G_f(6)$ é mostrada como sendo isomórfica à álgebra das formas quasimodulares clássicas $\tilde{M}$ como uma álgebra $sl_2$ (Teorema 5.4). Esta subálgebra satisfaz as equações diferenciais de Ramanujan e a equação de Chazy.
• Formas Modulares e Cúspicas Formais: Os autores definem as formas modulares formais $\mathcal{M}_f$ como o núcleo de $\delta$ dentro de $\mathcal{M}_f$ e as formas cúspicas formais $\mathcal{S}_f$ como o núcleo de $\pi$ dentro de $\mathcal{M}_f$. Eles provam que estes espaços são isomórficos aos seus contrapartes clássicos (Proposição 5.7, Corolário 5.9).
• Configuração Balanceada (Balanced Setup): O artigo inclui um apêndice (e a Seção 6) descrevendo uma "configuração balanceada" introduzida por Nils Matthes (e Burmester), que fornece um isomorfismo alternativo entre $\mathcal{G}_f$ e um quociente de uma álgebra livre sobre um alfabeto diferente, oferecendo uma perspectiva diferente sobre o produto stuffle e a invariância de troca.

Significância
O artigo afirma fornecer uma "abordagem nova e puramente formal" para as (quasi)formas modulares clássicas. Ao construir $\mathcal{G}_f$, os autores constroem um novo elo entre os valores zeta múltiplos formais e as formas modulares que não depende das propriedades analíticas de séries $q$ ou da convergência de séries de Eisenstein.

A significância reside em:

1. Unificação: Unifica as estruturas algébricas de valores zeta múltiplos e séries de Eisenstein múltiplas sob um único arcabouço formal onde a projeção do "termo constante" é um homomorfismo de álgebra.
2. Derivações: Estende a estrutura de álgebra $sl_2$ das formas quasimodulares para o domínio das séries de Eisenstein múltiplas, fornecendo fórmulas explícitas para derivações que anteriormente eram conhecidas apenas no contexto analítico clássico.
3. Relações Formais: Oferece uma nova perspectiva sobre as relações de double shuffle estendidas, mostrando que elas são equivalentes à combinação da invariância de troca, o produto stuffle e o quociente específico que define os MZVs formais.

Os autores observam que, embora seja conjecturado que a álgebra formal $\mathcal{G}_f$ seja gerada por elementos de índice único (Conjectura 2.6) e isomórfica ao espaço das séries de Eisenstein múltiplas combinatórias (Conjectura 4.18), estes permanecem problemas abertos. O trabalho estabelece as fundações algébricas necessárias para explorar essas conexões futuramente.