Arithmetic volume of Shtukas and Langlands duality

Titel: Arithmetische Volume van Shtuka's en Langlands Dualiteit

Auteurs: Zeyu Wang en Wenqing Wei
Taal: Nederlands (samenvatting van het Engelse artikel)

---

1. Probleemstelling en Motivatie

Het artikel bouwt voort op het fundamentele werk van Feng, Yun en Zhang ([FYZ26]) over de relatie tussen het arithmetische volume van moduli-stacks van Shtuka's (de functie-veld-analoga van Shimura-variëteiten) en afgeleiden van L-functies (specifiek de zeta-functie van een kromme).

In het eerdere werk ([FYZ26]) waren de resultaten beperkt tot minuscule modificatietypes (minuscule coweights). Dit beperkte de conceptuele eenheid van de theorie en maakte expliciete berekeningen van de optredende constanten, de zogenaamde eigenweights ($\epsilon_{\lambda, i}$), uiterst complex. Voor groepen van type A vereisten de bestaande formules ingewikkelde informatie, zoals karaktertabellen van symmetrische groepen.

Het centrale probleem dat deze auteurs aanpakken is het uitbreiden van deze theorie naar willekeurige modificatietypes (arbitrary coweights) voor gesplitste semisimple algebraïsche groepen en het vinden van een uniforme, conceptuele beschrijving van de eigenweights en andere constanten ($b_\lambda$) in termen van de Langlands-duale groep ($\check{G}$).

2. Methodologie

De auteurs ontwikkelen een nieuwe, meer algemene aanpak die afwijkt van de methoden in [FYZ26], die afhankelijk waren van de Vinberg-semigrup en de wonderlijke compactificatie (die alleen werken voor minuscule gevallen).

Kernmethodologische stappen:

1. Relatieve Hecke-operatoren:
   De auteurs definiëren en bestuderen globale relatieve Hecke-operatoren ($\Gamma_{c, \alpha_0}$) die de "volume" van de moduli-stack van Shtuka's meten. In plaats van deze direct globaal te berekenen, ontwikkelen ze een lokaal-globaal compatibiliteitsresultaat.

   • Ze introduceren lokale relatieve Hecke-operatoren ($\Gamma^l_v$) die corresponderen met lokale volume-data (sheaves op de lokale Hecke-stack).
   • Ze bewijzen een commutatorrelatie (Theorema 3.2) die de lokale en globale operatoren verbindt. Dit is een veralgemening van conjecturen uit [LW25].

2. Graded Structure en Gross Motive:
   Ze analyseren de werking van deze operatoren op de geassocieerde graad van de cohomologiering van de moduli-stack van $G$-bundels ($Bun_G$), gebruikmakend van de Atiyah-Bott-formule.

   • Ze introduceren de Gross motive $V$, een vectorruimte gerelateerd aan de cohomologie van de klassificerende ruimte $BG$.
   • Ze tonen aan dat de geïnduceerde operator op $V$ een afgeleide (derivation) is. De eigenwaarden van deze operator zijn de gezochte eigenweights ($\epsilon_{\lambda, i}$).

3. Langlands Dualiteit:
   De grootste doorbraak is het vertalen van deze lokale operatoren naar de spectrale kant (de Langlands-duale groep $\check{G}$).

   • Ze beschrijven de eigenweights en de constante $b_\lambda$ als invariants geassocieerd met irreducibele representaties $V_\lambda$ van de duale groep $\check{G}$.
   • Ze gebruiken de Kostant-slice en de structuur van de centraleizer van een reguliere nilpotente element in $\check{g}$ om expliciete formules af te leiden.

3. Belangrijkste Bijdragen en Resultaten

A. Generalisatie naar Willekeurige Coweights

Het artikel veralgemeent de formules voor het arithmetische volume van Shtuka's van minuscule naar willekeurige dominante coweights $\lambda$.

• Hoofdstelling (Theorema 1.2 & 1.5): Het volume wordt uitgedrukt als een combinatie van de zeta-functie van de kromme $C$ en differentiaaloperatoren die afhangen van de eigenweights en de constante $b_\lambda$.
  $$\text{vol} = |\pi_1(G)| q^{\dim Bun_G} \left( \prod D_{\lambda_i} \right) L_{C,G}(s_1, \dots, s_n) \Big|_{s=0}$$
  Waarbij $D_{\lambda_i}$ differentiaaloperatoren zijn die de eigenweights bevatten.

