Quasi-canonical AFL and Arithmetic Transfer conjectures at parahoric levels

Technische Samenvatting: Quasi-canonieke AFL en Arithmetische Overdrachtvermoedens op Parahorische Niveaus

Probleemstelling
Het artikel behandelt de formulering en verificatie van Arithmetische Overdracht (AO) vermoedens, die varianten zijn van het Vermoeden van de Arithmetische Fundamentele Lemma (AFL) in aanwezigheid van vertakking. Het klassieke AFL-vermoeden, gevestigd door Zhang, Mihatsch–Zhang en Z. Zhang, relateert de afgeleide van een orbitaalintegraal van het eenheidselement in een sferische Hecke-algebra aan een arithmetisch snijgetal op een Rapoport–Zink (RZ) formeel moduli-ruimte van $p$-divisibele groepen. Deze klassieke setting vereist een onvertakte kwadratische extensie $F/F_0$, een speciale vector met eenheidslengte en een hyperspeciale niveaustructuur.

De auteurs onderzoeken het scenario waarbij de hypothesen van "onvertaktheid" worden versoepeld, specifiek door niet-hyperspeciale parahorische niveaustructuren te overwegen. Dit introduceert vertakking in het probleem. Een primair obstakel bij het formuleren van AO-vermoedens in deze context is de geometrische kant: de omringende RZ-ruimten moeten regulier zijn om Serre-snijmultipliciteiten te definiëren. Wanneer de niveaustructuur niet-hyperspeciaal is, blijken de natuurlijke productruimten vaak niet regulier te zijn, wat noodzaakt tot de constructie van nieuwe integrale modellen en het oplossen van singulariteiten.

Methodologie
Het artikel is verdeeld in twee onafhankelijke delen, waarbij een mengsel van arithmetische meetkunde, deformatietheorie en harmonische analyse wordt toegepast.

1. Geometrische Constructie en Analyse (Deel 2):

   • De auteurs focussen op de ruimte $\widetilde{\mathcal{N}}_n^{[1]}$, een integraal model van een lid van de RZ-toren die correspondeert met een niet-parahorische ondergroep in een niet-quasi-split unitaire groep. Deze ruimte ontstaat als een vezelproduct dat $\mathcal{N}_n^{[1]}$ (niveau $r=1$) en $\mathcal{N}_{n+1}^{[0]}$ (hyperspeciaal niveau) verbindt.
   • Met behulp van Dieudonné-theorie en Grothendieck–Messing deformatietheorie analyseren de auteurs de $\bar{k}$-punten en de lokale structuur van $\widetilde{\mathcal{N}}_n^{[1]}$ en de speciale divisor $Z(u)$ (geassocieerd met een speciale vector met waarde 1).
   • Zij bewijzen dat $\widetilde{\mathcal{N}}_n^{[1]}$ regulier is van dimensie $n$. De morfisme $\pi_1: \widetilde{\mathcal{N}}_n^{[1]} \to \mathcal{N}_n^{[1]}$ blijkt eindig plat te zijn van graad $q+1$, étale buiten een "ballonlocus" en totaal vertakt langs deze locus. De morfisme $\pi_2: \widetilde{\mathcal{N}}_n^{[1]} \to Z(u)$ is een opblazing langs een nuldimensionaal schema.
   • De speciale vezel van $Z(u)$ blijkt regulier te zijn buiten een nuldimensionale gesloten deelverzameling, waarbij de singulariteiten van een specifiek type zijn (quasi-canoniek).

2. Arithmetische Overdrachtvermoedens en Bewijzen (Deel 1):

   • De auteurs definiëren arithmetische snijgetallen op de hierboven geconstrueerde reguliere ruimten, specifiek op producten zoals $\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}^{[0]}$ en hun "grafische versies" $\widetilde{\mathcal{N}}_n^{[r]} \times \mathcal{N}_{n+1}$.
   • Zij formuleren AO-vermoedens die deze snijgetallen relateren aan de afgeleiden van orbitaalintegralen van specifieke testfuncties. Deze testfuncties worden geconstrueerd met behulp van overdrachtshomomorfismen tussen sferische Hecke-algebra's en atomaire Hecke-functies.
   • Grafische Versie: De auteurs bewijzen een "grafische versie" van het AO-vermoeden. Door het snijgetal op de grafiek van de morfisme $\pi_2$ te relateren aan het snijgetal op de speciale divisor $Z(u)$, reduceren zij het probleem tot het bekende AFL (voor even $r$) en het nieuw gevestigde "quasi-canonieke AFL" (voor oneven $r$).
   • Quasi-canoniek AFL: Een centraal resultaat is het bewijs van het quasi-canonieke AFL, dat het geval behandelt waarbij de speciale vector waarde 1 heeft (niveau 1). Dit houdt in dat een overdrachtstelling wordt gevestigd voor specifieke niet-eenheidselementen in de Hecke-algebra en dat het corresponderende identiteit voor het snijgetal op de quasi-canonieke divisor $Z(u)$ wordt bewezen.
   • Reductie tot Bekende Gevallen: Voor gevallen waarbij $r$ even is, tonen de auteurs aan dat het AO-vermoeden volgt uit het AFL voor de volledige Hecke-algebra (Vermoeden 9.2.3 in [14]), mits de noodzakelijke overdrachtsfuncties bestaan. Voor specifieke kleine gevallen (bijvoorbeeld $n=r=1$) verifiëren zij de vermoedens expliciet.

