Constructively describing orbit spaces of finite groups by few inequalities
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913427067240448 |
|---|---|
| author | Moustrou, Philippe Riener, Cordian Schabert, Robin |
| author_facet | Moustrou, Philippe Riener, Cordian Schabert, Robin |
| contents | Let $G$ be a finite group acting linearly on $\mathbb{R}^n$. A celebrated Theorem of Procesi and Schwarz gives an explicit description of the orbit space $\mathbb{R}^n /\!/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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_08339 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Constructively describing orbit spaces of finite groups by few inequalities Moustrou, Philippe Riener, Cordian Schabert, Robin Algebraic Geometry Let $G$ be a finite group acting linearly on $\mathbb{R}^n$. A celebrated Theorem of Procesi and Schwarz gives an explicit description of the orbit space $\mathbb{R}^n /\!/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. |
| title | Constructively describing orbit spaces of finite groups by few inequalities |
| topic | Algebraic Geometry |
| url | https://arxiv.org/abs/2407.08339 |