Constructively describing orbit spaces of finite groups by few inequalities

2024/07/11 by Philippe Moustrou, Cordian Riener, Moustrou, Philippe +3
Mathematics · Engineering · #Finite Group Theory Research #graph theory and CDMA systems #Geometric and Algebraic Topology

paper · pdf · doi:10.48550/arxiv.2407.08339

Abstract

Let G be a finite group acting linearly on ℝⁿ. A celebrated Theorem of Procesi and Schwarz gives an explicit description of the orbit space ℝⁿ / /G as a basic closed semi-algebraic set. We give a new proof of this statement and another description as a basic closed semi-algebraic set using elementary tools from real algebraic geometry. Bröcker was able to show that the number of inequalities needed to describe the orbit space generically depends only on the group G. Here, we construct such inequalities explicitly for abelian groups and in the case where only one inequality is needed. Furthermore, we answer an open question raised by Bröcker concerning the genericity of his result.

Related

• Abelian quotients and orbit sizes of finite groups
• Orbit Equivalence and Measured Group Theory
• Regular orbits of finite primitive solvable groups, the final classification
• Building prescribed quantitative orbit equivalence with the group of integers
• On the orbits of a finite solvable primitive linear group