# Talk:Microbundles (Ex)

In case of daubts You should get familiar with the definition of microbundle.

Exercise 0.1 [Milnor1964, Lemma 2.1]. Let $M$$; In case of daubts You should get familiar with the definition of [[Microbundle|microbundle]]. {{beginthm|Exercise|{{citeD|Milnor1964|Lemma 2.1}}}} Let M be a topological manifold. Show that \xi_M : = (M \times M, M, \Delta_M, p_1) is a microbundle. {{endthm}} {{beginproof}} Let M be a topological manifold. Then the composition p_1\circ\Delta_M sends x\mapsto (x,x)\mapsto x, so the first condition in the definition is satisfied. To prove that the second condition is satisfied we need to use local chart around x. Choose U to be one of the open sets coming from atlas of M and let \phi\colon U\to \mathbb{R}^n be associated chart. The obvious choice for neighbourhood V\subset M\times M is to take U\times U. The first naive candidate for h\colon V=U\times U\to U\times\mathbb{R}^n would be map \id\times \phi. However such h fails to make the following diagram commute \xymatrix{ &U\times U\ar[rd]^{p_1}\ar[dd]^h&\ U\ar[ru]^{\Delta_M}\ar[rd]_{\id\times\{0\}} & & U\ &U\times \Rr^n\ar[ru]_{p_1}&} since (u,u) is mapped to (u,\phi(u)) and \phi(u) doesn't necessarily be be a topological manifold. Show that $\xi_M : = (M \times M, M, \Delta_M, p_1)$$\xi_M : = (M \times M, M, \Delta_M, p_1)$ is a microbundle.

Proof.

Let $M$$M$ be a topological manifold. Then the composition $p_1\circ\Delta_M$$p_1\circ\Delta_M$ sends $x\mapsto (x,x)\mapsto x$$x\mapsto (x,x)\mapsto x$, so the first condition in the definition is satisfied.

To prove that the second condition is satisfied we need to use local chart around $x$$x$. Choose $U$$U$ to be one of the open sets coming from atlas of $M$$M$ and let $\phi\colon U\to \mathbb{R}^n$$\phi\colon U\to \mathbb{R}^n$ be associated chart. The obvious choice for neighbourhood $V\subset M\times M$$V\subset M\times M$ is to take $U\times U$$U\times U$. The first naive candidate for $h\colon V=U\times U\to U\times\mathbb{R}^n$$h\colon V=U\times U\to U\times\mathbb{R}^n$ would be map $\id\times \phi$$\id\times \phi$. However such $h$$h$ fails to make the following diagram commute $\displaystyle \xymatrix{ &U\times U\ar[rd]^{p_1}\ar[dd]^h&\\ U\ar[ru]^{\Delta_M}\ar[rd]_{\id\times\{0\}} & & U\\ &U\times \Rr^n\ar[ru]_{p_1}&}$

since $(u,u)$$(u,u)$ is mapped to $(u,\phi(u))$$(u,\phi(u))$ and $\phi(u)$$\phi(u)$ doesn't necessarily be $0$$0$ (well, it depends on our definition of an atlas of a manifold?). We need just a small adjustment: $h(u,v)=(u,h(u)-h(v))$$h(u,v)=(u,h(u)-h(v))$. $\square$$\square$

Exercise 0.2 [Milnor1964, Theorem 2.2]. Let $M$$M$ be a (paracompact!) smooth manifold. Show that $TM$$TM$ and $\xi_M$$\xi_M$ are isomorphic microbundles.

Proof. We have two concurring definitions of micro-tangent bundle. The first is given by the exercise above, the second by forgeting about the vector bundle structure on $TM$$TM$ and treating it just as a microbundle $(TM, M, \pi,s_0)$$(TM, M, \pi,s_0)$ where $M\xrightarrow{s_0} TM$$M\xrightarrow{s_0} TM$ is the zero section.

To fix the notation please consult the definition of microbundle isomorphism on page on microbundles .

In our case we have $\displaystyle \xymatrix{ & V\ar[dd]^H \ar[rd]^{p_1}&\\ M\ar[dr]_{\Delta_M}\ar[ur]^{s_0} & & M\\ & M\times M \ar[ru]&}$

where $V\subset TM$$V\subset TM$ is an open neighbourhood of the zero section. $\square$$\square$

