Hi! My name is Matt DeLand, I’m a graduate student at Columbia and I’m responding to Charles’ call for cobloggers. I also study Algebraic Geometry, and have been enjoying Charles’ posts; hopefully I can help out and make some positive contributions. I apologize in advance for the quality of my first post….
Introductions aside, it’s time for some math! In previous posts, the importance of moduli spaces in algebraic geometry has already been underlined (Representable Functors, Grassmannians, Hilbert Schemes, Hom Schemes, Families of Cartier Divisors, etc.). There’s even already a post-series outlining how to take quotients of varieties by finite (in fact reductive) algebraic groups. I’ll start out slowly here toward the goal of explaining what this means.
First, a group variety has already been defined in this series. Since the first applications we have in mind are geometric, we’ll work over a fixed algebraically closed field . All schemes, varieties, and morphisms should be assumed to be over
. At some point we reserve the right to assume that the characteristic is 0. Recall that a group scheme is a scheme
with morphisms
,
, and
which satisfy the usual relationships for groups. By an Affine Group Scheme, we will mean that
is isomorphic to an affine scheme
. This will imply that
has a Hopf Algebra structure, but we won’t focus on that for now. For the purposes of this post, all group schemes will be affine. The theory of complete group varieties (also known as Abelian Varieties) is a topic for another day(s).
Examples: The following are the classic examples of Group Schemes that we should all be familiar with.
1. where
and the defining morphism are given by:
corresponds to
,
corresponds to
, and
corresponds to
. This group scheme (in fact variety) is denoted
but we’ll leave out the field notation from here on out. Notice that the functor of points of
defined by
(note: for any group scheme
, the functor
actually takes values in the category of Groups rather than Sets because of the axioms) defined by
sends
to the ring
as an additive group.
2. where
and the morphism are given by:
corresponds to
,
corresponds to
and
corresponds to
. This group variety is denoted
. With the notation as above,
, the group of invertible elements of
, as a group under multiplication.
3. where
. The morphisms are the same as in Example 2 above, except the map
corresponds to
. For obvious reasons, this scheme is called the group of n-th roots of unity, and is denoted
. Notice that if n is a multiple of the characteristic of the field, then we have encountered our first group scheme which is not a group variety.
4. We leave it as an exercise to work out other standard group schemes and any others that motivate you.
Definition A morphism of group schemes is a morphism of schemes which is also a homomorphism of groups.
As an example, there is an exact sequence of groups schemes , where the second arrow is given by
.
Suppose that is a finite type scheme, then we define what it means for a group scheme
to act on
.
Definition Suppose is a group scheme and
is a scheme. An action of
on
is given by a map
such that
is the identiy and such that the two maps
are equal. This definition simply encodes the usual definition for a group acting on a set.
At the level of rings, there is a dual notion:
Definition: A representation of a group scheme is a k-vector space (not necessarily finite dimensional)
along with a linear map
which satisfy the dual relations for those of an action. A vector
is called invariant if
and a subspace
is called a subrepresentation if
.
Here are some Examples of group actions on : (In each case we leave it to the reader to check that we actually have a group action). If I could draw pictures here I would…
1. acts on
by the map
.
2. acts on
in another way by the map
.
3. acts on
by the map
.
4. acts on
by the map
.
5. acts on
in another way by the map
.
6. Suppose for simplicity that is algebraically closed and that the characteristic is prime to n. Fix a primitive n-th root of unity,
. Then
acts on
by sending
.
Now we can ask what it should mean to take the quotient of by a group action
. The original scheme should certainly map to the quotient, which we will call
. In the best case scenario, the points of
will correspond to orbits of the action. However, if
is a quotient, then fibers over closed points are closed in
. If there are non-closed orbits then, it can’t be the case that points of
correspond to orbits uniquely.
Let’s analyze the oribts in the above examples. In Example 1, the origin is an orbit, and all lines through the origin (not including the origin) are also orbits. In Example 2, the origin is an oribt, as are all hyperbolas , as are the x-axis and the y-axis if we leave out the origin. In Example 3, the orbits are all closed, they are “horizontal lines” andall (isolated) points on the x-axis. In Example 4, there is an open orbit which is the complement of the x-axis, and then isolated points on the x-axis. In Example 5, there is the origin, the x-axis minus the origin, and the plane minus the x-axis. Finally in Example 6, the orbits are collections of n points except for the origin which is its own orbit. Even with relatively simple group actions we’ve run into non-closed orbits.
The ideas involved in taking a quotient are made clear by looking at the affine case. Suppose then that and
. Let
is the set (actually subalgebra) of
invariants for the action. Consider the map
given by some
invariant functions
. We have an induced (surjective) map
corresponding to the inclusion. Since each
is an invariant, this map is constant on
orbits of the action, that is, it sends each orbit to a point. We can ask then when do distinct orbits map to distinct points? When the algebra
is finitely generated, we can take a set of generators to define the map, and hope that the image is a variety and is the quotient we want. We’ll see in the future that this is always the case when the action is nice (see below).
For the technical definition , we’ll follow Mumford:
Definition Suppose a group scheme acts on a k-scheme
. We say that
is a geometric quotient if:
i) (
is the second projection on
).
ii) The map is surjective and the map
has image
.
iii) The map is submersive.
iv) The sheaf is the subsheaf of
consisting of invariant funtions. Said another way, if
then
if and only if the two maps
are equal. Here
is the map determined by
.
It’s a mouthful, and vaguely translated, condition i) is the property the morphism contracts orbits, condition ii) is the property that fibers over closed points correspond to orbits (see the discussion below), and all the conditions together assure that it is the “smallest” variety (that is, satisfying a universal property) that has properties i) and iv).
Now of course, the question becomes, when do geometric quotients exist? The answer will be when the group is reductive (a notion that we won’t define until next time). In fact, when is an affine variety and the action is nice, the coordinate ring of the quotient will be exactly
. Let’s analyze the above examples.
In Example 1, the affine quotient is a single point (the only invariant functions are constant)! This will be fixed in the future when we remove the origin and we’ll see that the quotient is as expected. In Example 2, the quotient is
). Notice that the non-closed orbits fail to be separated by the quotient map. In Example 3, the quotient is
). Here, even closed orbits (the points) are not separated, indeed the group
is not reductive. We’ll leave the rest as exercises, it should be similar.
Since we haven’t covered any theory at all, and since actions of and
are ubiquitous (though mostly the former), we’ll discuss such actions slightly more here.
In the special case when , the representations are particularly simple. Given
and an integer
, consider the map
which sends
. This is called a representation of weight a.
Proposition: For each representation of
, there is a direct sum decomposition
where each
is a subrepresentation of weight m.
Proof: Define . This is a subrepresentation of weight m. To verify the direct sum decomposition, for an arbitrary vectory write
(this sum will be finite). By property i) of an action, we’ll have
so we just must verify that each
. By property ii) of an action though, we have that
. By linear independence of the
, we must have then that each
.
From this we see that to give a action on
is equivalent to specifying a grading decomposition
. The invariants of the action correspond to elements of weight 0.
In characteristic 0, something similar for an action of is true:
Proposition: Every representation of
is given by
(sum taken over non-negative integers) for some
which is locally nilpotent (that is, every vector is eventually killed).
We’ll leave this proof as an exercise, it’s not much harder than the previous one and isn’t used as often. Hint : Consider the linear maps defined by
.
Concerning the definition of geometric quotient, I thought that it was necessary to strengthen iii) and require the map to the quotient to be submersive (at least following Mumford’s definition). Also it is condition ii) that ensures that the geometric fibres agree with the geometric orbits.
Regarding the existence of geometric quotients, I don’t want to second guess you since you haven’t really posted about it, but I just thought I’d point out that being linearly reductive isn’t necessary. It is enough to be just reductive (linear reductivity is very restrictive in characteristic p). And then, even when the scheme being acted upon is affine and your group is reductive the action needs to be closed for the categorical quotient you produce to be geometric.
A good post though and I’m looking forward to the follow-ups.
Hi Greg,
Thanks for keeping me honest on my first post! You’re right on both points, I glossed too quickly over Mumford’s definition. I should have said the map is submersive, and I should have said that a “nice” action will correspond to a reductive group, though I didn’t define what that means. I wanted to stay a little vague about exactly what sorts of quotients existed in what sense until I could make the definitions at least. Thanks for the comments.
I think it is more precise to use the notation
instead of
. The first is a group scheme over k, while the second is a set with a group structure that is naturally identified with the underlying additive group of k.
Hi Matt!
Hi!