pith. sign in

arxiv: 2412.17525 · v3 · submitted 2024-12-23 · 🧮 math.RT · math.QA

On Harish-Chandra's Isomorphism

Pith reviewed 2026-05-23 07:06 UTC · model grok-4.3

classification 🧮 math.RT math.QA
keywords Harish-Chandra isomorphismDunkl-Cherednik operatorsshift operatorsroot systemsrepresentation theoryhypergeometric functionsWeyl group invariants
0
0 comments X

The pith

Nonsymmetric shift operators exist and are unique for arbitrary root systems.

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

This review examines Harish-Chandra's isomorphism identifying the center of the universal enveloping algebra with Weyl group invariants in the symmetric algebra, along with its uses in representation theory and mathematical physics. It announces that for any root system there exist unique nonsymmetric shift operators. These are differential-reflection operators that transmute Dunkl-Cherednik operators by shifting their parameter k by one and restrict to the hypergeometric shift operators on symmetric functions.

Core claim

Harish-Chandra's isomorphism equates the center of U(g) with the ring of Weyl invariants. For an arbitrary root system the nonsymmetric shift operators are the unique differential-reflection operators satisfying a transmutation property with respect to the Dunkl-Cherednik operators that shifts their parameter k by 1 and that restrict to the first author's hypergeometric shift operators when acting on symmetric functions.

What carries the argument

Nonsymmetric shift operators: differential-reflection operators with a transmutation property relative to Dunkl-Cherednik operators that shift the parameter k by 1.

If this is right

  • The operators extend the known hypergeometric shift operators from the symmetric to the full nonsymmetric setting for every root system.
  • Parameter shifts become available in the nonsymmetric Dunkl-Cherednik framework, enabling relations between representations at adjacent values of k.
  • Uniqueness guarantees that the construction is canonical once the transmutation and shift properties are imposed.
  • The result supplies a uniform mechanism that applies equally to all root systems rather than case-by-case constructions.

Where Pith is reading between the lines

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

  • The operators could be used to generate recursive sequences of eigenfunctions or characters across different parameter values in Dunkl systems.
  • Similar transmutation constructions may exist for other families of reflection operators or deformed algebras beyond the Dunkl-Cherednik case.
  • The announcement suggests that questions of existence and uniqueness for shift operators can now be posed uniformly across the classification of root systems.

Load-bearing premise

The transmutation property and the shift-by-1 action on the parameter k hold for every root system.

What would settle it

A root system together with an explicit computation showing that no differential-reflection operator satisfies both the required transmutation property with Dunkl-Cherednik operators and the exact shift of k by 1, or that two distinct such operators exist.

read the original abstract

This is the text of a talk given by the first author at the Harish-Chandra centenary meeting held in Allahabad in October 2023. It reviews Harish-Chandra's isomorphism and its many applications to representation theory and mathematical physics. It also announces the existence and uniqueness of nonsymmetric shift operators for an arbitrary root system. These are differential-reflection operators with a transmutation property relative to Dunkl-Cherednik operators: they shift the parameter k of these operators by 1, and restrict on symmetric functions to the hypergeometric shift operators introduced by the first author.

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. This manuscript is the text of a talk reviewing Harish-Chandra's isomorphism and its applications in representation theory and mathematical physics. It announces the existence and uniqueness of nonsymmetric shift operators for an arbitrary root system. These are differential-reflection operators that transmute Dunkl-Cherednik operators by shifting the parameter k by 1 and restrict to the hypergeometric shift operators on symmetric functions.

Significance. If established with a construction and proof, the announced result would extend the first author's prior symmetric hypergeometric shift operators to the nonsymmetric setting for all root systems, potentially strengthening the theory of Dunkl-Cherednik operators and their transmutation properties. The manuscript itself is a review that states the claim without derivations or verifications.

