In even dimensions $n=2k$ we can define two smooth manifolds $M$ and $N$ to be ****stably diffeomorphic**** if they become diffeomorphic after the connect sum with $r$ many copies of $S^k \times S^k$ for some natural number $r$.


**Question**: What is known about the stable diffeomorphism classification of exotic $2k$-spheres? Are they all stably diffeomorphic to the standard sphere? If not does this happen sometimes? Are there examples which are stably diffeomorphic to the standard sphere? Or are they all distinct up to stable diffeomorphism?


Here is some background about what I know so far.


Given a manifold $M$, its stable normal bundle is classified by a map $\nu:M \to BO$. This factors through a space $B\_M$ called the normal $(k-1)$-type of $M$.


$$ M \to B\_M \to BO$$


The map $M \to B\_M$ is an isomorphism on homotopy groups $\pi\_i$ with $i < k$ and is surjective on $\pi\_k$. The map $B\_M \to BO$ is injective on $\pi\_k$ and an isomorphism on $\pi\_i$ with $i>k$. The fiber is a $(k-1)$-type.


Fixing $B \to BO$, and a manifold $M$, we can consider all maps $M \to B$ which lift the stable normal bundle $M \to BO$ and realize $B$ as the normal $(k-1)$-type of $M$. These are called **normal $(k-1)$-smoothings**.


We can think of this as equipping the normal bundle of $M$ with a $B$-structure. As explained [here](http://www.map.mpim-bonn.mpg.de/Stable_classification_of_manifolds) the notion of $B$-structured stable diffeomorphism also makes sense.


We have the following Theorem of Kreck.


**Theorem**: Let $M$ and $N$ be $2k$-dimensional closed smooth manifolds with the same normal $(k-1)$-type $B$. Then two normal $(k-1)$-smoothings $(M, \theta\_M)$ and $(N, \theta\_N)$ are stably diffeomorphic if and only if the bordism classes of $(M, \theta\_M)$ and $(N, \theta\_N)$ agree in the $B$-bordism group $\Omega\_{2k}^B$ and the Euler characteristics agree.


The choice of the normal smoothing can be dealt with by considering the action of the automorphisms of $B \to BO$ on the bordism group.


If $M$ is a sphere (or exotic sphere) then the normal $(k-1)$-type is $B = BO\langle k\rangle$.


Now [here](http://www.map.mpim-bonn.mpg.de/Exotic_spheres) it describes a way to get invariants of exotic spheres using $B$-bordism (general $B$). Any framed manifold admits a $B$-structure. If $B$ is such that $[S^n, \theta] = 0 \in \Omega^B\_n$ for any framing $\theta$, then there is a well-defined homomorphism


$$\eta^B: \Theta\_n \to \Omega\_n^B$$


which sends an exotic sphere $\Sigma$ to $[\Sigma, \theta]$ where $\theta$ is any framing. The manifold atlas website I linked to above gives some examples. One is where $B = BO\langle \ell\rangle$ with $k+1 < \ell < 2k + 2 = n + 2$. In that case $\Omega^B\_n \cong \pi\_n(G/O)$, this map is very interesting and related to the famous work of Kervaire-Milnor.


The case relevant to the stable diffeomorphism classification is just outside this range, however. We can re-phrase the main question as follows.


**Question**: When $B = BO\langle k\rangle$, what is known about the map
$\eta^B: \Theta\_{2k} \to \Omega^B\_{2k}?$ Specifically what is the kernel?


The same website I linked above also notes that $\eta^\textrm{Spin}$ is non-trivial in dimension $8m + 2$. So I expect that this map won't be zero in general, but I am not sure.



What is known about exotic spheres up to stable diffeomorphism?
The inertia group $I\_M$ of a closed oriented $d$-manifold $M$ is the subgroup of $\theta\_d$ of h-cobordism classes of homotopy spheres $\Sigma$ such that $\Sigma \# M$ is diffeomorphic to $M$.


[Wall](https://www.ams.org/journals/proc/1962-013-06/S0002-9939-1962-0143223-8/S0002-9939-1962-0143223-8.pdf) and [Kosinski](https://www.jstor.org/stable/2373121?seq=1#metadata_info_tab_contents) proved that $I\_{W\_g}$ is trivial in all dimensions, where $W\_g := \#^g S^n \times S^n$. This resolves your main question: two exotic spheres that are stably diffeomorphic are already diffeomorphic.


I learned this from conversations with Manuel Krannich.


As you explain, it then follows from Kreck's result that the kernel of the map $\eta^B$ agrees with $\theta\_{2k}$ itself.


