On Harish-Chandra's Isomorphism
Pith reviewed 2026-05-23 07:06 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- [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
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
-
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
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
axioms (1)
- domain assumption Dunkl-Cherednik operators and hypergeometric shift operators are well-defined for arbitrary root systems
Reference graph
Works this paper leans on
-
[1]
D. Barbasch, A. Moy,A unitary criterion for p-adic groups, Inventiones math- ematicae98(1989) pp. 19–38
work page 1989
-
[2]
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
work page 2020
-
[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
work page 1947
-
[4]
R. J. Beerends,The Abel transform and shift operators, Compositio Mathe- matica,66, no 2 (1988), pp. 145–197
work page 1988
-
[5]
J. N. Bernstein,On the support of Plancherel measure, J. Geom. Phys.5 (1988), no. 4, pp. 663-710
work page 1988
-
[6]
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
work page 1976
-
[7]
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
work page 2020
-
[8]
A. Braverman, D. Kazhdan, and Manish M. Patnaik,Iwahori Hecke algebras for p-adic loop groups, Inventiones Mathematicae204(2016) pp. 347–442
work page 2016
-
[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
work page 1980
-
[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)
work page 1992
-
[11]
I. Cherednik,A unification of Knizhnik-Zamolodchikov equations and Dunkl operators via affine Hecke algebras. Invent. Math.106(1991), pp. 411–432
work page 1991
-
[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
work page 1995
-
[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
work page 2018
-
[14]
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
work page 2011
-
[15]
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
work page 2005
-
[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
work page 1999
-
[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
work page 1994
-
[18]
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
work page 2019
-
[19]
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)
work page 1955
-
[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
work page 1950
-
[21]
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
work page 1947
-
[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
work page 1962
-
[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
work page 1969
-
[24]
Godement,A theory of spherical functions
R. Godement,A theory of spherical functions. I, Trans. Amer. Math. Soc.73, (1952), pp. 496–556
work page 1952
-
[25]
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
work page 2010
-
[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
work page 1951
-
[27]
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
work page 1954
-
[28]
Harish–Chandra,A formula for semisimple Lie groups, Amer. J. Math.79 (1957), pp. 733–760
work page 1957
-
[29]
Harish–Chandra,Spherical functions on a semisimple Lie group, I, American J. of Math.80(1958), pp. 241–310
work page 1958
-
[30]
Harish–Chandra,Spherical functions on a semisimple Lie group, II, American J. of Math.80(1958), pp. 553–613
work page 1958
-
[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
work page 1966
-
[32]
G. J. Heckman and E. M. Opdam,Root systems and hypergeometric functions I, Compositio Math64(1987), pp. 329–352
work page 1987
-
[33]
G. J. Heckman,Root systems and hypergeometric functions II, Compositio Math64(1987), pp. 353–373
work page 1987
-
[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
work page 1991
-
[35]
G. J. Heckman,An elementary approach to the hypergeometric shift operators of Opdam, Invent. Math.103(1991), 341–350
work page 1991
-
[36]
G. J. Heckman, H. Schlichtkrull,Harmonic Analysis and Special Functions on Symmetric Spaces, Perspectives in Mathematics, Academic Press 1995
work page 1995
-
[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
work page 1996
-
[38]
G. J. Heckman, E. M. Opdam,Yang’s system of particles and Hecke algebras, Annals of mathematics145(1997), pp. 139–173. 43
work page 1997
-
[39]
G. J. Heckman, E. Looijenga,The Moduli Space of Rational Elliptic Surfaces, Algebraic Geometry 2000, Azumino36, 185–249
work page 2000
-
[40]
Helgason,Groups and Geometric Analysis
S. Helgason,Groups and Geometric Analysis. Integral Geometry, Invariant Differential Operators and Spherical Functions, Academic Press, (1984)
work page 1984
-
[41]
B. Ion, S. Sahi,Double Affine Hecke Algebras and Congruence Groups,Mem- oirs of the American Mathematical Society268(2021)
work page 2021
-
[42]
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,
work page 1965
-
[43]
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
work page 1966
-
[44]
Jordan,Quantized multiplicative quiver varieties, Adv
D. Jordan,Quantized multiplicative quiver varieties, Adv. Math.250(2014), pp. 420–466
work page 2014
- [45]
-
[46]
M. Kapranov,Double Affine Hecke Algebras and 2-Dimensional Local Fields, Journal of the American Mathematical Society,14(2000) pp. 239–262
work page 2000
-
[47]
E. Koelink and J. V. Stokman.The Askey-Wilson function transform, IMRN 22(2001), pp. 1203–1227
work page 2001
- [48]
-
[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
work page 2003
-
[50]
A. W. Knapp, D. Vogan,Cohomological Induction and Unitary Representa- tions, Princeton Mathematical Series, 1995
work page 1995
-
[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
work page 1994
-
[52]
T. H. Koornwinder,Askey–Wilson polynomials for root systems of typeBC, Contemp. Math.138(1992), 189–204
work page 1992
-
[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
work page 2004
-
[54]
G. Lusztig,Affine Hecke Algebras and Their Graded Version, Journal of the American Mathematical Society,2, No. 3 (1989), pp. 599–635
work page 1989
-
[55]
I. G. Macdonald,Spherical functions on a group ofp-adic type, Publ. Ramanu- jan Institute2(1971)
work page 1971
-
[56]
I. G. Macdonald,Orthogonal polynomials associated with root systems, unpub- lished manuscript, 1988; later published inS´ em. Lothar. Combin.45(2000)
work page 1988
-
[57]
I. G. Macdonald,Affine Hecke algebras and orthogonal polynomials,Ast´ erisque 237(1996), pp. 189–207
work page 1996
-
[58]
M. Noumi,Macdonalds symmetric polynomials as zonal spherical functions on some quantum homogeneous spaces, Adv. Math.123(1) (1996), pp. 16–77
work page 1996
-
[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
work page 2007
-
[60]
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
work page 2007
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[62]
E. M. Opdam,Root systems and hypergeometric functions III,Compositio Math.67(1988), 21–49
work page 1988
-
[63]
E. M. Opdam,Root systems and hypergeometric functions IV,Compositio Math.67(1988), 191–209
work page 1988
-
[64]
E. M. Opdam, Some applications of hypergeometric shift operators, Invent. Math.98(1989), 1–18
work page 1989
-
[65]
E. M. Opdam,Harmonic analysis for certain representations of graded Hecke algebras, Acta Math.,175(1995), pp. 75–121
work page 1995
-
[66]
E. M. Opdam,Cuspidal hypergeometric functions, Methods and applications of analysis6(1999) pp. 67–80
work page 1999
-
[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
work page 1993
-
[68]
E. M. Opdam,Lecture Notes on Dunkl Operators for Real and Complex Re- flection Groups, Mathematical Society of Japan Memoirs8, 2000
work page 2000
-
[69]
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
work page 2003
-
[70]
E. M. Opdam,On the spectral decomposition of affine Hecke algebras, Journal of the Inst. of Math. Jussieu3(4), pp. 531–648 (2004)
work page 2004
-
[71]
E. M. Opdam, V. Toledano Laredo,Nonsymmetric shift operators, To appear
-
[72]
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
work page 1977
-
[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
work page 1987
-
[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
work page 1999
- [75]
-
[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
work page 1963
-
[77]
G. Schiffmann,Int´ egrales d’entrelacement et fonctions de Whittaker, Bulletin de la Soci´ et´ e Math´ ematique de France99(1971), pp. 3–72
work page 1971
-
[78]
M. Varagnolo and E. Vasserot,Double affine Hecke algebras at roots of unity. Represent. Theory,14(2010), pp. 510–600
work page 2010
-
[79]
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
work page 2010
- [80]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.