We need to find a map $H\colon V\to$ (well, it depends on our definition of an atlas of a manifold?). We need just a small adjustment: $h(u,v)=(u,h(u)-h(v))$. {{endproof}} {{beginthm|Exercise|{{citeD|Milnor1964|Theorem 2.2}}}} Let $M$ be a (paracompact!) smooth manifold. Show that $TM$ and $\xi_M$ are isomorphic microbundles. {{endthm}} {{beginproof}} We have two concurring definitions of micro-tangent bundle. The first is given by the exercise above, the second by forgeting about the vector bundle structure on $TM$ and treating it just as a microbundle $(TM, M, \pi,s_0)$ where $M\xrightarrow{s_0} TM$ is the zero section. To fix the notation please consult the definition of microbundle isomorphism on page on [[Microbundle|microbundles]] . In our case we have $$\xymatrix{ & V\ar[dd]^H \ar[rd]^{p_1}&\ M\ar[dr]_{\Delta_M}\ar[ur]^{s_0} & & M\ & M\times M \ar[ru]&}$$ where $V\subset TM$ is an open neighbourhood of the zero section. {{endproof}} We need to find a map $H\colon V\to M be a topological manifold. Show that $\xi_M : = (M \times M, M, \Delta_M, p_1)$$\xi_M : = (M \times M, M, \Delta_M, p_1)$ is a microbundle. Proof. Let $M$$M$ be a topological manifold. Then the composition $p_1\circ\Delta_M$$p_1\circ\Delta_M$ sends $x\mapsto (x,x)\mapsto x$$x\mapsto (x,x)\mapsto x$, so the first condition in the definition is satisfied. To prove that the second condition is satisfied we need to use local chart around $x$$x$. Choose $U$$U$ to be one of the open sets coming from atlas of $M$$M$ and let $\phi\colon U\to \mathbb{R}^n$$\phi\colon U\to \mathbb{R}^n$ be associated chart. The obvious choice for neighbourhood $V\subset M\times M$$V\subset M\times M$ is to take $U\times U$$U\times U$. The first naive candidate for $h\colon V=U\times U\to U\times\mathbb{R}^n$$h\colon V=U\times U\to U\times\mathbb{R}^n$ would be map $\id\times \phi$$\id\times \phi$. However such $h$$h$ fails to make the following diagram commute $\displaystyle \xymatrix{ &U\times U\ar[rd]^{p_1}\ar[dd]^h&\\ U\ar[ru]^{\Delta_M}\ar[rd]_{\id\times\{0\}} & & U\\ &U\times \Rr^n\ar[ru]_{p_1}&}$ since $(u,u)$$(u,u)$ is mapped to $(u,\phi(u))$$(u,\phi(u))$ and $\phi(u)$$\phi(u)$ doesn't necessarily be $0$$0$ (well, it depends on our definition of an atlas of a manifold?). We need just a small adjustment: $h(u,v)=(u,h(u)-h(v))$$h(u,v)=(u,h(u)-h(v))$. $\square$$\square$ Exercise 0.2 [Milnor1964, Theorem 2.2]. Let $M$$M$ be a (paracompact!) smooth manifold. Show that $TM$$TM$ and $\xi_M$$\xi_M$ are isomorphic microbundles. Proof. We have two concurring definitions of micro-tangent bundle. The first is given by the exercise above, the second by forgeting about the vector bundle structure on $TM$$TM$ and treating it just as a microbundle $(TM, M, \pi,s_0)$$(TM, M, \pi,s_0)$ where $M\xrightarrow{s_0} TM$$M\xrightarrow{s_0} TM$ is the zero section. To fix the notation please consult the definition of microbundle isomorphism on page on microbundles . In our case we have $\displaystyle \xymatrix{ & V\ar[dd]^H \ar[rd]^{p_1}&\\ M\ar[dr]_{\Delta_M}\ar[ur]^{s_0} & & M\\ & M\times M \ar[ru]&}$ where $V\subset TM$$V\subset TM$ is an open neighbourhood of the zero section. $\square$$\square$ We need to find a map$H\colon V\to
{"ft_lang_label":"__label__en","ft_lang_prob":0.88631773,"math_prob":0.99991155,"size":3526,"snap":"2022-40-2023-06","text_gpt3_token_len":875,"char_repetition_ratio":0.12890403,"word_repetition_ratio":0.8298611,"special_character_ratio":0.23936471,"punctuation_ratio":0.11756168,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9999995,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,10,null,null,null,null,null,10,null,10,null,10,null,10,null,null,null,10,null,null,null,null,null,null,null,null,null,null,null,10,null,10,null,7,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,10,null,null,null,null,null,10,null,10,null,10,null,10,null,null,null,10,null,null,null,null,null,null,null,null,null,null,null,10,null,10,null,7,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2022-09-24T23:12:38Z\",\"WARC-Record-ID\":\"<urn:uuid:5ec54ce0-388e-4427-ab79-68bf5820ebaf>\",\"Content-Length\":\"34731\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:85bb08fa-506e-4dd5-8027-64d89b605ed6>\",\"WARC-Concurrent-To\":\"<urn:uuid:ae7df59c-a3f2-4bac-8ccb-30af510d375a>\",\"WARC-IP-Address\":\"195.37.209.187\",\"WARC-Target-URI\":\"http://www.map.mpim-bonn.mpg.de/index.php?title=Talk:Microbundles_(Ex)&oldid=9145\",\"WARC-Payload-Digest\":\"sha1:MAFDM2NLGDSQNS3KEQJACXEM4VYX4DGU\",\"WARC-Block-Digest\":\"sha1:YE6IXB4XK2G67DVDKZBFDJCKQE6HZNXF\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2022/CC-MAIN-2022-40/CC-MAIN-2022-40_segments_1664030333541.98_warc_CC-MAIN-20220924213650-20220925003650-00465.warc.gz\"}"}