On Arthur packets containing a fixed tempered representation

1. Il Problema

Il lavoro si inserisce nel programma di Langlands locale per i gruppi riduttivi su campi $p$-adici. Il problema centrale affrontato è la determinazione del numero di pacchetti di Arthur locali ($\Pi_\psi$) che contengono una specifica rappresentazione temperata irriducibile $\pi$ di un gruppo classico $p$-adico (in particolare forme interne pure di gruppi ortogonali o simplittici quasi-split).

Mentre la corrispondenza di Langlands locale parametrizza le rappresentazioni temperate tramite parametri di Arthur limitati, i pacchetti di Arthur tendono ad avere intersezioni non banali. Comprendere queste intersezioni è fondamentale, ma gli algoritmi combinatori esistenti spesso non forniscono risposte uniformi e chiare su quante intersezioni contengano una data $\pi$. Un caso noto è quello in cui $\pi$ è supercuspidale: in tal caso, $\pi$ appartiene al numero massimo possibile di pacchetti di Arthur (risultato di Mœglin). L'obiettivo di questo articolo è generalizzare tale risultato fornendo una formula ricorsiva per una classe più ampia di rappresentazioni temperate.

2. Metodologia

Gli autori adottano un approccio combinatorio basato sulla teoria dei multi-segmenti estesi (extended multi-segments), che parametrizzano i pacchetti di Arthur per parametri di buona parità.

• Parametrizzazione: Utilizzano la corrispondenza tra rappresentazioni temperate e multi-segmenti estesi $E$ (definiti tramite segmenti $[A, B]_\rho$, interi $l$ e segni $\eta$).
• Decomposizione in Blocchi: La chiave metodologica è la decomposizione di un multi-segmento esteso temperato $E$ in blocchi disgiunti (Definizione 3.3). Un blocco è un sotto-insieme massimale di segmenti che soddisfano condizioni specifiche di alternanza dei segni e sovrapposizione dei supporti.
• Operatori di Intersezione: Lo studio si basa sull'analisi degli operatori che generano le intersezioni tra pacchetti di Arthur:
  • Scambio di righe ($R_k$).
  • Unione-intersezione ($u_{ik}$).
  • Operatori di "raising" (dualità parziale, inversi di unione-intersezione, ecc.).
• Classificazione dei Multi-segmenti: Introducono una classificazione dei multi-segmenti virtuali equivalenti a un dato blocco, denominati di tipo YM (definiti tramite dati $S$ e $T$ che descrivono catene e multipli). Dimostrano che l'insieme dei parametri di Arthur che danno origine a una data rappresentazione temperata corrisponde biunivocamente a un insieme di multi-segmenti di tipo YM con un segno fisso.
• Indipendenza dei Blocchi: Dimostrano che le operazioni che modificano un blocco non influenzano gli altri blocchi nella decomposizione, permettendo di trattare il conteggio in modo modulare.

3. Contributi Chiave e Risultati Principali

A. Decomposizione Unica e Struttura dei Blocchi

Gli autori dimostrano (Lemma 3.4) che ogni rappresentazione temperata $E$ supportata sugli interi ammette una decomposizione unica in blocchi disgiunti $B_1, \dots, B_k$. Questa decomposizione è ordinata e fondamentale per il calcolo successivo.

B. Formula Ricorsiva per i Blocchi (Teorema 3.6)

Il risultato principale per i singoli blocchi è una formula ricorsiva per calcolare il numero di parametri di Arthur $\psi$ tali che $\pi \in \Pi_\psi$. La formula dipende dalla molteplicità delle colonne nel blocco e dalla posizione del blocco rispetto allo zero:

• Se il blocco inizia a $0$ (caso $c_{min}=0$):
  $$|\Psi(\pi(B))| = \begin{cases} 3 \cdot |\Psi(\pi(B'))| & \text{se } m_{c_{max}-1} = 1 \\ 4 \cdot |\Psi(\pi(B'))| - |\Psi(\pi(B''))| & \text{se } m_{c_{max}-1} \text{ è dispari } \ge 3 \end{cases}$$
  dove $B'$ e $B''$ sono blocchi ottenuti rimuovendo le colonne $c_{max}$ e $c_{max}-1$.
• Se il blocco inizia dopo lo zero ($c_{min} > 0$):
  $$|\Psi(\pi(B))| = \begin{cases} 2 \cdot |\Psi(\pi(B'))| & \text{se } m_{c_{max}-1} = 1 \\ 3 \cdot |\Psi(\pi(B'))| - |\Psi(\pi(B''))| & \text{se } m_{c_{max}-1} \text{ è dispari } \ge 3 \end{cases}$$

C. Formula Generale per Rappresentazioni Temperate (Teorema 3.7 / 7.14)

Combinando l'indipendenza dei blocchi e i risultati sui singoli blocchi, gli autori ottengono una formula completa per il numero totale di pacchetti di Arthur contenenti $\pi$:
$$|\Psi(\pi(E))| = |\Psi(\pi(B_1))| \cdot \prod_{i=2}^{k} |\Psi(\pi(\text{sh}_1(B_i)))|$$
Dove $\text{sh}_1(B_i)$ indica lo spostamento del blocco $B_i$ di una unità (per gestire il fatto che i blocchi successivi al primo si comportano come se non iniziassero a zero).

D. Classificazione dei Multi-segmenti Equivalenti (Teorema 5.17)

Dimostrano che l'insieme dei parametri di Arthur associati a un blocco $B$ è in corrispondenza biunivoca con l'insieme dei multi-segmenti virtuali di tipo YM che hanno lo stesso segno iniziale di $B$. Questo fornisce una descrizione combinatoria completa dello spazio delle soluzioni.

4. Significato e Implicazioni

• Generalizzazione di Mœglin: Il risultato generalizza il lavoro di Mœglin sui pacchetti contenenti rappresentazioni supercuspidali, fornendo un metodo computabile per una vasta classe di rappresentazioni temperate.
• Strumento per la Congettura di Gan-Gross-Prasad: La soluzione a questo problema è un prerequisito fondamentale per costruire esempi di parametri di Arthur non rilevanti che contribuiscono con molteplicità non nulle alle congetture di Gan-Gross-Prasad non temperate.
• Corrispondenza di Theta: Gli autori indicano che questi risultati saranno utilizzati in lavori futuri ([10]) per studiare il numero di pacchetti di Arthur contenenti il sollevamento theta (theta lift) di rappresentazioni temperate, collegando la teoria dei pacchetti di Arthur alla corrispondenza theta locale.
• Riduzione Combinatoria: Trasformano un problema profondo di teoria delle rappresentazioni in un problema di conteggio combinatorio gestibile tramite la struttura dei blocchi e i dati $S$ (insiemi di interi consecutivi).

Conclusione

Il documento risolve parzialmente il Problema 1.1 (determinare il numero di pacchetti contenenti una $\pi$ data) per il caso in cui il multi-segmento associato è supportato interamente sugli interi. Fornisce un algoritmo ricorsivo preciso basato sulla decomposizione in blocchi, chiarendo la struttura delle intersezioni dei pacchetti di Arthur per i gruppi classici $p$-adici. Il caso dei semi-interi rimane aperto, ma gli autori suggeriscono che le tecniche sviluppate qui saranno essenziali per affrontarlo.