I read that we can realize exotic sphere as the coker of $J$-homomorphism. SO we can consider the exotic sphere $S^7$ realized using an identificantion of $B^4 \times S^3$ (where I donote the four dimentional ball). How can I realize this exotic sphere as coker of $J$-homomorphism? In particular, can I realize exotic spheres as coker of complex $J$-homomorphism $$ J:\pi_r(U(n)) \to \pi_{r+q}(S^q) ?$$
1 Answer
I don't know where you read this, but it is not quite true. What is true is that we have an exact sequence $$0 \longrightarrow \Theta_{n}/bP_{n+1} \longrightarrow \mathrm{coker}(J_n) \stackrel{K_n}{\longrightarrow} C_n \longrightarrow 0.$$ Here we have that
- $\Theta_n$ is the group of homotopy $n$-spheres.
- $bP_{n+1}$ is the subgroup of $\Theta_n$ consisting of homotopy $n$-spheres that bound a parallelizable $(n+1)$-manifold.
- $K_n$ is the Kervaire invariant.
- $C_n$ is a group that depends on $n$: $$C_n = \begin{cases} 0, & n \not\equiv 2 \pmod 4, \\ \Bbb Z/2 \,\text{ or }\, 0, & n \equiv 2 \pmod 4. \end{cases}$$
We have that $C_n = \Bbb Z/2$ for precisely those $n$ for which there exists an $n$-manifold of Kervaire invariant $1$. Finding which $n$ satisfy this property was a huge open problem in algebraic topology which was settled in 2009 for all cases except $n = 126$. It turns out that $C_n = \Bbb Z/2$ for $n = 6$, $14$, $30$, $62$, and possibly $n = 126$. Hence we have the following:
Theorem. For $n = 6$, $14$, $30$, or $62$, we have an exact sequence $$0 \longrightarrow \Theta_{n}/bP_{n+1} \longrightarrow \mathrm{coker}(J_n) \stackrel{K_n}{\longrightarrow} \Bbb Z/2 \longrightarrow 0. \tag{$\ast$}$$ For $n \neq 6$, $14$, $30$, $62$, or $126$, we have an isomorphism $$\Theta_n/bP_{n+1} \cong \mathrm{coker}(J_n). \tag{$\ast\ast$}$$ For $n = 126$, one of $(\ast)$ or $(\ast\ast)$ holds.
-
$\begingroup$ I read it here: en.wikipedia.org/wiki/J-homomorphism in the section: Appplication. $\endgroup$ Jul 12, 2013 at 14:43
-
$\begingroup$ That article just says $\mathrm{coker}(J_n)$ appears in (the study of) exotic spheres, i.e. the cokernel of the $J$-homomorphism and exotic spheres are somehow related. The precise relationship they are talking about is what I said in my answer. $\endgroup$ Jul 13, 2013 at 1:47