Normalizers of maximal compact groups? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T05:23:05Z http://mathoverflow.net/feeds/question/83694 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83694/normalizers-of-maximal-compact-groups Normalizers of maximal compact groups? Marc Palm 2011-12-17T11:59:30Z 2011-12-20T22:49:30Z <p>Consider a reductive group over a local field. What is the normalizer of a maximal compact subgroup? </p> <p>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})$?</p> http://mathoverflow.net/questions/83694/normalizers-of-maximal-compact-groups/83736#83736 Answer by Paul Broussous for Normalizers of maximal compact groups? Paul Broussous 2011-12-17T18:42:56Z 2011-12-17T18:42:56Z <p>Hints :</p> <p>-- 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$. </p> <p>-- 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}$. </p> <p>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.</p> http://mathoverflow.net/questions/83694/normalizers-of-maximal-compact-groups/83744#83744 Answer by Alain Valette for Normalizers of maximal compact groups? Alain Valette 2011-12-17T21:36:49Z 2011-12-20T22:49:30Z <p>$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.</p> <p>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&lt;\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)$.</p> <p>Ref: R.E. Howe and C.C. Moore. Asymptotic properties of unitary representations. J. Funct. Anal. 32, 72-96, 1979.</p> <p>EDIT: For the maximality of $SO(n)$ in $SL_n(\mathbb{R})$, the strategy of the proof is nicely explained in <a href="http://www.math.jussieu.fr/%7Eginot/GL/TD3-GL2009.pdf" rel="nofollow">http://www.math.jussieu.fr/%7Eginot/GL/TD3-GL2009.pdf</a></p>