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.