9d443b128ec7c4f4.tex
1: \begin{abstract}
2:   Let $G$ be a finite group, and let $R$ be a discrete valuation ring
3:   with residue field $k$ and fraction field $K$.  We say that $G$ is
4:   weakly tame at a prime $p$ if it has no non-trivial normal
5:   $p$-subgroups. By convention, every finite group is weakly tame at
6:   $0$.
7:   Using this definition, we show that
8:   if $G$ is weakly tame at $\cha(k)$, then
9:   $\ed_K(G) \geqslant \ed_k(G)$. Here $\ed_F(G)$ denotes the essential
10:   dimension of $G$ over the field $F$. We also prove a more general
11:   statement of this type, for a class of \'etale gerbes $\cX$ over
12:   $R$.
13: 
14: As a corollary, we show that if $G$ is weakly tame at $p$, then $\ed_{L} G  \geqslant \ed_{k} G$ for any field $L$ of characteristic $0$ 
15: and any field $k$ of characteristic $p$, provided that $k$ contains $\overline{\FF}_{p}$. We also show that a conjecture of A.~Ledet, asserting that
16: $\ed_k(\ZZ/p^n \ZZ) = n$ for a field $k$ of characteristic $p > 0$ implies that $\ed_{\CC}(G) \geqslant n$ for any finite group $G$ which 
17: is weakly tame at $p$ and contains an element of order $p^n$. We give a number of examples, where an unconditional proof of the last inequality is
18: out of the reach of all presently known techniques. 
19: \end{abstract}
20: