pith. machine review for the scientific record. sign in

arxiv: 2604.11966 · v1 · submitted 2026-04-13 · 🧮 math.AG · math.RT

Recognition: unknown

Affine Springer fiber and the small quantum group

Roman Bezrukavnikov , Pablo Boixeda Alvarez , Michael McBreen , Zhiwei Yun
Authors on Pith no claims yet

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

classification 🧮 math.AG math.RT
keywords affine Springer fibersmall quantum groupmicrosheavesprincipal blockgeometric LanglandsSpringer resolutionhomological mirror symmetrywild ramification
0
0 comments X

The pith

The principal block of the small quantum group at a root of unity is realized as a full subcategory of microsheaves on an affine Springer fiber.

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

The paper constructs a geometric model for the principal block of modules over the small quantum group at a root of unity by identifying it with a full subcategory of microsheaves supported on a certain affine Springer fiber. This model also yields an equivalence to the category of coherent sheaves on the Springer resolution of the dual group, realized through a geometric Langlands correspondence that incorporates wild ramification. The same equivalence is presented as a version of homological mirror symmetry for the Springer resolution itself. Such identifications translate algebraic questions about quantum group representations into geometric ones about sheaves and their supports.

Core claim

The principal block in the category of modules over the small quantum group at a root of unity is equivalent to a full subcategory of microsheaves on the affine Springer fiber. This category is identified with the category of coherent sheaves on the Springer resolution of the dual group via a geometric Langlands equivalence with wild ramification, which also serves as a homological mirror symmetry statement for the Springer resolution.

What carries the argument

The affine Springer fiber together with its category of microsheaves supplies the geometric realization of the quantum group principal block, while the Springer resolution of the dual group supplies the dual side of the equivalence.

If this is right

  • Representation-theoretic questions about the principal block translate into questions about the geometry and microlocal structure of the affine Springer fiber.
  • The wild-ramification geometric Langlands equivalence relates the quantum group block to coherent sheaves on the Springer resolution of the dual group.
  • The construction supplies a homological mirror symmetry statement that identifies the microsheaf category with coherent sheaves on the Springer resolution.
  • The equivalence preserves the action of the center and therefore matches central characters on both sides.

Where Pith is reading between the lines

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

  • Similar geometric models might exist for other blocks or for quantum groups at roots of unity of different orders.
  • The wild-ramification feature could link this equivalence to other instances of the geometric Langlands correspondence involving irregular singularities.
  • Explicit computations of microsheaf cohomology on the affine Springer fiber might produce new formulas for characters or Ext groups in the quantum group category.

Load-bearing premise

The standard background constructions of affine Springer fibers and microsheaf categories apply directly to the small quantum group at roots of unity.

What would settle it

An explicit mismatch between the simple objects in the principal block and the corresponding microsheaves on the affine Springer fiber, or a failure of the equivalence to preserve the action of the center, would disprove the claimed identification.

read the original abstract

We find a new geometric incarnation for the principal block in the category of modules over a quantum group at a root of unity, realizing it as a full subcategory of microsheaves on a certain affine Springer fiber. We also prove a related geometric Langlands type equivalence with wild ramification, identifying the latter category with a category of coherent sheaves on the Springer resolution for the dual group. This can also be viewed as a version of homological mirror symmetry for the Springer resolution.

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 / 2 minor

Summary. The manuscript claims to realize the principal block of modules over the small quantum group at a root of unity as a full subcategory of microsheaves on a certain affine Springer fiber. It further asserts a geometric Langlands-type equivalence with wild ramification, identifying this category with coherent sheaves on the Springer resolution for the dual group, and interprets the result as a version of homological mirror symmetry for the Springer resolution.

Significance. If the equivalences are established with the required faithfulness and compatibility, the work would supply a new geometric model for the principal block of small quantum group representations, linking finite-dimensional representation theory at roots of unity to microsheaf and coherent sheaf categories on Springer fibers. This could furnish geometric tools for studying block decompositions and yield new perspectives on wild ramification correspondences.

