Embedded (framed) cobordisms - MathOverflow
most recent 30 from http://mathoverflow.net
2013-05-24T04:49:13Z
http://mathoverflow.net/feeds/question/79176
http://www.creativecommons.org/licenses/by-nc/2.5/rdf
http://mathoverflow.net/questions/79176/embedded-framed-cobordisms
Embedded (framed) cobordisms
algori
2011-10-26T17:52:14Z
2011-10-28T11:22:30Z
<p>[The title initially was "Actions of gauge groups on framed cobordisms. This has been changed.]</p>
<p>This question is a follow-up to my answer to <a href="http://mathoverflow.net/questions/78209/when-is-a-submanifold-of-mathbf-rn-given-by-global-equations" rel="nofollow">http://mathoverflow.net/questions/78209/when-is-a-submanifold-of-mathbf-rn-given-by-global-equations</a></p>
<p>Suppose $M$ is a smooth compact $d$-dimensional submanifold of $\mathbb{R}^n$ given as the transversal zero locus of $k=n-d$ functions. The normal bundle of $M$ in $\mathbb{R}^n$ is framed and moreover, it turns out that $M$ is <strike>framed cobordant to 0</strike> bounds a submanifold of $\mathbb{R}^n$, unless $d=0$. (At first I thought this was a consequence of Sard's lemma; now I think this is not quite so obvious but true nonetheless.)</p>
<p>Q1. I would like to ask: is there a submanifold $M$ of $\mathbb{R}^n$ with trivial normal bundle such that no framing of this bundle makes $M$ framed cobordant to 0? <strike>A positive answer to this would mean that the answer to the above-mentioned question is negative.</strike> [This question still stands, but I don't think it is directly related to the above mentioned question in the other thread.]</p>
<p>Q2. Is there a manifold $M\subset\mathbb{R}^n$ with trivial normal bundle such that no $N$ with boundary $M$ can be embedded in $\mathbb{R}^n$? Presumably this is more difficult than Q1. [But if the answer is positive, this would mean that there are submanifolds of $\mathbb{R}^n$ with trivial normal bundles that can't be given by global equations.]</p>
<p>In general, if $M$ is embeddable in $\mathbb{R}^n$, there seems to be no reason any of the manifolds bounded by $M$ should be. However I do not know of any obstructions or counter-examples.</p>
<p>Q3. What if we drop the condition that the normal bundle is trivial in Q2 and replace it with the weaker condition that $M$ is cobordant to 0, i.e., that all Stiefel-Whitney numbers of $M$ are 0? </p>
http://mathoverflow.net/questions/79176/embedded-framed-cobordisms/79184#79184
Answer by André Henriques for Embedded (framed) cobordisms
André Henriques
2011-10-26T19:19:54Z
2011-10-28T11:22:30Z
<p>The Lie group $SU(2)\cong S^3$, with its left-invariant framing represents a generator of the cobordinsm group of stably-framed 3-manifolds:
$$[(S^3,\text{left-invariant framing})]=\bar 1\in \mathbb Z/24\cong\Omega^\text{fr}_3.$$</p>
<p>If you change the framing on $S^3$, you can reach anything in the set
$$
\{\bar 1,\bar 3, \bar 5, \bar 7,\ldots,\bar {23}\}\subset\mathbb Z/24,
$$
but not the other elements.
<hr>
Oops!<br>
My answer deals with tangential framings, whereas the question was about normal framings.<br>
I guess I'll leave it here as it might be of independent interest...</p>