Self homeomorphisms of $S^2\times S^2$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T20:23:28Z http://mathoverflow.net/feeds/question/41795 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/41795/self-homeomorphisms-of-s2-times-s2 Self homeomorphisms of $S^2\times S^2$ HenrikRüping 2010-10-11T15:17:35Z 2010-10-12T00:17:51Z <p>Every matrix $A\in SL_2(\mathbb{Z})$ induces a self homeomorphism of $S^1\times S^1=\mathbb{R}^2/\mathbb{Z}^2$. For different matrices these homeomorphisms are not homotopic, as the induced map on $\pi_1(S_1\times S_1)$ is given by $A$ (w.r.t the induced basis).</p> <p>So I am wondering, whether a similar construction also works for other spheres than $S^1$. So is there any non-obvious self-homeomorphism of $S^2\times S^2$ (I know i can use degree $-1$ maps in any choice of coordinates / flip the coordinates /compose such maps).</p> http://mathoverflow.net/questions/41795/self-homeomorphisms-of-s2-times-s2/41807#41807 Answer by Greg Kuperberg for Self homeomorphisms of $S^2\times S^2$ Greg Kuperberg 2010-10-11T16:26:54Z 2010-10-11T16:26:54Z <p>The matrix $\text{SL}(2,\mathbb{Z})$ acts on $H^n(S^n \times S^n)$; one interpretation of your question is whether this action lifts to $\text{Diff}(S^n \times S^n)$. There is a simple reason that it doesn't when $n$ is even: The intersection form on $H^n(S^n \times S^n)$ is symmetric rather than anti-symmetric, and any diffeomorphism has to preserve this form. This more or less nails down everything, in the weaker category of homotopy self-equivalences; in this setting you can't do anything other than exchange the spheres or apply degree $-1$ maps. (But the full homotopy structure of the $\text{Diff}(S^n \times S^n)$ could be much more complicated.)</p> <p>When $n$ is odd things are much more complicated. If $n=3$ or $n=7$, you can use multiplication in the unit quaternions or the unit octonions to lift the matrix <code>$$\begin{pmatrix} 1 &amp; 1 \\ 0 &amp; 1 \end{pmatrix}$$</code> and its transpose. These matrices generate $\text{SL}(2,\mathbb{Z})$. On the other hand, for any other value of $n$, there is no diffeomorphism, nor even any homotopy equivalence, that realizes this matrix. Because, if you composed such a map with projection onto one of the factors, it would turn $S^n$ into an <a href="http://en.wikipedia.org/wiki/H-space" rel="nofollow">H-space</a>.</p> <p>I don't know of a way to prove more than that just by citation for some other large, odd value of $n$. In other words, I know that you can't get all of $\text{SL}(2,\mathbb{Z})$, but I don't know how big of a group you can get.</p> http://mathoverflow.net/questions/41795/self-homeomorphisms-of-s2-times-s2/41849#41849 Answer by Ryan Budney for Self homeomorphisms of $S^2\times S^2$ Ryan Budney 2010-10-12T00:17:51Z 2010-10-12T00:17:51Z <p>A small comment extending Greg's comments, given an element of $[g] \in \pi_n Diff(S^n)$ you can construct a diffeomorphism </p> <p>$f : S^n \times S^n \to S^n \times S^n$ by sending the pair $(x,y)$ to $(x,g_x(y))$, so the corresponding matrices would be upper-triangular as in Greg's examples. </p> <p>$Diff(S^n)$ has the homotopy-type of $O_{n+1} \times Diff(D^n)$. </p> <p>Greg's examples come from situations where there are non-trivial elements of $\pi_n O_{n+1}$ that you "know" because they're coming from splittings of the fibrations $SO_n \to SO_{n+1} \to S^n$, but you could also get non-trivial elements from finding elements in $\pi_n Diff(D^n)$. My understanding is there's little to nothing known about these homotopy groups. The rational homotopy $\pi_j Diff(D^n)\otimes \mathbb Q$ of $Diff(D^n)$ is only understood in the "Igusa Stable Range" of $j \leq \min\{ \frac{n-4}{3}, \frac{n-7}{2} \}$ so it's not useful for the kind of constructions you'd like.</p>