Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels

Sintesi Tecnica: Congetture AFL Quasi-Canoniche e di Trasferimento Aritmetico a Livelli Parahorici

Enunciato del Problema
Il lavoro affronta la formulazione e la verifica delle congetture di Trasferimento Aritmetico (AT), che sono varianti della congettura del Lemma Fondamentale Aritmetico (AFL) in presenza di ramificazione. La congettura AFL classica, stabilita da Zhang, Mihatsch–Zhang e Z. Zhang, mette in relazione la derivata di un integrale orbitale dell'elemento unitario in un'algebra di Hecke sferica con un numero di intersezione aritmetica su uno spazio di moduli formale di Rapoport–Zink (RZ) di gruppi $p$-divisibili. Questo contesto classico richiede un'estensione quadratica non ramificata $F/F_0$, un vettore speciale di lunghezza unitaria e una struttura di livello iperspeciale.

Gli autori investigano lo scenario in cui le ipotesi di "non ramificazione" sono rilassate, specificamente considerando strutture di livello parahorico non iperspeciali. Ciò introduce ramificazione nel problema. Un ostacolo primario nella formulazione delle congetture AT in questo contesto è il lato geometrico: gli spazi RZ circostanti devono essere regolari per definire molteplicità di intersezione di Serre. Quando la struttura di livello è non iperspeciale, gli spazi prodotto naturali spesso non risultano regolari, rendendo necessaria la costruzione di nuovi modelli integrali e la risoluzione delle singolarità.

Metodologia
Il lavoro è diviso in due parti indipendenti, impiegando una combinazione di geometria aritmetica, teoria delle deformazioni e analisi armonica.

1. Costruzione e Analisi Geometrica (Parte 2):

   • Gli autori si concentrano sullo spazio $\widetilde{\mathcal{N}}_n^{[1]}$, un modello integrale di un membro della torre RZ corrispondente a un sottogruppo non parahorico in un gruppo unitario non quasi-split. Questo spazio nasce come prodotto fibrato che collega $\mathcal{N}_n^{[1]}$ (livello $r=1$) e $\mathcal{N}_{n+1}^{[0]}$ (livello iperspeciale).
   • Utilizzando la teoria di Dieudonné e la teoria delle deformazioni di Grothendieck–Messing, gli autori analizzano i punti $\bar{k}$ e la struttura locale di $\widetilde{\mathcal{N}}_n^{[1]}$ e del divisore speciale $Z(u)$ (associato a un vettore speciale di valutazione 1).
   • Dimostrano che $\widetilde{\mathcal{N}}_n^{[1]}$ è regolare di dimensione $n$. Si mostra che il morfismo $\pi_1: \widetilde{\mathcal{N}}_n^{[1]} \to \mathcal{N}_n^{[1]}$ è finito piatto di grado $q+1$, étale al di fuori di un "luogo del palloncino" e totalmente ramificato lungo di esso. Il morfismo $\pi_2: \widetilde{\mathcal{N}}_n^{[1]} \to Z(u)$ è una sgonfiatura lungo uno schema di dimensione zero.
   • Si dimostra che la fibra speciale di $Z(u)$ è regolare al di fuori di un sottoinsieme chiuso di dimensione zero, con le singolarità che sono di un tipo specifico (quasi-canonico).

