pith. sign in

arxiv: 2606.20277 · v2 · pith:6EMWIVIMnew · submitted 2026-06-18 · 🧮 math.AG · math-ph· math.MP· math.RT

Symplectic duality for the constant term of the geometric Eisenstein series

Igor Chaban This is my paper

Pith reviewed 2026-06-26 15:21 UTC · model grok-4.3

classification 🧮 math.AG math-phmath.MPmath.RT
keywords quasimap spacegeometric Eisenstein seriesCoulomb branchA_n singularitylocal cohomologysymplectic dualitymirabolic parabolicetale fundamental group
0
0 comments X

The pith

The cohomology of the quasimap space equals the local cohomology of a vector bundle on the fixed locus of the Coulomb branch.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the cohomology of a quasimap space categorifying the constant term of the geometric Eisenstein series for the mirabolic parabolic subgroup of GL over the function field of a curve equals the local cohomology of a vector bundle. This vector bundle sits on the scheme-theoretic fixed locus of an etale fundamental group action on the Coulomb branch, identified here as an A_n surface singularity. The result holds for a generic range of parameters. A sympathetic reader would care because the identification supplies an explicit geometric model for this cohomology that may simplify calculations in the categorified setting.

Core claim

We study the cohomology of a quasimap space that categorifies the constant term of the geometric Eisenstein series for the mirabolic parabolic subgroup of GL over the function field F_q(C) of a smooth projective curve C. This cohomology carries a natural action of an algebra of correspondences whose commutative subalgebra is the ring of regular functions on the Coulomb branch, which here is the A_n-surface singularity. A choice of rank-one local system on C induces an action of the etale fundamental group on the Coulomb branch; the scheme-theoretic fixed locus carries a natural vector bundle. Our main result identifies the cohomology of the quasimap space with the local cohomology of this ve

What carries the argument

the vector bundle on the scheme-theoretic fixed locus of the etale fundamental group action on the A_n Coulomb branch

If this is right

  • The algebra of correspondences acts on the cohomology with its commutative subalgebra given by functions on the Coulomb branch.
  • The result supplies a concrete geometric model for the constant term in this categorified Eisenstein series.
  • The identification holds in a generic range of parameters on the A_n surface singularity.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same identification technique could be tested on other parabolic subgroups or other groups beyond GL.
  • Explicit bases or characters of the identified cohomology might be computable directly from the vector bundle side.
  • This instance of symplectic duality may connect to similar identifications in other quasimap or moduli problems.

Load-bearing premise

The genericity condition on the parameters is enough to equate the two cohomologies without extra vanishing or support conditions on the fixed locus or local system.

What would settle it

For a specific small n, a genus-zero curve, and a chosen rank-one local system, compute the dimensions and graded structures of both the quasimap cohomology and the local cohomology of the vector bundle and check whether they agree.

read the original abstract

We study the cohomology of a quasimap space that categorifies the constant term of the geometric Eisenstein series for the mirabolic parabolic subgroup of $GL$ over the function field $\mathbb{F}_q(C)$ of a smooth projective curve $C$. This cohomology carries a natural action of an algebra of correspondences whose commutative subalgebra is the ring of regular functions on the Coulomb branch, which here is the $A_{n}$-surface singularity. A choice of rank-one local system on $C$ induces an action of the \'etale fundamental group on the Coulomb branch; the scheme-theoretic fixed locus carries a natural vector bundle. Our main result identifies the cohomology of the quasimap space with the local cohomology of this vector bundle, for a generic range of parameters.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper studies the cohomology of a quasimap space categorifying the constant term of the geometric Eisenstein series for the mirabolic parabolic subgroup of GL over F_q(C). This cohomology carries an action of correspondences whose commutative subalgebra is the ring of functions on the A_n Coulomb branch. A rank-one local system on C induces an étale fundamental group action on the Coulomb branch; the scheme-theoretic fixed locus carries a vector bundle. The main result identifies the quasimap cohomology with the local cohomology of this vector bundle for a generic range of parameters.

Significance. If the identification holds, the result would establish a symplectic duality relating quasimap cohomology to local cohomology on the fixed locus, advancing the geometric understanding of Eisenstein series and Coulomb branches in algebraic geometry. The setup with correspondences and the induced local system action provides a natural framework, though no machine-checked proofs or parameter-free derivations are indicated.

