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

Technische Zusammenfassung: Zur Harris–Viehmann-Vermutung für Hodge–Newton-reduzible lokale Shimura-Daten vom abelschen Typ

Problemstellung
Der Artikel behandelt einen spezifischen Fall der Harris–Viehmann-Vermutung, welche die $\ell$-adische Kohomologie lokaler Shimura-Varietäten betrifft, die mit nicht-basischen lokalen Shimura-Daten assoziiert sind. Die Vermutung postuliert eine parabolische Induktionsformel für diese Kohomologiegruppen. Konkret besagt sie, dass für ein nicht-basisches lokales Shimura-Datum $(G, [b], \{\mu\})$, das bezüglich einer parabolischen Untergruppe $P$ und eines Levi-Faktors $L$ Hodge–Newton-reduzibel ist, die Kohomologie des zugehörigen Rapoport–Zink-Raums (RZ-Raum) $RZ_G$ von der Kohomologie des RZ-Raums $RZ_L$ induziert wird, der mit der Levi-Untergruppe assoziiert ist. Eine kritische Konsequenz dieser Vermutung besteht darin, dass alle supercuspidalen Darstellungen, die in der Kohomologie von Shimura-Varietäten auftreten, entlang des basalen Ortes konzentriert sind. Während die Vermutung für Daten vom PEL-Typ (Mantovan), vom Hodge-Typ (Hong) und für spezifische Fälle wie $GL_n$ (Hansen) bewiesen wurde, blieb ein allgemeiner Beweis für unramifizierte lokale Shimura-Daten vom abelschen Typ unter Hodge–Newton-Reduzibilität offen.

Methodik
Die Autoren, Sandra Nair und Xinyu Zhou, erweitern den Beweis der Harris–Viehmann-Vermutung auf den Kontext des abelschen Typs, indem sie Shens Konstruktion von Rapoport–Zink-Räumen vom abelschen Typ nutzen. Ihre Methodik umfasst folgende Schlüsselschritte:

1. Reduktion auf Hodge-Typ: Die Autoren verwenden die Definition von Daten vom abelschen Typ, die einen Isomorphismus zwischen dem adjungierten lokalen Shimura-Datum von $G$ und dem eines Hilfsdatums vom Hodge-Typ $(H, [b_H], \{\mu_H\})$ erfordert. Sie zeigen, dass, wenn $(G, [b_G], \{\mu_G\})$ Hodge–Newton-reduzibel ist, ein assoziiertes Datum vom Hodge-Typ existiert, das ebenfalls Hodge–Newton-reduzibel ist (Lemma 7.1).
2. Geometrische Korrespondenz: Die Kernstrategie besteht darin, die Geometrie des RZ-Raums vom abelschen Typ $RZ_G$ mit der des RZ-Raums vom Hodge-Typ $RZ_H$ in Beziehung zu setzen. Die Autoren konstruieren ein Korrespondenzdiagramm, das die RZ-Räume der parabolischen Untergruppe $P$ und des Levi-Faktors $L$ sowohl für den abelschen als auch für den Hodge-Fall umfasst.
3. Weil-Abstiegdaten: Ein wesentlicher technischer Bestandteil ist die rigorose Konstruktion der Weil-Abstiegdaten für RZ-Räume vom abelschen Typ. Die Autoren definieren eine Abstiegdaten $\Phi_{Shen}$ relativ zu einer endlichen Erweiterung $E_{opt}$ des Reflexionskörpers, die mit den bekannten Abstiegdaten für Hodge-Typ (via Kim-Konstruktion) und den Modulräumen $p$-adischer lokaler Shtukas (via Pappas–Rapoport) kompatibel ist. Sie beweisen, dass diese Konstruktionen übereinstimmen (Satz 6.3, Korollar 6.5).
4. Funktionalität und Quotienten: Die Autoren analysieren die Funktionalität von RZ-Räumen unter Morphismen lokaler Shimura-Daten. Sie behandeln sorgfältig den Übergang vom Hodge-Typ-Datum $H$ zum abelschen Typ-Datum $G$ über den adjungierten Quotienten $Gad$. Dies beinhaltet die Verwaltung der Kerne der Abbildungen auf Fundamentalgruppen ($\pi_1$) und die Etablierung von Isomorphismen zwischen den formalen Schemata $RZ_G$, $RZ_{Gad}$ und ihren Hodge-Gegenstücken modulo spezifischer Gruppenwirkungen (Lemma 5.1, Lemma 10.4).
5. Kohomologischer Vergleich: Durch die Etablierung von Isomorphismen zwischen der Kohomologie der „Plus"-Komponenten ($RZ^+$) der abelschen und Hodge-Räume und unter Nutzung der bekannten Ergebnisse für den Hodge-Fall (insbesondere die Arbeiten von Hong und Mantovan) übertragen die Autoren die Eigenschaft der parabolischen Induktion vom Hodge- auf den abelschen Kontext.

