Formal multiple Eisenstein series and their derivations

Sintesi Tecnica: Serie di Eisenstein Multiple Formali e le loro Derivazioni

Enunciato del Problema
Il saggio affronta la struttura algebrica delle serie di Eisenstein multiple e la loro relazione con i valori zeta multipli (MZV) e le forme (quasi)modulari. Mentre le classiche serie di Eisenstein multiple (introdotte da Gangl–Kaneko–Zagier) e le loro versioni regolarizzate soddisfano complesse relazioni algebriche, mancava un quadro puramente formale capace di catturare tali relazioni senza fare affidamento sulla convergenza analitica o su specifiche realizzazioni in serie $q$. Nello specifico, gli autori cercano di definire un'algebra "formale" che rispecchi le proprietà algebriche delle classiche serie di Eisenstein, incluse le loro proprietà sotto le derivazioni, e di stabilire un legame rigoroso tra questa algebra formale e l'algebra dei valori zeta multipli formali.

Metodologia
Gli autori costruiscono l'algebra delle serie di Eisenstein multiple formali, denotata $\mathcal{G}_f$, attraverso un approccio combinatorio e algebrico:

1. Configurazione Algebrica: Definiscono un alfabeto $\mathcal{A} = \{ \binom{k}{d} \mid k \ge 1, d \ge 0 \}$ e considerano l'algebra libera $\mathbb{Q}\langle \mathcal{A} \rangle$. Equipaggiano questo spazio con un prodotto "stuffle" (un prodotto quasi-shuffle) definito dalla regola $\binom{k_1}{d_1} \ast \binom{k_2}{d_2} = \binom{k_1+k_2}{d_1+d_2}$, estendendo lo standard prodotto stuffle usato per gli MZV.
2. Invarianza per Scambio (Swap Invariance): Un passaggio cruciale è l'introduzione di una mappa lineare $\sigma$ (lo "swap") che agisce sulle serie generatrici di parole in $\mathcal{A}$. Questa mappa è motivata dalla coniugazione delle partizioni osservata nelle espansioni in serie $q$ delle serie di Eisenstein multiple. L'algebra $\mathcal{G}_f$ è definita come il quoziente di $(\mathbb{Q}\langle \mathcal{A} \rangle, \ast)$ per l'ideale generato dagli elementi della forma $\sigma(w) - w$. Ciò impone l'invarianza per scambio come una relazione fondamentale.
3. Derivazioni: Gli autori introducono tre derivazioni specifiche, $W$, $D$ e $\delta$, su l'algebra libera sottostante. Dimostrano che queste derivazioni sono $\sigma$-equivarianti (commutano con la mappa di scambio), garantendo che scendano come derivazioni ben definite sull'algebra quoziente $\mathcal{G}_f$.
   • $W$ agisce come un operatore di peso.
   • $D$ agisce come una derivazione che aumenta il peso di 2 (analogamente a $q \frac{d}{dq}$).
   • $\delta$ è una derivazione più complessa di peso $-2$, costruita come somma di cinque derivazioni specifiche su algebre quasi-shuffle.
4. Quoziente verso gli MZV: Definiscono l'algebra dei valori zeta multipli formali, $\mathcal{Z}_f$, come il quoziente di $\mathcal{G}_f$ per un ideale $N$ generato da parole non della forma $\binom{1, \dots, 1, k_1, \dots, k_r}{d_1, \dots, d_s, 0, \dots, 0}$. Ciò corrisponde alla proiezione sul "termine costante".

Contributi Chiave e Risultati

