Essential dimension of symmetric groups in prime characteristic
The essential dimension $\operatorname{ed}_k(\operatorname{S}_n)$ of the symmetric group $\operatorname{S}_n$ is the minimal integer $d$ such that the general polynomial $x^n + a_1 x^{n-1} + \dots + a_n$ can be reduced to a $d$-parameter form by a Tschirnhaus transformation. Finding this number is a...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Académie des sciences
2024-07-01
|
| Series: | Comptes Rendus. Mathématique |
| Subjects: | |
| Online Access: | https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.577/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | The essential dimension $\operatorname{ed}_k(\operatorname{S}_n)$ of the symmetric group $\operatorname{S}_n$ is the minimal integer $d$ such that the general polynomial $x^n + a_1 x^{n-1} + \dots + a_n$ can be reduced to a $d$-parameter form by a Tschirnhaus transformation. Finding this number is a long-standing open problem, originating in the work of Felix Klein, long before essential dimension of a finite group was formally defined. We now know that $\operatorname{ed}_k(\operatorname{S}_n)$ lies between $\lfloor n/2 \rfloor $ and $n-3$ for each $n \geqslant 5$ and any field $k$ of characteristic different from $2$. Moreover, if $\operatorname{char}(k) = 0$, then $\operatorname{ed}_k(\operatorname{S}_n) \geqslant \lfloor (n+1)/2 \rfloor $ for any $n \geqslant 7$. The value of $\operatorname{ed}_k(\operatorname{S}_n)$ is not known for any $n \geqslant 8$ and any field $k$, though it is widely believed that $\operatorname{ed}_k(\operatorname{S}_n)$ should be $n-3$ for every $n \geqslant 5$, at least in characteristic $0$. In this paper we show that for every prime $p$ there are infinitely many positive integers $n$ such that $\operatorname{ed}_{\mathbb{F}_p}(\operatorname{S}_n) \leqslant n-4$. |
|---|---|
| ISSN: | 1778-3569 |