Lectures on quasi-invariants of Coxeter groups and the Cherednik algebra. (Q1419554)

The paper under review is based on three lectures given by P. Etingof at the University of Roma in Jan. 2002 on quasi-invariants and related topics. It can be regarded as an elementary introduction for non-specialists to the theory of representations of the Cherednik algebra and quasi-invariants and also contains a proof of the Gorensteinness of the variety of quasi-invariants as an application of representation theory. Let \(W\) be a finite Coxeter group with the standard representation \(\mathfrak h\) over \(\mathbb{C}\) as a reflection group. A polynomial \(q\in\mathbb{C}[\mathfrak h]\) is said to be an `\(m\)-quasi-invariant' for \(W\) with \(m\in\mathbb{N}\), if \(\alpha_s(x)^{2m+1}\mid q(x)-q(s(x))\) in \(\mathbb{C}[\mathfrak h]\) for any reflection \(s\in W\), where \(\alpha_s\in{\mathfrak h}^*\) defines the reflecting hyperplane \(\alpha_s^\perp\) of \(s\). The graded subring consisting of all \(m\)-quasi-invariants is denoted by \(Q_m\). The aim of the paper under review is to study the Feigin-Veselov conjecture for the singular variety \(X_m=\text{Spec}(Q_m)\). In Lecture 1, ring theoretic properties of \(Q_m\) are given and its Poincaré series is studied, which shows that the Macaulayness of \(X_m\) implies the Gorensteinness. Lecture 2 is devoted to introduce the ideas of quasi-invariants in the theory of integrable systems and some tools in this area including the Baker-Akhieser functions. In Lecture 3, representations of the Cherednik algebra \(H_c\), which was introduced by Cherednik as a rational limit of his double affine Hecke algebra, are discussed. E. M. Opdam and R. Rouquier have studied the category \({\mathcal O}(H_C)\) (resp. \({\mathcal O}(eH_ce)\)) of certain \(H_c\)-modules (resp. \(eH_ce\)-modules), where \(e\) is an idempotent. They have shown that \(\mathcal C\) is simple, if the function \(c\) is generic in their sense. Finally, in this lecture, the Macaulayness of \(X_m\) is derived from this simplicity of \(\mathcal C\).