major comments (1)
  1. [announcement of new result] The central announcement (final paragraph of the abstract and corresponding statement in the talk text) asserts existence and uniqueness of the nonsymmetric shift operators for every root system, including the transmutation property and restriction to symmetric hypergeometric shifts. However, the manuscript provides no explicit operator formula, no uniqueness argument, and no verification that the identities hold outside the symmetric case or for non-simply-laced/exceptional systems. This is load-bearing for the universality claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful review of our manuscript, which is the text of a talk given at the Harish-Chandra centenary meeting. The manuscript reviews Harish-Chandra's isomorphism and announces the existence and uniqueness of nonsymmetric shift operators. We respond to the major comment below.

read point-by-point responses
  1. Referee: [announcement of new result] The central announcement (final paragraph of the abstract and corresponding statement in the talk text) asserts existence and uniqueness of the nonsymmetric shift operators for every root system, including the transmutation property and restriction to symmetric hypergeometric shifts. However, the manuscript provides no explicit operator formula, no uniqueness argument, and no verification that the identities hold outside the symmetric case or for non-simply-laced/exceptional systems. This is load-bearing for the universality claim.

    Authors: We agree that the manuscript, being the transcript of a talk, announces the result without providing an explicit operator formula, uniqueness argument, or detailed verifications for general root systems. The talk's purpose is to review the background on Harish-Chandra's isomorphism and state the new announcement. The full construction, formula, uniqueness proof, and checks for non-simply-laced and exceptional systems will appear in a separate forthcoming paper. The restriction to the symmetric case follows from the first author's prior work on hypergeometric shift operators. This level of detail is appropriate for the announcement context of the talk. revision: no

Circularity Check

0 steps flagged

No circularity: announcement of nonsymmetric shift operators rests on independent prior symmetric construction without reduction by definition or self-citation chain

full rationale

The provided text is a centenary talk reviewing Harish-Chandra's isomorphism and announcing existence/uniqueness of nonsymmetric shift operators that transmute Dunkl-Cherednik operators and restrict to the first author's prior hypergeometric shifts. No derivation chain, equations, or explicit construction appears in the manuscript. The reference to the first author's earlier symmetric operators is a standard citation of independent prior work and does not bear the load of the new universality claim. No self-definitional, fitted-input, or ansatz-smuggling patterns are exhibited by any quoted step.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The announcement rests on background properties of root systems and Dunkl-Cherednik operators; no new free parameters or invented entities are introduced in the abstract itself.

axioms (1)
  • domain assumption Dunkl-Cherednik operators and hypergeometric shift operators are well-defined for arbitrary root systems
    The transmutation property is stated relative to these operators.

