Related papers: Essential dimension in mixed characteristic

Given a finite smooth group scheme $G$ over a field of characteristic $p > 0$, we show that the essential dimension of $G$ at $p$ is $0$ when $p$ does not divide the order of $G$, and $1$ when it does.

Let $p$ be a prime integer, $k$ be a $p$-closed field of characteristic $\neq p$, $T$ be a torus defined over $k$, $F$ be a finite $p$-group, and $1\to T \to G \to F \to 1$ be an exact sequence of algebraic groups. Extending earlier work of…

We give upper bounds on the essential dimension of (quasi-)simple algebraic groups over an algebraically closed field that hold in all characteristics. The results depend on showing that certain representations are generically free. In…

In this paper we develop the theory of essential dimension of group schemes over an integral base. Shortly we concentrate over a local base. As a consequence of our theory we give a result of invariance of the essential dimension over a…

Let $p$ be a prime integer, $1\leq s\leq r$ integers, $F$ a field of characteristic $p$. Let $\cat{Dec}_{p^r}$ denote the class of the tensor product of $r$ $p$-symbols and $\cat{Alg}_{p^r,p^s}$ denote the class of central simple algebras…

We prove that if a finite group scheme $G$ over a field $k$ has essential dimension one, then it embeds in $PGL_{2/k}$. We use this to give an explicit classification of all infinitesimal group schemes of essential dimension one over any…

Let $G$ be a linear algebraic group over a field. We show that, under mild assumptions, in a family of primitive generically free $G$-varieties over a base variety $B$ the essential dimension of the geometric fibers may drop on a countable…

The essential dimension is a numerical invariant of an algebraic group G which may be thought of as a measure of complexity of G-torsors over fields. A recent theorem of N. Karpenko and A. Merkurjev gives a simple formula for the essential…

Let $X$ be a regular tame stack. If $X$ is locally of finite type over a field, we prove that the essential dimension of $X$ is equal to its generic essential dimension, this generalizes a previous result of P. Brosnan, Z. Reichstein and…

We compare the notions of essential dimension and stable cohomological dimension of a finite group G, prove that the latter is bounded by the length of any normal series with cyclic quotients for G, and show that, however, this bound is not…

We discuss essential dimension of group schemes, with particular attention to infinitesimal group schemes. We prove that the essential dimension of a group scheme of finite type over a field k is at least equal to the difference between the…

We propose a generalization of Ledet conjecture, which predicts the essential dimension of cyclic $p$-groups in characteristic $p$, for finite commutative unipotent group schemes. And we show some evidence and some consequences of this new…

The essential dimension $\operatorname{ed}_k({\rm S}_n)$ of the symmetric group ${\rm S}_n$ is the minimal integer $d$ such that the general polynomial $x^n + a_1 x^{n-1} + \ldots + a_n$ can be reduced to a $d$-parameter form by a…

For a finite group $G$, let $\text{rdim}(G)$ denote the smallest dimension of a faithful, complex linear representation of $G$. It is clear that $\text{rdim}(H)\leq \text{rdim}(G)$ for any subgroup $H$ of $G$. We consider $G$ with the…

The Pr\"ufer rank $\mathrm{rk}(G)$ of a profinite group $G$ is the supremum, across all open subgroups $H$ of $G$, of the minimal number of generators $\mathrm{d}(H)$. It is known that, for any given prime $p$, a profinite group $G$ admits…

Given a finite group $G$ and a prime $p$, let $\mathcal{A}_p(G)$ be the poset of nontrivial elementary abelian $p$-subgroups of $G$. The group $G$ satisfies the Quillen dimension property at $p$ if $\mathcal{A}_p(G)$ has non-zero homology…

The representation dimension of a finite group $G$ is the minimal dimension of a faithful complex linear representation of $G$. We prove that the representation dimension of any finite group $G$ is at most $\sqrt{|G|}$ except if $G$ is a…

A. Vistoli observed that, if Grothendieck's section conjecture is true and $X$ is a smooth hyperbolic curve over a field finitely generated over $\mathbb{Q}$, then $\underline{\pi}_{1}(X)$ should somehow have essential dimension $1$. We…

We obtain lower bounds for the maximum dimension of a simple FG-module, where G is a finite group and F is an algebraically closed field of characteristic p. The bounds are described in terms of properties of p-subgroups of G. When p is 2…

We study the essential dimension of a finite group G over a field K. A generalization of the central extension theorem of Buhler and Reichstein (Compositio Math. 106 (1997) 159-179, Theorem 5.3) is obtained. We also get lower bounds of…