Hauptbeiträge und Ergebnisse

• Hauptsatz (Satz 1.1): Der Artikel beweist, dass für ein unramifiziertes lokales Shimura-Datum $(G, [b], \{\mu\})$ vom abelschen Typ, das bezüglich einer parabolischen Untergruppe $P$ und eines Levi-Faktors $L$ Hodge–Newton-reduzibel ist, und für jede zulässige $\ell$-adische Darstellung $\rho$ von $J_b(\mathbb{Q}_p)$, die folgende Gleichheit als virtuelle Darstellungen von $G(\mathbb{Q}_p) \times W_{E_{opt}}$ gilt:
  $$H^\bullet(RZ^\infty_G)_\rho = \text{Ind}_{P(\mathbb{Q}_p)}^{G(\mathbb{Q}_p)} H^\bullet(RZ^\infty_L)_\rho$$
  Hierbei ist $E_{opt}$ eine spezifische endliche Erweiterung des Reflexionskörpers, die in Satz 6.3 konstruiert wird.
• Konstruktion von Weil-Abstiegdaten: Die Autoren liefern eine vollständige und in sich geschlossene Konstruktion der Weil-Abstiegdaten für RZ-Räume vom abelschen Typ und klären potenzielle Unklarheiten bezüglich der Abhängigkeit von Hilfsdaten vom Hodge-Typ (Lemma 6.4).
• Funktionalität von RZ-Räumen: Der Artikel etabliert, dass die Bildung von RZ-Räumen vom abelschen Typ Produkte und abgeschlossene Einbettungen lokaler Shimura-Daten respektiert (Proposition 8.2) und verallgemeinert damit frühere Ergebnisse, die für Hodge-Typ bekannt waren.
• Reduktion auf den adjungierten Fall: Der Beweis reduziert das Problem für Daten vom abelschen Typ effektiv auf den adjungierten Fall unter Ausnutzung der Surjektivität der Abbildung $\pi_1(H)^\Gamma \to \pi_1(H^{ad})^\Gamma$ (eine Bedingung, die von Ähnlichkeitsgruppen wie $GL_n$ und $GSp_{2n}$ erfüllt wird).

Bedeutung
Der Artikel behauptet, die Gültigkeit der Harris–Viehmann-Vermutung auf eine breitere Klasse lokaler Shimura-Daten zu erweitern, nämlich auf unramifizierte Daten vom abelschen Typ, die die Klasse der Daten vom Hodge-Typ strikt enthalten. Durch die Bestätigung der parabolischen Induktionsformel in diesem Kontext festigt die Arbeit das strukturelle Verständnis der Kohomologie von Shimura-Varietäten. Wie in der Einleitung angemerkt, stützt dieses Ergebnis die allgemeinere Erwartung innerhalb des Langlands-Programms, dass supercuspidale Darstellungen entlang des basalen Ortes konzentriert sind. Die Autoren beanspruchen nicht, die Vermutung für alle lokalen Shimura-Daten zu lösen (z. B. für nicht-reduzible oder nicht-unramifizierte Fälle), sondern zielen spezifisch auf den Hodge–Newton-reduziblen Fall für abelsche Typen ab und bauen dabei auf den grundlegenden Arbeiten von Mantovan, Hong und Shen auf.