major comments (2)
  1. [Section defining the embedding and microsheaf category (likely §3 or §4)] The central embedding of the principal block as a full subcategory of microsheaves on the affine Springer fiber requires explicit verification that microsupport conditions are compatible with the finite-dimensional representation theory of the small quantum group. The construction must match parameters such as the order of the root of unity and the Lie algebra type between the algebraic side (block decomposition governed by nilpotent action) and the geometric side (microsupport filtration); without this matching, fullness of the subcategory may fail.
  2. [Section on the geometric Langlands equivalence with wild ramification (likely §5)] The proof of the wild-ramification geometric Langlands equivalence, identifying the category with coherent sheaves on the Springer resolution for the dual group, must address potential additional constraints on supports or characteristic imposed by the Springer resolution that are not automatically satisfied by the quantum-group block structure.
minor comments (2)
  1. [Introduction and notation section] Clarify the precise definition of the affine Springer fiber used and its relation to the dual group in the statements of the main theorems.
  2. [Preliminaries] Ensure that all background results from geometric representation theory and wild ramification correspondences are cited with explicit applicability statements to the root-of-unity quantum-group setting.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major point below and have revised the manuscript to incorporate additional explicit verifications and clarifications.

read point-by-point responses

  1. Referee: [Section defining the embedding and microsheaf category (likely §3 or §4)] The central embedding of the principal block as a full subcategory of microsheaves on the affine Springer fiber requires explicit verification that microsupport conditions are compatible with the finite-dimensional representation theory of the small quantum group. The construction must match parameters such as the order of the root of unity and the Lie algebra type between the algebraic side (block decomposition governed by nilpotent action) and the geometric side (microsupport filtration); without this matching, fullness of the subcategory may fail.

    Authors: We agree that an explicit verification of the compatibility between microsupport conditions and the representation-theoretic parameters is necessary to confirm fullness. The affine Springer fiber in the manuscript is defined using the same nilpotent element and root-of-unity order that govern the principal block decomposition on the algebraic side. To strengthen this, we have added a new lemma in the revised Section 4 that directly compares the microsupport filtration with the nilpotent orbit stratification arising from the small quantum group action, verifying that the parameters match and that the embedding preserves finite-dimensionality. revision: yes

  2. Referee: [Section on the geometric Langlands equivalence with wild ramification (likely §5)] The proof of the wild-ramification geometric Langlands equivalence, identifying the category with coherent sheaves on the Springer resolution for the dual group, must address potential additional constraints on supports or characteristic imposed by the Springer resolution that are not automatically satisfied by the quantum-group block structure.

    Authors: The equivalence in Section 5 is constructed so that the wild ramification data on the microsheaf side corresponds precisely to the supports on the dual Springer resolution via the nilpotent orbits already present in the principal block. We have expanded the proof in the revision to include an explicit check that the characteristic and support constraints of the Springer resolution are satisfied by the block structure, with no further restrictions arising; this is achieved by matching the ramification data to the coherent sheaf category through the geometric Langlands correspondence for the dual group. revision: yes

Circularity Check

0 steps flagged

No circularity: equivalences proved from independent geometric and representation-theoretic inputs

full rationale

The paper claims to realize the principal block of small quantum group modules at a root of unity as a full subcategory of microsheaves on an affine Springer fiber and to establish a related wild-ramification geometric Langlands equivalence with coherent sheaves on the Springer resolution. These are stated as theorems proved via standard (though technically involved) background results in algebraic geometry and representation theory. No self-definitional loops appear, no parameters are fitted to data and then relabeled as predictions, and no load-bearing steps reduce to unverified self-citations or ansatzes imported from the authors' prior work. The derivation chain is self-contained against external benchmarks in the field.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract invokes standard background results in algebraic geometry (Springer fibers, microsheaves, coherent sheaves) and representation theory (quantum groups at roots of unity, geometric Langlands) without listing explicit free parameters or new invented entities.

pith-pipeline@v0.9.0 · 5373 in / 1119 out tokens · 25261 ms · 2026-05-10T15:27:13.125127+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

