Generating formulas for finite reflection groups of the infinite series Sn, An, Bn and Dn

Abstract

Let W 82O(n) be a finite reflection group, p1(x),\u2026,pn(x), x 08Rn, be a basis of algebraically independent W-invariant real homogeneous polynomials, and p\uaf:Rn\u2192Rn:x\u2192(p1(x),\u2026,pn(x)) the orbit map, whose image S=p\uaf(Rn) 82Rn is diffeomorphic with the orbit space Rn/W. With the given basis of invariant polynomials it is possible to build an n 7n polynomial matrix, P\u2c6(p), p 08Rn, such that P\u2c6ab(p\uaf(x))= 07pa(x) c5 07pb(x), 00a,b=1,\u2026,n. It is known that P\u2c6(p) enables to determine S, and that the polynomial det(P\u2c6(p)) satisfies a system of n differential equations that depends on an n-dimensional polynomial vector \u3bb(p). If n is large, the explicit determination of P\u2c6(p) and \u3bb(p) are in general impossible to calculate from their definitions, because of computing time and computer memory limits. In this article, when W is one of the finite reflection groups of type Sn, An, Bn, Dn, 00n 08N, for given choices of the basis of W-invariant polynomials p1(x),\u2026,pn(x), generating formulas for P\u2c6(p) and \u3bb(p) are established. Proofs are based on induction principle and elementary algebra. Transformation formulas allow then to determine both the matrices P\u2c6(p\u2032) and the vectors \u3bb(p\u2032), corresponding to any other basis p\u20321(x),\u2026,p\u2032n(x), of W-invariant polynomials

    Similar works