You are currently browsing the category archive for the ‘AG.algebraic-groups’ category.

I was wondering the rationale behind naming parabolic subgroups of linear algebraic groups. The answer, interestingly, comes from the action of on the upper half plane. (I came up with this little discovery on my own.)

The orbit of the point under the action of the standard parabolic subgroup of is a parabola.

The upper half-plane is an object that comes up in many parts of mathematics, hyperbolic geometry, complex analysis and number theory to name a few. The group acts on it by fractional linear transformations:

A parabolic subgroup is it’s subgroup such that quotienting by gives a compact variety. Upto conjugation, the only parabolic subgroup of is It’s action on the point is given by:

whose locus is a parabola.

I wonder why textbooks in algebraic groups don’t mention this!

EDIT: (21 April, 2015) The above calculation is WRONG. I don’t know the answer to “parabolic”.

Let for some field and be the subgroup of upper triangular matrices in . As usual, let denote the projective plane over .

As -varieties, is isomorphic to because is the stabilizer of the usual (Mobius) action of on . The resulting action of on is 1-transitive and fixed-point free. Indeed, counting points when is a finite field with elements agrees with the facts that

and

.

This generalizes in that parabolic subgroups (closed subgroup containing a Borel subgroup, i.e., containing the upper triangular matrices upto conjugation, for the general linear group) of an algebraic group give rise to projective varieties. They are precisely the stabilizers of a flag and conversely, the set of flags can be given the structure of an -space and in particular a topology wherein they are compact spaces (being projective spaces). They are called flag varieties.

In this post, I will give a counter-example, that the image of a hyperspecial maximal compact subgroup under a surjective map need not (even) be maximal. In particular, this will tell us that a maximal compact subgroup (e.g., inside ) need not be maximal under surjection.

Let be a connected reductive algebraic group over a local non-archimedian field . A subgroup of is called hyperspecial maximal compact subgroup if

- is a maximal compact subgroup of ,
- There is a group scheme such that and is a connected reductive group over , where is a uniformizer in and is the cardinality of the residue field.

Denote by the canonical surjection

(over some local field , or surjection of group schemes, to be pedantic). Choose a non-unit element of . Then

,

but this matrix is in because

.

Hence the image is compact but not maximal compact (so in particular, not hyperspecial).

Remarks:

- A good reference to read about hyperspecial maximal compact subgroups is Tits’ article in Corvallis (Volume 1). Nick and I are planning to start a reading seminar next semester in Spring 14 on the 40-odd page article.
- I found this counter-example somewhere on MathOverflow, while I was preparing the Borel-Tate articles (Corvallis, Volume 2) to speak in our “Arthur seminar”.

In my recent number theory seminar on “Hilbert’s 90 and generalizations” (notes here), Professor Goins asked the following interesting question.

Let be a field and . Define to be the torus

What values of give -isomorphic tori?

