Proving that the torus as a CW-complex is a 2-manifold
$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:
$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$.
$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
$endgroup$
add a comment |
$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:
$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$.
$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
$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
add a comment |
$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:
$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$.
$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
$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:
$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$.
$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
algebraic-topology manifolds
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
add a comment |
$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
add a comment |
1 Answer
1
active
oldest
votes
$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.
$endgroup$
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.
$endgroup$
add a comment |
$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.
$endgroup$
add a comment |
$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.
$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.
edited Nov 29 '18 at 14:26
answered Nov 29 '18 at 12:51
TyroneTyrone
4,50511225
4,50511225
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$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