Dimension formulas for modular form spaces of rational weights, the classification of eta-quotient characters and an extension of Martin's theorem

Sintesi Tecnica: Formule di Dimensione per Spazi di Forme Modulari di Pesi Razionali, la Classificazione dei Caratteri di Quoziente di Eta e un'Estensione del Teorema di Martin

Enunciato del Problema
Il saggio affronta la mancanza di attenzione sistematica e di strumenti computazionali espliciti per le forme modulari di pesi razionali, in particolare quelle con sistemi moltiplicativi indotti da quozienti di eta con esponenti frazionari. Sebbene esistano formule di dimensione per pesi interi e semi-interi (spesso basate su caratteri di Dirichlet o moltiplicatori di serie theta), le formule esplicite per pesi razionali generali $k \in \mathbb{Q}$ con moltiplicatori di quoziente di eta sono state scarse o incomplete. Inoltre, la classificazione dei caratteri indotti dai quozienti di eta sul doppio rivestimento di $\Gamma_0(N)$ e l'estensione delle proprietà moltiplicative (comportamento di autoforma di Hecke) a questi contesti di peso razionale rimangono sfide aperte.

Metodologia
L'autore utilizza un approccio basato sulla teoria dei divisori basato sul classico teorema di Riemann-Roch e sulla formula di Riemann-Hurwitz, seguendo il metodo stabilito da Petersson [Pet38]. Il quadro tecnico centrale prevede:

1. Formalismo D-Cover: Il saggio utilizza il $D$-cover di $GL_2^+(\mathbb{R})$ per gestire la natura multivalore delle potenze frazionarie nel fattore automorfico $(c\tau+d)^k$. Ciò consente di trattare i sistemi moltiplicativi come caratteri di gruppo sul rivestimento.
2. Costruzione del Divisore: Un divisore a valori in $\mathbb{Q}$ è associato alle forme modulari meromorfe di peso razionale sulla curva modulare compatta $X_{\Gamma_0(N)}$. La formula di valenza è stabilita per pesi razionali, collegando il grado del divisore al peso $k$ e all'indice del gruppo.
3. Valutazione Esplicita: La principale conquista tecnica è la valutazione esplicita della formula di tipo divisore per i sistemi moltiplicativi dei quozienti di eta. Ciò comporta il calcolo degli ordini dei quozienti di eta ai cuspidi utilizzando somme di Dedekind e formule di trasformazione.
4. Algebra Lineare e Inversione: Per relazionare gli esponenti dei quozienti di eta ai loro ordini ai cuspidi, il saggio utilizza una trasformazione di matrice invertibile (basata sul lavoro di Bhattacharya) per risolvere per gli esponenti dati gli ordini, e viceversa.
5. Estensione dell'Operatore di Hecke: Per l'applicazione riguardante la moltiplicatività, il saggio estende la teoria di Wohlfahrt degli operatori di doppio coset ai pesi razionali e ai quozienti di eta con sistemi moltiplicativi arbitrari, derivando formule esplicite per l'azione di questi operatori sui coefficienti di Fourier.

Contributi Chiave e Risultati

1. Formule di Dimensione Esplicite (Teorema Principale):
   Il saggio fornisce una formula esplicita per $\dim_{\mathbb{C}} M_k(\Gamma_0(N), \chi)$ dove $k \in \mathbb{Q}$ e $\chi$ è il sistema moltiplicativo indotto da un quoziente di eta $f = \prod_{n|N} \eta(n\tau)^{r_n}$ con esponenti frazionari $r_n \in \mathbb{Q}$.

• La formula è valida sotto specifiche condizioni sul peso $k$ rispetto al livello $N$ e sugli ordini ai cuspidi (specificamente quando $k > 2 - \dots$ o quando la dimensione è sufficientemente grande).
• La formula generalizza i risultati precedenti di Ibukiyama e altri, coprendo casi in cui il sistema moltiplicativo non è indotto da un carattere di Dirichlet o dalla serie theta.
• Liste complete di dimensioni per pesi $1/2, 1, 3/2$ e piccoli livelli sono generate e presentate in tabelle.

2. Classificazione dei Caratteri di Quoziente di Eta:
   Il saggio classifica completamente i caratteri lineari indotti da quozienti di eta con esponenti interi sul doppio rivestimento di $\Gamma_0(N)$.

• Stabilisce una biiezione tra questi caratteri e specifici vettori di esponenti modulo un sottogruppo $Z(N)$.
• Conteggi concreti sono forniti per vari livelli; ad esempio, esistono esattamente 384 tali caratteri sul doppio rivestimento di $\Gamma_0(4)$ per ogni peso fissato $k \in \frac{1}{2}\mathbb{Z}$.

3. Estensione del Teorema di Martin:
   Il saggio estende la classificazione di Yves Martin del 1996 dei quozienti di eta olistomorfi moltiplicativi (pesi interi, moltiplicatori di carattere di Dirichlet) a un ambito più ampio.

• Moltiplicatività Generalizzata: La definizione di moltiplicatività è estesa ai quozienti di eta con sistemi moltiplicativi arbitrari.
• Quozienti di Eta Ammissibili: L'autore identifica i quozienti di eta "ammissibili" (quelli che giacciono in spazi monodimensionali o soddisfano specifiche condizioni di forma di cuspide) e dimostra che sono autoforme per un insieme generalizzato di operatori di Hecke (estensione di Wohlfahrt).
• Tabella dei Risultati: Una tabella contenente 2.277 tali quozienti di eta ammissibili (Tipo I) è presentata per i livelli $N \in \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 17, 19, 21, 27\}$.
• Identità: Il saggio deriva nuove identità riguardanti i coefficienti di Fourier di questi quozienti di eta, mostrando che $c_f(n_1)c_f(n_2) = c_f(n_1 n_2)$ per $n_1, n_2$ coprimi sotto specifiche condizioni.

4. Applicazione a Prodotti Infiniti:
   Come applicazione diretta delle formule di dimensione, il saggio deriva espressioni in serie per i coefficienti di Fourier della radice $n$-esima di determinati prodotti $q$-infiniti. Identificando spazi monodimensionali dove un quoziente di eta è proporzionale a una serie di Eisenstein, si ottengono formule esplicite per i coefficienti.

Significatività e Rivendicazioni
Il saggio sostiene di colmare una lacuna nella teoria delle forme modulari fornendo le prime formule di dimensione completamente esplicite per le forme modulari di peso razionale con moltiplicatori di quoziente di eta. Afferma che queste formule non sono meramente teoriche ma computazionalmente efficaci, come dimostrato dalla generazione di estese tabelle e programmi SageMath.

Per quanto riguarda l'estensione del teorema di Martin, il saggio sostiene di ampliare significativamente l'ambito dei noti quozienti di eta moltiplicativi. Rilassando il requisito dei moltiplicatori di carattere di Dirichlet e incorporando pesi razionali (tramite il $D$-cover), l'autore identifica oltre 2.000 nuovi esempi di autoforme di Hecke. Il saggio sottolinea che questi risultati si basano sull'identificazione di spazi monodimensionali, una tecnica che permette di derivare relazioni non banali tra i coefficienti di Fourier senza richiedere una teoria di Hecke completa per pesi razionali generali, che l'autore nota non sia ancora pienamente sviluppata.

Il lavoro è presentato come un passo fondamentale, fornendo gli strumenti necessari (formule di dimensione, classificazione dei caratteri e azioni degli operatori) per esplorare ulteriormente le forme modulari di non-congruenza e le proprietà aritmetiche dei quozienti di eta con esponenti frazionari.