(The question was perhaps motivated by the observation that over the reals, the sign of determines completely whether would be split (i.e., isomorphic to ) or anisotropic (i.e., isomorphic to ).

Here are two ways of looking at the answer.

- For , we determine when two matrices and are conjugate in . Solving the system

gives .

Thus i.e., the ‘s are classified by . (For , this is isomorphic to so the sign of determines upto conjugation.) By Kummer theory, , where are the second roots of unity. Thus there is a correspondence between isomorphism classes of tori and quadratic extensions of .

- Another way to look at the same thing is as follows. Fix . Let be an extension of wherein splits. Now is a split torus of rank 1. For an algebraic group over an algebraically closed field, we have the exact sequence

where is the based root datum associated to . (Here, and is the set of simple roots of corresponding to a choice of a Borel subgroup of .) For details, see Corollary 2.14 of Springer’s paper “*Reductive Groups*” in Corvallis.

In our case, so .

Now forms of are in bijective correspondence with

the last isomorphism because the Galois group acts trivially on the split torus .

Recently (22 March 2013) I took my advanced topics exam. In spirit of the Princeton Generals, I wrote out my interview questions for use to anyone in these special topics.

**Topics: linear algebraic groups, class field theory**

**Committee: Freydoon Shahidi (chair), David Goldberg**

**Linear algebraic groups:**

Goldberg decided to start with Linear algebraic groups. What is meant by ‘split’? (I told I had prepared only the algebraically closed case. They were okay). What is parabolic? If Q is parabolic in G and P is parabolic in Q, prove that P is parabolic in G. (Went totally blank. They gave hints – use the other equivalent definition).

State Bruhat decomposition. (I started defining terms – maximal torus, root system, Weyl group etc.) How is the Weyl group related to the torus? (Another moment when I blanked out). How does W act on T? (By conjugation. So W is the quotient of the normalizer of the maximal torus by its centralizer). When is the centralizer equal the torus? (When it is maximal). Shahidi objected and corrected me twice when I wrongly pronounced “veil” for Weyl group – correct is “vile”. There is another important group after Andre Weil.

Bruhat decomposition for GL_n. What is it’s Weyl group? (S_n). What is the length of an element? (minimal length of the decomposition in terms of reflections). What is the polynomial the big cell satisfies? (I had prepared this one. Told the answer and that the proof goes by induction but Shahidi was not satisfied. He told something I didn’t quite understand. I gave the decomposition explicitly and he told it generalizes the well-known LU decomposition to classical groups).

What is the critical step in the classification of semisimple groups of rank 1? (Uses Bruhat decomposition). Give a sketch of proof. (I couldn’t. But turns out, they really wanted me to state the theorem. SL_2 and PSL_2).

Given that the normalizer of a parabolic is itself, show that it must be connected. (Missed a step in that one can choose the conjugating element inside the connected component).

[ That was all about algebraic groups. Nothing about Dynkin diagrams, finding parabolics, simple connectedness and fundamental groups of classical groups. ]

————————————————————————————————————-

**Number Theory:**

Class group of Q(\sqrt -7). (Minkowski bound works).

Class group of Q(\sqrt 21). (I saw that 25 – 21 = 4 and started considering the factorization of the prime 2 above using quadratic reciprocity but got it wrong. It took me almost 10 grueling minutes to figure out that 21 was not a prime! Embarrassment).

Define the Hilbert symbol. State the norm condition. Prove the bi-multiplicativity property. (Consequence of a group homomorphism). State and prove Hilbert’s reciprocity. (I had prepared a classical proof from Serre but he insisted on proving via Class field theory. Proved that the local p-Artin maps glue to give a global Artin map and the theorem follows elegantly).

Goldberg asked if I knew anything about the generalized symbol. (I stated and mentioned the skew-symmetry property). He said it’s not in your syllabus anyways.

Show that p = a^2 + ab + b^2 precisely when p is 1 (mod 3). (I was looking at the field of cube roots of unity but was blundering some norm calculation. After many frustrating minutes for everyone, it was discovered that the problem was wrong and should have p = a^2 – ab + b^2. I commented, “I have been doing this calculation since tenth grade” on which Prof. Shahidi quickly retorted, “still you haven’t memorized it!”

—————————————————————————————————————

The exam lasted for **90 minutes**. They told me to wait outside and after a stressful 5-minute period for me, they came out and congratulated me.

Shahidi: Good, congratulations.

Me: Thanks.

Shahidi: Don’t see me for a month now.

Me: Yeah, the past two weeks were tough on me too.

Shahidi: Let us not meet each other for a while now. (All smile in acknowledgement).

Today’s post is about group theory. Well, to state the result, one needs to know just group theory but proving it requires some knowledge of root systems. And one really understands its application when studying algebraic groups. In my opinion, one can rarely say while learning mathematics that s/he will not need a particular result, or something is not useful in their research. So it’s always good to know something and connect to it later when learning something related.

The Bruhat decomposition is a decomposition of a group having a “Tits system” into double cosets. It is used to decompose , the group of invertible matrices over a field , or any reductive connected closed subgroup of this matrix group.

For a group , a **Tits system** (named after Jacques Tits) is a triple subgroups of called a pair and is a set such that the following axioms hold:

- ,
- is a set of generators of (called the Weyl group) and for all ,
- If and , then ,
- If , ,
- generate .

**Remarks:**

- (1) says that is a group.
- In (3), $W$ is not necessarily a subgroup of . Yet, define as , where $w=nT$ and observe the well-definedness.
- We’ll be concerned with “Bruhat cells”, C(w) := BwB. With this notation, (3) is equivalent to .
- From (4), .
- From (2), each has order 2.

**Theorem (Bruhat decomposition). **

Let be a Tits system and be the Weyl group. Then,

.

**A (rough) sketch of the proof:**

Let . Prove that $G’$ is a group, and in fact a subgroup of .

contains and which generate so .

For disjointness, it suffices to show whenever .

Observe that two double cosets are either disjoint or equal.

**The canonical example:**

is any field and is the set of invertible matrices over . The Borel subgroup consists of upper triangular matrices and take to be the subgroup of monomial matrices, i.e., each row and each column has a unique nonzero entry. Then , which is a torus. One does however need to show that this forms a Tits system.

Recently while browsing in the Purdue Math library, I found notes of Armand Borel‘s talk titled `Algebraic groups and Arithmetic groups’. It gives an overview of algebraic groups and its applications. They are very sleek (but mathematically dense) so I decided to type them out. These notes discuss Tits systems, and their deep connections to Geometry, group theory and number theory. You can read them here.

## Recent Comments