# Rokhlin's Theorem on Bounded Manifolds and Induced Spin Structures

*This proof is about Rokhlin's Theorem in the context of manifolds. For other uses, see Rokhlin's Theorem.*

This page has been identified as a candidate for refactoring of basic complexity.In particular: 2 separate parts -- put each on its own page.Until this has been finished, please leave
`{{Refactor}}` in the code.
Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Refactor}}` from the code. |

This article needs to be linked to other articles.In particular: throughoutYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |

## Theorem

### Part 1

Let $M$ be a smooth oriented $4$-manifold.

Let $\operatorname {sign} Q_M = 0$.

Then there exists a smooth oriented $5$-manifold $W$ such that:

- $\partial W = M$

This article, or a section of it, needs explaining.In particular: It is inferred that $\operatorname {sign}$ denotes "signature", which definition needs to be added. What does $Q_M$ mean?You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

### Part 2

Let $M$ be a smooth oriented $4$-manifold.

Let $\operatorname {sign} Q_M = 0$.

Let $M$ be endowed with a spin structure.

Then there exists a smooth oriented $5$-manifold $W$ such that:

- $\partial W = M$

and the spin structure of $W$ induces the spin structure of $M$.

This article, or a section of it, needs explaining.In particular: definition of induction of spin structureYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

## Proof

### Part 1

By the Whitney Immersion Theorem, there exists an immersion of $M$ into $\R^7$.

Suppose $\exists M'$ such that $M'$ embeds in $\R^6$ and that $M'$ and $M$ are cobordant.

By Images of Smooth Embeddings bound Oriented Manifolds, $M'$ must bound a $5$-manifold $W'$.

This article, or a section of it, needs explaining.In particular: The above redlink was originally labelled as "a proof due to R. Thom". This appears to be René Frédéric Thom.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

The union of the cobordism and $W'$ are necessarily a $5$-manifold $W$ which satisfy the theorem.

Hence it suffices to show that for any smooth, orientable $4$-manifold, there exists a similar manifold which is cobordant to the original and embeds in $\R^6$.

This needs considerable tedious hard slog to complete it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Finish}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

### Part 2

This theorem requires a proof.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Source of Name

This entry was named for Vladimir Abramovich Rokhlin.