[Math] Examples of non-split algebraic groups

algebraic-groups

I am interested in knowing various examples of non-split (added hypothesis reductive) reductive linear algebraic groups. In particular, I would like to collect the following examples in my counter-example toolbox.

  1. Given an integer $n>2$, an extension $E/F$ of degree $n$ and a connected reductive $F$-group $G$ that splits over $E$ (added following Prof. Humphreys' comment:) and $E$ is the smallest such extension minimally;

  2. Given a finite set $S$ of primes, a connected reductive group $G$ defined over $\mathbb Q$ which is quasi-split precisely over $\mathbb Q_v$ for $v \not\in S$ and not otherwise.

The motivation for this question was that I was reading Tits' article on Buildings in Corvallis and wanted to explicitly compute stuff about non-split groups. This prompted me to look for nonsplit groups, hence this question.

[I would like to make this question community-wiki since I am really asking 2 questions here and there is no unique answer, but for some reasons I can't find the CW box. Perhaps I need more reputation. ]

Best Answer

Standard examples are given by central simple algebras, as mentioned in the comments. Namely, let $A$ be a central simple algebra over a field $F$ of dimension $n^2$. Then $G = A^\times$ is an inner form of $GL(n)$, and it will be ramified (non-split) at a finite set of places. Further $A$ splits over an extension $E/F$ of degree $n$, and over global or local fields, one can take $E/F$ to be cyclic. If $n=2$, you get the case of quaternion algebras, which you are probably familiar with.

Just like the case of quaternion algebras over global fields, which must be ramified at an even number of places, one cannot make the ramification of CSAs arbitrary (for quaternion algebras, local there are only 2 choices, but for higher degree CSAs, there are more.) In particular one cannot let $S$ have cardinality 1--you need to be ramified at at least 2 places (and you can get by with 2 in higher degree as well).

There are many references one could give. From a number theory perspective, there's Weil's Basic Number Theory, Platonov-Rapinchuk, and I believe Milne's notes on Class Field Theory have some stuff. Standard references, from a less number theoretic point of view, are

  • Reiner, Maximal Orders
  • Pierce, Associative Algebras
  • Gille-Szamuely, Central Simple Algebras and Galois Cohomology

Personally, I like Reiner and Pierce, and I think Platonov-Rapinchuk gives a nice (relatively short) overview in the beginning. The latter 3 references should all give explanations of how to explicitly construct such CSAs as cyclic algebras.

Similarly, one can come up with other examples by looking at non-split forms of classical groups over global fields.

Related Question