Orbit spaces of Weyl groups acting on compact tori: a unified and explicit polynomial description

Evelyne Hubert (1, 2) , Tobias Metzlaff (3, 1, 2) , Cordian Riener (4)

1 CRISAM - Inria Sophia Antipolis - Méditerranée
2 UniCA - Université Côte d'Azur
3 University of Kaiserslautern [Kaiserslautern]
4 UiT - The Arctic University of Norway [Tromsø, Norway]

The Weyl group of a crystallographic root system has a nonlinear action on the compact torus. The orbit space of this action is a compact basic semi-algebraic set. We present a polynomial description of this set for the Weyl groups of type A, B, C, D and G. Our description is given through a polynomial matrix inequality. The novelty lies in an approach via Hermite quadratic forms and a closed formula for the matrix entries. The orbit space of the nonlinear Weyl group action is the orthogonality region of generalized Chebyshev polynomials. In this polynomial basis, we show that the matrices obtained for the five types follow the same, surprisingly simple pattern. This is applied to the optimization of trigonometric polynomials with crystallographic symmetries.

Mots clés: Semi-Algebraic Sets; Multiplicative Invariants; Weyl Groups; Orbit Spaces; Chebyshev Polynomials; Polynomial Matrix Inequalities

Domaines: Mathématiques [math]; Géométrie algébrique [math.AG]; Théorie des groupes [math.GR]

Evelyne Hubert, Tobias Metzlaff, Cordian Riener. Orbit spaces of Weyl groups acting on compact tori: a unified and explicit polynomial description. 2022. ⟨hal-03590007v3⟩