2. Congetture di Trasferimento Aritmetico e Dimostrazioni (Parte 1):

   • Gli autori definiscono numeri di intersezione aritmetica sugli spazi regolari costruiti sopra, specificamente su prodotti come $\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}^{[0]}$ e le loro "versioni grafiche" $\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}$.
   • Formulano congetture AT che mettono in relazione questi numeri di intersezione con le derivate di integrali orbitali di funzioni di prova specifiche. Queste funzioni di prova sono costruite utilizzando omomorfismi di cambio di base tra algebre di Hecke sferiche e funzioni atomiche di Hecke.
   • Versione Grafica: Gli autori dimostrano una "versione grafica" della congettura AT. Mettendo in relazione il numero di intersezione sul grafico del morfismo $\pi_2$ con il numero di intersezione sul divisore speciale $Z(u)$, riducono il problema all'AFL nota (per $r$ pari) e alla nuova "AFL quasi-canonica" stabilita (per $r$ dispari).
   • AFL Quasi-Canonica: Un risultato centrale è la dimostrazione dell'AFL quasi-canonica, che gestisce il caso in cui il vettore speciale ha valutazione 1 (livello 1). Ciò comporta l'istituzione di un teorema di trasferimento per specifici elementi non unitari nell'algebra di Hecke e la dimostrazione dell'identità corrispondente per il numero di intersezione sul divisore quasi-canonico $Z(u)$.
   • Riduzione a Casi Noti: Per i casi in cui $r$ è pari, gli autori mostrano che la congettura AT segue dall'AFL per l'intera algebra di Hecke (Congettura 9.2.3 in [14]), a condizione che esistano le funzioni di trasferimento necessarie. Per casi specifici piccoli (ad esempio, $n=r=1$), verificano esplicitamente le congetture.

Contributi e Risultati Chiave

• Struttura di $\widetilde{\mathcal{N}}_n^{[1]}$: Il lavoro fornisce una descrizione strutturale completa dello spazio misterioso $\widetilde{\mathcal{N}}_n^{[1]}$, dimostrandone la regolarità e dettagliando la geometria dei morfismi $\pi_1$ e $\pi_2$. Ciò conferma le congetture di Kudla e Rapoport riguardo alla geometria delle torri RZ quasi-autoduali.
• AFL Quasi-Canonica: Gli autori stabiliscono l'AFL Quasi-Canonica (Teorema 7.2.1), che mette in relazione il numero di intersezione sul divisore quasi-canonico $Z(u)$ (valutazione 1) con la derivata degli integrali orbitali di una specifica funzione di trasferimento. Ciò colma una lacuna nella teoria AFL per contesti ramificati.
• Versione Grafica delle Congetture AT: Il lavoro dimostra la versione grafica della congettura AT per il tipo $(r, 0)$ (Teorema 1.0.2). Questo risultato è "ragionevolmente completo", coprendo i casi in cui $r$ è pari (tramite riduzione all'AFL) e $r$ è dispari (tramite riduzione all'AFL quasi-canonica).
• Congetture AT Esplicite: Gli autori formulano congetture AT esplicite per vari tipi $(r, 0)$ e $(0, r)$, identificando funzioni di prova candidate tramite omomorfismi di cambio di base.
  • Per $r$ pari, la congettura è collegata all'AFL per l'intera algebra di Hecke.
  • Per $r=n$ dispari, viene formulata e dimostrata una congettura specifica per $n=1$.
  • Per altri $r$ dispari, si postula l'esistenza di una funzione di trasferimento, ma non vengono forniti candidati espliciti in tutti i casi.
• Verifica in Casi Semplici: Il lavoro dimostra le congetture in casi semplici specifici, in particolare $n=1$ e $r=1$, e mostra come le congetture generali seguano dall'AFL per l'intera algebra di Hecke nel caso di $r$ pari.

Significato e Ambito
Il lavoro afferma di aver esaurito i casi possibili per le congetture AT sotto vincoli naturali: lo spazio circostante deve essere un prodotto di spazi RZ di livelli parahorici massimali ed essere regolare, e i cicli devono essere pull-back di divisori speciali eccezionali (divisori Z o divisori Y).

Il significato risiede nell'estendere il quadro AFL oltre il contesto non ramificato e iperspeciale. Dimostrando la regolarità dei modelli integrali necessari e stabilendo l'AFL quasi-canonica, gli autori forniscono la fondazione geometrica richiesta per formulare e dimostrare parzialmente le congetture AT in presenza di strutture di livello parahorico. I risultati verificano le ipotesi della versione grafica delle congetture AT in un caso particolare e offrono una roadmap per lavori futuri sui casi rimanenti in cui le funzioni di prova esplicite non sono ancora note. Gli autori notano esplicitamente che, sebbene abbiano formulato congetture per tutti i casi rimanenti, non dispongono di candidati espliciti per le funzioni di prova nel caso generale di $r$ dispari (oltre a $r=n=1$) e lasciano ciò per future indagini.