Proving that the torus as a CW-complex is a 2-manifold












0












$begingroup$


Suppose we construct the torus, $T$, as a CW-complex in the following way: Given a wedge sum of two circles that is generated by the letters $a$ and $b$, we attach a $2$-cell, $e_1^2$, on the wedge sum by the word $aba^{-1}b^{-1}$. We would like to prove that every point on the torus constructed in this manner has a neighbourhood that is homeomorphic to an open set in $mathbb{R}^2$.



Start Of Proof:



Let $p in T$. We have two cases:





  1. $p notin partial e_1^2$




    • Then we can find a neighbourhood $U$ small enough so that $U subset text{Int}(e_1^2)$. Then $U$ is trivially homeomorphic to an open set of $mathbb{R}^2$ since $e_1^2$ has the subspace topology of $mathbb{R}^2$.




  2. $p in partial e_1^2$




    • $ldots$




I want to express the idea that if $p in partial e_1^2$, then an open set around $p$ (that is not all of $e_1^2$) will consist of open arcs along $partial e_1^2$ and open sets in $text{Int}(e_1^2)$ "spilling out" of $partial e_1^2$, which altogether is still an open set homeomorphic to $mathbb{R}^2$. I don't know how to make this argument rigorous, however.










share|cite|improve this question











$endgroup$












  • $begingroup$
    If the circle is generated by $a$, What's $b$?
    $endgroup$
    – Dante Grevino
    Nov 29 '18 at 1:56










  • $begingroup$
    Oh, sorry, let me fix that. Thank you.
    $endgroup$
    – Frederic Chopin
    Nov 29 '18 at 1:57










  • $begingroup$
    I think for $pinpartial e_1^2$, you'll need to break out two cases: $p$ being an generic point in the wedge, and $p$ being the singular point in the wedge. It may also help to give the gluing map a name, like $h$, so you can talk about things like half-planes being glued along their boundary by a restriction of $h$.
    $endgroup$
    – Neal
    Nov 29 '18 at 2:22






  • 1




    $begingroup$
    I don't think you will get what you are looking for using only formal properties of CW complexes. At some point you will have to explicitly write down a characteristic map for the top cell and work with what it gives you.
    $endgroup$
    – Tyrone
    Nov 29 '18 at 12:34
















0












$begingroup$


Suppose we construct the torus, $T$, as a CW-complex in the following way: Given a wedge sum of two circles that is generated by the letters $a$ and $b$, we attach a $2$-cell, $e_1^2$, on the wedge sum by the word $aba^{-1}b^{-1}$. We would like to prove that every point on the torus constructed in this manner has a neighbourhood that is homeomorphic to an open set in $mathbb{R}^2$.



Start Of Proof:



Let $p in T$. We have two cases:





  1. $p notin partial e_1^2$




    • Then we can find a neighbourhood $U$ small enough so that $U subset text{Int}(e_1^2)$. Then $U$ is trivially homeomorphic to an open set of $mathbb{R}^2$ since $e_1^2$ has the subspace topology of $mathbb{R}^2$.




  2. $p in partial e_1^2$




    • $ldots$




I want to express the idea that if $p in partial e_1^2$, then an open set around $p$ (that is not all of $e_1^2$) will consist of open arcs along $partial e_1^2$ and open sets in $text{Int}(e_1^2)$ "spilling out" of $partial e_1^2$, which altogether is still an open set homeomorphic to $mathbb{R}^2$. I don't know how to make this argument rigorous, however.










share|cite|improve this question











$endgroup$












  • $begingroup$
    If the circle is generated by $a$, What's $b$?
    $endgroup$
    – Dante Grevino
    Nov 29 '18 at 1:56










  • $begingroup$
    Oh, sorry, let me fix that. Thank you.
    $endgroup$
    – Frederic Chopin
    Nov 29 '18 at 1:57










  • $begingroup$
    I think for $pinpartial e_1^2$, you'll need to break out two cases: $p$ being an generic point in the wedge, and $p$ being the singular point in the wedge. It may also help to give the gluing map a name, like $h$, so you can talk about things like half-planes being glued along their boundary by a restriction of $h$.
    $endgroup$
    – Neal
    Nov 29 '18 at 2:22






  • 1




    $begingroup$
    I don't think you will get what you are looking for using only formal properties of CW complexes. At some point you will have to explicitly write down a characteristic map for the top cell and work with what it gives you.
    $endgroup$
    – Tyrone
    Nov 29 '18 at 12:34














