14
$\begingroup$

Assume $G$ is a connected locally compact group and $M$ is a maximal compact subgroup of $G$. Is $M$ connected too?

$\endgroup$
12
  • 1
    $\begingroup$ Wrote something stupid - now deleted - apologies. $\endgroup$
    – Yemon Choi
    Aug 28, 2013 at 6:33
  • 4
    $\begingroup$ Me too. To save someone else: $\operatorname{GL}_n(\mathbb{R})$ is not a counterexample because it is not connected! $\endgroup$ Aug 28, 2013 at 6:41
  • 8
    $\begingroup$ For Lie groups, the Levi-Malcev theorem says that every connected Lie group retracts to its maximal semisimple, and then it is well known that every semisimple retracts to its maximal compact. So every connected Lie group retracts to its maximal compact. This is useful in understanding the topology of a Lie group, and of its homogeneous spaces. $\endgroup$
    – Ben McKay
    Aug 28, 2013 at 7:07
  • 2
    $\begingroup$ @BenMcKay are you assuming G is simply connected when you use Levi-Malcev? $\endgroup$
    – Yemon Choi
    Aug 28, 2013 at 7:28
  • 2
    $\begingroup$ @BenMcKay: Isn't it true that $G/K$ ($K$ maximal compact) is always homeomorphic (diffeomorphic) to $\mathbb{R}^n$ for some $n$? So it should be always contractible. $\endgroup$
    – user23860
    Aug 28, 2013 at 8:08

1 Answer 1

19
$\begingroup$

Disclaimer: Locally compact groups are absolutely not my field of expertise. I hope an expert can check my statements below, and perhaps add some details and references.

The Malcev–Iwasawa theorem implies that any connected, locally compact group $G$ satisfies:

  • $G$ has a maximal compact subgroup;

  • there exists $n\in\mathbb{N}$ such that for any maximal compact subgroup $K$ of $G$, the underlying space of $G$ is homeomorphic to $K\times\mathbb{R}^n$.

In particular, every maximal compact subgroup of a connected, locally compact group is itself connected.

References: The following references state the necessary results without proof.

  • Theorem 32.5 of Markus Stroppel's book "Locally compact groups".

  • The article "Compact subgroups of Lie groups and locally compact groups" (DOI: http://dx.doi.org/10.1090/S0002-9939-1994-1166357-9), published in the Proceedings of the American Mathematical Society, volume 120, number 2, in February 1994 (pages 623-634). See the statements of theorems A, B, and C in the introduction to this article. According to the discussion there, the theorems hold for connected, locally compact groups: they follow from the analogous results for Lie groups as soon as one knows that a connected, locally compact group is a projective limit of Lie groups.

$\endgroup$
3
  • $\begingroup$ @BugsBunny, that question has been deleted. Did it turn out that there is not a problem? $\endgroup$
    – LSpice
    Dec 31, 2021 at 16:11
  • $\begingroup$ I think I have understood the statement in Stroppel. It was just my stupidity. $\endgroup$
    – Bugs Bunny
    Jan 5, 2022 at 10:26
  • 1
    $\begingroup$ This is actually a result of Malcev: On the theory of the Lie groups in the large. Rec. Math. [Mat. Sbornik] N. S. 16(58), (1945). 163–190. This was retrieved in a 1949 paper of Iwasawa. $\endgroup$
    – YCor
    Nov 4, 2022 at 16:11

Your Answer

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