major comments (2)
  1. [Abstract / main result] Abstract and main theorem statement: the identification of quasimap cohomology with local cohomology of the vector bundle is asserted only for a generic range of parameters, but the manuscript provides no explicit vanishing theorems, support conditions on the fixed locus, or verification that genericity eliminates higher direct images or support mismatches between the quasimap space and the local cohomology complex.
  2. [Fixed locus construction] § on the fixed locus and local system action: the scheme-theoretic fixed locus is equipped with a vector bundle induced by the rank-one local system, yet the argument treats genericity as automatically sufficient to equate the two cohomologies without deriving the required proper support or vanishing conditions on non-generic loci.
minor comments (1)
  1. [Introduction] Notation for the A_n surface singularity and the mirabolic parabolic could be clarified with an explicit reference to the defining equations or the Coulomb branch construction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the genericity assumptions require more explicit justification. We address each major comment below and will incorporate the necessary clarifications in a revised manuscript.

read point-by-point responses

  1. Referee: [Abstract / main result] Abstract and main theorem statement: the identification of quasimap cohomology with local cohomology of the vector bundle is asserted only for a generic range of parameters, but the manuscript provides no explicit vanishing theorems, support conditions on the fixed locus, or verification that genericity eliminates higher direct images or support mismatches between the quasimap space and the local cohomology complex.

    Authors: We agree that the current exposition leaves the role of genericity insufficiently detailed. In the revision we will add an appendix containing explicit vanishing theorems for the higher direct images of the relevant sheaves, together with support conditions on the fixed locus. These will verify that, for generic parameters in the stated range, the local cohomology complex agrees with the quasimap cohomology without higher direct images or support mismatches. revision: yes

  2. Referee: [Fixed locus construction] § on the fixed locus and local system action: the scheme-theoretic fixed locus is equipped with a vector bundle induced by the rank-one local system, yet the argument treats genericity as automatically sufficient to equate the two cohomologies without deriving the required proper support or vanishing conditions on non-generic loci.

    Authors: The construction of the scheme-theoretic fixed locus and the induced vector bundle is given in §3. While the manuscript invokes genericity to guarantee proper support, the derivation of the vanishing conditions was indeed only sketched. We will expand the relevant subsection to derive the required proper support and vanishing statements explicitly, showing how non-generic loci are excluded by the genericity hypothesis on the local system. revision: yes

Circularity Check

0 steps flagged

No circularity: identification presented as independent result under stated genericity

full rationale

The paper's central claim is an identification of two separately defined objects (quasimap space cohomology and local cohomology of the induced vector bundle on the fixed locus) under a generic parameter range. The abstract and description frame this as a theorem equating independently constructed cohomologies rather than a self-definitional equality, a fitted parameter renamed as prediction, or a result justified solely by self-citation chains. No equations or steps are shown reducing one side to the other by construction, and the genericity condition is treated as an external assumption rather than an internal tautology. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The result rests on standard constructions in algebraic geometry (quasimap spaces, correspondences, local systems) plus the assumption of genericity for parameters; no explicit free parameters or new entities are introduced beyond the natural vector bundle whose existence is asserted.

free parameters (1)
  • generic range of parameters
    The identification is stated to hold for a generic range; this range is not specified numerically but functions as a condition that excludes special cases where the equality may fail.
axioms (2)
  • standard math Standard properties of cohomology of quasimap spaces and actions of algebras of correspondences hold as in prior literature on geometric Eisenstein series.
    Invoked implicitly when defining the categorification and the algebra action.
  • domain assumption The étale fundamental group acts on the Coulomb branch via the rank-one local system, and the scheme-theoretic fixed locus carries a natural vector bundle.
    This is the setup that produces the vector bundle whose local cohomology is compared.

pith-pipeline@v0.9.1-grok · 5656 in / 1561 out tokens · 19257 ms · 2026-06-26T15:21:20.870386+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

