{"title":"非定向4-流形的扭曲光滑结构","authors":"Valentina Bais, Rafael Torres","doi":"10.1112/blms.70060","DOIUrl":null,"url":null,"abstract":"<p>Five observations compose the main results of this note. The first records the existence of a smoothly embedded 2-sphere <span></span><math>\n <semantics>\n <mi>S</mi>\n <annotation>$S$</annotation>\n </semantics></math> inside <span></span><math>\n <semantics>\n <mrow>\n <mi>R</mi>\n <msup>\n <mi>P</mi>\n <mn>2</mn>\n </msup>\n <mo>×</mo>\n <msup>\n <mi>S</mi>\n <mn>2</mn>\n </msup>\n </mrow>\n <annotation>$\\mathbb {R}P^2\\times S^2$</annotation>\n </semantics></math> such that performing a Gluck twist on <span></span><math>\n <semantics>\n <mi>S</mi>\n <annotation>$S$</annotation>\n </semantics></math> produces a manifold <span></span><math>\n <semantics>\n <mi>Y</mi>\n <annotation>$Y$</annotation>\n </semantics></math> that is homeomorphic but not diffeomorphic to the total space of the nontrivial 2-sphere bundle over the real projective plane <span></span><math>\n <semantics>\n <mrow>\n <mi>S</mi>\n <mo>(</mo>\n <mn>2</mn>\n <mi>γ</mi>\n <mi>⊕</mi>\n <mi>R</mi>\n <mo>)</mo>\n </mrow>\n <annotation>$S(2\\gamma \\oplus \\mathbb {R})$</annotation>\n </semantics></math>. The second observation is that there is a 5-dimensional cobordism with a single 2-handle between the 4-manifold <span></span><math>\n <semantics>\n <mi>Y</mi>\n <annotation>$Y$</annotation>\n </semantics></math> and a mapping torus that was used by Cappell–Shaneson to construct an exotic <span></span><math>\n <semantics>\n <mrow>\n <mi>R</mi>\n <msup>\n <mi>P</mi>\n <mn>4</mn>\n </msup>\n </mrow>\n <annotation>$\\mathbb {R}P^4$</annotation>\n </semantics></math>. This construction of <span></span><math>\n <semantics>\n <mi>Y</mi>\n <annotation>$Y$</annotation>\n </semantics></math> is similar to the one of the Cappell–Shaneson homotopy 4-spheres. The third observation is that twisting an embedded real projective plane inside <span></span><math>\n <semantics>\n <mi>Y</mi>\n <annotation>$Y$</annotation>\n </semantics></math> produces a manifold that is homeomorphic but not diffeomorphic to the circle sum of two copies of <span></span><math>\n <semantics>\n <mrow>\n <mi>R</mi>\n <msup>\n <mi>P</mi>\n <mn>4</mn>\n </msup>\n </mrow>\n <annotation>$\\mathbb {R}P^4$</annotation>\n </semantics></math>. The fourth observation records new examples of pairs of homeomorphic but not diffeomorphic closed 4-manifolds with Euler characteristic one. These include the total space of the nontrivial <span></span><math>\n <semantics>\n <mrow>\n <mi>R</mi>\n <msup>\n <mi>P</mi>\n <mn>2</mn>\n </msup>\n </mrow>\n <annotation>$\\mathbb {R}P^2$</annotation>\n </semantics></math>-bundle over <span></span><math>\n <semantics>\n <mrow>\n <mi>R</mi>\n <msup>\n <mi>P</mi>\n <mn>2</mn>\n </msup>\n </mrow>\n <annotation>$\\mathbb {R}P^2$</annotation>\n </semantics></math>. Knotting phenomena of 2-spheres in nonorientable 4-manifolds that stands in glaring contrast with known phenomena in the orientable domain is pointed out in the fifth observation.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"57 6","pages":"1768-1790"},"PeriodicalIF":0.9000,"publicationDate":"2025-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.70060","citationCount":"0","resultStr":"{\"title\":\"Smooth structures on nonorientable 4-manifolds via twisting operations\",\"authors\":\"Valentina Bais, Rafael Torres\",\"doi\":\"10.1112/blms.70060\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Five observations compose the main results of this note. The first records the existence of a smoothly embedded 2-sphere <span></span><math>\\n <semantics>\\n <mi>S</mi>\\n <annotation>$S$</annotation>\\n </semantics></math> inside <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>R</mi>\\n <msup>\\n <mi>P</mi>\\n <mn>2</mn>\\n </msup>\\n <mo>×</mo>\\n <msup>\\n <mi>S</mi>\\n <mn>2</mn>\\n </msup>\\n </mrow>\\n <annotation>$\\\\mathbb {R}P^2\\\\times S^2$</annotation>\\n </semantics></math> such that performing a Gluck twist on <span></span><math>\\n <semantics>\\n <mi>S</mi>\\n <annotation>$S$</annotation>\\n </semantics></math> produces a manifold <span></span><math>\\n <semantics>\\n <mi>Y</mi>\\n <annotation>$Y$</annotation>\\n </semantics></math> that is homeomorphic but not diffeomorphic to the total space of the nontrivial 2-sphere bundle over the real projective plane <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>S</mi>\\n <mo>(</mo>\\n <mn>2</mn>\\n <mi>γ</mi>\\n <mi>⊕</mi>\\n <mi>R</mi>\\n <mo>)</mo>\\n </mrow>\\n <annotation>$S(2\\\\gamma \\\\oplus \\\\mathbb {R})$</annotation>\\n </semantics></math>. The second observation is that there is a 5-dimensional cobordism with a single 2-handle between the 4-manifold <span></span><math>\\n <semantics>\\n <mi>Y</mi>\\n <annotation>$Y$</annotation>\\n </semantics></math> and a mapping torus that was used by Cappell–Shaneson to construct an exotic <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>R</mi>\\n <msup>\\n <mi>P</mi>\\n <mn>4</mn>\\n </msup>\\n </mrow>\\n <annotation>$\\\\mathbb {R}P^4$</annotation>\\n </semantics></math>. This construction of <span></span><math>\\n <semantics>\\n <mi>Y</mi>\\n <annotation>$Y$</annotation>\\n </semantics></math> is similar to the one of the Cappell–Shaneson homotopy 4-spheres. The third observation is that twisting an embedded real projective plane inside <span></span><math>\\n <semantics>\\n <mi>Y</mi>\\n <annotation>$Y$</annotation>\\n </semantics></math> produces a manifold that is homeomorphic but not diffeomorphic to the circle sum of two copies of <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>R</mi>\\n <msup>\\n <mi>P</mi>\\n <mn>4</mn>\\n </msup>\\n </mrow>\\n <annotation>$\\\\mathbb {R}P^4$</annotation>\\n </semantics></math>. The fourth observation records new examples of pairs of homeomorphic but not diffeomorphic closed 4-manifolds with Euler characteristic one. These include the total space of the nontrivial <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>R</mi>\\n <msup>\\n <mi>P</mi>\\n <mn>2</mn>\\n </msup>\\n </mrow>\\n <annotation>$\\\\mathbb {R}P^2$</annotation>\\n </semantics></math>-bundle over <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>R</mi>\\n <msup>\\n <mi>P</mi>\\n <mn>2</mn>\\n </msup>\\n </mrow>\\n <annotation>$\\\\mathbb {R}P^2$</annotation>\\n </semantics></math>. Knotting phenomena of 2-spheres in nonorientable 4-manifolds that stands in glaring contrast with known phenomena in the orientable domain is pointed out in the fifth observation.</p>\",\"PeriodicalId\":55298,\"journal\":{\"name\":\"Bulletin of the London Mathematical Society\",\"volume\":\"57 6\",\"pages\":\"1768-1790\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2025-04-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.70060\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the London Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.70060\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.70060","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
Smooth structures on nonorientable 4-manifolds via twisting operations
Five observations compose the main results of this note. The first records the existence of a smoothly embedded 2-sphere inside such that performing a Gluck twist on produces a manifold that is homeomorphic but not diffeomorphic to the total space of the nontrivial 2-sphere bundle over the real projective plane . The second observation is that there is a 5-dimensional cobordism with a single 2-handle between the 4-manifold and a mapping torus that was used by Cappell–Shaneson to construct an exotic . This construction of is similar to the one of the Cappell–Shaneson homotopy 4-spheres. The third observation is that twisting an embedded real projective plane inside produces a manifold that is homeomorphic but not diffeomorphic to the circle sum of two copies of . The fourth observation records new examples of pairs of homeomorphic but not diffeomorphic closed 4-manifolds with Euler characteristic one. These include the total space of the nontrivial -bundle over . Knotting phenomena of 2-spheres in nonorientable 4-manifolds that stands in glaring contrast with known phenomena in the orientable domain is pointed out in the fifth observation.