Are the C(S^n, S^n)'s homeomorphic ? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T00:10:31Z http://mathoverflow.net/feeds/question/8729 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/8729/are-the-csn-sns-homeomorphic Are the C(S^n, S^n)'s homeomorphic ? Ady 2009-12-13T02:53:46Z 2009-12-13T13:43:26Z <p>Let m, n > 1. Is it true that C(S^m, S^m), and C(S^n, S^n) are homeomorphic ? [both endowed with the sup metric (or equivalently the compact-open topology)]</p> <p>Generally, C(S^n, S^n), with n >= 1, is a countably infinite (disjoint) union of path-connected (due to Hopf) components C_{n,k}, k in Z.</p> <p>I think each of these components may be viewed as an infinite dimensional Frechet manifold. Unfortunately, they are not contractible. However, the question is [somewhat vaguely] motivated by the Henderson's Theorem.</p> <p>Also, I have some related questions : - Fixing n, are the C_{n,k}'s homeomorphic to each other (at least for k &lt;> 0) ? - Are there some m, n, k, l with m &lt;> n s.t. C_{m,k} ~ C_{n,l} ?</p> <p>What I was able to do in this direction until now is to show the existence of a proper, one-to-one, degree-preserving map from C(S^m, S^m) into C(S^n, S^n). Even for m >> n, but far to be surjective.</p> http://mathoverflow.net/questions/8729/are-the-csn-sns-homeomorphic/8732#8732 Answer by Igor Belegradek for Are the C(S^n, S^n)'s homeomorphic ? Igor Belegradek 2009-12-13T04:08:39Z 2009-12-13T13:43:26Z <p>I see no reason for $C(S^m, S^m)$, $C(S^n, S^n)$ to be homeomorphic. Here is a proof that their identity components are not homeomorphic.</p> <p>The identity component of $C(S^m, S^m)$ is usually denoted $SG_{n+1}$. The homotopy fiber $SF_n$ of the evaluation map $SG_{n+1}\to S^n$ that sends a map to the image of the basepoint is homotopy equivalent to a component in the $n$-fold loops space on $S^n$. So $\pi_k(SF_n)=\pi_{k+n}(S^n)$, and the homotopy sequence of the fibration shows that if $n$ is odd, then the evaluation map is a rational isomorphism, in particular, $\pi_k(SG_{n+1})$ is infinite if and only if $k=n$. </p> <p>If memory serves me it is not hard to compute rational homotopy type of $C(S^m, S^m)$. The homotopy type is harder to understand, but look for works of Vagn Lundsgaard Hansen (search in mathscinet with sphere in the title field). </p> <p>ANSWERS TO SOME COMMENTS: </p> <ol> <li><p>Ady: $SG_{n+1}$ is not the set of pointed maps, it consists of maps homotopic to identity.</p></li> <li><p>I did not claim it enough to show that identity components are not homeomorphic. My answer was intended to push you in the right direction not to research the whole matter for you. </p></li> <li><p>Reid Barton: I think knowing that different components of the $\Omega^nS^n$ are homotopy equivalent does NOT imply that different comonents of $C(S^n, S^n)$ are homotopy equivalent. </p></li> <li><p>If memory serves me, components of $C(S^n, S^n)$ are NOT all homotopy equivalent as shown eg by Hansen in the papers I mentioned such as [Hansen, Vagn Lundsgaard, The homotopy problem for the components in the space of maps on the $n$-sphere. Quart. J. Math. Oxford Ser. (2) 25 (1974), 313--321]. </p></li> </ol> <p>ONE MORE REFERENCE: Lupton, Gregory; Smith, Samuel Bruce, Criteria for components of a function space to be homotopy equivalent. Math. Proc. Cambridge Philos. Soc. 145 (2008), no. 1, 95--106. </p>