{"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}
引用次数: 0
Abstract
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.