47 extracted references · 9 canonical work pages · 2 internal anchors

  1. [1]

    Braverman, Alexander and Gaitsgory, Dennis , title =. Invent. Math. , volume =. 2002 , pages =

    2002

  2. [2]

    Braverman, Alexander and Gaitsgory, Dennis , title =. Geom. Funct. Anal. , volume =. 2008 , pages =

    2008

  3. [3]

    Drinfeld, Vladimir and Gaitsgory, Dennis , title =. Camb. J. Math. , volume =. 2015 , pages =

    2015

  4. [4]

    Frenkel, Edward and Gaitsgory, Dennis and Vilonen, Kari , title =. J. Amer. Math. Soc. , volume =. 2002 , pages =

    2002

  5. [5]

    Correspondance de

    Laumon, G. Correspondance de. Duke Math. J. , volume =. 1987 , pages =

    1987

  6. [6]

    Stable quasimaps to

    Ciocan-Fontanine, Ionu. Stable quasimaps to. J. Geom. Phys. , volume =. 2014 , pages =

    2014

  7. [7]

    Wall-crossing in genus zero quasimap theory and mirror maps , journal =

    Ciocan-Fontanine, Ionu. Wall-crossing in genus zero quasimap theory and mirror maps , journal =. 2014 , pages =

    2014

  8. [8]

    Maulik, Davesh and Okounkov, Andrei , title =. Ast. 2019 , pages =

    2019

  9. [9]

    IAS/Park City Math

    Okounkov, Andrei , title =. IAS/Park City Math. Ser. , volume =. 2017 , pages =

    2017

  10. [10]

    Preprint , year =

    Okounkov, Andrei and Smirnov, Andrey , title =. Preprint , year =

  11. [11]

    Aganagic, Mina and Okounkov, Andrei , title =. J. Amer. Math. Soc. , volume =. 2021 , pages =

    2021

  12. [12]

    and Okounkov, Andrei , title =

    Nekrasov, Nikita A. and Okounkov, Andrei , title =. The Unity of Mathematics , series =. 2006 , pages =

    2006

  13. [13]

    Okounkov, Andrei and Reshetikhin, Nicolai , title =. J. Amer. Math. Soc. , volume =. 2003 , pages =

    2003

  14. [14]

    Duke Math

    Nakajima, Hiraku , title =. Duke Math. J. , volume =. 1994 , pages =

    1994

  15. [15]

    Duke Math

    Nakajima, Hiraku , title =. Duke Math. J. , volume =. 1998 , pages =

    1998

  16. [16]

    Behrend, Kai and Fantechi, Barbara , title =. Invent. Math. , volume =. 1997 , pages =

    1997

  17. [17]

    Li, Jun and Tian, Gang , title =. J. Amer. Math. Soc. , volume =. 1998 , pages =

    1998

  18. [18]

    Some theorems on actions of algebraic groups , journal =

    Bia. Some theorems on actions of algebraic groups , journal =. 1973 , pages =

    1973

  19. [19]

    Chevalley, Claude , title =

  20. [20]

    Spectral Decomposition and

    M. Spectral Decomposition and

  21. [21]

    Sakellaridis, Yiannis and Venkatesh, Akshay , title =. Ast

  22. [22]

    Deligne, Pierre , title =. Inst. Hautes. 1980 , pages =

    1980

  23. [23]

    , title =

    Milne, James S. , title =

  24. [24]

    More Reduced Obstruction Theories , volume =

    Schürg, Timo , year =. More Reduced Obstruction Theories , volume =. Mathematical Research Letters , doi =

  25. [25]

    and Fantechi, Barbara , year =

    Behrend, K. and Fantechi, Barbara , year =. The Intrinsic Normal Cone , volume =. Inventiones Mathematicae , doi =

  26. [26]

    Faisceaux automorphes li

    G. Faisceaux automorphes li. Automorphic Forms, Shimura Varieties, and L-functions, Vol. I , editor =. 1990 , pages =

    1990

  27. [27]

    , title =

    Khan, Adeel A. , title =. 2019 , eprint =

    2019

  28. [28]

    2023 , eprint =

    Kazhdan, David and Okounkov, Andrei , title =. 2023 , eprint =

    2023

  29. [29]

    2026 , eprint=

    Lectures on algebraic stacks , author=. 2026 , eprint=

    2026

  30. [30]

    The cohomology of the

    Marian, Alina and Negu. The cohomology of the. 2023 , eprint =

    2023

  31. [31]

    Bulletin of the London Mathematical Society , volume =

    Kamnitzer, Joel , title =. Bulletin of the London Mathematical Society , volume =. doi:https://doi.org/10.1112/blms.12711 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/blms.12711 , abstract =

    work page doi:10.1112/blms.12711

  32. [32]

    2023 , eprint=

    3-dimensional mirror symmetry , author=. 2023 , eprint=

    2023

  33. [33]

    Khan and Alexei Latyntsev and Hyeonjun Park and Charanya Ravi , keywords =

    Dhyan Aranha and Adeel A. Khan and Alexei Latyntsev and Hyeonjun Park and Charanya Ravi , keywords =. Virtual localization revisited , journal =. 2025 , issn =. doi:https://doi.org/10.1016/j.aim.2025.110434 , url =

    work page doi:10.1016/j.aim.2025.110434 2025

  34. [34]

    1996 , note =

    Kuznetsov, Alexander , title =. 1996 , note =

    1996

  35. [35]

    Stable quasimaps to GIT quotients

    Ciocan-Fontanine, Ionut and Kim, Bumsig and Maulik, Davesh. Stable quasimaps to GIT quotients. J. Geom. Phys. 2014. doi:10.1016/j.geomphys.2013.08.019. arXiv:1106.3724

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.geomphys.2013.08.019 2014

  36. [36]

    Moduli stacks of stable toric quasimaps , journal =

    Ionuţ Ciocan-Fontanine and Bumsig Kim , keywords =. Moduli stacks of stable toric quasimaps , journal =. 2010 , issn =. doi:https://doi.org/10.1016/j.aim.2010.05.023 , url =

    work page doi:10.1016/j.aim.2010.05.023 2010

  37. [37]

    Schubert Calculus---

    Kim, Bumsig , title =. Schubert Calculus---. 2016 , pages =

    2016

  38. [38]

    Geometric constant term functor(s) , volume =

    Drinfeld, Vladimir and Gaitsgory, Dennis , year =. Geometric constant term functor(s) , volume =. Selecta Mathematica , doi =

  39. [39]

    Vortices and Vermas

    Bullimore, Mathew and Dimofte, Tudor and Gaiotto, Davide and Hilburn, Justin and Kim, Hee-Cheol. Vortices and Vermas. Adv. Theor. Math. Phys. 2018. doi:10.4310/ATMP.2018.v22.n4.a1. arXiv:1609.04406

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4310/atmp.2018.v22.n4.a1 2018

  40. [40]

    BFN Springer Theory

    Hilburn, Justin and Kamnitzer, Joel and Weekes, Alex. BFN Springer Theory. Commun. Math. Phys. 2023. doi:10.1007/s00220-023-04735-4. arXiv:2004.14998

    work page doi:10.1007/s00220-023-04735-4 2023

  41. [41]

    Yangians and cohomology rings of Laumon spaces , url =

    Feigin, Boris and Finkelberg, Michael and Negut, Andrei and Rybnikov, Leonid , date =. Yangians and cohomology rings of Laumon spaces , url =. Selecta Mathematica , number =. 2011 , bdsk-url-1 =. doi:10.1007/s00029-011-0059-x , id =

    work page doi:10.1007/s00029-011-0059-x 2011

  42. [42]

    Towards a mathematical definition of Coulomb branches of 3 -dimensional N=4 gauge theories, I , volume =

    Nakajima, Hiraku , year =. Towards a mathematical definition of Coulomb branches of 3 -dimensional N=4 gauge theories, I , volume =. Advances in Theoretical and Mathematical Physics , doi =

  43. [43]

    and Finkelberg, M

    Braverman, Alexander and Finkelberg, Michael and Nakajima, Hiraku. Towards a mathematical definition of Coulomb branches of 3 -dimensional N = 4 gauge theories, II. Adv. Theor. Math. Phys. 2018. doi:10.4310/ATMP.2018.v22.n5.a1. arXiv:1601.03586

    work page doi:10.4310/atmp.2018.v22.n5.a1 2018

  44. [44]

    Ring objects in the equivariant derived Satake category arising from Coulomb branches , volume =

    Braverman, Alexander and Finkelberg, Michael and Nakajima, Hiraku , year =. Ring objects in the equivariant derived Satake category arising from Coulomb branches , volume =. Advances in Theoretical and Mathematical Physics , doi =

  45. [45]

    International Mathematics Research Notices , year=

    Global Intersection Cohomology of Quasimaps' Spaces , author=. International Mathematics Research Notices , year=

  46. [46]

    1962 , issn =

    Symmetric products of an algebraic curve , journal =. 1962 , issn =. doi:https://doi.org/10.1016/0040-9383(62)90019-8 , url =

    work page doi:10.1016/0040-9383(62)90019-8 1962

  47. [47]

    Nakajima, Hiraku , title =