\section{Introduction}
Throughout this paper all graphs and digraphs are loopless.
The vertex set and the edge set of a digraph $D$ are denoted by $V(D)$ and $E(D)$
respectively. This digraph is called \emph{strict} if for any two
distinct vertices $u$ and $v$ of $D$, there is at most one edge from $u$ to $v$.
All digraphs in this paper are assumed to be strict. A digraph is called
\emph{digon-free} if it has no directed cycle of length $2$.
An {\it acyclic} vertex set of a digraph $D$ is a
subset $S$ of $V(D)$ such that the induced subdigraph of $D$ on $S$ has no
directed cycle. The maximum size of an acyclic vertex set of $D$ is called
the {\it independence number} of $D$ and is denoted by $\alpha(D)$.
A {\it proper $k$-coloring} of $D$ is a partition of the vertex set of $D$
into at most $k$ acyclic subsets. The minimum integer $k$ for which $D$ has a
proper $k$-coloring is called the {\it chromatic number} of $D$ and is denoted by
$\chi(D)$. This definition for the coloring of digraphs was first appeared
in \cite{NEU}. The independence and chromatic number of the undirected graph
$G$ is also denoted by $\alpha(G)$ and $\chi(G)$, respectively.
It turns out that the number of proper $k$-colorings of $D$ is a
polynomial in $k$ \cite{HARUT} which is called the {\it chromatic polynomial} of
$D$ and is denoted by $P(D;k)$.
In what follows, $N^+(v)$ and $N^-(v)$ denote the set of out-neighbors and the
set of in-neighbors
of $v$ and their cardinalities are called the {\it in-degree}
and the {\it out-degree} of
$v$, respectively.
The {\it girth} of a digraph is defined as the length of its shortest
directed cycle.

Section $2$ is about the independence number of digraphs and some lower bounds
on that number. In particular, we find a lower bound for the independence
number of digraphs which is similar to a well-known
bound for graphs proved in \cite{CARO1} and \cite{WEI}. Moreover, we find
another lower bound for the independence number of a digraph,
in terms of its girth and number of induced cycles.

In Section $3$ we investigate various upper bounds on the chromatic number
of digraphs. Note that a trivial upper bound for the chromatic number
of a digraph with underlying graph $G$ is $\chi(G)$. We show that
the equality holds for some digraphs.
In \cite{GOLO} Golowich proved that for any digraph $D$,
$\chi(D)\leq \lceil \frac{5k}{2} \rceil+2$,
where $k=max(\Delta^+(D),\Delta^-(D))$.
Also in \cite{CHEN}, an upper bound for the chromatic number of digraphs
with some forbidden cycle lengths is given. Here we give short and simple
proofs for these two results.
Moreover, we give a new upper bound for the chromatic number in terms of
the girth.

The dichromatic polynomial of digraphs is the subject of Section $4$.
We give an interpretation for some coefficients of this polynomial, and
determine the tournament which has the maximum number of proper $k$-colorings
for every $k$ between all strongly connected tournaments with $n$ vertices.
\section{Lower Bounds on the Independence Number}

Caro \cite{CARO1} and Wei \cite{WEI} found the following lower bound
for the independence number of a graph.

\begin{thm}{\label{INDMAIN}}
 Let $G$ be a graph and $d_1,\ldots,d_n$ be the degree sequence
 of $G$. Then the following inequality holds:
  \begin{displaymath}
  \alpha(G)\geq \sum_{i=1}^n \frac{1}{1+d_i}
 \end{displaymath}
\end{thm}

A probabilistic proof of this result can be found in \cite{ALON}.
In \cite{CARO2} and \cite{THIELE}, this result
has been generalized to hypergraphs.

Here we prove an analogous inequality for the independence number of  a digraph.

\begin{thm}\label{indep1}
 Let $D$ be a digraph with the vertex set $\{v_1,\ldots,v_n\}$,
 and let $d_i,d_i^+,d_i^-$, $i=1,\ldots,n$, be the degree,
 the out-degree and the in-degree of $v_i$, respectively.
 Then the following inequality holds:
 \begin{displaymath}
  \alpha(D)\geq \sum_{i=1}^n \left( \frac{1}{1+d_i^+} + \frac{1}{1+d_i^-}
  - \frac{1}{1+d_i}\right)
 \end{displaymath}
\end{thm}
\begin{proof}
 Choose $\sigma \in S_n$ uniformly at random. For $i=1,\ldots,n$, let $A_i$
 be the event that for $j=1,\ldots,n$, if $v_{\sigma(j)}\in N^+(v_i)$, then
 $\sigma(j)>i$. In other words, if we arrange $v_{\sigma(1)},\ldots,
 v_{\sigma(n)}$ on a line from left to the right, then $A_i$ is the event
 that all of the out-neighbors of $v_i$ lie on the right of $v_i$.
 Similarly, let $B_i$ be the event
 that for $j=1,\ldots,n$, if $v_{\sigma(j)}\in N^-(v_i)$, then
 $\sigma(j)>i$. It is not hard to see that:
 $$\Pr(A_i)=\frac{1}{1+d_i^+},\,\,\,\Pr(B_i)=\frac{1}{1+d_i^-},$$
 $$\Pr(A_i\cap B_i)=\frac{1}{1+d_i},$$
 and thus, by the principle of inclusion and exclusion:
 $$\Pr(A_i\cup B_i)=\frac{1}{1+d_i^+} + \frac{1}{1+d_i^-}
  - \frac{1}{1+d_i}.$$
  Now, let $X_i$ be the indicator random variable of $A_i\cup B_i$ (that is,
  $X_i=1$ if $A_i\cup B_i$ occurs and $X_i=0$ otherwise). If $S_\sigma$ is
  the set of
  all $1\leq i\leq n$ such that $A_i\cup B_i$ occurs, then
  $|S_\sigma|=\sum_{i=1}^nX_i$. So we have the following,

  $$\mathbb{E}(|S_\sigma|)=\sum_{i=1}^n\mathbb{E}(X_i)
  =\sum_{i=1}^n\Pr(A_i\cup B_i),$$

  which implies that,

  $$\mathbb{E}(|S_{\sigma}|)=\sum_{i=1}^n \left( \frac{1}{1+d_i^+} + \frac{1}{1+d_i^-}
  - \frac{1}{1+d_i}\right).$$

  Thus, there is a $\sigma \in S_n$ for which

  $$|S_\sigma|\geq\sum_{i=1}^n \left( \frac{1}{1+d_i^+} + \frac{1}{1+d_i^-}
  - \frac{1}{1+d_i}\right).$$

  Now, to complete the proof, it suffices to show that for
  each $\sigma$, $\{v_i: i\in S_\sigma\}$ is an acyclic subset of
  the vertices of $D$.
  Assume on the contrary that there is a cycle $C$ between
  the vertices in $\{v_i: i\in S_\sigma\}$. Let $i$ be the largest
  integer that $v_i$
  is a vertex of $C$ (that is, $v_i$ is the right-most vertex
  of $C$ in the random order of the vertices of $D$). Since $C$ is a cycle,
  there are two vertices $v_{\sigma(j)}$ and $v_{\sigma(k)}$ in $V(C)$
  such that $v_{\sigma(j)}\in N^+(v_i)$ and
  $v_{\sigma(k)}\in N^-(v_i)$. Since $v_{\sigma(j)}\in N^+(v_i)$ and
  $\sigma(j)<i$, $A_i$ does not occur, and similarly,
  since $v_{\sigma(k)}\in N^-(v_i)$
  and $\sigma(k)<i$, $B_i$ does not occur. But since $i\in S_\sigma$, at least
  one of the $A_i$ and $B_i$ should occur, which is a contradiction.
\end{proof}

Using this theorem, one can obtain some lower bounds for the independence
number of a digraph which is completely
determined by the underlying graph.

\begin{cor}\label{indep2}
 Let $D$ be a digraph with $n$ vertices and $m$ edges, and let
 $d_1,\ldots,d_n$ be the degrees of vertices of the underlying graph
 of $D$. Then
 \begin{itemize}
  \item[(i)] $\alpha(D)\geq{\displaystyle \sum_{i=1}^n
  \frac{3d_i+2}{(d_i+1)(d_i+2)}}$,
  \item[(ii)] If $D$ has no isolated vertices and $k=\frac{m}{n}$, then
  $\alpha(D)\geq \frac{n}{\frac{2k}{3}+1}$

 \end{itemize}
\end{cor}

\begin{proof}

(i) If $d_i^+$ and $d_i^-$ denote the out-degree and the in-degree
  of the $i$th vertex, then
    $$\frac{1}{1+d_i^+}+\frac{1}{1+d_i^-}\geq\frac{2}{1+\frac{d_i^++d_i^-}{2}}
    =\frac{4}{2+d_i}$$
    and applying Theorem \ref{INDMAIN} yields the first part.
(ii) For any real number $x\geq 1$ define:
    $$f(x)=\frac{4}{x+2}-\frac{1}{x+1}=
    \frac{3x+2}{(x+1)(x+2)}.$$
    Since for $x\geq 1$
    $$f''(x)=\frac{8}{(x+2)^3}-\frac{2}{(x+1)^3}\geq0,$$
    $f$ is convex and thus,
    $$\sum_{i=1}^n\frac{3d_i+2}{(d_i+1)(d_i+2)}=\sum_{i=1}^nf(d_i)
    \geq nf\left(\frac{\sum_{i=1}^nd_i}{n}\right)=nf(\frac{2m}{n}).$$
    This inequality together with the previous part, gives the following,
    $$\alpha(D)\geq n\frac{3k+1}{(k+1)(2k+1)} \geq \frac{n}{\frac{2k}{3}+1}$$
    which completes the proof.
\end{proof}

In \cite{HARUT}, it is conjectured that for a digon-free digraph $D$,
$\chi(D) \leq \lceil \frac{\tilde{\Delta}}{2} \rceil +1$, where
$\tilde{\Delta}=max\{\sqrt{d^+(v)d^-(v)} | v \in V(D)\}$. If this conjecture is
true, then $\alpha(D)\geq \frac{n}{\lceil \frac{\tilde{\Delta}}{2} \rceil +1}$.
In the next corollary, a weaker result about the independence number is proved.

\begin{cor}\label{indep3}
 Let $D$ be a digon-free digraph. Then
 $\alpha(D) \geq \frac{n}{\frac{2\tilde{\Delta}}{3} +1}$.
\end{cor}

\begin{proof}
 Let $V(D)=\{v_1,\ldots,v_n\}$ and $d^+_i=d^+(v_i)$, $d^-_i=d^-(v_i)$ and
 $d_i=d^+_i+d^-_i$, $p_i=d^+_id^-_i$. We have the following,
 \begin{eqnarray*}
  \frac{1}{1+d^+_i}+\frac{1}{1+d^-_i}-\frac{1}{1+d_i}&=&
  \frac{2+d_i}{1+d_i+p_i}-\frac{1}{1+d_i}.
 \end{eqnarray*}

 It can be seen that the above expression is an increasing function of $d_i$
 (for a fixed $p_i$), thus, since $d_i\geq 2\sqrt{p_i}$,
 \begin{eqnarray*}
  \frac{1}{1+d^+_i}+\frac{1}{1+d^-_i}-\frac{1}{1+d_i}&\geq&
  \frac{2+2\sqrt{p_i}}{1+2\sqrt{p_i}+p_i}-\frac{1}{1+2\sqrt{p_i}}\\&=&
  \frac{1+3\sqrt{p_i}}{(1+\sqrt{p_i})(1+2\sqrt{p_i})}.
 \end{eqnarray*}

Now, the above expression is a decreasing function of $p_i$, and since
$\tilde{\Delta}=max\{\sqrt{p_i} | i=1,\ldots,n\}$, we find the following,
 \begin{eqnarray*}
  \frac{1}{1+d^+_i}+\frac{1}{1+d^-_i}-\frac{1}{1+d_i}&\geq&
  \frac{1+3\tilde{\Delta}}{(1+\tilde{\Delta})(1+2\tilde{\Delta})}\\&\geq&
  \frac{1}{ \frac{2\tilde{\Delta}}{3} +1}.
 \end{eqnarray*}

This inequality and the Corollary \ref{indep2} gives the result.
\end{proof}

In the next theorem we give a lower bound on the independence number of a
digraph in terms of its girth and the number of induced cycles. Note that
a subset of vertices of a digraph is acyclic if and only if it
contains no induce cycles.
\begin{thm}
 Let $D$ be a digraph with $n$ vertices and girth $g$, and let $t$ be the
 number of induced directed cycles of $D$. If $tg\geq n$ then
 $$\alpha(D)\geq\frac{g-1}{g}\left(\frac{n^g}{tg}\right)^{\frac{1}{g-1}}$$
\end{thm}

\begin{proof}
 Let $C_1,\ldots,C_t$ be all of the induced cycles in $D$.
 Let $p$ be any number in $[0,1]$. Choose a random subset $S$ of $V(D)$,
 such that for each $v\in V(D)$, $\Pr(v\in S)=p$.
 Let $Y$ be the number of induced cycles in $D[S]$.
 For each $i=1,\ldots,t$, the probability that $V(C_i)\subseteq S$ is
 $p^{|V(C_i)|}$, so
 $$E(Y)=\sum_{i=1}^tp^{|V(C_i)|}\leq tp^g.$$
 Thus $E(|S|-Y|)\geq np-tp^g$. So there is a subset $S$ of vertices such that
 after removing one vertex of each induced cycle in $D[S]$, at least
 $np-tp^g$ vertices remain. But the remaining vertices constitute an acyclic
 set and so we have $\alpha(D)\geq np-tp^g$, for each $p\in[0,1]$.
 Since $tg\geq n$ we can set $p=\left(\frac{n}{tg}\right)^{\frac{1}{g-1}}$
 which gives the desired result.
\end{proof}

\begin{cor}
 If $T$ is a tournament with $n$ vertices and $t$ directed triangles
 such that $n\geq 3t$, then
 $\alpha(T)\geq \displaystyle \frac{2}{3}n\sqrt{\frac{n}{3t}}$
\end{cor}

\begin{proof}
 In a tournament, induced directed cycles are directed triangle and the result
 follows from the previous theorem.
\end{proof}

\section{Bounds on the Chromatic Number}
There are some known bounds for the chromatic number of digraphs, see
\cite{HARUT,HARUT2,HARUT3,MOHAR,GOLO,CHEN}. Here we show new bounds for
the chromatic number and give simpler proofs for some known results.

It is obvious that if $D$ is any orientation of the graph $G$ with
chromatic number $k$, then $\chi(D)\leq k$. We show that this bound
is tight for every $k$.
\begin{lem}\label{AWESOME}
 Let $n\geq 10$ and $t\geq 3\log_2n$ be two positive integers.
 Then there exists an orientation of $K_{n,n}$ such that each
 of its $K_{t,t}$-subdigraph has a
 directed cycle.
