Some new Applications of Orbit Harmonics by

We prove a new result in the Theory of Orbit Harmonics and derive from it the Cohen Macauliness of the ring QIm(G) of m-Quasi-Invariants of a Coxeter Group G. Using the non-degeneracy of the fundamental bilinear form on QIm(G), this approach yields a direct and simple proof that the quotient of QIm(G) by the ideal generated by the homogeneous G-invariants affords a graded version of the left regular representation of G. These results are a consequence of a combination of work of Etingof-Ginzburg [3], Feigin-Veselov [6] and Felder-Veselov [5]. The arguments here are quite elementary and self contained except for what concerns the non-degeneracy of the fundamental bilinear form. Introduction Throughout this paper we let G be a finite reflection group of n×n matrices, Σ(G) will denote its class of reflections and for each s ∈ Σ(G) we choose once and for all a vector αs perpendicular to the reflecting hyperplane of s. In this manner the linear form giving the equation of this reflecting hyperplane is given by the scalar product (x, αs). This given, a polynomial P (x) = P (x1, x2, . . . , xn) is said to be G-m-Quasi-Invariant if and only if for all s ∈ Σ(G) the polynomial (1 − s)P (x) is divisible by (x, αs). It easily shown that G-m-Quasi-Invariants form a finitely generated Ginvariant graded subalgebra of the polynomial ring Q[Xn]. Denoting this algebra by QIm[G], we have the proper inclusions QI1[G] ⊃ QI2[G] ⊃ · · · ⊃ QIm[G] ⊃ · · · Clearly QI0[G] = Q[Xn] and QI∞[G] may be viewed as the algebra ΛG of G-invariant polynomials. Our goal here is to derive new proofs of some of the basic results on m-Quasi-Invariants by means of the Theory of Orbit Harmonics. More generally, using this theory we will prove the following two basic results. Theorem I.1 Let A be a degree-graded G-invariant subalgebra of Q[Xn] and suppose that (i) A ⊇ ΛG, (ii) For some non-trivial homogeneous G-invariant B(x) we have B(x)Q[Xn] ⊆ A, (iii) A has a G-invariant, non-degenerate, symmetric bilinear form 〈 , 〉 A , graded by degree † , (iv) The orthogonal complement HA, with respect to 〈 , 〉 A , of the ideal JG(A) generated in A by the homogeneous G-invariants has dimension bounded by the order of G. Then both HA and A/JG(A) afford the regular representation of G and A is free over ΛG. † Homogeneous elements of A of different degrees are orthogonal with respect to 〈 , 〉 A . Orbit Harmonics and m-Qusi-Invariants October 22, 2004 2 To state the next result we need to introduce further notation and make some preliminary observations. To begin we should note that within G-m-Quasi-Invariants we find m-analogues of all the ingredients that occur in the relationship between the polynomial ring Q[Xn] and the ring of invariants ΛG. For instance, let us recall that the space HG of “G-Harmonics” is defined as the orthogonal complement of the ideal JG generated by the homogeneous G-invariants. Now it is well known that for a Coxeter group G of n×n matrices ΛG is a free polynomial ring on n homogeneous generators q1(x), q2(x), . qn(x). It follows from this that we have HG = { P ∈ Q[Xn] : qk(∂x)P (x) = 0 ∀ k = 1, 2, . , n } I.1 where for a polynomial P (x) we set P (∂x) = P (∂x1 , ∂x2 , · · · , ∂xn). It is also shown in [11] that HG is the linear span of all the partial derivatives of the discriminant