Space of norms on locally algebraic representations

Sintesi Tecnica: Spazio delle Norme su Rappresentazioni Localmente Algebriche

1. Enunciato del Problema e Contesto
Il saggio investiga la geometria dello spazio delle norme non archimedee su una rappresentazione localmente algebrica $V = \pi_{\text{sm}} \otimes_E \sigma_{\text{alg}}$ di un gruppo riduttivo $G = \mathbf{G}(F)$, dove $F$ ed $E$ sono estensioni finite di $\mathbb{Q}_p$. La rappresentazione $V$ è il prodotto tensoriale di una rappresentazione smooth ammissibile $\pi_{\text{sm}}$ e di una rappresentazione algebrica a dimensione finita $\sigma_{\text{alg}}$.

Il problema aritmetico centrale che motiva questo lavoro è la costruzione di una norma $G$-invariante su $V$. Tali norme sono cruciali per le questioni di integrabilità nella programma di Langlands $p$-adica, in particolare riguardo alla congettura di Breuil–Schneider. Sebbene le condizioni necessarie per l'esistenza di tali norme siano note (ad esempio, la condizione di Emerton sui moduli di Jacquet), la transizione da queste condizioni spettrali all'esistenza di una norma invariante globale rimane un ostacolo significativo. Il saggio mira a separare il quadro geometrico generale che governa queste norme dalla difficile componente aritmetica necessaria per soddisfare le condizioni di limitatezza.

2. Metodologia e Quadro Geometrico
L'autore utilizza un approccio metrico-geometrico, impiegando la distanza estesa di Goldman–Iwahori $d_\infty$ sullo spazio delle norme.

• Struttura di Limite Proiettivo: Lo spazio delle norme su $V$ è identificato con un limite proiettivo di edifici di Bruhat–Tits estesi attaccati a sottospazi a dimensione finita $V_K = \pi^K_{\text{sm}} \otimes_E \sigma_{\text{alg}}$. L'autore distingue tra il limite proiettivo ordinario (convergenza coordinata per coordinata) e il limite proiettivo limitato (convergenza uniforme), sostenendo che quest'ultimo sia l'oggetto corretto per studiare le orbite limitate.
• Geometria Metrica: La distanza $d_\infty$ è mostrata essere una metrica di tipo $\ell_\infty$, non una metrica CAT(0). La componente a distanza finita $N_{\alpha_0}(V)$ di una norma di riferimento $\alpha_0$ è dimostrata essere iperconvexa (iniettiva). Questa proprietà assicura che ogni famiglia limitata di norme abbia un centro circoscritto con raggio esattamente pari alla metà del diametro della famiglia.
• Strategia di Punto Fisso: Il saggio evita di fare affidamento su teoremi di punto fisso CAT(0). Invece, utilizza l'iperconvesità dello spazio per costruire una norma $G$-invariante direttamente come il supremo puntuale di un'orbita limitata: $\alpha_G(v) = \sup_{g \in G} \alpha_0(g^{-1}v)$.

3. Contributi Chiave e Risultati

• Caratterizzazione Geometrica delle Norme Invarianti (Teorema 1.1, Teorema 5.1):
  Il saggio stabilisce un'equivalenza precisa: una componente a distanza finita $N_{\alpha_0}(V)$ contiene una norma $G$-invariante se e solo se l'orbita $G\alpha_0$ è limitata rispetto alla metrica di Goldman–Iwahori. Se l'orbita è limitata, la norma invariante è il supremo puntuale dell'orbita, e la distanza dalla norma di riferimento al locus invariante è esattamente la metà del diametro dell'orbita.

• Riduzione a Problemi a Stato Finito (Sezione 3 & 6):
  L'esistenza di un'orbita limitata è ridotta a un problema a "stato finito". L'autore formula un criterio (Teorema 3.2) in cui una norma $G$-invariante esiste se e solo se ogni diagramma di edificio finito (che coinvolge mappe di restrizione e trasporto) possiede una soluzione. Ciò consente l'uso di argomenti di compattezza per elevare le soluzioni locali a quelle globali, a condizione che esista un limite uniforme.