\end{lem}

 \begin{proof}
  Let $X,Y$ be two parts of $K_{n,n}$.
  Let $D$ be a random orientation of $G$. For each $I\subseteq X$ and
  $J\subseteq Y$ with $|I|=|J|=t$, let $A_{I,J}$ be the event that the induced
  subdigraph of $D$ on $I\cup J$ is acyclic. Since an acyclic orientation
  of a digraph gives an ordering of its vertices, we find that
  $$\Pr(A_{I,J})\leq \frac{(2t)!}{2^{t^2}}.$$
  So
  $$\Pr(\bigcup_{I,J}A_{I,J})\leq
  \binom{n}{t}^2 \frac{(2t)!}{2^{t^2}}<
  \frac{n^{2t}(2t)!}{2^{t^2}(t!)^2}\leq
  \frac{n^{2t}t^t}{2^{t^2}}.$$
  On the other hand, by the assumption
  $$ \frac{n^{2t}t^t}{2^{t^2}}\leq
  \frac{2^{2t^2/3}2^{tlog_2t}}{2^{t^2}}<1.$$
  Thus there is an orientation of $G$ such that no $A_{I,J}$ occurs,
  and the proof is complete.
 \end{proof}
\begin{thm}
 For any positive integer $k$, there exists a graph $G$ with an orientation
 $D$ such that $\chi(D)=\chi(G)=k$.
\end{thm}

\begin{proof}
Let $n,t$ be two positive integers that satisfy $n>(k-1)t$ and
$t\geq 3\log_2n$.
 Let $G$ be the complete $k$-partite graph with parts
 $X_1,\ldots,X_k$ such that the size of
 each part is $n$. For each $i\neq j$, by
 Lemma \ref{AWESOME}, we can orient the edges between $X_i$
 and $X_j$, in such a way that each $K_{t,t}$-subdigraph of
 $G[X_i\cup X_j]$ has a directed cycle. Denote the resulting orientation
 of $G$ by $D$.
 We claim that $\chi(D)=k$.
 Assume on the contrary
 that $D$ has a proper $(k-1)$-coloring. Since  $n>(k-1)t$,
 in each part there are at least $t$ vertices that receive the same
 color. For each $i=1\ldots,k$, let $c_i$ be the color that is appeared on
 maximum number of vertices of $X_i$. Since there are $k$ colors, there
 are $i\neq j$ such that $c_i=c_j$. But there are $A\subseteq X_i$
 and $B\subseteq X_j$ such that $|A|,|B|\geq t$ and all vertices of $A$
 have color $c_i$ and all vertices of $B$ have color $c_j$. By our
 choice of orientation, $D[A\cup B]$ has a directed cycle, a contradiction.
\end{proof}

Now, we present another upper bound for the chromatic number of a digraph.
In \cite{HARUT}, it is proved that for any digraph $D$,
$\chi(D)\leq min\{\Delta^+(D),\Delta^-(D)\} +1$. Also they have
proposed the following conjecture.
\begin{conj}
 For every $k$-regular digraph $D$,
we have $\chi(D) \leq \lceil \frac{k}{2} \rceil + 1$.
\end{conj}

In \cite{GOLO} they proved that If $D$ is a digraph and
$k=max\{\Delta^+(D),\Delta^-(D)\}$, then $\chi(D) \leq [\frac{4k}{5}]+2$.
We provide a shorter and easier proof for this theorem.

\begin{thm}
If $D$ is a digraph and $k=max\{\Delta^+(D),\Delta^-(D)\}$, then
$\chi(D) \leq [\frac{4k}{5}]+2$.
\end{thm}

\begin{proof}
Let $t=\lceil\frac{2k +1}{5}\rceil$.
Partition the vertices of $D$ into $t$ parts such that the number of edges
between these parts is maximum possible.
Now, we claim that every vertex at most $4$ neighbors in its part.
To see this, note that if the number of neighbors of a vertex in
its part is at least $5$,
then its degree in one of the other parts should be at most $4$.
So one may change the part of this vertex and make the number of
edges between parts larger, which is impossible.
Thus, by Theorem 2.3 of \cite{MOHAR}, we can color the vertices of each part with
just $2$ colors.
So we can color all vertices of $D$ with
$2t=2\lceil\frac{2k +1}{5}\rceil \leq [\frac{4k}{5}]+2$
colors such that the subdigraph of each color is acyclic.
\end{proof}

\begin{thm}
Let $D$ be a digraph with girth $g$ and $n$ vertices. Then $\chi(D) \leq [\frac{n-1}{g-1}]+1$.
\end{thm}
\begin{proof}
Let $v_1,v_2,...,v_n$ be the vertices of $D$ and $k=[\frac{n-1}{g-1}]+1$. Color the vertices with $k$ colors from $v_1$ to $v_n$. For each vertex $v_i$, we have at most $[\frac{n-1}{g-1}]$ vertex-disjoint cycles containing $v_i$, so we can use the other color and we are sure that $v_i$ is not in a directed monochromatic cycle.
\end{proof}

In \cite{CHEN} the following result was proved. Here we give a short and simple
proof of this result.
If $T$ is a directed DFS tree of a digraph $D$, then a \emph{back edge}
of $D$ is an edge from a vertex to one of its ancestors.

\begin{thm}
 Let $k \geq 2$ be an integer. If a digraph $D$ contains no directed cycle
 of length $1$ modulo $k$, then $\chi(D) \leq k$.
\end{thm}

\begin{proof}
 Without loss of generality, we can assume that $D$ is strongly connected.
 Let $T$ be a directed  DFS tree of $D$ with root $v_0$. For each $v \in V(D)$,
 let $c(v)$ be the distance of $v$ from $v_0$ in $T$ modulo $k$. We claim that,
 $c$ is a proper $k$-coloring of $D$. Let $C$ be an arbitrary directed cycle of
 $D$. By \cite[Lemma $22.11$]{CLRS}, $C$ contains a back-edge $xy$. Let $P$ be the unique directed path
 from $y$ to $x$ in $T$. If $c(x)=c(y)$, then the length of $P$ is divisible
 by $k$. So, $D$ contains a cycle of length $1$ modulo $k$, a contradiction.
 Thus, $\chi(D) \leq k$.
\end{proof}

\section{Dichromatic Polynomial}
In [5] the dichromatic polynomial of digraphs was defined. Now,
we want to discuss about some properties of dichromatic polynomial
for digraphs and tournaments.

\begin{thm}
Let $g$ be the girth of digraph $D$. Then in $P(D;x)$ the coefficients of
$x^{n-1},\ldots,x^{n-g+2}$ are zero and the coefficient of
$x^{n-g+1}$ is the number of cycles of length $g$ with negative sign.
\end{thm}
\begin{proof}
Let $c_1,\ldots,c_k$ be the minimal cycles of $D$.
By the Inclusion-exclusion principle, the number of ways for
coloring the vertices of $D$ with $x$ colors without a monochromatic cycle,
is equal to $x^n$ minus the number of way with at least one monochromatic cycle,
plus the number of way with at least two monochromatic cycles, etc.
and except $x^n$ each other term is of the form $x^k$ with $k\leq n-g+1$.
Furthermore there is exactly $g$ number of $x^{n-g+1}$ with negative sign.
So the proof is complete.
\end{proof}
 \begin{cor}
 Let $T$ be a tournament with $n$ vertices. Then in $P(T;x)$ the coefficient of $x^{n-1}$  is zero, and the coefficient of $x^{n-2}$ is the number of directed triangles of $T$ with negative sign.
 \end{cor}

 In tournaments, we know the maximum number of directed triangles and some other theorems about the directed cycles, so maybe we can compute and compare the dichromatic polynomials for some tournaments.
 For example let $D$ be an acyclic tournament on the vertex set
 $\{v_1,\ldots,v_n\}$, such that the out-neighbors of $v_i$ are
 $v_1,\ldots,v_{i-1}$. Now, reverse the edges of the Hamiltonian path
 $v_n,v_{n-1},\ldots,v_1$. The resulting tournament is denoted by $S_n$.

\begin{thm}
 For every positive integer $n$,
 $$P(S_n;x)=\sum_{i=1}^n\binom{i}{n-i}x(x-1)^{i-1}$$
\end{thm}

\begin{proof}
 Let $f_n(x)=P(S_n;x)$.
 It can be easily checked that $f_1(x)=x$ and $f_2(x)=x^2$. Let $n\geq3$.
 The proper $k$-colorings of $S_n$ can be divided
 into two types: the colorings in which the colors of $v_n$ and $v_{n-1}$ are
 different, and ones in which $v_n$ and $v_{n-1}$ have the same color.
 To get a coloring of the first type, it suffices to properly color the induced
 subgraph on $\{v_1,\ldots,v_{n-1}\}$, which is $S_{n-1}$, by $k$ colors
 and then color $v_n$ by a color different from the color of $v_{n-1}$.
 Thus the number of colorings of this type is $(k-1)f_{n-1}(k)$.
 In a similar way, for obtaining a coloring of the second type, one can properly
 color the induced subgraph on $\{v_1,\ldots,v_{n-2}\}$,
 which is $S_{n-2}$, by $k$ colors and then color $v_{n-1}$
 and $v_{n}$ by a color that is different from that of $v_{n-2}$ (note that
 $v_{n-2},v_{n-1},v_n$ form a cycle). Thus the number of the colorings of the
 second type is $(k-1)f_{n-2}(k)$. Therefore the number of proper $k$-colorings
 of $S_n$ is $(k-1)(f_{n-1}(k)+f_{n-2}(k))$ and we have the following
 recurrence relation for $n\geq3$,

 $$f_n(x)=(x-1)\left(f_{n-1}(x)+f_{n-2}(x)\right).$$

 To solve this recurrence, we use the method of the generating functions. Define
 $$T(x,y)=\sum_{n=1}^{\infty}f_n(x)y^n$$
 Using the recurrence relation and initial conditions, we have
 \begin{eqnarray*}
 T(x,y) &=& xy+x^2y^2+(x-1)\sum_{n=3}^{\infty}
 \left(f_{n-1}(x)+f_{n-2}(x)\right)y^n\\
        &=& xy+x^2y^2+(x-1)y(T(x,y)-xy)+(x-1)y^2T(x,y)
 \end{eqnarray*}

 which gives

 $$T(x,y)=\frac{xy(y+1)}{1-(x-1)y(y+1)}.$$

 Now, Since

 $$\frac{1}{1-(x-1)y(y+1)}=\sum_{i=0}^{\infty}(x-1)^iy^i(y+1)^i,$$

 we get

 $$T(x,y)=x\sum_{i=1}^{\infty}(x-1)^{i-1}y^i(y+1)^i$$

 and the coefficient of $y^n$ in $T(x,y)$, which is $f_n(x)$, equals

 $$\sum_{i=1}^n\binom{i}{n-i}x(x-1)^{i-1},$$
 as desired.
\end{proof}

Next, we introduce the unique strongly connected tournament which has
the maximum number of proper $k$-colorings for each $k>1$, among
all tournament of order $n$.
Let $D_n$ be the tournament with the vertex set
$\{v_1,\ldots,v_n\}$ such that for $1\leq i<j\leq n$, where $i\neq1$
or $j\neq n$, the edge
between $v_i$ and $v_j$ is oriented from $v_i$ to $v_j$, and the edge between
$v_1$ and $v_n$ is oriented from $v_n$ to $v_1$. Clearly, $D_n$ is strongly
connected.

For a digraph $D$, $u,v\in V(D)$ and a positive integer $k$,
let $P_{u\approx v}(D;k)$ be the
number of proper $k$-colorings of $D$ such that $u$ and $v$ have
the same colors, and $P_{u\not\approx v}(D;k)$ be the number of proper
$k$-colorings of $D$ such that $u$ and $v$ have different colors.

The next lemma is an obvious observation about the chromatic polynomial of $D_n$.
\begin{lem}\label{Dnpoly}
 For two positive integers $n,k$, $P_{v_1\approx v_n}(D_n;k)=k(k-1)^{n-2}$,
 $P_{v_1\not\approx v_n}(D_n;k)=k^{n-1}(k-1)$. Moreover
 $P(D_n;k)=k(k-1)^{n-2}+k^{n-1}(k-1)$.
\end{lem}

\begin{lem}\label{allcycle}
 Let $T$ be a strongly connected tournament which has an edge $e=uv$ such
 that every directed cycle of $T$ contains $e$. Then $T=D_n$, $u=v_n$ and $v=v_1$.
\end{lem}

\begin{proof}
 Let $T'=D-e$. By assumption, $T'$ is an acyclic digraph, so
 there is a topological ordering of the vertices of $T'$
 like $v_1,\ldots,v_n$. Since $T$ is a strongly
 connected tournament, $e$ should be an edge from $v_n$ to $v_1$
 which implies that $T=D_n$.
\end{proof}

\begin{lem}\label{Puv}
 Let $T$ be a strongly connected digraph of order $n$ and $u,v$ be two
 distinct vertices of $T$.
 Then for every positive integer $k$,
 $P_{u\not\approx v}(T;k)\leq k^{n-1}(k-1)$, and the equality holds
 if and only if $T=D_n$, $u=v_n$ and $v=v_1$.
\end{lem}

\begin{proof}
 Clearly $P_{u\not\approx v}(T;k)\leq k^{n-1}(k-1)$.
 Now, suppose that there exist $k>1$ such that
 $P_{u\not\approx v}(T;k)\leq k^{n-1}(k-1)$.
 If every cycle of $T$ contains $uv$, then
 by Lemma \ref{allcycle}, $T=D_n$, $u=v_n$ and $v=v_1$. Assume on the contrary
 that there is a cycle in $T$ not containing $uv$. It can be seen that
 there is a cycle $C$ in $T$ that does not contain either $u$ or $v$. Let
 $v\notin V(C)$ and $|V(C)|=r$. The number of proper $k$-colorings of $C$
 are $k^r-k$ and there are at most $(k-1)k^{n-r-1}$ to extend
 a $k$-proper coloring of $C$ to $T$.. Therefore,
 $$k^{n-1}(k-1)=P_{u\not\approx v}(T;k)\leq (k^r-r)(k-1)k^{n-r-1},$$
 which implies that $k^r\leq k^r-k$, a contradiction.
\end{proof}

\begin{thm}
 Let $T\neq D_n$ be a strongly connected tournament and $k>1$ be an integer.
 Then $P(T;k)<P(D_n;k)$.
\end{thm}