Belangrijkste Bijdragen en Resultaten

• Structuur van $\widetilde{\mathcal{N}}_n^{[1]}$: Het artikel biedt een complete structurele beschrijving van de mysterieuze ruimte $\widetilde{\mathcal{N}}_n^{[1]}$, waarbij de regulariteit wordt bewezen en de geometrie van de morfismen $\pi_1$ en $\pi_2$ in detail wordt beschreven. Dit bevestigt vermoedens van Kudla en Rapoport over de geometrie van bijna-zelf-dual RZ-torens.
• Quasi-canoniek AFL: De auteurs vestigen het Quasi-canonieke AFL (Stelling 7.2.1), dat het snijgetal op de quasi-canonieke divisor $Z(u)$ (waarde 1) relateert aan de afgeleide van orbitaalintegralen van een specifieke overdrachtsfunctie. Dit vult een gat in de AFL-theorie voor vertakte settings.
• Grafische Versie van AO-vermoedens: Het artikel bewijst de grafische versie van het AO-vermoeden voor type $(r, 0)$ (Stelling 1.0.2). Dit resultaat is "redelijk compleet", en dekt gevallen waarbij $r$ even is (via reductie tot AFL) en $r$ oneven is (via reductie tot het quasi-canonieke AFL).
• Expliciete AO-vermoedens: De auteurs formuleren expliciete AO-vermoedens voor diverse types $(r, 0)$ en $(0, r)$, waarbij kandidaat-testfuncties worden geïdentificeerd via overdrachtshomomorfismen.
  • Voor even $r$ is het vermoeden gekoppeld aan het AFL voor de volledige Hecke-algebra.
  • Voor oneven $r=n$ wordt een specifiek vermoeden geformuleerd en bewezen voor $n=1$.
  • Voor andere oneven $r$ wordt het bestaan van een overdrachtsfunctie gepostuleerd, maar worden niet in alle gevallen expliciete kandidaten geboden.
• Verificatie in Eenvoudige Gevallen: Het artikel bewijst de vermoedens in specifieke eenvoudige gevallen, met name $n=1$ en $r=1$, en demonstreert hoe de algemene vermoedens volgen uit het AFL voor de volledige Hecke-algebra in het geval van even $r$.

Betekenis en Reikwijdte
Het artikel claimt de mogelijke gevallen voor AO-vermoedens onder natuurlijke beperkingen te hebben uitgeput: de omringende ruimte moet een product zijn van RZ-ruimten van maximale parahorische niveaus en regulier zijn, en de cycli moeten pull-backs zijn van uitzonderlijke speciale divisors (Z-divisors of Y-divisors).

De betekenis ligt in het uitbreiden van het AFL-kader buiten de onvertakte, hyperspeciale setting. Door de regulariteit van de noodzakelijke integrale modellen te bewijzen en het quasi-canonieke AFL te vestigen, bieden de auteurs de geometrische fundering die vereist is om AO-vermoedens in aanwezigheid van parahorische niveaustructuren te formuleren en gedeeltelijk te bewijzen. De resultaten verifiëren de hypothesen van de grafische versie van de AO-vermoedens in een specifiek geval en bieden een routekaart voor toekomstig werk aan de resterende gevallen waarbij expliciete testfuncties nog niet bekend zijn. De auteurs merken expliciet op dat hoewel zij vermoedens hebben geformuleerd voor alle resterende gevallen, zij geen expliciete kandidaten hebben voor de testfuncties in het algemene geval van oneven $r$ (bovenop $r=n=1$) en dit overlaten aan toekomstig onderzoek.