• Algebra di Gruppo Integrale e Condizioni di Tipo–Hecke (Sezione 6):
  L'autore formula condizioni necessarie e sufficienti per l'esistenza di norme invarianti in termini di:

  1. Condizione di Emerton (EC): Una condizione spettrale sui moduli di Jacquet che assicura che gli autovalori degli operatori di Jacquet positivi abbiano valore assoluto $\le 1$.
  2. Quotienti Tipo–Bruhat di Tipo Finito: I grafi di transizione dei coefficienti matriciali devono discendere a un grafo finito dove ogni ciclo diretto ha un costo non negativo.
  3. Intertwiner di Tipo Integrali: Le matrici che relazionano i diversi tipi devono essere integrali.

• Analisi Esplicita per $G = \text{GL}_n(F)$ (Sezione 7 & 8):
  Per $G = \text{GL}_n(F)$ e $V$ associata a una rappresentazione potenzialmente semistabile, l'autore fornisce un quadro combinatorio esplicito:

  • Riduzione a Multisegmenti: Il problema viene tradotto nel linguaggio dei multisegmenti di Bernstein–Zelevinsky e delle algebre di Hecke affini.
  • Matrice di Riduzione Globale: Viene costruita una "matrice di riduzione globale" $R$ tramite una regola di pivot deterministica su un guscio (shelling) affine–Bruhat. Questa matrice esprime l'azione degli elementi del gruppo in una base in forma normale.
  • Formula di Percorso: I coefficienti matriciali sono espressi come somme su percorsi in un grafo di riduzione. La valutazione di questi coefficienti è limitata inferiormente da una somma di "difetti" associati ad affissi Weil–Deligne ammissibili.
  • Condizioni Sufficienti (Proposizione 8.8): Per un singolo segmento, il saggio dimostra che se i difetti $\Delta_k$ sono non negativi (ammissibilità), gli intertwiner di tipo sono integrali e i percorsi di riduzione sono "orientati positivamente" (il contenuto di traslazione non centrale risiede nel cono dominante), allora la norma massima standard è invariante rispetto ai generatori di Cartan.

4. Risultati Specifici su $G = \text{GL}_n(F)$
Nel caso di un singolo segmento (rappresentazioni di Steinberg generalizzate), il saggio dimostra che l'esistenza di una norma invariante segue se:

1. Il modulo di Weil–Deligne filtrato è ammissibile (implicando difetti non negativi $\Delta_k \ge 0$).
2. Il carattere centrale è unitario.
3. I percorsi di riduzione soddisfano una condizione di positività riguardo al loro contenuto di traslazione non centrale.
   L'autore verifica esplicitamente queste condizioni per le direzioni di Cartan del blocco utilizzando le formule di Haines–Pettet per i pesi minuscoli, mostrando che l'ipotesi del "prefisso positivo" vale per questi specifici generatori.

5. Significato e Rivendicazioni
Il saggio sostiene di fornire una dimostrazione geometrica diretta che la limitatezza di un'orbita implica l'esistenza di una norma invariante, bypassando la necessità di argomenti di centro circoscritto CAT(0) che non si applicano alla metrica $\ell_\infty$.

La significatività primaria risiede nell'isolare il meccanismo geometrico dalla difficoltà aritmetica. L'autore afferma che mentre il passaggio geometrico al punto fisso è elementare e completo, la sfida aritmetica sostanziale rimane: costruire una norma la cui intera orbita sia uniformemente limitata. Ciò richiede la verifica delle condizioni a "stato finito" (costi dei cicli non negativi nel grafo di transizione) che dipendono da profonde proprietà della teoria delle rappresentazioni (integralità degli intertwiner di tipo e positività dei difetti).

Il saggio non pretende di risolvere la congettura di Breuil–Schneider nella sua piena generalità, ma fornisce il quadro necessario e i criteri espliciti (Proposizione 7.22, Proposizione 8.8) per ridurre il problema alla verifica di specifiche disuguaglianze combinatorie e di valutazione all'interno del gruppo di Weyl affine e dei moduli di tipo. Esso sottolinea che per $G = \text{GL}_n(F)$, il problema si riduce a verificare che i "difetti" nella riduzione dei multisegmenti siano non negativi e che i percorsi di riduzione rispettino il cono dominante.