53 extracted references · 13 canonical work pages

  1. [1]

    Arkhipov, R.Bezrukavnikov, Perverse sheaves on affine flags and Langlands dual group

    S. Arkhipov, R.Bezrukavnikov, Perverse sheaves on affine flags and Langlands dual group. Israel J. Math. 170 (2009), 135–183

    2009

  2. [2]

    Arkhipov, R.Bezrukavnikov, V

    S. Arkhipov, R.Bezrukavnikov, V. Ginzburg, Quantum groups, the loop Grassmannian, and the Springer resolution. J. Amer. Math. Soc. 17 (2004), no. 3, 595–678

    2004

  3. [3]

    Arkhipov, D

    S. Arkhipov, D. Gaitsgory, Another realization of the category of modules over the small quantum group. Advances in Mathematics, Volume 173, Issue 1, 2003, Pages 114–143

    2003

  4. [4]

    Beilinson, On the derived category of perverse sheaves

    A. Beilinson, On the derived category of perverse sheaves. In: Manin, Y.I. (eds) K-Theory, Arithmetic and Geometry. Lecture Notes in Mathematics, vol 1289. Springer, Berlin, Heidelberg

  5. [5]

    Ben-Zvi, D

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

    work page arXiv

  6. [6]

    Bezrukavnikov, The dimension of the fixed point set on affine flag manifolds

    R. Bezrukavnikov, The dimension of the fixed point set on affine flag manifolds. Math. Res. Lett. 3 (1996), no. 2, 185–189, DOI 10.4310/MRL.1996.v3.n2.a5. 82 ROMAN BEZRUKAVNIKOV, PABLO BOIXEDA ALVAREZ, MICHAEL MCBREEN, AND ZHIWEI YUN

    work page doi:10.4310/mrl.1996.v3.n2.a5 1996

  7. [7]

    Bezrukavnikov, On tensor categories attached to cells in affine Weyl groups, with an appendix by D

    R. Bezrukavnikov, On tensor categories attached to cells in affine Weyl groups, with an appendix by D. Gaitsgory, in Representation theory of algebraic groups and quantum groups, 69–100, Adv. Stud. Pure Math. 40, Math. Soc. Japan, 2004

    2004

  8. [8]

    Bezrukavnikov, On two geometric realizations of an affine Hecke algebra

    R. Bezrukavnikov, On two geometric realizations of an affine Hecke algebra. Publ. Math. Inst. Hautes ´Etudes Sci. 123 (2016), 1–67

    2016

  9. [9]

    McBreen, Z.Yun

    R.Bezrukavnikov, P.Boixeda Alvarez, M. McBreen, Z.Yun. Non-abelian Hodge moduli spaces and homogeneous affine Springer fibers. Pure Appl. Math. Q. 21 (2025), no. 1, 61–130

    2025

  10. [10]

    arXiv:2205.05951

    R.Bezrukavnikov, P.Boixeda Alvarez, P.Shan, E.Vasserot, A geometric realization of the center of the small quantum group. arXiv:2205.05951

    work page arXiv

  11. [11]

    Bezrukavnikov, M

    R. Bezrukavnikov, M. Finkelberg, Equivariant Satake category and Kostant-Whittaker reduction. Mosc. Math. J.8 (2008), no. 1, 39–72, 183

    2008

  12. [12]

    Bezrukavnikov, M

    R. Bezrukavnikov, M. Finkelberg, I. Mirkovi´ c, Equivariant (K)-homology of affine Grassmannian and Toda lattice, Compos. Math.141(2005), no. 3, 746–768

    2005

  13. [13]

    Bezrukavnikov, M

    R. Bezrukavnikov, M. Finkelberg, V. Ostrik, Character D-modules via Drinfeld center of Harsih-Chandra bimodules. Inventiones Math.188(2012) no 3, 589–620

    2012

  14. [14]

    Bezrukavnikov, A

    R. Bezrukavnikov, A. Lachowska, The small quantum group and the Springer resolution, in:Quantum groups,89–101, Contemp. Math., 433, Amer. Math. Soc., Providence, RI, 2007

    2007

  15. [15]

    Bezrukavnikov, I

    R. Bezrukavnikov, I. Losev, Dimensions of modular representations of semisimple Lie algebras. J. Amer. Math. Soc. 36 (2023), no. 4, 1235–1304

    2023

  16. [16]

    Bezrukavnikov, I

    R. Bezrukavnikov, I. Mirkovic, Representations of semisimple Lie algebras in positive characteristic and noncommutative Springer resolution. Annals of Mathematics 178 (2013), 835–919

    2013

  17. [17]

    Bezrukavnikov, S

    R. Bezrukavnikov, S. Riche, L. Rider, Modular affine Hecke category and regular unipotent centralizer, I. arXiv:2005.05583

    work page arXiv 2005

  18. [18]

    Bezrukavnikov, S

    R. Bezrukavnikov, S. Riche, On two modular geometric realizations of an affine Hecke algebra. arXiv:2402.08281

    work page arXiv

  19. [19]

    Represent

    R.Bezrukavnikov, Z.Yun, On Koszul duality for Kac-Moody groups. Represent. Theory 17, no. 1 (January 2, 2013): 1–98

    2013

  20. [20]

    J. D. Christensen, B. Keller, A, Neeman, Failure of Brown representability in derived categories. Topology, 40(6). p. 1339-1361, 2001

    2001

  21. [21]

    Cˆ ot´ e, C

    L. Cˆ ot´ e, C. Kuo, D. Nadler, V. Shende, Perverse Microsheaves. arXiv:2209.12998

    work page arXiv

  22. [22]

    Evans, I

    S. Evans, I. Mirkovi´ c, Characteristic cycles for the loop Grassmannian and nilpotent orbits, Duke Math. Journal (97)1999, pp.109–126

    1999

  23. [23]

    arXiv:2310.07006

    T.Feng, B.Le Hung, Mirror symmetry and the Breuil-M´ ezard Conjecture. arXiv:2310.07006

    work page arXiv

  24. [24]

    Finkelberg, D

    M. Finkelberg, D. Kubrak, Vanishing cycles on Poisson varieties, arXiv:1212.3051

    work page arXiv

  25. [25]

    Gaitsgory, Construction of central elements in the affine Hecke algebra via nearby cycles

    D. Gaitsgory, Construction of central elements in the affine Hecke algebra via nearby cycles. Invent. Math. 144 (2001), 253–280

    2001

  26. [26]

    Gaitsgory, The local and global versions of the Whittaker category

    D. Gaitsgory, The local and global versions of the Whittaker category. arxiv:1811.02468

    work page arXiv

  27. [27]

    Goresky, R

    M. Goresky, R. Kottwitz, and R. MacPherson, Purity of equivalued affine Springer fibers. Representation Theory 10.6 (2006), 130–146

    2006

  28. [28]

    Gammage, B., McBreen, M., Webster, B. (2025). Homological mirror symmetry for hypertoric varieties, II. Geometry & Topology, 29(8), 3921-3993

    2025

  29. [29]

    Ganatra, J

    S. Ganatra, J. Pardon, and V. Shende, Microlocal Morse theory of wrapped Fukaya categories. Annals of Mathematics vol 199 no 3 (2024), 943–1042

    2024

  30. [30]

    Kac, De Concini, Representations of quantum groups at roots of 1

    V. Kac, De Concini, Representations of quantum groups at roots of 1. InOperator algebras, unitary representations, enveloping algebras, and invariant theory, 471–506, Progr. Math., 92, Birkh¨ auser Boston

  31. [31]

    Kamgarpour, T

    M. Kamgarpour, T. Schedler, Geometrization of principal series representations of reductive groups. Annales de l’Institut Fourier, Volume 65 (2015) no. 5, pp. 2273–2330

    2015

  32. [32]

    Springer-Verlag, Berlin, 1990, Fundamental Principles of Mathematical Sciences, 292, x+512

    M.Kashiwara, P.Schapira,Sheaves on manifolds. Springer-Verlag, Berlin, 1990, Fundamental Principles of Mathematical Sciences, 292, x+512

    1990

  33. [33]

    Kazhdan, G

    D. Kazhdan, G. Lusztig, Fixed point varieties on affine flag manifolds. Israel J. Math. 62 (1988), no. 2, 129–168

    1988

  34. [34]

    Kazhdan, G

    D. Kazhdan, G. Lusztig, Proof of the Deligne-Langlands conjecture for Hecke algebras. Invent. Math. 87 (1987), no. 1, 153–215

    1987

  35. [35]

    Qi, The center of small quantum groups I: The principal block in type A

    A.Lachowska, Y. Qi, The center of small quantum groups I: The principal block in type A. Int. Math. Res. Not. IMRN 2018, no. 20, 6349—6405. II: singular blocks. Proc. Lond. Math. Soc. (3) 118 (2019), no. 3, 513–544

    2018

  36. [36]

    Laumon, Transformation de Fourier homog` ene

    G. Laumon, Transformation de Fourier homog` ene. Publications Math´ ematiques de l’IH´ES, Volume 65 (1987), pp. 131– 210

    1987

  37. [37]

    Losev, V

    I. Losev, V. Ostrik, Classification of finite-dimensional irreducible modules overW-algebras, Compos. Math.150(2014), no. 6, 1024–1076

    2014

  38. [38]

    Lusztig, Affine Weyl groups and conjugacy classes in Weyl groups

    G. Lusztig, Affine Weyl groups and conjugacy classes in Weyl groups. Transform. Groups 1(1-2), 83–97 (1996)

    1996

  39. [39]

    Mirkovi´ c, S

    I. Mirkovi´ c, S. Riche, Linear Koszul duality. Compos. Math. 146 (2010), no. 1, 233–258. II: coherent sheaves on perfect sheaves. J. Lond. Math. Soc. (2) 93 (2016), no. 1, 1–24

    2010

  40. [40]

    Trinh, From the Hecke category to the unipotent locus

    M-T. Trinh, From the Hecke category to the unipotent locus. arXiv: 2106.07444. AFFINE SPRINGER FIBER AND THE SMALL QUANTUM GROUP 83

    work page arXiv

  41. [41]

    I.Mirkovi´ c, K.Vilonen, Geometric Langlands duality and representations of algebraic groups over commutative rings. Ann. of Math. (2) 166 (2007), no. 1, 95–143

    2007

  42. [42]

    Nadler, V

    D. Nadler, V. Shende, Sheaf quantization in Weinstein symplectic manifolds. arXiv: 2007.10154

    work page arXiv 2007

  43. [43]

    Nadler, V

    D. Nadler, V. Shende, Invariance of microsheaves on stable Higgs bundles. arXiv: 2301.01342

    work page arXiv

  44. [44]

    Ngˆ o, Le lemme fondamental pour les alg` ebres de Lie

    B-C. Ngˆ o, Le lemme fondamental pour les alg` ebres de Lie. Publ. Math. Inst. Hautes´Etudes Sci. No. 111 (2010), 1–169

    2010

  45. [45]

    Yun, Geometric representations of graded and rational Cherednik algebras

    A.Oblomkov, Z. Yun, Geometric representations of graded and rational Cherednik algebras. Adv. Math. 292 (2016), 601–706

    2016

  46. [46]

    Duke Math

    S.Riche, Koszul duality and modular representations of semi-simple Lie algebras. Duke Math. J. 154 (2010), no. 1, 31–134

    2010

  47. [47]

    Shende, Microlocal Category for Weinstein Manifolds via the h-Principle

    V. Shende, Microlocal Category for Weinstein Manifolds via the h-Principle. Publ. Res. Inst. Math. Sci. 57 (2021), no. 3/4, pp. 1041–1048

    2021

  48. [48]

    Tanisaki, Quantized flag manifolds and non-restricted modules over quantum groups at roots of unity

    T. Tanisaki, Quantized flag manifolds and non-restricted modules over quantum groups at roots of unity. arXiv:2109.03319

    work page arXiv

  49. [49]

    Varagnolo, E

    M. Varagnolo, E. Vasserot, Double affine Hecke algebras and affine flag manifolds, I, in: Affine flag manifolds and principal bundles, 233–289. Trends Math. Birkh¨ auser/Springer Basel AG, Basel, 2010

    2010

  50. [50]

    Ast´ erisque, 101-102 (1983), p

    J.L.Verdier, Sp´ ecialisation de faisceaux et monodromie mod´ er´ ee. Ast´ erisque, 101-102 (1983), p. 332–364

    1983

  51. [51]

    Wang, A new Fourier transform

    J. Wang, A new Fourier transform. Math. Res. Lett. 22 (2015), no. 5, 1541–1562

    2015

  52. [52]

    Xia, Harvard Ph.D

    J. Xia, Harvard Ph.D. Thesis, 2024

    2024

  53. [53]

    Z.Yun, The spherical part of local and global Springer actions. Math. Ann. 359 (2014), no. 3-4, 557–594. Department of Mathematics, Massachusetts Institute of Technology, 77 Massachusetts A ve, Cambridge, MA 02139 Email address:p.boixedaalvarez@northeastern.edu Department of Mathematics, Northeastern University, 567 Lake Hall, 360 Huntington A ve, Boston,...

    2014