pith. machine review for the scientific record. sign in

arxiv: 2604.14085 · v2 · submitted 2026-04-15 · 🧮 math.AG · math.RT· math.SG

Recognition: unknown

Relative Langlands duality and Koszul duality

Alexander Braverman , Michael Finkelberg , Roman Travkin
Authors on Pith no claims yet

Pith reviewed 2026-05-10 12:10 UTC · model grok-4.3

classification 🧮 math.AG math.RTmath.SG
keywords relative Langlands dualityKoszul dualityhyperspherical varietiesD-modulesmonodromic categoriesequivariant localizationS-dual varieties
0
0 comments X

The pith

Assuming the local conjecture for S-dual hyperspherical varieties holds and a polarization condition is met, S^1-equivariant localization produces an equivalence between the Z/2-graded B-equivariant D-modules on Y and the Z/2-graded unipotе

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

The paper assumes the local conjecture of Ben-Zvi, Sakellaridis and Venkatesh for a pair of S-dual hyperspherical varieties equipped with equivariant quantizations. It also assumes one variety is polarized so its quantization equals twisted differential operators on an auxiliary variety Y. Under these conditions a variant of S^1-equivariant localization yields an equivalence between the Z/2-graded B-equivariant category of modules over D_ψ(Y) and the Z/2-graded unipotent B^vee-monodromic category of modules over Q(X^vee). A reader cares because the result links relative Langlands duality on one side with Koszul duality on the other through an explicit categorical bridge.

Core claim

Assuming the local conjecture holds for the pair of S-dual hyperspherical varieties G acting on X and G^vee acting on X^vee together with their equivariant quantizations, and assuming X is isomorphic to the twisted cotangent bundle T^*_ψ(Y) so that Q(X) equals D_ψ(Y), a variant of the S^1-equivariant localization of arxiv:0706.0322 produces an equivalence between the Z/2-graded B-equivariant category (D_ψ(Y)-mod)^{Z/2})^B and the Z/2-graded unipotent B^vee-monodromic category (Q(X^vee)-mod^{Z/2})^{B^vee,mon}.

What carries the argument

A variant of S^1-equivariant localization, which transfers the local conjecture into a concrete equivalence of the two specified Z/2-graded categories.

If this is right

  • The equivalence realizes a form of Koszul duality that is compatible with relative Langlands duality.
  • B-equivariant structures on the D-module side correspond to unipotent B^vee-monodromic structures on the dual side.
  • The Z/2-gradings are preserved by the equivalence.
  • The result extends earlier localization techniques to the relative setting of hyperspherical varieties.

Where Pith is reading between the lines

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

  • The same localization argument might apply to other pairs of dual varieties once their local conjecture is established.
  • Explicit computations for small groups such as SL(2) or PGL(2) could provide direct checks of the deduced equivalence.
  • The equivalence may allow transfer of representation-theoretic invariants from one dual side to the other.

Load-bearing premise

The local conjecture of Ben-Zvi, Sakellaridis and Venkatesh holds for the given pair of S-dual hyperspherical varieties and the variety X is polarized so that its quantization Q(X) equals D_ψ(Y).

What would settle it

A concrete pair of S-dual hyperspherical varieties for which the local conjecture is independently verified and the polarization condition holds, yet the two Z/2-graded categories fail to be equivalent.

read the original abstract

Consider a pair of $S$-dual hyperspherical varieties $G\circlearrowright X$ and $G^\vee\circlearrowright X^\vee$ equipped with equivariant quantizations $Q(X)$, $Q(X^\vee)$. Assume that the local conjecture of Ben-Zvi, Sakellaridis and Venkatesh holds for this pair, and also that $X\simeq T^*_\psi(Y)$ is polarized, so that $Q(X)=D_\psi(Y)$. Let $B\subset G$ (resp. $B^\vee\subset G^\vee$) be Borel subgroups. Then using a variant of the $S^1$-equivariant localization of arxiv:0706.0322, we deduce an equivalence between the ${\mathbb Z}/2$-graded $B$-equivariant category $(D_\psi(Y)\operatorname{-mod})^{{\mathbb Z}/2})^B$ and the ${\mathbb Z}/2$-graded unipotent $B^\vee$-monodromic category $(Q(X^\vee)\operatorname{-mod}^{{\mathbb Z}/2})^{B^\vee,\operatorname{mon}}$.

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 manuscript claims that for a pair of S-dual hyperspherical varieties G↷X and G^∨↷X^∨ equipped with equivariant quantizations Q(X) and Q(X^∨), assuming the local conjecture of Ben-Zvi, Sakellaridis and Venkatesh holds and that X ≃ T^*_ψ(Y) is polarized (hence Q(X)=D_ψ(Y)), a variant of the S^1-equivariant localization from arXiv:0706.0322 yields an equivalence between the Z/2-graded B-equivariant category ((D_ψ(Y)-mod)^{Z/2})^B and the Z/2-graded unipotent B^∨-monodromic category (Q(X^∨)-mod^{Z/2})^{B^∨,mon}.

