On the choice of a basis of invariant polynomials of a Finite Reflection Group. Generating Formulas for $\widehat P$-matrices of groups of the infinite series $S_n$, $A_n$, $B_n$ and $D_n$
Preprint
Abstract
Let $W$ be a rank $n$ irreducible finite reflection group and let $p_1(x),\ldots,p_n(x)$, $x\in\mathbb{R}^n$, be a basis of algebraically independent $W$-invariant real homogeneous polynomials. The orbit map $\overline p:\mathbb{R}^n\to\mathbb{R}^n:x\to (p_1(x),\ldots,p_n(x))$ induces a diffeomorphism between the orbit space $\mathbb{R}^n/W$ and the set ${\cal S}=\overline p(\mathbb{R}^n)\subset\mathbb{R}^n$. The border of ${\cal S}$ is the $\overline p$ image of the set of reflecting hyperplanes of $W$. With a given basic set of invariant polynomials it is possible to build an $n\times n$ polynomial matrix, $\widehat P(p)$, $p\in\mathbb{R}^n$, sometimes called $\widehat P$-matrix, such that $\widehat P_{ab}(p(x))=\nabla p_a(x)\cdot \nabla p_b(x)$, $\forall\,a,b=1,\ldots,n$. The border of ${\cal S}$ is contained in the algebraic surface $\det(\widehat P(p))=0$, sometimes called discriminant, and the polynomial $\det(\widehat P(p))$ satisfies a system of differential equations that depends on an $n$-dimensional polynomial vector $\lambda(p)$. Possible applications concern phase transitions and singularities. If the rank $n$ is large, the matrix $\widehat P(p)$ is in general difficult to calculate. In this article I suggest a choice of the basic invariant polynomials for all the reflection groups of type $S_n$, $A_n$, $B_n$, $D_n$, $\forall\,n\in \mathbb{N}$, for which I give generating formulas for the corresponding $\widehat P$-matrices and $\lambda$-vectors. These $\widehat P$-matrices can be written, almost completely, as sums of block Hankel matrices. Transformation formulas allow to determine easily both the $\widehat P$-matrix and the $\lambda$-vector in any other basis of invariant polynomials. Examples of transformations into flat bases, $a$-bases, and canonical bases, are considered.
Keywords
All Related Versions
This publication has 33 references indexed in Scilit:
- Basic Invariants of Finite Reflection GroupsJournal of Algebra, 1997
- Universality in orbit spaces of compact linear groupsCommunications in Mathematical Physics, 1991
- Homogeneous K hler manifolds: Paving the way towards new supersymmetric sigma modelsCommunications in Mathematical Physics, 1986
- Inequalities defining orbit spacesInventiones Mathematicae, 1985
- The geometry of spontaneous symmetry breakingAnnals of Physics, 1983
- Lifting smooth homotopies of orbit spacesPublications mathématiques de l'IHÉS, 1980
- Displacement of invariants of groups that are generated by reflections and are connected with simple singularities of functionsFunctional Analysis and Its Applications, 1980
- Wave front evolution and equivariant Morse lemmaCommunications on Pure and Applied Mathematics, 1976
- Normal forms for functions near degenerate critical points, the Weyl groups of Ak, Dk, Ek and Lagrangian singularitiesFunctional Analysis and Its Applications, 1972
- Conjugacy classes in the Weyl groupLecture Notes in Mathematics, 1970