7
$\begingroup$

I would like to understand precisely the structure of unitary groups.

Let $F$ be a global number field, $E$ a quadratic extension of $F$, and $U$ a unitary group on $E$ (i.e. the group of automorphism preserving an hermitian form on an $E$-vector space), say of rank $n$ (i.e. the hermitian form is on a squared $n$-dimensional vector space).

What can be said for the local groups, that is for the $U_v$ where $v$ goes through the places of $F$? More precisely:

  • are the $U_v$ also unitary groups, or can they be isomorphic to $GL_n(F_v)$?
  • is there only a finite number of possibility for $U_v$?
  • what are the obstructions for a unitary group $G$ to have prescribed local groups $G_v$?

Thanks in advance !

$\endgroup$
2
  • 3
    $\begingroup$ At places of $F$ splitting in $E$, the local unitary group is isomorphic to a general linear group, and by quadratic reciprocity this happens half the time. This certainly limits the possibilities, but it's not clear to me in what terms you'd want to compare local unitary groups at different places. $\endgroup$ Commented Dec 23, 2016 at 21:45
  • $\begingroup$ This is pretty much completely answered in the first section of Clozel's 1990 (or so) IHES paper where he attaches Galois representations to automorphic representations for such groups. $\endgroup$
    – znt
    Commented Dec 23, 2016 at 21:52

1 Answer 1

3
$\begingroup$

As you already seem to know, unitary groups are classified by separable quadratic field extensions (in fact one should really work with separable quadratic algebras, i.e. also $F\times F$, corresponding to the ''trivial'' unitary group $\mathrm{GL}_n$).

Thus your questions can essentially be reduced to problems about quadratic field extensions.

  • are the $U_v$ also unitary groups, or can they be isomorphic to $GL_n(F_v)$?

You need to be a bit careful, since, as I already point out, you should really view $GL_n$ itself as a unitary group. But you really want to ask whether $U_v$ can be isomorphic to a general linear group. As already explained in the comments, and following the classification, this happens iff $v$ is split in $E/F$.

  • is there only a finite number of possibility for $U_v$?

You again need to be careful with the phrasing of this question, as it is not clear what you mean, since it is not possible to compare unitary groups over different fields. However, over a given local field $F_v$, there are only finitely many isomorphism classes of unitary groups of given dimension. This follows from the fact that there are only finitely many quadratic extensions of a given local field. This is nothing special about unitary groups, since, more generally, over any local field $F_v$ there are only finitely many isomorphism classes of reductive algebraic groups of given dimension (this can be proved using the classification of reductive algebraic groups over algebraically closed fields combined with the fact that $F_v$ admits only finitely many field extensions of given degree).

  • what are the obstructions for a unitary group $G$ to have prescribed local groups $G_v$?

This is the most interested question. The obvious obstruction is of course the dimension of the groups, so we assume the local groups $G_v$ have the same dimension. Also one cannot hope for a positive answer in general when you consider infinitely many places, so we suppose that we are given only finitely many places $v$ and finitely many groups $G_v$. Then there the answer is: there is no obstruction! There is always some unitary group $G$ which realises the given $G_v$. This follows from the Grunwald-Wang theorem, which implies that you can always realise any given finite collection of quadratic algebras over $F_v$ by some quadratic extension (though of course this elementary case does not require the full force of Grunwald-Wang).

Note that this is an important place where one works with quadratic field extensions; this approximation property fails for field extensions in general. You can read more about this in Section IX.2 of the book "Cohomology of Number Fields" by Neukirch, Schmidt, Wingberg.

$\endgroup$
1

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .