A relative Langlands dual realization of $T^*(G/K)$ and derived Satake

Technisches Resümee: Eine relative Langlands-duale Realisierung von $T^*(G/K)$ und der abgeleiteten Satake-Äquivalenz

Problemstellung
Die Arbeit befasst sich mit der Problemstellung, die „relative duale“ (oder symplektische duale) Varietät $M_{\check{G}, \check{X}}$ zu identifizieren, die mit einer sphärischen Varietät $\check{X}$ für eine Langlands-duale Gruppe $\check{G}$ assoziiert ist. Während die Konstruktion solcher dualen Varietäten über Ringobjekte in der abgeleiteten Satake-Kategorie für Spaltgruppen (split groups) und spezifische Fälle (z. B. $\check{X} = \check{G}$) gut etabliert ist, untersucht das Paper das inverse Problem: Gegeben sei eine affine Hamiltonsche $G$-Varietät $M$ von Interesse in der Darstellungstheorie, spezifisch das Kotangentialbündel $T^*(G/K)$ einer quasi-gespaltenen symmetrischen Fläche $X = G/K$; kann man eine entsprechende sphärische Varietät $\check{X}$ für die duale Gruppe $\check{G}$ identifizieren, sodass $M \cong M_{\check{G}, \check{X}}$ gilt?

Die Autoren konzentrieren sich auf den Fall, in dem $G$ eine quasi-gespaltene symmetrische Fläche ist, die nicht notwendigerweise gespalten (split) ist. In solchen Fällen liefert der naive Kandidat für die duale symmetrische Fläche (der Quotient der dualen Gruppe durch die duale symmetrische Untergruppe) nicht die korrekte Geometrie. Das Paper sucht nach einer Lösung dieses Problems durch die Einführung von „Loop-Symmetrischen Flächen“ (loop symmetric spaces) und die Etablierung einer abgeleiteten kategorischen Äquivalenz (Derived Satake), die bekannte Ergebnisse für reduktive Gruppen auf diese quasi-gespaltenen Settings verallgemeinert.

Methodik
Die Methodik kombiniert geometrische Darstellungstheorie, die Theorie von Loop-Gruppen und die Untersuchung regulärer zentralisierender Gruppenschemata.

1. Geometrischer Aufbau und Kostant-Rallis-Theorie:
   Die Autoren nutzen die Kostant-Rallis-Theorie für symmetrische Flächen. Sie setzen das Kotangentialbündel $T^*(G/K)$ in Beziehung zu den regulären zentralisierenden Gruppenschemata $J_G$ und $J_H$ (wobei $H$ eine verwandte gesplittete symmetrische Untergruppe ist). Speziell etablieren sie einen Isomorphismus zwischen dem Koordinatenring von $T^*(G/K)$ und dem Ring der Invarianten eines spezifischen Quotienten, der $G$, $H$ und die Norm-Abbildung zwischen zentralisierenden Gruppenschemata involviert.

2. Verdrehte Loop-Gruppen und affine Grassmannian:
   Die zentrale technische Innovation besteht in der Einführung einer „verdrehten“ Involution $\check{\theta}$ auf der Loop-Gruppe $\check{G}(F)$, definiert durch $\check{\theta}(\gamma)(t) = \check{\theta}_0(\gamma(-t))$, wobei $\check{\theta}_0$ eine gepinnte (pinned) Involution der dualen Gruppe ist. Dies führt zur Definition der verdrehten Loop-Gruppe $\check{G}(F)^{\check{\theta}}$ und der verdrehten affinen Grassmannian $\text{Gr}^{\check{\theta}} = \check{G}(F)^{\check{\theta}} / \check{G}(O)^{\check{\theta}}$.

3. Abgeleitete Satake-Äquivalenz für verdrehte Grassmannians:
   Die Autoren beweisen eine abgeleitete Satake-Äquivalenz für diese verdrehten affinen Grassmannians. Sie zeigen, dass die abgeleitete Kategorie der $\check{G}(O)^{\check{\theta}}$-äquivarianten Garben auf $\text{Gr}^{\check{\theta}}$ äquivalent zur Kategorie der perfekten Komplexe auf dem verschobenen Kotangentialbündel der gesplatteten symmetrischen Untergruppe $H$ (speziell $T^*H[2]$) ist. Dies erweitert die Arbeit von Zhu und anderen in das abgeleitete Setting.

4. Ringobjekte und relative Duale:
   Unter Verwendung des Rahmens von BZSV (Ben-Zvi, Nadler, Sakellaridis) und BFN (Braverman, Finkelberg, Nakajima) konstruieren die Autoren ein Ringobjekt $A_{\check{G}, \check{\theta}}$ in der abgeleiteten Satake-Kategorie, die mit der Loop-Symmetrischen Fläche $\check{X}^{\check{\theta}}(F) = \check{G}(F) / \check{G}(F)^{\check{\theta}}$ assoziiert ist. Sie definieren die relative duale Varietät $M_{\check{G}, \check{\theta}}$ über den Koordinatenring dieses Ringobjekts.

5. Reinheit und Formalität:
   Ein entscheidender Schritt besteht darin, die Formalitäts- und Volltreue-Eigenschaften für $!$-reine Objekte in der verdrehten abgeleiteten Satake-Kategorie zu beweisen. Dies ermöglicht es den Autoren, die Kohomologie dieser Ringobjekte explizit zu berechnen und sie mit der Geometrie von $T^*(G/K)$ zu verknüpfen.

Wesentliche Beiträge und Ergebnisse

