Some examples of algebraic groups
In this post I want to give a few examples of the known “pathological” behavior of algebraic groups defined over general bases. In particular, this post contains examples of the following.
- A smooth group scheme over a DVR with generic fiber
and special fiber
,
- An affine smooth group scheme
over a regular dimension
base such that the (open) relative identity component
is not affine.
In the first bullet point, we note that the reverse degeneration cannot happen, i.e., there is no smooth group scheme over a DVR with generic fiber and special fiber
. One way to see this is to note that if
is a prime number invertible on the base, then multiplication by
is flat (by the fibral flatness criterion), so the rank of its kernel cannot jump after specialization. In the second bullet point,
is the minimal dimension in which examples can occur: in dimension
(i.e., over a field), this follows from the elementary fact that
is an open and closed subscheme of
. In dimension
,
may not be closed in
, but nonetheless it is always affine by a theorem of Raynaud (see Prasad-Yu, On quasi-reductive group scheme, Prop. 3.1).
These are both well-known phenomena, but examples appear somewhat out of the blue in published accounts, in which the group schemes are defined by rather complicated equations. (For the second example, see Raynaud, Faisceaux amples sur les schémas en groupes et les espaces homogènes, VII, 3(iii).) Our goal is to realize examples of the above two phenomena as centralizers of certain sections of . For this we will need to set up a few preliminary notions.
If is a field and
, then we say that
is regular if its schematic centralizer
has dimension
. Using the Jordan decomposition, it is easy to check that
is the minimal dimension of a schematic centralizer in
. If
is semisimple, this is equivalent to the statement that
has
distinct eigenvalues. If
is unipotent, it is equivalent to the statement that the Jordan normal form of
has a single Jordan block (so there is a unique regular unipotent element up to conjugacy). In the general case, the statement is that the restriction of
to each of its generalized eigenspaces has a single Jordan block in its Jordan normal form. It is easy to check that in any of these cases,
is smooth and connected. If instead
, then we say that
is regular if it is regular as an element of
. Equivalently, the schematic centralizer
has dimension
.
The following lemma will not be used in any serious way later; I only include it to indicate the lay of the land.
Lemma. The locus of unipotent elements of
is closed and irreducible of dimension
; the unique conjugacy class of regular unipotent elements is open and dense in
.
Proof. Let denote the upper-triangular Borel subgroup of
, and let
be the unipotent radical of
(so
consists of the strictly upper-triangular matrices in
). Let
be the closed subscheme defined functorially as
. This is the preimage of
under the conjugation map
,
, so
is closed. Moreover, there is an isomorphism
given by
, so that
is irreducible of dimension
. Since
normalizes
, the image
of
in
is closed and irreducible of dimension
. Since every unipotent element of
is conjugate to an element of
, the second projection
is surjective. Thus
is closed and irreducible (since
is proper), and
has dimension at most
. Since any regular unipotent element has centralizer of dimension
, its conjugacy class
has dimension
, and so
has dimension exactly
. Moreover,
is dense in
and open by the closed orbit lemma. This completes the proof.
In general, if is a scheme and
, we can form the schematic centralizer
; this is a finitely presented closed subscheme of
which represents the functor
Using the fact that is the minimal dimension of a schematic centralizer over a field, it follows from Chevalley’s theorem on upper semicontinuity of fiber dimension that the regular locus in
is open. We will say that
is fiberwise regular if for every
the element
is regular. We have an entirely similar definition for sections of
.
Theorem. If is fiberwise regular, then the schematic centralizer
is flat. The same statement holds for
in place of
.
Proof. First, we need only prove the claim for . Indeed, note that every centralizer
contains the (flat) center
. Thus flatness of
is equivalent to flatness of
. This latter group scheme is isomorphic to
, where
is the center of
. By the same reasoning, flatness of this latter group scheme is equivalent to flatness of
.
Now we prove the claim for . We may consider only the universal case that
is equal to the (open) regular locus of
, and thus assume that
is noetherian and reduced. In this case, there is a remarkable result due to Grothendieck, called the valuative criterion of flatness. This says that if
is a finite type
-scheme for a reduced noetherian scheme
, then
is
-flat if and only if, for every valuation ring
and every map
, the base change
is
-flat. (See EGA IV, Thm. 11.8.1 for a slightly more general statement.) Thus we may in fact assume that
is the spectrum of a DVR
. In this case we have the following useful lemma.
Lemma. Let be a DVR and let
be a finite type
-scheme. Suppose
(1) The map is surjective,
(2) Every connected component of is irreducible,
(3) and
are equidimensional of the same dimension
,
(4) The special fiber is reduced.
Then is
-flat.
Proof. Let be the closure of the generic fiber
in
, so that
is an
-flat closed subscheme of
(since
is a DVR!). To prove that
is
-flat, it suffices to prove that the map
is an isomorphism, and the fibral isomorphism criterion (see EGA IV, Cor. 17.9.5) allows us to reduce to proving that the map
of special fibers is an isomorphism. By (1),
meets every connected component of
. Since
is flat,
is equidimensional of dimension
, and thus by (2) and (3), the map
is surjective. By (4), it follows that
is an isomorphism. The Lemma is proved.
When , every condition in this lemma is satisfied: (1) holds because both fibers are connected and the identity section of
factors through
; (2) holds because any connected finite type group scheme over a field is irreducible; (3) holds by assumption; and (4) holds because the special fiber is smooth. Thus indeed the Theorem holds.
Remarks. (a) Since smoothness over a base is equivalent to flatness + smoothness of the fibers (in the presence of local finite presentation), one sees that under the hypotheses of the Theorem is always smooth, and
is smooth whenever
is invertible on the base.
(b) I do not know whether one can remove the use of the valuative criterion in the above proof. One may be tempted to use instead miracle flatness (see Matsumura, Commutative Ring Theory, Thm. 23.1), but to apply this one needs to first show that the schematic centralizer is Cohen-Macaulay. This might be possible via an explicit computation (especially for small
), but some care is needed since there is no access to the Jordan decomposition over a general base, and without a priori knowledge of flatness it is not clear how to deduce Cohen-Macaulayness purely fibrally.
(c) This theorem, suitably formulated, remains true for arbitrary simply connected semisimple group schemes over a general base (and even in slightly greater generality), but considerably more technical input is required for its proof.
Now that we have our Theorem, we move on to the promised applications.
For the first example, let be a DVR and let
be a matrix with regular unipotent special fiber and regular semisimple generic fiber. Explicitly, we may let
where is a uniformizer of
. It is easy to check that
and
, so that altogether
has special fiber
and generic fiber
, providing our first example.
Remark. There are other natural ways of constructing such a group scheme: for example, one can use the torsion component of the Picard scheme of a nodal cubic degenerating to a cuspidal cubic over a DVR.
For the second example, we will construct a regular section of
over a regular dimension
-scheme
such that only finitely many fibers of
are unipotent modulo the center. (By the first Lemma, the regular unipotent locus in
is locally closed and irreducible of codimension
, so it is perhaps evident that such examples will exist by Bertini’s theorem.) If
is not of characteristic
, then
is smooth over
by Remark (a), and in particular normal. Moreover, over a field of characteristic not
, if
is a regular element then
is disconnected if and only if
is unipotent modulo the center, so all but finitely many fibers of
are connected. So
is closed of codimension
in
, and thus Hartogs’ lemma implies regular functions on
are the same as regular functions on
. Thus
, so
cannot be affine since
Now we construct our example. Suppose that does not have characteristic
and consider
. Let
be given by
Then is unipotent modulo the center if and only if
(in which case it is regular). In this case, the centralizer of
is isomorphic to
. Moreover,
is semisimple if and only if its eigenvalues are all distinct, i.e.,
and
and
. We consider the centralizer in case
and
, i.e.,
is a prime ideal containing
and not
. (The other non-unipotent non-semisimple cases are entirely similar.) In this case,
is conjugate to an element of the form
where . The centralizer of
is isomorphic to
, as one may readily check. In particular,
is connected. The centralizer of a regular semisimple element is a torus, so in fact every fiber of
is connected except the fiber over
. (In general, using a Jordan decomposition argument as above, one can show that if the characteristic of
does not divide
then
is connected if and only if
is not unipotent modulo the center.) To summarize:
- Over every geometric point of
,
is isomorphic to
;
- If
and
then over
, every geometric fiber of
is isomorphic to
;
- Over every other geometric point of
,
is isomorphic to
.
Thus the argument of the previous paragraph shows that is not affine.