Essential dimension of symmetric groups in prime characteristic

Edens, Oakley; Reichstein, Zinovy

Comptes Rendus. Mathématique, Tome 362 (2024) no. G6, pp. 639-647

The essential dimension ${ed}_k\left(S_n\right)$ of the symmetric group $S_n$ is the minimal integer $d$ such that the general polynomial $x^n+a_1{x}^{n-1}+\cdots +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 ${ed}_k\left(S_n\right)$ lies between $\lfloor n/2\rfloor$ and $n-3$ for each $n⩾5$ and any field $k$ of characteristic different from $2$. Moreover, if $char\left(k\right)=0$, then ${ed}_k\left(S_n\right)⩾\lfloor (n+1)/2\rfloor$ for any $n⩾7$. The value of ${ed}_k\left(S_n\right)$ is not known for any $n⩾8$ and any field $k$, though it is widely believed that ${ed}_k\left(S_n\right)$ should be $n-3$ for every $n⩾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 ${ed}_{{𝔽}_p}\left(S_n\right)⩽n-4$.

La dimension essentielle ${ed}_k\left(S_n\right)$ du groupe symétrique $S_n$ est le plus petit entier $d$ permettant de réduire le polynôme général $x^n+a_1{x}^{n-1}+\cdots +a_n$ à une forme comportant $d$ paramètres par une transformation de Tschirnhaus. La détermination de cette valeur est un problème ouvert depuis longtemps, remontant aux recherches de Felix Klein, bien avant que la dimension essentielle d’un groupe fini ne soit formellement définie. Nous savons que ${ed}_k\left(S_n\right)$ se situe entre $\lfloor n/2\rfloor$ et $n-3$ pour tout entier $n⩾5$ et tout corps $k$ de caractéristique autre que $2$. De plus, si $char\left(k\right)=0$, on sait que ${ed}_k\left(S_n\right)⩾\lfloor (n+1)/2\rfloor$ pour tout $n⩾7$. La valeur de ${ed}_k\left(S_n\right)$ est inconnue dès que $n⩾8$ ceci quelque soit le corps $k$ ; bien qu’on estime généralement que ${ed}_k\left(S_n\right)$ devrait être $n-3$ pour tout $n⩾5$, au moins en caractéristique $0$. Nous démontrons que pour tout nombre premier $p$, il existe une infinité d’entiers positifs $n$ tels que ${ed}_{{𝔽}_p}\left(S_n\right)⩽n-4$.

Classification : 12E05, 14G17, 14L30, 14E05
Keywords: Essential dimension, symmetric group, general polynomial, group action on an algebraic variety, positive characteristic
Mots-clés : Dimension essentielle, groupe symétrique, polynôme général, action d’un groupe sur une variété algébrique, caractéristique positive

[1] Berhuy, Grégory; Favi, Giordano Essential dimension: a functorial point of view (after A. Merkurjev), Doc. Math., Volume 8 (2003), pp. 279-330 | Zbl | DOI | MR

[2] Bourbaki, Nicolas Éléments de mathématique. XI. Première partie: Les structures fondamentales de l’analyse. Livre II: Algèbre. Chapitre IV: Polynomes et fractions rationnelles. Chapitre V: Corps commutatifs, Actualités Scientifiques et Industrielles, 1102, Hermann, 1950, ii+219+iii pages | MR | Numdam

[3] Brassil, Matthew; Reichstein, Zinovy The Hermite-Joubert problem over $p$-closed fields, Algebraic groups: structure and actions (Proceedings of Symposia in Pure Mathematics), Volume 94, American Mathematical Society, 2017, pp. 31-51 | MR | Zbl

[4] Buhler, Joe; Reichstein, Zinovy On the essential dimension of a finite group, Compos. Math., Volume 106 (1997) no. 2, pp. 159-179 | Zbl | DOI | MR

[5] Brosnan, Patrick; Reichstein, Zinovy; Vistoli, Angelo Essential dimension in mixed characteristic, Doc. Math., Volume 23 (2018), pp. 1587-1600 | MR | DOI | Zbl

[6] Duncan, Alexander Essential dimensions of $A_7$ and $S_7$, Math. Res. Lett., Volume 17 (2010) no. 2, pp. 263-266 | DOI | MR | Zbl

[7] Elman, Richard; Karpenko, Nikita; Merkurjev, Alexander The algebraic and geometric theory of quadratic forms, Colloquium Publications, 56, American Mathematical Society, 2008, viii+435 pages | DOI | MR

[8] Klein, Felix Lectures on the icosahedron and the solution of equations of the fifth degree, Dover Publications, 1956, xvi+289 pages (English translation of Vorlesungen über das Ikosaeder und die Auflösung der Gleichungen vom 5ten Grade, 1884) | MR

[9] Ledet, Arne Finite groups of essential dimension one, J. Algebra, Volume 311 (2007) no. 1, pp. 31-37 | DOI | MR | Zbl

[10] Merkurjev, Alexander S. Essential dimension: a survey, Transform. Groups, Volume 18 (2013) no. 2, pp. 415-481 | DOI | MR | Zbl

[11] Pfister, Albrecht Quadratic forms with applications to algebraic geometry and topology, London Mathematical Society Lecture Note Series, 217, Cambridge University Press, 1995, viii+179 pages | DOI | MR

[12] Reichstein, Zinovy Essential dimension, Proceedings of the International Congress of Mathematicians. Volume II, Hindustan Book Agency (2010), pp. 162-188 | MR | Zbl

[13] Reichstein, Zinovy; Scavia, Federico The behavior of essential dimension under specialization, Épijournal de Géom. Algébr., EPIGA, Volume 6 (2022), 21, 28 pages | MR | Zbl

[14] Tschebotaröw, Nikolaĭ G. The problem of resolvents and critical manifolds, Izv. Akad. Nauk SSSR, Ser. Mat., Volume 7 (1943), pp. 123-146 | MR | Zbl

[15] Wielandt, Helmut Finite permutation groups, Academic Press Inc., 1964, x+114 pages (Translated from the German by R. Bercov) | MR

[16] Zhang, De-Qi The $g$-periodic subvarieties for an automorphism $g$ of positive entropy on a compact Kähler manifold, Adv. Math., Volume 223 (2010) no. 2, pp. 405-415 | DOI | MR | Zbl