pith. sign in

arxiv: 2102.03208 · v3 · submitted 2021-02-05 · 🧮 math.QA · math.RT

Q-W-algebras, Zhelobenko operators and a proof of De Concini-Kac-Procesi conjecture

Alexey Sevostyanov This is my paper

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

classification 🧮 math.QA math.RT
keywords q-W-algebrasZhelobenko operatorsDe Concini-Kac-Procesi conjecturequantum groupsroots of unitySlodowy slicesirreducible modules
0
0 comments X

The pith

A description of q-W-algebras via Zhelobenko operators proves the De Concini-Kac-Procesi conjecture on dimensions of irreducible modules over quantum groups at roots of unity.

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

The paper develops a self-consistent theory of q-W-algebras that includes the construction of algebraic group analogues of Slodowy slices. It supplies a description of these algebras expressed through Zhelobenko type operators. The resulting description is then applied to establish the De Concini-Kac-Procesi conjecture, which concerns the dimensions of irreducible modules for quantum groups evaluated at roots of unity. A sympathetic reader would care because resolving this conjecture supplies concrete information about the size of the irreducible representations that appear in this setting.

Core claim

The monograph presents the theory of q-W-algebras together with algebraic group analogues of Slodowy slices, gives a description of q-W-algebras in terms of Zhelobenko type operators, and applies that description to prove the De Concini-Kac-Procesi conjecture on the dimensions of irreducible modules over quantum groups at roots of unity.

What carries the argument

Zhelobenko type operators, which furnish an explicit description of the q-W-algebras constructed from algebraic group analogues of Slodowy slices.

If this is right

  • The dimensions of all irreducible modules over quantum groups at roots of unity are now known.
  • The representation theory of these quantum groups acquires a concrete numerical invariant for each irreducible module.
  • Any further structural results that depend on module dimensions can be stated without additional conjectural input.

Where Pith is reading between the lines

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

  • The same operator description may be usable for other open questions about the structure of quantum groups at roots of unity.
  • Analogous constructions could be tested in the classical limit where ordinary W-algebras appear.
  • Direct verification of the dimension formula for small examples would provide an independent check on the operator description.

Load-bearing premise

The construction of the algebraic group analogues of Slodowy slices and the associated theory of q-W-algebras is developed correctly and produces a description in terms of Zhelobenko operators that is strong enough to prove the dimension conjecture.

What would settle it

An explicit computation for a low-rank quantum group at a small root of unity that yields an irreducible module dimension different from the one predicted by the De Concini-Kac-Procesi conjecture.

read the original abstract

This monograph, along with a self-consistent presentation of the theory of q-W-algebras including the construction of algebraic group analogues of Slodowy slices, contains a description of q-W-algebras in terms of Zhelobenko type operators introduced in the book. This description is applied to prove the De Concini-Kac-Procesi conjecture on the dimensions of irreducible modules over quantum groups at roots of unity.

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

0 major / 1 minor

Summary. The manuscript develops the theory of q-W-algebras via algebraic-group analogues of Slodowy slices, provides a description of these algebras in terms of Zhelobenko-type operators, and applies the resulting framework to prove the De Concini-Kac-Procesi conjecture on the dimensions of irreducible modules over quantum groups at roots of unity.

Significance. A correct proof of the De Concini-Kac-Procesi conjecture would constitute a substantial advance in the representation theory of quantum groups. The self-contained construction of q-W-algebras and their operator-theoretic description could supply new tools for studying quantum algebras at roots of unity, provided the derivations are rigorous and the application to the dimension formula is free of hidden assumptions.

minor comments (1)
  1. The abstract states that the Zhelobenko-operator description is applied to the conjecture, but without explicit cross-references to the relevant theorems or propositions in the body, it is difficult to trace the logical steps of the proof.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for noting the potential significance of a proof of the De Concini-Kac-Procesi conjecture. As no specific major comments appear in the report, we have no point-by-point responses.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The manuscript presents a self-contained development of the theory of q-W-algebras, including algebraic-group analogues of Slodowy slices and a description via Zhelobenko operators, which is then applied directly to prove the De Concini-Kac-Procesi conjecture. No load-bearing derivation step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the abstract and structure emphasize independent constructions without invoking unverified prior results by the same author as the sole justification for uniqueness or ansatz choices. The derivation chain remains externally falsifiable and does not collapse to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no specific free parameters, axioms, or invented entities can be extracted or evaluated.

pith-pipeline@v0.9.0 · 5592 in / 1043 out tokens · 23467 ms · 2026-05-24T13:10:49.395154+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