0












0








0





$begingroup$


Suppose we construct the torus, $T$, as a CW-complex in the following way: Given a wedge sum of two circles that is generated by the letters $a$ and $b$, we attach a $2$-cell, $e_1^2$, on the wedge sum by the word $aba^{-1}b^{-1}$. We would like to prove that every point on the torus constructed in this manner has a neighbourhood that is homeomorphic to an open set in $mathbb{R}^2$.



Start Of Proof:



Let $p in T$. We have two cases:





  1. $p notin partial e_1^2$




    • Then we can find a neighbourhood $U$ small enough so that $U subset text{Int}(e_1^2)$. Then $U$ is trivially homeomorphic to an open set of $mathbb{R}^2$ since $e_1^2$ has the subspace topology of $mathbb{R}^2$.




  2. $p in partial e_1^2$




    • $ldots$




I want to express the idea that if $p in partial e_1^2$, then an open set around $p$ (that is not all of $e_1^2$) will consist of open arcs along $partial e_1^2$ and open sets in $text{Int}(e_1^2)$ "spilling out" of $partial e_1^2$, which altogether is still an open set homeomorphic to $mathbb{R}^2$. I don't know how to make this argument rigorous, however.










share|cite|improve this question











$endgroup$




Suppose we construct the torus, $T$, as a CW-complex in the following way: Given a wedge sum of two circles that is generated by the letters $a$ and $b$, we attach a $2$-cell, $e_1^2$, on the wedge sum by the word $aba^{-1}b^{-1}$. We would like to prove that every point on the torus constructed in this manner has a neighbourhood that is homeomorphic to an open set in $mathbb{R}^2$.



Start Of Proof:



Let $p in T$. We have two cases:





  1. $p notin partial e_1^2$




    • Then we can find a neighbourhood $U$ small enough so that $U subset text{Int}(e_1^2)$. Then $U$ is trivially homeomorphic to an open set of $mathbb{R}^2$ since $e_1^2$ has the subspace topology of $mathbb{R}^2$.




  2. $p in partial e_1^2$




    • $ldots$




I want to express the idea that if $p in partial e_1^2$, then an open set around $p$ (that is not all of $e_1^2$) will consist of open arcs along $partial e_1^2$ and open sets in $text{Int}(e_1^2)$ "spilling out" of $partial e_1^2$, which altogether is still an open set homeomorphic to $mathbb{R}^2$. I don't know how to make this argument rigorous, however.







algebraic-topology manifolds






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 29 '18 at 1:58







Frederic Chopin

















asked Nov 29 '18 at 1:51









Frederic ChopinFrederic Chopin

321111




