Is a manifold-with-boundary with given interior and non-empty boundary essentially unique? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Contractible manifold with boundary - is it a disc?Manifolds with two coordinate chartsDoes a *topological* manifold have an exhaustion by compact submanifolds with boundary?If 2-manifolds are homeomorphic and smooth, are they diffeomorphic?Exotic line arrangementsVolume form on a hyperbolic manifold with geodesic boundaryOn compact, orientable 3-manifolds with non-empty boundaryExtension of a group action beyond the boundaryFinding a specific Global Smooth FunctionRemove a disc from a manifold. When is the resulting sphere nullhomotopic?

Is a manifold-with-boundary with given interior and non-empty boundary essentially unique?



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Contractible manifold with boundary - is it a disc?Manifolds with two coordinate chartsDoes a *topological* manifold have an exhaustion by compact submanifolds with boundary?If 2-manifolds are homeomorphic and smooth, are they diffeomorphic?Exotic line arrangementsVolume form on a hyperbolic manifold with geodesic boundaryOn compact, orientable 3-manifolds with non-empty boundaryExtension of a group action beyond the boundaryFinding a specific Global Smooth FunctionRemove a disc from a manifold. When is the resulting sphere nullhomotopic?










2












$begingroup$


Let $M$ be a compact connected manifold-with-boundary such that $circ M neq emptyset$, where $circ M$ is the boundary of $M$. Let $N$ be a compact connected manifold-with-boundary such that $circ N neq emptyset$ and $bullet M approx bullet N$, where $bullet M$ denotes the interior of $M$ and $approx$ denotes homeomorphic. Does it necessarily hold that $N approx M$?



(I have asked this question before here, but there were no replies.)










share|cite|improve this question









New contributor




kaba is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.