127 extracted references · 127 canonical work pages · 1 internal anchor

  1. [1]

    H., Polo, P., Kexin, W., Representations of quantum algebras, Invent

    Andersen, H. H., Polo, P., Kexin, W., Representations of quantum algebras, Invent. Math. 104 (1991), 1–60

    work page 1991

  2. [2]

    M., Smirnov, Yu

    Asherova, R. M., Smirnov, Yu. F., Tolstoy, V. N., Projection oper ators for the simple Lie groups, Theor. Math. Phys. 8(1971), 813–825

    work page 1971

  3. [3]

    M., Smirnov, Yu

    Asherova, R. M., Smirnov, Yu. F., Tolstoy, V. N., Projection oper ators for the simple Lie groups. II. General scheme for construction of lowering operators. The case of the g roup SU(n), Theor. Math. Phys. 15 (1973), 392–393

    work page 1973

  4. [4]

    M., Smirnov, Yu

    Asherova, R. M., Smirnov, Yu. F., Tolstoy, V. N., A description of s ome class of projection operators for semisimple complex Lie algebras, Matem. Zametki 26 (1979), 499–504

    work page 1979

  5. [5]

    Baader, F., Nipkow, T., Term Rewriting and All That, Cambridge Univ ersity Press, Cambridge (1999)

    work page 1999

  6. [6]

    With an appendix by Bezrukavnikov and Simon Riche, Ann

    Bezrukavnikov, R., Mirkovic, I., Rumynin, D., Localization of module s for a semisimple Lie algebra in prime characteristic. With an appendix by Bezrukavnikov and Simon Riche, Ann. of Math. 167 (2008), 945–991

    work page 2008

  7. [7]

    A., Drinfeld, V

    Belavin, A. A., Drinfeld, V. G., Solutions of the classical Yang-Baxt er equation for simple Lie algebras, Funct. Anal. Appl. 16 (1981), 159–180

    work page 1981

  8. [8]

    H., Gelfand, I

    Bernstein, J. H., Gelfand, I. M., Gelfand, S. I., Schubert cells and cohomology of the spaces G/P, Uspekhi Mat. Nauk 28, no. 3 (171) (1973), 3–26; Russian Math. Surveys 28, no. 3 (1973), 1–26

    work page 1973

  9. [9]

    4,5,6, Paris, Herm ann (1968)

    Bourbaki, N., Groupes et algebras de Lie, Chap. 4,5,6, Paris, Herm ann (1968)

    work page 1968

  10. [10]

    Brieskorn, E., Singular elements of semisimple algebraic groups, Actes Congr` es Intern. Math. 2 (1970), 279– 284

    work page 1970

  11. [11]

    A., Goodearl, K

    Brown, K. A., Goodearl, K. R., Lectures on Algebraic Quantum Gr oups, Birkh¨ auser (2002)

    work page 2002

  12. [12]

    Groups 10 (2005), 29—62

    Cantarini, N., Carnovale, G., Costantini, M., Spherical orbits and representations of Uε(g), Transf. Groups 10 (2005), 29—62

    work page 2005

  13. [13]

    Cantarini, N., The quantized enveloping algebra Uq(sl(n)) at the roots of unity, Comm. Math. Phys. 211 (2000), 207—230

    work page 2000

  14. [14]

    Algebra 27 (1999), 3439–3458

    Cantarini, N., Spherical orbits and quantized enveloping algebra s, Comm. Algebra 27 (1999), 3439–3458

    work page 1999

  15. [15]

    Cantarini, N., Mod-p reduction for quantum groups, J. of Alg. 202 (1998), 357—366

    work page 1998

  16. [16]

    W., Simple groups of Lie type, John Wiley & Sons, Inc., N ew York (1989)

    Carter, R. W., Simple groups of Lie type, John Wiley & Sons, Inc., N ew York (1989)

    work page 1989

  17. [17]

    W., Conjugacy classes in the Weyl group, Compositio Math

    Carter, R. W., Conjugacy classes in the Weyl group, Compositio Math. 25 (1972), 1–59

    work page 1972

  18. [18]

    W., Finite groups of Lie type

    Carter, R. W., Finite groups of Lie type. Conjugacy classes and complex characters, John Wiley & Sons, Ltd., Chichester (1993)

    work page 1993

  19. [19]

    Press (1994)

    Chari, V., Pressley, A., A guide to quantum groups, Cambridge Un iv. Press (1994)

    work page 1994

  20. [20]

    Coxeter, H. S. M., Regular Polytopes, Methuen & Co., London (1 948). 189 190 BIBLIOGRAPHY

    work page

  21. [21]

    De Boer, J., Tjin, T., Quantization and representation theory o f finite W–algebras, Comm. math. Phys. , 158 (1993), 485–516

    work page 1993

  22. [22]

    G., Representations of quantum groups a t roots of 1

    De Concini, C., Kac, V. G., Representations of quantum groups a t roots of 1. Operator algebras, unitary representations, enveloping algebras, and invariant theory (Par is, 1989), Progr. Math. 92, Birkh¨ auser Boston, Boston, MA (1990), 471–506

    work page 1989

  23. [23]

    G., Representations of quantum groups a t roots of 1: reduction to the exceptional case, Int

    De Concini, C., Kac, V. G., Representations of quantum groups a t roots of 1: reduction to the exceptional case, Int. J. Mod. Phys. A 7 Suppl. 1A (1992), 141–149

    work page 1992

  24. [24]

    G., Procesi, C., Quantum coadjoint action, J

    De Concini, C., Kac, V. G., Procesi, C., Quantum coadjoint action, J. Amer. Math. Soc. 5 (1992), 151–189

    work page 1992

  25. [25]

    G., Procesi, C., Some remarkable degenera tions of quantum groups, Comm

    De Concini, C., Kac, V. G., Procesi, C., Some remarkable degenera tions of quantum groups, Comm. Math. Phys. 157 (1993), 405–427

    work page 1993

  26. [26]

    De Concini, C., Lyubashenko, V., Quantum function algebra at ro ots of 1, Adv. in Math. 108 (1994), 205–262

    work page 1994

  27. [27]

    In: Algebraic groups and Lie groups (G

    De Concini, C., Procesi, C., Quantum Schubert cells and represen tations at roots of 1. In: Algebraic groups and Lie groups (G. I. Lehrer ed.), Austral. Math. Soc. Lect. Ser. 9, Cambridge Univ. Press, Cambridge (1997), 127–160

    work page 1997

  28. [28]

    In: D-modules, Rep resentation Theory, and Quantum Groups (L

    De Concini, C., Procesi, C., Quantum Groups. In: D-modules, Rep resentation Theory, and Quantum Groups (L. Boutet de Monvel et al.), Proc. Venezia 1992, Lecture Notes in Mathematics 1565, Springer, Berlin (1993), 31–140

    work page 1992

  29. [29]

    W., Reiner, I., Representation theory of finite group s and associative algebras, Interscience Pub- lishers (1962)

    Curtis, C. W., Reiner, I., Representation theory of finite group s and associative algebras, Interscience Pub- lishers (1962)

    work page 1962

  30. [30]

    Drinfeld, V.G., Quantum groups, Proc. Int. Congr. Math. Berk ley, California, 1986, Amer. Math. Soc., Prov- idence (1987), 718–820

    work page 1986

  31. [31]

    M., On injective modules and support varieties for t he small quantum group, Int

    Drupieski, C. M., On injective modules and support varieties for t he small quantum group, Int. Math. Res. Not. 2011 (2011), 2263–2294

    work page 2011

  32. [32]

    W., Gordeev, N., Intersection of conjugacy classes w ith Bruhat cells in Chevalley groups, Pacific J

    Ellers, E. W., Gordeev, N., Intersection of conjugacy classes w ith Bruhat cells in Chevalley groups, Pacific J. Math. 214 (2004), 245–260

    work page 2004

  33. [33]

    Fomin, S., Zelevinsky, A., Double Bruhat cells and total positivity, J. Amer. Math. Soc. 12 (1999), 335–380

    work page 1999

  34. [34]

    Fomin, S., Zelevinsky, A., Recognizing Schubert cells, Journal of Algebraic Combinatorics 12 (2000), 37–57

    work page 2000

  35. [35]

    M., Parshall, B

    Friedlander, E. M., Parshall, B. J., Support varieties for restric ted Lie algebras Invent. Math. 86 (1986), 553–562

    work page 1986

  36. [36]

    M., Parshall, B

    Friedlander, E. M., Parshall, B. J., Geometry of p-unipotent Lie algebras, J. of Alg. 109 (1987), 25–45

    work page 1987

  37. [37]

    M., Parshall, B

    Friedlander, E. M., Parshall, B. J., Modular representation theo ry of Lie algebras, Amer. J. Math. 110 (1988), 1055–1093

    work page 1988

  38. [38]

    L., Ginzburg, V., Quantization of Slodowy slices, Int

    Gan, W. L., Ginzburg, V., Quantization of Slodowy slices, Int. Math. Res. Not. 5 (2002), 243–255

    work page 2002

  39. [39]

    Press (1990)

    Gasper, G., Rahman, M., Basic hypergeometric series, Cambridg e Univ. Press (1990)

    work page 1990

  40. [40]

    New Series 21, The Clarendon Press, Oxford University Press, New York (2000)

    Geck, M., Pfeiffer, G., Characters of finite Coxeter groups and Iwahori-Hecke algebras, London Mathematical Society Monographs. New Series 21, The Clarendon Press, Oxford University Press, New York (2000)

    work page 2000

  41. [41]

    Geck, M., Malle, G., On the existence of a unipotent support for t he irreducible characters of a finite group of Lie type, Trans. Amer. Math. Soc. 352 (2000), 429—456

    work page 2000

  42. [42]

    M., Serganova, V

    Gelfand, I. M., Serganova, V. V., Combinatorial geometries and the strata of a torus on homogeneous compact manifolds, Russian Math. Surveys 42 (1987), 133–168

    work page 1987

  43. [43]

    Ginzburg, V., Kumar, S., Cohomology of quantum groups at root s of unity, Duke Math. J. 69 (1993), 179–198. BIBLIOGRAPHY 191

    work page 1993

  44. [44]

    R., Yakimov, M

    Goodearl, K. R., Yakimov, M. T., The Berenstein-Zelevinsky quan tum cluster algebra conjecture, J. Eur. Math. Soc. , doi: 10.4171/JEMS/969

    work page doi:10.4171/jems/969

  45. [45]

    Goto, M., and Grosshans, F.D., Semisimple Lie algebras, Marcel De kker, Inc., New York and Basel (1978)

    work page 1978

  46. [46]

    Hartshorne, R., Algebraic geometry, Springer, New York (200 6)

    work page

  47. [47]

    Harzheim, E., Ordered Sets, Springer, New York (2006)

    work page 2006

  48. [48]

    He, X., Lusztig, G., A generalization of Steinberg’s cross-sectio n, J. Amer. Math. Soc. 25 (2012), 739–757

    work page 2012

  49. [49]

    He, X., Nie, S., Minimal length elements of finite Coxeter groups, Duke Math. J. 161 (2012), 2945–2967

    work page 2012

  50. [50]

    H., Nilpotency in classical groups over a field of char acteristic 2, Math

    Hesselink, W. H., Nilpotency in classical groups over a field of char acteristic 2, Math. Z. 166 (1979), 165—181

    work page 1979

  51. [51]

    Fac, Sci

    Iwahori, N., On the structure of a Hecke ring of a Chevalley grou p over a finite field, J. Fac, Sci. Uni. Tokyo , Sect. IA 10 (1964), 215–236

    work page 1964

  52. [52]

    Jacobson, N., Lie algebras, Interscience Publishers, New York (1962)

    work page 1962

  53. [53]

    C., Lectures on Quantum Groups, Graduate Studies in Mathematics 6, AMS (1996)

    Jantzen, J. C., Lectures on Quantum Groups, Graduate Studies in Mathematics 6, AMS (1996)

    work page 1996

  54. [54]

    Ergebniss e der Mathematik und ihrer Grenzgebiete (3), 29, Springer-Verlag, Berlin (1995)

    Joseph, A., Quantum groups and their primitive ideals. Ergebniss e der Mathematik und ihrer Grenzgebiete (3), 29, Springer-Verlag, Berlin (1995)

    work page 1995

  55. [55]

    Joseph, A., Letzter, G., Local finiteness of the adjoint action for quantized enveloping algebras, J. of Alg. 153 (1992), 289–318

    work page 1992

  56. [56]

    G., Weisfeiler, B., The irreducible representations of Lie p-algebras, Funk

    Kac, V. G., Weisfeiler, B., The irreducible representations of Lie p-algebras, Funk. Anal. i ego Pril. 5 (1971), no. 2, 28—36

    work page 1971

  57. [57]

    Kac, V., Cheung, P., Quantum Calculus, Springer, New York (200 2)

    work page

  58. [58]

    Kawanaka, N., Generalized Gelfand–Graev representations an d Ennola duality, in: Algebraic Groups and Related Topics, Advanced Studies in Pure Mathematics 6, North-Holland, Amsterdam/New York/Oxford (1985), 175–206

    work page 1985

  59. [59]

    Kawanaka, N., Generalized Gelfand–Graev representations of exceptional simple groups over a finite field I, Invent. Math. 84 (1986), 575–616

    work page 1986

  60. [60]

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

    work page 1988

  61. [61]

    M., Ogievetsky O., Mickelsson algebras and Zhelob enko operators, J

    Khoroshkin, S. M., Ogievetsky O., Mickelsson algebras and Zhelob enko operators, J. of Alg. 319 (2008), 2113–2165

    work page 2008

  62. [62]

    M., Tolstoy, V

    Khoroshkin, S. M., Tolstoy, V. N., The Cartan-Weyl basis and th e universal R-matrix for quantum Kac-Moody algebras and superalgebras. Quantum symmetries (Clausthal, 199 1), 336–351, World Sci. Publ., River Edge, NJ (1993)

    work page 1993

  63. [63]

    Khoroshkin, S.M., Tolstoy, V.N., Universal R–matrix for quantize d (super)algebras, Comm. Math. Phys. 141 (1991), 599–617

    work page 1991

  64. [64]

    Kostant, B., On Whittaker vectors and representation theor y, Invent. Math. 48 (1978), 101–184

    work page 1978

  65. [65]

    Kremnizer, K., Proof of the De Concini-Kac-Procesi conjectu re, arXiv:math/0611236

    work page internal anchor Pith review Pith/arXiv arXiv

  66. [66]

    Kumar, S., Representations of quantum groups at roots of un ity, In: Quantum topology (ed. by D.N. Yetter), World Scientific, Singapore (1994) 187–224

    work page 1994

  67. [67]

    W., Seitz, G

    Liebeck, M. W., Seitz, G. M., Unipotent and nilpotent classes in simp le algebraic groups and Lie algebras, Mathematical Surveys and Monographs 180, American Mathematical Society, Providence, RI (2012)

    work page 2012

  68. [68]

    Losev, I., Finite dimensional representations of W-algebras, Duke Math. J. 159 (2011), 99–143. 192 BIBLIOGRAPHY

    work page 2011

  69. [69]

    150 (2014), 1024–1076

    Losev, I., Ostrik, V., Classification of finite dimensional irreducib le modules over W-algebras, Compositio Math. 150 (2014), 1024–1076

    work page 2014

  70. [70]

    L¨ owdin, P.-O., Angular momentum wave functions constructed by projector operators Rev. Mod. Phys. 36 (1964), 966–976

    work page 1964

  71. [71]

    In: Symplectic geometry, groupoids and integrable systems, Berkeley, 1989

    Lu J.H., Momentum mapping and reduction of Poisson actions. In: Symplectic geometry, groupoids and integrable systems, Berkeley, 1989. P.Dazord and A.Weinstein (eds ), pp.209-226. Springer-Verlag

    work page 1989

  72. [72]

    Lusztig, G., Introduction to quantum groups, Birkh¨ auser (1 994)

    work page

  73. [73]

    Dedicata 35 (1990), no

    Lusztig, G., Quantum groups at roots of 1, Geom. Dedicata 35 (1990), no. 1–3, 89–113

    work page 1990

  74. [74]

    In: Rep resentations of Reductive Groups (M

    Lusztig, G., On conjugacy classes in a reductive group. In: Rep resentations of Reductive Groups (M. Nevins, P. E. Trapa eds.), Progress in Mathematics 312, Birkh¨ auser (2015), 333–363

    work page 2015

  75. [75]

    Algebraic groups and related topics (Kyoto/Nagoya, 1983), 289–316, Adv

    Lusztig, G., Spaltenstein, N., On the generalized Springer corre spondence for classical groups. Algebraic groups and related topics (Kyoto/Nagoya, 1983), 289–316, Adv. Stud. Pure Math. 6, North-Holland, Amsterdam, (1985)

    work page 1983

  76. [76]

    Represent

    Lusztig, G., From conjugacy classes in the Weyl group to unipot ent classes II. Represent. Theory 16 (2012), 189–211

    work page 2012

  77. [77]

    Theory 15 (2011), 494—530

    Lusztig, G., From conjugacy classes in the Weyl group to unipot ent classes, Represent. Theory 15 (2011), 494—530

    work page 2011

  78. [78]

    Groups 10 (2005), 449–487

    Lusztig, G., Unipotent elements in small characteristic, Transform. Groups 10 (2005), 449–487

    work page 2005

  79. [79]

    Lusztig, G., Quantum Deformations of Certain Simple Modules ove r Enveloping Algebras, Adv. Math. 70 (1988), 237–249

    work page 1988

  80. [80]

    E., Generalized Whittaker vectors and representat ion theory, Thesis, M.I.T

    Lynch, T. E., Generalized Whittaker vectors and representat ion theory, Thesis, M.I.T. (1979)

    work page 1979

Showing first 80 references.