\begin{proof}
 The proof is by induction on $n$. For $n=1,2,3$ there is no strongly connected
 tournament of order $n$ other than $D_n$. So let $n\geq 4$.
 Since $T$ is strongly connected, there is a cycle $C$ of length $n-1$ in $T$.
 Let $V(T)\setminus V(C)=\{v\}$. Since $T$ is strongly connected,
 there is a triangle $vuw$ containing $v$. Now,

 $$P_{u\approx w}(T;k)\leq (k-1)P_{u\approx w}(T-v;k),$$
 $$P_{u\not\approx w}(T;k)\leq kP_{u\not\approx w}(T-v;k).$$

 Hence we find that
 $$P(T;k)\leq (k-1)P(T-v;k)+P_{u\not\approx w}(T-v;k).$$
 By the induction hypothesis and Lemma \ref{Dnpoly} we have,
 $$P(T-v,k)\leq P(D_{n-1},k)=k(k-1)^{n-3}+k^{n-2}(k-1),$$
 and by Lemma \ref{Puv} one can see that,
 $$P_{u\not\approx v}(T-v;k)\leq k^{n-2}(k-1).$$
 So the following holds:
 $$P(T;k)\leq k(k-1)^{n-2}+k^{n-1}(k-1)=P(D_n;k).$$

 Now, let $P(T;k)=P(D_n;k)$. Thus

 $$P_{u\approx w}(T;k)=(k-1)P_{u\approx w}(T-v;k),$$
 $$P_{u\not\approx v}(T-v;k)=k^{n-2}(k-1).$$

 Lemma \ref{Puv} and the last equality imply that $T-v$ is $D_{n-1}$, $w=v_1$
 and $u=v_{n-1}$. By the first equality, each proper $k$-coloring of $T-v$ in
 which $u$ and $w$ have the same color $c$ can be extended to a coloring of $T$
 by assigning an arbitrary color different from $c$ to $v$.
 Suppose that there is a
 triangle $vu'w'$ such that $u'\neq u$ and $w'\neq w$. Choose a proper
 $k$-coloring of $T-v$ in which $u$ and $w$ have color $1$
 and $u'$ and $w'$ have color $2$. To extend this coloring to a proper
 $k$-coloring for $T$, we have at most $k-2$ choices for the color of $v$,
 contrary to the assumption.
 Thus there is no such triangle and it can be easily seen that $T=D_n$.
\end{proof}


\subsection*{Notation}
For convenience of exposition, we will assume in most of the rest of the paper that $k$ is algebraically closed of characteristic $p \ne 0$.  This is only for convenience, as our results for $p$ prime immediately imply the corresponding results for characteristic zero: simply lift the representation from characteristic 0 to $\mathbb{Z}$ and reduce modulo a sufficiently large prime.

Let $G$ be an affine group scheme of finite type over $k$.  If $G$ is additionally smooth, then we say that $G$ is an \emph{algebraic group}.  An algebraic group $G$ is \emph{simple} if it is not abelian, is connected, and has no connected normal subgroups $\ne 1, G$; for example $\SL_n$ is simple for every $n \ge 2$.

If $G$ acts on a variety $X$, the stabilizer $G_x$ of an element $x \in X(k)$ is a sub-group-scheme of $G$ with $R$-points
\[
G_x(R) = \{ g \in G(R) \mid gx = x \}
\]
for every $k$-algebra $R$.  A statement ``for generic $x$'' means that there is a dense open subset $U$ of $X$ such that the property holds for all $x \in U$.

If $\Lie(G) = 0$ then $G$ is finite and \'etale.  If additionally $G(k) = 1$, then $G$ is the trivial group scheme $\Spec k$.

We write $\mathfrak{g}$ for $\Lie(G)$ and similarly $\mathfrak{spin}_n$ for $\Lie(\Spin_n)$, etc.  We put $\mathfrak{z}(\mathfrak{g})$ for the center of $\mathfrak{g}$; it is the Lie algebra of the (scheme-theoretic) center of $G$.  As $\car k = p$, the Frobenius automorphism of $k$ induces a ``$p$-mapping'' $x \mapsto x^{[p]}$ on $\mathfrak{g}$.
When $G$ is a sub-group-scheme of $\GL_n$ and $x \in \mathfrak{g}$, the element $x^{[p]}$ is the $p$-th power of $x$ with respect to the typical, associative multiplication for $n$-by-$n$ matrices, see \cite[\S{II.7}, p.~274]{DG}.   An element $x \in \mathfrak{g}$ is \emph{nilpotent} if $x^{[p]^n} = 0$ for some $n > 0$, \emph{toral} if $x^{[p]} = x$, and \emph{semisimple} if $x$ is contained in the Lie $p$-subalgebra of $\mathfrak{g}$ generated by $x^{[p]}$, cf.~\cite[\S2.3]{StradeF}.

  \subsection*{Acknowledgements} We thank the  referees for their detailed and helpful comments on earlier versions of this paper.
Guralnick was partially supported by NSF grants DMS-1265297, DMS-1302886, and DMS-1600056.

\section{Dominant weights and faithful representations}

Let $G$ be a reductive group over the (algebraically closed) field $k$, and fix a pinning for $G$ which includes a maximal torus $T$, a Borel subgroup containing $T$, and generators for the root subalgebras of $\mathfrak{g}$.

Irreducible representations of $G$, up to equivalence, are in one-to-one correspondence with dominant weights (relative to the fixed pinning), where the correspondence is given by sending a representation to its highest weight.  We write $L(\lambda)$ for the irreducible representation with highest weight $\lambda$, imitating the notation in \cite{Jantzen}.

We number dominant weights as in Table \ref{luebeck.table}, imitating \cite{luebeck} to make it convenient to refer to that paper.  We write $c_1 c_2 c_3 \cdots c_\ell$ as shorthand for the dominant weight $\sum c_i \omega_i$, where $\omega_i$ is the fundamental dominant weight corresponding to the vertex $i$ in Table \ref{luebeck.table}.  The weight $\sum c_i \omega_i$ is \emph{restricted} if $\car k = 0$, or if $\car k \ne 0$ and $0 \le c_i < \car k$ for all $i$.

\input luebeck-classical

The paper \cite{luebeck} studies $L(\lambda)$ when $\lambda$ is restricted.  When $\lambda$ is not restricted, we have the following statement: \emph{If $\lambda = \lambda_0 + p\lambda_1$ for $\lambda_0 \in T^*$ dominant and restricted, $\lambda_1 \in T^*$ dominant, and $p = \car k$, then $L(\lambda) \cong L(\lambda_0) \otimes L(\lambda_1)^{[p]}$}, see \cite[II.3.16]{Jantzen}.  Here $L(\lambda_1)^{[p]}$ denotes the Frobenius twist of the representation $L(\lambda_1)$ as in \cite[I.9.10]{Jantzen}; $\mathfrak{g}$ acts trivially on it.

Slightly more delicate analysis is required to handle the case where $\lambda_0, \lambda_1$ are not assumed to belong to $T^*$, see Example \ref{A3.eg} for an illustration.

\begin{lem} \label{faith}
Let $G$ be a simple algebraic group over $k$ of characteristic $p \ne 0$.  Let $\lambda = \lambda_0 + p\lambda_1$ for $\lambda_0, \lambda_1$ dominant weights and $\lambda_0$ restricted.
\begin{enumerate}
\item \label{faith.0} If $G$ acts faithfully on $L(\lambda)$, then $\lambda_0 \ne 0$.
\item \label{faith.1} If $\lambda_0$ and $\lambda_1$ are both nonzero, then $\dim L(\lambda) > \dim G$.
\end{enumerate}
\end{lem}

\begin{proof}
We write $\widetilde{G}$ for the simply connected cover of $G$.

For \eqref{faith.0}, suppose $\lambda_0 = 0$.  Then $L(\lambda)$ is isomorphic to a Frobenius twist $L(\lambda_1)^{[p]}$ as a representation of $\widetilde{G}$, and the composition $\tilde{\g} \to \mathfrak{g} \to \mathfrak{gl}(L(\lambda))$ is zero.  As $\tilde{\g} \to \mathfrak{g}$ is not itself the zero map, $\mathfrak{g}$ does not act faithfully on $L(\lambda)$.

For \eqref{faith.1},
we may assume that $G$ is simply connected, so that $L(\lambda) \cong L(\lambda_0) \otimes L(\lambda_1)^{[p]}$ and $\dim L(\lambda) = \dim L(\lambda_0) \cdot \dim L(\lambda_1)$.  This, in turn, is at least $m(G)^2$ for $m(G)$ the dimension of the smallest nontrivial irreducible representation of $G$.  We list these values in Table \ref{mG.table}, obtained from \cite{luebeck}.  We note that in each case
\begin{equation} \label{mG.ineq}
m(G)^2 > \dim G,
\end{equation}
proving \eqref{faith.1}.
\end{proof}

\input mGtable.tex

\section{Results from part I} \label{results}

For a representation $V$ of simple $G$ with $V^{[\mathfrak{g},\mathfrak{g}]} = 0$ (such as in Theorem \ref{MT} in this paper), we showed in part I (\cite[Th.~A]{GG:large}): \emph{if $\dim V > b(G)$ for $b(G)$ as in Table \ref{classical.table} and $\car k$ is not special, then $\mathfrak{g}$ acts virtually freely on $V$}.   Here, virtually free means that the stabilizer $\mathfrak{g}_v$ for a generic $v \in V$ equals $\ker [ \mathfrak{g} \to \mathfrak{gl}(V) ]$, i.e., $\mathfrak{g}_v$ is as small as possible.  It is the natural notion that generalizes ``generically free'' to allow for the case where the kernel is not zero.

\begin{table}[thb]
\begin{tabular}{cc|c||cc|r}
type of $G$&$\car k$&$b(G)$&type of $G$&$\car k$&$b(G)$ \\ \hline
$A_\ell$&$\ne 2$& $2.25(\ell+1)^2$&$G_2$&$\ne 3$&48 \\
$A_\ell$&$= 2$&$2\ell^2 + 4\ell$&$F_4$&$\ne 2$&240 \\
$B_\ell$&$\ne 2$&$8\ell^2$&$E_6$&any&360 \\
$C_\ell$&$\ne 2$&$6\ell^2$&$E_7$&any&630\\
$D_\ell$&$\ne 2$&$2(2\ell-1)^2$&$E_8$&any&1200 \\
$D_\ell$&$=2$&$4\ell^2$
\end{tabular}
\caption{Bound $b(G)$ from part I} \label{classical.table}
\end{table}

Recall that $\mathfrak{g} := \Lie(G)$.  For $x \in \mathfrak{g}$, put
\[
V^x := \{ v \in V \mid \mathrm{d}\rho(x)v = 0 \}
\]
and $x^G$ for the $G$-conjugacy class $\Ad(G)x$ of $x$.
We are going to verify the inequality
\begin{equation} \label{ineq.mother}
  \dim x^G + \dim V^x < \dim V
\end{equation}
for various $x \in \mathfrak{g}$.
The following lemma is Lemma 2.6 in \cite{GG:spin}; it resembles \cite[Lemma 4]{AndreevPopov} and \cite[\S3.3]{Guerreiro}.
\begin{lem} \label{ineq}
Suppose $G$ is semisimple over an algebraically closed field $k$ of characteristic $p > 0$, and  let $\mathfrak{h}$ be a $G$-invariant subspace of $\mathfrak{g}$.
\begin{enumerate}
\item \label{mother.lie2} If inequality \eqref{ineq.mother} holds for every toral or nilpotent $x \in \mathfrak{g} \setminus \mathfrak{h}$, then  $\mathfrak{g}_v \subseteq \mathfrak{h}$ for generic $v \in V$.

\item \label{mother.lie} If $\mathfrak{h}$ consists of semisimple elements and \eqref{ineq.mother} holds for every $x \in \mathfrak{g} \setminus \mathfrak{h}$ with $x^{[p]} \in \{ 0, x \}$, then $\mathfrak{g}_v \subseteq \mathfrak{h}$  for generic $v$ in $V$. $\hfill\qed$
\end{enumerate}
\end{lem}

Taking $\mathfrak{h} = \mathfrak{z}(\mathfrak{g})$ in Lemma \ref{ineq}, we see that verifying \eqref{ineq.mother} for nonzero nilpotent and noncentral toral $x \in \mathfrak{g}$ implies that $\mathfrak{g}_v \subseteq \mathfrak{z}(\mathfrak{g})$ for generic $v \in V$.   This in turn implies that the action is virtually free since $Z(G)$ is a diagonalizable group scheme for the $G$'s we consider here (so $\mathfrak{g}_v \cap \mathfrak{z}(\mathfrak{g}) = \mathfrak{z}(\mathfrak{g})_v = \ker \mathrm{d}\rho$).

Theorem 12.2 in \cite{GG:large} proved a somewhat stronger result than the one stated at the start of this section: \emph{If $V$ is a representation of a simple group $G$ such that $V^{[\mathfrak{g}, \mathfrak{g}]} = 0$ and $\dim V > b(G)$, then \eqref{ineq.mother} holds for all noncentral $x \in \mathfrak{g}$ with $x^{[p]} \in \{ 0, x \}$.}

\section{Constructing representations in Magma} \label{construct}

In order to prove Theorem \ref{MT}, the results of \cite{GG:large} reduce us to considering a finite list of irreducible representations, each of which we will consider.  Some of these will be dealt with by invoking calculations done on a personal computer using Magma \cite{Magma}, which we now explain.  (Code and output are attached to the arxiv version of this article.)

The Magma instructions
\begin{align*}
&\texttt{R := IrreducibleRootDatum(}T, \ell\texttt{);}\\
&\mathfrak{g} \texttt{ := LieAlgebra(R, GF(}q\texttt{));}
\end{align*}
create a Lie algebra $\mathfrak{g}$ of the split reductive group over the finite field $\mathbb{F}_q$ with root datum \texttt{R} of type $T_\ell$ (by default simply connected).  For a given highest weight $\lambda$,
\begin{align*}
&\texttt{HighestWeightRepresentation(}\mathfrak{g}, \lambda\texttt{);}
\end{align*}
 gives a homomorphism $\rho$ from $\mathfrak{g}$ to matrices, and one can identify the space of row vectors $v$ where the action by $\mathfrak{g}$ is $v \mapsto v\rho(x)$ for $x \in \mathfrak{g}$ with the representation $H^0(\lambda)$ of $G$ in the notation of \cite{Jantzen}; it is induced from the 1-dimensional representation $\lambda$ of the Borel subgroup.
 The vector $(1, 0, \ldots, 0)$, the first basis vector in the Magma ordering, is a highest weight vector and it generates a submodule $V$ that is irreducible with highest weight $\lambda$.  (Untrusting readers can verify that the submodule generated by this vector has the same dimension as the irreducible representation with the same highest weight as recorded in the literature, and therefore the submodule is the desired irreducible representation,)

For any row vector $v$, it is then a matter of linear algebra to compute the stabilizer $\mathfrak{g}_v$, i.e., the subspace of $x \in \mathfrak{g}$ such that $v\rho(x) = 0$.  It is determined by \texttt{Kernel(VerticalJoin([}$v\rho(y)$ \texttt{:} $y$\texttt{ in Basis($\mathfrak{g}$)]))}.

To verify that a particular $V$ is virtually free, we use \texttt{Random(V)} to generate random vectors $v \in V$.  For each, we compute $\dim \mathfrak{g}_v$.  By upper semicontinuity of dimension, $\dim \mathfrak{g}_v$ is at least as big as $\dim \mathfrak{g}_w$ for $w$ generic in $V$.  Therefore, if we find any $v \in V$ with $\dim \mathfrak{g}_v = \dim \ker \mathrm{d}\rho$, we have verified that the representation is virtually free.

\begin{rmk*}
Suppose $q \!: \widetilde{G} \to G$ is a central isogeny; note that the differential $\mathrm{d}q \!: \tilde{\g} \to \mathfrak{g}$ need not be surjective, i.e., $\ker q$ need not be \'etale.  Nonetheless, if $\mathfrak{g}$ acts virtually freely on $V$, then so does $\tilde{\g}$.  Therefore, in the computer calculations described above we work with $\mathfrak{g}$, the Lie algebra of the group $G$ that acts faithfully on $V$.  In Magma, this can be done by invoking the optional argument \texttt{Isogeny} for \texttt{IrreducibleRootDatum}.