Significance. If the external conjecture and the localization variant are valid, the result would relate relative Langlands duality to Koszul duality by identifying equivariant and monodromic categories in the Z/2-graded setting for hyperspherical varieties. This could advance the geometric Langlands program by providing a concrete bridge between dualities, building on standard localization techniques but extended to graded equivariant/monodromic contexts.

major comments (2)
  1. Abstract (deduction sentence): The manuscript invokes 'a variant of the S^1-equivariant localization of arXiv:0706.0322' to deduce the equivalence but supplies no description, proof, or verification that this variant commutes with the Z/2-grading, preserves unipotent monodromy on the dual side, or correctly identifies the B-equivariant and B^∨-monodromic subcategories after localization. Without these checks, the internal deduction step does not follow from the cited reference even under the stated external assumptions.
  2. Abstract (assumptions paragraph): The central claim is presented as a direct deduction from the Ben-Zvi–Sakellaridis–Venkatesh local conjecture plus the polarization hypothesis X ≃ T^*_ψ(Y). The manuscript does not address the status or applicability of the conjecture to this specific pair of hyperspherical varieties, leaving the equivalence conditional on an unverified external statement whose validity is not examined internally.
minor comments (1)
  1. Abstract: The category notation contains a parenthesis mismatch, reading (D_ψ(Y)-mod)^{Z/2})^B; this should be corrected to ((D_ψ(Y)-mod)^{Z/2})^B for clarity.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for their careful reading of the manuscript and for identifying points where the presentation of the deduction requires clarification. We address each major comment below.

read point-by-point responses

  1. Referee: Abstract (deduction sentence): The manuscript invokes 'a variant of the S^1-equivariant localization of arXiv:0706.0322' to deduce the equivalence but supplies no description, proof, or verification that this variant commutes with the Z/2-grading, preserves unipotent monodromy on the dual side, or correctly identifies the B-equivariant and B^∨-monodromic subcategories after localization. Without these checks, the internal deduction step does not follow from the cited reference even under the stated external assumptions.

    Authors: We agree that the concise manuscript does not supply an explicit description or verification of the localization variant. In the revised version we will add a paragraph outlining the adaptation: the S^1-equivariant localization of the cited reference is applied after incorporating the Z/2-grading coming from the polarization X ≃ T^*_ψ(Y). The grading commutes with the localization functor by the equivariance of the quantization Q(X) = D_ψ(Y), and the resulting equivalence preserves unipotent monodromy on the dual side while identifying the B-equivariant and B^∨-monodromic subcategories. This follows from standard functoriality of localization in the graded equivariant setting. revision: yes

  2. Referee: Abstract (assumptions paragraph): The central claim is presented as a direct deduction from the Ben-Zvi–Sakellaridis–Venkatesh local conjecture plus the polarization hypothesis X ≃ T^*_ψ(Y). The manuscript does not address the status or applicability of the conjecture to this specific pair of hyperspherical varieties, leaving the equivalence conditional on an unverified external statement whose validity is not examined internally.

    Authors: The stated equivalence is explicitly conditional on the local conjecture holding for the given pair. We will revise the text to state this assumption more prominently and to note that the conjecture is formulated precisely for hyperspherical varieties in the Ben-Zvi–Sakellaridis–Venkatesh framework. Full internal verification of the conjecture for arbitrary pairs is beyond the scope of this note, which concerns only the deduction once the assumption is granted. revision: partial

standing simulated objections not resolved
  • Internal verification of the applicability of the Ben-Zvi–Sakellaridis–Venkatesh local conjecture to general S-dual hyperspherical varieties.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external conjecture and cited localization variant.

full rationale

The paper's central claim is an equivalence deduced from the Ben-Zvi–Sakellaridis–Venkatesh local conjecture (an external assumption) together with the polarization hypothesis X ≃ T^*_ψ(Y) implying Q(X) = D_ψ(Y), plus a variant of the S^1-equivariant localization theorem from the cited reference arXiv:0706.0322. No equation or section reduces the stated equivalence to a self-definition, a fitted input renamed as prediction, or a load-bearing self-citation chain whose own justification collapses back into the present paper. The derivation chain therefore remains dependent on independent external inputs rather than closing on itself by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on two external assumptions: the BSV local conjecture and the polarization condition that identifies the quantization with differential operators. No free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption The local conjecture of Ben-Zvi, Sakellaridis and Venkatesh holds for the pair
    Explicitly required to deduce the equivalence.
  • domain assumption X is polarized so that Q(X) = D_ψ(Y)
    Required to apply the localization technique to the quantization.

pith-pipeline@v0.9.0 · 5501 in / 1293 out tokens · 42153 ms · 2026-05-10T12:10:20.776934+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