321111












  • $begingroup$
    If the circle is generated by $a$, What's $b$?
    $endgroup$
    – Dante Grevino
    Nov 29 '18 at 1:56










  • $begingroup$
    Oh, sorry, let me fix that. Thank you.
    $endgroup$
    – Frederic Chopin
    Nov 29 '18 at 1:57










  • $begingroup$
    I think for $pinpartial e_1^2$, you'll need to break out two cases: $p$ being an generic point in the wedge, and $p$ being the singular point in the wedge. It may also help to give the gluing map a name, like $h$, so you can talk about things like half-planes being glued along their boundary by a restriction of $h$.
    $endgroup$
    – Neal
    Nov 29 '18 at 2:22






  • 1




    $begingroup$
    I don't think you will get what you are looking for using only formal properties of CW complexes. At some point you will have to explicitly write down a characteristic map for the top cell and work with what it gives you.
    $endgroup$
    – Tyrone
    Nov 29 '18 at 12:34


















  • $begingroup$
    If the circle is generated by $a$, What's $b$?
    $endgroup$
    – Dante Grevino
    Nov 29 '18 at 1:56










  • $begingroup$
    Oh, sorry, let me fix that. Thank you.
    $endgroup$
    – Frederic Chopin
    Nov 29 '18 at 1:57










  • $begingroup$
    I think for $pinpartial e_1^2$, you'll need to break out two cases: $p$ being an generic point in the wedge, and $p$ being the singular point in the wedge. It may also help to give the gluing map a name, like $h$, so you can talk about things like half-planes being glued along their boundary by a restriction of $h$.
    $endgroup$
    – Neal
    Nov 29 '18 at 2:22






  • 1




    $begingroup$
    I don't think you will get what you are looking for using only formal properties of CW complexes. At some point you will have to explicitly write down a characteristic map for the top cell and work with what it gives you.
    $endgroup$
    – Tyrone
    Nov 29 '18 at 12:34
















$begingroup$
If the circle is generated by $a$, What's $b$?
$endgroup$
– Dante Grevino
Nov 29 '18 at 1:56




$begingroup$
If the circle is generated by $a$, What's $b$?
$endgroup$
– Dante Grevino
Nov 29 '18 at 1:56












$begingroup$
Oh, sorry, let me fix that. Thank you.
$endgroup$
– Frederic Chopin
Nov 29 '18 at 1:57




$begingroup$
Oh, sorry, let me fix that. Thank you.
$endgroup$
– Frederic Chopin
Nov 29 '18 at 1:57












$begingroup$
I think for $pinpartial e_1^2$, you'll need to break out two cases: $p$ being an generic point in the wedge, and $p$ being the singular point in the wedge. It may also help to give the gluing map a name, like $h$, so you can talk about things like half-planes being glued along their boundary by a restriction of $h$.
$endgroup$
– Neal
Nov 29 '18 at 2:22




$begingroup$
I think for $pinpartial e_1^2$, you'll need to break out two cases: $p$ being an generic point in the wedge, and $p$ being the singular point in the wedge. It may also help to give the gluing map a name, like $h$, so you can talk about things like half-planes being glued along their boundary by a restriction of $h$.
$endgroup$
– Neal
Nov 29 '18 at 2:22




1




1




$begingroup$
I don't think you will get what you are looking for using only formal properties of CW complexes. At some point you will have to explicitly write down a characteristic map for the top cell and work with what it gives you.
$endgroup$
– Tyrone
Nov 29 '18 at 12:34




$begingroup$
I don't think you will get what you are looking for using only formal properties of CW complexes. At some point you will have to explicitly write down a characteristic map for the top cell and work with what it gives you.
$endgroup$
– Tyrone
Nov 29 '18 at 12:34










1 Answer
1






active

oldest

votes


















1












$begingroup$

Unfortunately being a manifold is very special property of a topological space, and certainly not even every CW complex satisfies the criteria to be one. You will not get what you are looking for using only formal properties of CW structures - and certainly what you describe is a generic set of CW attaching data. Clearly we need to be able to identify some extra structure available in the torus, which we can exploit to show that it is locally Euclidean. This will most likely arrive in the form of an explicit description of the characteristic map, constructed only using the data of the attaching map that you describe. I've tried to this below, and shall leave you to judge whether it is useful to you or not.



Consider the product $S^1times S^1$. This is obviously the torus we are interested in, but for our purposes let us momentarily relive ourselves of that knowledge. We'll call this space $S^1times S^1$, and we'll call the more abstract complex constructued with your attaching data $X$.



Let $I=[0,1]$ be the unit interval and define



$$Phi:I^2=Itimes Irightarrow S^1times S^1,qquad Phi(s,t)=(e^{2pi is},e^{2pi it}).$$



Note that $partial I^2cong Itimes{0,1}cup{0,1}times I$ and



$$Phi(partial I^2)=S^1vee S^1subset S^1times S^1$$



