Let $\Phi$ be an endomorphism of $\SR(\bar{\Q})$, the projective line over
the algebraic closure of $\Q$, of degree $\geq2$ defined over a number field
$K$. Let $v$ be a non-archimedean valuation of $K$. We say that $\Phi$ has
critically good reduction at $v$ if any pair of distinct ramification points of
$\Phi$ do not collide under reduction modulo $v$ and the same holds for any
pair of branch points. We say that $\Phi$ has simple good reduction at $v$ if
the map $\Phi_v$, the reduction of $\Phi$ modulo $v$, has the same degree of
$\Phi$.
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 dimension of its Lie algebra and its dimension. Furthermore, we
show that the essential dimension of a trigonalizable group scheme of length
p^{n} over a field of characteristic p>0 is at most n. We give several
examples.
Let R be a discrete valuation ring with residue field of characteristic p>0.
Let K be its fraction field. We prove that any finite and flat R-group scheme,
isomorphic to \mu_{p^2,K} on the generic fiber, is the kernel in a short exact
sequence which generically coincides with the Kummer sequence. We will
explicitly describe and classify such models. In the appendix X. Caruso shows
how to classify models of \mu_{p^2,K}, in the case of unequal characteristic,
using the Breuil-Kisin theory.