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

TL;DR

This paper provides a unified polynomial description of the orbit spaces of Weyl groups acting on compact tori, using Hermite quadratic forms and matrix inequalities, with applications to polynomial optimization.

Contribution

It introduces a novel approach via Hermite quadratic forms and explicit formulas for polynomial matrix inequalities for Weyl groups of types A, B, C, D, and G.

Findings

Polynomial matrix inequalities describe orbit spaces for all five Weyl group types.

Matrices follow a simple, universal pattern across different types.

Application to optimizing symmetric trigonometric polynomials.

Abstract

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.