22 extracted references · 6 canonical work pages

  1. [1]

    Beilinson, R

    A. Beilinson, R. Bezrukavnikov, I. Mirkovi\'c, Tilting exercises , Mosc. Math. J. 4 (2004), no. 3, 547--557

    2004

  2. [2]

    Beilinson, V

    A. Beilinson, V. Ginzburg, Wall-crossing functors and D -modules , Represent.\ Theory 3 (1999), 1--31

    1999

  3. [3]

    Beilinson, V

    A. Beilinson, V. Ginzburg, W. Soergel, Koszul duality patterns in representation theory , J.\ Amer.\ Math.\ Soc.\ 9 (1996), 473--527

    1996

  4. [4]

    Ben-Zvi, D

    D. Ben-Zvi, D. Nadler, Loop spaces and Langlands parameters , arXiv:0706.0322

    work page arXiv

  5. [5]

    Relative Langlands du- ality

    D. Ben-Zvi, Y. Sakellaridis, A. Venkatesh, Relative Langlands duality , arXiv:2409.04677

    work page arXiv

  6. [6]

    Bezrukavnikov, Z

    R. Bezrukavnikov, Z. Yun, On Koszul duality for Kac-Moody groups , Representation Theory 17 (2013), 1--98

    2013

  7. [7]

    Bezrukavnikov, M

    R. Bezrukavnikov, M. Finkelberg, V. Ostrik, Character D -modules via Drinfeld center of Harish-Chandra bimodules , Invent.\ Math.\ 188 (2012), 589--620

    2012

  8. [8]

    Braden, Hyperbolic localization of intersection cohomology , Transform

    T. Braden, Hyperbolic localization of intersection cohomology , Transform. Groups 8 (2003), 209--216

    2003

  9. [9]

    Braverman, M

    A. Braverman, M. Finkelberg, V. Ginzburg, R. Travkin, Mirabolic Satake equivalence and supergroups , Compositio Mathematica 157 (2021), no. 8, 1724--1765

    2021

  10. [10]

    Braverman, M

    A. Braverman, M. Finkelberg, R. Travkin, Orthosymplectic Satake equivalence , Comm.\ Number Theory and Physics 16 (2022), no. 4, 695--732

    2022

  11. [11]

    Braverman, M

    A. Braverman, M. Finkelberg, R. Travkin, Orthosymplectic Satake equivalence, II , arXiv:2207.03115

    work page arXiv

  12. [12]

    Chen, Equivariant localization and completion in cyclic homology

    H. Chen, Equivariant localization and completion in cyclic homology

  13. [13]

    Chriss, V

    N. Chriss, V. Ginzburg, Representation Theory and Complex Geometry , Birkh\"auser (1997)

    1997

  14. [14]

    T.-H. Chen, M. Macerato, D. Nadler, J. O'Brien, Quaternionic Satake equivalence , Compositio Mathematica 161 , no. 7 (2025), 1615--1663

    2025

  15. [15]

    Drinfeld and D

    V. Drinfeld and D. Gaitsgory, On Some Finiteness Questions for Algebraic Stacks , Geom.\ and Funct.\ Analysis 23 (2013), 149--294

    2013

  16. [16]

    Finkelberg, V

    M. Finkelberg, V. Ginzburg, R. Travkin, Lagrangian subvarieties of hyperspherical varieties , Geom.\ and Funct.\ Analysis 35 , no. 1, (2025), 254--282

    2025

  17. [17]

    Knop, The Luna-Vust theory of spherical embeddings , Proceedings of the Hyderabad Conference on Algebraic Groups, Ed.\ S

    F. Knop, The Luna-Vust theory of spherical embeddings , Proceedings of the Hyderabad Conference on Algebraic Groups, Ed.\ S. Ramanan. Madras: Manoj Prakashan (1991), 225--249

    1991

  18. [18]

    Knop, On the set of orbits for a Borel subgroup , Comment.\ Math.\ Helvetici 70 (1995), 285--309

    F. Knop, On the set of orbits for a Borel subgroup , Comment.\ Math.\ Helvetici 70 (1995), 285--309

    1995

  19. [19]

    Lusztig and Z

    G. Lusztig and Z. Yun, Endoscopy for Hecke categories, character sheaves and representations , Forum Math.\ Pi 8 (2020), e12, 93pp. Corrigendum , arXiv:1904.01176v3

    work page arXiv 2020

  20. [20]

    J. Ma, C. Qiu, Z. Yun, J. Zou, Theta correspondence and Springer correspondence , arXiv:2512.13020

    work page arXiv

  21. [21]

    Shtotland, Relative Kazhdan-Lusztig isomorphism for _ 2n / _ 2n , arXiv:2601.22846

    G. Shtotland, Relative Kazhdan-Lusztig isomorphism for _ 2n / _ 2n , arXiv:2601.22846

    work page arXiv

  22. [22]

    Travkin, R

    R. Travkin, R. Yang, Untwisted Gaiotto equivalence , Advances in Math.\ 435 , no. 1, Paper No. 109359 (2023)

    2023