Eichler-Selberg relations for the third-order mock theta functions

Sintesi Tecnica: Relazioni di Eichler-Selberg per le Funzioni Mock Theta di Terzo Ordine

Enunciato del Problema
Il saggio affronta le proprietà strutturali delle funzioni mock theta di terzo ordine di Ramanujan, specificamente $f(q)$ e $\omega(q)$. Sebbene la modularità di queste funzioni sia stata stabilita attraverso la teoria delle forme di Maass armoniche di Zwegers, il saggio mira a generalizzare le identità classiche che mettono in relazione queste funzioni con le serie di Appell-Lerch. Nello specifico, si pone l'obiettivo di estendere l'identità nota di Watson per $f(q)$, che mette in relazione una somma coinvolgente i coefficienti di $f(q)$ con una serie di Appell-Lerch, in un quadro più ampio di relazioni di "tipo Eichler-Selberg". Tali relazioni collegano tipicamente somme di coefficienti pesati da polinomi (che coinvolgono i polinomi di Chebyshev) a forme modulari, analogamente alla formula del numero di classe di Eichler-Selberg.

Metodologia
L'autore utilizza la teoria delle forme di Maass armoniche e la proiezione olofomorfa per derivare queste relazioni. Il quadro metodologico procede in tre fasi principali:

1. Identificazione dei Componenti Modulari: Il saggio utilizza il completamento delle funzioni mock theta di Zwegers. Per $f(q)$, la funzione viene completata in una forma modulare reale-analitica vettoriale-valutata $H(\tau)$ di peso $1/2$. La prima componente, $H_1(\tau)$, è correlata a $f(q)$ tramite $q^{-1/24}f(q)$ più un integrale non olofomorfo che coinvolge una serie theta.
2. Parentesi di Rankin-Cohen: La tecnica centrale consiste nella costruzione della parentesi di Rankin-Cohen $[H_1, \eta]_v$ (e analogamente $[H_2, \eta]_v$ per $\omega(q)$), dove $\eta(\tau)$ è la funzione eta di Dedekind. Questa parentesi combina la forma di Maass armonica con una forma modulare per produrre una forma modulare reale-analitica di peso $2v+1$.
3. Proiezione Olofomorfa: L'autore applica l'operatore di proiezione olofomorfa $\pi_{hol}$ a queste parentesi di Rankin-Cohen. Questo operatore mappa la forma modulare reale-analitica nello spazio $M_{2v+1}(\Gamma_0(8), \chi)$. I coefficienti di Fourier della forma olofomorale risultante vengono calcolati esplicitamente tramite una formula integrale che coinvolge la parte non olofomorfa della funzione originale.
4. Determinazione delle Serie di Eisenstein: Per identificare la forma modulare risultante, l'autore determina la sua componente di Eisenstein analizzando i suoi valori ai cuspidi di $\Gamma_0(8)$ (specificamente $i\infty, 0, 1/2, 1/4$). Risolvendo un sistema di equazioni lineari basato su questi valori ai cuspidi, la parte di Eisenstein viene espressa in termini di serie di Eisenstein standard, che vengono poi convertite in serie di Lambert.

Contributi Chiave e Risultati

• Generalizzazione dell'Identità di Watson (Teorema 1): Il saggio stabilisce una naturale generalizzazione dell'identità di Watson per $f(q)$. Per ogni intero $v \geq 1$, una specifica serie $q$ coinvolgente i coefficienti $c_f(n)$ di $f(q)$, pesati dai polinomi di Chebyshev $T_{2v}$, si dimostra essere una forma di cuspide in $S_{2v+1}(\Gamma_0(8), \left(\frac{-1}{\cdot}\right))$.

  • L'identità equipara una doppia somma coinvolgente $c_f(n)$ e $T_{2v}$ a una combinazione di serie di tipo Appell-Lerch e serie di Lambert che rappresentano serie di Eisenstein.
  • Risultati di Vanidimento: Per $v=1$ e $v=2$, la forma di cuspide risultante svanisce identicamente. Ciò recupera le identità note (inclusa l'originale di Watson) come casi particolari.
  • Caso di Non-Vanidimento: Per $v=3$, la forma di cuspide non è nulla ed è esplicitamente identificata come un multiplo del quoziente eta $\eta^4(z)\eta^{10}(2z)$.

• Risultato Analogico per $\omega(q)$ (Teorema 2): Un teorema parallelo è dimostrato per la funzione mock theta di terzo ordine $\omega(q)$. Il saggio stabilisce una relazione di tipo Eichler-Selberg in cui una serie $q$ coinvolgente i coefficienti $c_\omega(n)$ e i polinomi di Chebyshev produce una forma di cuspide in $S_{2v+1}(\Gamma_0(8), \chi_{-4})$.

  • Similmente al Teorema 1, questa forma di cuspide svanisce per $v=1$ e $v=2$, recuperando l'identità classica per $\omega(q)$, ma è non nulla per pesi superiori.

• Lemmi Tecnici: Il saggio fornisce prove rigorose per diverse identità di serie $q$ (Lemmi 7–11) che facilitano la trasformazione tra serie theta indefinite di tipo Hecke e generalizzate serie di Appell-Lerch, nonché la conversione delle serie di Eisenstein in serie di Lambert.

Significatività e Rivendicazioni
Il saggio sostiene di fornire una "naturale generalizzazione" delle identità classiche per le funzioni mock theta di terzo ordine. La principale significatività risiede in:

1. Estensione dell'Ambito: Esso va oltre il caso specifico di $v=0$ (o peso 1) a pesi arbitrari $2v+1$, rivelando una famiglia di identità parametrizzate da $v$.
2. Estensione Metodologica: L'autore afferma che il metodo presentato — l'utilizzo delle parentesi di Rankin-Cohen di forme di Maass armoniche e della proiezione olofomorfa — può essere esteso per studiare altre classi di funzioni mock theta oltre il terzo ordine.
3. Novità: Il saggio nota che le specifiche identità derivate per $v=1$ e $v=2$ (che risultano in forme di cuspide nulle) e la forma esplicita della forma di cuspide non nulla per $v=3$ non erano precedentemente apparse nella letteratura.

Il lavoro è inquadrato come un contributo alla teoria aritmetica delle funzioni mock theta, collegando i loro coefficienti alla teoria delle forme modulari e dei numeri di classe attraverso la lente delle forme di Maass armoniche.