On the Harris-Viehmann conjecture for Hodge-Newton reducible local Shimura data of abelian type

Technische Samenvatting: Over de Harris–Viehmann-vermoeden voor Hodge–Newton-reduceerbare lokale Shimura-gegevens van abelse type

Probleemstelling
Het artikel behandelt een specifiek geval van het Harris–Viehmann-vermoeden, dat betrekking heeft op de $\ell$-adische cohomologie van lokale Shimura-variëteiten geassocieerd met niet-basis lokale Shimura-gegevens. Het vermoeden stelt een parabolische induktieformule voor deze cohomologiegroepen. Specifiek wordt beweerd dat voor een niet-basis lokale Shimura-gegeven $(G, [b], \{\mu\})$ die Hodge–Newton-reduceerbaar is met betrekking tot een parabolische ondergroep $P$ en een Levi-factor $L$, de cohomologie van de bijbehorende Rapoport–Zink (RZ)-ruimte $RZ_G$ geïnduceerd is vanuit de cohomologie van de RZ-ruimte $RZ_L$ geassocieerd met de Levi-ondergroep. Een kritisch gevolg van dit vermoeden is dat alle supercuspidale representaties die voorkomen in de cohomologie van Shimura-variëteiten geconcentreerd zijn langs de basislocus. Hoewel het vermoeden is vastgesteld voor PEL-type gegevens (Mantovan), Hodge-type gegevens (Hong) en specifieke gevallen zoals $GL_n$ (Hansen), bleef een algemeen bewijs voor ongeramificeerde lokale Shimura-gegevens van abelse type onder Hodge–Newton-reduceerbaarheid open.

Methodologie
De auteurs, Sandra Nair en Xinyu Zhou, breiden het bewijs van het Harris–Viehmann-vermoeden uit naar de setting van abelse type door gebruik te maken van Shen's constructie van Rapoport–Zink-ruimten van abelse type. Hun methodologie omvat de volgende cruciale stappen:

1. Reductie tot Hodge-type: De auteurs maken gebruik van de definitie van gegevens van abelse type, die een isomorfisme vereist tussen de geadjungeerde lokale Shimura-gegeven van $G$ en die van een hulphulp Hodge-type gegeven $(H, [b_H], \{\mu_H\})$. Zij stellen vast dat als $(G, [b_G], \{\mu_G\})$ Hodge–Newton-reduceerbaar is, er een bijbehorend Hodge-type gegeven bestaat dat eveneens Hodge–Newton-reduceerbaar is (Lemma 7.1).
2. Geometrische correspondentie: De kernstrategie bestaat uit het relateren van de geometrie van de RZ-ruimte $RZ_G$ van abelse type aan de RZ-ruimte $RZ_H$ van Hodge-type. De auteurs construeren een correspondentiediagram dat de RZ-ruimten van de parabolische $P$ en de Levi $L$ omvat voor zowel het abelse als het Hodge-geval.
3. Weil-neerdalingsdata: Een significant technisch onderdeel is de rigoureuze constructie van de Weil-neerdalingsdata voor RZ-ruimten van abelse type. De auteurs definiëren een neerdalingsdata $\Phi_{Shen}$ ten opzichte van een eindige uitbreiding $E_{opt}$ van het reflexveld, waarbij compatibiliteit wordt gewaarborgd met de bekende neerdalingsdata voor Hodge-type (via Kim's constructie) en de moduli van $p$-adische lokale shtuka's (via Pappas–Rapoport). Zij bewijzen dat deze constructies samenvallen (Stelling 6.3, Corollarium 6.5).
4. Functorialiteit en Quotiënten: De auteurs analyseren de functorialiteit van RZ-ruimten onder morfismen van lokale Shimura-gegevens. Zij behandelen zorgvuldig de overgang van het Hodge-type gegeven $H$ naar het abelse type gegeven $G$ via het geadjungeerde quotiënt $Gad$. Dit houdt in dat zij de kernen van de afbeeldingen op fundamentele groepen ($\pi_1$) beheersen en isomorfismen vaststellen tussen de formele schema's $RZ_G$, $RZ_{Gad}$ en hun Hodge-tegenhangers modulo specifieke groepswerkingen (Lemma 5.1, Lemma 10.4).
5. Cohomologische Vergelijking: Door isomorfismen vast te stellen tussen de cohomologie van de "plus"-componenten ($RZ^+$) van de abelse en Hodge-ruimten, en gebruik te maken van de bekende resultaten voor het Hodge-geval (specifiek het werk van Hong en Mantovan), transfereren de auteurs de eigenschap van parabolische induktie van de Hodge-setting naar de abelse setting.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Stelling 1.1): Het artikel bewijst dat voor een ongeramificeerde lokale Shimura-gegeven $(G, [b], \{\mu\})$ van abelse type die Hodge–Newton-reduceerbaar is met betrekking tot een parabolische $P$ en Levi $L$, en voor elke toelaatbare $\ell$-adische representatie $\rho$ van $J_b(\mathbb{Q}_p)$, de volgende gelijkheid geldt als virtuele representaties van $G(\mathbb{Q}_p) \times W_{E_{opt}}$:
  $$H^\bullet(RZ^\infty_G)_\rho = \text{Ind}_{P(\mathbb{Q}_p)}^{G(\mathbb{Q}_p)} H^\bullet(RZ^\infty_L)_\rho$$
  Hierbij is $E_{opt}$ een specifieke eindige uitbreiding van het reflexveld die is geconstrueerd in Stelling 6.3.
• Constructie van Weil-neerdaling: De auteurs bieden een volledige en zelfstandige constructie van de Weil-neerdalingsdata voor RZ-ruimten van abelse type, waardoor potentiële ambiguïteiten met betrekking tot de afhankelijkheid van hulphulp Hodge-gegevens worden opgelost (Lemma 6.4).
• Functorialiteit van RZ-ruimten: Het artikel stelt vast dat de vorming van RZ-ruimten van abelse type producten en gesloten inbeddingen van lokale Shimura-gegevens respecteert (Propositie 8.2), waardoor eerdere resultaten die bekend waren voor Hodge-type worden gegeneraliseerd.
• Reductie tot het Geadjungeerde Geval: Het bewijs reduceert het probleem voor gegevens van abelse type effectief tot het geadjungeerde geval, door gebruik te maken van de surjectiviteit van de afbeelding $\pi_1(H)^\Gamma \to \pi_1(H^{ad})^\Gamma$ (een voorwaarde die wordt voldaan door similitudegroepen zoals $GL_n$ en $GSp_{2n}$).

Betekenis
Het artikel claimt de geldigheid van het Harris–Viehmann-vermoeden uit te breiden naar een bredere klasse van lokale Shimura-gegevens, specifiek ongeramificeerde gegevens van abelse type, die de klasse van Hodge-type gegevens strikt omvat. Door de parabolische induktieformule in deze setting te bevestigen, versterkt het werk het structurele begrip van de cohomologie van Shimura-variëteiten. Zoals opgemerkt in de inleiding, ondersteunt dit resultaat de bredere verwachting binnen het Langlands-programma dat supercuspidale representaties geconcentreerd zijn langs de basislocus. De auteurs claimen niet het vermoeden voor alle lokale Shimura-gegevens op te lossen (bijvoorbeeld niet-reduceerbare of niet-ongeramificeerde gevallen), maar richten zich specifiek op het Hodge–Newton-reduceerbare geval voor abelse types, voortbouwend op het fundamentele werk van Mantovan, Hong en Shen.