B. Uniforme Beschrijving via Langlands Dualiteit

Voor het eerst speelt de Langlands-duale groep $\check{G}$ een directe en structurele rol in formules die afgeleiden van L-functies regelen.

• Eigenweights ($\epsilon_{\lambda, i}$): Deze worden geïdentificeerd als eigenwaarden van een specifieke endomorfisme $E_\lambda$ op de ruimte $\check{\mathfrak{g}}_f$ (gerelateerd aan de Kostant-slice), gedefinieerd via de representatie $V_\lambda$ van $\check{G}$.
• Constante $b_\lambda$: Deze wordt uitgedrukt als een invariante afgeleid van de representatie $V_\lambda$ en de adjoint representatie van $\check{G}$.
• Dit biedt een conceptueel heldere verklaring voor constanten die voorheen als "mysterieus" of puur computationeel werden beschouwd.

C. Expliciete Berekeningen

De auteurs voeren expliciete berekeningen uit voor:

• Alle klassieke groepen (Type A, B, C, D).
• De meeste fundamentele coweights voor uitzonderlijke groepen (G2, F4, E6, E7, E8).
• De formules die hieruit voortvloeien zijn elementairer dan de eerdere formules in [Fen26] (die vaak symmetrische groepen en karaktertabellen vereisten). Ze worden uitgedrukt in termen van multinomiale coëfficiënten en fundamentele invarianten van $\check{G}$.

D. Relatie met Relatieve Langlands Dualiteit

Het werk wordt geïnterpreteerd binnen het raamwerk van relatieve Langlands dualiteit (volgens [BZSV24]). De constanten $b_\lambda$ en $\epsilon_{\lambda, i}$ corresponderen met de Poisson-structuur op de lokale Plancherel-algebra, wat suggereert dat er een unificerend conceptueel kader bestaat voor Gross-Zagier-type formules over functie-velden.

4. Technische Details van de Formules

Voor een reeks coweights $\lambda_I = (\lambda_1, \dots, \lambda_r)$ en een moduli-stack $Sht_{G, \leq \lambda_I}$, is het volume:
$$\text{vol} = |\pi_1(G)| q^{\dim Bun_G} (\log q)^{-r} \left( \frac{d}{ds} \right)^r \Big|_{s=0} \left( q^{(2g-2)b_\lambda s} \prod_{i=1}^n \zeta_C(-\epsilon_{\lambda, i}s + d_i) \right)$$
(Voor het geval alle $\lambda_i$ gelijk zijn, anders een product van differentiaaloperatoren).

Hierbij zijn:

• $d_i$: De graden van de fundamentele invarianten van $G$.
• $b_\lambda, \epsilon_{\lambda, i}$: Constanten bepaald door de representatie $V_\lambda$ van de duale groep $\check{G}$.
• De auteurs geven expliciete formules voor $\epsilon_{\lambda, i}$ in termen van de bilineaire vorm $\kappa_\lambda$ op de Lie-algebra van $\check{G}$.

5. Significatie en Impact

1. Doorbraak in Conceptuele Eenheid: Het artikel lost het probleem op dat de theorie voor minuscule en niet-minuscule gevallen gescheiden leek. Het toont aan dat de structuur uniform is voor alle coweights.
2. Nieuwe Rol voor Langlands Dualiteit: Het is een van de eerste keer dat de Langlands-duale groep niet alleen als een "spectrale" zijde van de theorie optreedt, maar expliciet de coëfficiënten in formules voor afgeleiden van L-functies bepaalt.
3. Berekenbaarheid: Door de formules te vertalen naar de duale groep, worden complexe berekeningen (zoals die met symmetrische groepen) vervangen door meer gestructureerde algebraïsche berekeningen op $\check{G}$.
4. Toekomstperspectief: De auteurs suggereren dat deze aanpak een unificerend kader biedt voor het begrijpen van Gross-Zagier formules over functie-velden en dat de Hessians die de arithmetische snijgetallen controleren een algemeen fenomeen zijn voor hyperspeciale variëteiten.

Kortom, dit werk levert een fundamentele uitbreiding en verdieping van de theorie van Shtuka's, waarbij het de brug slaat tussen de meetkunde van moduli-ruimten, de representatietheorie van de Langlands-duale groep en de analytische eigenschappen van L-functies.