Skip to main content
4 of 6
a minor change
Leo
  • 663
  • 2
  • 8

(1) I suppose that you are asking for an explicit construction of such a bordism. Its existence is already answered by your question; that $\mathbb{C}P^2$ generates $\Omega^{SO}_4$ just literally means any closed oriented smooth 4-manifold is oriented cobordant to some copies of $\mathbb{C}P$ or $\overline{\mathbb{C}P}^2$.

$H^2(K_3,\mathbb{Z})$ is a rank-22 unimodular lattice and can be decomposed as $2\,\overline{E_8}\oplus 3\,H_2$. Here $\overline{E_8}$ means the negative $E_8$ lattice. $H_2$ means the rank-2 hyperbolic lattice. The $E_8$ lattice is not diagonalizable but stably diagonalizable, i.e., $E_8\oplus \overline{I}\simeq \overline{I}\oplus 8\,I$, where $I$ denotes the positive rank-1 unimodular lattice. Therefore,

$$H^2(K_3,\mathbb{Z})\oplus2\,I\ \simeq\ \oplus 16\,\overline{I}\,\oplus 2\,I\,\oplus 3\,H_2\,.$$

According to Freedman's theorem, this means a homeomorphism between the two connected sums

$$K_3\ \#\ 2\,\mathbb{C}P^2\ \simeq\ \#\ 16\,\overline{\mathbb{C}P^2}\ \#\ 2\,\mathbb{C}P^2\ \#\ 3\,S^2\!\times\!S^2$$

because both sides are smooth. This probably fails to be a diffeomorphism. But a stabilization theorem of C.T.C. Wall says that we can always obtain a diffeomorphism by adding sufficiently many copies of $S^2\!\times\!S^2$. Namely, there is an integer $k$ such that we have a diffeomorphism

$$K_3\ \#\ 2\,\mathbb{C}P^2\ \#\ k\,S^2\!\times\!S^2 \ \simeq\ \#\ 16\,\overline{\mathbb{C}P^2}\ \#\ 2\,\mathbb{C}P^2\ \#\ (3\!+\!k)\,S^2\!\times\!S^2\,.$$

Now, considering the traces of the connected sums on both sides, we obtain an oriented bordism $W_1$ from $K_3\coprod 2\,\mathbb{C}P^2\coprod k\,S^2\!\times\!S^2$ to $\coprod 16\,\overline{\mathbb{C}P^2}\coprod 2\,\mathbb{C}P^2\coprod (3\!+\!k)\,S^2\!\times\!S^2$. Viewed in an alternative way, $W_1$ is an oriented bordism from $K_3$ to

$$\coprod 18\,\overline{\mathbb{C}P^2}\coprod 2\,\mathbb{C}P^2\coprod (3\!+\!2k)\,S^2\!\times\!S^2\,.$$

It is then a trivial task to find an oriented bordism $W_2$ from the above to $\coprod 16\,\overline{\mathbb{C}P^2}$. Hence the combination of $W_1$ and $W_2$ gives an oriented bordism you want.

You may find relevant materials in Alexandru Scorpan's book The Wild World of 4-manifolds and the references thereof. I don't know the minimal value of $k$ above, which might be just zero. Thank @MarcoGolla for pointing out another similar construction.


(2) I don't quite understand the question. If you have a spin 5-manifold, it induces a spin structure on each connected component of its boundary.

Leo
  • 663
  • 2
  • 8