Relative Langlands duality for $\mathfrak{osp}(2n + 1|2n)$

Dit artikel bewijst een $S$-dualiteit voor de superalgebra $\mathfrak{osp}(2n + 1|2n)$ door de duale van de werking van $\text{SO}(2n+1)\times \text{Sp}(2n)$ te identificeren als de symplectische mirabolische ruimte, en formuleert daarbij een globaal conjectuur over de categorische theta-correspondentie.

De kern

Stel je voor dat wiskunde een gigantisch, ingewikkeld universum is, vol met verschillende landen die allemaal hun eigen taal spreken. In dit universum proberen wiskundigen een soort "vertaalboek" te maken tussen deze landen. Dit boek heet de Langlands-correspondentie. Het zegt: "Als je een probleem hebt in Land A, kun je het vaak beter oplossen door het te vertalen naar Land B, waar de regels anders zijn maar de structuur hetzelfde."

Dit artikel van Braverman, Finkelberg, Kazhdan en Travkin is een nieuw hoofdstuk in dat vertaalboek. Ze kijken naar een heel specifiek, wat exotisch geval dat te maken heeft met symmetrieën in de natuurkunde en wiskunde.

Hier is de uitleg in gewone taal, met een paar creatieve vergelijkingen:

1. Het Grote Doel: De Spiegel van de Realiteit

Stel je twee spiegels voor. Als je in de ene kijkt, zie je een wereld van SO(2n+1) (een soort bolvormige symmetrie). Als je in de andere kijkt, zie je een wereld van Sp(2n) (een soort waterachtige, vloeibare symmetrie).

In de wiskunde bestaat er een mysterieuze relatie, genaamd S-dualiteit. Dit is alsof je zegt: "Wat er gebeurt in de bolle wereld, is precies het spiegelbeeld van wat er gebeurt in de waterwereld."

Eerder hebben deze auteurs al bewezen dat als je begint met de waterwereld (Sp(2n)), je via de spiegel uitkomt bij een specifieke bolle wereld. Maar nu doen ze het omgekeerde: ze beginnen bij de bolle wereld en bewijzen dat je via de spiegel weer uitkomt bij de waterwereld. Het is als het bewijzen dat een kaart van A naar B klopt, én dat de kaart van B naar A ook klopt.

2. De Helden: De "Vreemde" Ruimtes

In dit verhaal spelen twee speciale ruimtes een hoofdrol:

• De "Mirabolische" Ruimte: Stel je een enorme dansvloer voor waar twee groepen dansers tegelijkertijd dansen. De ene groep is de SO-groep (de bollen) en de andere is de Sp-groep (de waterdruppels). Ze dansen op een heel specifieke manier op een oppervlak dat gemaakt is van twee lagen: een laag van vectoren (pijlen) en een laag van symmetrische vormen.
• De "Symplectische" Ruimte: Dit is de spiegelwereld. Hier dansen twee groepen van Sp-dancers. Maar er is een twist: één van de groepen is een beetje "metaplectisch". Dat klinkt als een rare term, maar stel je voor dat deze dansers een dubbelzinnige hoed dragen. Ze lijken op de normale dansers, maar als je ze een halve draai geeft, zijn ze niet meer hetzelfde. Dit is een wiskundige "anomalie" (een kleine foutje in de regels) die ze moeten oplossen.

3. Het Bewijs: De Vertalers

De auteurs bewijzen dat deze twee dansvloeren (de ene met SO en Sp, de andere met twee Sp's) eigenlijk exact hetzelfde zijn, alleen gezien vanuit een andere hoek.

Hoe doen ze dit? Ze gebruiken een hulpmiddel genaamd de Hecke-actie.

• De Analogie: Stel je voor dat je een enorme bibliotheek hebt (de "Satake-categorie"). In deze bibliotheek staan boeken die beschrijven hoe de dansers bewegen.
• De auteurs tonen aan dat als je een boek pakt uit de bibliotheek van de SO/Sp-dansers en het "vertaalt" via de Hecke-actie, je precies hetzelfde boek krijgt als je een boek pakt uit de bibliotheek van de Sp/Sp-dansers.
• Het is alsof ze zeggen: "Als je de muziek van de SO-band opneemt en die door een speciale filter haalt, klinkt het precies als de muziek van de Sp-band."

4. De "Anomalie" en de Dubbelzinnige Hoed

Een belangrijk punt in het artikel is de "anomalie". In de wereld van de Sp-dancers (de symplectische groep) is er een kleine regelbreuk. Normaal gesproken zou de spiegelbeeld-groep een andere naam hebben, maar door deze "anomalie" (veroorzaakt door een wiskundige "wortel" van een lijn) is de spiegelbeeld-groep eigenlijk een metaplectische versie van zichzelf.

Vergelijk het met een spiegel die een beetje scheef staat. Als je in zo'n spiegel kijkt, zie je jezelf, maar je bent ook een beetje "gedraaid". De auteurs laten zien dat zelfs met deze scheve spiegel, de vertaling tussen de twee werelden perfect werkt.

5. Het Grote Verhaal: De Wereldwijd Toepassing

Naast het lokale bewijs (hoe het werkt in een klein stukje wiskunde), kijken ze ook naar het "globale" plaatje.

• De Analogie: Stel je voor dat de lokale wiskunde een gesprek is tussen twee mensen in een kamer. Het "globale" verhaal is wat er gebeurt als die twee mensen over de hele wereld communiceren via brieven (op een kromme lijn, zoals een wereldbol).
• Ze formuleren een conjectuur (een slimme gok) over hoe deze vertaling werkt als je de hele wereld meeneemt. Ze zeggen dat er een soort "theta-schil" (een beschermende laag) is die alle informatie over de dansers in de ene wereld naar de andere wereld transporteert.
• Ze suggereren dat deze schil een soort "L-functie" (een wiskundige maatstaf voor complexiteit) vertegenwoordigt. Als je de schil openmaakt, zie je de diepe verbinding tussen de getallen en de symmetrieën.

Samenvatting

Kortom, dit artikel is een wiskundig meesterwerk dat zegt:
"We hebben bewezen dat twee heel verschillende soorten symmetrische dansvloeren (één met een bolle groep en één met twee watergroepen) in feite exact hetzelfde zijn, mits je rekening houdt met een kleine, rare hoed (de anomalie) die één van de groepen draagt. We hebben ook een kaart getekend voor hoe dit werkt in het hele universum, niet alleen in één kamer."

Het is een stap verder in het begrijpen van de diepe, verborgen structuur van het universum, waar alles met elkaar verbonden is door mysterieuze spiegels en vertalingen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Relative Langlands Duality for $osp(2n + 1|2n)$" van Braverman, Finkelberg, Kazhdan en Travkin, geschreven in het Nederlands.

Titel: Relatieve Langlands-dualiteit voor $osp(2n + 1|2n)$

1. Het Probleem en de Context

Het artikel bevindt zich binnen het kader van het Geometrische Langlands-programma, specifiek gericht op de relatieve Langlands-dualiteit (zoals geformuleerd in het werk van Ben-Zvi, Sakellaridis, Venkatesh en anderen, [BZSV]).

• De Kernvraag: De auteurs onderzoeken de $S$-dualiteit (een vorm van Langlands-dualiteit) voor specifieke symplectische variëteiten die niet van het cotangente type zijn. In het standaardgeval is de dualiteit tussen een symplectische variëteit $M$ en haar "relatieve Langlands-dual" $M^\vee$ goed begrepen. Echter, wanneer $M$ een symplectische lineaire representatie is van een groep $G$ die niet van het cotangente type is, treedt er een anomalie op. Deze anomalie vereist dat de dualiteit werkt in een "twisted" (verdraaide) versie van de Satake-categorie, waarbij de Langlands-dualgroep een metaplectische versie kan zijn.
• Specifiek Doel: Het artikel is een vervolgstuk op [BFT]. In [BFT] werd bewezen dat de $S$-dual van de symplectische variëteit $T^*Sp(2n) \times \mathbb{C}^{2n}_-$ (met de actie van $Sp(2n) \times Sp(2n)$) gelijk is aan de variëteit $M = \mathbb{C}^{2n+1}_+ \otimes \mathbb{C}^{2n}_-$ met de actie van $SO(2n+1) \times Sp(2n)$.
• De Omgekeerde Vraag: Het doel van dit papier is het bewijzen van het converse: dat de $S$-dual van $M$ onder de actie van $SO(2n+1) \times Sp(2n)$ inderdaad de symplectische "mirabolische ruimte" $T^*Sp(2n) \times \mathbb{C}^{2n}_-$ is. Dit bevestigt de involutiviteit van de constructie in dit specifieke, anomalie-bevattende geval.

2. Methodologie

De auteurs gebruiken een combinatie van representatietheorie, algebraïsche meetkunde en de theorie van $D$-modulen om een equivalentie tussen twee complexe categorische structuren te bewijzen.

• Categorische Kaders:
  • Kant: De categorie $W\text{-mod}^{SO(V')_O \times Sp(V)_O}_{lc}$ van lokaal compacte objecten in de categorie van $D$-modulen op de affiene Grassmanniaan (twisted door een wortel van de determinantbundel) gecombineerd met modules over de Weyl-algebra $W$ van de symplectische ruimte $M_K$.
  • Kant: De categorie van perfecte $DG$-modules over een bepaalde $DG$-superalgebra $A^\bullet$, die is gerelateerd aan de cohomologie van de Langlands-dualgroep.
• De Hecke-actie: Een cruciale techniek is het identificeren van de actie van de Hecke-categorie (geassocieerd met de Satake-equivalentie) op beide kanten. De auteurs tonen aan dat de convolutie-acties van de Hecke-categorieën van $SO(2n+1)$ en $Sp(2n)$ op de Weyl-module-categorie identiek zijn voor specifieke generatoren.
• De-equivariantisatie: Om de algebraïsche structuur bloot te leggen, "de-equivariantiseren" de auteurs de categorie. Ze onderzoeken de Ext-algebra van het eenheidsobject $E_0$ in de de-equivariantiseerde categorie. Dit leidt tot een commutatieve algebra die geïdentificeerd moet worden met de functiering van de dualiteit.
• Invariantentheorie en Snijpunten: Ze gebruiken de theorie van Kostant-slices en pseudo-snijpunten (pseudo-slices) in de ruimte $\mathfrak{sp}(V) \oplus V$. Door een specifieke slice $\Sigma$ te construeren, kunnen ze de complexe algebraïsche structuur reduceren tot een meer beheersbare vorm, waarbij ze gebruikmaken van de localisatiestelling voor equivariante cohomologie.

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling (Theorem 2.2.1):
Er bestaat een equivalentie van triangulere categorieën:
$$D^{perf}_{Sp(V) \times Sp(V)}(A^\bullet) \xrightarrow{\sim} W\text{-mod}^{SO(V')_O \times Sp(V)_O}_{lc}$$
waarbij:

• $A^\bullet = \mathbb{C}[Sp(V)] \otimes \text{Sym}^\bullet(\mathfrak{sp}(V)[-2]) \otimes \text{Sym}^\bullet(\Pi(V)[-1])$.
• Deze equivalentie commuteert met de convolutie-actie van de monoidale sphere Hecke-categorieën.
• Dit bewijst dat de $S$-dual van $M \sslash (SO(2n+1) \times Sp(2n))$ inderdaad de symplectische mirabolische ruimte is.

Technische Doorbraken:

1. Identificatie van Hecke-acties: Het bewijs dat de convolutie-acties van de twee verschillende Satake-equivalenties (voor $SO$ en $Sp$) op de Weyl-module-categorie samenvallen (Lemma 3.1.1). Dit is essentieel om de dualiteit tussen de twee groepen te koppelen.
2. Structuur van de Ext-algebra: Het bewijzen dat de de-equivariantiseerde Ext-algebra $E^\bullet$ commutatief is en isomorf is met de algebra $G^\bullet$ (Propositie 3.3.5). Dit wordt bereikt door de algebra te lokaliseren en te vergelijken met de cohomologie van een slice $\Sigma$.
3. Anomalie-handling: Het expliciet behandelen van de "anomalie" (de twist door de wortel van de determinantbundel). De auteurs tonen aan dat ondanks deze twist, de dualiteit consistent blijft, waarbij de tweede factor $Sp(2n)$ correspondeert met zijn metaplectische Langlands-dual.

Globale Conjectuur (Conjecture 1.5.1):
Naast het lokale resultaat formuleren de auteurs een globale conjectuur die de relatie legt tussen perioden van automorfe vormen en $L$-functies.

• Ze definiëren een "theta-schil" $\Theta^\vee$ op de moduli-stack van lokale systemen.
• De conjectuur stelt dat de vezel van deze schil op een symplectisch lokaal systeem $E$ gelijk is aan de spinorrepresentatie $S_E$ van de Clifford-algebra geassocieerd met de cohomologie van $E$.
• Dit impliceert dat de compositie van bepaalde functoren (Hecke-eigen-D-modules) resulteert in een tensorproduct met de Clifford-algebra, wat een categorificatie is van de waarde van de $L$-functie bij $s=1/2$.

4. Significantie

• Bevestiging van de Relatieve Dualiteit: Het artikel levert een rigoureus bewijs voor een belangrijke case van de relatieve Langlands-dualiteit in een niet-triviaal, "twisted" geval. Het bevestigt de voorspellingen van [BZSV] en [BFT] voor de groep $osp(2n+1|2n)$.
• Uitbreiding van de Satake-theorie: Het werk toont aan hoe de derived Satake-equivalentie kan worden uitgebreid naar categorieën met anomalieën (twisted categories), wat essentieel is voor het begrijpen van de dualiteit voor niet-cotangente symplectische variëteiten.
• Verbinding met $L$-functies: De geformuleerde globale conjectuur biedt een nieuw perspectief op de relatie tussen perioden van automorfe vormen en de waarden van $L$-functies, een centraal thema in het werk van Ben-Zvi, Sakellaridis en Venkatesh. Het suggereert dat Clifford-algebra's en spinorrepresentaties een fundamentele rol spelen in de categorificatie van deze $L$-waarden.
• Methodologische Innovatie: De combinatie van Weyl-algebra's, equivariante cohomologie, en de constructie van specifieke slices in Lie-algebra's biedt een krachtige nieuwe methode voor het analyseren van complexe dualiteitsproblemen in de representatietheorie.

Kortom, dit papier is een fundamentele bijdrage aan het moderne Geometrische Langlands-programma, die de brug slaat tussen lokale algebraïsche structuren en globale automorfe fenomenen in een setting die voorheen te complex werd geacht voor een volledige behandeling.