Variation on a theme of Macdonald

From MaRDI portal





In 1982, I. G. Macdonald [Siam J. Math. Anal. 13, 988-1007 (1982; Zbl 0498.17006] published the conjecture that if \(R\) is a reduced root system, \(k\) is a positive integer, and \(d_ 1, \ldots, d_ n\) are the degrees of the fundamental invariants of the Weyl group of \(R\), then \[ [e^ 0] \prod_{\alpha \in R} (1-e^{\alpha})^ k = \prod_{i=1}^ n \left( { kd_ i \atop k} \right),\tag{1} \] where \([e^ 0]F\) denotes the coefficient of \(e^ 0\) in the expansion of \(F\). A more general conjecture in which the root system need not be reduced and in which the exponent of \((1-e^{\alpha})\) may depend on the length of \(\alpha\) was also made. For the root system \(BC_ n\), Macdonald's conjecture is equivalent to a multidimensional \(\beta\)-integral evaluation discovered and proved by Selberg in 1944. The conjecture was subsequently verified for each root system. In 1988, E. M. Opdam [Comp. Math. 67, 191-209 (1988; Zbl 0669.33008] gave the first uniform proof. In this paper, the authors point out that equation (1) is equivalent to \[ \int_ T |\Delta(t)|^{2k}dt = \prod_{i=1}^ n \left( { kd_ i \atop k} \right),\tag{2} \] where \(T\) is a compact torus whose unit lattice is an appropriate multiple of the lattice generated by the root system dual to \(R\), \(\Delta := \prod_{\alpha \in R}(e^{\alpha/2}- e^{-\alpha/2})\). They extend this result to prove that \[ \int_ A |\Delta(a)|^{2k}da = \prod_{j=1}^ n {1 \over{2 \sin[\pi k(1-d_ j)]}}\prod_{i=1}^ n \left( {kd_ i \atop k} \right),\tag{3} \] where \(A\) is a connected simply connected Lie group. They also prove a more general result in which the root system need not be reduced and in which the exponent may depend on the length of the root.











This page was built for publication: Variation on a theme of Macdonald

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