Essential dimension of finite groups in prime characteristic (Q1747398): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.1016/j.crma.2018.03.013 / rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.CRMA.2018.03.013 / rank | |||
Normal rank |
Latest revision as of 07:51, 11 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Essential dimension of finite groups in prime characteristic |
scientific article |
Statements
Essential dimension of finite groups in prime characteristic (English)
0 references
8 May 2018
0 references
Let $G$ be an algebraic group over a field $F$. Let $K/F$ be a field extension and $\tau: T \to \mathrm{Spec}(K)$ a $G$-torsor. The essential dimension $\mathrm{ed}_F(\tau)$ is the smallest value of the transcendence degree of a field extension $K_0/F$ such that $\tau$ descends to $K_0$. The essential dimension $\mathrm{ed}_F(G)$ is then the maximal value of $\mathrm{ed}_F(\tau)$ as $K$ ranges over all fields containing $F$ and $\tau$ ranges over all $G$-torsors $T \to \mathrm{Spec}(K)$. \par The essential dimensions of finite groups over fields of characteristic $p > 0$ are mostly unknown. For a fixed prime $p$ one can alternatively consider the essential dimension $\mathrm{ed}_F(G;p)$ of $G$ at $p$ in which case we consider only fields $K$ in the definition which are $p$-closed. The main theorem of this article is that for a field $F$ of characteristic $p > 0$ and $G$ a smooth finite algebraic group $\mathrm{ed}_F(G;P) = 1$ if $p$ divides $|G|$ and $0$ else. On the other hand it was conjectured by \textit{A. Ledet} [Dev. Math. 11, 159--172 (2004; Zbl 1062.12003)] that $\mathrm{ed}_F(\mathbb{Z}/p^r \mathbb{Z})= r$. \par The proof consists of a number of reductions. Let $G$ be a smooth finite algebraic group. It is known that if $G' \subset G$ is a subgroup of index prime to $p$, $\mathrm{ed}_F(G;p) = \mathrm{ed}_F(G',p)$. If $p$ does not divide $|G|$, then $G' = \{1\}$ yields $\mathrm{ed}_F(G;p) = 0$. It is also known that $\mathrm{ed}_F(G;p) \geq 1$ if $p$ divides $|G|$. The authors therefore have to show $\mathrm{ed}_F(G;p) \leq 1$. If $G$ is a smooth finite algebraic group, $G = {}^{\tau}\Gamma$ where $\Gamma$ is a constant algebraic group and $\tau$ a cocycle in $H^1(F,A)$ where $A$ is the automorphism group of $\Gamma$. Then $\mathrm{ed}_F(G;p) \leq \mathrm{ed}_F(\Gamma \ltimes A;p)$, and hence the main theorem is reduced to the case where $G$ is a constant finite group. \par The essential dimension $\mathrm{ed}_F(G;p)$ is bounded from above by the dimension $\dim(X)$ of a faithful geometrically irreducible $G$-variety $X$ with a smooth $G$-fixed $F$-point. The main theorem is then a consequence of Lemma 3 which asserts that for every constant $p$-group there exists a faithful $G$-curve defined over $\mathbb{F}_p$ with a smooth $G$-fixed $\mathbb{F}_p$-point. \par As an application the authors discuss the following. If $G$ is a connected reductive group over $F$, then there exists an $F$-subgroup $S \subset G$ such that $H^1(K,S) \to H^1(K,G)$ is surjective for every field $K$ containing $F$. It follows from the main theorem that $S$ cannot be smooth if $F$ is algebraically closed of characteristic $p > 0$ and $p$ is a torsion prime for $G$.
0 references
essential dimension
0 references
G-torsor
0 references
versality
0 references
0 references
0 references