Highlights in Linear Algebraic Groups 14: Singular Tori

Posted by Jason Polak on 07. June 2013 · Write a comment · Categories: algebraic-geometry, group-theory · Tags: , ,

IMG861From Highlights 12 and Highlights 13, we have gained quite a bit of information on connected reductive groups G of semisimple rank 1. Recall, this means that G/R(G) has rank 1 where R(G) is the radical of G, which is in turn the connected component of the unique maximal normal solvable subgroup of G.

But wait, why have we been looking at groups of semisimple rank 1 at all? Let’s take a quick look at how we can get a good source of this groups inside a general group G.

Tori

Let G be a connected algebraic group over k=\overline{k}. We are not assuming that G is reductive or anything else besides this. We start by dividing up the tori of G into two kinds: the regular tori and the singular tori. Both of these species will be important in our study of algebraic groups.
More »

Highlights in Linear Algebraic Groups 13: Centralisers of Tori

Posted by Jason Polak on 07. June 2013 · Write a comment · Categories: algebraic-geometry, group-theory · Tags: , , ,

In Highlights 12, we used some of the equivalent conditions for a connected algebraic group G over a field k=\overline{k} to have semisimple rank 1 in the study of reductive groups (these are the groups whose unipotent radical R(G)_u is trivial).

Precisely, we showed that such a G must have a semisimple commutator [G,G] subgroup whose dimension is three, and that we can write

G = Z(G)^\circ\cdot [G,G]

where the -\cdot- denotes that this is an almost direct product: in other words, the multiplication map Z(G)^\circ\times[G,G]\to G is surjective with finite kernel.

Let T\subseteq G be a maximal torus. We will show in this post that C_G(T) = T for a connected reductive group G of semisimple rank 1.
More »

Highlights in Linear Algebraic Groups 12: Radical, Reductive

Posted by Jason Polak on 07. June 2013 · Write a comment · Categories: algebraic-geometry, group-theory · Tags: , , , ,

To analyse the structure of a group G
you will need the radical and a torus T.
The group of Weyl may also may also suit
to prevent the scattering of many a root.
Functors are nice including the one of Lie
Parabolics bring in the ge-o-metry!
The theory of weights may seem oh so eerie
Until you start representation theory!

The structure of reductive and semisimple groups over an algebraically closed field will be pinnacle of this post series. After we have finished with this, this series will end and we will start to learn about algebraic groups from the perspective of group schemes, and we shall use some of the results we have seen so far by using that we really have just been studying the \overline{k}-points of group schemes (classical algebraic geometry).

The topic for today is the radical and unipotent radical, that will allow us to define the concept of semisimple and reductive group. We will then use the roots, which are certain characters of a maximal torus. These will give us a root system, so we will take a break to study these, and classification of root systems will enable us to classify algebraic groups.
More »

Highlights in Linear Algebraic Groups 11: Semisimple Rank 1

Posted by Jason Polak on 15. April 2013 · Write a comment · Categories: algebraic-geometry, group-theory · Tags: ,

highlights11In order to understand the structure of reductive groups, we will first look at some “base cases” of groups that are quite small. These are the groups of so-called semisimple rank 1, which by definition are the algebraic groups G such that G/R(G) has rank 1, where R(G) is the connected component of the unique largest normal solvable subgroup. In this post, we shall see a detailed proof of a theorem that gives several different characterisations of these groups.

As usual, we consider algebraic groups over an algebraically closed field k. The proof we follow will be Theorem 25.3 in Humphrey’s book “Linear Algebraic Groups”. The reason I will go through it here is because in the book, I found the proof a bit terse and in a few points the proof relies on exercises, so it should be instructive to write down a more self-contained proof in my own words.
More »

Highlights in Linear Algebraic Groups 10: G/B is Projective

Posted by Jason Polak on 02. April 2013 · Write a comment · Categories: algebraic-geometry, group-theory · Tags: , , ,

In Highlights 9 of this series, we showed that for an algebraic group G and a closed subgroup H\subseteq G, we can always choose a representation G\to\rm{GL}(V) with a line L\subseteq V whose stabiliser is H. In turn, this allows us to identify the quotient G/H with the orbit of the class [L] in the projective space \mathbf{P}(V), which satisfies the universal property for quotients, thereby giving us a sensible variety structure on G/H.

In this post, we specialise to the case of a Borel subgroup B\leq G; that is B is maximal amongst the connected solvable groups. Such a subgroup is necessarily closed!

The fact that will allow us to study Borel subgroups is the fixed point theorem: a connected solvable group that acts on a nonempty complete variety has a fixed point. By choosing a representation G\to \rm{GL}(V) with a line L\subseteq V whose stabiliser is B, we get identify G/B with a quasiprojective variety. However, in this case G/B is actually projective. Here is a short sketch:
More »

Highlights in Linear Algebraic Groups 9: Quotients as Varieties

Posted by Jason Polak on 02. April 2013 · Write a comment · Categories: algebraic-geometry, group-theory · Tags: , ,

Conventions: an algebraic group here is a linear algebraic group over a fixed algebraically closed field k.

In Highlights 6 and Highlights 7 in this series on algebraic groups, we saw that given any finite dimensional k-subspace F\subseteq k[G], we can find a finite dimensional subspace E\supseteq F such that E is stable under all left-translations. (The same method shows that we can choose E invariant under all right translations in the case of G\times G\to G. Explicitly, if f\in k[G] and x\in G then the right translation \rho_x is defined by (\rho_xf)(y) = f(yx).)

