1 Introduction
The essential dimension of an algebraic group
$G$
is, roughly speaking, the number of parameters needed to specify a
$G$
-torsor. Since the notion was introduced in [Reference Buhler and ReichsteinBR97] and [Reference Reichstein and YoussinRY00], there have been many papers calculating the essential dimension of various groups, such as [Reference Karpenko and MerkurjevKM03, Reference Chernousov and SerreCS06, Reference FlorenceFlo08, Reference Karpenko and MerkurjevKM08, Reference Gille and ReichsteinGR09, Reference MerkurjevMer10, Reference Baek and MerkurjevBM12, Reference Lötscher, MacDonald, Meyer and ReichsteinLMMR13], etc. (See [Reference MerkurjevMer16, Reference MerkurjevMer13] or [Reference ReichsteinRei10] for a survey of the current state of the art.) For connected groups, the essential dimension of
$G$
tends to be less than the dimension of
$G$
as a variety; for semisimple groups this is well known.Footnote
1
Therefore, the discovery by Brosnan et al. in [Reference Brosnan, Reichstein and VistoliBRV10] that the essential dimension of the spinor group
$\operatorname{Spin}_{n}$
grows exponentially as a function of
$n$
(whereas
$\dim \operatorname{Spin}_{n}$
is quadratic in
$n$
), was startling. Their results, together with refinements for
$n$
divisible by 4 in [Reference Merkurjev, Baeza, Chan, Hoffmann and Schulze-PillotMer09] and [Reference Chernousov and MerkurjevCM14], determined the essential dimension of
$\operatorname{Spin}_{n}$
for
$n>14$
over algebraically closed fields of characteristic zero. One goal of the present paper is to extend this result to all characteristics except 2.
Generically free actions
The source of the characteristic zero hypothesis in [Reference Brosnan, Reichstein and VistoliBRV10] is that the upper bound relies on a fact about the action of spin groups on spinors that is only available in the literature in case the field
$k$
has characteristic zero. Recall that a group
$G$
acting on a vector space
$V$
is said to act generically freely if there is a dense open subset
$U$
of
$V$
such that, for every
$K\supseteq k$
and every
$u\in U(K)$
, the stabilizer in
$G$
of
$u$
is the trivial group scheme. We prove the following theorem.
Theorem 1.1. Suppose
$n>14$
. Then
$\operatorname{Spin}_{n}$
acts generically freely on the spin representation if
$n\equiv 1,3\hspace{0.2em}{\rm mod}\hspace{0.2em}4$
; a half-spin representation if
$n\equiv 2\hspace{0.2em}{\rm mod}\hspace{0.2em}4$
; or a direct sum of the vector representation and a half-spin representation if
$n\equiv 0\hspace{0.2em}{\rm mod}\hspace{0.2em}4$
. Furthermore, if
$n\equiv 0\hspace{0.2em}{\rm mod}\hspace{0.2em}4$
and
$n\geqslant 20$
, then
$\operatorname{HSpin}_{n}$
acts generically freely on a half-spin representation.
(We also compute the stabilizer of a generic vector for the values of
$n$
not covered by Theorem 1.1. See below for precise statements.)
Throughout, we write
$\operatorname{Spin}_{n}$
for the split spinor group, which is the simply connected cover (in the sense of linear algebraic groups) of the split group
$\text{SO}_{n}$
. To be precise, the vector representation is the map
$\operatorname{Spin}_{n}\rightarrow \text{SO}_{n}$
, which is uniquely defined up to equivalence unless
$n=8$
. For
$n$
not divisible by 4, the kernel
$\unicode[STIX]{x1D707}_{2}$
of this representation is the unique central
$\unicode[STIX]{x1D707}_{2}$
subgroup scheme of
$\operatorname{Spin}_{n}$
.
For
$n$
divisible by 4, the natural action of
$\operatorname{Spin}_{n}$
on the spinors is a direct sum of two inequivalent representations, call them
$V_{1}$
and
$V_{2}$
, each of which is called a half-spin representation. The center of
$\operatorname{Spin}_{n}$
in this case contains two additional copies of
$\unicode[STIX]{x1D707}_{2}$
, namely the kernels of the half-spin representations
$\operatorname{Spin}_{n}\rightarrow \operatorname{GL}(V_{i})$
, and we write
$\operatorname{HSpin}_{n}$
for the image of
$\operatorname{Spin}_{n}$
(the isomorphism class of which does not depend on
$i$
). For
$n\geqslant 12$
,
$\operatorname{HSpin}_{n}$
is not isomorphic to
$\text{SO}_{n}$
.
Theorem 1.1 is known under the additional hypothesis that
$\operatorname{char}k=0$
, see [Reference Andreev and PopovAP71, Theorem 1] for
$n\geqslant 29$
and [Reference PopovPop88] for
$n\geqslant 15$
. The proof below is independent of the characteristic zero results, and so gives an alternative proof.
To simplify some statements, we write ‘an irreducible (half-)spin representation of
$\operatorname{Spin}_{n}$
’ to mean a fundamental minuscule (hence, irreducible) representation of dimension
$2^{\lfloor (n-1)/2\rfloor }$
which is the spin representation for
$n$
odd, whereas for
$n$
even it is one of two inequivalent half-spin representations, compare [Reference ChevalleyChe97, II.4.3, II.5.1].
Table 1. Stabilizer subgroup scheme in
$\operatorname{Spin}_{n}$
of a generic vector in an irreducible (half-)spin representation for small
$n$
.
We note that Guerreiro proved that the generic stabilizer in the Lie algebra
$\mathfrak{spin}_{n}$
, acting on a (half-)spin representation, is central for
$n=22$
and
$n\geqslant 24$
, see [Reference GuerreiroGue97, Tables 6 and 9]. At the level of group schemes, this gives the weaker result that the generic stabilizer is finite étale. Regardless, we recover these cases quickly, see §3; the longest part of the proof of Theorem 1.1 concerns the cases
$n=18$
and 20.
Generic stabilizer in
$\operatorname{Spin}_{n}$
for small
$n$
For completeness, we list the stabilizer in
$\operatorname{Spin}_{n}$
of a generic vector for
$6\leqslant n\leqslant 14$
in Table 1. The entries for
$n\leqslant 12$
and
$\operatorname{char}k\neq 2$
are from [Reference IgusaIgu70]; see §§7–9 for the remaining cases. The case
$n=14$
is particularly important due to its relationship with the structure of 14-dimensional quadratic forms with trivial discriminant and Clifford invariant (see [Reference RostRos99a, Reference RostRos99b, Reference GaribaldiGar09] and [Reference MerkurjevMer17]), so we calculate the stabilizer in detail in that case.
For completeness, we also record the following.
Theorem 1.2. Let
$k$
be an algebraically closed field. The stabilizer in
$\operatorname{HSpin}_{16}$
of a generic vector in a half-spin representation is isomorphic to
$(\mathbb{Z}/2)^{4}\times (\unicode[STIX]{x1D707}_{2})^{4}$
.
The proof when
$\operatorname{char}k\neq 2$
is short, see Lemma 4.2. The case of
$\operatorname{char}k=2$
is treated in an appendix by Alexander Premet. (Eric Rains has independently proved this result.)
Essential dimension
We recall the definition of essential dimension. For an extension
$K$
of a field
$k$
and an element
$x$
in the Galois cohomology set
$H^{1}(K,G)$
, we define
$\operatorname{ed}(x)$
to be the minimum of the transcendence degree of
$K_{0}/k$
for
$k\subseteq K_{0}\subseteq K$
such that
$x$
is in the image of
$H^{1}(K_{0},G)\rightarrow H^{1}(K,G)$
. The essential dimension of
$G$
, denoted
$\operatorname{ed}(G)$
, is defined to be
$\max \operatorname{ed}(x)$
as
$x$
varies over all extensions
$K/k$
and all
$x\in H^{1}(K,G)$
. There is also a notion of essential
$p$
-dimension for a prime
$p$
. The essential
$p$
-dimension
$\operatorname{ed}_{p}(x)$
is the minimum of
$\operatorname{ed}(\operatorname{res}_{K^{\prime }/K}x)$
as
$K^{\prime }$
varies over finite extensions of
$K$
such that
$p$
does not divide
$[K^{\prime }:K]$
, where
$\operatorname{res}_{K^{\prime }/K}\!:H^{1}(K,G)\rightarrow H^{1}(K^{\prime },G)$
is the natural map. The essential
$p$
-dimension of
$G$
,
$\operatorname{ed}_{p}(G)$
, is defined to be the minimum of
$\operatorname{ed}_{p}(x)$
as
$K$
and
$x$
vary; trivially,
$\operatorname{ed}_{p}(G)\leqslant \operatorname{ed}(G)$
for all
$p$
and
$G$
, and
$\operatorname{ed}_{p}(G)=0$
if for every
$K$
every element of
$H^{1}(K,G)$
is killed by some finite extension of
$K$
of degree not divisible by
$p$
.
Our Theorem 1.1 gives upper bounds on the essential dimension of
$\operatorname{Spin}_{n}$
and
$\operatorname{HSpin}_{n}$
regardless of the characteristic of
$k$
. Combining these with the results of [Reference Brosnan, Reichstein and VistoliBRV10, Reference Merkurjev, Baeza, Chan, Hoffmann and Schulze-PillotMer09, Reference Chernousov and MerkurjevCM14, Reference LötscherLot13] quickly gives the following, see §6 for details.
Corollary 1.3. For
$n>14$
and
$\operatorname{char}k\neq 2$
,Footnote
2
$$\begin{eqnarray}\operatorname{ed}_{2}(\operatorname{Spin}_{n})=\operatorname{ed}(\operatorname{Spin}_{n})=\left\{\begin{array}{@{}ll@{}}2^{(n-1)/2}-{\displaystyle \frac{n(n-1)}{2}}\quad & \text{if }n\equiv 1,3\hspace{0.2em}{\rm mod}\hspace{0.2em}4;\\ 2^{(n-2)/2}-{\displaystyle \frac{n(n-1)}{2}}\quad & \text{if }n\equiv 2\hspace{0.2em}{\rm mod}\hspace{0.2em}4;\text{ and}\\ 2^{(n-2)/2}-{\displaystyle \frac{n(n-1)}{2}}+2^{m}\quad & \text{if }n\equiv 0\hspace{0.2em}{\rm mod}\hspace{0.2em}4\end{array}\right.\end{eqnarray}$$
where
$2^{m}$
is the largest power of 2 dividing
$n$
in the final case. For
$n\geqslant 20$
and divisible by 4,
$$\begin{eqnarray}\operatorname{ed}_{2}(\operatorname{HSpin}_{n})=\operatorname{ed}(\operatorname{HSpin}_{n})=2^{(n-2)/2}-\frac{n(n-1)}{2}.\end{eqnarray}$$
Although Corollary 1.3 is stated and proved for split groups, it quickly implies analogous results for nonsplit forms of these groups, see [Reference LötscherLot13, §4] for details.
Combining the corollary with the calculation of
$\operatorname{ed}(\operatorname{Spin}_{n})$
for
$n\leqslant 14$
by Markus Rost in [Reference RostRos99a, Reference RostRos99b] (see also [Reference GaribaldiGar09]), we find for
$\operatorname{char}k\neq 2$
:
Notation
Let
$G$
be an affine group scheme of finite type over a field
$k$
, which we assume is algebraically closed. (If
$G$
is additionally smooth, then we say that
$G$
is an algebraic group.) If
$G$
acts on a variety
$X$
, the stabilizer
$G_{x}$
of an element
$x\in X(k)$
is a subgroup scheme of
$G$
with
$R$
-points
$$\begin{eqnarray}G_{x}(R)=\{g\in G(R)\mid gx=x\}\end{eqnarray}$$
for every
$k$
-algebra
$R$
.
If
$\operatorname{Lie}(G)=0$
, then
$G$
is finite and étale. If additionally
$G(k)=1$
, then
$G$
is the trivial group scheme
$\operatorname{Spec}k$
.
For a representation
$\unicode[STIX]{x1D70C}\!:G\rightarrow \operatorname{GL}(V)$
and elements
$g\in G(k)$
and
$x\in \operatorname{Lie}(G)$
, we denote the fixed spaces by
$V^{g}:=\ker (\unicode[STIX]{x1D70C}(g)-1)$
and
$V^{x}:=\ker (\text{d}\unicode[STIX]{x1D70C}(x))$
.
We use fraktur letters such as
$\mathfrak{g}$
,
$\mathfrak{spin}_{n}$
, etc., for the Lie algebras
$\operatorname{Lie}(G)$
,
$\operatorname{Lie}(\operatorname{Spin}_{n})$
, etc.
2 Fixed spaces of elements
The main purpose of this section is to prove the following.
Proposition 2.1. Let
$V$
be an irreducible (half-)spin representation for
$\operatorname{Spin}_{n}$
over an algebraically closed field
$k$
. Then for
$n\geqslant 6$
:
-
(i) for all noncentral
$x\in \mathfrak{spin}_{n}$
,
$\dim V^{x}\leqslant \frac{3}{4}\dim V$
; -
(ii) if
$n$
is divisible by
$4$
, then for all noncentral
$x\in \mathfrak{hspin}_{n}$
,
$\dim V^{x}\leqslant \frac{3}{4}\dim V$
; -
(iii) for all noncentral
$g\in \operatorname{Spin}_{n}(k)$
,
$\dim V^{g}\leqslant \frac{3}{4}\dim V$
; -
(iv) if
$n>8$
and
$g\in \operatorname{Spin}_{n}(k)$
is noncentral semisimple, then
$\dim V^{g}\leqslant \frac{5}{8}\dim V$
.
Before we proceed with the proof, consider the general situation where
$G$
is a split semisimple algebraic group with a representation
$\unicode[STIX]{x1D70C}\!:G\rightarrow \operatorname{GL}(V)$
over
$k$
. For
$x,y\in \mathfrak{g}$
, if
$y$
is in the Zariski-closure of
$G(k)\cdot x$
, then
$\dim V^{x}\leqslant \dim V^{y}$
. This is clear, because the set of
$z\in \mathfrak{g}$
with
$\dim V^{z}>\dim V^{y}$
is Zariski-closed and stable under
$G(k)$
. We refer to this substitution principle as specializing
$x$
to
$y$
.
Recall that
$\operatorname{Lie}(Z(G))$
is the center of
$\operatorname{Lie}(G)=\mathfrak{g}$
. The previous observation shows that, among noncentral
$x\in \mathfrak{g}$
, the maximum of
$\dim V^{x}$
is achieved for a root element, i.e. a generator of a one-dimensional root subalgebra. To see this, note that in the Jordan decomposition
$x=s+n$
where
$s$
is semisimple,
$n$
is nilpotent, and
$[s,n]=0$
, we have
$V^{x}\subseteq V^{s}\cap V^{n}$
, so it suffices to prove the result when
$x$
is nonzero nilpotent and when
$x$
is noncentral semisimple. In the former case, there is a root element
$y\in \overline{G(k)\cdot x}$
. If
$x$
is noncentral semisimple, choose a root subgroup
$U_{\unicode[STIX]{x1D6FC}}$
of
$G$
belonging to a Borel subgroup
$B$
such that
$x$
lies in
$\operatorname{Lie}(B)$
and does not commute with
$U_{\unicode[STIX]{x1D6FC}}$
. Then for all
$y\in \operatorname{Lie}(U_{\unicode[STIX]{x1D6FC}})$
and all scalars
$\unicode[STIX]{x1D706}$
,
$x+\unicode[STIX]{x1D706}y$
is in the same
$\operatorname{Ad}(G)$
orbit as
$x$
and
$y$
is in the closure of the set of such elements; replace
$x$
with
$y$
.
A similar analysis for elements of
$G(k)$
shows that it suffices to consider root elements and semisimple elements
$g$
such that
$\unicode[STIX]{x1D70C}(g)$
has prime order.
Lemma 2.2. Suppose
$g\in \operatorname{Spin}_{8}(k)$
is semisimple and
$x$
is a graph automorphism of order 3. If
$g^{x}$
is conjugate to
$g$
, then
$g$
is conjugate to an element of
$G_{2}(k)$
.
Proof. Some maximal torus
$T$
is normalized by
$x$
, and we may assume that
$T$
contains
$g$
. Let
$W$
be a finite group inducing the Weyl group on
$T$
(so
$W/(T\cap W)=2^{3}S_{3}$
). We can certainly choose
$W$
so that 9 does not divide the order of
$W$
.
Since
$g^{x}$
is conjugate to
$g$
, there is some
$w\in W$
with
$g^{x}=g^{w}$
and
$g$
centralizes
$y=xw^{-1}$
. Raising
$y$
to a power prime to 3, we see that
$g$
centralizes an element of order 3 in the coset
$xG$
. The centralizer of any such element is contained in
$G_{2}$
. (If
$\operatorname{char}k\neq 3$
, the centralizers are
$A_{2}$
or
$G_{2}$
and
$A_{2}<G_{2}$
. If
$\operatorname{char}k=3$
, the centralizers are
$G_{2}$
and a nonreductive subgroup of
$G_{2}$
.)◻
Lemma 2.3. Let
$1\neq g\in G_{2}(k)$
be semisimple. For each of the three eight-dimensional irreducible representations of
$\operatorname{Spin}_{8}$
, every eigenspace of
$g$
has dimension at most 4.
Proof. The weights of the representation
$V$
are zero with multiplicity 2 and, with multiplicity 1, six nonzero weights
$\pm \unicode[STIX]{x1D712}_{i}$
for
$i=1,2,3$
such that
$\unicode[STIX]{x1D712}_{1}+\unicode[STIX]{x1D712}_{2}+\unicode[STIX]{x1D712}_{3}=0$
.
Consider the eigenspace for
$g$
with eigenvalue
$\unicode[STIX]{x1D706}\in k$
. If
$\unicode[STIX]{x1D706}\neq \pm 1$
, then the claim is obvious since
$V$
is self-dual. As
$g\neq 1$
,
$g$
cannot lie in the kernel of all three of the
$\unicode[STIX]{x1D712}_{i}$
. If
$\unicode[STIX]{x1D706}=1$
, then
$g$
is in the kernel of at most one of the
$\unicode[STIX]{x1D712}_{i}$
, proving the claim. If
$\unicode[STIX]{x1D706}=-1$
, then
$g$
is in the kernel of at most two of the
$\unicode[STIX]{x1D712}_{i}$
, again proving the claim.◻
Proof of Proposition 2.1.
For (i), by the discussion above it suffices to check it in the case
$x$
is a root element. If
$n=6$
, then
$\mathfrak{spin}_{n}\cong \mathfrak{sl}_{4}$
and
$V$
is the natural representation of
$\mathfrak{sl}_{4}$
, so we have the desired equality. For
$n>6$
, the module restricted to
$\mathfrak{spin}_{n-1}$
is either irreducible or the direct sum of two half-spins and so the result follows.
For (ii), the natural map
$\mathfrak{spin}_{n}\rightarrow \mathfrak{hspin}_{n}$
is a bijection on root subalgebras, so the claim follows from (i).
For (iii), we may assume that
$g$
is unipotent or semisimple. If
$g$
is unipotent, then by taking closures, we may pass to root elements and argue as for
$x$
in the Lie algebra.
If
$g$
is semisimple, we actually prove a slightly stronger result: all eigenspaces have dimension at most
$\frac{3}{4}\dim V$
. Note that this is the correct bound for
$n=6$
, as
$\operatorname{Spin}_{6}\cong \operatorname{SL}_{4}$
.
Suppose now that
$n$
is even. The image of
$g$
in
$\text{SO}_{n}$
can be viewed as an element of
$\text{SO}_{n-2}\times \text{SO}_{2}$
, where it has eigenvalues
$(a,a^{-1})$
in
$\text{SO}_{2}$
. Replacing if necessary
$g$
with a multiple by an element of the center of
$\operatorname{Spin}_{n}$
, we may assume that
$g$
is in the image of
$\operatorname{Spin}_{n-2}\times \operatorname{Spin}_{2}$
. Then
$V=V_{1}\oplus V_{2}$
where the
$V_{i}$
are distinct half-spin modules for
$\operatorname{Spin}_{n-2}$
and the
$\operatorname{Spin}_{2}$
acts on each (since they are distinct and
$\operatorname{Spin}_{2}$
commutes with
$\operatorname{Spin}_{n-2}$
). By induction, every eigenspace of
$g$
has dimension at most
$\frac{3}{4}\dim V_{i}$
and the
$\operatorname{Spin}_{2}$
component of
$g$
acts as a scalar, so this is preserved.
If
$n$
is odd, then the image of
$g$
in
$\text{SO}_{n}$
has eigenvalue 1 on the natural module, so is contained in a
$\text{SO}_{n-1}$
subgroup. Replacing if necessary
$g$
with
$gz$
for some
$z$
in the center of
$G$
, we may assume that
$g$
is in the image of
$\operatorname{Spin}_{n-1}$
and the claim follows by induction.
For (iv), the crux case is where
$n=10$
. As in the proof of (iii), we may assume that
$g$
is the image of some
$(g_{8},a)\in \operatorname{Spin}_{8}\times \operatorname{Spin}_{2}$
for some
$a\in k^{\times }$
, so
$V=V_{1}\oplus V_{2}$
is a sum of two inequivalent eight-dimensional representations of
$\operatorname{Spin}_{8}$
and
$g$
acts on
$V$
as
$\unicode[STIX]{x1D70C}(g)=(a\unicode[STIX]{x1D70C}_{1}(g_{8}),a^{-1}\unicode[STIX]{x1D70C}_{2}(g_{8}))$
and
$\unicode[STIX]{x1D70C}_{i}\!:\operatorname{Spin}_{8}\rightarrow \operatorname{GL}(V_{i})$
.
We bound the dimension of the space
$\ker (\unicode[STIX]{x1D70C}(g)-b)=\ker (\unicode[STIX]{x1D70C}_{1}(g_{8})-b/a)\oplus \ker (\unicode[STIX]{x1D70C}_{2}(g_{8})-ba)$
for
$b\in k^{\times }$
. If
$\unicode[STIX]{x1D70C}_{i}(g_{8})$
is a scalar for some
$i$
, then
$\unicode[STIX]{x1D70C}_{1}(g_{8})=\unicode[STIX]{x1D70C}_{2}(g_{8})=\pm 1$
; as
$g$
is noncentral,
$a\neq \pm 1$
, and this case is trivial.
Suppose
$b/a\neq \pm 1$
, so
$\dim \ker (\unicode[STIX]{x1D70C}_{1}(g_{8})-b/a)\leqslant 4$
because
$(V_{i},\unicode[STIX]{x1D70C}_{i})$
is self-dual. As
$\unicode[STIX]{x1D70C}_{2}(g_{8})$
is not a scalar, the dimension of its
$ba$
eigenspace is at most 6. The case
$ab\neq \pm 1$
is similar, so we may assume that
$ab,b/a=\pm 1$
, hence
$a^{4}=1$
and
$b=\pm a$
. After replacing
$g$
by the image of
$(g_{8}^{2},1)$
if necessary, we are reduced to considering
$\pm 1$
eigenspaces of
$g$
the image of
$(g_{8},1)$
so that
$\unicode[STIX]{x1D70C}_{i}(g_{8})$
has order two.
If
$g_{8}$
is in a
$G_{2}$
subgroup, then this dimension is at most 8 (Lemma 2.3). If
$g_{8}$
has order 2 (necessarily
$\operatorname{char}k\neq 2$
), then the conjugacy class of
$g_{8}$
is invariant under the full group of graph automorphisms and so lives in
$G_{2}$
(Lemma 2.2).
If
$g_{8}$
has order 4 and has order 2 mod the center, then
$g_{8}$
has no fixed space in two of the representations (since the square is
$-1$
) and at most a 6-space in one. Similarly for the
$-1$
eigenspace. This completes the proof for
$n=10$
.
The result for
$n=9$
follows, because
$\operatorname{Spin}_{9}$
is contained in
$\operatorname{Spin}_{10}$
and the module is the same. For
$n>10$
, up to multiplying
$g$
by an element of the center, it is the image of some
$(g_{n-2},a)\in \operatorname{Spin}_{n-2}\times \operatorname{Spin}_{2}$
, and the restriction of
$V$
to
$\operatorname{Spin}_{n-2}$
is a direct sum of irreducible (half-)spin representations as in the
$n=10$
case. The claim follows by induction.◻
Example 2.4. The upper bound in Proposition 2.1(iv) is sharp. To see this, suppose
$\operatorname{char}k\neq 2$
. We can view
$\text{SO}_{n}$
as the group of matrices
$$\begin{eqnarray}\text{SO}_{n}(k)=\{A\in \operatorname{SL}_{n}(k)\mid SA^{\top }S=A^{-1}\},\end{eqnarray}$$
where
$S$
is the matrix of 1 on the ‘second diagonal’, i.e.
$S_{i,n+1-i}=1$
and the other entries of
$S$
are zero. The intersection of the diagonal matrices with
$\text{SO}_{n}$
is a maximal torus. For
$n$
even, one finds elements of the form
$(t_{1},t_{2},\ldots ,t_{n/2},t_{n/2}^{-1},\ldots ,t_{1}^{-1})$
, and we abbreviate these as
$(t_{1},t_{2},\ldots ,t_{n/2},\ldots )$
.
We may identify
$\operatorname{Spin}_{8}$
, via a direct sum of its three inequivalent eight-dimensional irreducible representations, with a subgroup of
$\text{SO}_{8}\times \text{SO}_{8}\times \text{SO}_{8}$
. In this sense, the triple
$g_{8}:=(g_{0},g_{1},g_{2})$
for
$$\begin{eqnarray}g_{0}=(a^{2},a^{2},a^{2},a^{-2},\ldots ),\quad g_{1}=(a^{4},1,1,1,\ldots ),\quad \text{and}\quad g_{2}=(a^{2},a^{2},a^{2},a^{2},\ldots )\end{eqnarray}$$
belongs to
$\operatorname{Spin}_{8}$
, see [Reference GaribaldiGar98, Example 1.6]. In the notation of the proof of Proposition 2.1(iv), take
$g\in \operatorname{Spin}_{10}(k)$
to be the image of
$(g_{8},a)\in \operatorname{Spin}_{8}\times \operatorname{Spin}_{2}$
such that
$\unicode[STIX]{x1D70C}_{i}(g_{8})=g_{i}$
for
$i=1,2$
and
$a\in k^{\times }$
is not a root of unity. The
$a$
-eigenspace of
$g$
has dimension 10, six of which comes from
$a\unicode[STIX]{x1D70C}_{1}(g_{8})$
and four from
$a^{-1}\unicode[STIX]{x1D70C}_{2}(g_{8})$
. (Although the formulas in [Reference GaribaldiGar98] assume
$\operatorname{char}k\neq 2$
, the conclusion of this example holds also when
$\operatorname{char}k=2$
, because the conclusion concerns the weights of the three representations
$\unicode[STIX]{x1D70C}_{i}$
, which are independent of the characteristic.)
One can also find semisimple elements of
$\operatorname{Spin}_{12}$
that have a 20-dimensional fixed space on a (32-dimensional) half-spin representation.
The proposition will feed into the following elementary lemma, which resembles [Reference Andreev and PopovAP71, Lemma 4] and [Reference GuerreiroGue97, §3.3].
Lemma 2.6. Let
$V$
be a representation of a semisimple algebraic group
$G$
over an algebraically closed field
$k$
.
-
(i) If for every unipotent
$g\in G$
and every noncentral semisimple
$g\in G$
whose image in
$\operatorname{GL}(V)$
has prime order we have (2.7)then for generic
$$\begin{eqnarray}\dim V^{g}+\dim g^{G}<\dim V,\end{eqnarray}$$
$v\in V$
,
$G_{v}(k)$
is central in
$G(k)$
.
For the next two statements, suppose
$\operatorname{char}k=p>0$
and let
$\mathfrak{h}$
be a
$G$
-invariant subspace of
$\mathfrak{g}$
.
-
(ii) If, for every
$x\in \mathfrak{g}\setminus \mathfrak{h}$
such that
$x^{[p]}=x$
or
$x^{[p]^{n}}=0$
for some
$n$
, we have (2.8)then for generic
$$\begin{eqnarray}\dim V^{x}+\dim (\operatorname{Ad}(G)x)<\dim V,\end{eqnarray}$$
$v\in V$
,
$\mathfrak{g}_{v}\subseteq \mathfrak{h}$
.
-
(iii) If
$\mathfrak{h}$
consists of semisimple elements and equation (2.8) holds for every
$x\in \mathfrak{g}\setminus \mathfrak{h}$
with
$x^{[p]}\in \{0,x\}$
, then for generic
$v$
in
$V$
,
$\mathfrak{g}_{v}\subseteq \mathfrak{h}$
.
We will apply this to conclude that
$G_{v}$
is the trivial group scheme for generic
$v$
, using that
$\operatorname{Lie}(G_{v})\subseteq \mathfrak{g}_{v}$
. Note that the hypothesis that
$\operatorname{char}k\neq 0$
in (ii) and (iii) is harmless: when
$\operatorname{char}k=0$
, the conclusion of (i) suffices.
Proof. For (i), see [Reference Garibaldi and GuralnickGG15, §10] or adjust slightly the following proof of (ii). For
$x\in \mathfrak{g}$
, define
$$\begin{eqnarray}V(x):=\{v\in V\mid \text{there is }g\in G(k)~\text{such that}~xgv=0\}=\mathop{\bigcup }_{g\in G(k)}gV^{x}.\end{eqnarray}$$
Define
$\unicode[STIX]{x1D6FC}\!:G\times V^{x}\rightarrow V$
by
$\unicode[STIX]{x1D6FC}(g,w)=gw$
, so the image of
$\unicode[STIX]{x1D6FC}$
is precisely
$V(x)$
. The fiber over
$gw$
contains
$(gc^{-1},cw)$
for
$\operatorname{Ad}(c)$
fixing
$x$
, and so
$\dim V(x)\leqslant \dim (\operatorname{Ad}(G)x)+\dim V^{x}$
.
Let
$X\subset \mathfrak{g}$
be the set of
$x\in \mathfrak{g}\setminus \mathfrak{h}$
such that
$x^{[p]}=x$
or
$x^{[p]^{n}}=0$
for some
$n$
; it is a union of finitely many
$G$
-orbits. (Every toral element, i.e.
$x$
with
$x^{[p]}=x$
, belongs to
$\operatorname{Lie}(T)$
for a maximal torus
$T$
in
$G$
by [Reference Borel and SpringerBS66], and it is obvious that there are only finitely many
$G$
-orbits of toral elements in
$\operatorname{Lie}(T)$
.) Now
$V(x)$
depends only on the
$G$
-orbit of
$X$
(because
$V^{\operatorname{Ad}(g)x}=gV^{x}$
), so the union
$\bigcup _{x\in X}V(x)$
is a finite union. As
$\dim V(x)<\dim V$
by the previous paragraph, the union
$\bigcup V(x)$
is contained in a proper closed subvariety
$Z$
of
$V$
, and for every
$v$
in the (nonempty, open) complement of
$Z$
,
$\mathfrak{g}_{v}$
does not meet
$X$
.
For each
$v\in (V\setminus Z)(k)$
and each
$y\in \mathfrak{g}_{v}$
, we can write
$y$
as
$$\begin{eqnarray}y=y_{n}+\mathop{\sum }_{i=1}^{r}\unicode[STIX]{x1D6FC}_{i}y_{i},\quad [y_{n},y_{i}]=[y_{i},y_{j}]=0\text{ for all }i,j\end{eqnarray}$$
such that
$y_{1},\ldots ,y_{r}\in \mathfrak{g}_{v}$
are toral,
$y_{n}\in \mathfrak{g}_{v}$
is nilpotent, and
$y_{n}$
and the
$y_{i}$
are in
$\mathfrak{g}_{v}$
, see [Reference Strade and FarnsteinerSF88, p. 82, Theorem 2.3.6(2)]. Thus,
$y_{n}$
and the
$y_{1},\ldots ,y_{r}$
are in
$\mathfrak{h}$
by the previous paragraph, completing the proof of (ii).
For (iii), repeat the argument of (ii) above, changing
$X$
to be the set of
$x\in \mathfrak{g}\setminus \mathfrak{h}$
such that
$x^{[p]}\in \{0,x\}$
. In (2.9), the
$y_{i}$
belong to
$\mathfrak{h}_{v}$
, hence we may assume that
$y=y_{n}$
. If
$y^{[p]}=0$
, then
$y$
is a nilpotent element of
$\mathfrak{h}$
, therefore zero, and we are done. Otherwise, there would exist
$q\geqslant p$
the largest power of
$p$
with
$y^{[q]}\neq 0$
, in which case
$y^{[q]}\in \mathfrak{g}_{v}$
and
$(y^{[q]})^{[p]}=0$
, hence
$y^{[q]}$
is a nonzero nilpotent element of
$\mathfrak{h}$
, a contradiction.◻
Note that, in proving Theorem 1.1, we may assume that
$k$
is algebraically closed (and so this hypothesis in Lemma 2.6 is harmless). Indeed, suppose
$G$
is an algebraic group acting on a vector space
$V$
over a field
$k$
. Fix a basis
$v_{1},\ldots ,v_{n}$
of
$V$
and consider the element
$\unicode[STIX]{x1D702}:=\sum t_{i}v_{i}\in V\otimes k(t_{1},\ldots ,t_{n})=V\otimes k(V)$
for indeterminates
$t_{1},\ldots ,t_{n}$
; it is a sort of generic point of
$V$
. Certainly,
$G$
acts generically freely on
$V$
over
$k$
if and only if the stabilizer
$(G\times k(V))_{v}$
is the trivial group scheme, and this statement is unchanged by replacing
$k$
with an algebraic closure. That is,
$G$
acts generically freely on
$V$
over
$k$
if and only if
$G\times K$
acts generically freely on
$V\otimes K$
for
$K$
an algebraic closure of
$k$
.
3 Proof of Theorem 1.1 for
$n>20$
Suppose
$n>2$
, and put
$V$
for an irreducible (half-)spin representation of
$\operatorname{Spin}_{n}$
. Recall that
$$\begin{eqnarray}\dim \operatorname{Spin}_{n}=r(2r-1)\quad \text{and}\quad \dim V=2^{r-1}\quad \text{if }n=2r\end{eqnarray}$$
whereas
$$\begin{eqnarray}\dim \operatorname{Spin}_{n}=2r^{2}+r\quad \text{and}\quad \dim V=2^{r}\quad \text{if }n=2r+1\end{eqnarray}$$
and in both cases
$\operatorname{rank}\operatorname{Spin}_{n}=r$
. Proposition 2.1 gives an upper bound on
$\dim V^{g}$
for noncentral
$g$
, and certainly the conjugacy class of
$g$
has dimension at most
$(\dim \operatorname{Spin}_{n})-r$
. If we assume
$n>20$
and apply these, we obtain (2.7) and consequently the stabilizer
$S$
of a generic
$v\in V$
has
$S(k)$
central in
$\operatorname{Spin}_{n}(k)$
. Repeating this with the Lie algebra
$\mathfrak{spin}_{n}$
(and
$\mathfrak{h}$
the center of
$\mathfrak{spin}_{n}$
) we find that
$\operatorname{Lie}(S)$
is central in
$\mathfrak{spin}_{n}$
. For
$n$
not divisible by 4, the representation
$\operatorname{Spin}_{n}\rightarrow \operatorname{GL}(V)$
restricts to a closed embedding on the center of
$\operatorname{Spin}_{n}$
, so
$S$
is the trivial group scheme as claimed in Theorem 1.1.
For
$n$
divisible by four, we conclude that
$\operatorname{HSpin}_{n}$
acts generically freely on
$V$
, using Proposition 2.1(ii). As the kernel
$\unicode[STIX]{x1D707}_{2}$
of
$\operatorname{Spin}_{n}\rightarrow \operatorname{HSpin}_{n}$
acts faithfully on the vector representation
$W$
, it follows that
$\operatorname{Spin}_{n}$
acts generically freely on
$V\oplus W$
, completing the proof of Theorem 1.1 for
$n>20$
.
4 Proof of Theorem 1.1 for
$n\leqslant 20$
and characteristic
$\neq 2$
In this section we assume that
$\operatorname{char}k\neq 2$
, and in particular the Lie algebra
$\mathfrak{spin}_{n}$
(and
$\mathfrak{hspin}_{n}$
in case
$n$
is divisible by four) is naturally identified with
$\mathfrak{so}_{n}$
.
Case
$n=18$
or
$20$
Take
$V$
to be a half-spin representation of
$G=\operatorname{Spin}_{n}$
(if
$n=18$
) or
$G=\operatorname{HSpin}_{n}$
(if
$n=20$
). To prove Theorem 1.1 for these
$n$
, it suffices to prove that
$G$
acts generically freely on
$V$
, which we do by verifying the inequalities in Lemma 2.8(i) and (ii).
Nilpotents and unipotents
Let
$x\in \mathfrak{g}$
with
$x$
nilpotent. The argument for unipotent elements of
$G$
is essentially identical (as we assume
$\operatorname{char}k\neq 2$
) and we omit it.
If, for a particular
$x$
, we find that the centralizer of
$x$
has dimension greater than
$89$
(if
$n=18$
) or greater than
$62$
(if
$n=20$
), then
$\dim (\operatorname{Ad}(G)x)<\frac{1}{4}\dim V$
and we are done by Proposition 2.1.
The most interesting case is where the Jordan form of
$x$
has partition
$(2^{2t},1^{n-2t})$
for some
$t$
, where exponents denote multiplicity. If
$n=20$
, then such a class has centralizer of dimension at least 100, and we are done. If
$n=18$
, we may assume by similar reasoning that
$t=3$
or 4. The centralizer of
$x$
has dimension at least
$81$
, so
$\dim (\operatorname{Ad}(G)x)\leqslant 72$
. We claim that
$\dim V^{x}\leqslant 140$
; it suffices to prove this for an element with
$t=3$
, as the element with
$t=4$
specializes to it. View it as an element in the image of
$\mathfrak{so}_{9}\times \mathfrak{so}_{9}\rightarrow \mathfrak{so}_{18}$
where the first factor has partition
$(2^{4},1)$
and the second has partition
$(2^{2},1^{5})$
. Now, triality on
$\mathfrak{so}_{8}$
sends elements with partition
$2^{4}$
to elements with partition
$2^{4}$
and
$(3,1^{5})$
(see, for example, [Reference Collingwood and McGovernCM93, p. 97]) consequently the
$(2^{4},1)$
in
$\mathfrak{so}_{9}$
acts on the spin representation of
$\mathfrak{so}_{9}$
as a
$(3,2^{4},1^{5})$
. Similarly, the
$(2^{2},1^{5})$
acts on the spin representation of
$\mathfrak{so}_{9}$
as
$(2^{4},1^{8})$
. The action of
$x$
on the half-spin representation of
$\mathfrak{so}_{18}$
is the tensor product of these, and we find that
$\dim V^{x}\leqslant 140$
as claimed.
Suppose
$x$
is nilpotent and has a Jordan block of size at least five. An element with partition
$(5,1)$
in
$\mathfrak{so}_{6}$
is a regular nilpotent in
$\mathfrak{sl}_{4}$
with one-dimensional kernel. Using the tensor product decomposition as in the proof of Proposition 2.1, we deduce that an element
$y\in \mathfrak{so}_{n}$
with partition
$(5,1^{n-5})$
has
$\dim V^{y}\leqslant \frac{1}{4}\dim V$
, and consequently by specialization
$\dim V^{x}\leqslant \frac{1}{4}\dim V$
. As
$\dim (\operatorname{Ad}(G)x)\leqslant \dim G-\operatorname{rank}G<\frac{3}{4}\dim V$
, the inequality is verified for this
$x$
.
Now suppose that
$x$
is nilpotent and the largest Jordan block for
$x$
has size 4. Thus, there are at least two Jordan blocks of size 4. We claim that
$\dim V^{x}\leqslant \frac{1}{4}\dim V$
. This reduces to computing in
$\operatorname{Spin}_{8}$
where the result is clear for all three of the eight-dimensional representations. The largest such class will have four Jordan blocks of size 4 (for
$n=18$
or
$20$
) and it is straightforward to compute that
$\dim \operatorname{Ad}(G)x<\frac{3}{4}\dim V$
.
If
$x$
has at least two Jordan blocks of size at least 3, then
$x$
specializes to
$(3^{2},1^{n-6})$
; as triality sends elements with partition
$(3^{2},1^{2})$
to elements with the same partition, we find
$\dim V^{x}\leqslant \frac{1}{2}\dim V$
. We are left with the case where
$x$
has partition
$(3,2^{2t},1^{n-2t-3})$
for some
$t$
. If
$t=0$
, then the centralizer of
$x$
has dimension 121 or 154 and we are done. If
$t>0$
, then
$x$
specializes to
$y$
with partition
$(3,2^{2},1^{n-7})$
. As triality on
$\mathfrak{so}_{8}$
leaves the partition
$(3,2^{2},1)$
unchanged, we find
$\dim V^{x}\leqslant \dim V^{y}\leqslant \frac{1}{2}\dim V$
, as desired, completing the verification of (2.8) for
$x$
nilpotent.
Semisimple elements in
$\operatorname{Lie}(G)$
For
$x\in \mathfrak{so}_{n}$
semisimple, the most interesting case is when
$x$
is diagonal with entries
$(a^{t},(-a)^{t},0^{n-2t})$
where exponents denote multiplicity and
$a\in k^{\times }$
. The centralizer of
$x$
is
$\operatorname{GL}_{t}\times \text{SO}_{n-2t}$
, so
$\dim (\operatorname{Ad}(\text{SO}_{n})x)=\textstyle \binom{n}{2}-t^{2}-\textstyle \binom{n-2t}{2}$
. This is less than
$\frac{1}{4}\dim V$
for
$n=20$
, settling that case. For
$n=18$
, if
$t=1$
or 2,
$x$
is in the image of an element
$(a,-a,0,0)$
or
$(a/2,a/2,-a/2,-a/2)$
in
$\mathfrak{sl}_{4}\cong \mathfrak{so}_{6}$
, and the tensor product decomposition gives that
$\dim V^{x}\leqslant \frac{1}{2}\dim V$
and again we are done. If
$t>2$
, we consider a nilpotent
$y=\big(\!\begin{smallmatrix}0 & Y\\ 0 & 0\end{smallmatrix}\!\big)$
not commuting with
$x$
where
$Y$
is nine-by-nine and
$y$
specializes to a nilpotent
$y^{\prime }$
with partition
$(2^{4},1^{8})$
. Such a
$y^{\prime }$
acts on
$V$
as 16 copies of
$(3,2^{4},1^{5})$
, hence
$\dim V^{y^{\prime }}=160$
. By specializing
$x$
to
$y$
, we find
$\dim V^{x}\leqslant 160$
and again we are done.
Semisimple elements in
$G$
Let
$g\in G(k)$
be semisimple, noncentral and of prime order. If
$n=20$
, then
$\dim g^{G}\leqslant 180<\frac{3}{8}\dim V$
and we are done by Proposition 2.1(iv). So assume
$n=18$
. If we find that the centralizer of
$g$
has dimension greater than
$57$
, then
$\dim g^{G}<\frac{3}{8}\dim V$
and again we are done.
If
$g^{2}$
is central but nontrivial, then
$g$
has no fixed points (and every eigenspace is at most
$\frac{1}{2}\dim V$
). If
$g^{2}=1$
but
$g$
is not central, then
$g$
maps to an involution in
$\text{SO}_{18}$
whose centralizer is no smaller than
$\text{SO}_{8}\times \text{SO}_{10}$
of dimension 73, and we are done. So assume
$g$
has odd prime order. We divide into cases depending on the image
$\overline{g}\in \text{SO}_{18}$
of
$g$
.
If
$\overline{g}$
has at least five distinct eigenvalues, then either it has at least six distinct eigenvalues
$a,a^{-1},b,b^{-1},c,c^{-1}$
, or it has four distinct eigenvalues that are not equal to 1, and the remaining eigenvalue is 1. In the latter case set
$c=1$
. View
$g$
as the image of
$(g_{1},g_{2})\in \operatorname{Spin}_{6}\times \operatorname{Spin}_{12}$
where
$g_{1}$
maps to a diagonal
$(a,b,c,c^{-1},b^{-1},a^{-1})$
in
$\text{SO}_{6}$
, a regular semisimple element. Therefore, the eigenspaces of the image of
$g_{1}$
under the isomorphism
$\operatorname{Spin}_{6}\cong \operatorname{SL}_{4}$
are all one-dimensional and the tensor decomposition argument shows that
$\dim V^{g}\leqslant \frac{1}{4}\dim V$
. As
$\dim g^{G}\leqslant 144<\frac{3}{4}\dim V$
, we are done in this case.
If
$\overline{g}$
has exactly four eigenvalues, then the centralizer of
$\overline{g}$
is at least as big as
$\operatorname{GL}_{4}\times \operatorname{GL}_{5}$
of dimension 41, so
$\dim g^{G}\leqslant 112<\frac{1}{2}\dim V$
. Viewing
$g$
as the image of
$(g_{1},g_{2})\in \operatorname{Spin}_{8}\times \operatorname{Spin}_{10}$
such that the image
$\overline{g}_{1}$
of
$g_{1}$
in
$\text{SO}_{8}$
exhibits all four eigenvalues, then
$\overline{g}_{1}$
has eigenspaces all of dimension 2 or of dimensions 3, 3, 1, 1. The images of
$\overline{g}_{1}$
in each of the eight-dimensional representations are written in [Reference GaribaldiGar98, Example 1.6] and each has eigenspaces that are at most four-dimensional, so
$\dim V^{g}\leqslant \frac{1}{2}\dim V$
and this case is settled.
In the remaining case,
$\overline{g}$
has exactly two nontrivial (i.e. not 1) eigenvalues
$a,a^{-1}$
. If 1 is not an eigenvalue of
$\overline{g}$
, then the centralizer of
$\overline{g}$
is
$\operatorname{GL}_{9}$
of dimension 81, and we are done. If the eigenspaces for the nontrivial eigenvalues are at least four-dimensional, then we can take
$g$
to be the image of
$(g_{1},g_{2})\in \operatorname{Spin}_{10}\times \operatorname{Spin}_{8}$
where
$g_{1}$
maps to
$(a,a,a,a,1,\ldots )\in \text{SO}_{10}$
. (See Example 2.4 for this notation.) The images of
$(a,a,a,a,\ldots )\in \text{SO}_{8}$
as in (2.5) are
$(a,a,a,a^{-1},\ldots )$
and
$(a^{2},1,1,1,\ldots )$
, so the largest eigenspace of
$g_{1}$
on a half-spin representation is 6 and
$\dim V^{g}\leqslant \frac{3}{8}\dim V$
. As the conjugacy class of a regular element has dimension
$144<\frac{5}{8}\dim V$
, this case is complete. Finally, if
$\overline{g}$
has eigenspaces of dimension at most 2 for
$a$
,
$a^{-1}$
, then
$\dim g^{G}\leqslant 58<\frac{3}{8}\dim V$
and the
$n=18$
case is complete.
Case
$n=17$
or
$19$
For
$n=17$
or
$19$
, the spin representation of
$\operatorname{Spin}_{n}$
can be viewed as the restriction of a half-spin representation of the overgroup
$\operatorname{HSpin}_{n+1}$
. We have already proved that this representation of
$\operatorname{HSpin}_{n+1}$
is generically free.
Case
$n=15$
or
$16$
We use the following general fact.
Lemma 4.1. Let
$G$
be a quasi-simple algebraic group and
$H$
a proper closed subgroup of
$G$
and
$X\subset G(k)$
finite. Then for generic
$g\in G(k)$
,
$H(k)\cap gXg^{-1}=H(k)\cap X\cap Z(G)(k)$
.
Proof. It suffices to check
$\supseteq$
. For each
$x\in X\setminus Z(G)(k)$
, note that
$W(x):=\{g\in G\mid x^{g}\in H\}$
is a proper closed subvariety of
$G$
and, since
$X$
is finite,
$\bigcup W(x)$
is also proper closed. Thus, for an open subset of
$g$
in
$G$
,
$g(X\setminus Z(G)(k))g^{-1}$
does not meet
$H(k)$
.◻
Lemma 4.2. Let
$G=\operatorname{HSpin}_{16}$
and
$V$
a half-spin representation over an algebraically closed field
$k$
of characteristic
$\neq 2$
. The stabilizer of a generic vector in
$V$
is isomorphic to
$(\mathbb{Z}/2)^{8}$
, as a group scheme.
Proof. Consider
$\operatorname{Lie}(E_{8})=\operatorname{Lie}(G)\oplus V$
where the summands are the eigenspaces of an involution in
$E_{8}$
. That involution inverts a maximal torus
$T$
of
$E_{8}$
and so there is maximal Cartan subalgebra
$\mathfrak{t}=\operatorname{Lie}(T)$
on which the involution acts as
$-1$
. As
$E_{8}$
is smooth and adjoint, for a generic element
$\unicode[STIX]{x1D70F}\in \mathfrak{t}$
, the centralizer
$C_{E_{8}}(\unicode[STIX]{x1D70F})$
has identity component
$T$
by [Reference Demazure and GrothendieckDG70, XIII.6.1(d), XIV.3.18] and in fact equals
$T$
by [Reference Garibaldi and GuralnickGG16, Proposition 9.2]. Since
$\mathfrak{t}$
misses
$\operatorname{Lie}(G)$
, the annihilator of
$\unicode[STIX]{x1D70F}$
in
$\operatorname{Lie}(G)$
is
$0$
as claimed. Furthermore,
$G_{\unicode[STIX]{x1D70F}}(k)=T(k)\cap G(k)$
, i.e. the elements of
$T(k)$
that commute with the involution, so
$G_{\unicode[STIX]{x1D70F}}(k)\cong \unicode[STIX]{x1D707}_{2}(k)^{8}$
.◻
Corollary 4.3. If
$\operatorname{char}k\neq 2$
, then
$\operatorname{Spin}_{15}$
acts generically freely on
$V$
.
Proof. Of course the Lie algebra does because this is true for
$\operatorname{Lie}(\operatorname{Spin}_{16})$
.
For the group, a generic stabilizer is
$\operatorname{Spin}_{15}(k)\cap X$
where
$X$
is a generic stabilizer in
$\operatorname{Spin}_{16}(k)$
. Now
$X$
is finite and meets the center of
$\operatorname{Spin}_{16}$
in the kernel of
$\operatorname{Spin}_{16}\rightarrow \operatorname{HSpin}_{16}$
, whereas
$\operatorname{Spin}_{15}$
injects into
$\operatorname{HSpin}_{16}$
. Therefore, by Lemma 4.1 a generic conjugate of
$X$
intersect
$\operatorname{Spin}_{15}$
is trivial.◻
Corollary 4.4. If
$\operatorname{char}k\neq 2$
, then
$\operatorname{Spin}_{16}$
acts generically freely on
$V\oplus W$
, where
$V$
is a half-spin module and
$W$
is the natural (16-dimensional) module.
Proof. Now the generic stabilizer is already
$0$
for the Lie algebra on
$V$
whence on
$V\oplus W$
.
In the group
$\operatorname{Spin}_{16}$
, a generic stabilizer is conjugate to
$X^{g}\cap \operatorname{Spin}_{15}$
where
$X$
is the finite stabilizer on
$V$
and as in the proof of the previous corollary, this is generically trivial.◻
5 Proof of Theorem 1.1 for
$n\leqslant 20$
and characteristic 2
To complete the proof of Theorem 1.1, it remains to prove, in case
$\operatorname{char}k=2$
, that the following representations
$G\rightarrow \operatorname{GL}(V)$
are generically free:
-
(i)
$G=\operatorname{Spin}_{15}$
,
$\operatorname{Spin}_{17}$
,
$\operatorname{Spin}_{19}$
and
$V$
is a spin representation; -
(ii)
$G=\operatorname{Spin}_{18}$
and
$V$
is a half-spin representation; -
(iii)
$G=\operatorname{Spin}_{16}$
or
$\operatorname{Spin}_{20}$
and
$V$
is a direct sum of the vector representation and a half-spin representation; -
(iv)
$G=\operatorname{HSpin}_{20}$
and
$V$
is a half-spin representation.
Since we are in bad characteristic, the class of unipotent and nilpotent elements are more complicated. On the other hand, since we are in a fixed small characteristic and the dimensions of the modules and Lie algebras are relatively small, one can actually do some computations.
In particular, we check that in each case that there exists a
$v\in V$
over the field of two elements such that
$\operatorname{Lie}(G_{v})=0$
. (This can be done easily in various computer algebra systems.) It follows that the same is true over any field of characteristic 2. Since the set of
$w\in V$
where
$\operatorname{Lie}(G_{w})=0$
is an open subvariety of
$V$
, this shows that
$\operatorname{Lie}(G_{w})$
is generically zero.
It remains to show that the group of
$k$
-points
$G_{v}(k)$
of the stabilizer of a generic
$v\in V$
is the trivial group.
First consider
$G=\operatorname{Spin}_{16}$
. By Lemma 4.1, it suffices to show that, for generic
$w$
in a half-spin representation
$W$
,
$G_{w}(k)$
is finite, which is true by the appendix. Alternatively, one can prove the finiteness of
$G_{w}(k)$
by working in
$\operatorname{Lie}(E_{8})=\mathfrak{hspin}_{16}\oplus W$
and exhibiting a regular nilpotent of
$\operatorname{Lie}(E_{8})$
in
$W$
whose stabilizer in
$\mathfrak{hspin}_{16}$
is trivial. Since the set of
$w$
where
$(\operatorname{Spin}_{16})_{w}(k)$
is finite is open, the result follows.
Similarly,
$\operatorname{Spin}_{15}$
acts generically freely on the spin representation.
As in the previous section, it suffices to show that for
$G$
one of
$\operatorname{HSpin}_{20}$
and
$\operatorname{Spin}_{18}$
and
$V$
a half-spin representation,
$G_{v}(k)=1$
for generic
$v\in V$
.
We first consider involutions. We recall that an involution
$g\in \text{SO}_{2n}=\text{SO}(W)$
(in characteristic 2) is essentially determined by the number
$r$
of nontrivial Jordan blocks of
$g$
(equivalently
$r=\dim (g-1)W$
) and whether the subspace
$(g-1)W$
is totally singular or not with
$r$
even (and
$r\leqslant n$
); see [Reference Aschbacher and SeitzAS76, Reference Liebeck and SeitzLS12] or see [Reference Fulman, Guralnick and StantonFGS16, §§5, 6] for a quick elementary treatment. If
$r<n$
or
$(g-1)V$
is not totally singular, there is one class for each possible pair of invariants. If
$r=n$
(and so
$n$
is even) and
$(g-1)V$
is totally singular, then there are two such classes interchanged by a graph automorphism of order 2.
Lemma 5.1. Suppose
$\operatorname{char}k=2$
. Let
$G=\operatorname{Spin}_{2n},n>4$
and let
$W$
be a half-spin representation. If
$g\in G$
is an involution other than a long root element, then
$\dim W^{g}\leqslant (5/8)\dim W$
.
Proof. By passing to closures, we may assume that
$r\leqslant 4$
. Thus,
$g\in \operatorname{Spin}_{8}$
. By applying triality, we may assume that
$g$
has precisely two nontrivial Jordan blocks, i.e.
$r=2$
, for otherwise
$g$
has a four-dimensional fixed space on each of the three eight-dimensional modules. There are two such conjugacy classes of involutions. One of them is the class of long root elements. The other is not invariant under the triality automorphism and it follows that
$g$
has a six-dimensional fixed space on one representation and four-dimensional fixed spaces on the other two eight-dimensional representations.
If
$2n=10$
, then
$W$
restricted to
$\operatorname{Spin}_{8}$
is a direct sum of two distinct half-spin representations, whence
$\dim W^{g}\leqslant 10$
and the result follows. For
$2n>10$
, the result follows by induction, since
$W$
is a direct sum of the two half-spin representations of
$\operatorname{Spin}_{2n-2}$
.◻
Lemma 5.2. Suppose
$\operatorname{char}k=2$
. Let
$G=\operatorname{Spin}_{18}$
or
$\operatorname{HSpin}_{20}$
with
$V$
a half-spin representation of dimension
$256$
or
$512$
, respectively. Then
$G_{v}(k)=1$
for generic
$v\in V$
.
Proof. It suffices to show that
$\dim V^{g}+\dim g^{G}<\dim V$
for every noncentral
$g\in G$
with
$g$
of prime order.
The proof for semisimple elements is essentially identical to the case of odd characteristic (except that we need not consider involutions). Alternatively, since we know the result in characteristic zero, it follows that generic stabilizers have no nontrivial semisimple elements as in the proof of [Reference Garibaldi and GuralnickGG15, Lemma 10.3].
Thus, it suffices to consider
$g$
of order 2. If
$g$
is not a long root element, then
$\dim V^{g}\leqslant \frac{5}{8}\dim V$
. On the other hand,
$\dim g^{G}\leqslant 99$
for
$n=10$
and
$79$
for
$n=9$
by [Reference Aschbacher and SeitzAS76, Reference Liebeck and SeitzLS12] or [Reference Fulman, Guralnick and StantonFGS16]; in either case
$\dim g^{G}<\frac{3}{8}\dim V$
.
The remaining case to consider is when
$g$
is a long root element. Then
$\dim V^{g}=\frac{3}{4}\dim V$
while
$\dim g^{G}=34$
or
$30$
, respectively, and again the inequality holds.◻
6 Proof of Corollary 1.3
For
$n$
not divisible by 4, the (half-)spin representation
$\operatorname{Spin}_{n}$
is generically free by Theorem 1.1, so by, e.g., [Reference MerkurjevMer13, Theorem 3.13] we have
$$\begin{eqnarray}\operatorname{ed}(\operatorname{Spin}_{n})\leqslant \dim V-\dim \operatorname{Spin}_{n}\!.\end{eqnarray}$$
This gives the upper bound on
$\operatorname{ed}(\operatorname{Spin}_{n})$
for
$n$
not divisible by 4. For
$n=16$
, we use the same calculation with
$V$
the direct sum of the vector representation of
$\operatorname{Spin}_{16}$
and a half-spin representation. For
$n\geqslant 20$
and divisible by 4, Theorem 1.1 gives that
$\operatorname{ed}(\operatorname{HSpin}_{n})$
is at most the value claimed; with this in hand, the argument in [Reference Chernousov and MerkurjevCM14, Theorem 2.2] (referring now to [Reference LötscherLot13] instead of [Reference Brosnan, Reichstein and VistoliBRV10] for the stacky essential dimension inequality) establishes the upper bound on
$\operatorname{ed}(\operatorname{Spin}_{n})$
for
$n\geqslant 20$
and divisible by 4.
It is trivially true that
$\operatorname{ed}_{2}(\operatorname{Spin}_{n})\leqslant \operatorname{ed}(\operatorname{Spin}_{n})$
. Finally, that
$\operatorname{ed}_{2}(\operatorname{Spin}_{n})$
is at least the expression on the right-hand side of the display was proved in [Reference Brosnan, Reichstein and VistoliBRV10, Theorem 3-3(a)] for
$n$
not divisible by 4 and in [Reference Merkurjev, Baeza, Chan, Hoffmann and Schulze-PillotMer09, Theorem 4.9] for
$n$
divisible by 4; the lower bound on
$\operatorname{ed}_{2}(\operatorname{HSpin}_{n})$
is from [Reference Brosnan, Reichstein and VistoliBRV10, Remarks 3–10].◻
7
$\operatorname{Spin}_{n}$
for
$6\leqslant n\leqslant 12$
and characteristic 2
Suppose now that
$6\leqslant n\leqslant 12$
and
$\operatorname{char}k=2$
. Let us now calculate the stabilizer in
$\operatorname{Spin}_{n}$
of a generic vector
$v$
in a (half-)spin representation, which will justify those entries in Table 1. For
$n=6$
,
$\operatorname{Spin}_{6}\cong \operatorname{SL}_{4}$
and the representation is the natural representation. For
$n=8$
, the half-spin representation is indistinguishable from the vector representation
$\operatorname{Spin}_{8}\rightarrow \text{SO}_{8}$
and again the claim is clear.
For the remaining
$n$
, we verify that the
$k$
-points
$(\operatorname{Spin}_{n})_{v}(k)$
of the generic stabilizer are as claimed, i.e. that the claimed group scheme is the reduced subgroup scheme of
$(\operatorname{Spin}_{n})_{v}$
. The cases
$n=9,11,12$
are treated in [Reference Guralnick, Liebeck, Macpherson and SeitzGLMS97, Lemma 2.11] and the case
$n=10$
is treated in [Reference LiebeckLie87, p. 496].
For
$n=7$
, view
$\operatorname{Spin}_{7}$
as the stabilizer of an anisotropic vector in the vector representation of
$\operatorname{Spin}_{8}$
; it contains a copy of
$G_{2}$
. As a
$G_{2}$
module, the half-spin representation of
$\operatorname{Spin}_{8}$
is self-dual and has composition factors of dimensions one, six, one, so
$G_{2}$
fixes a vector in
$V$
. As
$G_{2}$
is a maximal closed connected subgroup of
$\operatorname{Spin}_{7}$
, it is the identity component of the reduced subgroup of
$(\operatorname{Spin}_{7})_{v}$
.
We have verified that the reduced subgroup scheme of
$(\operatorname{Spin}_{n})_{v}$
agrees with the corresponding entry, call it
$S$
, in Table 1. We now proceed as in §5 and find a
$w$
such that
$\dim (\mathfrak{spin}_{n})_{w}=\dim S$
, which shows that
$(\operatorname{Spin}_{n})_{v}$
is smooth, completing the proof of Table 1 for
$n\leqslant 12$
.
8
$\operatorname{Spin}_{13}$
and
$\operatorname{Spin}_{14}$
and characteristic
$\neq 2$
In this section, we determine the stabilizer in
$\operatorname{Spin}_{14}$
and
$\operatorname{Spin}_{13}$
of a generic vector in the (half-)spin representation
$V$
of dimension 64. We assume that
$\operatorname{char}k\neq 2$
and
$k$
is algebraically closed.
Let
$C_{0}$
denote the trace zero subspace of an octonion algebra with quadratic norm
$N$
. We may view the natural representation of
$\text{SO}_{14}$
as a sum
$C_{0}\oplus C_{0}$
endowed with the quadratic form
$N\oplus -N$
. This gives an inclusion
$G_{2}\times G_{2}\subset \text{SO}_{14}$
that lifts to an inclusion
$G_{2}\times G_{2}\subset \operatorname{Spin}_{14}$
. There is an element of order 4 in
$\text{SO}_{14}$
such that conjugation by it interchanges the two copies of
$G_{2}$
, the element of order 2 in the orthogonal group with this property has determinant
$-1$
, so the normalizer of
$G_{2}\times G_{2}$
in
$\text{SO}_{14}(k)$
is isomorphic to
$((G_{2}\times G_{2})\rtimes \unicode[STIX]{x1D707}_{4})(k)$
and in
$\operatorname{Spin}_{14}$
it is
$((G_{2}\times G_{2})\rtimes \unicode[STIX]{x1D707}_{8})(k)$
.
Viewing
$V$
as an internal Chevalley module for
$\operatorname{Spin}_{14}$
(arising from the embedding of
$\operatorname{Spin}_{14}$
in
$E_{8}$
), it follows that
$\operatorname{Spin}_{14}$
has an open orbit in
$\mathbb{P}(V)$
, see for example [Reference Azad, Barry and SeitzABS90, Theorem 2f]. Moreover, the unique
$(G_{2}\times G_{2})$
-fixed line
$kv$
in
$V$
belongs to this open orbit, see [Reference PopovPop80, Reference RostRos99a, p. 225, Proposition 11] or [Reference GaribaldiGar09, §21]. That is, for
$H$
the reduced subgroup scheme of
$(\operatorname{Spin}_{14})_{v}$
,
$H^{\circ }\supseteq G_{2}\times G_{2}$
. By dimension count this is an equality. A computation analogous to that in the preceding paragraph shows that the idealizer of
$\operatorname{Lie}(G_{2}\times G_{2})$
in
$\mathfrak{so}_{14}$
is
$\operatorname{Lie}(G_{2}\times G_{2})$
itself, hence
$\operatorname{Lie}((\operatorname{Spin}_{14})_{v})=\operatorname{Lie}(H^{\circ })$
, i.e.
$(\operatorname{Spin}_{14})_{v}$
is smooth. It follows from the construction above that the stabilizer of
$kv$
in
$\operatorname{Spin}_{14}$
is all of
$(G_{2}\times G_{2})\rtimes \unicode[STIX]{x1D707}_{8}$
(as a group scheme). The element of order 2 in
$\unicode[STIX]{x1D707}_{8}$
is in the center of
$\operatorname{Spin}_{14}$
and acts as
$-1$
on
$V$
, so the stabilizer of
$v$
is
$G_{2}\times G_{2}$
as claimed in Table 1.
Now fix a vector
$(c,c^{\prime })\in C_{0}\oplus C_{0}$
so that
$N(c)$
,
$N(c^{\prime })$
and
$N(c)-N(c^{\prime })$
are all nonzero. The stabilizer of
$(c,c^{\prime })$
in
$\operatorname{Spin}_{14}$
is a copy of
$\operatorname{Spin}_{13}$
, and the stabilizer of
$v$
in
$\operatorname{Spin}_{13}$
is its intersection with
$G_{2}\times G_{2}$
, i.e. the product
$(G_{2})_{c}\times (G_{2})_{c^{\prime }}$
. Each term in the product is a copy of
$\operatorname{SL}_{3}$
(see, for example, [Reference Knus, Merkurjev, Rost and TignolKMRT98, p. 507, Exercise 6]), as claimed in Table 1. (On the level of Lie algebras and under the additional hypothesis that
$\operatorname{char}k=0$
, this was shown by Kac and Vinberg in [Reference Gatti and ViniberghiGV78, §3.2].)
9
$\operatorname{Spin}_{13}$
and
$\operatorname{Spin}_{14}$
and characteristic 2
We will calculate the stabilizer in
$\operatorname{Spin}_{n}$
of a generic vector in an irreducible (half-)spin representation for
$n=13,14$
over a field
$k$
of characteristic 2.
Proposition 9.1. The stabilizer in
$\operatorname{Spin}_{14}$
(over a field
$k$
of characteristic 2) of a generic vector in a half-spin representation is the group scheme
$(G_{2}\times G_{2})\rtimes \mathbb{Z}/2$
.
We use the following pushout construction. Let
$X$
,
$V_{1}$
,
$V_{2}$
be vector spaces endowed with quadratic forms
$q_{X}$
,
$q_{1}$
,
$q_{2}$
such that
$q_{X}$
,
$q_{1}$
and
$q_{2}$
are nonsingular and there exist isometric embeddings
$f_{i}\!:(X,q_{X}){\hookrightarrow}(V_{i},q_{i})$
. There is a natural quadratic form
$q_{V}$
on the pushout
$V:=(V_{1}\oplus V_{2})/(f_{1}-f_{2})(X)$
; if we write
$V_{i}\cong V_{i}^{\prime }\bot f_{i}(X)$
, then
$(V,q_{V})$
is isomorphic to
$V_{1}^{\prime }\bot V_{2}^{\prime }\bot X$
and
$f_{1}$
and
$f_{2}$
define the same embedding
$(X,q_{X}){\hookrightarrow}(V,q_{V})$
.
Now pick a subspace
$R\subset X$
. Applying the same construction where the role of
$V_{i}$
is played by the subspace
$f_{i}(R)^{\bot }$
and the pushout is
$(f_{1}(R)^{\bot }\oplus f_{2}(R)^{\bot })/(f_{1}-f_{2})(R)$
, one obtains
$R^{\bot }\subset V$
. In the case
$\operatorname{char}k=2$
,
$\dim X=2$
, and
$R$
is an anisotropic line, this gives a homomorphism of algebraic groups
$B_{\ell _{1}}\times B_{\ell _{2}}\rightarrow B_{\ell _{1}+\ell _{2}}$
where
$2\ell _{i}+2=\dim V_{i}$
. We apply this construction where
$V_{1}$
and
$V_{2}$
are copies of an octonion algebra
$C$
,
$X$
is a quadratic étale subalgebra and
$R$
is the span of the identity element of
$C$
.
Proof of Proposition 9.1.
The seven-dimensional Weyl module of the split
$G_{2}$
gives an embedding
$G_{2}{\hookrightarrow}\text{SO}_{7}$
. Combining this with the construction in the previous paragraph gives maps
$$\begin{eqnarray}G_{2}\times G_{2}\rightarrow \text{SO}_{7}\times \text{SO}_{7}\rightarrow \text{SO}_{13}\rightarrow \text{SO}_{14}\end{eqnarray}$$
which lift to maps where every
$\text{SO}$
is replaced by
$\operatorname{Spin}$
.
Put
$V$
for a half-spin representation of
$\operatorname{Spin}_{14}$
. It restricts to the spin representation of
$\operatorname{Spin}_{13}$
. Calculating the restriction of the weights of
$V$
to
$\operatorname{Spin}_{7}\times \operatorname{Spin}_{7}$
using the explicit description of the embedding, we see that
$V$
is the tensor product of the eight-dimensional spin representations of
$\operatorname{Spin}_{7}$
. By triality, the restriction of one of the spin representations to
$G_{2}$
is the action of
$G_{2}$
on the octonions
$C$
, which is a uniserial module with one-dimensional socle
$S$
(spanned by the identity element in
$C$
) and seven-dimensional radical, the Weyl module of trace zero octonions. The restriction of
$V=C\otimes C$
to the first copy of
$G_{2}$
is eight copies of
$C$
, so has an eight-dimensional fixed space
$S\otimes C$
. As
$(S\otimes C)^{1\times G_{2}}=S\otimes S$
, we find that
$S\otimes S$
is the unique line in
$V$
stabilized by
$G_{2}\times G_{2}$
.
We now argue that the
$\operatorname{Spin}_{14}$
orbit of
$S\otimes S$
is open in
$\mathbb{P}(V)$
. To see this, by [Reference RöhrleRoh93], it suffices to verify that
$G_{2}\times G_{2}$
is not contained in the Levi subgroup of a parabolic subgroup of
$\operatorname{Spin}_{14}$
. This is easily verified; the most interesting case is where the Levi has type
$A_{6}$
, and
$G_{2}\times G_{2}$
cannot be contained in such because the restriction of
$V$
to
$A_{6}$
has composition factors of dimension 1, 7, 21 and 35. We conclude that every nonzero
$v\in S\otimes S$
is a generic vector in
$V$
and
$(\operatorname{Spin}_{14})_{v}$
has dimension 28.
If one constructs on a computer the representation
$V$
of the Lie algebra
$\mathfrak{spin}_{14}$
over a finite field
$F$
of characteristic 2, then it is a matter of linear algebra to calculate the dimension of the stabilizer
$(\mathfrak{spin}_{14})_{x}$
of any given vector
$x\in V$
. One finds for some
$x$
that the stabilizer has dimension 28, which is the minimum possible, so by semicontinuity of dimension
$\dim ((\mathfrak{spin}_{14})_{v})=28=\dim (G_{2}\times G_{2})$
. That is,
$(\operatorname{Spin}_{14})_{v}$
is smooth with identity component
$G_{2}\times G_{2}$
. Consequently we may compute
$(\operatorname{Spin}_{14})_{v}$
by determining its
$K$
-points for
$K$
an algebraic closure of
$k$
.
There is an element
$\unicode[STIX]{x1D70F}$
of order 2 in
$\text{SO}_{14}(K)$
that interchanges the two copies of
$\text{SO}_{7}(K)$
, hence of
$G_{2}(K)$
. As the centralizer of
$(G_{2}\times G_{2})(K)$
in
$\text{SO}_{14}(K)$
is trivial (as can be seen from the composition series for
$k^{14}$
as a representation of
$G_{2}\times G_{2}$
) and
$\text{Aut}(G_{2}\times G_{2})=(G_{2}\times G_{2})\rtimes \left\langle \unicode[STIX]{x1D70F}\right\rangle$
, it follows that
$(G_{2}\times G_{2})(K)\rtimes \mathbb{Z}/2$
is the normalizer of
$G_{2}$
in
$\text{SO}_{14}(K)$
.
As
$\unicode[STIX]{x1D70F}$
normalizes
$(G_{2}\times G_{2})(K)$
, it leaves the fixed subspace
$S\otimes S\otimes K=Kv$
invariant, and we find a homomorphism
$\unicode[STIX]{x1D712}\!:\mathbb{Z}/2\rightarrow \mathbb{G}_{\text{m}}$
given by
$\unicode[STIX]{x1D70F}v=\unicode[STIX]{x1D712}(\unicode[STIX]{x1D70F})v$
which must be trivial because
$\operatorname{char}K=2$
. That is, the normalizer of
$G_{2}\times G_{2}$
, which contains the stabilizer of
$v$
, actually equals the stabilizer of
$v$
.◻
The above proof, which is somewhat longer than some alternatives, was chosen because of the details it provides on the embedding of
$G_{2}\times G_{2}$
in
$\operatorname{Spin}_{14}$
.
Proposition 9.2. The stabilizer in
$\operatorname{Spin}_{13}$
(over a field of characteristic 2) of a generic vector in the spin representation is the group scheme
$(\operatorname{SL}_{2}\times \operatorname{SL}_{2})\rtimes \mathbb{Z}/2$
.
Proof. We imitate the argument used in §8. View
$\operatorname{Spin}_{13}$
as
$(\operatorname{Spin}_{14})_{y}$
for an anisotropic
$y$
in the 14-dimensional vector representation of
$\operatorname{Spin}_{14}$
. That representation, as a representation of
$\operatorname{Spin}_{13}$
, has socle
$ky$
and radical
$y^{\bot }$
. Let
$v$
be a generic element of the spin representation
$V$
of
$\operatorname{Spin}_{13}$
. Our task is to determine the group
$$\begin{eqnarray}(\operatorname{Spin}_{13})_{v}=(\operatorname{Spin}_{14})_{y}\cap (\operatorname{Spin}_{14})_{v}.\end{eqnarray}$$
The stabilizer
$(\operatorname{Spin}_{14})_{v}$
described above is contained in a copy
$(\operatorname{Spin}_{14})_{e}$
of
$\operatorname{Spin}_{13}$
where
$ke$
is the radical of the 13-dimensional quadratic form given by the pushout construction. As
$v$
is generic,
$y$
and
$e$
are in general position, so tracing through the pushout construction we see that the intersection (9.3) contains the product of 2 copies of the stabilizer in
$G_{2}$
of a generic octonion
$z$
. The quadratic étale subalgebra of
$C$
generated by
$z$
has normalizer
$\operatorname{SL}_{3}\rtimes \mathbb{Z}/2$
in
$G_{2}$
, hence the stabilizer of
$z$
is
$\operatorname{SL}_{3}$
. We conclude that, for
$K$
an algebraic closure of
$k$
, the group of
$K$
-points of
$(\operatorname{Spin}_{13})_{v}$
equals that of the claimed group, hence the stabilizer has dimension 16. Calculating with a computer as in the proof for
$\operatorname{Spin}_{14}$
, we find that
$\dim (\mathfrak{spin}_{13})_{v}\leqslant 16$
, and therefore the stabilizer of
$v$
is smooth as claimed.◻
Acknowledgements
We thank Alexander Merkurjev and Zinovy Reichstein for helpful comments, and for posing the questions answered in Proposition 9.1 and Theorem 1.1.
Appendix. Generic stabilizers associated with a peculiar half-spin representation
Alexander Premet
A.1 The main theorem
Throughout this appendix we work over an algebraically closed field
$k$
of characteristic two. Let
$G=\operatorname{HSpin}_{16}(k)$
and let
$V$
be the natural (half-spin)
$G$
-module. The theorem stated below describes the generic stabilizers for the actions of
$G$
and
$\mathfrak{g}=\operatorname{Lie}(G)$
on
$V$
.
Theorem A.1. The following are true.
-
(i) There exists a nonempty Zariski-open subset
$U$
in
$V$
such that for every
$x\in U$
the stabilizer
$G_{x}$
is isomorphic to
$(\mathbb{Z}/2\mathbb{Z})^{4}$
. -
(ii) For any
$x\in U$
the stabilizer
$\mathfrak{g}_{x}$
is a four-dimensional toral subalgebra of
$\mathfrak{g}$
. -
(iii) If
$x,x^{\prime }\in U$
, then the stabilizers
$G_{x}$
and
$G_{x^{\prime }}$
and the infinitesimal stabilizers
$\mathfrak{g}_{x}$
and
$\mathfrak{g}_{x^{\prime }}$
are
$G$
-conjugate. -
(iv) The scheme-theoretic stabilizer of any
$x\in U$
is isomorphic to
$(\mathbb{Z}/2\mathbb{Z})^{4}\times (\unicode[STIX]{x1D707}_{2})^{4}$
.
A more precise description of
$G_{x}$
and
$\mathfrak{g}_{x}$
with
$x\in U$
is given in §A.5. It should be mentioned here that our Theorem A.1 can also be deduced from more general invariant-theoretic results recently announced by Eric Rains.
A.2 Preliminary remarks and recollections
Let
$\widetilde{G}$
be a simple algebraic group of type
$\text{E}_{8}$
over
$k$
and
$\tilde{\mathfrak{g}}=\text{Lie}(\widetilde{G})$
. The Lie algebra
$\tilde{\mathfrak{g}}$
is simple and carries an
$(\operatorname{Ad}G)$
-equivariant
$[p]$
th power map
$x\mapsto x^{[p]}$
. Since
$p=2$
, Jacobson’s formula for
$[p]$
th powers is surprisingly simple: we have that
$$\begin{eqnarray}(x+y)^{[2]}=x^{[2]}+y^{[2]}+[x,y]\quad (\forall x,y\in \tilde{\mathfrak{g}}).\end{eqnarray}$$
Let
$T$
be a maximal torus of
$\widetilde{G}$
and
$\mathfrak{t}=\operatorname{Lie}(T)$
. Write
$\tilde{\unicode[STIX]{x1D6F7}}$
for the root system of
$\widetilde{G}$
with respect to
$T$
. In what follows we will make essential use of Bourbaki’s description of roots in
$\tilde{\unicode[STIX]{x1D6F7}}$
; see [Reference BourbakiBou02, Planche VII]. More precisely, let
$\mathbf{E}$
be an eight-dimensional Euclidean space over
$\mathbb{R}$
with orthonormal basis
$\{\unicode[STIX]{x1D700}_{1},\ldots ,\unicode[STIX]{x1D700}_{8}\}$
. Then
$\tilde{\unicode[STIX]{x1D6F7}}=\tilde{\unicode[STIX]{x1D6F7}}_{0}\sqcup \tilde{\unicode[STIX]{x1D6F7}}_{1}$
where
$$\begin{eqnarray}\tilde{\unicode[STIX]{x1D6F7}}_{0}=\{\pm \unicode[STIX]{x1D700}_{i}\pm \unicode[STIX]{x1D700}_{j}\mid 1\leqslant i<j\leqslant 8\}\end{eqnarray}$$
and
$$\begin{eqnarray}\tilde{\unicode[STIX]{x1D6F7}}_{1}=\biggl\{\frac{1}{2}\mathop{\sum }_{i=1}^{8}(-1)^{\unicode[STIX]{x1D708}(i)}\unicode[STIX]{x1D700}_{i}\biggl|\mathop{\sum }_{i=1}^{8}\unicode[STIX]{x1D708}(i)\in 2\mathbb{Z}\biggr\}.\end{eqnarray}$$
The roots
$\unicode[STIX]{x1D6FC}_{1}=\frac{1}{2}(\unicode[STIX]{x1D700}_{1}+\unicode[STIX]{x1D700}_{8}-\unicode[STIX]{x1D700}_{2}-\unicode[STIX]{x1D700}_{3}-\unicode[STIX]{x1D700}_{4}-\unicode[STIX]{x1D700}_{5}-\unicode[STIX]{x1D700}_{6}-\unicode[STIX]{x1D700}_{7})$
,
$\unicode[STIX]{x1D6FC}_{2}=\unicode[STIX]{x1D700}_{1}+\unicode[STIX]{x1D700}_{2}$
,
$\unicode[STIX]{x1D6FC}_{3}=\unicode[STIX]{x1D700}_{2}-\unicode[STIX]{x1D700}_{1}$
,
$\unicode[STIX]{x1D6FC}_{4}=\unicode[STIX]{x1D700}_{3}-\unicode[STIX]{x1D700}_{2}$
,
$\unicode[STIX]{x1D6FC}_{5}=\unicode[STIX]{x1D700}_{4}-\unicode[STIX]{x1D700}_{3}$
,
$\unicode[STIX]{x1D6FC}_{6}=\unicode[STIX]{x1D700}_{5}-\unicode[STIX]{x1D700}_{4}$
,
$\unicode[STIX]{x1D6FC}_{7}=\unicode[STIX]{x1D700}_{6}-\unicode[STIX]{x1D700}_{5}$
,
$\unicode[STIX]{x1D6FC}_{8}=\unicode[STIX]{x1D700}_{7}-\unicode[STIX]{x1D700}_{6}$
form a basis of simple roots in
$\tilde{\unicode[STIX]{x1D6F7}}$
which we denote by
$\tilde{\unicode[STIX]{x1D6F1}}$
. Let
$(\cdot |\cdot )$
be the scalar product of
$\mathbf{E}$
. It is invariant under the action of the Weyl group
$W(\tilde{\unicode[STIX]{x1D6F7}})\subset \text{GL}(\mathbf{E})$
.
Given
$\unicode[STIX]{x1D6FC}\in \tilde{\unicode[STIX]{x1D6F7}}$
we denote by
$U_{\unicode[STIX]{x1D6FC}}$
and
$e_{\unicode[STIX]{x1D6FC}}$
the unipotent root subgroup of
$\widetilde{G}$
and a root vector in
$\operatorname{Lie}(U_{\unicode[STIX]{x1D6FC}})$
. Let
$V$
be the
$k$
-span of all
$e_{\unicode[STIX]{x1D6FC}}$
with
$\unicode[STIX]{x1D6FC}\in \tilde{\unicode[STIX]{x1D6F7}}_{1}$
and write
$G$
for the subgroup of
$\widetilde{G}$
generated by
$T$
and all
$U_{\unicode[STIX]{x1D6FC}}$
with
$\unicode[STIX]{x1D6FC}\in \tilde{\unicode[STIX]{x1D6F7}}_{0}$
. It is well known (and straightforward to see) that the algebraic
$k$
-group
$G$
is isomorphic to
$\operatorname{HSpin}_{16}(k)$
and the
$G$
-stable subspace
$V$
of
$\tilde{\mathfrak{g}}$
is isomorphic to the natural (half-spin)
$G$
-module: one can choose a Borel subgroup
$B$
of
$G$
in such a way that the fixed-point space
$V^{R_{u}(B)}$
is spanned by
$e_{-\unicode[STIX]{x1D6FC}_{1}}$
. We write
$W$
for the subgroup of
$W(\tilde{\unicode[STIX]{x1D6F7}})$
generated all orthogonal reflections
$s_{\unicode[STIX]{x1D6FC}}$
with
$\unicode[STIX]{x1D6FC}\in \tilde{\unicode[STIX]{x1D6F7}}_{0}$
. Clearly,
$W\cong N_{G}(T)/T$
is the Weyl group of
$G$
relative to
$T$
. Since
$G$
has type
$\text{D}_{8}$
the group
$W$
is a semidirect product of its subgroup
$W_{0}\cong \mathfrak{S}_{8}$
acting by permutations of the set
$\{\unicode[STIX]{x1D700}_{1},\ldots ,\unicode[STIX]{x1D700}_{8}\}$
and its abelian normal subgroup
$A\cong (\mathbb{Z}/2\mathbb{Z})^{7}$
consisting of all maps
$\unicode[STIX]{x1D700}_{i}\mapsto (\pm 1)_{i}\unicode[STIX]{x1D700}_{i}$
with
$\prod _{i=1}^{8}(\pm 1)_{i}=1$
; see [Reference BourbakiBou02, Planche IV].
We may (and will) assume further that the
$e_{\unicode[STIX]{x1D6FC}}$
are obtained by base change from a Chevalley
$\mathbb{Z}$
-form,
$\tilde{\mathfrak{g}}_{\mathbb{Z}}$
, of a complex Lie algebra of type
$\text{E}_{8}$
. Since the group
$\widetilde{G}$
is a simply connected the nonzero elements
$h_{\unicode[STIX]{x1D6FC}}:\!=[e_{\unicode[STIX]{x1D6FC}},e_{-\unicode[STIX]{x1D6FC}}]\in \mathfrak{t}$
with
$\unicode[STIX]{x1D6FC}\in \tilde{\unicode[STIX]{x1D6F7}}$
span
$\mathfrak{t}$
. They have the property that
$[h_{\unicode[STIX]{x1D6FC}},e_{\pm \unicode[STIX]{x1D6FC}}]=\pm 2e_{\pm \unicode[STIX]{x1D6FC}}=0$
and
$h_{\unicode[STIX]{x1D6FC}}=h_{-\unicode[STIX]{x1D6FC}}$
for all
$\unicode[STIX]{x1D6FC}\in \tilde{\unicode[STIX]{x1D6F7}}$
. It is well known that
$e_{\unicode[STIX]{x1D6FC}}^{[2]}=0$
and
$h_{\unicode[STIX]{x1D6FC}}^{[2]}=h_{\unicode[STIX]{x1D6FC}}$
for all
$\unicode[STIX]{x1D6FC}\in \tilde{\unicode[STIX]{x1D6F7}}$
. The set
$\{h_{\unicode[STIX]{x1D6FC}}\mid \unicode[STIX]{x1D6FC}\in \tilde{\unicode[STIX]{x1D6F1}}\}$
is a
$k$
-basis of
$\mathfrak{t}$
. Since
$\tilde{\mathfrak{g}}$
is a simple Lie algebra, for every nonzero
$t\in \mathfrak{t}$
there is a simple root
$\unicode[STIX]{x1D6FD}\in \tilde{\unicode[STIX]{x1D6F1}}$
such that
$(\text{d}\unicode[STIX]{x1D6FD})_{e}(t)\neq 0$
. This implies that
$\mathfrak{t}$
admits a nondegenerate
$W(\tilde{\unicode[STIX]{x1D6F7}})$
-invariant symplectic bilinear form
$\langle \cdot ,\cdot \rangle$
such that
$\langle h_{\unicode[STIX]{x1D6FC}},h_{\unicode[STIX]{x1D6FD}}\rangle =(\unicode[STIX]{x1D6FC}|\unicode[STIX]{x1D6FD})\!\hspace{0.6em}{\rm mod}\hspace{0.2em}2$
for all
$\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD}\in \tilde{\unicode[STIX]{x1D6F7}}.$
A.3 Orthogonal half-spin roots and Hadamard–Sylvester matrices
Following the Wikipedia webpage on Hadamard matrices we define the matrices
$H_{2^{k}}$
of order
$2^{k}$
, where
$k\in \mathbb{Z}_{{\geqslant}0}$
, by setting
$H_{1}=[1]$
and
$$\begin{eqnarray}H_{2^{k+1}}=\left[\begin{array}{@{}rr@{}}H_{2^{k}} & H_{2^{k}}\\ H_{2^{k}} & -H_{2^{k}}\end{array}\right]=H_{2}\otimes H_{2^{k}}\end{eqnarray}$$
for
$k\geqslant 0$
. These Hadamard matrices were first introduced by Sylvester in 1867 and they have the property that
$H_{2^{k}}\cdot H_{2^{k}}^{\top }=2^{k}\cdot I_{2^{k}}$
for all
$k$
. We are mostly interested in
$$\begin{eqnarray}H_{8}=H_{2}\otimes H_{2}\otimes H_{2}=\left[\begin{array}{@{}rrrrrrrr@{}}1 & 1 & 1 & 1 & 1 & 1 & 1 & 1\\ 1 & -1 & 1 & -1 & 1 & -1 & 1 & -1\\ 1 & 1 & -1 & -1 & 1 & 1 & -1 & -1\\ 1 & -1 & -1 & 1 & 1 & -1 & -1 & 1\\ 1 & 1 & 1 & 1 & -1 & -1 & -1 & -1\\ 1 & -1 & 1 & -1 & -1 & 1 & -1 & 1\\ 1 & 1 & -1 & -1 & -1 & -1 & 1 & 1\\ 1 & -1 & -1 & 1 & -1 & 1 & 1 & -1\end{array}\right].\end{eqnarray}$$
To each row
$r_{i}=(r_{i1},\ldots ,r_{i8})$
of
$H_{8}$
we assign the root
$\unicode[STIX]{x1D6FE}_{i}=\frac{1}{2}(r_{i1}\unicode[STIX]{x1D700}_{1}+\cdots +r_{i8}\unicode[STIX]{x1D700}_{8})$
. This way we obtain
$16$
distinct roots
$\pm \unicode[STIX]{x1D6FE}_{1},\ldots ,\pm \unicode[STIX]{x1D6FE}_{8}$
in
$\tilde{\unicode[STIX]{x1D6F7}}_{1}$
with the property that
$(\unicode[STIX]{x1D6FE}_{i}|\unicode[STIX]{x1D6FE}_{j})=0$
for all
$i\neq j$
. As
$\pm \unicode[STIX]{x1D6FE}_{i}\pm \unicode[STIX]{x1D6FE}_{j}\not \in \tilde{\unicode[STIX]{x1D6F7}}$
for
$i\neq j$
, the semisimple regular subgroup
$S$
of
$\widetilde{G}$
generated by
$T$
and all
$U_{\pm \unicode[STIX]{x1D6FE}_{i}}$
is connected and has type
$\text{A}_{1}^{8}$
. It is immediate from the Bruhat decomposition in
$\widetilde{G}$
that
$G\cap S=N_{G}(T)\cap N_{S}(T).$
Using the explicit form of the simple roots
$\unicode[STIX]{x1D6FC}_{1},\ldots ,\unicode[STIX]{x1D6FC}_{8}$
it is routine to determine the matrix
$M:=\big[(\unicode[STIX]{x1D6FE}_{i}|\unicode[STIX]{x1D6FC}_{j})\big]_{1\leqslant i,j\leqslant 8}$
. It has the following form:
$$\begin{eqnarray}M=\left[\begin{array}{@{}rrrrrrrr@{}}-1 & 1 & 0 & 0 & 0 & 0 & 0 & 0\\ 0 & 0 & -1 & 1 & -1 & 1 & -1 & 1\\ 0 & 1 & 0 & -1 & 0 & 1 & 0 & -1\\ 1 & 0 & -1 & 0 & 1 & 0 & -1 & 0\\ 0 & 1 & 0 & 0 & 0 & -1 & 0 & 0\\ 1 & 0 & -1 & 1 & -1 & 0 & 1 & -1\\ 1 & 1 & 0 & -1 & 0 & 0 & 0 & 1\\ 0 & 0 & -1 & 0 & 1 & -1 & 1 & 0\end{array}\right].\end{eqnarray}$$
It is then straightforward to check that
$M$
is row-equivalent over the integers to a block-triangular matrix
$M^{\prime }=[\!\begin{smallmatrix}M_{1} & M_{2}\\ O_{4} & 2M_{3}\end{smallmatrix}\!]$
with
$M_{1},M_{2},M_{3}\in \text{Mat}_{4}(\mathbb{Z})$
and
$\det (M_{1})=\det (M_{3})=1$
. From this it follows that
$\unicode[STIX]{x1D6FE}_{1},\ldots ,\unicode[STIX]{x1D6FE}_{8}$
span
$\mathbf{E}$
over
$\mathbb{R}$
and
$h_{\unicode[STIX]{x1D6FE}_{1}},\ldots ,h_{\unicode[STIX]{x1D6FE}_{8}}$
span a maximal (four-dimensional) totally isotropic subspace of the symplectic space
$\mathfrak{t}$
. We call it
$\mathfrak{t}_{0}$
.
A.4 A dominant morphism
Put
$\unicode[STIX]{x1D6E4}=\{\unicode[STIX]{x1D6FE}_{1},\ldots ,\unicode[STIX]{x1D6FE}_{8}\}$
and let
$\mathfrak{r}$
denote the subspace of
$V$
spanned by
$e_{\unicode[STIX]{x1D6FE}}$
with
$\unicode[STIX]{x1D6FE}\in \pm \unicode[STIX]{x1D6E4}$
. If
$x=\sum _{i=1}^{8}(\unicode[STIX]{x1D706}_{i}e_{\unicode[STIX]{x1D6FE}_{i}}+\unicode[STIX]{x1D707}_{i}e_{-\unicode[STIX]{x1D6FE}_{i}})\in \mathfrak{r}$
, then Jacobson’s formula shows that
$x^{[2]}=\sum _{i=1}^{8}(\unicode[STIX]{x1D706}_{i}\unicode[STIX]{x1D707}_{i})h_{\unicode[STIX]{x1D6FE}_{i}}\in \mathfrak{t}_{0}$
. It follows that
$$\begin{eqnarray}x^{[2]^{k+1}}=\mathop{\sum }_{i=1}^{8}(\unicode[STIX]{x1D706}_{i}\unicode[STIX]{x1D707}_{i})^{2^{k}}h_{\unicode[STIX]{x1D6FE}_{i}}\quad (\forall k\geqslant 0).\end{eqnarray}$$
Our discussion at the end of §A.3 shows that
$\mathfrak{t}_{0}$
has a basis
$t_{1},\ldots ,t_{4}$
contained in the
$\mathbb{F}_{2}$
-span of
$\{h_{\unicode[STIX]{x1D6FE}}|\unicode[STIX]{x1D6FE}\in \unicode[STIX]{x1D6E4}\}$
. Since
$h_{\unicode[STIX]{x1D6FC}}^{[2]}=h_{\unicode[STIX]{x1D6FC}}$
for all roots
$\unicode[STIX]{x1D6FC}$
, we have that
$t_{i}^{[2]}=t_{i}$
for
$1\leqslant i\leqslant 4$
. In view of (A.1) this yields that the subset of
$\mathfrak{r}$
consisting of all
$x$
as above with the property that
$\{x^{[2]^{k}}\mid 1\leqslant k\leqslant 4\}$
spans
$\mathfrak{t}_{0}$
,
$\unicode[STIX]{x1D706}_{i}\unicode[STIX]{x1D707}_{i}\neq 0$
for all
$i$
, and
$\unicode[STIX]{x1D706}_{i}\unicode[STIX]{x1D707}_{i}\neq \unicode[STIX]{x1D706}_{j}\unicode[STIX]{x1D707}_{j}$
for
$i\neq j$
is nonempty and Zariski open in
$\mathfrak{r}$
. We call this subset
$\mathfrak{r}^{\circ }$
and consider the morphism
$$\begin{eqnarray}\unicode[STIX]{x1D713}:G\times \mathfrak{r}\longrightarrow V,\quad (g,x)\mapsto (\operatorname{Ad}g)\cdot x.\end{eqnarray}$$
Note that
$\dim (G\times \mathfrak{r})=120+16=136$
and
$\dim V=128$
. By the theorem on fiber dimensions of a morphism, in order to show that
$\unicode[STIX]{x1D713}$
is dominant it suffices to find a point
$(g,x)\in G\times \mathfrak{r}$
such that all components of
$\unicode[STIX]{x1D713}^{-1}((\operatorname{Ad}g)\cdot x)$
containing
$(g,x)$
have dimension at most eight.
We take
$x\in \mathfrak{r}^{\circ }$
and
$g=1_{\widetilde{G}}$
. Clearly,
$\unicode[STIX]{x1D713}^{-1}(x)\subset \{(g,y)\in G\times \mathfrak{r}\mid y\in (\operatorname{Ad}G)\cdot x\}$
. If
$(g,y)\in \unicode[STIX]{x1D713}^{-1}(x)$
, then
$y\in \mathfrak{r}$
and
$(\operatorname{Ad}g)^{-1}$
maps the
$k$
-span,
$\mathfrak{t}(x)$
, of
$\{x^{[2]^{k}}\mid 1\leqslant k\leqslant 4\}$
onto the
$k$
-span,
$\mathfrak{t}(y)$
, of
$\{y^{[2]^{k}}\mid 1\leqslant k\leqslant 4\}$
. As
$y^{[2]}\in \mathfrak{t}_{0}$
and
$\mathfrak{t}_{0}$
is a restricted subalgebra of
$\mathfrak{t}$
, this implies that
$\mathfrak{t}(x)=\mathfrak{t}(y)=\mathfrak{t}_{0}$
. It follows that
$\operatorname{Ad}g$
preserves the Lie subalgebra
$\mathfrak{c}_{\mathfrak{g}}(\mathfrak{t}_{0})$
of
$\mathfrak{g}$
. The centralizer
$\mathfrak{c}_{\tilde{\mathfrak{g}}}(\mathfrak{t}_{0})$
is spanned by
$\mathfrak{t}$
and all root vectors
$e_{\unicode[STIX]{x1D6FC}}$
such that
$\langle h_{\unicode[STIX]{x1D6FC}},h_{\unicode[STIX]{x1D6FE}_{i}}\rangle =(\text{d}\unicode[STIX]{x1D6FC})_{e}(h_{\unicode[STIX]{x1D6FE}_{i}})=0$
for
$1\leqslant i\leqslant 8$
. As
$\mathfrak{t}_{0}$
is a maximal totally isotropic subspace of the symplectic space
$\mathfrak{t}$
, our concluding remark in §A.3 shows that
$\mathfrak{c}_{\tilde{\mathfrak{g}}}(\mathfrak{t}_{0})=\operatorname{Lie}(S)$
. Since
$\mathfrak{c}_{\mathfrak{g}}(\mathfrak{t}_{0})=\mathfrak{g}\cap \operatorname{Lie}(S)=\mathfrak{t}$
we obtain that
$g\in N_{G}(T)$
. But then
$\unicode[STIX]{x1D713}^{-1}(x)\subseteq \{(g,(\operatorname{Ad}g)^{-1}\cdot x)\in G\times \mathfrak{r}^{\circ }\mid g\in N_{G}(T)\}$
. Since
$\dim N_{G}(T)=\dim T=8$
, all irreducible components of
$\unicode[STIX]{x1D713}^{-1}(x)$
have dimension at most eight. We thus deduce that the morphism
$\unicode[STIX]{x1D713}$
is dominant. As the set
$G\times \mathfrak{r}^{\circ }$
is Zariski open in
$G\times \mathfrak{r}$
, the
$G$
-saturation of
$\mathfrak{r}^{\circ }$
in
$V$
contains a Zariski-open subset of
$V$
.
A.5 Generic stabilizers
Let
$x=\sum _{i=1}^{8}(\unicode[STIX]{x1D706}_{i}e_{\unicode[STIX]{x1D6FE}_{i}}+\unicode[STIX]{x1D707}_{i}e_{-\unicode[STIX]{x1D6FE}_{i}})\in \mathfrak{r}^{\circ }$
. In view of our discussion in §A.4 we now need to determine the stabilizer
$G_{x}$
. If
$g\in G_{x}$
then
$\operatorname{Ad}g$
fixes
$\mathfrak{t}_{0}=\text{span}\{x^{[2]^{i}}\mid 1\leqslant i\leqslant 4\}$
and hence preserves
$\mathfrak{c}_{\mathfrak{g}}(\mathfrak{t}_{0})=\mathfrak{t}$
. This yields
$G_{x}\subseteq N_{G}(T)$
. Working over a field of characteristic two has some advantages: after reduction modulo two we are no longer affected by the ambiguity in the choice of a Chevalley basis in
$\tilde{\mathfrak{g}}_{\mathbb{Z}}$
and the torus
$T$
has no elements of order two. It follows that
$N_{\widetilde{G}}(T)$
contains a subgroup isomorphic to
$W(\tilde{\unicode[STIX]{x1D6F7}})$
which intersects trivially with
$T$
. In the notation of [Reference SteinbergSte68, §3] this group is generated by all elements
$\unicode[STIX]{x1D714}_{\unicode[STIX]{x1D6FC}}=w_{\unicode[STIX]{x1D6FC}}(1)$
with
$\unicode[STIX]{x1D6FC}\in \tilde{\unicode[STIX]{x1D6F7}}$
. As a consequence,
$W$
embeds into
$N_{G}(T)$
in such a way that
$N_{G}(T)=W\ltimes T$
.
Our discussion in §A.3 implies that for any
$\unicode[STIX]{x1D6FC}\in \tilde{\unicode[STIX]{x1D6F1}}$
the element
$16\unicode[STIX]{x1D6FC}\in \mathbb{Z}\tilde{\unicode[STIX]{x1D6F7}}$
lies in the
$\mathbb{Z}$
-span of
$\unicode[STIX]{x1D6FE}_{1},\ldots ,\unicode[STIX]{x1D6FE}_{8}$
. Since
$T$
has no elements of order two and
$\widetilde{G}$
is a group of adjoint type, it follows that for any collection
$(t_{1},\ldots ,t_{8})\in (k^{\times })^{8}$
there exists a unique element
$h=h(t_{1},\ldots ,t_{8})\in T$
with
$\unicode[STIX]{x1D6FE}_{i}(h)=t_{i}$
for all
$1\leqslant i\leqslant 8$
. Conversely, any element of
$T$
has this form. As a consequence,
$\widetilde{G}_{x}\cap T=\{1_{\widetilde{G}}\}$
. For
$1\leqslant i\leqslant 8$
we set
$h_{i}:=h(1,\ldots ,\unicode[STIX]{x1D707}_{i}/\unicode[STIX]{x1D706}_{i},\ldots ,1)$
, an element of
$T$
, where the entry
$\unicode[STIX]{x1D707}_{i}/\unicode[STIX]{x1D706}_{i}$
occupies the
$i$
th position. Since
$\operatorname{Ad}s_{\unicode[STIX]{x1D6FE}_{i}}$
permutes
$e_{\pm \unicode[STIX]{x1D6FE}_{i}}$
and fixes
$e_{\pm \unicode[STIX]{x1D6FE}_{j}}$
with
$j\neq i$
, it is straightforward to check that
$s_{\unicode[STIX]{x1D6FE}_{i}}h_{i}\in \widetilde{G}_{x}$
. If
$w_{0}$
is the longest element of
$W(\tilde{\unicode[STIX]{x1D6F7}})$
, then it acts on
$\mathbb{Z}\tilde{\unicode[STIX]{x1D6F7}}$
as
$-\text{Id}$
and hence lies in
$A\subset W{\hookrightarrow}N_{G}(T)$
. (The abelian normal subgroup
$A$
of
$W$
was introduced in §A.2.) Since
$w_{0}=\prod _{i=1}^{8}s_{\unicode[STIX]{x1D6FE}_{i}}$
we now deduce that
$n_{0}:=w_{0}(\prod _{i=1}^{8}h_{i})\in G_{x}$
.
Suppose
$\widetilde{G}_{x}\cap N_{\widetilde{G}}(T)$
contains an element
$n=wh$
, where
$w\in W(\tilde{\unicode[STIX]{x1D6F7}})$
and
$h=h(a_{1},\ldots ,a_{8})\in T$
, such that
$w(\unicode[STIX]{x1D6FE}_{i})=\unicode[STIX]{x1D6FE}_{j}$
for
$i\neq j$
. Then
$n(e_{\unicode[STIX]{x1D6FE}_{i}})=a_{i}e_{\unicode[STIX]{x1D6FE}_{j}}$
and
$n(e_{-\unicode[STIX]{x1D6FE}_{i}})=a_{i}^{-1}e_{-\unicode[STIX]{x1D6FE}_{j}}$
implying that
$\unicode[STIX]{x1D706}_{j}=\unicode[STIX]{x1D706}_{i}a_{i}$
and
$\unicode[STIX]{x1D707}_{j}=\unicode[STIX]{x1D707}_{i}a_{i}^{-1}$
. But then
$\unicode[STIX]{x1D706}_{j}/\unicode[STIX]{x1D706}_{i}=\unicode[STIX]{x1D707}_{i}/\unicode[STIX]{x1D707}_{j}$
forcing
$\unicode[STIX]{x1D706}_{i}\unicode[STIX]{x1D707}_{i}=\unicode[STIX]{x1D706}_{j}\unicode[STIX]{x1D707}_{j}$
for
$i\neq j$
. Since
$x\in \mathfrak{r}^{\circ }$
this is false. As
$n_{0}\in G_{x}$
and
$w_{0}(\pm \unicode[STIX]{x1D6FE}_{i})=\mp \unicode[STIX]{x1D6FE}_{i}$
for all
$i$
, this argument shows that
$\widetilde{G}_{x}\cap N_{\widetilde{G}}(T)=\langle s_{\unicode[STIX]{x1D6FE}_{i}}h_{i}\mid 1\leqslant i\leqslant 8\rangle$
is isomorphic to an elementary abelian
$2$
-group of order
$2^{8}$
.
Let
${\mathcal{A}}_{2^{k}}\cong (\mathbb{Z}/2\mathbb{Z})^{2^{k}}$
denote the direct product of
$2^{k}$
copies of
$\{\pm 1\}\cong \mathbb{Z}/2\mathbb{Z}$
. The group operation in
${\mathcal{A}}_{2^{k}}$
is defined componentwise. We write
$u\bullet v$
for the product of
$u,v\in {\mathcal{A}}_{2^{k}}$
and denote by
$\mathbf{1}_{2^{k}}$
the identity element of
${\mathcal{A}}_{2^{k}}$
(all components of
$\mathbf{1}_{2^{k}}$
are equal to
$1$
). The set of rows,
$R_{2^{k}}$
, of the Hadamard–Sylvester matrix
$H_{2^{k}}$
may be regarded as a subset
${\mathcal{A}}_{2^{k}}$
and easy induction on
$k$
shows that
$\pm R_{2^{k}}$
is a subgroup of
${\mathcal{A}}_{2^{k}}$
. In particular,
$\pm R_{8}$
is a subgroup of
${\mathcal{A}}_{8}$
. As mentioned in §A.2 the subgroup
$W_{0}\cong \mathfrak{S}_{8}$
of the Weyl group
$W=W(\tilde{\unicode[STIX]{x1D6F7}}_{0})$
acts on
${\mathcal{A}}_{8}$
by permuting components whereas the normal subgroup
$A\cong (\mathbb{Z}/2\mathbb{Z})^{7}$
of
$W$
embeds into
${\mathcal{A}}_{8}$
and acts on it by translations.
If
$n\in G_{x}$
, then
$n=wh\in N_{G}(T)$
and
$w$
preserves
$\pm R_{8}$
setwise. If
$w=a\unicode[STIX]{x1D70E}$
, where
$\unicode[STIX]{x1D70E}\in W_{0}$
and
$a\in A$
, then our discussion in the previous paragraph shows that
$w(u)=(a\unicode[STIX]{x1D70E})(u)=\pm u$
for all
$u\in \pm R_{8}$
. Taking
$u=\mathbf{1}_{8}$
we get
$\unicode[STIX]{x1D70E}(\mathbf{1}_{8})=\mathbf{1}_{8}$
and
$\pm \mathbf{1}_{8}=w(\mathbf{1}_{8})=a\bullet \unicode[STIX]{x1D70E}(\mathbf{1}_{8})=a\bullet \mathbf{1}_{8}=a$
. This yields
$a=\pm \mathbf{1}_{8}$
implying that
$w\in W_{0}$
preserves
$\pm R_{8}$
. Also,
$G_{x}\cap A$
is a cyclic group of order 2 generated by
$n_{0}$
.
We now consider three commuting involutions
$$\begin{eqnarray}\unicode[STIX]{x1D70E}_{1}=(1,5)(2,6)(3,7)(4,8),\quad \unicode[STIX]{x1D70E}_{2}=(1,4)(2,3)(5,8)(6,7)\quad \text{and}\quad \unicode[STIX]{x1D70E}_{3}=(1,2)(3,4)(5,6)(7,8)\end{eqnarray}$$
in
$W\cong \mathfrak{S}_{8}$
. One can see by inspection that each of them maps every
$r\in R_{8}$
to
$\pm r$
. Hence,
$\unicode[STIX]{x1D70E}_{i}\in \langle s_{\unicode[STIX]{x1D6FE}_{i}}\mid 1\leqslant i\leqslant 8\rangle$
. Since
$s_{\unicode[STIX]{x1D6FE}_{i}}h_{i}\in \widetilde{G}_{x}$
for
$1\leqslant i\leqslant 8$
, each
$\unicode[STIX]{x1D70E}_{i}$
admits a unique lift in
$G_{x}\subset N_{G}(T)$
which will be denoted by
$n_{i}$
. The subgroup
$\langle n_{i}\mid 0\leqslant i\leqslant 3\rangle$
of
$G_{x}$
is isomorphic to
$(\mathbb{Z}/2\mathbb{Z})^{4}$
.
Next we show that any element
$\unicode[STIX]{x1D70E}h\in G_{x}$
with
$\unicode[STIX]{x1D70E}\in W_{0}\cong \mathfrak{S}_{8}$
lies in the subgroup generated by the
$n_{i}$
. Since
$\unicode[STIX]{x1D70E}$
maps
$\mathbf{1}_{8}$
to
$\pm \mathbf{1}_{8}$
and
$n_{0}\in G_{x}$
we may assume that
$\unicode[STIX]{x1D70E}(\mathbf{1}_{8})=\mathbf{1}_{8}$
. Since
$\unicode[STIX]{x1D70E}$
maps
$(\mathbf{1}_{4},-\mathbf{1}_{4})$
to
$\pm (\mathbf{1}_{4},-\mathbf{1}_{4})$
and
$n_{1}\in G_{x}$
we may also assume that
$\unicode[STIX]{x1D70E}$
fixes
$(\mathbf{1}_{4},-\mathbf{1}_{4})$
. Since
$\unicode[STIX]{x1D70E}$
maps
$(\mathbf{1}_{2},-\mathbf{1}_{2},\mathbf{1}_{2},-\mathbf{1}_{2})$
to
$\pm (\mathbf{1}_{2},-\mathbf{1}_{2},\mathbf{1}_{2},-\mathbf{1}_{2})$
and
$n_{2}\in G_{x}$
we may assume that
$\unicode[STIX]{x1D70E}$
fixes
$(\mathbf{1}_{2},-\mathbf{1}_{2},\mathbf{1}_{2},-\mathbf{1}_{2})$
as well. Finally, since
$\unicode[STIX]{x1D70E}$
maps
$(1,-1,1,-1,1,-1,1,-1)$
to
$\pm (1,-1,1,-1,1,-1,1,-1)$
and
$n_{3}\in G_{x}$
we may assume that
$\unicode[STIX]{x1D70E}$
fixes
$(1,-1,1,-1,1,-1,1,-1)$
. This entails that
$\unicode[STIX]{x1D70E}(i)=i$
for
$i\in \{1,2,3,4\}$
. As
$\unicode[STIX]{x1D70E}(r)=\pm r$
for all
$r\in R_{8}$
the latter shows that
$\unicode[STIX]{x1D70E}=\text{id}$
proving statement (i) of Theorem A.1.
Since
$\mathfrak{g}_{x}$
contains the spanning set
$\{x^{[2]^{i}}\mid 1\leqslant i\leqslant 4\}$
of
$\mathfrak{t}_{0}$
, our remarks in §A.4 show that
$\mathfrak{g}_{x}\subset \mathfrak{t}$
. Since
$[t,x]=0$
for every
$t\in \mathfrak{g}_{x}$
it must be that
$(\text{d}\unicode[STIX]{x1D6FE})_{e}(t)=0$
for all
$\unicode[STIX]{x1D6FE}\in \unicode[STIX]{x1D6E4}$
. Since
$(\text{d}\unicode[STIX]{x1D6FE})_{e}(t)=\langle h_{\unicode[STIX]{x1D6FE}},t\rangle$
and
$\mathfrak{t}_{0}$
is a maximal isotropic subspace of the symplectic space
$\mathfrak{t}$
, we obtain that
$t\in \mathfrak{t}_{0}$
. As a result,
$\mathfrak{g}_{x}=\mathfrak{t}_{0}$
for every
$x\in \mathfrak{r}^{\circ }$
. Statement (ii) follows.
In proving statement (iii) we may assume that
$x=\sum _{i=1}^{8}(\unicode[STIX]{x1D706}_{i}e_{\unicode[STIX]{x1D6FE}_{i}}+\unicode[STIX]{x1D707}_{i}e_{-\unicode[STIX]{x1D6FE}_{i}})$
and
$x^{\prime }=\sum _{i=1}^{8}(\unicode[STIX]{x1D706}_{i}^{\prime }e_{\unicode[STIX]{x1D6FE}_{i}}+\unicode[STIX]{x1D707}_{i}^{\prime }e_{-\unicode[STIX]{x1D6FE}_{i}})$
are two elements of
$\mathfrak{r}^{\circ }$
. Our discussion in the previous paragraph shows that
$\mathfrak{g}_{x}=\mathfrak{g}_{x^{\prime }}=\mathfrak{t}_{0}$
. Let
$h_{i}^{\prime }:=h(1,\ldots ,\unicode[STIX]{x1D707}_{i}^{\prime }/\unicode[STIX]{x1D706}_{i}^{\prime },\ldots ,1)$
, where the entry
$\unicode[STIX]{x1D707}_{i}^{\prime }/\unicode[STIX]{x1D706}_{i}^{\prime }$
occupies the
$i$
th position. There is a unique element
$h=h(b_{1},\ldots ,b_{8})\in T$
such that
$$\begin{eqnarray}h\cdot s_{\unicode[STIX]{x1D6FE}_{i}}h_{i}\cdot h^{-1}=s_{\unicode[STIX]{x1D6FE}_{i}}h_{i}^{\prime }\quad (1\leqslant i\leqslant 8).\end{eqnarray}$$
(We need to take
$b_{i}=\sqrt{(\unicode[STIX]{x1D706}_{i}\unicode[STIX]{x1D707}_{i}^{\prime })/(\unicode[STIX]{x1D706}_{i}^{\prime }\unicode[STIX]{x1D707}_{i})}\in k$
for all
$1\leqslant i\leqslant 8$
which is possible since all
$\unicode[STIX]{x1D706}_{i}\unicode[STIX]{x1D707}_{i}$
and
$\unicode[STIX]{x1D706}_{i}^{\prime }\unicode[STIX]{x1D707}_{i}^{\prime }$
are nonzero.) Our earlier remarks in this section now show that
$h\cdot G_{x}\cdot h^{-1}=G_{x^{\prime }}$
. This proves statement (iii).
Remark.
We stress that for an element
$x=\sum _{i=1}^{8}(\unicode[STIX]{x1D706}_{i}e_{\unicode[STIX]{x1D6FE}_{i}}+\unicode[STIX]{x1D707}_{i}e_{-\unicode[STIX]{x1D6FE}_{i}})$
to be in
$\mathfrak{r}^{\circ }$
it is necessary that
$\unicode[STIX]{x1D706}_{i}\unicode[STIX]{x1D707}_{i}\neq \unicode[STIX]{x1D706}_{j}\unicode[STIX]{x1D707}_{j}$
for all
$i\neq j$
. If one removes this condition and only requires that the set
$\{x^{[2]^{i}}\mid 1\leqslant i\leqslant 4\}\subset \mathfrak{t}$
is linearly independent, then one obtains an a priori bigger Zariski-open subset,
$\mathfrak{r}^{\prime }$
, in
$\mathfrak{r}$
which still has the property that
$G_{x}$
is a finite group and
$\mathfrak{g}_{x}=\mathfrak{t}_{0}$
for every
$x\in \mathfrak{r}^{\prime }$
. However, it is not immediately clear that the stabilizers in
$G$
of any two elements in
$\mathfrak{r}^{\prime }$
are isomorphic. It would be interesting to investigate this situation in more detail.
A.6 Scheme-theoretic stabilizers
Let
$\widetilde{\mathbf{G}}$
be a reductive group scheme over
$k$
with root system
$\tilde{\unicode[STIX]{x1D6F7}}$
with respect to a maximal torus
$\mathbf{T}\subset \widetilde{\mathbf{G}}$
and let
$\mathbf{G}$
be the regular group subscheme of
$\widetilde{\mathbf{G}}$
with root system
$\tilde{\unicode[STIX]{x1D6F7}}_{0}$
. We may assume that
$\mathbf{T}(k)=T$
,
$\widetilde{\mathbf{G}}(k)=\widetilde{G}$
and
$\mathbf{G}(k)=G$
. In this situation, we wish to describe the scheme-theoretic stabilizer
$\mathbf{G}_{x}$
of
$x\in \mathfrak{r}^{\circ }$
, an affine group subscheme of
$\mathbf{G}$
defined over
$k$
.
Let
$F$
be any commutative associative
$k$
-algebra with 1. The subscheme
$N_{\mathbf{G}}(\mathbf{T})$
of
$\mathbf{G}$
is smooth and since
$p=2$
we have an isomorphism
$N_{\mathbf{G}}(\mathbf{T})=W\times \mathbf{T}$
of affine group schemes over
$k$
. Arguing as in §A.5 one observes that
$\mathbf{G}_{x}(F)$
is contained in the group of
$F$
-points of
$N_{\mathbf{G}}(\mathbf{T})$
. The latter contains
$G_{x}=\mathbf{G}_{x}(k)$
. Replacing
$k^{\times }$
by the multiplicative group of
$F$
and arguing as in §A.5 one observes that the canonical projection
$N_{\mathbf{G}}(\mathbf{T}){\twoheadrightarrow}W$
sends
$\mathbf{G}_{x}(F)$
into the subgroup of
$W$
generated by
$\unicode[STIX]{x1D70E}_{i}$
with
$0\leqslant i\leqslant 3$
. Since
$n_{i}\in G_{x}$
for all
$0\leqslant i\leqslant 3$
it follows that the group
$\mathbf{G}_{x}(F)$
is generated by
$G_{x}=(\mathbf{G}_{x})_{\text{red}}$
and the scheme-theoretic stabilizer
$\mathbf{T}_{x}$
. On the other hand, our concluding remarks in §A.3 imply that the root lattice
$\mathbb{Z}\tilde{\unicode[STIX]{x1D6F7}}$
contains free
$\mathbb{Z}$
-submodules
$\unicode[STIX]{x1D6EC}_{1}$
and
$\unicode[STIX]{x1D6EC}_{2}$
of rank 4 such that
$\mathbb{Z}\tilde{\unicode[STIX]{x1D6F7}}=\unicode[STIX]{x1D6EC}_{1}\oplus \unicode[STIX]{x1D6EC}_{2}$
and
$\mathbb{Z}\unicode[STIX]{x1D6E4}:=\mathbb{Z}\unicode[STIX]{x1D6FE}_{1}\oplus \cdots \oplus \mathbb{Z}\unicode[STIX]{x1D6FE}_{8}=\unicode[STIX]{x1D6EC}_{1}\oplus 2\unicode[STIX]{x1D6EC}_{2}$
. Since
$\mathbf{T}(F)=\text{Hom}_{\mathbb{Z}}(\mathbb{Z}\tilde{\unicode[STIX]{x1D6F7}},F^{\times })$
, we have a short exact sequence
$$\begin{eqnarray}1\rightarrow \text{Hom}_{\mathbb{Z}}(\unicode[STIX]{x1D6EC}_{2}/2\unicode[STIX]{x1D6EC}_{2},F^{\times })\rightarrow \mathbf{T}(F)\rightarrow \text{Hom}_{\mathbb{ Z}}(\mathbb{Z}\unicode[STIX]{x1D6E4},F^{\times })\rightarrow 1\end{eqnarray}$$
which shows that the groups
$\mathbf{T}_{x}(F)$
and
$\text{Hom}_{\mathbb{Z}}(\unicode[STIX]{x1D6EC}_{2}/2\unicode[STIX]{x1D6EC}_{2},F^{\times })$
are isomorphic. Since
$\unicode[STIX]{x1D6EC}_{2}/2\unicode[STIX]{x1D6EC}_{2}\cong (\mathbb{Z}/2\mathbb{Z})^{4}$
and
$\text{Hom}_{\mathbb{Z}}(\mathbb{Z}/2\mathbb{Z},F^{\times })=\unicode[STIX]{x1D707}_{2}(F)$
we have
$\text{Hom}_{\mathbb{Z}}(\unicode[STIX]{x1D6EC}_{2}/2\unicode[STIX]{x1D6EC}_{2},F^{\times })\cong (\unicode[STIX]{x1D707}_{2})^{4}(F)$
. Hence,
$\mathbf{T}_{x}\cong (\unicode[STIX]{x1D707}_{2})^{4}$
as affine group schemes over
$k$
.
Since
$\unicode[STIX]{x1D70E}_{i}(\unicode[STIX]{x1D6FE}_{j})=\pm \unicode[STIX]{x1D6FE}_{j}$
for all
$0\leqslant i\leqslant 3$
and
$1\leqslant j\leqslant 8$
we have that
$(\unicode[STIX]{x1D70E}_{i}(\unicode[STIX]{x1D706})-\unicode[STIX]{x1D706}|\unicode[STIX]{x1D6FE}_{j})\in 2\mathbb{Z}$
for all
$\unicode[STIX]{x1D706}\in \mathbb{Z}\tilde{\unicode[STIX]{x1D6F7}}$
. Since
$(\unicode[STIX]{x1D706}|\unicode[STIX]{x1D706}^{\prime })\in 2\mathbb{Z}$
for all
$\unicode[STIX]{x1D706},\unicode[STIX]{x1D706}^{\prime }\in \mathbb{Z}\unicode[STIX]{x1D6E4}$
, it follows that each
$\unicode[STIX]{x1D70E}_{i}$
acts trivially on
$\unicode[STIX]{x1D6EC}_{2}/2\unicode[STIX]{x1D6EC}_{2}\cong \mathbb{Z}\tilde{\unicode[STIX]{x1D6F7}}/\mathbb{Z}\unicode[STIX]{x1D6E4}$
. We thus deduce that the group scheme
$\mathbf{G}_{x}$
is commutative. In view of the above this implies that
$\mathbf{G}_{x}\cong (\mathbf{G}_{x})_{\text{red}}\times \mathbf{T}_{x}$
as affine group schemes over
$k$
. This completes the proof of Theorem A.1.◻