where we view the wedge $S^1vee S^1$ as the subset of the product consisting of those points with at least one coordinate equal to the basepoint $ast=(1,0)$. Thus there is a commutative diagram
$require{AMScd}$
begin{CD}
partial I^2@>>> I^2\
@VPhi| V V @VV Phi Vqquad(ast)\
S^1vee S^1 @>>> S^1times S^1.
end{CD}

where the horizontal maps are the obvious inclusions. Now it is not difficult to see that $Phi$ maps $I^2setminuspartial I^2$ injectively onto $S^1times S^1setminus S^1vee S^1$, so what we have constructued above is a relative homeomorphism $Phi:(I^2,partial I^2)xrightarrow{cong}(S^1times S^1,S^1vee S^1)$. On the other hand there is a relative homeomorphism $alpha:(D^2,S^1)xrightarrow{cong} (I^2,partial I^2)$ where



$$alpha|_{S^1}(e^{i2pi t})=begin{cases}(4t,0)&0leq tleq frac{1}{4}\(1,4t-1)&frac{1}{4}leq tleqfrac{1}{2}\(3-4t,1)&frac{1}{2}leq tleq frac{3}{4}\(0,4-4t)&frac{3}{4}leq tleq 1end{cases}$$



and it is clear that the composition $Phi|_{partial I^2}circalpha|_{S^1}:S^1rightarrow S^1vee S^1$ exactly describes the attaching map you have written down above.



Thus the relative homeomorphism given by the diagram labelled $(ast)$ is a cell structure for the torus $T^2$ that you have described and we conclude that there is a homeomorphism



$$Xcong S^1times S^1.$$



Thus the torus $X$ has the structure of a smooth manifold and in particular is locally Euclidean.