(If we instead assume that $\tilde{\g}$ acts virtually freely on $V$, it may occur that $\mathfrak{g}$ does not.  For example, that is the case when $\car k = 2$ and (a) $\widetilde{G} = \SL_4$, $G = \PGL_4$, and $V$ has highest weight $\omega_2 + 2\omega_3$ as in Example \ref{A3.eg} or (b) $\widetilde{G} = \Sp_8$, $G = \PSp_8$,  and $V$ is the 16-dimensional irreducible ``spin'' representation as in \cite[\S8]{GG:special}.)
\end{rmk*}

\section{Examples where $\mathfrak{g}$ does not act virtually freely}  \label{converse.construct}

\begin{lem} \label{nvfree}
Let $V$ be a representation of a reductive algebraic group $G$, and suppose that Cartan subalgebras in $\mathfrak{g}$ are maximal toral subalgebras\footnote{This condition is equivalent to condition (2) in Lemma \ref{regular.lem} by \cite[XIII.6.1d]{SGA3.2}.}.
 If there is a $v \in V$ such that
\begin{enumerate}
	\item $\mathfrak{h} := \mathfrak{g}_v$ is a toral subalgebra;
	\item $\dim \mathfrak{z}_\mathfrak{g}(\mathfrak{h}) = \rank G$; and
	\item \label{nvfree.3} $\dim G - \rank G = \dim V - \dim V^\mathfrak{h}$,
\end{enumerate}
then there is an open subset $U$ of $V$ containing $v$ such that $\mathfrak{g}_u$ is a $G$-conjugate of $\mathfrak{h}$ for every $u \in U$ and there is a maximal torus $T$ such that $G_u$ is $G$-conjugate to a closed sub-group-scheme of $N_G(T)$ for every $u \in U$.
\end{lem}

\begin{proof}
Because $G$ is reductive and $\mathfrak{h}$ is toral, there exists a maximal torus $T$ in $G$ whose Lie algebra $\mathfrak{t}$ contains $\mathfrak{h}$, see \cite[Th.~13.3, Rmk.~13.4]{Hum:p}.  Since $\mathfrak{z}_\mathfrak{g}(\mathfrak{h})$ contains $\mathfrak{t}$, the two are equal.   In particular, $T$ normalizes $V^\mathfrak{h}$.  Moreover, any element of $G$ that normalizes $\mathfrak{h}$ also normalizes $\mathfrak{z}(\mathfrak{h}) = \mathfrak{t}$, so $N_G(\mathfrak{h}) \subseteq N_G(\mathfrak{t}) = N_G(T)$ (where the latter equality is by the hypothesis on $\mathfrak{g}$ \cite[XIII.6.1b]{SGA3.2}) and $N_G(\mathfrak{h})^\circ = T$.