Using either left or right translations, we can use the techniques we have seen to construct for any closed subgroup H\subseteq G a representation \phi:G\to \rm{GL}(V) that contains a line L whose stabiliser in G is exactly H. This is an extremely important technique that will allow us to realise the homogeneous space G/H as a quasiprojective variety! This will come in handy later for studying Borel subgroups B\subseteq G. In this case we will see that G/B is actually projective (and in our setting, equivalently, complete), which is a key observation for deducing the structure of reductive groups.

In this post, we shall go through the construction of this representation.
More »

Highlights in Linear Algebraic Groups 8: Borel Subgroups I

Posted by Jason Polak on 24. March 2013 · Write a comment · Categories: algebraic-geometry, group-theory · Tags: , ,

Borel subgroups are an important type of subgroup that will allow us to gain insight into the mysterious structure of algebraic groups. We shall look at the definition and some basic examples in this post. As usual, algebraic group means some linear algebraic group defined over an algebraically closed field k.

A Borel subgroup B\subseteq G of an algebraic group G is a maximal connected solvable subgroup amongst the solvable subgroups of G. Notice the absense of the adjective “closed” here: although G may contain solvable groups that are not closed, one that is maximal amongst the connected solvable ones must be closed. Indeed, if B is a subgroup maximal amongst the connected solvable subgroups of G then its closure \overline{B} is also connected and solvable.

Before we go any further, it’s helpful to have an example. Since all linear algebraic groups are closed subgroups of some \mathrm{GL}_n(k), let’s do \mathrm{GL}_n(k). We claim that a Borel subgroup of \mathrm{GL}_n(k) is B = \mathrm{T}_n(k), the closed subgroup of upper triangular matrices. Let’s now sketch the proof that B is actually a Borel.
More »

Montreal Spring ’13 Conferences: Number Theory and Algebra

Posted by Jason Polak on 21. March 2013 · Write a comment · Categories: algebraic-geometry, number-theory · Tags: , , , , , ,

This is a fairly recent picture of the McGill campus:

mcgillcampus

However, soon the spell of unbearable heat will dawn on the city and there will be plenty of fun things to do outside. Despite the hot sun we shouldn’t neglect the indoor activities, such as the many awesome conferences and workshops that will be going on. This post is a list of a few of them that I think would be interesting to people who like algebra and number theory. They are listed in chronological order.
More »

Highlights in Linear Algebraic Groups 7: Representations II

Posted by Jason Polak on 18. March 2013 · Write a comment · Categories: algebraic-geometry, group-theory · Tags: , , ,

In the previous post, we saw that if G\times X\to X is an algebraic group acting on a variety X and F\subseteq k[X] is a finite-dimensional subspace then there exists a finite dimensional subspace E\subseteq k[X] with E\supseteq F such that E is invariant under translations.

Recall that if g\in G and f\in k[X] then the translation \tau_g(f)(y) = f(g^{-1}y) so that E being invariant under translations means that \tau_g(E) = E for all g\in G. Now, let’s use the method outlined in the previous post to actually construct a three-dimensional representation of G = \mathrm{SL}_2(k).

The Example

In this setting we specialise to the case where G is an algebraic group acting on itself via multiplication: m:G\times G\to G is given by a Hopf algebra homomorphism \Delta:k[G]\to k[G]\otimes_kk[G]. Of course, in this case we will need to actually choose some finitely generated Hopf k-algebra as our ring of functions of \mathrm{SL}_2(k). Let’s use k[\mathrm{SL}_2] = k[T_1,T_2,T_3,T_4]/(T_1T_4 - T_2T_3 - 1). Thus we think of elements of \rm{SL}_2(k) as homomorphisms k[\mathrm{SL}_2]\to k corresponding to the matrix:

\begin{pmatrix}T_1 & T_2 \\ T_3 & T_4\end{pmatrix}

The comultiplication map is then easily checked to be given by
More »

Highlights in Linear Algebraic Groups 6: Representations I

Posted by Jason Polak on 18. March 2013 · Write a comment · Categories: algebraic-geometry, group-theory · Tags: ,

Soon it will be time to explore some aspects of root systems and structure theory for reductive groups. Our goal is to understand everything in the classical setting over an algebraically closed field, and then explore reductive groups over arbitrary base schemes.

Before we do this, I will give a few examples for some of the technical machinery we shall rely on. In this post, we shall see how an algebraic group acting on a variety X and a function f\in k[X] gives rise to a representation of G, and in the next post we shall see an example. I learnt the material in this section mainly from Jim Humphrey’s book “Linear Algebraic Groups”.

Finite Dimensional, Infinite Dimensional

Our setting is an arbitrary algebraic group G over an algebraically closed field k.

Let X be a variety over k on which G acts, so that G\times X\to X is a group action and a morphism of varieties. If g\in G then there is a translation algebra homomorphism \tau_g:k[X]\to k[X] defined by \tau_g(f)(y) = f(g^{-1}y). The inverse is there so that

[\tau_g(\tau_h(f))](y) = \tau_h(f)(g^{-1}y) = f(h^{-1}g^{-1}y) = f((gh)^{-1}y) = \tau_{gh}(y)

In other words, G\to\mathrm{Aut}_{k}(k[X]) is actually a group homomorphism. Now, k[X] is a k-vector space and thus this gives a representation of G, but it is infinite dimensional. How can we get finite dimensional representations?
More »

« Older articles