pith-pipeline@v0.9.0 · 5618 in / 1184 out tokens · 46174 ms · 2026-05-23T07:06:41.775809+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

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

  1. [1]

    Barbasch, A

    D. Barbasch, A. Moy,A unitary criterion for p-adic groups, Inventiones math- ematicae98(1989) pp. 19–38

  2. [2]

    Barbasch, D

    D. Barbasch, D. Ciubotaru,Star operations for graded affine Hecke algebras, In: Representation Theory, Automorphic Forms & Complex Geometry (A Tribute to Wilfried Schmid), International Press Boston (2020) pp. 107–138

  3. [3]

    Bargman, Irreducible unitary representations of the Lorentz group, Ann

    V. Bargman, Irreducible unitary representations of the Lorentz group, Ann. of Math, vol.48(1947) pp. 568–640

  4. [4]

    R. J. Beerends,The Abel transform and shift operators, Compositio Mathe- matica,66, no 2 (1988), pp. 145–197

  5. [5]

    J. N. Bernstein,On the support of Plancherel measure, J. Geom. Phys.5 (1988), no. 4, pp. 663-710

  6. [6]

    Borel,Admissible representations of a semi-simple group over a local field with vectors fixed under an Iwahori subgroup, Inventiones Mathematicae35 (1976), pp

    A. Borel,Admissible representations of a semi-simple group over a local field with vectors fixed under an Iwahori subgroup, Inventiones Mathematicae35 (1976), pp. 233–259

  7. [7]

    Braverman, P

    A. Braverman, P. Etingof, and M. Finkelberg,Cyclotomic double affine Hecke algebras, Ann. Sci. ´Ec. Norm. Sup.53(5) (2020) pp. 1249–1312. With an ap- pendix by Hiraku Nakajima and Daisuke Yamakawa

  8. [8]

    Braverman, D

    A. Braverman, D. Kazhdan, and Manish M. Patnaik,Iwahori Hecke algebras for p-adic loop groups, Inventiones Mathematicae204(2016) pp. 347–442

  9. [9]

    Casselman,The unramified principal series ofp-adic groups

    W. Casselman,The unramified principal series ofp-adic groups. I. The spher- ical function, Compositio Mathematica, tome40, no 3 (1980), pp. 387–406

  10. [10]

    W. Casselman; Jeff Adler, Peter Anspach, John Boller, Neil Chriss, Stephen DeBacker, Bill Graham, Jason Levy, Alan Roche, and Colin Rust,Introduction to the theory of admissible representations of p-adic reductive groups, Notes of W. Casselman’s lectures in the S´ eminaire Paul Sally (1992–93)

  11. [11]

    Cherednik,A unification of Knizhnik-Zamolodchikov equations and Dunkl operators via affine Hecke algebras

    I. Cherednik,A unification of Knizhnik-Zamolodchikov equations and Dunkl operators via affine Hecke algebras. Invent. Math.106(1991), pp. 411–432

  12. [12]

    Cherednik,Double affine Hecke algebras and Macdonald’s conjectures, Ann

    I. Cherednik,Double affine Hecke algebras and Macdonald’s conjectures, Ann. Math. (2)141(1995), pp. 191–216

  13. [13]

    Ciubotaru,Types and unitary representations of reductive p-adic groups, Invent

    D. Ciubotaru,Types and unitary representations of reductive p-adic groups, Invent. Math.213(2018) no. 1, pp. 237–269

  14. [14]

    Ciubotaru, P

    D. Ciubotaru, P. E. Trapa,Functors for unitary representations of classical real groups and affine Hecke algebras, Advances in Mathematics227, Issue 4 (2011), pp. 1585–1611

  15. [15]

    Couwenberg, G

    W. Couwenberg, G. J. Heckman, E. Looijenga,Geometric structures on the complement of a projective arrangement, Publ. Math. Inst. Hautes ´Etudes Sci. 101(2005), pp. 69–161

  16. [16]

    Delorme,Schwartz space for the hypergeometric Fourier transform

    P. Delorme,Schwartz space for the hypergeometric Fourier transform. (With an appendix by Mustapha Tinfou). Journal of Functional Analysis168(1) (1999) pp. 1999–3449

  17. [17]

    van DiejenIntegrability of difference Calogero-Moser systems, J

    J.–F. van DiejenIntegrability of difference Calogero-Moser systems, J. Math. Phys.,35(6) (1994), pp. 2983–3004

  18. [18]

    van Diejen, E

    J.–F. van Diejen, E. Emsiz,Bispectral dual difference equations for the quantum Toda chain, with boundary perturbations, IMRN Vol.2019(2019) Issue 12 pp. 3740–3767. 42

  19. [19]

    Ehrenpreis and F

    L. Ehrenpreis and F. I. Mautner,Some properties of the Fourier transform on semi-simple Lie groups, I (Ann. of Math.61(1955) 406–443), II (Trans. Amer. Math. Soc.84(1957), 1–55, II (Trans. Amer. Math. Soc.901(1959), 431–484)

  20. [20]

    Gelfand,Spherical functions on symmetric Riemann spaces, Doklady Akad

    I. Gelfand,Spherical functions on symmetric Riemann spaces, Doklady Akad. Nauk. SSSR. vol.70(1950) pp. 5–8

  21. [21]

    Gelfand, M

    I. Gelfand, M. Naimark,The principal series of irreducible representations of the complex unimodular group, Doklady Acad. Nauk. SSSR. vol.56(1947) pp. 3–4

  22. [22]

    S. G. Gindikin, F. I. Karpelevich,Plancherel measure for symmetric Riemann- ian spaces of non-positive curvature, Soviet Math. Dokl.3(1962) pp. 252–255

  23. [23]

    S. G. Gindikin, F. I. Karpelevich,On an integral associated with Riemann- ian symmetric spaces of non-positive curvature, Twelve Papers on Functional Analysis and Geometry, American Mathematical Society translations, vol.85, (1969) pp. 249–258

  24. [24]

    Godement,A theory of spherical functions

    R. Godement,A theory of spherical functions. I, Trans. Amer. Math. Soc.73, (1952), pp. 496–556

  25. [25]

    Groenevelt, E

    W. Groenevelt, E. Koelink, and J. Kustermans,The Dual Quantum Group for the Quantum Group Analog of the Normalizer ofSU(1,1)inSL(2,C), IMRN 2010(2009), pp. 1167–1314

  26. [26]

    Harish–Chandra,On some applications of the universal enveloping algebra of a semi-simple Lie group, Trans. Amer. Math. Soc.70(1951), pp. 28–96

  27. [27]

    3 (1954), pp

    Harish–Chandra,On the Plancherel Formula for the RightK-Invariant Func- tions on a Semisimple Lie Group, Proceedings of the National Academy of Sciences of the United States of America, Vol.40, No. 3 (1954), pp. 200–204

  28. [28]

    Harish–Chandra,A formula for semisimple Lie groups, Amer. J. Math.79 (1957), pp. 733–760

  29. [29]

    of Math.80(1958), pp

    Harish–Chandra,Spherical functions on a semisimple Lie group, I, American J. of Math.80(1958), pp. 241–310

  30. [30]

    of Math.80(1958), pp

    Harish–Chandra,Spherical functions on a semisimple Lie group, II, American J. of Math.80(1958), pp. 553–613

  31. [31]

    II, Explicit deter- mination of the character, Acta Mathematica,116(1966) pp

    Harish–Chandra,Discrete series for semisimple Lie groups. II, Explicit deter- mination of the character, Acta Mathematica,116(1966) pp. 1–111

  32. [32]

    G. J. Heckman and E. M. Opdam,Root systems and hypergeometric functions I, Compositio Math64(1987), pp. 329–352

  33. [33]

    G. J. Heckman,Root systems and hypergeometric functions II, Compositio Math64(1987), pp. 353–373

  34. [34]

    G. J. Heckman,A Remark on the Dunkl Differential-Difference Operators, In: Harmonic analysis on reductive groups, Birkh¨ auser Boston, 1991, pp. 181–191

  35. [35]

    G. J. Heckman,An elementary approach to the hypergeometric shift operators of Opdam, Invent. Math.103(1991), 341–350

  36. [36]

    G. J. Heckman, H. Schlichtkrull,Harmonic Analysis and Special Functions on Symmetric Spaces, Perspectives in Mathematics, Academic Press 1995

  37. [37]

    G. J. Heckman, E. M. Opdam,Harmonic analysis for affine Hecke algebras, Current Developments in Mathematics, 1996 (Cambridge, MA), 37–60, Intern. Press, 1997

  38. [38]

    G. J. Heckman, E. M. Opdam,Yang’s system of particles and Hecke algebras, Annals of mathematics145(1997), pp. 139–173. 43

  39. [39]

    G. J. Heckman, E. Looijenga,The Moduli Space of Rational Elliptic Surfaces, Algebraic Geometry 2000, Azumino36, 185–249

  40. [40]

    Helgason,Groups and Geometric Analysis

    S. Helgason,Groups and Geometric Analysis. Integral Geometry, Invariant Differential Operators and Spherical Functions, Academic Press, (1984)

  41. [41]

    B. Ion, S. Sahi,Double Affine Hecke Algebras and Congruence Groups,Mem- oirs of the American Mathematical Society268(2021)

  42. [42]

    Iwahori, H

    N. Iwahori, H. Matsumoto,On some Bruhat decomposition and the structure of the Hecke rings ofp-adic Chevalley groups, Publ. Math. Inst. Hautes ´Etudes Sci.25(1965) 5–48,

  43. [43]

    Iwahori,Generalized Tits system (Bruhat decomposition) onp-adic semisimple groups, in: Algebraic Groups and Discontinuous Subgroups

    N. Iwahori,Generalized Tits system (Bruhat decomposition) onp-adic semisimple groups, in: Algebraic Groups and Discontinuous Subgroups. Proc. Symp. Pure Math. IX. A.M.S. Providence, 1966

  44. [44]

    Jordan,Quantized multiplicative quiver varieties, Adv

    D. Jordan,Quantized multiplicative quiver varieties, Adv. Math.250(2014), pp. 420–466

  45. [45]

    S. Kato, A. Khoroshkin, L. Makedonskyi,Categorification of DAHA and Mac- donald polynomials, arXiv:2103.10009 (2024)

  46. [46]

    Kapranov,Double Affine Hecke Algebras and 2-Dimensional Local Fields, Journal of the American Mathematical Society,14(2000) pp

    M. Kapranov,Double Affine Hecke Algebras and 2-Dimensional Local Fields, Journal of the American Mathematical Society,14(2000) pp. 239–262

  47. [47]

    Koelink and J

    E. Koelink and J. V. Stokman.The Askey-Wilson function transform, IMRN 22(2001), pp. 1203–1227

  48. [48]

    Komori, K

    Y. Komori, K. HikamiQuantum integrability of the generalized elliptic Ruijse- naars models, J. Phys. A,30(12) (1997) pp. 4341–4364

  49. [49]

    A. W. Knapp,The Gindikin-Karpeleviˇ c formula and intertwining operators.Lie groups and symmetric spaces,Amer. Math. Soc. Transl. Ser. 2,210(2003) pp. 145–159

  50. [50]

    A. W. Knapp, D. Vogan,Cohomological Induction and Unitary Representa- tions, Princeton Mathematical Series, 1995

  51. [51]

    Knop,A Harish–Chandra Homomorphism for Reductive Group Actions, Annals of Mathematics,140, No

    F. Knop,A Harish–Chandra Homomorphism for Reductive Group Actions, Annals of Mathematics,140, No. 2 (1994), pp. 253–288

  52. [52]

    T. H. Koornwinder,Askey–Wilson polynomials for root systems of typeBC, Contemp. Math.138(1992), 189–204

  53. [53]

    Letzter, Quantum zonal spherical functions and Macdonald polynomials, Adv

    G. Letzter, Quantum zonal spherical functions and Macdonald polynomials, Adv. Math.189(2004), 88–147

  54. [54]

    Lusztig,Affine Hecke Algebras and Their Graded Version, Journal of the American Mathematical Society,2, No

    G. Lusztig,Affine Hecke Algebras and Their Graded Version, Journal of the American Mathematical Society,2, No. 3 (1989), pp. 599–635

  55. [55]

    I. G. Macdonald,Spherical functions on a group ofp-adic type, Publ. Ramanu- jan Institute2(1971)

  56. [56]

    I. G. Macdonald,Orthogonal polynomials associated with root systems, unpub- lished manuscript, 1988; later published inS´ em. Lothar. Combin.45(2000)

  57. [57]

    I. G. Macdonald,Affine Hecke algebras and orthogonal polynomials,Ast´ erisque 237(1996), pp. 189–207

  58. [58]

    Noumi,Macdonalds symmetric polynomials as zonal spherical functions on some quantum homogeneous spaces, Adv

    M. Noumi,Macdonalds symmetric polynomials as zonal spherical functions on some quantum homogeneous spaces, Adv. Math.123(1) (1996), pp. 16–77

  59. [59]

    Oblomkov,Deformed Harish–Chandra homomorphism for the cyclic quiver

    A. Oblomkov,Deformed Harish–Chandra homomorphism for the cyclic quiver. Math. Res. Lett.,14(3) (2007), pp. 359–372

  60. [60]

    Oda,Generalization of Harish–Chandra’s basic theorem for Riemannian symmetric spaces of non-compact type, Adv

    H. Oda,Generalization of Harish–Chandra’s basic theorem for Riemannian symmetric spaces of non-compact type, Adv. Math.,208(2) (2007), pp. 549– 596. 44

  61. [61]

    Differential-difference operators and radial part formulas for non-invariant elements

    H. Oda,Differential-difference operators and radial part formulas for non- invariant elements, preprint (2014), arxiv:1402.3231

  62. [62]

    E. M. Opdam,Root systems and hypergeometric functions III,Compositio Math.67(1988), 21–49

  63. [63]

    E. M. Opdam,Root systems and hypergeometric functions IV,Compositio Math.67(1988), 191–209

  64. [64]

    E. M. Opdam, Some applications of hypergeometric shift operators, Invent. Math.98(1989), 1–18

  65. [65]

    E. M. Opdam,Harmonic analysis for certain representations of graded Hecke algebras, Acta Math.,175(1995), pp. 75–121

  66. [66]

    E. M. Opdam,Cuspidal hypergeometric functions, Methods and applications of analysis6(1999) pp. 67–80

  67. [67]

    E. M. Opdam,An analogue of the Gauss summation formula for hypergeomet- ric functions related to root systems, Mathematische Zeitschrift212, Issue: 3, (1993) pp. 311–336

  68. [68]

    E. M. Opdam,Lecture Notes on Dunkl Operators for Real and Complex Re- flection Groups, Mathematical Society of Japan Memoirs8, 2000

  69. [69]

    Opdam,A generating formula for the trace of the Iwahori-Hecke algebra, In: Studies in Memory of Issai Schur (eds

    E.M. Opdam,A generating formula for the trace of the Iwahori-Hecke algebra, In: Studies in Memory of Issai Schur (eds. Anthony Joseph, Anna Melnikov, Rudolf Rentschler), Progress in Mathematics210(2003), pp. 301–323

  70. [70]

    E. M. Opdam,On the spectral decomposition of affine Hecke algebras, Journal of the Inst. of Math. Jussieu3(4), pp. 531–648 (2004)

  71. [71]

    E. M. Opdam, V. Toledano Laredo,Nonsymmetric shift operators, To appear

  72. [72]

    Rosenberg,A Quick Proof of Harish–Chandra’s Plancherel Theorem for Spherical Functions on a Semisimple Lie Group, Proc

    J. Rosenberg,A Quick Proof of Harish–Chandra’s Plancherel Theorem for Spherical Functions on a Semisimple Lie Group, Proc. Amer. Math. Soc.63 (1977), pp. 143–149

  73. [73]

    S. N. M. Ruijsenaars,Complete integrability of relativistic Calogero–Moser sys- tems and elliptic function identities, Comm. Math. Phys.110(1987), pp. 191– 213

  74. [74]

    Sahi,Nonsymmetric Koornwinder polynomials and duality.Ann

    S. Sahi,Nonsymmetric Koornwinder polynomials and duality.Ann. of Math. 150(1999), no. 1, pp. 267–282

  75. [75]

    S. Sahi, J. Stokman, V. Venkateswaran,Quasi-polynomial representations of double affine Hecke algebras, arXiv:2204.13729 (2022)

  76. [76]

    Satake, I.,Theory of spherical functions on reductive algebraic groups over p–adic fields, Publ. Math. Inst. Hautes ´Etudes Sci.18(1963), pp. 5–69

  77. [77]

    Schiffmann,Int´ egrales d’entrelacement et fonctions de Whittaker, Bulletin de la Soci´ et´ e Math´ ematique de France99(1971), pp

    G. Schiffmann,Int´ egrales d’entrelacement et fonctions de Whittaker, Bulletin de la Soci´ et´ e Math´ ematique de France99(1971), pp. 3–72

  78. [78]

    Varagnolo and E

    M. Varagnolo and E. Vasserot,Double affine Hecke algebras at roots of unity. Represent. Theory,14(2010), pp. 510–600

  79. [79]

    Varagnolo and E

    M. Varagnolo and E. Vasserot,Double Affine Hecke Algebras and Affine Flag Manifolds, I, In: Affine Flag Manifolds and Principal Bundles, Trends in Math- ematics (2010) pp. 233–289

  80. [80]

    J. J. Wen,Harish–Chandra isomorphism for cyclotomic double affine hecke algebras, arXiv:2407.07679 (2024)

Showing first 80 references.