Is there a group homeomorphic to but not homeomorphically isomorphic to the circle group? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T00:22:43Z http://mathoverflow.net/feeds/question/43937 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/43937/is-there-a-group-homeomorphic-to-but-not-homeomorphically-isomorphic-to-the-circl Is there a group homeomorphic to but not homeomorphically isomorphic to the circle group? Ricky Demer 2010-10-28T04:55:22Z 2010-10-28T09:16:54Z <p>Let $Circ$ be the topological group</p> <p><code>$(\{z\in \mathbb{C} : \overline{z}\cdot z = 1\},\cdot , \{U\in 2^{\{z\in \mathbb{C} : \; \overline{z}\cdot z \, = \, 1\}} : \{z\in \mathbb{C} : \overline{z}\cdot z = 1\}-U$ is closed in $\mathbb{C}\})$</code>.</p> <p><br></p> <p>Let $(G,\star,T)$ be a topological group such that $(G,T)$ is homeomorphic to <code>$(\{z\in \mathbb{C} : \overline{z}\cdot z = 1\}, \{U\in 2^{\{z\in \mathbb{C} : \; \overline{z}\cdot z \, = \, 1\}} : \{z\in \mathbb{C} : \overline{z}\cdot z = 1\}-U$ is closed in $\mathbb{C}\})$</code>. <br> Does it follow that</p> <ol> <li>$(G,\star)$ is isomorphic to <code>$(\{z\in \mathbb{C} : \overline{z}\cdot z = 1\},\cdot)$</code>?</li> <li>$(G,\star,T)$ is homeomorphically isomorphic to $Circ$?</li> </ol> http://mathoverflow.net/questions/43937/is-there-a-group-homeomorphic-to-but-not-homeomorphically-isomorphic-to-the-circl/43939#43939 Answer by Mariano Suárez-Alvarez for Is there a group homeomorphic to but not homeomorphically isomorphic to the circle group? Mariano Suárez-Alvarez 2010-10-28T05:17:24Z 2010-10-28T05:48:30Z <p>It is a theorem of Scheinberg that two compact connected abelian groups are topologically isomorphic whenever they are homeomorphic. </p> <p>Now, by the solution of Hilbert's 5th problem, a topological group $G$ homeomorphic to $S^1$ is a Lie group, which is necessarily of dimension $1$. It follows that $G$ is abelian. Afirmative answers to your two questions follow.</p> <p>More generally, since A compact solvable Lie group is abelian, the same reasoning shows that a topological group homeomorphic to a 2-torus is isomorphic to a 2-torus</p> http://mathoverflow.net/questions/43937/is-there-a-group-homeomorphic-to-but-not-homeomorphically-isomorphic-to-the-circl/43956#43956 Answer by Keivan Karai for Is there a group homeomorphic to but not homeomorphically isomorphic to the circle group? Keivan Karai 2010-10-28T09:15:07Z 2010-10-28T09:15:07Z <p>Here is also a direct argument (which only works in dimension $1$): The universal cover of $G$ is a group homeomorphic to ${\mathbb R}$. Now, it is enough to show that the only topological group homeomorphic to ${\mathbb R}$ is the additive group of reals. To show this, first note that each right or left translation $$\lambda_g: x \mapsto g \cdot x , \quad \rho_g: x \mapsto x \cdot g$$ is continuous and bijective, hence it has to be monotone. Now, the ones that are increasing form a subgroup of index at most $2$, and since ${\mathbb R}$ is connected, it follows that every left or right translation is strictly increasing. Also $\lambda_g$ has no fixed point, which implies that either $\lambda_g(x)>x$ or $\lambda_g (x)0$, (here $0$ is the identity) then $\lim_{n \to \infty} f^n (x)=\infty$ (since $f$ is increasing and bijective) so for large enough $n$, we have $f^n (x)>g(x)$, so $f^n >g$. Now, by Hölder's theorem, $G$ (as a group) is isomorphic to the group of real numbers, and hence Abelian. Now, for each integer $n>0$, the map $g \mapsto g^n$ is also increasing and proper, which implies that every element has an $n$-th root. So, you can define $g^q$ for any rational number $q$, and then for any real $q$. This allows you to construct a topological isomorphism from the additive group to $G$.</p>