• Theorem 1.1 (Geometrischer Isomorphismus): Die Autoren etablieren einen natürlichen $G$-äquivarianten Isomorphismus von Ringen:
  $$C[M_{\check{G}, \check{\theta}}] \cong C[T^*(G/K)]$$
  Dies identifiziert die relative duale Varietät der Loop-Symmetrischen Fläche $\check{X}^{\check{\theta}}(F)$ mit dem Kotangentialbündel der quasi-gespaltenen symmetrischen Fläche $G/K$. Dies liefert eine konkrete Familie von Beispielen für die relative Langlands-Dualität für nicht-gesplattete Gruppen.

• Theorem 1.2 (Abgeleitete Satake für Loop-Symmetrische Flächen): Das Paper etabliert eine kanonische Äquivalenz zwischen der abgeleiteten Satake-Kategorie für die Loop-Symmetrische Fläche und der Kategorie der äquivarianten perfekten Komplexe auf dem verschobenen Kotangentialbündel:
  $$D^b_{\check{G}(O)}(\check{X}^{\check{\theta}}(F))_e \cong \text{Perf}_G(T^*(G/K)[2])$$
  Hierbei bezeichnet der Index $e$ die Teilkategorie, die durch das Dualisierungsschem der Basis-Orbit unter der Hecke-Wirkung erzeugt wird. Dies verallgemeinert die abgeleitete Satake-Äquivalenz von reduktiven Gruppen auf quasi-gesplattete symmetrische Flächen.

• Theorem 1.3 (Verdrehte abgeleitete Satake und Reinheit):

  1. Eine monoidale Äquivalenz wird für die verdrehte affine Grassmannian bewiesen: $D^b_{\check{G}(O)^{\check{\theta}}}(\text{Gr}^{\check{\theta}}) \cong \text{Perf}_{H \times H}(T^*H[2])$.
  2. Ein Ergebnis zur Volltreue wird für $!$-reine Objekte etabliert, was eine Formel für die Kohomologie von Tensorprodukten liefert, die die Einbettung der verdrehten Grassmannian in die Standard-affine Grassmannian involvieren.

• Bezrukavnikov-Äquivalenz (Theorem 1.4): Durch die Kombination der abgeleiteten Satake-Äquivalenz mit jüngsten Arbeiten zur tamely ramifizierten Äquivalenz leiten die Autoren eine konstruktive Realisierung äquivarianter perfekter Komplexe auf der Basenänderung der Grothendieck-Springer-Resolution entlang der Momentenabbildung ab:
  $$D^b_{\check{I}}(\check{X}^{\check{\theta}}(F))_e \cong \text{Perf}_G((T^*(G/K) \times_{\mathfrak{g}^*} \tilde{\mathfrak{g}})[2])$$
  Dies dient als eine Version der Bezrukavnikov-Äquivalenz für quasi-gesplattete symmetrische Flächen.

• Erweiterungen und Varianten: Das Paper diskutt auch Varianten dieser Ergebnisse, einschließlich Fällen mit Triality (für $\text{Spin}_8$), speziellen Parahorischen Untergruppen (bezüglich $SU_{2n+1}$) und Teilkörpern $F_n = \mathbb{C}((t^n))$. Diese Fälle decken alle betrachteten verdrehten affinen Grassmannians aus der vorangegangenen Literatur (z. B. Zhu's Arbeit) ab.

Bedeutung und Behauptungen
Das Paper behauptet, eine „positive Antwort“ auf die Frage zu geben, ob das Kotangentialbündel einer quasi-gespaltenen symmetrischen Fläche als relative duale Varietät auftritt. Die Bedeutung liegt in:

1. Verallgemeinerung der Langlands-Dualität: Es erweitert den Rahmen der relativen Langlands-Dualität, der zuvor weitgehend auf gesplattete Gruppen oder spezifische sphärische Varietäten beschränkt war, auf den Bereich der nicht-gesplatteten (quasi-gespaltenen) symmetrischen Flächen.
2. Kategorische Realisierung: Es bietet eine „konstruktive Realisierung“ der Kategorie der perfekten Komplexe auf $T^*(G/K)$ in Bezug auf Garben auf Loop-Symmetrischen Flächen, was effektiv die Plancherel-Formel für diese Flächen kategorisiert.
3. Verbindung zum Geometric Langlands: Die Autoren merken an, dass diese Ergebnisse Anzeichen für eine „Verdrehte Relative Langlands-Dualität“-Vermutung liefern, die eine Beziehung zwischen der abgeleiteten Kategorie der Loop-Symmetrischen Fläche und der Kategorie konstruierbarer Komplexe auf dem Modulist der Real-Bundles auf der Twistor-$\mathbb{P}^1$ postuliert.
4. Technische Grundlage: Die Arbeit etabliert die abgeleitete Satake-Äquivalenz für verdrehte affine Grassmannians, ein Ergebnis von eigenständigem Interesse, das auf der Untersuchung von Nearby-Cycles-Funktoren und der Formalität von $!$-reinen Objekten beruht.

Die Autoren stellen explizit fest, dass die Ergebnisse darauf beruhen, dass $G$ adjunkt und $X$ quasi-gesplattet ist. Sie merken auch an, dass die quanten-theoretische Entsprechung (bezüglich $(\mathfrak{g}, K)$-Modulen) der Arbeit vorbehalten bleibt. Das Paper beansprucht nicht, das volle Geometric Langlands-Programm für diese Räume gelöst zu haben, sondern etabliert eine kritische Brücke zwischen der Geometrie symmetrischer Flächen und der Darstellungstheorie von Loop-Gruppen durch die Linse der relativen Dualität.