Does there exist a Hausdorff topological group which is contractible and of finite covering dimension but which is not homeomorphic to $\mathbb{R}^n$ for some $n$?

  • $\begingroup$ By the Yamabe theorem / Hilbert's 5th problem this reduces to the question of if such a group can have "small subgroups". I imagine the answer to that is no, and so your question would have the answer no as well. But off the top of my head I don't see a proof. $\endgroup$ – Ryan Budney Jul 26 '13 at 18:34
  • $\begingroup$ @Lars: you probably assume Hausdorff (otherwise the indiscrete topology on any finite group is contractible). $\endgroup$ – YCor Jul 26 '13 at 19:32
  • 3
    $\begingroup$ @Ryan: you seem to implicitly assume the group locally compact. In this case the answer is indeed negative: if $G$ is a connected LC-group and $K$ a compact subgroup then $G/K$ is contractible iff it is homeomorphic to a Euclidean space. Reference: arxiv.org/abs/1104.1820 (Arch. der Math 2012) $\endgroup$ – YCor Jul 26 '13 at 19:33
  • $\begingroup$ @YvesCornulier : Yes, I did mean to assume Hausdorff. I'll add that assumption. Thank you very much for the reference in the case where the group is locally compact! $\endgroup$ – Lars Jul 26 '13 at 20:03
  • $\begingroup$ I think that I have an example (I still need to check its dimension). $\endgroup$ – Wlod AA Aug 2 '17 at 2:34

If a topological group is contractible, then it is locally contractible (using the group operation produce a contraction which does not move the unit of the group). By a classical result of [A. Gleason, R. Palais, On a class of transformation groups, Amer. J. Math. 79 (1957), 631–648], a locally path-connected finite-dimensional topological group is a Lie group and being contractible, is homeomorphic to an Euclidean space.

  • $\begingroup$ Irrational line on the torus with induced topology is contractible, but not locally contractible. Or am I missing something? $\endgroup$ – Victor Protsak Aug 26 '15 at 4:45
  • $\begingroup$ No, it is not contractible: the contraction along the line is discontinuous in the topology induced from the torus. $\endgroup$ – Taras Banakh Aug 26 '15 at 23:08
  • $\begingroup$ Thank you, Taras. What is a reference for 'contractible implies locally contractible' in this setting? $\endgroup$ – Victor Protsak Aug 27 '15 at 5:19
  • 1
    $\begingroup$ I do not know. This is just a simple exercise: if $h:[0,1]\times G\to G$ is a contraction of a topological group $G$ with $h(\{1\}\times G)=\{1_G\}$, then the homotopy $l:[0,1]\times G\to G$ defined by $l(t,x)=h(t,x)\cdot h(t,1_G)^{-1}$ does not move the unit $1_G$ of the group and hence witnesses that $G$ is locally contractible at $1_G$. $\endgroup$ – Taras Banakh Aug 27 '15 at 12:06
  • 1
    $\begingroup$ @Wlod AA But for topological groups "your" local contractibility is equivalent to "mine". $\endgroup$ – Taras Banakh Aug 1 '17 at 18:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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