An Arithmetic Invariant of the Jacquet-Langlands correspondence

Titolo: Un Invariante Aritmetico della Corrispondenza di Jacquet-Langlands

1. Il Problema e il Contesto

La corrispondenza di Jacquet-Langlands (JL) stabilisce un legame fondamentale tra le rappresentazioni irriducibili di un gruppo lineare generale $GL(n)$ su un campo globale $F$ e quelle di una sua forma interna $G' = GL(n, D)$, dove $D$ è un'algebra a divisione centrale su $F$.
Storicamente, per i casi locali (su un campo locale $F_v$), è noto che la corrispondenza preserva una certa proporzionalità tra il "grado formale" delle rappresentazioni di $GL(2)$ e la dimensione complessa delle rappresentazioni finite di $D^\times$. Più recentemente, Aubert e Plymen hanno esteso questo risultato mostrando che le misure di Plancherel delle rappresentazioni temperate corrispondenti sono proporzionali.

Tuttavia, estendere questa proprietà al caso globale (su campi adelicici) presenta due ostacoli principali:

1. Divergenza: Per le rappresentazioni automorfe sui gruppi adelicici, né i gradi formali globali né la misura di Plancherel globale sono ben definiti a causa della divergenza del prodotto delle misure locali su tutti i posti del campo.
2. Unicità della Misura: Sebbene si possano ridefinire liberamente le misure di Haar locali, esiste una misura canonica globale unica, la misura di Tamagawa, definita naturalmente sul gruppo adelicico.

La domanda centrale del paper è: Esiste una famiglia di misure di Haar locali $\mu_v, \mu'_v$ tale che il fattore di proporzionalità $c_v$ nella relazione delle misure di Plancherel sia uguale a 1 per ogni posto $v$, e che il prodotto di queste misure locali coincida con la misura di Tamagawa globale?

2. Metodologia

L'autore adotta un approccio che combina la teoria delle rappresentazioni, la teoria dei numeri e la teoria degli algebre di von Neumann. La metodologia si articola in tre fasi principali:

• Costruzione di Misure Locali Compatibili:
  L'autore definisce esplicitamente le misure di Haar locali sui gruppi $GL(n, F_v)$ e sulle loro forme interne $GL(n_v, D_v)$ (dove $D_v$ è l'algebra a divisione locale). Queste misure sono normalizzate in modo tale da essere duali rispetto a un carattere unitario standard e per le quali il volume degli anelli degli interi massimali è calcolabile esplicitamente. Si dimostra che il prodotto di queste misure locali coincide esattamente con la misura di Tamagawa globale.

• Analisi delle Misure di Plancherel Locali:
  Viene studiato il comportamento delle misure di Plancherel (sia nel caso non archimedeo che archimedeo) sotto la corrispondenza di Jacquet-Langlands locale. Utilizzando la formula di Plancherel di Harish-Chandra e le proprietà delle rappresentazioni indotte, si dimostra che, con la scelta specifica delle misure di Haar sopra menzionata, le densità delle misure di Plancherel corrispondenti sono esattamente uguali (fattore di proporzionalità unitario).

• Introduzione della Densità sui Gruppi Discreti:
  Per aggirare il problema della divergenza globale, l'autore introduce il concetto di densità di von Neumann (o densità $\Gamma$) per le rappresentazioni su sottogruppi discreti (aritmici). Questa nozione generalizza la dimensione di von Neumann. Invece di considerare la misura globale, si analizzano le componenti $S$-locali delle rappresentazioni automorfe come moduli sugli algebre di von Neumann twistate dei sottogruppi aritmetici $\Gamma_S$.

3. Risultati Chiave e Contributi

A. Compatibilità Locale-Globale delle Misure (Teorema 3.9)

Il primo risultato fondamentale è la dimostrazione dell'esistenza di una scelta canonica di misure di Haar locali $\mu_v, \mu'_v$ su $G_v$ e $G'_v$ tali che:

