Towards a generalized Maeda conjecture for modular forms with quadratic nebentypus

Sintesi Tecnica: Verso una Congettura di Maeda Generalizzata per le Forme Modulari con Nebentypus Quadratico

Enunciazione del Problema
Il lavoro affronta il comportamento asintotico del numero di orbite di Galois delle forme nuove nello spazio $S_k(\Gamma_0(N), \Psi)$ all'aumentare del peso $k$. Mentre la congettura di Maeda prevede una singola orbita di Galois per livello 1, livelli superiori generalmente producono multiple orbite. Lavori precedenti di Dieulefait, Pacetti e Tsaknias (DPT21) hanno stabilito un limite inferiore per il numero di orbite di Galois non-CM, $N_{CM}(N, k)$, per nebentypus banale utilizzando tipi inerziali locali e segni di Atkin-Lehner come invarianti globali. Questo lavoro estende tale quadro al caso di nebentypus quadratico non banale $\Psi$. Una sfida primaria in questo contesto è che la teoria classica di Atkin-Lehner non è direttamente disponibile e l'azione di Galois non preserva lo spazio $S_k(\Gamma_0(N), \Psi)$ a meno che $\Psi$ non sia invariante per Galois (ciò vale per i caratteri quadratici).

Metodologia
Gli autori sviluppano un quadro locale-globale per contare le coppie ammissibili di invarianti che definiscono le orbite di Galois. La metodologia procede in tre fasi principali:

1. Analisi Locale dei Tipi Inerziali:
   Il lavoro analizza le orbite di Galois dei tipi inerziali locali per $GL_2(\mathbb{Q}_p)$ sotto il vincolo di un carattere centrale quadratico. Utilizzando la corrispondenza di Langlands locale, gli autori classificano le rappresentazioni in serie principali, Steinberg (speciali) e tipi supercuspidali. Calcolano esplicitamente il numero di distinte orbite di Galois dei tipi inerziali locali, denotato $LT(p^n, \Psi)$, per primi dispari $p$, distinguendo tra casi di nebentypus localmente tamemente ramificato e non ramificato. Ciò implica un'analisi dettagliata di teoria dei gruppi dei gruppi moltiplicativi in estensioni quadratiche e l'azione del gruppo di Galois assoluto sui caratteri primitivi.

2. Invarianti Globali e Pseudo-autovalori di Atkin-Li:
   Per rifinire il conteggio, gli autori introducono il pseudo-autovalore di Atkin-Li come secondo invariante. Stabiliscono l'equivarianza di Galois di questi pseudo-autovalori (Teorema 4.5), mostrando che sotto coniugazione di Galois $\sigma$, l'autovalore si trasforma come $\lambda_p(f^\sigma) = \Psi_p(\chi_p(\sigma))\sigma(\lambda_p(f))$. Poiché $\Psi$ è quadratico, ciò porta a una relazione di equivalenza $\sim$ sul cerchio unitario $S^1$.
   Crucialmente, gli autori affrontano il problema secondo cui twist con alta ramificazione possono oscurare l'autovalore originale. Definiscono il pseudo-autovalore di Atkin-Li minimale (tramite twist quadratici minimi) per garantire che l'invariante sia ben definito e equivariante per Galois.
   Il Teorema 4.13 determina quando un tipo locale fissa univocamente il pseudo-autovalore e quando ne permette due valori che differiscono per un segno. Ciò porta a una classificazione dei tipi locali in orbite simmetriche (dove $\lambda \sim -\lambda$) e orbite asimmetriche (dove $\lambda \not\sim -\lambda$).

3. Esistenza e Realizzazione:
   Il lavoro dimostra che ogni coppia compatibile di un'orbita di tipo inerziale locale e una classe di equivalenza di pseudo-autovalori di Atkin-Li minimi è realizzata da una forma nuova non-CM per pesi sufficientemente grandi. Ciò si basa su risultati di molteplicità limite di Weinstein (per le serie principali) e Kim-Shin-Templier (per le serie discrete). Viene posta una restrizione sul livello $N$: deve essere una potenza di un primo o soddisfare $v_p(N) \ge 3$ (dispari) per ogni $p|N$, garantendo che le rappresentazioni locali prescritte possano essere fissate simultaneamente tramite metodi della formula delle tracce.

Contributi e Risultati Chiave

• Estensione del Quadro del Limite Inferiore: Il lavoro generalizza il limite inferiore DPT21 al nebentypus quadratico. Definisce $LO(p^n, \Psi)$ come il numero di coppie compatibili di orbite di Galois di tipo locale e classi di equivalenza di pseudo-autovalori di Atkin-Li minimi.
• Formule di Conteggio Esplicite: Gli autori forniscono formule esplicite per $LT(p^n, \Psi)$ e $LO(p^n, \Psi)$ nelle Tabelle 4–7, coprendo casi per nebentypus localmente tamemente ramificato e non ramificato, e distinguendo tra $p=3$ e $p \neq 3$.
• Il Teorema Principale (Teorema 1.1): Per $N$ che soddisfa le condizioni specificate e $\Psi$ un carattere quadratico, esiste un $k_0$ tale che per ogni $k \ge k_0$:
  $$\prod_{p|N} LO(p^{v_p(N)}, \Psi) \le N_{CM}(N, k, \Psi)$$
  Ciò stabilisce un limite inferiore concreto per il numero di orbite di Galois non-CM.
• Orbite Simmetriche vs Asimmetriche: Un contributo innovativo è la distinzione tra orbite simmetriche e asimmetriche riguardo al segno del pseudo-autovalore. Gli autori mostrano che mentre l'analisi locale determina il numero di tipi, l'azione globale di Galois determina se i due possibili segni ($\lambda, -\lambda$) collassano in un unico invariante o rimangono distinti. Ciò introduce un parametro $|S_{asym}|$ nella formula di conteggio finale, che non può sempre essere calcolato esplicitamente senza dati globali.
• Evidenza Computazionale: Utilizzando dati dal LMFDB, gli autori dimostrano che per piccoli pesi può verificarsi la disuguaglianza stretta $LO < N_{CM}$. Ciò indica che invarianti locali distinti globalmente possono essere identificati dall'azione di Galois in un modo che i campi di coefficienti locali delle forme di piccolo peso non possono ancora realizzare.

Significato e Affermazioni
Il lavoro afferma di fornire il primo limite inferiore sistematico per il numero di orbite di Galois nel contesto del nebentypus quadratico, colmando un vuoto lasciato da lavori precedenti sul nebentypus banale. Gli autori affermano che il loro quadro adatta con successo la strategia di conteggio "locale-globale" a un contesto in cui il carattere centrale impone vincoli rigorosi e i segni classici di Atkin-Lehner sono sostituiti da pseudo-autovalori.

Il lavoro rimane modesto riguardo al conteggio asintotico esatto. Sebbene si congettur (basandosi sulla filosofia di Maeda generalizzata) che il limite inferiore $LO(N)$ possa alla fine eguagliare $N_{CM}(N, k, \Psi)$, l'evidenza computazionale presentata suggerisce che per il nebentypus quadratico la disuguaglianza può essere stretta anche per pesi grandi. Ciò implica che certe equivalenze locali (specificamente riguardo al segno del pseudo-autovalore) non sono sempre realizzate globalmente dalla coniugazione di Galois sui campi di coefficienti delle forme modulari, un fenomeno non presente nel caso del nebentypus banale. Il lavoro prepara il terreno per comprendere il comportamento asintotico delle forme modulari con caratteri non banali, sebbene la determinazione esplicita del contributo delle orbite asimmetriche rimanga una sfida per livelli generali.