• Definizione di $\mathcal{G}_f$: Il saggio definisce formalmente $\mathcal{G}_f$ come l'algebra delle serie di Eisenstein multiple formali. Si mostra che gli elementi a indice singolo $G_f(k_1, \dots, k_r)$ (dove $d_i=0$) soddisfano le stesse relazioni algebriche delle classiche serie di Eisenstein, incluse le formule ricorsive (Corollario 2.11) e le relazioni di Euler generalizzate (Corollario 2.12).
• Struttura di Algebra $sl_2$: Il risultato primario (Teorema 1.2, Teorema 4.12) stabilisce che $\mathcal{G}_f$ è un'algebra $sl_2$. Le derivazioni $W, D, \delta$ soddisfano le relazioni di commutatore:
  $$[W, D] = 2D, \quad [W, \delta] = -2\delta, \quad [\delta, D] = W.$$
  Questo generalizza la nota struttura $sl_2$ dell'algebra delle forme quasi-modulari all'ambito delle serie di Eisenstein multiple.
• Connessione con gli MZV Formali: Il Teorema 1.1 prova l'esistenza di un omo-morfismo di algebre suriettivo $\pi: \mathcal{G}_f \to \mathcal{Z}_f$ (valori zeta multipli formali) che mappa $G_f(k_1, \dots, k_r)$ in $\zeta_f(k_1, \dots, k_r)$. Il nucleo di questa mappa è descritto esplicitamente. Il Teorema 2.17 dimostra che i valori zeta multipli formalmente definiti in questo modo soddisfano le relazioni di doppio shuffle estese, confermando la coerenza dell'approccio formale con le congetture classiche.
• Forme Quasi-Modulari Formali: La sotto-algebra $\mathcal{M}_f \subset \mathcal{G}_f$ generata da $G_f(2), G_f(4), G_f(6)$ è mostrata essere isomorfa all'algebra delle classiche forme quasi-modulari $\tilde{M}$ come algebra $sl_2$ (Teorema 5.4). Questa sotto-algebra soddisfa le equazioni differenziali di Ramanujan e l'equazione di Chazy.
• Forme Modulari e di Cuspide Formali: Gli autori definiscono le forme modulari formali $\mathcal{M}_f$ come il nucleo di $\delta$ all'interno di $\mathcal{M}_f$ e le forme di cuspide formali $\mathcal{S}_f$ come il nucleo di $\pi$ all'interno di $\mathcal{M}_f$. Dimostrano che questi spazi sono isomorfi ai loro corrispettivi classici (Proposizione 5.7, Corollario 5.9).
• Setup Bilanciato: Il saggio include un'appendice (e la Sezione 6) che descrive un "setup bilanciato" introdotto da Nils Matthes (e Burmester), che fornisce un isomorfismo alternativo tra $\mathcal{G}_f$ e un quoziente di un'algebra libera su un alfabeto differente, offrendo una prospettiva diversa sul prodotto stuffle e sull'invarianza per scambio.

Significato

Il saggio sostiene di fornire un "nuovo e puramente formale approccio" alle (quasi)forme modulari classiche. Costruendo $\mathcal{G}_f$, gli autori creano un nuovo legame tra i valori zeta multipli formali e le forme modulari che non dipende dalle proprietà analitiche delle serie $q$ o dalla convergenza delle serie di Eisenstein.

La significatività risiede in:

1. Unificazione: Unifica le strutture algebriche dei valori zeta multipli e delle serie di Eisenstein multiple sotto un unico quadro formale dove la proiezione del "termine costante" è un omo-morfismo di algebre.
2. Derivazioni: Estende la struttura di algebra $sl_2$ delle forme quasi-modulari all'ambito delle serie di Eisenstein multiple, fornendo formule esplicite per le derivazioni che erano precedentemente note solo nell'ambito analitico classico.
3. Relazioni Formali: Offre una nuova prospettiva sulle relazioni di doppio shuffle estese, mostrando che esse sono equivalenti alla combinazione dell'invarianza per scambio, del prodotto stuffle e del quoziente specifico che definisce gli MZV formali.

Gli autori notano che, sebbene l'algebra formale $\mathcal{G}_f$ sia congetturata essere generata da elementi a indice singolo (Congettura 2.6) e isomorfa allo spazio delle serie di Eisenstein multiple combinatorie (Congettura 4.18), queste rimangono problemi aperti. Il lavoro stabilisce le fondamenta algebriche necessarie per esplorare ulteriormente queste connessioni.