Talk:Kervaire-Milnor Braid (Ex)

Revision as of 15:48, 30 August 2013 (view source) Fabian Hebestreit (Talk | contribs) ← Older edit		Revision as of 11:33, 3 September 2013 (view source) Fabian Hebestreit (Talk | contribs) Newer edit →
Line 58:		Line 58:
	$$		$$
		+	The extension at $\Omega_8^{alm}$ is split since it surjects onto $240 \Z$ (right lower map) which is free. Clearing this and the obvious $0$'s, we find:
		+	$$
		+	\def\curv{1.5pc}
		+	\xymatrix{
		+	\Z/2 \ar@{^{(}->}[dr] \ar@{^{(}->}@/u\curv/[rr] && \Z/2 \times \Z/2 \ar[dr]^{\neq 0}\ar@/u\curv/[rr]^0 && \Z \ar[dr]\ar@{->>}@/u\curv/[rr] && \Z/28 \ar@{->>}[dr]\ar@/u\curv/[rr]&&
		+	0 \ar[dr] \ar@/u\curv/[rr] && \Z/2 \ar[dr]^\cong \ar@/u\curv/[rr]^\cong && \Z/2 \ar[dr]^0\ar@/u\curv/[rr] &&0 \ar[dr]\ar@/u\curv/[rr]&& 0 \\
		+	& \Z/2 \times \Z/2 \ar[dr] \ar[ur]^\cong
		+	&& \Z \times \Z/2 \ar[dr]_{\cdot 240} \ar^{\cdot 28}[ur] && \Theta_{7}^{fr} \ar[dr] \ar[ur]
		+	&& 0 \ar[dr] \ar[ur] && 0 \ar[dr] \ar[ur]
		+	&& \Z/2 \ar[dr] \ar[ur]^\cong && 0 \ar[dr] \ar[ur]^\cong
		+	&& 0 \ar[dr] \ar[ur] & \\
		+	0 \ar[ur] \ar@/d\curv/[rr] && \Theta_8 \ar[ur] \ar@/d\curv/[rr] && \Z \ar[ur] \ar@{->>}@/d\curv/[rr]
		+	&&\Z/240 \ar[ur]_0\ar@/d\curv/[rr] &&
		+	0 \ar[ur] \ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr]
		+	&&0 \ar[ur]\ar@/d\curv/[rr] && 0
		+	}
		+	$$
		+
		+	This in particular implies the smooth Poincaré conjecture in dimension $5$, which is not covered by the usual collary of the $h$-cobordism theorem. The possibilities for $\Theta_7^{fr}$ are $\Z, \Z \times \Z/2$ and $\Z \times \Z/4$, since it is simultaneously an extension of $\Z$ by $\Z/28$ and $\Z/240$ whose common factors are $1,2$ and $4$. The map into it from the upper $\Z$ is then given by $(\cdot 240, pr), (\cdot 120, pr)$ or $(\cdot 60, pr)$, respectively. However since the map along the upper row is surjective only the third possibility remains. We finally arrive at:
		+
		+	$$
		+	\def\curv{1.5pc}
		+	\xymatrix{
		+	\Z/2 \ar@{^{(}->}[dr] \ar@{^{(}->}@/u\curv/[rr] && \Z/2 \times \Z/2 \ar[dr]^{\neq 0}\ar@/u\curv/[rr]^0 && \Z \ar[dr]^{(\cdot 60, pr)}\ar@{->>}@/u\curv/[rr] && \Z/28 \ar@{->>}[dr]\ar@/u\curv/[rr]&&
		+	0 \ar[dr] \ar@/u\curv/[rr] && \Z/2 \ar[dr]^\cong \ar@/u\curv/[rr]^\cong && \Z/2 \ar[dr]^0\ar@/u\curv/[rr] &&0 \ar[dr]\ar@/u\curv/[rr]&& 0 \\
		+	& \Z/2 \times \Z/2 \ar[dr] \ar[ur]^\cong
		+	&& \Z \times \Z/2 \ar[dr]_{\cdot 240} \ar^{\cdot 28}[ur] && \Z \times \Z/4 \ar[dr] \ar[ur]
		+	&& 0 \ar[dr] \ar[ur] && 0 \ar[dr] \ar[ur]
		+	&& \Z/2 \ar[dr] \ar[ur]^\cong && 0 \ar[dr] \ar[ur]^\cong
		+	&& 0 \ar[dr] \ar[ur] & \\
		+	0 \ar[ur] \ar@/d\curv/[rr] && \Z/2 \ar@{^{(}->}[ur] \ar@/d\curv/[rr] && \Z \ar[ur]_{(\cdot 7, pr)} \ar@{->>}@/d\curv/[rr]
		+	&&\Z/240 \ar[ur]_0\ar@/d\curv/[rr] &&
		+	0 \ar[ur] \ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr]
		+	&&0 \ar[ur]\ar@/d\curv/[rr] && 0
		+	}
		+	$$
	</wikitex>		</wikitex>

---

Revision as of 11:33, 3 September 2013

For starters the braid looks as follows:

Filling in the $<wikitex>; For starters the braid looks as follows: $$ \def\curv{1.5pc} \xymatrix{ \pi_8(O) \ar[dr] \ar@/u\curv/^J[rr] && \Omega_8^{fr} \ar[dr] \ar@/u\curv/[rr] && L_8(\Z) \ar[dr]\ar@/u\curv/[rr] &&\Theta_7 \ar[dr]\ar@/u\curv/[rr]&& \pi_6(O) \ar[dr] \ar@/u\curv/^J[rr] && \Omega_6^{fr} \ar[dr] \ar@/u\curv/[rr] && L_6(\Z) \ar[dr]\ar@/u\curv/[rr] &&\Theta_5 \ar[dr]\ar@/u\curv/[rr]&& \pi_{4}(O) \ & \Theta_{8}^{fr} \ar[dr] \ar[ur] && \Omega^{alm}_8 \ar[dr] \ar^s[ur] && \Theta_{7}^{fr} \ar[dr] \ar[ur] && \Omega^{alm}_7 \ar_s[dr] \ar[ur] && \Theta_{6}^{fr} \ar[dr] \ar[ur] && \Omega^{alm}_6 \ar[dr] \ar^s[ur] && \Theta_{5}^{fr} \ar[dr] \ar[ur] && \Omega^{alm}_5 \ar_s[dr] \ar[ur] & \ L_9(\Z) \ar[ur] \ar@/d\curv/[rr] && \Theta_8 \ar[ur] \ar@/d\curv/[rr] && \pi_7(O) \ar[ur] \ar@/d\curv/_J[rr] &&\Omega_7^{fr} \ar[ur]\ar@/d\curv/[rr] && L_7(\Z) \ar[ur] \ar@/d\curv/[rr] && \Theta_6 \ar[ur] \ar@/d\curv/[rr] && \pi_5(O) \ar[ur] \ar@/d\curv/_J[rr] &&\Omega_5^{fr} \ar[ur]\ar@/d\curv/[rr] && L_5(\Z) } $$ Filling in the $L$-groups (which were computed by Kervaire and Milnor), the homotopy groups of the orthogonal group (which are given by Bott periodicity), the framed bordism groups (which were shown to be the stable stems by Pontryagin and in low dimensions computed by Serre), and the $J$-homomorphism (which was computed by Adams and Quillen, but can be computed by hand in low dimensions) we arrive at $$ \def\curv{1.5pc} \xymatrix{ \Z/2 \ar[dr] \ar@{^{(}->}@/u\curv/[rr] && \Z/2 \times \Z/2 \ar[dr]\ar@/u\curv/[rr] && \Z \ar@{^{(}->}[dr]\ar@/u\curv/[rr] &&\Theta_7 \ar[dr]\ar@/u\curv/[rr]&& 0 \ar[dr] \ar@/u\curv/[rr] && \Z/2 \ar[dr] \ar@/u\curv/[rr]^\cong && \Z/2 \ar[dr]\ar@/u\curv/[rr] &&\Theta_5 \ar[dr]\ar@/u\curv/[rr]&& 0 \ & \Theta_{8}^{fr} \ar[dr] \ar[ur] && \Omega^{alm}_8 \ar[dr] \ar^{sign}[ur] && \Theta_{7}^{fr} \ar[dr] \ar[ur] && \Omega^{alm}_7 \ar[dr] \ar[ur] && \Theta_{6}^{fr} \ar[dr] \ar[ur] && \Omega^{alm}_6 \ar[dr] \ar[ur] && \Theta_{5}^{fr} \ar[dr] \ar[ur] && \Omega^{alm}_5 \ar[dr] \ar[ur] & \ 0 \ar[ur] \ar@/d\curv/[rr] && \Theta_8 \ar[ur] \ar@/d\curv/[rr] && \Z \ar[ur] \ar@{->>}@/d\curv/[rr] &&\Z/240 \ar[ur]\ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] && \Theta_6 \ar[ur] \ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] &&0 \ar[ur]\ar@/d\curv/[rr] && 0 } $$ where we have used $\kappa$ to denote the map induced by the Kervaire invariant $\Omega_6^{fr} \rightarrow \Z/2$. Using that this is surjective ($S^3 \times S^3$ with its Lie-group framing has Kervaire-invariant L$-groups (which were computed by Kervaire and Milnor), the homotopy groups of the orthogonal group (which are given by Bott periodicity), the framed bordism groups (which were shown to be the stable stems by Pontryagin and in low dimensions computed by Serre), and the $J$-homomorphism (which was computed by Adams and Quillen, but can be computed by hand in low dimensions) we arrive at

where we have used $\kappa$ to denote the map induced by the Kervaire invariant $\Omega_6^{fr} \rightarrow \Z/2$. Using that this is surjective ($S^3 \times S^3$ with its Lie-group framing has Kervaire-invariant $1$) and the fact that the signature of an almost framed $8$-manifold is divisible by $28$ (and $28$ is actually the signature of ???), we obtain the following maps:

The extension at $\Omega_8^{alm}$ is split since it surjects onto $240 \Z$ (right lower map) which is free. Clearing this and the obvious $0$'s, we find:

This in particular implies the smooth Poincaré conjecture in dimension $5$, which is not covered by the usual collary of the $h$-cobordism theorem. The possibilities for $\Theta_7^{fr}$ are $\Z, \Z \times \Z/2$ and $\Z \times \Z/4$, since it is simultaneously an extension of $\Z$ by $\Z/28$ and $\Z/240$ whose common factors are $1,2$ and $4$. The map into it from the upper $\Z$ is then given by $(\cdot 240, pr), (\cdot 120, pr)$ or $(\cdot 60, pr)$, respectively. However since the map along the upper row is surjective only the third possibility remains. We finally arrive at:

$) and the fact that the signature of an almost framed $-manifold is divisible by $ (and $ is actually the signature of ???), we obtain the following maps: $$ \def\curv{1.5pc} \xymatrix{ \Z/2 \ar@{^{(}->}[dr] \ar@{^{(}->}@/u\curv/[rr] && \Z/2 \times \Z/2 \ar[dr]\ar@/u\curv/[rr]^0 && \Z \ar[dr]\ar@/u\curv/[rr] &&\Theta_7 \ar@{->>}[dr]\ar@/u\curv/[rr]&& 0 \ar[dr] \ar@/u\curv/[rr] && \Z/2 \ar[dr]^\cong \ar@/u\curv/[rr]^\cong && \Z/2 \ar[dr]^0\ar@/u\curv/[rr] &&\Theta_5 \ar[dr]\ar@/u\curv/[rr]&& 0 \ & \Theta_{8}^{fr} \ar[dr] \ar[ur]^\cong && \Omega^{alm}_8 \ar[dr] \ar^{28}[ur] && \Theta_{7}^{fr} \ar[dr] \ar[ur] && \Omega^{alm}_7 \ar[dr] \ar[ur] && \Theta_{6}^{fr} \ar[dr]_\cong \ar@{^{(}->}[ur]^0 && \Omega^{alm}_6 \ar[dr] \ar[ur]^\cong && \Theta_{5}^{fr} \ar[dr] \ar[ur]^\cong && \Omega^{alm}_5 \ar[dr] \ar[ur] & \ 0 \ar[ur] \ar@/d\curv/[rr] && \Theta_8 \ar[ur] \ar@/d\curv/[rr] && \Z \ar[ur] \ar@{->>}@/d\curv/[rr] &&\Z/240 \ar[ur]_0\ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] && \Theta_6 \ar[ur] \ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] &&0 \ar[ur]\ar@/d\curv/[rr] && 0 } $$ The extension at $\Omega_8^{alm}$ is split since it surjects onto 0 \Z$ (right lower map) which is free. Clearing this and the obvious $L$-groups (which were computed by Kervaire and Milnor), the homotopy groups of the orthogonal group (which are given by Bott periodicity), the framed bordism groups (which were shown to be the stable stems by Pontryagin and in low dimensions computed by Serre), and the $J$-homomorphism (which was computed by Adams and Quillen, but can be computed by hand in low dimensions) we arrive at

where we have used $\kappa$ to denote the map induced by the Kervaire invariant $\Omega_6^{fr} \rightarrow \Z/2$. Using that this is surjective ($S^3 \times S^3$ with its Lie-group framing has Kervaire-invariant $1$) and the fact that the signature of an almost framed $8$-manifold is divisible by $28$ (and $28$ is actually the signature of ???), we obtain the following maps:

The extension at $\Omega_8^{alm}$ is split since it surjects onto $240 \Z$ (right lower map) which is free. Clearing this and the obvious $0$'s, we find:

This in particular implies the smooth Poincaré conjecture in dimension $5$, which is not covered by the usual collary of the $h$-cobordism theorem. The possibilities for $\Theta_7^{fr}$ are $\Z, \Z \times \Z/2$ and $\Z \times \Z/4$, since it is simultaneously an extension of $\Z$ by $\Z/28$ and $\Z/240$ whose common factors are $1,2$ and $4$. The map into it from the upper $\Z$ is then given by $(\cdot 240, pr), (\cdot 120, pr)$ or $(\cdot 60, pr)$, respectively. However since the map along the upper row is surjective only the third possibility remains. We finally arrive at:

$'s, we find: $$ \def\curv{1.5pc} \xymatrix{ \Z/2 \ar@{^{(}->}[dr] \ar@{^{(}->}@/u\curv/[rr] && \Z/2 \times \Z/2 \ar[dr]^{\neq 0}\ar@/u\curv/[rr]^0 && \Z \ar[dr]\ar@{->>}@/u\curv/[rr] && \Z/28 \ar@{->>}[dr]\ar@/u\curv/[rr]&& 0 \ar[dr] \ar@/u\curv/[rr] && \Z/2 \ar[dr]^\cong \ar@/u\curv/[rr]^\cong && \Z/2 \ar[dr]^0\ar@/u\curv/[rr] &&0 \ar[dr]\ar@/u\curv/[rr]&& 0 \ & \Z/2 \times \Z/2 \ar[dr] \ar[ur]^\cong && \Z \times \Z/2 \ar[dr]_{\cdot 240} \ar^{\cdot 28}[ur] && \Theta_{7}^{fr} \ar[dr] \ar[ur] && 0 \ar[dr] \ar[ur] && 0 \ar[dr] \ar[ur] && \Z/2 \ar[dr] \ar[ur]^\cong && 0 \ar[dr] \ar[ur]^\cong && 0 \ar[dr] \ar[ur] & \ 0 \ar[ur] \ar@/d\curv/[rr] && \Theta_8 \ar[ur] \ar@/d\curv/[rr] && \Z \ar[ur] \ar@{->>}@/d\curv/[rr] &&\Z/240 \ar[ur]_0\ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] &&0 \ar[ur]\ar@/d\curv/[rr] && 0 } $$ This in particular implies the smooth Poincaré conjecture in dimension $, which is not covered by the usual collary of the $h$-cobordism theorem. The possibilities for $\Theta_7^{fr}$ are $\Z, \Z \times \Z/2$ and $\Z \times \Z/4$, since it is simultaneously an extension of $\Z$ by $\Z/28$ and $\Z/240$ whose common factors are L-groups (which were computed by Kervaire and Milnor), the homotopy groups of the orthogonal group (which are given by Bott periodicity), the framed bordism groups (which were shown to be the stable stems by Pontryagin and in low dimensions computed by Serre), and the $J$-homomorphism (which was computed by Adams and Quillen, but can be computed by hand in low dimensions) we arrive at

where we have used $\kappa$ to denote the map induced by the Kervaire invariant $\Omega_6^{fr} \rightarrow \Z/2$. Using that this is surjective ($S^3 \times S^3$ with its Lie-group framing has Kervaire-invariant $1$) and the fact that the signature of an almost framed $8$-manifold is divisible by $28$ (and $28$ is actually the signature of ???), we obtain the following maps:

The extension at $\Omega_8^{alm}$ is split since it surjects onto $240 \Z$ (right lower map) which is free. Clearing this and the obvious $0$'s, we find:

This in particular implies the smooth Poincaré conjecture in dimension $5$, which is not covered by the usual collary of the $h$-cobordism theorem. The possibilities for $\Theta_7^{fr}$ are $\Z, \Z \times \Z/2$ and $\Z \times \Z/4$, since it is simultaneously an extension of $\Z$ by $\Z/28$ and $\Z/240$ whose common factors are $1,2$ and $4$. The map into it from the upper $\Z$ is then given by $(\cdot 240, pr), (\cdot 120, pr)$ or $(\cdot 60, pr)$, respectively. However since the map along the upper row is surjective only the third possibility remains. We finally arrive at:

,2$ and $. The map into it from the upper $\Z$ is then given by $(\cdot 240, pr), (\cdot 120, pr)$ or $(\cdot 60, pr)$, respectively. However since the map along the upper row is surjective only the third possibility remains. We finally arrive at: $$ \def\curv{1.5pc} \xymatrix{ \Z/2 \ar@{^{(}->}[dr] \ar@{^{(}->}@/u\curv/[rr] && \Z/2 \times \Z/2 \ar[dr]^{\neq 0}\ar@/u\curv/[rr]^0 && \Z \ar[dr]^{(\cdot 60, pr)}\ar@{->>}@/u\curv/[rr] && \Z/28 \ar@{->>}[dr]\ar@/u\curv/[rr]&& 0 \ar[dr] \ar@/u\curv/[rr] && \Z/2 \ar[dr]^\cong \ar@/u\curv/[rr]^\cong && \Z/2 \ar[dr]^0\ar@/u\curv/[rr] &&0 \ar[dr]\ar@/u\curv/[rr]&& 0 \ & \Z/2 \times \Z/2 \ar[dr] \ar[ur]^\cong && \Z \times \Z/2 \ar[dr]_{\cdot 240} \ar^{\cdot 28}[ur] && \Z \times \Z/4 \ar[dr] \ar[ur] && 0 \ar[dr] \ar[ur] && 0 \ar[dr] \ar[ur] && \Z/2 \ar[dr] \ar[ur]^\cong && 0 \ar[dr] \ar[ur]^\cong && 0 \ar[dr] \ar[ur] & \ 0 \ar[ur] \ar@/d\curv/[rr] && \Z/2 \ar@{^{(}->}[ur] \ar@/d\curv/[rr] && \Z \ar[ur]_{(\cdot 7, pr)} \ar@{->>}@/d\curv/[rr] &&\Z/240 \ar[ur]_0\ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] && 0 \ar[ur] \ar@/d\curv/[rr] &&0 \ar[ur]\ar@/d\curv/[rr] && 0 } $$ L-groups (which were computed by Kervaire and Milnor), the homotopy groups of the orthogonal group (which are given by Bott periodicity), the framed bordism groups (which were shown to be the stable stems by Pontryagin and in low dimensions computed by Serre), and the $J$-homomorphism (which was computed by Adams and Quillen, but can be computed by hand in low dimensions) we arrive at

where we have used $\kappa$ to denote the map induced by the Kervaire invariant $\Omega_6^{fr} \rightarrow \Z/2$. Using that this is surjective ($S^3 \times S^3$ with its Lie-group framing has Kervaire-invariant $1$) and the fact that the signature of an almost framed $8$-manifold is divisible by $28$ (and $28$ is actually the signature of ???), we obtain the following maps:

The extension at $\Omega_8^{alm}$ is split since it surjects onto $240 \Z$ (right lower map) which is free. Clearing this and the obvious $0$'s, we find:

This in particular implies the smooth Poincaré conjecture in dimension $5$, which is not covered by the usual collary of the $h$-cobordism theorem. The possibilities for $\Theta_7^{fr}$ are $\Z, \Z \times \Z/2$ and $\Z \times \Z/4$, since it is simultaneously an extension of $\Z$ by $\Z/28$ and $\Z/240$ whose common factors are $1,2$ and $4$. The map into it from the upper $\Z$ is then given by $(\cdot 240, pr), (\cdot 120, pr)$ or $(\cdot 60, pr)$, respectively. However since the map along the upper row is surjective only the third possibility remains. We finally arrive at: