pith. sign in

arxiv: 2606.26331 · v1 · pith:ZUU5II54new · submitted 2026-06-24 · 🧮 math.RT · math.QA

Quantum Harish-Chandra bimodules at roots of unity and affine Hecke category

Trung Vu This is my paper

Pith reviewed 2026-06-26 00:42 UTC · model grok-4.3

classification 🧮 math.RT math.QA
keywords quantum groupsHarish-Chandra bimodulesroots of unityaffine Soergel bimodulesnon-commutative Springer resolutionaffine Hecke categoryrepresentation theory
0
0 comments X

The pith

The category of Harish-Chandra bimodules for quantum groups at odd roots of unity relates to affine Soergel bimodules and the non-commutative Springer resolution.

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

This paper studies the category of Harish-Chandra bimodules when the quantum parameter q is an odd order root of unity. It establishes relations between this category and the category of affine Soergel bimodules. It further relates the category to the non-commutative Springer resolution. These connections build on earlier appearances in topological quantum field theory of surfaces. A reader would care because such relations may allow transferring techniques between quantum representation theory and geometric or combinatorial categories.

Core claim

When the quantum parameter q is an odd order root of unity, the category of Harish-Chandra bimodules for quantum groups is related to the category of affine Soergel bimodules and to the non-commutative Springer resolution.

What carries the argument

The category of quantum Harish-Chandra bimodules at roots of unity, which is shown to relate to affine Soergel bimodules and the non-commutative Springer resolution.

If this is right

  • The category can be studied using properties of affine Soergel bimodules.
  • Connections to the affine Hecke category are implied through these relations.
  • Insights from non-commutative geometry via the Springer resolution apply to quantum groups at roots of unity.

Where Pith is reading between the lines

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

  • If the relations hold, they may extend to even roots of unity under additional conditions.
  • These equivalences could simplify computations in quantum group representations by reducing to known cases in Soergel bimodules.
  • Links to affine Hecke algebras suggest applications in categorification of knot invariants.

Load-bearing premise

The relations between the Harish-Chandra bimodule category at odd roots of unity and the affine Soergel category or non-commutative Springer resolution are well-defined and hold without additional restrictions on the root of unity or the underlying group.

What would settle it

A counterexample where for a specific odd root of unity and a small group like SL_2, an invariant of the Harish-Chandra bimodule category differs from that of the affine Soergel bimodule category.

read the original abstract

The category of Harish-Chandra bimodules for quantum groups was first appeared in the works about topological quantum field theory of surfaces. In this paper, we study this category when the quantum parameter q is an odd order root of unity. We relate the category to the category of affine Soergel bimodules and to non-commutative 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

1 major / 0 minor

Summary. The manuscript studies the category of Harish-Chandra bimodules for quantum groups at an odd-order root of unity q. It claims to relate this category to the category of affine Soergel bimodules and to the non-commutative Springer resolution, building on prior appearances of the category in topological quantum field theory contexts.

Significance. If the claimed relations hold without additional restrictions, the work would connect quantum group Harish-Chandra bimodules at roots of unity with affine Hecke categories and geometric resolutions, potentially clarifying structures relevant to both representation theory and TQFT applications.

major comments (1)
  1. Abstract: the central claim that the Harish-Chandra bimodule category at odd roots of unity relates to affine Soergel bimodules and the non-commutative Springer resolution is stated without any indicated restrictions on the root order (beyond oddness) or the reductive group. This is load-bearing, as standard results on quantum group categories at roots of unity (tilting modules, projectives, center actions) typically require the order to be coprime to bad primes of the root system or larger than the Coxeter number to avoid degeneration or failure to match the expected Soergel/Springer objects; the abstract supplies no indication that such conditions are imposed or removed.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for greater precision in the abstract. We address the comment below and will make the suggested clarification.

read point-by-point responses

  1. Referee: Abstract: the central claim that the Harish-Chandra bimodule category at odd roots of unity relates to affine Soergel bimodules and the non-commutative Springer resolution is stated without any indicated restrictions on the root order (beyond oddness) or the reductive group. This is load-bearing, as standard results on quantum group categories at roots of unity (tilting modules, projectives, center actions) typically require the order to be coprime to bad primes of the root system or larger than the Coxeter number to avoid degeneration or failure to match the expected Soergel/Springer objects; the abstract supplies no indication that such conditions are imposed or removed.

    Authors: We agree that the abstract should explicitly address the scope of the result. The manuscript proves the stated relations for the category of quantum Harish-Chandra bimodules precisely when q is an odd-order root of unity, without imposing the usual extra conditions (coprime to bad primes, larger than the Coxeter number). The proofs rely on the oddness assumption to identify the relevant tilting modules, projectives, and center actions directly with the affine Soergel and non-commutative Springer data; no further restrictions appear in the arguments. The reductive group is taken throughout to be semisimple and simply connected, as is standard for the definition of the quantum group and its Harish-Chandra bimodules. We will revise the abstract to state these assumptions clearly and to emphasize that the result holds without the additional coprimality or size restrictions that are common in other quantum-group contexts. revision: yes

Circularity Check

0 steps flagged

No circularity in derivation chain

full rationale

The abstract and description present a study of the Harish-Chandra bimodule category at odd roots of unity and its relation to affine Soergel bimodules and the non-commutative Springer resolution. No equations, self-definitional constructions, fitted parameters presented as predictions, or load-bearing self-citations appear in the text. The central claim is a categorical relation established via independent functors or equivalences rather than reducing to its own inputs by definition or prior self-work. The derivation chain is self-contained against external benchmarks with no visible circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no free parameters, axioms, or invented entities are extractable from the provided text.

pith-pipeline@v0.9.1-grok · 5568 in / 989 out tokens · 10334 ms · 2026-06-26T00:42:03.962193+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

36 extracted references · 25 canonical work pages

  1. [1]

    A bimodule description of the Hecke category

    Noriyuki Abe. “A bimodule description of the Hecke category”. In:Compos. Math.157.10 (2021), pp. 2133–2159.issn: 0010-437X,1570-5846.doi:10.1112/s0010437x21007466

    work page doi:10.1112/s0010437x21007466 2021

  2. [2]

    Cluster algebras. I. Foundations

    Erik Backelin and Kobi Kremnizer. “Localization for quantum groups at a root of unity”. In:J. Amer. Math. Soc.21.4 (2008), pp. 1001–1018.issn: 0894-0347,1088-6834.doi:10.1090/S0894- 0347-08-00608-5

    work page doi:10.1090/s0894- 2008

  3. [3]

    Integrating quantum groups over surfaces

    David Ben-Zvi, Adrien Brochier, and David Jordan. “Integrating quantum groups over surfaces”. In:J. Topol.11.4 (2018), pp. 874–917.issn: 1753-8416,1753-8424.doi:10.1112/topo.12072

    work page doi:10.1112/topo.12072 2018

  4. [4]

    Tensor products of finite- and infinite-dimensional repre- sentations of semisimple Lie algebras

    J. N. Bernstein and S. I. Gelfand. “Tensor products of finite- and infinite-dimensional repre- sentations of semisimple Lie algebras”. In:Compositio Math.41.2 (1980), pp. 245–285.issn: 0010-437X,1570-5846

    1980

  5. [5]

    CharacterD-modules via Drin- feld center of Harish-Chandra bimodules

    Roman Bezrukavnikov, Michael Finkelberg, and Victor Ostrik. “CharacterD-modules via Drin- feld center of Harish-Chandra bimodules”. In:Invent. Math.188.3 (2012), pp. 589–620.issn: 0020-9910,1432-1297.doi:10.1007/s00222-011-0354-3

    work page doi:10.1007/s00222-011-0354-3 2012

  6. [6]

    Representations of semisimple Lie algebras in prime characteristic and the noncommutative Springer resolution

    Roman Bezrukavnikov and Ivan Mirkovi´ c. “Representations of semisimple Lie algebras in prime characteristic and the noncommutative Springer resolution”. In:Ann. of Math. (2)178.3 (2013). With an appendix by Eric Sommers, pp. 835–919.issn: 0003-486X,1939-8980.doi:10 . 4007 / annals.2013.178.3.2

    2013

  7. [7]

    Affine braid group actions on derived categories of Springer resolutions

    Roman Bezrukavnikov and Simon Riche. “Affine braid group actions on derived categories of Springer resolutions”. In:Ann. Sci. ´Ec. Norm. Sup´ er. (4)45.4 (2012), pp. 535–599.issn: 0012- 9593,1873-2151.doi:10.24033/asens.2173

    work page doi:10.24033/asens.2173 2012

  8. [8]

    Hecke action on the principal block

    Roman Bezrukavnikov and Simon Riche. “Hecke action on the principal block”. In:Compos. Math.158.5 (2022), pp. 953–1019.issn: 0010-437X,1570-5846.doi:10.1112/s0010437x22007436

    work page doi:10.1112/s0010437x22007436 2022

  9. [9]

    Roman Bezrukavnikov and Simon Riche.On two modular geometric realizations of an affine Hecke algebra. 2024. arXiv:2402.08281 [math.RT]

    arXiv 2024

  10. [10]

    Poisson orders, symplectic reflection algebras and repre- sentation theory

    Kenneth A. Brown and Iain Gordon. “Poisson orders, symplectic reflection algebras and repre- sentation theory”. In:J. Reine Angew. Math.559 (2003), pp. 193–216.issn: 0075-4102,1435-5345. doi:10.1515/crll.2003.048

    work page doi:10.1515/crll.2003.048 2003

  11. [11]

    Gurbir Dhillon, Yau Wing Li, Zhiwei Yun, and Xinwen Zhu.Endoscopy for metaplectic affine Hecke categories. 2025. arXiv:2507.16667 [math.RT]

    arXiv 2025

  12. [12]

    David Eisenbud.Commutative algebra. Vol. 150. Graduate Texts in Mathematics. With a view toward algebraic geometry. Springer-Verlag, New York, 1995, pp. xvi+785.doi:10.1007/978- 1-4612-5350-1

    work page doi:10.1007/978- 1995

  13. [13]

    Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik.Tensor categories. Vol. 205. Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2015, pp. xvi+343.isbn: 978-1-4704-2024-6.doi:10.1090/surv/205

    work page doi:10.1090/surv/205 2015

  14. [14]

    Jantzen.Representations of Algebraic Groups

    J.C. Jantzen.Representations of Algebraic Groups. Mathematical surveys and monographs. Amer- ican Mathematical Society.isbn: 9780821843772

  15. [15]

    Jens Carsten Jantzen.Lectures on quantum groups. Vol. 6. Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 1996, pp. viii+266.isbn: 0-8218-0478-2.doi: 10.1090/gsm/006

    work page doi:10.1090/gsm/006 1996

  16. [16]

    Symplectic singularities from the Poisson point of view

    D. Kaledin. “Symplectic singularities from the Poisson point of view”. In:J. Reine Angew. Math. 600 (2006), pp. 135–156.issn: 0075-4102,1435-5345.doi:10.1515/CRELLE.2006.089

    work page doi:10.1515/crelle.2006.089 2006

  17. [17]

    T. Y. Lam.A first course in noncommutative rings. Vol. 131. Graduate Texts in Mathematics. Springer-Verlag, New York, 1991, pp. xvi+397.isbn: 0-387-97523-3.doi:10.1007/978-1-4684- 0406-7. 76 REFERENCES

    work page doi:10.1007/978-1-4684- 1991

  18. [18]

    Completions of symplectic reflection algebras

    Ivan Losev. “Completions of symplectic reflection algebras”. In:Selecta Math. (N.S.)18.1 (2012), pp. 179–251.issn: 1022-1824,1420-9020.doi:10.1007/s00029-011-0071-1

    work page doi:10.1007/s00029-011-0071-1 2012

  19. [19]

    Dimensions of irreducible modules over W-algebras and Goldie ranks

    Ivan Losev. “Dimensions of irreducible modules over W-algebras and Goldie ranks”. In:Invent. Math.200.3 (2015), pp. 849–923.issn: 0020-9910,1432-1297.doi:10.1007/s00222-014-0541-0

    work page doi:10.1007/s00222-014-0541-0 2015

  20. [20]

    Finite-dimensional representations ofW-algebras

    Ivan Losev. “Finite-dimensional representations ofW-algebras”. In:Duke Math. J.159.1 (2011), pp. 99–143.issn: 0012-7094,1547-7398.doi:10.1215/00127094-1384800

    work page doi:10.1215/00127094-1384800 2011

  21. [21]

    Ivan Losev.Quantum category O vs affine Hecke category. 2023. arXiv:2310.03153 [math.RT]

    arXiv 2023

  22. [22]

    Ivan Losev, Alexander Tsymbaliuk, and Trung Vu.On De Concini-Kac forms of quantum groups

  23. [23]

    arXiv:2601.06696 [math.RT]

    arXiv

  24. [24]

    Finite-dimensional Hopf algebras arising from quantized universal enveloping algebra

    George Lusztig. “Finite-dimensional Hopf algebras arising from quantized universal enveloping algebra”. In:J. Amer. Math. Soc.3.1 (1990), pp. 257–296.issn: 0894-0347,1088-6834.doi:10. 2307/1990988

    1990

  25. [25]

    Modern Birkh¨ auser Classics

    George Lusztig.Introduction to quantum groups. Modern Birkh¨ auser Classics. Reprint of the 1994 edition. Birkh¨ auser/Springer, New York, 2010, pp. xiv+346.isbn: 978-0-8176-4716-2.doi: 10.1007/978-0-8176-4717-9

    work page doi:10.1007/978-0-8176-4717-9 1994

  26. [26]

    Exotic tilting sheaves, parity sheaves on affine Grassmannians, and the Mirkovi´ c-Vilonen conjecture

    Carl Mautner and Simon Riche. “Exotic tilting sheaves, parity sheaves on affine Grassmannians, and the Mirkovi´ c-Vilonen conjecture”. In:J. Eur. Math. Soc. (JEMS)20.9 (2018), pp. 2259–2332. issn: 1435-9855,1435-9863.doi:10.4171/JEMS/812

    work page doi:10.4171/jems/812 2018

  27. [27]

    Revisiting the Steinberg representation at arbitrary roots of 1

    Cris Negron. “Revisiting the Steinberg representation at arbitrary roots of 1”. In:Represent. Theory29 (2025), pp. 394–442.issn: 1088-4165.doi:10.1090/ert/697

    work page doi:10.1090/ert/697 2025

  28. [28]

    Multiparameter quantum groups and twisted quasitriangular Hopf algebras

    N. Reshetikhin. “Multiparameter quantum groups and twisted quasitriangular Hopf algebras”. In: Lett. Math. Phys.20.4 (1990), pp. 331–335.issn: 0377-9017,1573-0530.doi:10.1007/BF00626530

    work page doi:10.1007/bf00626530 1990

  29. [29]

    Geometric braid group action on derived categories of coherent sheaves

    Simon Riche. “Geometric braid group action on derived categories of coherent sheaves”. In: Represent. Theory12 (2008). With a joint appendix with Roman Bezrukavnikov, pp. 131–169. issn: 1088-4165.doi:10.1090/S1088-4165-08-00325-7

    work page doi:10.1090/s1088-4165-08-00325-7 2008

  30. [30]

    Kostant section, universal centralizer, and a modular derived Satake equivalence

    Simon Riche. “Kostant section, universal centralizer, and a modular derived Satake equivalence”. In:Math. Z.286.1-2 (2017), pp. 223–261.issn: 0025-5874,1432-1823.doi:10.1007/s00209-016- 1761-3

    work page doi:10.1007/s00209-016- 2017

  31. [31]

    Tilting modules and thep-canonical basis

    Simon Riche and Geordie Williamson. “Tilting modules and thep-canonical basis”. In:Ast´ erisque 397 (2018), pp. ix+184.issn: 0303-1179,2492-5926

    2018

  32. [32]

    A two-sided cell in an affine Weyl group

    Jian Yi Shi. “A two-sided cell in an affine Weyl group”. In:J. London Math. Soc. (2)36.3 (1987), pp. 407–420.issn: 0024-6107,1469-7750.doi:10.1112/jlms/s2-36.3.407

    work page doi:10.1112/jlms/s2-36.3.407 1987

  33. [33]

    On the category O of a hybrid quantum group

    Quan Situ. “On the category O of a hybrid quantum group”. In:Represent. Theory28 (2024), pp. 434–480.issn: 1088-4165.doi:10.1090/ert/676

    work page doi:10.1090/ert/676 2024

  34. [34]

    Robert Steinberg.Conjugacy classes in algebraic groups. Vol. Vol. 366. Lecture Notes in Mathe- matics. Notes by Vinay V. Deodhar. Springer-Verlag, Berlin-New York, 1974, pp. vi+159

    1974

  35. [35]

    Differential operators on quantized flag manifolds at roots of unity III

    Toshiyuki Tanisaki. “Differential operators on quantized flag manifolds at roots of unity III”. In: Adv. Math.392 (2021), Paper No. 107990, 51.issn: 0001-8708,1090-2082.doi:10.1016/j.aim. 2021.107990

    work page doi:10.1016/j.aim 2021

  36. [36]

    Representations of quantum algebras

    Andersen. Henning Haahr;, Polo. Patrick, Kexin. Wen. “Representations of quantum algebras”. In:Invent. Math104.1 (1991).issn: 1432-1297.doi:10.1007/BF01245066. Department of Mathematics, Yale University, New Haven CT USA Email address:trung.vu@yale.edu

    work page doi:10.1007/bf01245066 1991