1. Il prodotto $\prod \mu_v$ e $\prod \mu'_v$ sono le misure di Tamagawa sui gruppi adelicici $G(\mathbb{A})$ e $G'(\mathbb{A})$.
2. La corrispondenza locale di Jacquet-Langlands preserva le misure di Plancherel associate:
   $$d\nu_v(\pi_v) = d\nu'_v(\pi'_v)$$
   se $\pi_v$ e $\pi'_v$ corrispondono.
   Questo risolve il problema della normalizzazione, mostrando che la proporzionalità è esatta (fattore 1) quando si utilizzano le misure di Tamagawa.

B. Invariante Aritmetico: Preservazione delle Densità (Teorema 4.3)

Il contributo principale del paper è l'estensione di questa proprietà al contesto globale attraverso la nozione di densità.
Sia $\pi$ e $\pi'$ una coppia di rappresentazioni automorfe cuspidali temperate corrispondenti tramite la corrispondenza globale di Jacquet-Langlands. Sia $S$ un insieme finito di posti contenente tutti i posti archimedei e l'insieme di ramificazione di $G'$.
L'autore dimostra che le densità di von Neumann delle componenti $S$-locali $\pi_S$ e $\pi'_S$ rispetto ai sottogruppi aritmetici principali $\Gamma_S$ e $\Gamma'_S$ sono uguali:
$$d_{\Gamma_S, \sigma(\pi_S)}(\pi_S) = d_{\Gamma'_S, \sigma(\pi'_S)}(\pi'_S)$$
dove $\sigma$ indica il 2-cociclo associato alla rappresentazione proiettiva.

C. Corollario sulle Dimensioni (Corollario 4.5)

Nel caso in cui le rappresentazioni siano di quadrato integrabile (discrete series), la densità coincide con la dimensione di von Neumann. Ne consegue che:
$$\dim_{L(\Gamma_S, \sigma)} \pi_S = \dim_{L(\Gamma'_S, \sigma)} \pi'_S$$
Questo stabilisce che la corrispondenza di Jacquet-Langlands preserva una quantità aritmetica fondamentale legata al volume del quoziente e alla "dimensione" della rappresentazione sul gruppo discreto.

4. Significato e Implicazioni

• Risoluzione del Problema di Normalizzazione: Il lavoro fornisce una risposta definitiva alla domanda su come normalizzare le misure locali per ottenere una compatibilità globale perfetta con la misura di Tamagawa, eliminando i fattori di proporzionalità arbitrari.
• Nuovo Invariante Aritmetico: L'introduzione della densità di von Neumann come invariante preservato dalla corrispondenza di Jacquet-Langlands offre un nuovo strumento per studiare le proprietà aritmetiche delle rappresentazioni automorfe. Collega la teoria delle rappresentazioni (misure di Plancherel) alla geometria aritmetica (volumi dei sottogruppi discreti).
• Generalizzazione: Il risultato si applica a $GL(n)$ e alle sue forme interne su campi globali, generalizzando risultati precedenti noti principalmente per $GL(2)$ o in contesti locali.
• Connessione con la Congettura di Ramanujan-Petersson: Il teorema assume che le rappresentazioni siano temperate. L'autore nota che, secondo la congettura di Ramanujan-Petersson (dimostrata per i campi funzionali e parzialmente per i campi numerici), tutte le rappresentazioni cuspidali sono temperate, il che renderebbe il risultato applicabile a tutte le rappresentazioni cuspidali.

In sintesi, il paper di Jun Yang stabilisce un ponte rigoroso tra la teoria locale delle misure di Plancherel e la geometria globale dei gruppi aritmetici, dimostrando che la corrispondenza di Jacquet-Langlands non solo mappa le rappresentazioni, ma preserva anche le loro "densità" aritmetiche intrinseche quando si utilizzano le misure canoniche di Tamagawa.