In this post we motivate the notion of affine group schemes, and discuss the various equivalent ways of defining them.
Motivation
Group schemes are an extremely powerful, and beautiful set of objects. For some reason, they are often times not discussed in basic algebraic geometry courses. One reason this may happen is because while the definition of group schemes is relatively simple, and one can easily deduce their basic properties. But, quickly the easy proofs give way to deep facts, and complicated machinery (e.g. root systems and representations), making them too much a diversion from a standard course. This is a shame though, since group schemes offer some of the most illuminating examples of many of the natural properties of schemes.
Simply, a group scheme is a group object in the category of schemes (usually over some fixed scheme ). So, it is a scheme
, equipped with morphisms
,
, and
. These morphisms are suppose to represent the multiplication of the group, the inverse function of the group (i.e.
), and the morphism picking out the identity element of the group. So, in this way, group schemes are the schemes, as Lie groups are to manifolds.
The similarity between group schemes and Lie groups doesn’t just end there. The place that group schemes occupy in algebraic geometry, much mirrors that of Lie groups within differential geometry. One one hand, they are extremely simple. The homogeneity properties they possess from their simply transitive self-action forces them to be extremely symmetrical. This, in turn, forces them to automatically have many desirable properties. On the other hand, group schemes comprise some of the most complicated schemes one may encounter in a first course on schemes, for example (to be defined later).
The other source of similarity between group schemes and Lie groups is via the utility they have with respect to other objects. Said less cryptically, one of the most useful properties that group schemes have is they act on other schemes. Usually one can phrase some important identification between points of a scheme, by saying that they are precisely the objects in the orbits of some action of a group scheme on the scheme. Or, one may be able to express algebro-geometric symmetry via the action of some group scheme on the scheme.
The last similarity between Lie groups and group schemes, one which is of particular importance to us right now, is the huge difference between compact and non-compact ones. Anyone who has taken a course on Lie groups is well aware of the huge difference in the theory that one encounters when trying to transition between non-compact Lie groups and their compact counterparts. This difference may be even greater in theory of group schemes, where the two different cases form two entirely different subjects.
Namely, while there is not a (useful) topological notion of compactness for schemes, there is a useful replacement–properness. Thus, one might expect that the world of group schemes may be carved into its proper and non-proper pieces. But, unlike topological spaces which exist in the binariness that is compact and non-compact, the world of schemes is much more nuanced. Namely, non-proper schemes can be so disparate (an obvious non-trivial dichotomy being separated vs. non-separated) from one another, that we want to consider a slightly more specific class. Namely, the affine group schemes. These are the two subjects that the study of group schemes is usually divided between–the affine group schemes (linear group schemes) and the proper group schemes (abelian varieties).
Now, while abelian varieties (which include elliptic curves) are undoubtedly important, in this (and hopefully subsequent) posts, we shall discuss linear group schemes. The reason for the modifier ‘linear’ because of an important theorem (one that is easy to prove [two lines] once we have the machinery] which says that every affine group scheme (over a field) embeds into
. These comprise many of the important groups that show up, for example, in representation theory. They are also the groups which most effectively act on natural algebro-geometric objects.
Group Objects
One of the other aspects of the theory of group schemes which differs greatly from the theory of Lie groups, is the huge presence of the functorial point of view. Namely, group schemes over will be merely schemes
together with a factorization of
as
where
is some functor
and
is the forgetful functor.
This actually holds more generally though, and so we quickly review this idea. Let us begin by recalling that if is a category with finite products and a final object
, then a group object in
is an object
of
together with morphisms
(where the product is taken in
!),
, and
such that the following identities hold
- (Associativity)
- (Inverses)
(where
)
- (Identity)
(where
is the unique isomorphism
).
As should be inferred from the labels, these conditions are just saying that the morphisms coming with a group object should satisfy the usual axioms that make a group. One interesting thing to note is that unlike the case of groups, here we actually specify the inverse operation as well as the identity element, opposed to just claiming their existence. This is important because we want the inverse operation, for example, to actually be a morphism in the category.
Now, the group objects in a category form a category themselves. In particular, if
and
are two group objects of
, then a morphism from
to
should just be a morphism
in
such that
, where the morphism
is the obvious one. Or, in other words, morphisms should just be morphisms of the underlying
-objects that commute with respective multiplications.
Brief Discussion of Yoneda’s Lemma
Now, we’d like to recast the notion of group objects in purely functorial terms. If you believe that this seems like an obnoxious goal (which, on the face of things, isn’t unreasonable), you will be quickly become a convert. In fact, group objects are more often than not presented to us in functorial form–it is the above definition which is less natural. But, let’s put the cart before the horse.
To make rigorous our functorial definition of group objects, we need to recall the ubiquitous Yoneda lemma. For this, let’s recall that if is a category, and
an object of
, then
denotes the contravariant functor
(i.e. a presheaf on
in modern parlance) given by
(with the obvious action on arrows).
Note that if is a morphism, one obtains a natural transformation
as follows. For an object
, we obtain a morphism
by taking
to
. One can quickly check that this is, indeed, a natural transformation.
In this way, we obtain a functor , where
is the functor category
(i.e. the category of presheaves on
). Yoneda’s lemma then tells us something interesting about this functor.
Theorem1 (Yoneda’s Lemma): Let
be an object of
, and
an object of
. Then, the map
taking
to
is a bijection.
Why this has impact on our functor comes from taking
. Then, this says that the map
sending
to
is a bijection to
.
But, if is an element of
, and
is the natural transformation we defined above, then what is
? Well,
is the map
taking
to
. Thus,
. Thus, we see that
is the right inverse to the bijection defined in Yoneda’s lemma, and so must be a bijection itself.
This then tells us that our functor is an embedding (i.e. fully faithful). Thus, to give a morphism
is the same thing as to give a natural transformation
.
Group Objects as Functors
Now that we have recalled the statement of Yoneda’s lemma we can effectively discuss how to categorify the definition of group object.
Note first that if and
are objects of a category
, then we can canonically identify the functors
and
. Indeed, the natural isomorphism
, on an object
takes
as
where
and
are the projection maps associated to
.
So, with this in mind, let’s see what Yoneda’s lemma says about the definition of a group object. Well, to give a morphism is the same as giving a morphism
, or with the identification we discussed in the last paragraph,
. Similarly, to give a morphism
is the same as giving a morphism
. And finally, giving a morphism
is the same thing as giving a morphism
.
But, a group object was more than an object equipped with some maps. These maps needed to satisfy certain equational properties. For example, we required, for example, that (the associativity axioms). But,
and
are both elements of
. But, by Yoneda’s lemma (the injectivity part) to check that two morphisms
are the same, we need only check that their associated natural transformations
are the same.
But, to do this, we need only check that for any object of
the two set maps
are equal. But, the equality of the set maps
and
is clearly equivalent to the associativity of the set maps
. In fact, using exactly the same observations, one sees that the maps
, and
satisfying the axioms of a group object is equivalent to the statement that
, which is a binary function
, defines a group structure on
with inverse map given by
, and identity element
(note that since
is a terminal object
is always just a point, so
is constant, so just picks out the identity element).
Moreover, note that if is a morphism in
, then by definition we obtain a set map
defined by
Note then that
purely because is a natural transformation
. But, since
is the multiplication map for the group structure on
, and
is similarly the multiplication structure on
, we find that
is a group map.
Thus, we see that the group object actually defines a functor
whose underlying set functor (i.e. the composition of this functor with the forgetful functor
is just
.
Tracing the argument backwards shows that the converse is true, and thus we obtain the following theorem:
Theorem 2: To give a group object
in
is the same as giving a factorization of the functor
through the forgetful functor
.
Note that various factorizations of through the forgetful functor correspond to putting different group structures on the same object
of
.
Moreover, we can actually take Theorem 2 one step further. Namely, what does it mean to give a morphism from a group object to a group object
? It means to give a morphism
in
such that
. But, by Yoneda’s lemma, and the above observation, this is equivalent to requiring that the induced map
satisfy
. But, this is precisely the statement that for each object
of
the induced set map
is actually a map of groups. Thus, we have actually defined a natural transformation
(where these are the associated functors to group). Moreover, once again by Yoneda, all such morphisms of group objects arise in this way:
Theorem 3: If
and
are group objects in
, with associated factorization
and
, then to give a morphism of group objects
is the same thing as giving a natural transformation
.
Because of these theorems, we will often times abuse notation (an abuse which, as they usually are, is extremely useful) and denote the group object in and the associated functor
both by the symbol
. So, for example, instead of the group
, we will now write
.
Another way to phrase the above is that a group object in is that it is a representable functor
(or, more technically, representable when composed with the forgetful functor to
), and to to give a morphism between group objects is simply to give a natural transformation between these functors.
Also, from now on, as is customary, we shall drop any reference to the operations of a group object and refer to it only as
, unless confusion would arise.
Group Schemes
Now that we have set up all of this notation, it is very simple to define group schemes. Namely, for a scheme , we define a group scheme over
, to be a group object in
. We shall, almost always, only talk about group schemes over an affine scheme
(often times when
is a field), in which case we shall also refer to group schemes ‘over
‘.
Note then that the morphisms of a group object take the form of
-morphisms
,
, and
(i.e. a section of the structure morphism
).
One nice property about group schemes, is that it suffices to actually give their values on affines. Roughly, this is because affine schemes over are “dense” in
. To make this rigorous, let us define, for a scheme
, the category
to be the full subcategory of affine schemes in
. The claim is then the following:
Theorem 4: The following sets of data are equivalent, for an object
in
:
- Giving a factorization of
as
for some functor
.
- Giving a factorization of
as
, for some functor
.
Proof: We clearly have a map from the data in 1. to the data in 2., just by taking a factorization and mapping it to
. We proceed to show that this is “injective” and “surjective”.
For injectivity, we prove something stronger, in the form of the following lemma:
Lemma 5: Let
and
be sheaves in the Zariski topology (you can just think of
and
as representable, if that’s easier). Then, any natural isomorphism
can be lifted to an isomorphism
. Moreover, if
and
are given a factorization through
, and
is a natural isomorphism of functors to
, then so is
.
Proof: We need to define for an arbitrary
-scheme
. To do this, let
be an open cover of
by affine open subschemes, and for each pair
, let
be an open cover of
by affine open subschemes. We then have the following diagram
where the first map in the top row is the obvious one, and the second is the composition of the following arrows
where the first pair of arrows is the usual restrictions, and the second arrow is the product of the usual arrows . So, in essence, it takes a tuple
and sends it along the first arrow to the tuple which, in the
entry has
and along the second arrow sends it to the tuple which in the
entry has
. The maps for
are defined similarly. The vertical arrows are the arrows
and
.
Now, since
is an equalizer, and is injective, we see that
is also an equalizer. The analogous statement for is also true. Thus, we obtain an arrow
in
by the universal property of equalizers, and the fact that the right-hand squares in
commute (this is just the product of the naturality squares for
).
One can check, by refining both open covers, that the map is independent of open cover. And, of course, since each
And
is an isomorphism, so is the map
. Lastly, to check the naturality of
follows by definition, and the fact that the
are natural on the affine schemes.
Finally, if and
were group functors, and
was a natural transformation of group functors, then it’s clear that the constructed maps
are group maps, and thus the lifted natural transformation
is actually an isomorphism of group functors as desired.
We must now show the surjectivity of this map. Namely, let’s suppose that we have put a group structure on for every affine scheme
. For an aribtrary
-scheme
define the group structure on
to be
, where
is the set of all affine open subschemes of
, made into a directed set by definiing
to be
(the opposite of inclusion maps). We must now show that this group structure is functorial in
, in the sense that for every arrow
, the map
is a group map, where each are given the above described group structure. But, for each affine open
of
, we obtain a map
, where
are the affine open subschemes of
which is a group map. One then recovers the induced map
as the inverse limit of over all
.
To conclude we need to check that this functor agrees with the original group structure when restricted to
. But, this is just because
is a sheaf. Thus,
for every affine scheme , and that this isomorphism is an isomorphism of groups, and is functorial in
.
While this example isn’t the most useful in practice, it is extremely philosophically appealing. It really does tell us that group functors are really determined by their action on affine schemes.
We shall a group scheme an affine group scheme if the underlying scheme is affine.
Some Key Examples
Now that we know how to define group schemes, let’s give some good examples of them to keep in mind. To keep things simple, we will assume, in what follows, that , for some ring
. That said, all parts that make sense for a general base (e.g. the functorial definitions of
and
) work over any base.
For perhaps the simplest example, let’s consider the functor (or
if we’re emphasizing the base) which on objects sends
to
(i.e. just thinking about
as an additive group). On morphisms
sends an
-morphism
to the associated map of abelian groups
. It is clear to see that this is functorial.
But, to conclude that is actually an affine group scheme over
we need to show that
, composed with the forgetful functor
, is representable. To do this, merely note that
is the same thing as
. Thus,
is an affine group scheme over
, with representing object
.
For completeness, we should mention what the explicit operations on are. To this end, we need to define maps
,
, and
(note that
[or more technically
] is the terminal object]. Well, to give such an
is the same thing as giving an
-algebra map
,
is the same as giving a
-algebra map
, and
is the same thing as giving a
-algebra map
. So, let
be defined by
,
as
, and
. One can easily check that the desired relations hold, and that this does, in fact, define the same affine group scheme as
.
We shall the additive group over
(or sometimes just ‘over
‘).
The next fundamental example is the next obvious choice after the additive group. Define the functor on objects by
(with the usual product), and for an
-morphism
associate the group map
coming from the associated ring map
. It is clear to see that
really is a functor.
To see that is an affine group scheme, we need to show that its composition with the forgetful functor is representable. But, one can quickly check that this is the case, in particular, that
is isomorphic to
(where
is more precisely written as
).
Once again, let’s actually say what the group operation on is. Once again, we need to define maps
,
, and
. As before, this is equivalent to defining
-algebra map
,
, and
. Well, define
to be such that
,
as such that
, and
as such that
. Once again, one quickly checks that the group structure, and maps, that
then define, as a functor to
, coincide with
.
We call this the multiplicative group over (or sometimes just ‘over
‘). What the above allows us to do
As a generalization of the last example, we consider higher dimensional analogues of the multiplicative group. Namely, let be the functor
which associates to every scheme
, the group
, and which associates to a scheme map
, the associated group map
afforded to us by the ring map
. One quickly checks that this is functorial.
For the third time, to check that really does define an affine group scheme over
, we need to show that the composition of
with the forgetful functor is representable. But, as one can quickly check, the scheme
represents . Thus,
really is an affine group scheme over
.
Now as is becoming clear, we define the operations on , we need to define
-algebra maps
, , and
. We define these as follows:
where is the
entry of the adjugate matrix of
(which is a polynomial in
!), and
as expected.
Using the exact same idea as the previous example, one can define . One can show that it is represented by
.
As the next example, we can consider the functor defined on objects by
and on morphisms by sending the natural map
afforded to us by the ring map
.
One can easily check that is representable, with representing scheme
.
The explicit group operations on are given by
,
,
and,
as one would expect. As one can probably guess, in this way, we have actually shown that is a subgroup scheme of
.
For this example, we assume that is actually a field of characteristic
. We can then define, for each
, an additive analogue of
. Namely, define a functor
defined on objects by
and on morphisms in the obvious way.
To show that this is actually a group scheme, we need to show that its composition with the forgetful functor is representable. But, this is easily achieved. Namely, one just checks that represents
, as a functor to
.
Finally, every elliptic curve is a proper group scheme over
. For a discussion of group schemes see Ben Moonen’s book on Abelian Varieties.
One comment