Put $\hat{U}$ for the set of $v' \in V^\mathfrak{h}$ such that $\dim \mathfrak{g}_{v'}$ is minimal; it is open in $V^\mathfrak{h}$.  On the one hand, $\mathfrak{h} \subseteq \mathfrak{g}_{v'}$, and on the other hand, $v \in V^\mathfrak{h}$, so $\dim \mathfrak{g}_{v'} \le \dim \mathfrak{h}$, whence $\mathfrak{g}_{v'} = \mathfrak{h}$ for all $v' \in \hat{U}$ and $v$ is in $\hat{U}$.

We claim that, for generic $w \in V^\mathfrak{h}$, the transporter $\Tran_G(w, V^\mathfrak{h})$, which has $R$-points
\[
\Tran_G(w, V^\mathfrak{h})(R) = \{ g \in G(R) \mid gw \in V^\mathfrak{h} \otimes R \}
\]
for every $k$-algebra $R$, equals $N_G(\mathfrak{h})$.  The direction $\supseteq$ is clear because $N_G(\mathfrak{h})$ normalizes $V^\mathfrak{h}$.  Conversely, suppose $gw \in V^\mathfrak{h} \otimes R$.  Then $gw \in \hat{U}(R)$ by the definition of $\hat{U}$, so $\mathfrak{g}_{gw} = \mathfrak{h}$ and $\subseteq$ is verified.

Define $\psi \!: G \times V^\mathfrak{h} \to V$ by $\psi(g,w) = gw$.  By the preceding paragraph, for generic $w \in V^\mathfrak{h}$, $\psi^{-1}(w) = \{ (g, g^{-1}w) \mid g \in N_G(\mathfrak{h}) \}$.  That is,
\[
\dim \im \psi = \dim G + \dim V^\mathfrak{h} - \dim N_G(\mathfrak{h}),
\]
which is $\dim V$ by \eqref{nvfree.3}.
Thus $\psi$ is dominant and there is an open subset $U$ of $V$ consisting of elements whose stabilizer in $\mathfrak{g}$ is conjugate to $\mathfrak{h}$.
\end{proof}

In the language of \cite[\S2.8]{PoV}, the proof shows that $V^\mathfrak{h}$ is a ``relative section'' for the action of $G$ on $V$.

The hypotheses of Lemma \ref{nvfree} are easy to verify with a computer.  For example, to check that $\mathfrak{g}_v$ is toral, one checks that it is abelian (Magma's \texttt{IsAbelian}) and that a basis consists of semisimple elements (by checking, for each basis vector $x$, that $x$ belongs to the subspace spanned by $x^{[p]^i}$ for $i \ge 1$).

\begin{eg}[$C_4$, 0100, $p = 3$] \label{C.0100.3}
Consider now $G = \Sp_8$ over a field $k$ of characteristic 3.  (See Prop.~\ref{C.wedge3}\eqref{C.sp8} for the case $\car k \ne 2, 3$.)  It has a unique irreducible representation $V$ with $\dim V = 40$ \cite{luebeck}, which occurs as a quotient of the Weyl module of dimension 48 contained in $\wedge^3(k^8)$ (with $k^8$ as the other composition factor), compare \cite{PremetSup} or Proposition \ref{C.wedge3}.  Using Magma, one can construct $V$ (say, with $k = \mathbb{F}_3$) as in the preceding section and verify that for a random $v \in V$, in the notation of Lemma \ref{nvfree}, $\dim \mathfrak{h} = 2$ and $\dim V^\mathfrak{h} = 8$.  It follows that $\mathfrak{g}$ does not act virtually freely on $V$.  On the other hand, $G_v(k) = 1$ for generic $v \in V$ by \cite{GurLawther}, so this is an example of a representation where the scheme-theoretic generic stabilizer $G_v$ is a nontrivial and infinitesimal group scheme.
\end{eg}

Lemma \ref{nvfree} shows also that the second representation in the right column of Table \ref{irred.nvfree} is not virtually free, see Example \ref{B.11}.

\section{Representations defined over a localization of the integers} \label{transfer.sec}

Recall that $G$ is defined over an algebraically closed field $k$ of characteristic $p$, and in particular is split.  Let now $R$ be a subring of $\mathbb{Q}$ with homomophisms to $\mathbb{F}_p$ and to a field $K$ containing a primitive $p$-th root of unity $\zeta$ (e.g., take $R = \mathbb{Z}$ and $K = \mathbb{C}$).  There exists a smooth affine group scheme $G_R$ over $R$ which is split and such that $G_R \times k$ is isomorphic to $G$.

\begin{lem} \label{auld.popov}
Let $\rho \!: G_R \to \GL(V)$ be a homomorphism of group schemes over $R$ for some free $R$-module $V$.  Then the following are equivalent:
\begin{enumerate}
	\item \label{auld.popov.x} $\dim x^G + \dim (V_k)^x < \dim V$ for all noncentral $x \in \mathfrak{g}$ such that $x^{[p]} = x$.
	\item \label{auld.popov.g} $\dim g^{G_K} + \dim (V_K)^g < \dim V$ for all noncentral $g \in G_R(K)$ such that $g^p = 1$.
\end{enumerate}
\end{lem}

Here and below we use the shorthand $X_F$ for $X_R \times F$, where $X_R$ is an $R$-scheme and there is an implicit homomorphism $R \to F$.

\begin{proof}
This is essentially \S3.4 in \cite{Auld}, which we reproduce here for the convenience of the reader.  Pick a split maximal torus $T_R$ in $G_R$ and a basis $\tau_1, \ldots, \tau_\ell$ of the lattice of cocharacters $\mathbb{G}_m \to T_R$.  Identifying the Lie algebra of $\mathbb{G}_m$ with $k$, the elements $h_j := \mathrm{d}\tau_j(1)$ make up a basis of the Lie algebra $\mathfrak{t}$ of $T_R \times \mathbb{F}_p$ such that $h_j^{[p]} = h_j$.  This gives a bijection of toral elements in $\mathfrak{t}$ with elements of order $p$ in $T_K$ via
\[
\psi \!: \sum c_j h_j \mapsto \prod \tau_j(\zeta^{c_j}) \quad \text{for $c_j \in \mathbb{F}_p$.}
\]

There is a basis $\chi_1, \ldots, \chi_\ell$ of the lattice of characters $T_R \to \mathbb{G}_m$ such that $\chi_i \circ \tau_j \!: \mathbb{G}_m \to \mathbb{G}_m$ is the identity for $i = j$ and trivial for $i \ne j$, hence $\mathrm{d}\chi_i(h_j) = \delta_{ij}$ for all $i, j$.  Writing a character $\chi$ as $\sum d_i \chi_i$ for $d_i \in \mathbb{Z}$, we find
\[
\chi(\psi(\textstyle\sum c_i h_i)) = \prod_i \zeta^{c_i d_i} = \zeta^{\sum c_i d_i} = \zeta^{\mathrm{d}\chi(\sum c_i h_i)}
\]
for $c_i \in \mathbb{F}_p$.  That is, for toral $x \in \mathfrak{t}$, $\mathrm{d}\chi(x) = 0$ in $\mathbb{F}_p$ if and only if $\chi(\psi(x)) = 1$.  Decomposing $V$ as a sum of weight spaces relative to $T_R$ (using that $R$ is an integral domain), we find that $\dim (V_k)^x = \dim (V_K)^{\psi(x)}$.

The centralizer in $\mathfrak{g}$ of $x$ and the centralizer in $G_K$ of $\psi(x)$ contain $\Lie(T_k)$ and $T_K$, so their identity components are generated by that and the root subalgebras or subgroups corresponding to roots vanishing on $x$ or $\psi(x)$ respectively.  As in the preceding paragraph, we find that
the centralizers of $x$ and $\psi(x)$ have the same dimension, hence (a) $x$ is central in $\mathfrak{g}$ if and only if $\psi(x)$ is central in $G_K$ and (b) $\dim x^G = \dim \psi(x)^{G_K}$.  The equivalence of \eqref{auld.popov.x} and \eqref{auld.popov.g} follows.
\end{proof}

We now consider five examples and show, in most cases, that inequality  \eqref{ineq.mother} holds.  We use Lemma \ref{auld.popov} to handle the
elements with $x^{[p]}=x$.   In the cases where the characteristic $p$ module is the reduction of a characteristic $0$ module, it suffices
to prove the inequality for elements of order $p$ in the group over $\mathbb{C}$.   In all the examples below, this has been confirmed in
\cite[2.5.10, 2.5.17, 2.5.18, 2.5.24, 2.6.10]{GurLawther}.   It is also straightforward to use Magma to compute this in all the examples below as the modules  have small dimension.   One
can also use closure arguments to reduce to the case of nilpotent elements.
Thus, it suffices to consider elements $x$ with $x^{[p]}=0$.

\begin{eg}[$B_2$, 11] \label{B.11}
Let $G = \Spin_5 \cong \Sp_4$ and take $V$ to be the irreducible representation of dimension 12 (if $\car k = 5$) or 16
(if $\car k \ne 5$).  It occurs as a composition factor of the tensor product $X$ of the two fundamental irreducible representations.

In case $\car k = 5$, we apply Lemma \ref{nvfree}.  One finds $\dim L = 1$ and $\dim V^L = 4$, so $V$ is not virtually free.
We remark that in this case again $G_v(k) = 1$, so $G_v$ is a nonzero infinitesimal group scheme.

In case $\car k = 2$, we verify that $V$ is generically free for $\mathfrak{g}$ using Magma as in \S\ref{construct}.

So assume $\car k \ne 2, 5$.  As $X$ is self-dual, it is a direct sum of $V$ and $X/V$, the natural representation of $\Sp_4$.
In this case we argue that $V$ is virtually free by verifying \eqref{ineq.mother}.

A long root element $x$ has a single Jordan block of size 2 on the natural module and 2 Jordan blocks of size 2 on the 5-dimensional module.  Since $\car k \ne 2$, $x$ has partition $(3^2, 2^5, 1^4)$ on $X$, so $\dim X^x = 11$.  Since $X/V$ is the 4-dimensional symplectic module, $\dim (X/V)^x = 3$, so $\dim V^x = 8$.  As $\dim x^G = 4$, \eqref{ineq.mother} is verified.

For any other nilpotent class, the closure of $x^G$ in $\sp_4$ contains a nilpotent element
with partition $(2,2)$, so $\dim V^x \le 6$; as $\dim x^G \le 8$, the inequality is verified.
\end{eg}

\begin{eg}[$B_3$, 101] \label{B.101}
Let $G = \Spin_7$ and take $V$ to be the irreducible representation of
dimension 40 (if $\car k = 7$) or 48 (if $\car k \ne 7$).  It occurs as a composition factor of the tensor product $X$ of the natural and spin representations.
In case $\car k = 2$ or $7$, we construct the representation in Magma as in \S\ref{construct} and observe that it is generically free.

So suppose $\car k \ne 2, 7$.  Then $X$ is self-dual so it is a direct sum of $V$ and $X/V$, the spin representation.  As in the preceding example, we argue that $V$ is virtually free by verifying \eqref{ineq.mother}.  Suppose that $x$ is nilpotent.   For $x$ with partition $(3^2, 1)$ on the natural representation, $\dim V^x \le 22$ and $\dim x^G = 14$.
If $x$ has partition $(7)$ or $(5, 1^2)$, then $\dim x^G \le 18$ and $\dim V^x \le 22$ (by specialization).
A long root element $x$ (partition $(2^2, 1^3)$), has $\dim x^G = 8$ and $\dim V^x = 34$.
The remaining possibilities for $x$ have partition $(3, 2^2)$ or $(3,1^4)$, which have $\dim x^G = 12$ or $10$ and by specialization $\dim V^x \le 34$.
\end{eg}

\begin{eg}[$D_4$, 1001] \label{D.1001}
Consider the representation $V$ of $G = \Spin_8/\mu_2$ with highest weight 1001.  In case $\car k = 2$, $\dim V = 48$ and
we verify with Magma that $V$ is generically free for $\mathfrak{g}$.

So suppose $\car k \ne 2$, in which case $\dim V = 56$.  Writing $V_i$ with $i = 1, 2, 3$ for the three inequivalent irreducible 8-dimensional representations,
we find $X := V_1 \otimes V_2 \cong V \oplus V_3$.

Suppose that $x$ is nonzero nilpotent with $\dim x^G < 22$.  Certainly $\dim V^x \le \dim V^y$ for a root element $y$.  Such a $y$ has two Jordan blocks of
size 2 on the $V_i$'s, and so $y$ acts on $X$ with partition $(3^4, 2^{16}, 1^{20})$.
Thus $\dim X^y = 40$ and $\dim V^y = \dim X^y - \dim V_3^y = 34$, and the inequality is verified for $x$.

We now divide into cases based on the partition of $x$ on one of the $V_i$'s.
If $x$ only has Jordan blocks of size at most 3, then $\dim x^G < 21$ and we are done by the previous paragraph.

 If $x$ has two Jordan blocks of size 4, then $\dim V^x < 16$.  If $x$ has a Jordan block of size $\ge 5$, then $\dim V^x < 20$.
 In either case, as $\dim x^G \le 24$, the inequality is verified.  In summary, $V$ is generically free for $\mathfrak{g}$.
\end{eg}

\begin{eg}[$D_5$, 20000, $\car k \ne 2$] \label{D.20000}
Consider the representation $V$ of $G = \SO_{10}$ with highest weight 20000 of dimension 126 over a field $k$ of characteristic different from 2.
 For one of the half-spin representations $X$, the second symmetric power $\Sym^2 X$ is a direct sum of $V$ and the natural 10-dimensional module.

A root element $x \in \mathfrak{g}$ has a 12-dimensional fixed space on $X$ and so has 4 nontrivial Jordan blocks.  On $\Sym^2 X$, it has a fixed space of
dimension 84 hence $\dim V^x = 76$.
Therefore, for every nonzero nilpotent $x \in \mathfrak{g}$, we have $\dim V^x \le 76$ and of course $\dim x^G \le \dim G - \rank G = 40$, verifying the inequality, so $V$ is generically free for $\mathfrak{g}$.
\end{eg}

\begin{eg}[$C_5$, 10000, $\car k \ne 2$] \label{C.10000}
Let now $V$ be the irreducible representation of $G = \Sp_{10}$ with highest weight 10000.
In case $\car k = 3$, $\dim V = 122$ and one checks using Magma that a generic vector has trivial stabilizer.
So assume $\car k > 3$, in which case $\dim V = 132$.

As above it is enough to
verify the inequality for nilpotent elements of $\sp_{10}$.  Restricting to the Levi subgroup $\Sp_8$, the representation decomposes as a direct sum of irreducibles $X \oplus Y \oplus Y$ where $\dim X = 48$ and $\dim Y = 42$.  Since $\car k  > 3$, $X$ is a submodule of $\wedge^3 k^8$ with quotient $k^8$.  The restriction of $Y$ to the Levi $\Sp_6$ in $\Sp_8$ is a direct sum of irreducibles $Y' \oplus Y' \oplus Y''$ where $\dim Y' = \dim Y'' = 14$, $Y'$ is a submodule of $\wedge^3 k^6$ with quotient $k^6$ and $Y''$ is a submodule of $\wedge^2 k^6$ with quotient $k$.  Using these decompositions, we find that a long root $x \in \sp_6 \subset \sp_{10}$ has $\dim V^x = 90$ and nilpotent $y \in \sp_6 \subset \sp_{10}$ with partition $(4, 1^6)$ has $\dim V^y = 19$.  In view of the fomer, it suffices to consider nilpotent $z \in \mathfrak{g}$ such that $\dim C_{\Sp_{10}}(z) \le 13$  Such a $z$ has a Jordan block of size at least 4 and so specializes to $y$.  Then $\dim z^{\Sp_{10}} + \dim V^z \le 50 + 19$, verifying the inequality.
\end{eg}

\section{Example: symmetric squares and wedge squares} \label{squares.sec}

Recall that $k$ is assumed algebraically closed of characteristic $p \ge 0$.  Put $\mathfrak{gl}_n$ for the Lie algebra of $n$-by-$n$ matrices with entries in $k$.
We first note that, for $x \in \mathfrak{gl}_n$, $Z_{\GL_n}(x)$ is the group of units in the associative $k$-algebra $\mathfrak{z}_{\mathfrak{gl}_n}(x)$.  Therefore, $\dim x^{\GL_n} = \dim\, [\mathfrak{gl}_n, x]$ and we have the following well-known result.

\begin{lemma} \label{ineq.GL}
Let $x \in \mathfrak{gl}_n$.   Then $\dim x^{\GL_n} + \dim \mathfrak{z}_{\mathfrak{gl}_n}(x) = n^2$.$\hfill\qed$
\end{lemma}

Suppose that $x \in \mathfrak{gl}_n=\mathfrak{gl}(V)$  is nilpotent.  It is well known that $\dim x^{\GL_n}$, and therefore also $\dim \mathfrak{z}_{\mathfrak{gl}_n}(x)$, depends only on the Jordan form of $x$ and not on $k$.

\begin{lemma} \label{independent}  Let $x \in \mathfrak{gl}_n = \mathfrak{gl}(V)$ be nilpotent and assume that $p \ne 2$.
Then $\dim (\Sym^2V)^x$ and $\dim (\wedge^2V)^x$ are independent of the characteristic.
In particular if $x \in \mathfrak{so}_n$, then $\dim x^{\SO_n} + \dim (\wedge^2V)^x = \dim \mathfrak{so}_n$.
\end{lemma}

\begin{proof}
Since $\car k \ne 2$, as $x$-modules $\mathfrak{gl}_n$ and $V \otimes V$ are isomorphic (since $V \cong V^*$ for $x$).   Since
$V \otimes V \cong \Sym^2 V \oplus \wedge^2V$ and since the dimension of the fixed
space of $x$ can only increase when reducing modulo a prime ($x$ acting on $V$
is defined over the integers).  The first claim follows.

For the second, $\wedge^2V$ is the adjoint module for $\SO_n$, so the equality holds in characteristic
$0$.  Since $\dim (\wedge^2 V)^x$ depends only on the Jordan form of $x$ and not on $k$, and it is well known that $\dim x^{\SO_n}$ also does not (as $p \ne 2$), the equality also holds over $k$.
\end{proof}

\begin{lemma}  \label{GL.reg}
Let $x \in \mathfrak{gl}_n =\mathfrak{gl}(V)$ with $x$ a regular nilpotent element.
\begin{enumerate}
\item \label{GL.ad} The number of Jordan blocks of $x$ on $\mathfrak{gl}(V)$ and $V\otimes V$ is $n$.
\end{enumerate}
If furthermore $\car k \ne 2$, then
\begin{enumerate}
\setcounter{enumi}{1}
\item \label{GL.sym}
the number of Jordan blocks
of $x$ on $\Sym^2V$ is $n/2$ if $n$ is even and $(n+1)/2$ if $n$ is odd; and
\item \label{GL.wedge}
the number of Jordan blocks
of $x$ on $\wedge^2V$ is $n/2$ if $n$ is even and $(n-1)/2$ if $n$ is odd.
\end{enumerate}
\end{lemma}

\begin{proof}
As $x$ is nilpotent, $V$ and $V^*$ are equivalent $k[x]$-modules, hence the number of Jordan blocks on $V \otimes V$ and $\mathfrak{gl}(V)$ is the same and is also independent of the characteristic.
By Lemma \ref{independent}, we may assume that $k$ has characteristic $0$.

In characteristic $0$, we view
$V$ as a module under a principal $\SL_2$ and see that $V \otimes V \cong L(n-1) \otimes L(n-1) \cong L(2n-2) \oplus L(2n-4) \oplus \cdots \oplus L(0)$,
proving \eqref{GL.ad}.  Examining the weights shows that $\wedge^2 V \cong L(2n-4) \oplus L(2n-8) \oplus \cdots$, proving \eqref{GL.wedge}, from which \eqref{GL.sym} follows.
\end{proof}

\begin{lemma} \label{jordan}  Let $x \in \mathfrak{gl}_n=\mathfrak{gl}(V)$ with $\car k \ne 2$. Assume that $x$ has  $r$ Jordan blocks of odd
size.  Let $s$ be the number of Jordan blocks of $x$ on $\Sym^2V$ and $a$ the number of Jordan
blocks on $\wedge^2V$.   Then $s-a=r$.
 \end{lemma}

 \begin{proof}
 Write $V=V_1 \oplus \cdots \oplus V_m$ where $x$ on $V_i$ is a single Jordan block.
 Then (as an $x$-module),  $\Sym^2V =
\left( \oplus_{i < j} V_i \otimes V_j \right) \oplus \left (\oplus_i \Sym^2V_i \right)$
  and $\wedge^2 V = \left( \oplus_{i < j} V_i \otimes V_j \right) \oplus \left( \oplus_i \wedge^2V_i\right)$.
Thus, the difference in the number of Jordan blocks on $\Sym^2 V$ and $\wedge^2 V$ is just
the sum of the differences on $\Sym^2V_i$ and $\wedge^2V_i$ and the result follows
by the previous lemma.
 \end{proof}

Put $\lambda$ for the highest weight of the natural module of $\mathfrak{so}_n$, i.e., $\lambda = \omega_{\lfloor n/2 \rfloor}$ as in Table \ref{luebeck.table}.
We can now show  that $\mathfrak{so}_n$ acts generically freely on $L(2\lambda)$ in characteristic not $2$
by proving that our standard inequality \eqref{ineq.mother} holds.   (See \cite[Example 10.7]{GG:simple} or \cite[\S4.1]{GurLawther} for another proof that the generic
stabilizer is an elementary abelian $2$-group as a group scheme.)   If $\car k$ does not divide $n$, then $W$ is a summand of the natural representation $V$ with a trivial $1$-dimensional
complement.  If $\car k$ divides $n$, then $\Sym^2V$ is a uniserial module
with trivial head and socle and $W$ the unique nontrivial composition factor.

\begin{lemma}  \label{SO.S2}
Let $\mathfrak{g}=\mathfrak{so}_n =\mathfrak{so}(V)$ with $n \ge 5$ and
$\car k \ne 2$.
Set $W=L(2\lambda)$.  If $x \in \mathfrak{g}$ is nonzero nilpotent or noncentral semisimple,
then $\dim x^G + \dim W^x < \dim W$.
\end{lemma}

\begin{proof}

 If $x$ is semisimple,  by considering weights on $V$, $\Sym^2V$ and $\wedge^2V$,
we see that $\dim (\Sym^2V)^x - \dim (\wedge^2V)^x = \dim V^x $, using that $\car k \ne 2$.   Since
$\dim x^G + \dim (\wedge^2V)^x = \dim G$, we see that
\[
\dim x^G + \dim (\Sym^2V)^x = \dim G + \dim V^x = \dim \Sym^2V - (\dim V - \dim V^x),
\]
which is at most $\dim \Sym^2V - 2$, because the fixed space of $x$ has codimension at least 2.
Since $L(2\lambda)$ is a summand of $\Sym^2V$ as an $x$-module and $x$
is trivial on a complement, the result follows. (Note that if $\car k$ divides $n$, then $L(2\lambda)$ is not a summand of
$\Sym^2 V$ for $G$.)

If $x$ is nilpotent,  we argue similarly using the previous lemma.    Note that, by Lemma \ref{independent},
$\dim x^G + \dim (\wedge^2V)^x = \dim G$.
Thus by  Lemma \ref{jordan},
\[
\dim x^G + \dim (\Sym^2V)^x =   \dim G  +  r
= \dim \Sym^2(V) -(n-r)  \le \dim \Sym^2(V) - 2.
\]

Assume $\car k$ divides $n$, for otherwise the result follows.
Note that
$\dim W^x \le \dim (\Sym^2V)^x$ and the result follows unless $r=n-2$  and
$\dim W^x  = \dim (\Sym^2V)^x$.     The first condition implies that $x$ has
one nontrivial Jordan block  which must be of size $3$.     In this case,  a trivial calculation gives
$\dim W^x = \dim (\Sym^2V)^x - 2$ and the result follows.
\end{proof}

\section{Example: Vinberg representations} \label{vinberg}

Let $G$ be an algebraic group over a field $k$ and suppose $\theta \in \Aut(G)(k)$ has finite order $m$ not divisible by $\car k$.  Choosing a primitive $m$-th root of unity $\zeta \in k^\times$ gives a $\mathbb{Z}/m$-grading $\mathfrak{g} = \oplus_{i \in \mathbb{Z}/m} \mathfrak{g}_i$ where $\mathfrak{g}_i = \{ x \in \mathfrak{g} \mid \theta(x) = \zeta^i x \}$.  The sub-scheme $G_0$ of fixed points is smooth, see, for example, \cite[Exercise 2.4.10]{Conrad:red}.  In this section we will assume furthermore that $G$ is semisimple simply connected, in which case $G_0$ is connected reductive \cite[A.8.12]{CGP2} and can be described explicitly using the recipe in \cite[\S8]{St:end}.   Representations $(G_0, \mathfrak{g}_1)$ arising in this way are sometimes called Vinberg representations or $\theta$-groups.

\begin{lem} \label{regular.lem}
Let $T$ be a maximal torus in a simple algebraic group $G$ over a field $k$.  Then,  (1) $G = \Sp_{2n}$ for some $n \ge 1$ and $\car k = 2$ or (2) for a generic $t \in \Lie(T)$, the transporter $\{ x \in \Lie(G) \mid [x,t] \in \Lie(T) \}$ equals $\Lie(T)$.
\end{lem}

\begin{proof}
Write $x$ as a sum of an element $x_0 \in \Lie(T)$ and a generator $x_\alpha$ in the root subalgebra for each root $\alpha$.  Choose $t \in \Lie(T)$ generic and suppose $[x, t] \in \Lie(T)$, i.e., $\mathrm{d}\alpha(t) x_\alpha = [x_\alpha, t] = 0$ for all $\alpha$.  If (1) fails, then an exercise with roots as in \cite[Lemma 2.13]{ChaputRomagny} shows that $\mathrm{d}\alpha(t) \ne 0$ for every root $\alpha$, whence the claim.
\end{proof}

\begin{eg}[$m = 2$] \label{vinberg.2}
Suppose $\theta \in \Aut(G)(k)$ has order 2 and acts on a maximal torus $T$ via $\theta(t) = t^{-1}$ for $t \in T$, so $\Lie(T)$ is contained in $\mathfrak{g}_1$.  As $\car k \ne 2$, the centralizer in $\Lie(G)$ of a generic element in
$\Lie(T)$ is just $\Lie(T)$
which misses $\mathfrak{g}_0$, whence $\mathfrak{g}_0$ acts virtually freely on $\mathfrak{g}_1$.  More precisely, as a group scheme, the stabilizer in $G_0$ of a generic element of $\Lie(T)$ is the 2-torsion subgroup of $T$.
In this way, if we pick a subgroup $H$ of $G_0$, we conclude that $\mathfrak{h}$ acts generically freely on $\mathfrak{g}_1$.  We now consider examples where this applies; in each case a generic element of $\mathfrak{g}_1$ is a regular semisimple element of $\mathfrak{g}$, see \cite[\S7]{RLYG} or \cite[\S4.1]{GurLawther}.

(1): Take $G$ to have type $E_6$ and $\theta$ to be an outer automorphism so that $G_0$ is the adjoint group $\PSp_8$ of type $C_4$, compare, for example, \cite[\S5]{GPT}. In that case, $\mathfrak{g}_0 = \sp_8$ and $\mathfrak{g}_1$ is the Weyl module with highest weight 1000 (the ``spin'' representation).  If $\car k \ne 3$ (and $\ne 2$), then the representation $\mathfrak{g}_1$ is irreducible of dimension 42.

If $\car k = 3$, $\mathfrak{g}_1$ has head the irreducible representation of dimension 41 and radical $k = \mathfrak{z}(\mathfrak{g})$.  Let $v$ be a regular semisimple element of $\Lie(T) \subset \mathfrak{g}_1$.  The stabilizer in $\mathfrak{g}_0 = \sp_8$ of the image of $v$ in $\mathfrak{g}_1/k$ transports $v$ into $\mathfrak{z}(\mathfrak{g})$, and therefore belongs to $\Lie(T) \cap \mathfrak{g}_0 = 0$ by Lemma \ref{regular.lem}.  In particular, $\sp_8$ acts generically freely on the irreducible representation $\mathfrak{g}_1/k$.

(2): Take $G$ to be $E_8$ and $\theta$ to be such that $G_0$ has type $D_8$.  In this case, $G_0$ is a half-spin group $\Spin_{16}/\mu_2$ and $\mathfrak{g}_1$ is the 128-dimensional half-spin representation.  We conclude that $\mathfrak{g}_0$ acts generically freely when $\car k \ne 2$.  (Regardless of $\car k$, the generic stabilizer in $G_0$ is $(\mathbb{Z}/2)^4 \times (\mu_2)^4$ as a group scheme, see \cite[Th.~1.2]{GG:spin}.)

(3): Take $G$ to be $E_7$ and $\theta$ to be such that $G_0 = \SL_8/\mu_4$.  In this case, $\mathfrak{g}_1$ is the representation $\wedge^4 k^8$, which is generically free for $\car k \ne 2$.  (We provide a stronger result in Prop.~\ref{A.wedge}\eqref{A.wedge.good}.)

(4): Take $G$ to be $\SL_n$ with $\theta(g) = g^{-\top}$, so $G_0 = \SO_n$ and $\mathfrak{g}_1$ is the Weyl module with head $L(2\lambda)$ as in Lemma \ref{SO.S2}.
\end{eg}

The representation $\wedge^3 k^9$ of $G_0 = \SL_9/\mu_3$ arises also in this way when $G = E_8$ and $m = 3$, see \cite{Vinberg:tri} for a detailed analysis of the orbits in the case $\car k = 0$.  A generic element of $\mathfrak{g}_1$ is regular semisimple as an element of $\mathfrak{g}$ as in the references in Example \ref{vinberg.2} (\cite{GurLawther} produces an explicit regular nilpotent element), and we find that $\sl_9$ acts generically freely on $\wedge^3 k^9$. We will provide a stronger result below in Prop.~\ref{A.wedge}\eqref{A.wedge.good}.

\begin{rmk} \label{vinberg.equi}
The setup above can be generalized to accommodate the case where $\car k$ divides $m$.  Instead of an element $\theta \in \Aut(G)(k)$, one picks a homomorphism of group schemes $\mu_m \to \Aut(G)$ defined over $k$.  Again one obtains a $\mathbb{Z}/m$-grading on $\mathfrak{g}$ and an action of $\mu_m$ on $G$ such that $G_0$ is smooth.  Some statements about the representation $\mathfrak{g}_1$ of $G_0$ from \cite{Vinberg:Weyl} or \cite{Levy:Vinberg} do not hold in this generality.  For example, the representations from Example \ref{vinberg.2}(2) and (3) with $\car k = 2$ and the representation $\wedge^3 k^9$ of $\SL_9/\mu_3$ with $\car k = 3$, are not virtually free for $\mathfrak{g}_0$.  This can be seen by computationally verifying that Lemma \ref{nvfree} applies; in each of these three cases the stabilizer of a generic vector is a toral subalgebra whose dimension we list in Table \ref{irred.nvfree}.  Alternatively, for $x \in \mathfrak{g}_1$, $x^{[p]}$ is in $\mathfrak{z}_{\mathfrak{g}_0}(x)$, so finding any $x$ with $x^{[p]}$ not in the kernel of the representation (as is done in
\cite[Prop.~4.8.2, 4.9.2]{Auld}) suffices to show that the representation is not virtually free.

For the spin representation of $\Sp_8$, 2 is a special prime so is treated in \cite{GG:special}.
\end{rmk}

\section{Example: 3rd and 4th exterior powers} \label{wedge.sec}

We now consider the representation $\wedge^e (k^n)$ of $\SL_n$ and its analogues for $\SO_n$ and $\Sp_n$.  Whether or not such representations are virtually free has previously been considered in \cite{Auld} and elsewhere.  We will check here the stronger condition of whether or not inequality \eqref{ineq.mother} holds for $x \in \sl_n$.

\begin{prop} \label{A.wedge}
For the representation $V := \wedge^e(k^n)$ of $\SL_n$ and noncentral $x \in \sl_n$ with $x^{[p]} \in \{ 0, x \}$, we have:
\begin{enumerate}
\item \label{A.wedge.good} If (a) $e = 3$ and $n \ge 10$; (b) $e = 3$, $n = 9$, and $\car k \ne 2, 3$; (c) $e = 4$ and $n \ge 9$; or (d) $e = 4$, $n = 8$, and $\car k \ne 2$, then $\dim x^{\SL_n} + \dim V^x < \dim V$ and $\Lie(\SL_n/\mu_{\gcd(e,n)})$ acts generically freely on $V$.
\item \label{A.wedge.bad} If (a) $e = 3$, $n = 9$, and $\car k = 2, 3$ or (b) $e = 4$, $n = 8$, and $\car k = 2$, then $\dim x^{\SL_n} + \dim V^x \le \dim V$.
\end{enumerate}
\end{prop}

\begin{proof}
Suppose $x^{[p]} = 0$.  The case where $x^{[p]} = x$ follows from it by \cite[Lemma 4.2]{GG:large}.

Put $n_0 = 16$ if $e = 3$ and $n_0 = 10$ if $e = 4$.  If $n > n_0$, then $\dim V = \binom{n}{e} > 2.25n^2 \ge b(\SL_n)$, and \eqref{ineq.mother} holds by \cite{GG:large}.

So suppose $n \le n_0$.  We calculate $\dim x^{\SL_n}$, which does not depend on $\car k$, using the well-known formulas from, for example, \cite[p.~39]{LiebeckSeitz}.  For the other term in \eqref{ineq.mother}, $\dim V^x$, we view $V$ as a representation of $\SL_2$ where a nilpotent element acts as $x$ on $V$.  Arguing as in \cite[\S3.4]{McN:exterior}, we find that if $\car k > en$, then the Jordan form of $x$ acting on $V$ is the same as in characteristic zero.  Therefore, it suffices to check the inequality over $\mathbb{F}_p$ for $2 \le p < en$ and for some $p$ larger than $en$.  This is quickly done via computer.  For the convenience of the reader, Table \ref{A.wedge.table} lists the partitions corresponding to nilpotent $x$ for which we have equality in \eqref{A.wedge.bad}.  In case $\gcd(e,n) = 1$, this shows that $\sl_n$ acts generically freely on $\wedge^e k^n$.  For each $n \le n_0$ with $\gcd(e,n) > 1$, we verify that $\Lie(\SL_n / \mu_{\gcd(e,n)})$ acts generically freely using Magma.
\end{proof}

\begin{table}[hbt]
\begin{tabular}{cc|lrr}
representation&$\car k$&partition of $x$&$\dim x^G$&$\dim V^x$ \\ \hline\hline
$\wedge^3 \sl_9$&2&$(2^4, 1)$&40&44 \\ \hline
$\wedge^3 \sl_9$&3&$(9)$&72&12 \\
&&$(3^3)$&54&30\\ \hline
$\wedge^4\sl_8$&2&$(8)$&56&14 \\
&&$(4^2)$&48&22 \\
&&$(2^4)$&32&38
\end{tabular}
\caption{Complete list of nilpotent elements $x$ from Proposition \ref{A.wedge}\eqref{A.wedge.bad} where equality holds.} \label{A.wedge.table}
\end{table}

\subsection*{Trivectors and $\SO_n$}
Consider now $\SO_n$ with $n \ge 9$.  The representation $\wedge^3(k^n)$ is a fundamental Weyl module and is irreducible  if $\car k \ne 2$, see for example \cite[II.8.21]{Jantzen} and \cite[Remark 3.4]{McN:exterior}.

\begin{prop} \label{BD.wedge3}
For $\SO_n$ with $n \ge 9$ (over any field $k$) and $V := \wedge^3(k^n)$, the inequality \eqref{ineq.mother} holds for all nonzero $x \in \mathfrak{so}_n$ with $x^{[p]} \in \{ 0, x\}$, and $\mathfrak{g}$ acts generically freely on $V$.
\end{prop}

\begin{proof}
Under the tautological inclusion $\SO_n \hookrightarrow \SL_n$, suppose the inequality holds for $x$ viewed as an element of $\sl_n$.  Then as $\dim x^{\SO_n} \le \dim x^{\SL_n}$, the inequality holds also for $x$ as an element of $\mathfrak{so}_n$, completing the proof in case $n \ge 10$, or $n = 9$ and $\car k \ne 2, 3$ (Prop.~\ref{A.wedge}).

So suppose $n = 9$ and $\car k = 2$ or $3$.
Write $y$ for the image of $x$ in $\sl_n$ if $x$ is nilpotent, and for the image of the nilpotent specialization of $x$ as in the proof of Prop.~\ref{A.wedge} if $x$ is toral.  As in the previous paragraph, we are done if the inequality holds for $y$, and therefore we may assume that $y$ has partition $(2^4, 1)$ or $(3^3)$ as in the Table \ref{A.wedge.table}.  In either of these cases, we have $\dim x^{\SO_9} + \dim V^x \le 32 + \dim V^y \le 76 < \dim V$, completing the proof.
\end{proof}

\subsection*{Trivectors and $\Sp_{2\ell}$}
The natural representation of $\Sp_{2\ell}$ has an invariant alternating bilinear form $b$.  The subspace $V(\omega_{\ell-2})$ of $\wedge^3 k^{2\ell}$ spanned by those $v_1 \wedge v_2 \wedge v_3$ with $b(v_i, v_j) = 0$ for all $i, j$ is a submodule of dimension $\binom{2\ell}{3} - 2\ell$; it is the Weyl module with highest weight $\omega_{\ell-2}$, see \cite[\S1]{GowKleshchev}.  It is irreducible, i.e., $V(\omega_{\ell-2}) = L(\omega_{\ell-2})$, if and only if $\ell - 1$ is nonzero in $k$; otherwise $V(\omega_{\ell-2})$ has socle the natural module $k^{2\ell}$ and head $L(\omega_{\ell-2})$ \cite[Th.~2(i)]{PremetSup}.

\begin{prop} \label{C.wedge3}
Continue the
notation of the preceding paragraph and suppose that $p := \car k > 2$.  If
\begin{enumerate}
\item $\ell \ge 7$ or $\ell = 5$; or
\item $\ell = 6$ and $p \ne 5$; or
\item \label{C.sp8} $\ell = 4$ and $p \ne 3$,
\end{enumerate}
then for $V := V(\omega_{\ell-2})$ or $L(\omega_{\ell-2})$, inequality \eqref{ineq.mother} holds for all nonzero $x \in \sp_{2\ell}$ with $x^{[p]} \in \{ 0, x \}$.  In these cases, and also when $(\ell, p) = (6, 5)$,  $\sp_{2\ell}$ acts generically freely on $V$.
\end{prop}

In the case $\ell = 4$ and $\car k = 3$, $\sp_8$ does not act generically freely on $V$, see Example \ref{C.0100.3}.

\begin{proof}
If $\ell > 6$, then $\dim V(\omega_{\ell-2}) \ge \dim L(\omega_{\ell-2}) \ge \binom{2\ell}3 - 4\ell > b(\Sp_{2\ell})$, and the conclusion holds by \cite[Th.~12.2]{GG:large}.   So suppose $\ell = 4$, 5, or 6.  In particular, $\ell - 1$ is not zero in $k$ and $V = V(\omega_{\ell-2}) = L(\omega_{\ell-2})$.

First suppose that $x \in \sp_{2\ell}$ has $x^{[p]} = 0$.
If $\ell = 5$ or 6, we have $\dim L(\omega_{\ell-2})^x \le \dim V(\omega_{\ell-2})^x \le \dim (\wedge^3 k^{2\ell})^x$ and one checks that $\dim x^{\Sp_{2\ell}} + \dim (\wedge^3 k^{2\ell})^x < \dim L(\omega_{\ell-2})^x$, which need only be done for small characteristics as in the proof of Proposition \ref{A.wedge} and therefore amounts to a computer calculation.
If $\ell = 4$ (and $\car k > 3$), then $\wedge^3 k^8$ is a direct sum of $V$ and $k^8$, so $\dim V^x = \dim (\wedge^3 k^8)^x - \dim (k^8)^x$ and the same computer calculations verify \eqref{ineq.mother}.

For $x$ toral, we appeal to Lemma \ref{auld.popov}.

Lemma \ref{ineq.mother} gives that $\sp_{2\ell}$ acts generically freely, except in the case $\ell =6$ and $\car k =5$ which we verify using Magma.
\end{proof}

\section{Theorem \ref{MT} for restricted highest weights} \label{restricted.sec}

In this section, we will prove the following by deducing it from what has come before.

\begin{prop} \label{MT.restricted}
Theorem \ref{MT} holds if $\car k$ is not special for $G$ and the highest weight of $\rho$ is restricted.
\end{prop}

In addition to the case of type $A_1$, many other cases were handled in \cite{GG:large}.  Corollary B in ibid.\ reduces us to considering the following:
\begin{enumerate}
\item $G$ has type $A_\ell$ for $2 \le \ell \le 15$;
\item $G$ has type $B_\ell$ or $C_\ell$ with $2 \le \ell \le 11$; or
\item $G$ has type $D_\ell$ for $4 \le \ell \le 11$.
\end{enumerate}
Theorem A in ibid.\ allows us to further assume that $\dim V \le b(G)$ for $b(G)$ as in Table \ref{classical.table}.  Therefore, $V$ appears in tables A.6--A.48 in \cite{luebeck}.  (Note that the search space remains infinite: while there are only finitely many possibilities for $G$ and for the highest weight of $V$, we have not exhibited any upper bound on $\car k$.)

If $\dim V < \dim G - \dim \mathfrak{z}(\mathfrak{g})$, then certainly $\mathfrak{g}$ cannot act virtually freely on $V$.  If $\dim G \ge \dim V \ge \dim G - \dim \mathfrak{z}(\mathfrak{g})$, then examining the tables shows that $V$ is the irreducible representation with highest weight the highest root, which is not virtually free as in \cite[Example 3.4]{GG:large}.  Therefore we assume for the rest of this section that $\dim G < \dim V \le b(G)$.  We check, for each such $V$, that $\mathfrak{g}$ acts generically freely or that $(G, V, \car k)$ appears in Table \ref{irred.nvfree}.

\subsection*{Type $A$} For $A_\ell$, we consider $2 \le \ell \le 15$.

Proposition \ref{A.wedge} treats the representations $\wedge^3 k^{\ell+1}$ and $\wedge^4 k^{\ell+1}$ of $G$ of type $A_\ell$ apart from a few cases.
For $\wedge^3 k^9$ when $\car k = 2$, $\sl_9$ acts generically freely on $V$ by \cite[Prop.~4.8.3]{Auld}, by reasoning as in \S\ref{vinberg}, or as can be checked in Magma, despite the failure of inequality \eqref{ineq.mother}.
The representations $\wedge^3 k^9$ of $G = \SL_9/\mu_3$ when $\car k = 3$ or $\wedge^4 k^8$ of $G = \SL_8/\mu_4$ when $\car k = 2$ are not virtually free, see Remark \ref{vinberg.equi}.

We refer to \cite[Th.~4.3.2]{Guerreiro} for the representation of $A_\ell$ $(2 \le \ell \le 9)$ with highest weight $0\cdots03$ (and $\car k > 3$ so it is restricted); of $A_3$ with highest weight 004 and dimension 35; of $A_3$ with highest weight 102 and $\car k \ne 5$; of $A_2$ with highest weight 04 and dimension 15; and of $A_2$ with highest weight 13 or 22 with $\car k = 5$.

For the representation of $A_\ell$ $(3 \le \ell \le 9)$ with highest weight $0\cdots011$ with $\car k = 3$, we verify using Magma with $G = \SL_{\ell+1}/\mu_{\gcd(\ell+1,3)}$.  (Guerreiro checked that $\SL_{\ell+1}$ acts virtually freely, see Claim 12 on p.~97 of \cite{Guerreiro}.)

We refer to \cite{Auld} to see that the following are virtually free: the representation of $A_\ell$ ($\ell = 3, 4, 5$) and $\car k \ne 3$ with highest weight $0\cdots011$ (\S4.5);
the representation of $A_2$ with highest weight 12 and dimension 15 when $\car k \ne 2$ (\S4.1);
the representation of $A_3$ with highest weight 102 and dimension 32 when $\car k = 5$ (\S4.2);
the representation of $A_4$ with highest weight 0101 and dimension 40 or 45 (\S4.6);
the representation of $A_4$ with highest weight 0200 and dimension 45 or 50 when $\car k \ne 2$ (\S4.7);
the representation of $A_4$ with highest weight 0110 and dimension 51 when $\car k = 3$ (\S4.4);
and the representation of $A_5$ with highest weight 01001 and dimension 78 when $\car k = 5$ (\S4.6).

The representation of $A_3$ with highest weight 020 and $\car k \ne 2$ is virtually free by Lemma \ref{SO.S2}.

\subsection*{Types $B$ and $D$} For $G$ of type $D_\ell$ with $4 \le \ell \le 11$ or $B_\ell$ with $2 \le \ell \le 11$ and $\car k \ne 2$, the representation with highest weight $0\cdots02$ is handled by Lemma \ref{SO.S2}.

The (half) spin representations of $B_\ell$ for $7 \le \ell \le 11$ and $D_\ell$ for $\ell = 9, 10, 11$  (for $G = \Spin_n$ for $n = 15$, 17, 18, 19, 21, 22, 23 and $G = \Spin_n/\mu_2$ when $n = 20$) are generically free.  For $G = \Spin_{16}/\mu_2$, the half-spin representation has generic stabilizer $(\mathbb{Z}/2)^4 \times \mu_2^4$ as a group scheme, so it is a generically free representation of $\mathfrak{g}$ when $\car k \ne 2$ and is not generically free when $\car k = 2$.  For these results, see \cite{GG:spin}.

The representation $\wedge^3(k^n)$ of $\SO_n$ with $n = 9, \ldots, 13$ (i.e., $B_4$, $B_5$, $B_6$, $D_5$, $D_6$) with $\car k \ne 2$ is generically free for $\mathfrak{so}_n$ by Proposition \ref{BD.wedge3}.  When $\car k = 2$ (and $G$ has type $D$), $\wedge^3(k^n)$ is reducible with irreducible quotient $L(\omega_{\frac{n}2-2})$.  For $\SO_{10}$, we verify with Magma that $L(\omega_3)$ is generically free.  For $n = 12, 14, \ldots$, $\dim L(\omega_{\frac{n}2-2}) > b(\SO_n)$.

The representations of $B_2$ with highest weight 11 and $B_3$ with highest weight 101 are handled in Examples \ref{B.11} and \ref{B.101}.

The representation of $B_3$ ($\mathfrak{so}_7$) with highest weight 200 and dimension 35 when $\car k \ne 2$ appears as a summand in $\Sym^2 X$ for $X$ the (8-dimensional) spin representation; we have $\Sym^2 X \cong V \oplus k$.  The action on $V$ factors through the action of $\mathfrak{so}_8$ as in Lemma \ref{SO.S2}, whence we have the inequality for $V$.  Similarly the representation of $\mathfrak{so}_9$ with highest weight 2000 and dimension 126 is generically free because it factors through the generically free representation of $D_5$ as in Example \ref{D.20000}.

We refer to \cite[Th.~4.3.3]{Guerreiro} for the representations of $B_4$ ($\mathfrak{spin}_9$) with highest weight 1001 and dimension 112 or 128; of $B_3$ with highest weight 011 and dimension 63 and $\car k = 3$; of $B_3$ with highest weight 110 and dimension 64 and $\car k = 5$; and of $B_2$ with highest weights 30, 12, 03, or 21.

The representation of $D_4$ with highest weight 1001 has dimension greater than $\dim D_4$ and is generically free as in Example \ref{D.1001}.

For the representation of $D_5$ with highest weight 10001 of dimension 144 with $\car k \ne 2, 5$, \cite[Th.~4.3.5]{Guerreiro} proves it is generically free.  If $\car k = 2$, that representation has dimension $144 > b(G)$ and the inequality holds.  If $\car k = 5$, one checks with Magma that a random vector has zero-dimensional stabilizer.

The representation of $D_5$ with highest weight 20000 of dimension 126 is generically free by Example \ref{D.20000}.

\subsection*{Type $C$} Type $C$ is similar to types $B$ and $D$.  We consider $3 \le \ell \le 11$.  Excluding those $V$ with $\dim V > b(G)$ reduces us further to $3 \le \ell \le 6$.

The only case for which we refer to \cite{Guerreiro} is type $C_3$ with highest weight $011$ of dimension 50 with $\car k = 3$ (Th.~4.3.4), which can also be checked using Magma.  The representation of $C_5$ with highest weight 10000 is generically free by Example \ref{C.10000}.

We use Magma to verify that a random vector has trivial stabilizer when $\car k = 3$ for $C_5$ with highest weight $01000$ and dimension 121.

The representation $V$ of $C_4$ with highest weight 1000, which was treated in Example \ref{vinberg.2}.  It has $\dim V > \dim C_4$ and $V$ is generically free.

The representation of $\Sp_{2\ell}$  with highest weight $00 \cdots 0100$ with $\ell = 4, 5, 6$ is generically free by Proposition \ref{C.wedge3}, except for $C_4$ in characteristic 3, see Example \ref{C.0100.3}.

This completes the proof of Proposition \ref{MT.restricted}.$\hfill\qed$

\section{Theorem \ref{MT} for some tensor decomposable representations}

Next we treat a family of irreducible but tensor indecomposable representations.  Implicitly, we fix a pinning of $G$, which includes a choice of maximal torus $T$; the lattice $T^*$ of characters $T \to \mathbb{G}_m$ is contained in the weight lattice $P$ (and $T^*$ is identified with $P$ when $G$ is simply connected).  In this section we will prove:

\begin{prop} \label{MT.tensor}
Theorem \ref{MT} holds if $\car k$ is not special and the highest weight $\lambda$ of $\rho$ satisfies $\lambda = \lambda_0 + p\lambda_1$ where $p = \car k \ne 0$, $\lambda_0$ and $\lambda_1$ belong to $T^*$, and $\lambda_0$ is restricted.
\end{prop}

\begin{lem} \label{SL.tensor}
Let $G$ be a semisimple algebraic group.  For every representation $W$ of $G$, $\mathfrak{g}$ acts virtually freely on $W \otimes W^{[p]^i}$ and $W \otimes (W^*)^{[p]^i}$ for all $i > 0$.
\end{lem}

\begin{proof}
Put $V := W \otimes W^{[p]^i}$ or $W \otimes (W^*)^{[p]^i}$.

Suppose first that $G = \SL_n$ and $W$ is the natural module.  The representation of $\sl_n$ on $V$ is equivalent to a direct sum of $\dim W$ copies of the natural module, i.e., is equivalent to $\sl_n$ acting on $n$-by-$n$ matrices by left multiplication.  A generic matrix $v$ is invertible, so the generic stabilizer $(\sl_n)_v$ is zero.  (We remark that the group $\SL_n$ has finitely many orbits on $\P(V)$ \cite[Lemma 2.6]{GLMS}.)

Otherwise, the representation $G \to \GL(V)$ factors through $\SL(W) \to \GL(V)$, because $G$ is semisimple, and the previous paragraph shows that $\sl(V)$ acts virtually freely.
\end{proof}

Note that, in the lemma, the inequality \eqref{ineq.mother} need not hold.  Specifically, a root element $x \in \sl_n$ has $\dim x^{\SL_n} = 2(n-1)$ and kernel of dimension $n-1$ on the natural module, so we find $\dim x^{\SL_n} + \dim V^x = \dim V + n - 2$ for $V$ a sum of $n$ copies of the natural module.

\begin{eg} \label{SO.tensor}
Consider now $\SO_n$ for $n \ge 3$ and suppose that $\car k \ne 2$ or $n$ is even.  Take $V_c$ to be a direct sum of $c$ copies of the natural module $V_1$.  Let $v \in V_c$ be a vector each of whose $c$ components is a generic element of $V_1$; in particular, the $\SO_n$-invariant quadratic form $q$ is nonzero on each component of $v$.  The $c$ components generate a $c$-dimensional subspace $U$ of $V_1$ on which the bilinearization of $q$ is nondegenerate if $\car k \ne 2$ or $c$ is even, or has a 1-dimensional radical on which $q$ does not vanish if $\car k = 2$ and $c = n -1$.

Therefore, if $c = n -1$, an element of $\mathfrak{so}_n$ that annihilates $U$ is zero on $V_1$, hence $\mathfrak{so}_n$ acts generically freely on $V_{n-1}$.  If $c = n-2$, then an element of $\mathfrak{so}_n$ that annihilates $U$ belongs to $\mathfrak{so}(U^\perp)$ for $U^\perp$ the 2-dimensional subspace of $V_1$ orthogonal to $U$ with respect to the bilinear form, i.e., the stabilizer of a generic $v \in V_{n-2}$ is a rank 1 toral subalgebra of $\mathfrak{so}_n$.
(In case $\car k = 0$, Table 2 of \cite{Elashvili:can} summarizes this and many similar examples.  See also \cite{BGS} for more general arguments in a similar vein.)

Finer results can be proved.  For example, suppose $\car k = 2$ and $n \ge 8$ is even.  We have already observed that $\mathfrak{so}_n$ acts generically freely on $V_{n-1}$, but more is true: \emph{the inequality \eqref{ineq.mother} holds for noncentral $x \in \mathfrak{go}_n$ such that $x^{[2]} \in \{ 0, x \}$.}   If $x^{[2]} = 0$, then,  as a linear transformation on $V_1$, $x$ has even rank $r \le n$ and $\dim x^{\SO_n} \le r(n-r)$, so
\[
\dim V^x_{n-1} + \dim x^{\SO_n} = (n-r)(n-1+r).
\]
This is less than $\dim V_{n-1}$ since $r \ge 2$.
In case $x^{[2]} = x$, the inequality is verified by arguing as in the proof of \cite[Cor.~10.6]{GG:large}.
\end{eg}

\begin{eg}[$A_3$] \label{A3.eg}
Suppose $G$ has type $A_3$, $p := \car k \ne 0$, and consider the irreducible representation $V$ with highest weight $\lambda = \omega_2 + p^e \omega_1$ for $e \ge 1$; we take $G$ to be the member of the isogeny class that acts faithfully on $V$.  The composition $\SL_4 \to G \to \GL(V)$ is, as a representation of $\SL_4$,  $L(\omega_1)^{[p]^e} \otimes L(\omega_2) = (k^4)^{[p]^e} \otimes \wedge^2 (k^4)$.  As a representation of the Lie algebra $\sl_4$, $V$ is a sum of 4 copies of $\wedge^2 (k^4)$.

If $p$ is odd, then $G$ is $\SL_4$.    The differential of the isogeny $\SL_4 \to \SL_4/\mu_2 = \SO_6$ identifies $\sl_4$ with $\mathfrak{so}_6$, and the action of $\mathfrak{so}_6$ on a sum of 4 copies of its natural represention is not generically free by Example \ref{SO.tensor}, so $V$ is not generically free for $\sl_4$.

If $p = 2$ and $e \ge 2$, then $V$ is faithful as a representation of $\SO_6$, and the same argument shows that $V$ is not generically free for $\mathfrak{so}_6$.  Nonetheless, $\sl_4$ does act virtually freely.  This can be seen by noting that semisimple elements of $\mathfrak{so}_6$ have eigenvalues that come in pairs (say, $\lambda_1, \lambda_2, \lambda_3$ each occurring twice), the image of $\sl_4$ in $\sl_6$ only contains those with $\lambda_1 + \lambda_2 + \lambda_3 = 0$ (because the sum on the left side is $\SL_4$ invariant \cite[Example 8.5]{GG:simple} and the image of $\sl_4$ is the unique codimension-1 $\SL_4$-submodule of $\mathfrak{so}_6$), and the elements of the generic stabilizer $\mathfrak{so}_2$ in $\mathfrak{so}_6$ have two of $\lambda_1, \lambda_2, \lambda_3$ equal to zero.  Alternatively, Magma verifies that $\sl_4$ acts virtually freely.

Finally, if $p = 2$ and $e = 1$, then $G = \PGL_4$ and we claim that $\mathfrak{pgl}_4$ acts generically freely on $V$.
Write down the map $\mathfrak{pgl}_4 \to \mathfrak{gl}(V)$ explicitly as follows.   Fixing a pinning for $\SL_4$ and bases for $k^4$ and $\wedge^2 k^4$ consisting of weight vectors, we can write down the image in $\mathfrak{gl}(V)$ of the generator of each of the root subalgebras of $\sl_4$.  Now, the image of $\sl_4$ in $\mathfrak{pgl}_4$ has codimension 1, corresponding to the statement that the weight lattice for $A_2$ is generated by the root lattice and the fundamental weight $\omega_1$, so $\mathfrak{pgl}_4$ is generated by the image of $\sl_4$ and a semisimple element $h$ corresponding to $\omega_1$ in the sense that $hv_\delta = \qform{\delta, \omega_1} v_\delta$ for every weight vector $v_\delta$ of weight $\delta$ in every representation of $\PGL_4$; this describes the image of $h$ in $\mathfrak{gl}(V)$.  From this, Magma verifies that $\mathfrak{pgl}_4$ acts generically freely on $V$.
\end{eg}

\begin{proof}[Proof of Proposition \ref{MT.tensor}]
By hypothesis, $V \cong L(\lambda_0) \otimes L(\lambda_1)^{[p]}$ \cite[I.3.16]{Jantzen} and $\lambda_0 \ne 0$ (Lemma \ref{faith}\eqref{faith.0}).
If $\lambda_1 = 0$ then $\lambda$ is restricted and we are done by Proposition \ref{MT.restricted}, so assume that $\lambda_1 \ne 0$.
By Lemma \ref{faith}\eqref{faith.1}, $\dim V > \dim G$; our task is to show that $V$ is generically free if and only if $(G, \car k, V)$ does not appear in Table \ref{irred.nvfree}.

As $\mathfrak{g}$ acts trivially on $L(\lambda_1)^{[p]}$, the representation $V$ of $\mathfrak{g}$ is the same as a sum of $\dim L(\lambda_1)$ copies of $L(\lambda_0)$.
Let $m(G)$ be the dimension of the smallest nonzero irreducible representation of $G$ with restricted highest weight as in Table \ref{mG.table}.  If $\dim L(\lambda_0) > b(G)/m(G)$ for $b(G)$ as in Table \ref{classical.table}, then $\dim V > b(G)$ and $\mathfrak{g}$ acts virtually freely on $V$ by part I.  In particular, if $m(G)^2 > b(G)$ --- as is true for $G$ exceptional --- we are done.

If $\dim L(\lambda_0) = m(G)$, then $V$ (considered as a $\mathfrak{g}$-module) contains $L(\lambda_0) \otimes L(\lambda_0)^{[p]}$ as a summand, and we are done by Lemma \ref{SL.tensor}.  Therefore, it remains to inspect $\oplus^{m(G)} L(\lambda_0)$ for those nonzero restricted dominant weights $\lambda_0$ with
\begin{equation} \label{dim.bd}
m(G) < \dim L(\lambda_0) \le b(G)/m(G).
\end{equation}
We proceed case by case, where the possibilities for $\lambda_0$ are enumerated in \cite{luebeck}.  We find very few possibilities, reflecting the fact that the bounds in \eqref{dim.bd} both grow linearly in the rank of $G$.

\subsubsection*{Type $B$}
For $G$ of type $B_\ell$ with $\ell \ge 3$, the constraint \eqref{dim.bd} reduces us to consider the case where $G$ has type $B_3$ and $L(\lambda_0)$ is the 8-dimensional spin representation.  Then $L(\lambda_0)$ factors through $\Spin_8$ as a vector representation, and we apply Example \ref{SO.tensor} to see that the generic stabilizer in $\mathfrak{so}_8$ is trivial and therefore the same is true for $\mathfrak{spin}_7$.

\subsubsection*{Type $C$}
For $G$ of type $C_\ell$ with $\ell \ge 2$, the dimension bounds reduce us to considering
$C_2$ where $L(\lambda_0)$ is the 5-dimensional fundamental irreducible representation, i.e., $\mathfrak{g} = \sp_4 = \mathfrak{so}_5$ acting on a sum of four copies of
the 5-dimensional module.  This action is generically free by Example \ref{SO.tensor}.

\subsubsection*{Type $D$}
For $G$ of type $D_\ell$ with $\ell \ge 4$, the unique dominant weight $\lambda_0$ that must be considered is for type $D_5$ with
$\car k \ne 2$ and $L(\lambda_0)$ a half-spin representation, so $G = \Spin_{10}$ and we may take $V = \oplus^{10} L(\lambda_0)$.
Now $\dim L(\lambda_0)^x \le 12$ by \cite[Prop.~2.1(i)]{GG:spin} and   \eqref{ineq.mother} holds  unless
$\dim x^G =40$ and $x$ is regular.  Thus, it suffices to show that $\dim L(\lambda_0)^x < 12$ for $x$ regular.
By passing to closures it suffices to take $x$ regular nilpotent.  Let $y$ be a nilpotent element in the Levi
of type $\mathfrak{gl}_5$ with two Jordan blocks of size $5$ (in the natural representation of $\mathfrak{so}_{10}$).   As we have seen,
two conjugates of $y$ generate an $\sl_5$.  On the half-spin module, $\sl_5$ has one trivial submodule
and two nontrivial irreducible composition factors.  Thus, $\dim L(\lambda_0)^y \le 8$ and since $y$ is
in the closure of $x^G$, the same is true of $x$ and $V$ is generically free for $\mathfrak{g}$.

\subsubsection*{Type $A$}
For type $A_\ell$ with $\ell \ge 2$, the dimension bounds \eqref{dim.bd} reduce us to the following cases:
\begin{enumerate}
	\renewcommand{\theenumi}{\roman{enumi}}
	\item \label{tensor.2} $A_2$, where $\car k \ne 2$ and $L(\lambda_0) = \Sym^2(k^3)$;
	\item \label{tensor.3} $A_3$, where $L(\lambda_0) = \wedge^2(k^4)$; and
	\item \label{tensor.4} $A_4$, where $\car k \ne 2$ and $L(\lambda_0) = \wedge^2(k^5)$.
\end{enumerate}
Case \eqref{tensor.3} is handled in Example \ref{A3.eg}.

For cases \eqref{tensor.2} and \eqref{tensor.4}, $G = \SL_{\ell+1}$.  We verify inequality \eqref{ineq.mother} for nonzero $x \in \mathfrak{g}$ with $x^{[p]} = 0$.  This will verify it also for noncentral toral $x \in \mathfrak{g}$ \cite[Lemma 4.2]{GG:large}, whence $\mathfrak{g}$ acts generically freely on $V$.

Consider the most complicated case, \eqref{tensor.4}.  For $x \in \sl_5$ a root element, i.e., nilpotent with partition $(2,1^3)$, we have $\dim x^G = 8$ and $\dim L(\lambda_0)^x = 7$, and $8+5\cdot 7 = 43 < 50$.  For $x$ nilpotent with partition $(2,2,1)$, we have $\dim x^G = 12$ and $\dim L(\lambda_0)^x = 6$, and $12 + 5 \cdot 6 = 42 < 50$.

For $x$ nilpotent with partition $(3,1^2)$, we have $\dim L(\lambda_0)^x = 4$ and $\dim x^G \le \dim G - \rank G = 20$.  Consequently, for every nilpotent $y \in \sl_5$ such that $x \in \overline{y^G}$, we have:
\[
\dim y^G + \dim V^y \le (\dim G - \rank G) + m(G) \cdot \dim L(\lambda_0)^x < \dim V.
\]
Thus we have verified the inequality \eqref{ineq.mother} for every nonzero nilpotent in $\sl_5$.

Finally consider case \eqref{tensor.2}.   There are two classes of nilpotent elements.  If
$x$ is a root element, then $\dim L(\lambda_0)^x =3$ and $\dim x^G=4$.  If $x$ is regular, then
$\dim L(\lambda_0)^x =2$ and $\dim x^G=6$.  In both cases, the inequality \eqref{ineq.mother}
holds.
\end{proof}

\section{Conclusion of proof of Theorem \ref{MT}} \label{final.sec}

We now complete the proof of Theorem \ref{MT}, assuming $\car k$ is not special.  Write the highest weight $\lambda$ of $V$ as $\lambda = \lambda_0 + p \lambda_1$ for $\lambda_0, \lambda_1$ dominant weights (not necessarily in $T^*$) and $\lambda_0$ restricted.

Put $\pi \!: \widetilde{G} \to G$ for the simply connected cover.  If $G$ is itself simply connected, then we are done by Proposition \ref{MT.tensor}.  Thus we are also done if $\mathrm{d}\pi$ is surjective (i.e., if $\ker \mathrm{d}\pi = 0$), and we may assume that the finite group scheme $\ker \pi$ is not smooth and has exponent divisible by $p$, reducing us to the following cases: $G = \SL_n / \mu_m$ where $p \mid m$ (and $n \ge 3$), $G$ has type $D_\ell$ and $p = 2$, $G$ is adjoint of type $E_6$ and $p = 3$, or $G$ is adjoint of type $E_7$ and $p = 2$.

Suppose that $\lambda_0 = 0$.  The composition $\mathrm{d}\rho \, \mathrm{d}\pi$ is the representation $L(\lambda_1)^{[p]}$ of $\widetilde{G}$, whence $\tilde{\g}$ acts trivially on $V$, so $V$ is not faithful.

On the other hand, the case where $\lambda_1 = 0$ is done by Prop.~\ref{MT.restricted}, so we may assume that $\lambda_0$ and $\lambda_1$ are both nonzero.

Now $\lambda$ vanishes on $\ker \pi$ (because $\lambda \in T^*$) and $p \lambda_1$ vanishes on the $p$-torsion in $\ker \pi$, so it follows that $\lambda_0$ vanishes on the $p$-torsion in $\ker \pi$.  Put $m_p(G)$ for the minimum of $\dim L(\mu)$ as $\mu$ ranges over nonzero restricted dominant weights such that $\ker \mu$ has exponent divisible by $p$; the value of $m_p(G)$ is listed in Table \ref{mpG.table}.  The pullback $\rho\,\pi$ of $\rho$ is the representation $L(\lambda_0) \otimes L(\lambda_1)^{[p]}$ of $\widetilde{G}$, so $\dim V \ge m_p(G) \, m(G)$.

\begin{table}[hbt]
\begin{tabular}{ccrr}
type $G$&$p$&$m_p(G)$&$m(G)$ \\ \hline
$A_\ell$ (odd $\ell \ge 3$)&2&$\binom{\ell+1}{2}$&$\ell+1$ \\
$A_\ell$ ($\ell \ge 2$)&odd $p \mid \ell+1$&$(\ell+1)^2-2$&$\ell+1$ \\
$D_\ell$ ($\ell \ge 4$) &2&$2\ell$&$2\ell$ \\
$E_6$&3&77&27 \\
$E_7$&2&132&56
\end{tabular}
\caption{Value of $m_p(G)$ for various $p$ and $G$.} \label{mpG.table}
\end{table}

In particular, if $m_p(G) \, m(G)$ is greater than $b(G)$, we are done by the main result of part I.  This handles the cases where $G$ has type $E_6$ or $E_7$, or type $A_\ell$ when $p$ is odd.

\begin{lem} \label{tensor}
Consider representations $V$ and $W$ of a Lie algebra $L$.  For nilpotent $x \in L$, $\dim (V \otimes W)^x \le (\dim V^x) (\dim W)$.
\end{lem}

\begin{proof}
Put $\psi \!: L \to \mathfrak{gl}(V)$ and $\zeta \!: L \to \mathfrak{gl}(W)$ for the two actions.
For each $t \in k$, $t \zeta$ is a representation of the Lie algebra $kx$; since $x$ is nilpotent the ones with $t \ne 0$ are all equivalent.    Therefore, writing  $U_t$ for the representation $\psi \otimes (t \zeta)$ --- so $U_1 = V \otimes W$ --- the dimension of $(U_t)^x$ is constant for $t \ne 0$.  Now $U_0$ is a direct sum of $\dim W$ copies of $(V, \psi)$, so $\dim (U_0)^x = (\dim V^x)(\dim W)$.  On the other hand, by upper semicontinuity of dimension, $\dim (U_0)^x \ge \dim (U_t)^x$ for $t \ne 0$.
\end{proof}

\subsubsection*{Type $D_\ell$} Suppose now that $G$ has type $D_\ell$ and $\car k = 2$, in which case $m_p(G) m(G) = 4\ell^2 = b(G)$ and we are done unless $\dim L(\lambda_0) = \dim L(\lambda_1) = 2\ell$ as representations of $\widetilde{G}$.

If $\ell > 4$, the only restricted irreducible representation of $\widetilde{G}$ with restricted highest weight and of dimension $2\ell$ is the vector representation $\Spin_{2\ell} \to \SO_{2\ell}$ with highest weight $\omega_\ell$ or a Frobenius twist of it, hence $\lambda$ is an odd multiple of $\omega_\ell$.  In particular, $\omega_\ell \in T^*$, so $\lambda_0, \lambda_1 \in T^*$ and we are done by Proposition \ref{MT.tensor}.

For $\ell = 4$, the representations $L(\omega_i)$ with $i = 1, 3, 4$ of $\Spin_8$ all have dimension 8, and up to graph automorphism we are left with considering the case $\lambda = 2^e \omega_1 + \omega_4$ for some $e \ge 1$.  Thus we may view $G$ as $\SO_8$, and the pullback to $\Spin_8$ of $V$ is the natural representation $k^8$ of $\SO_8$ (with highest weight $\omega_4$) tensored with a Frobenius twist of a half-spin representation; as a representation of $\SO_8$ we find $k^8 \otimes L(2^e \omega_1)$.

Arguing as in Example \ref{SO.tensor}, a square-zero $x \in \mathfrak{so}_8$ has even rank $r \le 4$, $\dim x^{\SO_n} \le r(8-r)$ and $\dim (k^8)^x = 8 - r$, so $\dim (k^8 \otimes L(2^e \omega_1))^x \le 8(8-r)$ (Lemma \ref{tensor}) and $\dim x^{\SO_n} + \dim V^x \le 64-r^2 < \dim V$, verifying \eqref{ineq.mother}.  From this, we deduce \eqref{ineq.mother} also for noncentral toral $x \in \mathfrak{so}_8$ as in Example \ref{SO.tensor} and it follows that $\mathfrak{so}_8$ acts generically freely on $V$.

\subsubsection*{Type $A_\ell$} Suppose now that $G = \SL_n / \mu_m$ with $\car k = 2$, so $m$ is even and $n \ge 4$.  As $m_p(G) = \dim L(\omega_2) = \binom{n}{2}$, we have
\[
m_p(G) \, m(G) - b(G) = \frac12 \left( n^3 - 5n^2 + 4 \right).
\]
which is positive for $n \ge 5$.  So suppose further that $n = 4$, in which case $b(G) = 30$ and Table A.7 in \cite{luebeck} says that the smallest nontrivial restricted irreducible representations of $\SL_4$ have dimension 4 (the natural representation $k^4$ or its dual) or 6 ($\wedge^2 k^6$ with highest weight $\omega_2$), so $\lambda_0 = \omega_2$.  As $\SL_4$ does not act faithfully, up to graph automorphism $\lambda = 2^e \omega_1 + \omega_2$ for some $e \ge 1$.  These representations were handled in Example \ref{A3.eg}.  This completes the proof of Theorem \ref{MT} when $\car k$ is not special.$\hfill\qed$

\medskip

The proof of Theorem \ref{MT} in the remaining cases, when $\car k$ is special, will appear in part III, \cite{GG:special}.

\bibliographystyle{amsalpha}
\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}