Now since this last step is a bit of a shortcut, let us forget that $S^1times S^1$ is smooth. Let us explicitly describe an open neighbourhood of a point $(x,y)in S^1vee S^1subseteq S^1times S^1$ in the boundary of top cell. It's easiest to consider two cases, so lets start with the case that $(s,t)$ is not the basepoint, and so is of the form $(x,(1,0))$ or $((1,0),y)$. Both subcases work out to be more or less the same so let's be concrete and assume this point is $(e^{2pi it},(1,0))$ for some $tin(0,1)$. Then if $0<epsilon<t$, consider the open ball $B_epsilon(t,0)subseteqmathbb{R}^2$. Extend the domain of $Phi$ to all of $mathbb{R}^2$ in the obvious way and consider the set $U=Phi^{-1}(Phi(B_epsilon(t,0))subseteq mathbb{R}^2$. It is not difficult to see that $U$ is a union of disjoint open balls that each map homeomorphically onto an open neighbourhood of $(e^{2pi it},(1,0))in S^1times S^1$. This is the neighbourhood you are looking for. The cases for other possible points in $S^1vee S^1$ follos similarly, and I'll leave these up to you.






share|cite|improve this answer











$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    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
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3018039%2fproving-that-the-torus-as-a-cw-complex-is-a-2-manifold%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









    1












    $begingroup$

    Unfortunately being a manifold is very special property of a topological space, and certainly not even every CW complex satisfies the criteria to be one. You will not get what you are looking for using only formal properties of CW structures - and certainly what you describe is a generic set of CW attaching data. Clearly we need to be able to identify some extra structure available in the torus, which we can exploit to show that it is locally Euclidean. This will most likely arrive in the form of an explicit description of the characteristic map, constructed only using the data of the attaching map that you describe. I've tried to this below, and shall leave you to judge whether it is useful to you or not.



    Consider the product $S^1times S^1$. This is obviously the torus we are interested in, but for our purposes let us momentarily relive ourselves of that knowledge. We'll call this space $S^1times S^1$, and we'll call the more abstract complex constructued with your attaching data $X$.



    Let $I=[0,1]$ be the unit interval and define



    $$Phi:I^2=Itimes Irightarrow S^1times S^1,qquad Phi(s,t)=(e^{2pi is},e^{2pi it}).$$



    Note that $partial I^2cong Itimes{0,1}cup{0,1}times I$ and



    $$Phi(partial I^2)=S^1vee S^1subset S^1times S^1$$



    where we view the wedge $S^1vee S^1$ as the subset of the product consisting of those points with at least one coordinate equal to the basepoint $ast=(1,0)$. Thus there is a commutative diagram
    $require{AMScd}$
    begin{CD}
    partial I^2@>>> I^2\
    @VPhi| V V @VV Phi Vqquad(ast)\
    S^1vee S^1 @>>> S^1times S^1.
    end{CD}

    where the horizontal maps are the obvious inclusions. Now it is not difficult to see that $Phi$ maps $I^2setminuspartial I^2$ injectively onto $S^1times S^1setminus S^1vee S^1$, so what we have constructued above is a relative homeomorphism $Phi:(I^2,partial I^2)xrightarrow{cong}(S^1times S^1,S^1vee S^1)$. On the other hand there is a relative homeomorphism $alpha:(D^2,S^1)xrightarrow{cong} (I^2,partial I^2)$ where



    $$alpha|_{S^1}(e^{i2pi t})=begin{cases}(4t,0)&0leq tleq frac{1}{4}\(1,4t-1)&frac{1}{4}leq tleqfrac{1}{2}\(3-4t,1)&frac{1}{2}leq tleq frac{3}{4}\(0,4-4t)&frac{3}{4}leq tleq 1end{cases}$$



    and it is clear that the composition $Phi|_{partial I^2}circalpha|_{S^1}:S^1rightarrow S^1vee S^1$ exactly describes the attaching map you have written down above.



    Thus the relative homeomorphism given by the diagram labelled $(ast)$ is a cell structure for the torus $T^2$ that you have described and we conclude that there is a homeomorphism



    $$Xcong S^1times S^1.$$



    Thus the torus $X$ has the structure of a smooth manifold and in particular is locally Euclidean.



    Now since this last step is a bit of a shortcut, let us forget that $S^1times S^1$ is smooth. Let us explicitly describe an open neighbourhood of a point $(x,y)in S^1vee S^1subseteq S^1times S^1$ in the boundary of top cell. It's easiest to consider two cases, so lets start with the case that $(s,t)$ is not the basepoint, and so is of the form $(x,(1,0))$ or $((1,0),y)$. Both subcases work out to be more or less the same so let's be concrete and assume this point is $(e^{2pi it},(1,0))$ for some $tin(0,1)$. Then if $0<epsilon<t$, consider the open ball $B_epsilon(t,0)subseteqmathbb{R}^2$. Extend the domain of $Phi$ to all of $mathbb{R}^2$ in the obvious way and consider the set $U=Phi^{-1}(Phi(B_epsilon(t,0))subseteq mathbb{R}^2$. It is not difficult to see that $U$ is a union of disjoint open balls that each map homeomorphically onto an open neighbourhood of $(e^{2pi it},(1,0))in S^1times S^1$. This is the neighbourhood you are looking for. The cases for other possible points in $S^1vee S^1$ follos similarly, and I'll leave these up to you.






    share|cite|improve this answer











    $endgroup$


















      1












      $begingroup$

      Unfortunately being a manifold is very special property of a topological space, and certainly not even every CW complex satisfies the criteria to be one. You will not get what you are looking for using only formal properties of CW structures - and certainly what you describe is a generic set of CW attaching data. Clearly we need to be able to identify some extra structure available in the torus, which we can exploit to show that it is locally Euclidean. This will most likely arrive in the form of an explicit description of the characteristic map, constructed only using the data of the attaching map that you describe. I've tried to this below, and shall leave you to judge whether it is useful to you or not.



      Consider the product $S^1times S^1$. This is obviously the torus we are interested in, but for our purposes let us momentarily relive ourselves of that knowledge. We'll call this space $S^1times S^1$, and we'll call the more abstract complex constructued with your attaching data $X$.



      Let $I=[0,1]$ be the unit interval and define



      $$Phi:I^2=Itimes Irightarrow S^1times S^1,qquad Phi(s,t)=(e^{2pi is},e^{2pi it}).$$



      Note that $partial I^2cong Itimes{0,1}cup{0,1}times I$ and



      $$Phi(partial I^2)=S^1vee S^1subset S^1times S^1$$



      where we view the wedge $S^1vee S^1$ as the subset of the product consisting of those points with at least one coordinate equal to the basepoint $ast=(1,0)$. Thus there is a commutative diagram
      $require{AMScd}$
      begin{CD}
      partial I^2@>>> I^2\
      @VPhi| V V @VV Phi Vqquad(ast)\
      S^1vee S^1 @>>> S^1times S^1.
      end{CD}

      where the horizontal maps are the obvious inclusions. Now it is not difficult to see that $Phi$ maps $I^2setminuspartial I^2$ injectively onto $S^1times S^1setminus S^1vee S^1$, so what we have constructued above is a relative homeomorphism $Phi:(I^2,partial I^2)xrightarrow{cong}(S^1times S^1,S^1vee S^1)$. On the other hand there is a relative homeomorphism $alpha:(D^2,S^1)xrightarrow{cong} (I^2,partial I^2)$ where



      $$alpha|_{S^1}(e^{i2pi t})=begin{cases}(4t,0)&0leq tleq frac{1}{4}\(1,4t-1)&frac{1}{4}leq tleqfrac{1}{2}\(3-4t,1)&frac{1}{2}leq tleq frac{3}{4}\(0,4-4t)&frac{3}{4}leq tleq 1end{cases}$$



      and it is clear that the composition $Phi|_{partial I^2}circalpha|_{S^1}:S^1rightarrow S^1vee S^1$ exactly describes the attaching map you have written down above.



      Thus the relative homeomorphism given by the diagram labelled $(ast)$ is a cell structure for the torus $T^2$ that you have described and we conclude that there is a homeomorphism



      $$Xcong S^1times S^1.$$



      Thus the torus $X$ has the structure of a smooth manifold and in particular is locally Euclidean.



      Now since this last step is a bit of a shortcut, let us forget that $S^1times S^1$ is smooth. Let us explicitly describe an open neighbourhood of a point $(x,y)in S^1vee S^1subseteq S^1times S^1$ in the boundary of top cell. It's easiest to consider two cases, so lets start with the case that $(s,t)$ is not the basepoint, and so is of the form $(x,(1,0))$ or $((1,0),y)$. Both subcases work out to be more or less the same so let's be concrete and assume this point is $(e^{2pi it},(1,0))$ for some $tin(0,1)$. Then if $0<epsilon<t$, consider the open ball $B_epsilon(t,0)subseteqmathbb{R}^2$. Extend the domain of $Phi$ to all of $mathbb{R}^2$ in the obvious way and consider the set $U=Phi^{-1}(Phi(B_epsilon(t,0))subseteq mathbb{R}^2$. It is not difficult to see that $U$ is a union of disjoint open balls that each map homeomorphically onto an open neighbourhood of $(e^{2pi it},(1,0))in S^1times S^1$. This is the neighbourhood you are looking for. The cases for other possible points in $S^1vee S^1$ follos similarly, and I'll leave these up to you.






      share|cite|improve this answer











      $endgroup$
















        1












        1








        1





        $begingroup$

        Unfortunately being a manifold is very special property of a topological space, and certainly not even every CW complex satisfies the criteria to be one. You will not get what you are looking for using only formal properties of CW structures - and certainly what you describe is a generic set of CW attaching data. Clearly we need to be able to identify some extra structure available in the torus, which we can exploit to show that it is locally Euclidean. This will most likely arrive in the form of an explicit description of the characteristic map, constructed only using the data of the attaching map that you describe. I've tried to this below, and shall leave you to judge whether it is useful to you or not.



        Consider the product $S^1times S^1$. This is obviously the torus we are interested in, but for our purposes let us momentarily relive ourselves of that knowledge. We'll call this space $S^1times S^1$, and we'll call the more abstract complex constructued with your attaching data $X$.



        Let $I=[0,1]$ be the unit interval and define



        $$Phi:I^2=Itimes Irightarrow S^1times S^1,qquad Phi(s,t)=(e^{2pi is},e^{2pi it}).$$



        Note that $partial I^2cong Itimes{0,1}cup{0,1}times I$ and



        $$Phi(partial I^2)=S^1vee S^1subset S^1times S^1$$



        where we view the wedge $S^1vee S^1$ as the subset of the product consisting of those points with at least one coordinate equal to the basepoint $ast=(1,0)$. Thus there is a commutative diagram
        $require{AMScd}$
        begin{CD}
        partial I^2@>>> I^2\
        @VPhi| V V @VV Phi Vqquad(ast)\
        S^1vee S^1 @>>> S^1times S^1.
        end{CD}

        where the horizontal maps are the obvious inclusions. Now it is not difficult to see that $Phi$ maps $I^2setminuspartial I^2$ injectively onto $S^1times S^1setminus S^1vee S^1$, so what we have constructued above is a relative homeomorphism $Phi:(I^2,partial I^2)xrightarrow{cong}(S^1times S^1,S^1vee S^1)$. On the other hand there is a relative homeomorphism $alpha:(D^2,S^1)xrightarrow{cong} (I^2,partial I^2)$ where



        $$alpha|_{S^1}(e^{i2pi t})=begin{cases}(4t,0)&0leq tleq frac{1}{4}\(1,4t-1)&frac{1}{4}leq tleqfrac{1}{2}\(3-4t,1)&frac{1}{2}leq tleq frac{3}{4}\(0,4-4t)&frac{3}{4}leq tleq 1end{cases}$$



        and it is clear that the composition $Phi|_{partial I^2}circalpha|_{S^1}:S^1rightarrow S^1vee S^1$ exactly describes the attaching map you have written down above.



        Thus the relative homeomorphism given by the diagram labelled $(ast)$ is a cell structure for the torus $T^2$ that you have described and we conclude that there is a homeomorphism



        $$Xcong S^1times S^1.$$



        Thus the torus $X$ has the structure of a smooth manifold and in particular is locally Euclidean.



        Now since this last step is a bit of a shortcut, let us forget that $S^1times S^1$ is smooth. Let us explicitly describe an open neighbourhood of a point $(x,y)in S^1vee S^1subseteq S^1times S^1$ in the boundary of top cell. It's easiest to consider two cases, so lets start with the case that $(s,t)$ is not the basepoint, and so is of the form $(x,(1,0))$ or $((1,0),y)$. Both subcases work out to be more or less the same so let's be concrete and assume this point is $(e^{2pi it},(1,0))$ for some $tin(0,1)$. Then if $0<epsilon<t$, consider the open ball $B_epsilon(t,0)subseteqmathbb{R}^2$. Extend the domain of $Phi$ to all of $mathbb{R}^2$ in the obvious way and consider the set $U=Phi^{-1}(Phi(B_epsilon(t,0))subseteq mathbb{R}^2$. It is not difficult to see that $U$ is a union of disjoint open balls that each map homeomorphically onto an open neighbourhood of $(e^{2pi it},(1,0))in S^1times S^1$. This is the neighbourhood you are looking for. The cases for other possible points in $S^1vee S^1$ follos similarly, and I'll leave these up to you.






        share|cite|improve this answer











        $endgroup$



        Unfortunately being a manifold is very special property of a topological space, and certainly not even every CW complex satisfies the criteria to be one. You will not get what you are looking for using only formal properties of CW structures - and certainly what you describe is a generic set of CW attaching data. Clearly we need to be able to identify some extra structure available in the torus, which we can exploit to show that it is locally Euclidean. This will most likely arrive in the form of an explicit description of the characteristic map, constructed only using the data of the attaching map that you describe. I've tried to this below, and shall leave you to judge whether it is useful to you or not.



        Consider the product $S^1times S^1$. This is obviously the torus we are interested in, but for our purposes let us momentarily relive ourselves of that knowledge. We'll call this space $S^1times S^1$, and we'll call the more abstract complex constructued with your attaching data $X$.



        Let $I=[0,1]$ be the unit interval and define



        $$Phi:I^2=Itimes Irightarrow S^1times S^1,qquad Phi(s,t)=(e^{2pi is},e^{2pi it}).$$



        Note that $partial I^2cong Itimes{0,1}cup{0,1}times I$ and



        $$Phi(partial I^2)=S^1vee S^1subset S^1times S^1$$



        where we view the wedge $S^1vee S^1$ as the subset of the product consisting of those points with at least one coordinate equal to the basepoint $ast=(1,0)$. Thus there is a commutative diagram
        $require{AMScd}$
        begin{CD}
        partial I^2@>>> I^2\
        @VPhi| V V @VV Phi Vqquad(ast)\
        S^1vee S^1 @>>> S^1times S^1.
        end{CD}

        where the horizontal maps are the obvious inclusions. Now it is not difficult to see that $Phi$ maps $I^2setminuspartial I^2$ injectively onto $S^1times S^1setminus S^1vee S^1$, so what we have constructued above is a relative homeomorphism $Phi:(I^2,partial I^2)xrightarrow{cong}(S^1times S^1,S^1vee S^1)$. On the other hand there is a relative homeomorphism $alpha:(D^2,S^1)xrightarrow{cong} (I^2,partial I^2)$ where



        $$alpha|_{S^1}(e^{i2pi t})=begin{cases}(4t,0)&0leq tleq frac{1}{4}\(1,4t-1)&frac{1}{4}leq tleqfrac{1}{2}\(3-4t,1)&frac{1}{2}leq tleq frac{3}{4}\(0,4-4t)&frac{3}{4}leq tleq 1end{cases}$$



        and it is clear that the composition $Phi|_{partial I^2}circalpha|_{S^1}:S^1rightarrow S^1vee S^1$ exactly describes the attaching map you have written down above.



        Thus the relative homeomorphism given by the diagram labelled $(ast)$ is a cell structure for the torus $T^2$ that you have described and we conclude that there is a homeomorphism



        $$Xcong S^1times S^1.$$



        Thus the torus $X$ has the structure of a smooth manifold and in particular is locally Euclidean.



        Now since this last step is a bit of a shortcut, let us forget that $S^1times S^1$ is smooth. Let us explicitly describe an open neighbourhood of a point $(x,y)in S^1vee S^1subseteq S^1times S^1$ in the boundary of top cell. It's easiest to consider two cases, so lets start with the case that $(s,t)$ is not the basepoint, and so is of the form $(x,(1,0))$ or $((1,0),y)$. Both subcases work out to be more or less the same so let's be concrete and assume this point is $(e^{2pi it},(1,0))$ for some $tin(0,1)$. Then if $0<epsilon<t$, consider the open ball $B_epsilon(t,0)subseteqmathbb{R}^2$. Extend the domain of $Phi$ to all of $mathbb{R}^2$ in the obvious way and consider the set $U=Phi^{-1}(Phi(B_epsilon(t,0))subseteq mathbb{R}^2$. It is not difficult to see that $U$ is a union of disjoint open balls that each map homeomorphically onto an open neighbourhood of $(e^{2pi it},(1,0))in S^1times S^1$. This is the neighbourhood you are looking for. The cases for other possible points in $S^1vee S^1$ follos similarly, and I'll leave these up to you.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Nov 29 '18 at 14:26

























        answered Nov 29 '18 at 12:51









        TyroneTyrone

        4,50511225




        4,50511225






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • 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%2fmath.stackexchange.com%2fquestions%2f3018039%2fproving-that-the-torus-as-a-cw-complex-is-a-2-manifold%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

            Plaza Victoria

            Puebla de Zaragoza

            Musa