Symplectic duality for the constant term of the geometric Eisenstein series

Technische Samenvatting: Symplectische Dualiteit voor de Constante Term van de Geometrische Eisenstein-serie

Probleemstelling
Dit artikel onderzoekt de cohomologie van een specifieke moduli-stack van quasimaps, aangeduid als $QM_{\vec{N}}^{\vec{M}}$, die de constante term van de geometrische Eisenstein-serie voor de mirabolische parabolische subgroep van $GL_{n+1}$ over het functieveld $\mathbb{F}_q(C)$ van een glad projectief curven $C$, categoriseert. Het centrale probleem is het begrijpen van de structuur van deze cohomologie, die een actie draagt van een Hecke-type modificatie-algebra, en het identificeren ervan met een meer behapbaar geometrisch object. Specifiek streeft de auteur naar het vaststellen van een "symplectische dualiteit" (of 3d-spiegelymmetrie) tussen de Higgs-tak beschrijving (de quasimap-stack) en een Coulomb-tak beschrijving (een singuliere oppervlakte en de resolutie daarvan).

Methodologie
De auteur maakt gebruik van een combinatie van geometrische representatietheorie, afgeleide algebraïsche meetkunde en equivariantie-cohomologie technieken. De methodologie verloopt via de volgende stappen:

1. Constructie van de Afgeleide Stack: De moduli-stack van quasimaps $QM_{\vec{N}}^{\vec{M}}$ wordt gedefinieerd als een afgeleide stack. De raakcomplex van de stack wordt expliciet berekend, waarbij wordt vastgesteld dat de stack quasi-glad is. Dit maakt de definitie van een virtuele raakruimte en een virtuele dimensie mogelijk.
2. Algebra van Correspondenties: Een modificatie-correspondentie $\iota$ wordt geïntroduceerd, die een lijnbundel $L$ vervangt door $L(-x)$ in een punt $x \in C$. Pullback- en pushforward-operaties langs deze correspondentie genereren een algebra $A_\chi$ van operatoren die werken op de cohomologie (met coëfficiënten in een lokaal systeem $\chi$). De relaties in deze algebra (commutatoren en Casimir-identiteiten) worden berekend in termen van tautologische Chern-klassen.
3. Symplectisch Duale Variëteit: De auteur construeert de "Coulomb-tak" $X^\vee_0 = \text{Spec}(\mathbb{Q}_l[x, y, \eta]/(xy - \eta^{n+1}))$, wat een $A_n$-oppervlakte-singulariteit is. Deze oppervlakte wordt geïdentificeerd als de symplectische duale van de Higgs-tak $X = T^*\mathbb{P}^n$.
4. Resolutie en Vaste Loci: Een minimale resolutie $\rho: X^\vee \to X^\vee_0$ wordt geconstrueerd door het lijmen van affiene kaarten $U_k \cong \mathbb{A}^2$. De auteur maakt gebruik van een Białynicki-Birula-decompositie van de quasimap-stack geïnduceerd door een torus-actie. Deze decompositie stratificeert de stack in aantrekkende banen $Attr(k)$, waarvan de vaste loci symmetrische producten van de curve zijn.
5. Vergelijking via Filtratie: De kern van het bewijs behelst het vergelijken van twee filtraties:
   • Op de quasimap-zijde: een filtratie geïnduceerd door de Białynicki-Birula-decompositie.
   • Op de duale zijde: een filtratie van de lokale cohomologie van een specifieke vectorbundel op $X^\vee$ die ondersteund is op de aantrekkende Lagrangiaanse subvariëteit $L \subset X^\vee$.
     De auteur bewijst dat de geassocieerde gegradeerde stukken van deze filtraties isomorf zijn als modules over de respectieve algebra's. Het extensieprobleem (of de filtraties splitsen) wordt geanalyseerd om de volledige isomorfie te bepalen.

Belangrijkste Bijdragen en Resultaten

