Talk:Borel Conjecture for the 2-torus (Ex)

The selfhomotopy equivalences of an Eilenberg-Mac Lane space of type $(G,n)$$<wikitex>; The selfhomotopy equivalences of an Eilenberg-Mac Lane space of type $(G,n)$ generally have $\pi_0 = Out(G)$, detected by the action of fundamental groups, and $\pi_n = C(G)$, with all other homotopy groups vanishing. In particular, $\pi_0(hAut(T^2)) = Gl_2(\mathbb Z)$ is detected by the action on $H_1(T^2)$ and all we have to do is produce a homeomorphism that acts by a given matrix $A \in Gl_2(\mathbb Z)$. But via the identification $T^2 = \mathbb R^2/\mathbb Z^2$ the action of $A$ on $\mathbb R^2$ produces such an element. The same argument shows that the inclusion $Diff(T^n) \rightarrow hAut(T^n)$ splits on $pi_0$ In arbitrary dimensions. </wikitex>(G,n)$ generally have $\pi_0 = Out(G)$$\pi_0 = Out(G)$, detected by the action of fundamental groups, and $\pi_n = C(G)$$\pi_n = C(G)$, with all other homotopy groups vanishing. In particular, $\pi_0(hAut(T^2)) = Gl_2(\mathbb Z)$$\pi_0(hAut(T^2)) = Gl_2(\mathbb Z)$ is detected by the action on $H_1(T^2)$$H_1(T^2)$ and all we have to do is produce a homeomorphism that acts by a given matrix $A \in Gl_2(\mathbb Z)$$A \in Gl_2(\mathbb Z)$. But via the identification $T^2 = \mathbb R^2/\mathbb Z^2$$T^2 = \mathbb R^2/\mathbb Z^2$ the action of $A$$A$ on $\mathbb R^2$$\mathbb R^2$ produces such an element.

The same argument shows that the inclusion $Diff(T^n) \rightarrow hAut(T^n)$$Diff(T^n) \rightarrow hAut(T^n)$ splits on $pi_0$$pi_0$ In arbitrary dimensions.