Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Consider the set $Map(T^4,S^2)$ of continuous maps from the 4 dimensonal torus $T^4$ to the 2 dimensional sphere $S^2$, endowed with compact-open topology, can we show it is not connected? How can we calculate its singular homology and $\pi_1$?

share|improve this question
2  
In spite of being more or less standard notations, it'd be better for your question's clearity if you'd define $\;T^4\,,\,S^2\;$ ... –  DonAntonio Nov 5 '13 at 15:24

2 Answers 2

up vote 2 down vote accepted

The accepted answer is incorrect. The problem is in Hint 2, which conflates based maps with unbased maps, and in particular which conflates the based loop space $\Omega X$ of a pointed space $(X, x)$ (the space of maps $S^1 \to X$ sending a fixed basepoint in $S^1$ to $x$) with the unbased or free loop space $LX$ of a space $X$ (the space of maps $S^1 \to X$, with no further hypotheses). Hint 1 and Hint 2 together were supposed to convince you that the space you're looknig at is the 4-fold based loop space of $S^2$, which satisfies

$$\pi_0(\Omega^4 S^2) \cong \pi_4(S^2) \cong \mathbb{Z}_2$$

but that's not true; the 4-fold based loop space of $S^2$ is the space of maps $S^4 \to S^2$ sending a fixed basepoint of $S^4$ to a fixed basepoint of $S^2$, and has nothing to do with $T^4$. The space you're looking at is in fact the 4-fold free loop space $L^4 S^2$.

share|improve this answer
1  
We re looking at the space of maps $T^2\times T^2\to S^2$, and to such a thing we can attach a bidegree, which will be homotopy invariant. If that works out, we can just contruct two maps with different bidegree (one of bidegree $(1,0)$ and the obvious swap should do the trick) aand that'll show it is not connected. –  Mariano Suárez-Alvarez Dec 15 at 8:05
    
Right. More generally I think I know how to compute the homotopy groups of $LX$ from the homotopy groups of $X$, but applying this procedure $4$ times gets a little messy and I don't know a good way of organizing the results. –  Qiaochu Yuan Dec 15 at 19:32
    
Well, unless you plan to do it rationally, that is going to be very difficult. Rationally, using minimal models and rational homotopy theory, it's a standard computation. –  Mariano Suárez-Alvarez Dec 16 at 3:21

For the first part

Hint 1: $$Map(X\times Y,Z)\cong Map(X,Map(Y,Z))$$

Hint 2: $$\pi_i(Map(S^1,X))\cong\pi_{i+1}(X)$$

Hint 3: $$\pi_4(S^2)\cong \mathbb{Z}_2$$

For the second and third parts

Hint 4: $$\pi_5(S^2)\cong\mathbb{Z}_2$$

Hint 5: $$H_1(X)\cong \pi_1(X)^{ab}$$

Hint 6: For higher $H_k$, I think you'll need to iterate the Leray spectral sequence as far as I can tell, which will be messy - there may be an easier way which can be applied to the sphere and its loop-spaces (see this question).

share|improve this answer
    
Feel free to wait to or not answer this since it would provide more than just hints, but is there a good way to give a geometric description of these nontrivial homotopies? –  Zach L. Nov 5 '13 at 16:33
    
@ZachL. Which ones? The first hint is a common homeomorphism/isomorphism colloquially known as currying which is valid in any cartesian closed category - in this case compactly generated Hausdorff spaces. The second is a result of the long exact sequence of the loop-space fibration $\Omega(X)\to P(X)\to X$ where $P(X)$ is the path-space of $X$ and $\Omega(X)\simeq Map(S^1,X)$. –  Daniel Rust Nov 5 '13 at 17:02
    
Sorry that I am not clear with notations about path spaces, What do you mean by $P(X)$? Does it mean the space of all paths that joins any two points in $X$?Is there any reference for that fibration? I didn't find it in wiki.. –  mqx Nov 6 '13 at 7:11
    
@mqx You should be able to find the result in any decent book on algebraic topology - for instance Hatcher proves $\pi_i(Map(S^1,X))\cong\pi_{i+1}(X)$ in several different ways (including the above fibration method). Just search for 'loop space' in his text. –  Daniel Rust Nov 6 '13 at 10:15
1  
Hint 2 is not true for the space of unbased maps from $S^1$ to a space $X$. You get the free loop space, not the based loop space, and in general their homotopy groups differ in every degree. –  Qiaochu Yuan Dec 15 at 7:29

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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