2
$\begingroup$

Consider a reductive group over a local field. What is the normalizer of a maximal compact subgroup?

If this is to general, what is the normalizer of $GL(n, \mathbb{Z}_p)$ in $GL(n, \mathbb{Q}_p)$, $U(n)$ in $GL(n, \mathbb{C})$, and $O(n)$ in $GL(n, \mathbb{R})$?

$\endgroup$
1

2 Answers 2

6
$\begingroup$

Hints :

-- For $K= {\rm GL}(n,{\mathbb Z}_p )$. Make $G={\rm GL}(n,{\mathbb Q}_p )$ acts on ${\mathbb Z}_p$-lattices of ${\mathbb Q}_p^n$. Prove that the lattices stabilized by $K$ are the $p^k {\mathbb Z}_p^n$, $k\in {\mathbb Z}$. Observe that the normalizer $\tilde K$ of $K$ permutes these lattices and conclude that ${\tilde K}={\mathbb Q}_p^\times K$.

-- For $K=O(n)$ (or $U(n)$). Do someting similar by making $G$ act on the set of positive definite symmetric (hermitian) matrices via $(X,A)\mapsto XA{\bar X}^{t}$.

In general, for a non-archimedean base field, you can make $G$ act on the extended Bruhat-Tits building, but the answer is going to be technical according to whether $G$ has a center or not, is simply connected or not. Over archimedean fields, I guess you have to use symmetric spaces.

$\endgroup$
1
  • $\begingroup$ Seems like you know the answer to every question, I can come up with;) Thx. $\endgroup$
    – Marc Palm
    Dec 18, 2011 at 10:13
8
$\begingroup$

$SO(n)$ is not only maximal compact in $SL_n(\mathbb{R})$, it is even a maximal subgroup! Same for $SU(n)$ in $SL_n(\mathbb{C})$. This follows e.g. from Exercise A.3 in Chapter VI in S. Helgason, ``Differential geometry, Lie groups and symmetric spaces'', Academic Press, 1978. From this the normalizers of $O(n)$ in $GL_n(\mathbb{R})$, and of $U(n)$ in $GL_n(\mathbb{C})$, are easily determined.

To establish maximality of $K=SL_n(\mathbb{Z}_p)$ as a subgroup of $G=SL_n(\mathbb{Q}_p)$, there is a cute argument using the Howe-Moore theorem, telling you that, if $\pi$ is a unitary representation of $G$ without non-zero fixed vectors, then all coefficients of $\pi$ go to $0$ at infinity on $G$. So assume that $U$ is a proper subgroup of $G$, containing $K$. Since $K$ is open, $U$ is open too. By simplicity of $G$, the subgroup $U$ cannot have finite index. Let $\pi$ be the quasi-regular representation of $G$ on $\ell^2(G/U)$, it has no non-zero fixed vector; let $\delta_U\in\ell^2(G/U)$ be the characteristic function of the base-point of $G/U$, corresponding to the trivial coset of $U$. Then the coefficient $g\mapsto<\pi(g)\delta_U|\delta_U>$ is constant and equal to 1 on $U$, so by Howe-Moore $U$ must be compact. Since $K$ is maximal compact, we have $U=K$. From this you also deduce the normalizer of $GL_n(\mathbb{Z}_p)$ in $GL_n(\mathbb{Q}_p)$.

Ref: R.E. Howe and C.C. Moore. Asymptotic properties of unitary representations. J. Funct. Anal. 32, 72-96, 1979.

EDIT: For the maximality of $SO(n)$ in $SL_n(\mathbb{R})$, the strategy of the proof is nicely explained in http://www.math.jussieu.fr/%7Eginot/GL/TD3-GL2009.pdf

$\endgroup$
2
  • $\begingroup$ Both answers are very useful. I checked the other simply because it was first. Thanks. $\endgroup$
    – Marc Palm
    Dec 18, 2011 at 10:12
  • $\begingroup$ Of course, one must be careful not to rely too much on this sort of luck; $\operatorname{PGL}_n(\mathbb Z_p)$ is not a maximal subgroup of $\operatorname{PGL}_n(\mathbb Q_p)$! $\endgroup$
    – LSpice
    Jan 13, 2015 at 20:35

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.