An elementary approach to the hypergeometric shift operators of Opdam

Simple, semisimple, reductive (super)algebras (17B20) Analysis on real and complex Lie groups (22E30) Connections of hypergeometric functions with groups and algebras, and related topics (33C80)

Review text

This article is an important development in analysis on root systems. The author and \textit{E. M. Opdam} [Compos. Math. 64, 329-352, 353-373 (1987; Zbl 0656.17006 and Zbl 0656.17007); ibid. 67, 21-49, 191-209 (1988; Zbl 0669.33007 and Zbl 0669.33008)] have constructed generalized hypergeometric functions and Jacobi polynomials associated to root systems of Weyl groups. Special cases of these functions are related to classical orthogonal polynomials and spherical functions on Riemannian symmetric spaces. The basic objects of concern are Weyl group invariant differential operators and functions on Euclidean space which are periodic modulo the root lattice. The first constructions for the operators were technically difficult and frequently required case-by-case analysis. In this paper, Heckman constructs an algebra of differential- difference operators for any root system, which very naturally lead to the desired differential operators. The reviewer [Trans. Am. Math. Soc. 331, No.1, 167-183 (1989; Zbl 0652.33004)] first introduced differential- difference oprators in the analysis of orthogonality structures with a Coxeter group invariance for functions on the sphere. Suppose R is a root system on an Euclidean space E (with \(R_+\) denoting the positive roots). For \(\alpha\in R\) let \(\alpha^ x:=2\alpha /<\alpha,\alpha >\) and denote the associated reflection \(r_{\alpha}\), where \(r_{\alpha}(\lambda):= \lambda-<\alpha^ x,\lambda>\alpha\), \(\lambda\in E\). By hypothesis, for each \(\alpha,\beta\in R\), \(<\alpha,\beta>\in {\mathbb{Z}}\) and \(r_{\alpha}(\beta)\in R\). Further \(W=W(R)\) is a group generated by \(\{r_{\alpha}:\alpha\in R\}\) and \({\mathbb{R}}[P]\) is the group algebra of the free abelian group (the weight lattice) \(P=\{\lambda \in E:\) \(<\lambda,\alpha^ x>\in {\mathbb{Z}}\) for all \(\alpha\in R\}\). Denote the basis elements of \({\mathbb{R}}[P]\) by \(e^{\lambda}\) so that \(e^ 0=1\), \((e^{\lambda})^{-1}=e^{- \lambda}\), (\(\lambda\in P)\), and define \(w(e^{\lambda})=e^{w(\lambda)}\) for \(w\in W\). Then \({\mathbb{R}}[P]^ W\) denotes the algebra of W-invariants in \({\mathbb{R}}[P]\). The main problem is to describe orthogonality structures on \({\mathbb{R}}[P]^ W\) and produce explicit orthogonal bases, (this includes group characters, spherical functions, and Jack polynomials). These structures are parametrized by ``multiplicity functions \(k=\{k_{\alpha}:\alpha\in R\}\) \((k_{\alpha}\) is a positive integer with possibly some extra restrictions) where \(k_{\alpha}=k_{\beta}\) when \(\alpha\) and \(\beta\) are roots with the same length. The differential-difference operators are generated by \(\{D_{\xi}:\xi\in E\}\) where \[ D_{\xi}(e^{\lambda}):= <\xi,\lambda>e^{\lambda}+ \sum_{\alpha \in R_+}k_{\alpha}<\xi,\alpha> \] \(((1-e^{-\alpha})/(1-e^{- \alpha}))(e^{\lambda}-e^{r_{\alpha}(\lambda)})\), for \(\lambda\in P\), extended by linearity to \({\mathbb{R}}[P]\). Heckman shows that each \(D_{\xi}\) is selfadjoint for the inner product \[ (f,g)_ k=CT(f\bar g\prod_{\alpha \in R}(e^{\alpha /2}-e^{-\alpha /2})^{k_{\alpha}}),\quad f,g\in {\mathbb{R}}[P], \] where (constant term) \(CT(\sum_{\lambda}a_{\lambda}e^{\lambda})=a_ 0\), and \(\bar g:= \sum_{\lambda}g_{\lambda}e^{-\lambda}\) when \(g=\sum_{\lambda}g_{\lambda}e^{\lambda}\). For \(d=1,2,3,..\). \(\xi\in E\), the operator \(D_{\xi,d}:=\sum_{\eta \in W_{\xi}}D^ d_{\eta}\) is W-invariant and reduce to a differential operator when restricted to \({\mathbb{R}}[P]^ W\). These operators now allow a neat proof for the orthogonality of the Jacobi polynomials. Further they considerably simplify the construction of \textit{E. M. Opdam}'s shift operators [Invent. Math. 98, 1-18 (1989; Zbl 0696.33006)], with which he proved Macdonald's constant-term \((q=1)\) conjectures and also determined the \(L^ 2\)-norms of the Jacobi polynomials.

Recommendations

Cites work

Cited in

(only showing first 100 items - show all)

This page was built for publication: An elementary approach to the hypergeometric shift operators of Opdam

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2640745)