• Identificatie van de Algebra: De sub-algebra van de correspondentie-algebra gegenereerd door operatoren van graad twee wordt geïdentificeerd met de ring van reguliere functies op de $A_n$-oppervlakte-singulariteit. De operatoren van graad één vormen een spin-module (een Clifford-algebra) over deze oppervlakte, en operatoren van graad nul werken als operatoren van eerste orde.
• Het Geval van de Triviale Karakter (Stelling 1): Voor het triviale lokale systeem vestigt het artikel een torus-equivariante isomorfie tussen de verschoven cohomologie van de quasimap-stack en de lokale cohomologie van een getwiste sheaf op de resolutie $X^\vee$:
  $$\hat{H}^*_c(QM_{\vec{N}}^{\vec{M}}) \cong H^*_L(X^\vee, \hat{\mathcal{O}}_{vir} \otimes \mathcal{O}(\vec{M}))$$
  Hierbij is $\hat{\mathcal{O}}_{vir}$ een "gesymmetriseerde virtuele structuur sheaf" (een spin-bundel getwist met de vierkantswortel van de kanonieke bundel), en $\mathcal{O}(\vec{M})$ een lijnbundel bepaald door de graden van de input-bundels.
• Het Geval van de Niet-Triviale Karakter (Stelling 2): Voor een niet-triviaal rank-één lokaal systeem $\chi$ houdt de isomorfie alleen stand indien bepaalde "obstruction"-condities niet worden vervuld. Specifiek, indien $\chi^{n+1}_0 \neq 1$, faalt de isomorfie precies wanneer er indices $k < s$ bestaan zodanig dat de bundels $M_k$ en $M_s$ isomorf zijn, en er een specifieke Euler-karakteristiek-conditie betrokken is bij de kanonieke bundel $K_C$. In deze uitzonderlijke gevallen splitst de filtratie op de cohomologie niet, wat de niet-gereduceerde structuur van de vaste locus op de singuliere zijde reflecteert versus de gereduceerde vaste locus op de opgeloste zijde.
• Expliciete Berekening van Lokale Cohomologie: Het artikel berekent expliciet de lokale cohomologie van de resolutie $X^\vee$ met ondersteuning in de aantrekkende verzameling $L$, waarbij wordt aangetoond dat deze gegenereerd wordt door specifieke cyclische vectoren met goed gedefinieerde Frobenius- en torus-gewichten.

Betekenis en Claims

Het artikel claimt een geometrische realisatie te bieden van de constante term van de geometrische Eisenstein-serie in termen van de lokale cohomologie van een resolutie van een singuliere oppervlakte. Dit resultaat generaliseert eerder werk voor $GL_2$ (specifiek de analyse in [KO23]) naar $GL_{n+1}$.

De betekenis ligt in:

1. Categorificatie: Het categoriseert de constante term van de Eisenstein-serie door deze te verheffen van een spoor van Frobenius naar een volledig cohomologisch object met een algebra-actie.
2. Symplectische Dualiteit: Het construeert expliciet de symplectische duale (Coulomb-tak) voor deze specifieke geometrische Eisenstein-serie opstelling, waarbij de $A_n$-singulariteit als de duale wordt geïdentificeerd van de Higgs-tak $T^*\mathbb{P}^n$.
3. Obstruction-Analyse: Het biedt een precieze karakterisering van wanneer de dualiteit een isomorfie is en wanneer deze faalt vanwege niet-splitsende extensies, waarbij de falen wordt gekoppeld aan specifieke geometrische condities op de curve en de bundels (betrokken bij de genus $g$ en de graden van de bundels).

De auteur merkt op dat het bewijs steunt op de zuiverheid (purity) van de cohomologie van de aantrekkende banen, wat volgt uit hun gladheid, en gebruikmaakt van equivariantie-lokalisatietechnieken om de gewichten en structuren aan beide zijden van de dualiteit te matchen. Het werk wordt gepresenteerd als een stap naar het begrijpen van het geometrische Langlands-programma en de structuur van automorfe vormen via geometrische methoden.