Each element of fundamental group of a topological group represented by homomorphism? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T12:05:38Z http://mathoverflow.net/feeds/question/52126 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/52126/each-element-of-fundamental-group-of-a-topological-group-represented-by-homomorph Each element of fundamental group of a topological group represented by homomorphism? Vipul Naik 2011-01-14T22:29:13Z 2011-01-17T21:51:58Z <p>This may be a fairly simple question. Suppose <em>G</em> is a (T0) topological group. Assume that <em>G</em> is path-connected, locally path-connected, and semilocally simply connected, so that covering space theory applies.</p> <p>Question: Is it true that for any element of $\pi_1(G,e)$ (where <em>e</em> is the identity element of <em>G</em>), there exists a [ADDED: <em>continuous</em>] homomorphism from $S^1$ to $G$ having that element of $\pi_1(G,e)$ as its homotopy class?</p> <p>Another way of formulating this is that there is a set map:</p> <p>$$\operatorname{Hom}_{cts}(S^1,G) \to \pi_1(G,e)$$</p> <p>The subscript cts is to indicate continuous.</p> <p>(when <em>G</em> is abelian, the left side has a group structure too [ADDED: <em>under pointwise multiplication</em>], and the Eckmann-Hilton principle tells us that we get a group homomorphism).</p> <ol> <li>Is the set map surjective in all cases (regardless of whether <em>G</em> is abelian)?</li> <li>Does the image of $\operatorname{Hom}(S^1,G)$ generate $\pi_1(G,e)$ as a group (this is equivalent to surjectivity when $G$ is abelian)?</li> <li>Does surjectivity work for Lie groups? Compact Lie groups?</li> <li>Does the weaker formulation (2) work for Lie groups?</li> </ol> <p>I have a sketch of an argument/proof that may show (4) (basically, using properties of one-parameter subgroups), but I'm hoping somebody will have a clean proof that works in general for topological groups.</p> http://mathoverflow.net/questions/52126/each-element-of-fundamental-group-of-a-topological-group-represented-by-homomorph/52140#52140 Answer by Tom Goodwillie for Each element of fundamental group of a topological group represented by homomorphism? Tom Goodwillie 2011-01-15T01:53:12Z 2011-01-16T18:47:15Z <p>No. A continuous homomorphism $S^1\to G$ yields a map $BS^1\to BG$. The space $BS^1$ is homotopy equivalent to $\mathbb CP^\infty$. There is a topological group $G$ such that $BG$ is homotopy equivalent to the sphere $S^2$. A map corresponding to a generator of $\pi_1G=\pi_2BG=H_2S^2$ would give an isomorphism $H^2BG\to H^2BS^1$, but this is incompatible with the cup product.</p> <p>EDIT: This example is universal in the following sense: A standard way of making a Kan loop group for the suspension of a based simplicial set $K$ is to apply (levelwise) the free group functor from based sets to groups. The realization of this is then the universal example of a topological group $G$ equipped with a continuous map $|K|\to G$. Apply this with $K=S^1$.</p> <p>EDIT: Yes in the Lie group case. It suffices to consider compact $G$ since a maximal compact subgroup is a deformation retract. Now put a Riemannian structure on $G$ that is left and right invariant, and use that the geodesics are the cosets of the $1$-parameter subgroups, and that in a compact Riemannian manifold every loop is freely homotopic to a closed geodesic. </p> http://mathoverflow.net/questions/52126/each-element-of-fundamental-group-of-a-topological-group-represented-by-homomorph/52350#52350 Answer by Tom Goodwillie for Each element of fundamental group of a topological group represented by homomorphism? Tom Goodwillie 2011-01-17T21:51:58Z 2011-01-17T21:51:58Z <p>Here's an abelian counterexample: Let $G$ be the following topological group homotopy equivalent (as a space) to $\mathbb RP^\infty$. It is the realization of the simplicial group that corresponds by Dold-Kan to the chain complex in which the only nontrivial chain group, the first, has order $2$. To put it another way, if a group $A$ is abelian then the usual simplicial model for $BA$ is itself a group (in fact, abelian); let $G$ be $BA$ where $A$ has order $2$.</p> <p>In this topological group, every nontrivial element has order $2$. Therefore there is no nontrivial homomorphism (continuous or not) from $S^1$.</p> <p>Note that the reasoning here is very different from what it was in my other example. It is not that there is no homotopically nontrivial map $BS^1\to BG$, and it is not (as in Allen Hatcher's comment) that there is no nontrivial $H$-space map (homomorphism up to homotopy) $S^1\to G$.</p>