4
$\begingroup$

Let $G$ be a linear algebraic group defined over $\mathbb Q$. Suppose that $G$ is isomorphic to $SL_n$ over $\mathbb R$. Suppose the $\mathbb Q$-rank of $G$ is fixed, say $m$. How many types are there for $G$ up to $\mathbb Q$-isomorphism? Are they finite especially for $m>2$?

$\endgroup$
3
  • 6
    $\begingroup$ The only such forms are $SL_{m+1}(D)$, where $D$ is an indefinite division algebra over $\mathbb{Q}$ of degree $n/(m+1)$. So the question becomes: are there finitely many isomorphism classes of indefinite division algebras of fixed degree $d$? This is far from being true. Translating into Brauer groups, you're essentially looking for elements of \bigoplus_{p}\mathbb{Z}/d\mathbb{Z}) whose co-ordinates add up to $0$, and which have order exactly $d$. $\endgroup$ Feb 28, 2012 at 17:51
  • 1
    $\begingroup$ Those unitary groups, aren't they groups over $k$ itself? It seems to me that if $G$ is a unitary group for some hermitian form over some real quadratic extension of $\mathbb{Q}$, then it's a group over $\mathbb{Q}$ which is isomorphic to $\text{SL}_n$ over $\mathbb{R}$. $\endgroup$
    – YCor
    Feb 29, 2012 at 4:39
  • $\begingroup$ Yves--You are correct. These would also be $\mathbb{Q}$-forms of $SL_{n,\mathbb{R}}$. $\endgroup$ Feb 29, 2012 at 6:09

1 Answer 1

7
$\begingroup$

I would refer to the very nice article by Jacques Tits in "Algebraic Groups and Discontinuous Subgroups" AMS Symposiain Pure Math Vol 9 (Boulder Conference) 1966. The title of the article by Tits is "Classification of Algebraic Groups", and gives the $k$-forms of simple algebraic groups over the separable algebraic closure of $k$ for any field $k$.

From the tables in this article it is not difficult to deduce that the only $\mathbb Q$-forms of $SL_n$ which over $\mathbb R$ become isomorphic to $SL_n({\mathbb R})$ are the following

(1) The groups $SL_m(D)$ where $D$ is a central division algebra over $\mathbb Q$ of degree $d$ such that $dm=n$ and $D\otimes {\mathbb R}=M_d({\mathbb R})$. The $\mathbb Q$-rank of $G$ is $m-1$. As Keerti Madapusi has observed, there are infinitely many such.

(2) The groups $SU_m(D,h)$ where $K/{\mathbb Q}$ is a real quadratic extension, $D$ is a degree $d$ central division algebra over $K$ with an involution of the second kind such that the involution restricted to $K/Q$ is the non-trivial element of the Galois group of $K/{\mathbb Q}$, and $h:D^m\times D^m \rightarrow D$ is Hermitian with respect to this involution. Furthermore, $D\otimes K_v$ is the matrix algebra $M_d(K_v)$ for both the archimedean embeddings $K_v$ of $K$. The $\mathbb Q$ rank of $G$ is the maximal number of (see Tits' article for a discussion) hyperbolic planes in $h$; it can again be proved that there are infinitely many with a fixed $\mathbb Q$-rank, by varying either the field $K$ or the hermitian form $h$.

I think these may even be worked out in Dave Witte's e-book on arithmetic groups (not very sure).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.