$endgroup$
















    2












    $begingroup$


    Let $M$ be a compact connected manifold-with-boundary such that $circ M neq emptyset$, where $circ M$ is the boundary of $M$. Let $N$ be a compact connected manifold-with-boundary such that $circ N neq emptyset$ and $bullet M approx bullet N$, where $bullet M$ denotes the interior of $M$ and $approx$ denotes homeomorphic. Does it necessarily hold that $N approx M$?



    (I have asked this question before here, but there were no replies.)










    share|cite|improve this question









    New contributor




    kaba is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
    Check out our Code of Conduct.







    $endgroup$














      2












      2








      2





      $begingroup$


      Let $M$ be a compact connected manifold-with-boundary such that $circ M neq emptyset$, where $circ M$ is the boundary of $M$. Let $N$ be a compact connected manifold-with-boundary such that $circ N neq emptyset$ and $bullet M approx bullet N$, where $bullet M$ denotes the interior of $M$ and $approx$ denotes homeomorphic. Does it necessarily hold that $N approx M$?



      (I have asked this question before here, but there were no replies.)










      share|cite|improve this question









      New contributor




      kaba is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.







      $endgroup$




      Let $M$ be a compact connected manifold-with-boundary such that $circ M neq emptyset$, where $circ M$ is the boundary of $M$. Let $N$ be a compact connected manifold-with-boundary such that $circ N neq emptyset$ and $bullet M approx bullet N$, where $bullet M$ denotes the interior of $M$ and $approx$ denotes homeomorphic. Does it necessarily hold that $N approx M$?



      (I have asked this question before here, but there were no replies.)







      differential-topology manifolds






      share|cite|improve this question









      New contributor




      kaba is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.











      share|cite|improve this question









      New contributor




      kaba is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      share|cite|improve this question




      share|cite|improve this question








      edited 1 hour ago









      YCor

      29.1k486140




      29.1k486140






      New contributor




      kaba is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.









      asked 3 hours ago









      kabakaba

      1111




      1111




      New contributor




      kaba is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.





      New contributor





      kaba is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.






      kaba is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
      Check out our Code of Conduct.




















          1 Answer
          1






          active

          oldest

          votes


















          8












          $begingroup$

          No, there are examples detected by Whitehead torsion. If $P$ is a compact connected $(n-1)$-manifold with empty boundary, then (assuming $nge 6$) for every element $tau$ of the Whitehead group of $pi_1(P)$ there is an $h$-cobordism $M$ on $P$ such that $tau$ is the Whitehead torsion of the pair $(M,P)$. The interior of $M$ will be isomorphic to $Ptimesmathbb R$, but if $tau$ is nontrivial then $M$ will not be isomorphic to $Ptimes I$.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Thank you. I do not yet understand the answer; I will have to read about Whitehead torsion tomorrow. Would the same answer apply if $M$ and $N$ were orientable?
            $endgroup$
            – kaba
            10 mins ago











          Your Answer








          StackExchange.ready(function()
          var channelOptions =
          tags: "".split(" "),
          id: "504"
          ;
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function()
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled)
          StackExchange.using("snippets", function()
          createEditor();
          );

          else
          createEditor();

          );

          function createEditor()
          StackExchange.prepareEditor(
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader:
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          ,
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );






          kaba is a new contributor. Be nice, and check out our Code of Conduct.









          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f328149%2fis-a-manifold-with-boundary-with-given-interior-and-non-empty-boundary-essential%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          8












          $begingroup$

          No, there are examples detected by Whitehead torsion. If $P$ is a compact connected $(n-1)$-manifold with empty boundary, then (assuming $nge 6$) for every element $tau$ of the Whitehead group of $pi_1(P)$ there is an $h$-cobordism $M$ on $P$ such that $tau$ is the Whitehead torsion of the pair $(M,P)$. The interior of $M$ will be isomorphic to $Ptimesmathbb R$, but if $tau$ is nontrivial then $M$ will not be isomorphic to $Ptimes I$.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Thank you. I do not yet understand the answer; I will have to read about Whitehead torsion tomorrow. Would the same answer apply if $M$ and $N$ were orientable?
            $endgroup$
            – kaba
            10 mins ago















          8












          $begingroup$

          No, there are examples detected by Whitehead torsion. If $P$ is a compact connected $(n-1)$-manifold with empty boundary, then (assuming $nge 6$) for every element $tau$ of the Whitehead group of $pi_1(P)$ there is an $h$-cobordism $M$ on $P$ such that $tau$ is the Whitehead torsion of the pair $(M,P)$. The interior of $M$ will be isomorphic to $Ptimesmathbb R$, but if $tau$ is nontrivial then $M$ will not be isomorphic to $Ptimes I$.






          share|cite|improve this answer











          $endgroup$












          • $begingroup$
            Thank you. I do not yet understand the answer; I will have to read about Whitehead torsion tomorrow. Would the same answer apply if $M$ and $N$ were orientable?
            $endgroup$
            – kaba
            10 mins ago













          8












          8








          8





          $begingroup$

          No, there are examples detected by Whitehead torsion. If $P$ is a compact connected $(n-1)$-manifold with empty boundary, then (assuming $nge 6$) for every element $tau$ of the Whitehead group of $pi_1(P)$ there is an $h$-cobordism $M$ on $P$ such that $tau$ is the Whitehead torsion of the pair $(M,P)$. The interior of $M$ will be isomorphic to $Ptimesmathbb R$, but if $tau$ is nontrivial then $M$ will not be isomorphic to $Ptimes I$.






          share|cite|improve this answer











          $endgroup$



          No, there are examples detected by Whitehead torsion. If $P$ is a compact connected $(n-1)$-manifold with empty boundary, then (assuming $nge 6$) for every element $tau$ of the Whitehead group of $pi_1(P)$ there is an $h$-cobordism $M$ on $P$ such that $tau$ is the Whitehead torsion of the pair $(M,P)$. The interior of $M$ will be isomorphic to $Ptimesmathbb R$, but if $tau$ is nontrivial then $M$ will not be isomorphic to $Ptimes I$.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited 1 hour ago

























          answered 2 hours ago









          Tom GoodwillieTom Goodwillie

          40.4k3110200




          40.4k3110200











          • $begingroup$
            Thank you. I do not yet understand the answer; I will have to read about Whitehead torsion tomorrow. Would the same answer apply if $M$ and $N$ were orientable?
            $endgroup$
            – kaba
            10 mins ago
















          • $begingroup$
            Thank you. I do not yet understand the answer; I will have to read about Whitehead torsion tomorrow. Would the same answer apply if $M$ and $N$ were orientable?
            $endgroup$
            – kaba
            10 mins ago















          $begingroup$
          Thank you. I do not yet understand the answer; I will have to read about Whitehead torsion tomorrow. Would the same answer apply if $M$ and $N$ were orientable?
          $endgroup$
          – kaba
          10 mins ago




          $begingroup$
          Thank you. I do not yet understand the answer; I will have to read about Whitehead torsion tomorrow. Would the same answer apply if $M$ and $N$ were orientable?
          $endgroup$
          – kaba
          10 mins ago










          kaba is a new contributor. Be nice, and check out our Code of Conduct.









          draft saved

          draft discarded


















          kaba is a new contributor. Be nice, and check out our Code of Conduct.












          kaba is a new contributor. Be nice, and check out our Code of Conduct.











          kaba is a new contributor. Be nice, and check out our Code of Conduct.














          Thanks for contributing an answer to MathOverflow!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid


          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.

          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f328149%2fis-a-manifold-with-boundary-with-given-interior-and-non-empty-boundary-essential%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

          Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

          François Viète Contents Biography Work and thought Bibliography See also Notes Further reading External links Navigation menup. 21Google Bookspp. 75–77Google BooksDe thou (from University of Saint Andrews)ArchivedGoogle BooksGoogle BooksGoogle BooksGoogle booksGoogle Bookscc-parthenay.frL'histoire universelle (fr)Universal History (en)ArchivedAdsabs.harvard.eduPagesperso-orange.frArchive.orgChikara Sasaki. Descartes' mathematical thought p.259Google BooksGoogle BooksGoogle Bookspp. 152 and onwardGoogle BooksGoogle BooksScribd.comGoogle Books1257-7979Google BooksGoogle BooksGoogle BooksGoogle BooksGoogle BooksGoogle BooksGallica.bnf.frGoogle BooksGoogle Books"François Viète"Francois Viète: Father of Modern Algebraic NotationThe Lawyer and the GamblerAbout TarporleySite de Jean-Paul GuichardL'algèbre nouvelle"About the Harmonicon"cb120511976(data)1188044800000 0001 0913 5903n82164680ola2013766880073431702w6vt1sb70287374827140948071409480