homology of a subspaces of product of circles.fundamental groups of complement of lines in $mathbbC^2$Wedge Sum of Two Spheres Homotopy Equivalent to a Compact Manifold?Homology of 5-manifoldShow $H_2(M, mathbbZ) = mathbbZ^r$ if $M$ is orientable, $mathbbZ^r-1 oplus mathbbZ_2$ if nonorientableIntuition of non-free homology groups?Compute homology groups of space $Bbb RP^2$ attached with Mobius band using Mayer VietoriesHomology and Neighborhood$3$-manifold has same homology groups as a $3$-sphere.Homology groups with coefficientsComputing the homology of genus $g$ surface, using Mayer-Vietoris
PTIJ: Who should I vote for? (21st Knesset Edition)
In a future war, an old lady is trying to raise a boy but one of the weapons has made everyone deaf
Unexpected result from ArcLength
How do anti-virus programs start at Windows boot?
Does Wild Magic Surge trigger off of spells on the Sorcerer spell list, if I learned them from another class?
Who is flying the vertibirds?
Awsome yet unlucky path traversal
Why one should not leave fingerprints on bulbs and plugs?
Why doesn't using two cd commands in bash script execute the second command?
How to simplify this time periods definition interface?
Do the common programs (for example: "ls", "cat") in Linux and BSD come from the same source code?
Sailing the cryptic seas
What approach do we need to follow for projects without a test environment?
Why is the President allowed to veto a cancellation of emergency powers?
What exactly is this small puffer fish doing and how did it manage to accomplish such a feat?
Most cost effective thermostat setting: consistent temperature vs. lowest temperature possible
What is a^b and (a&b)<<1?
Why do Australian milk farmers need to protest supermarkets' milk price?
Is it normal that my co-workers at a fitness company criticize my food choices?
Look at your watch and tell me what time is it. vs Look at your watch and tell me what time it is
Should we release the security issues we found in our product as CVE or we can just update those on weekly release notes?
Time travel from stationary position?
Do I need to be arrogant to get ahead?
Have researchers managed to "reverse time"? If so, what does that mean for physics?
homology of a subspaces of product of circles.
fundamental groups of complement of lines in $mathbbC^2$Wedge Sum of Two Spheres Homotopy Equivalent to a Compact Manifold?Homology of 5-manifoldShow $H_2(M, mathbbZ) = mathbbZ^r$ if $M$ is orientable, $mathbbZ^r-1 oplus mathbbZ_2$ if nonorientableIntuition of non-free homology groups?Compute homology groups of space $Bbb RP^2$ attached with Mobius band using Mayer VietoriesHomology and Neighborhood$3$-manifold has same homology groups as a $3$-sphere.Homology groups with coefficientsComputing the homology of genus $g$ surface, using Mayer-Vietoris
$begingroup$
I do not how to approach the computation of the homology of the following space
$X = (z_1, z_2, z_3) in (S^1)^2 times D_2 : z_1 + z_2 + z_3 = 0 $
$S^1$ denotes the unit circle and $D_2$ the unit ball in $mathbbR^2$
From the regular value theorem, $X$ is a compact orientable connected manifold of dimension $2$, so $H_0(X) = H_2(X) = mathbbZ$.
But what can I say about $H_1$ (or the number of $1$-dimensional holes)?
algebraic-topology manifolds homology-cohomology
New contributor
$endgroup$
add a comment |
$begingroup$
I do not how to approach the computation of the homology of the following space
$X = (z_1, z_2, z_3) in (S^1)^2 times D_2 : z_1 + z_2 + z_3 = 0 $
$S^1$ denotes the unit circle and $D_2$ the unit ball in $mathbbR^2$
From the regular value theorem, $X$ is a compact orientable connected manifold of dimension $2$, so $H_0(X) = H_2(X) = mathbbZ$.
But what can I say about $H_1$ (or the number of $1$-dimensional holes)?
algebraic-topology manifolds homology-cohomology
New contributor
$endgroup$
$begingroup$
I just wanted to double check, you're sure the disc has unit radius? If it had radius 2, then $X$ would be a torus.
$endgroup$
– Michael Albanese
Mar 11 at 21:15
add a comment |
$begingroup$
I do not how to approach the computation of the homology of the following space
$X = (z_1, z_2, z_3) in (S^1)^2 times D_2 : z_1 + z_2 + z_3 = 0 $
$S^1$ denotes the unit circle and $D_2$ the unit ball in $mathbbR^2$
From the regular value theorem, $X$ is a compact orientable connected manifold of dimension $2$, so $H_0(X) = H_2(X) = mathbbZ$.
But what can I say about $H_1$ (or the number of $1$-dimensional holes)?
algebraic-topology manifolds homology-cohomology
New contributor
$endgroup$
I do not how to approach the computation of the homology of the following space
$X = (z_1, z_2, z_3) in (S^1)^2 times D_2 : z_1 + z_2 + z_3 = 0 $
$S^1$ denotes the unit circle and $D_2$ the unit ball in $mathbbR^2$
From the regular value theorem, $X$ is a compact orientable connected manifold of dimension $2$, so $H_0(X) = H_2(X) = mathbbZ$.
But what can I say about $H_1$ (or the number of $1$-dimensional holes)?
algebraic-topology manifolds homology-cohomology
algebraic-topology manifolds homology-cohomology
New contributor
New contributor
New contributor
asked Mar 11 at 20:52
SamSam
161
161
New contributor
New contributor
$begingroup$
I just wanted to double check, you're sure the disc has unit radius? If it had radius 2, then $X$ would be a torus.
$endgroup$
– Michael Albanese
Mar 11 at 21:15
add a comment |
$begingroup$
I just wanted to double check, you're sure the disc has unit radius? If it had radius 2, then $X$ would be a torus.
$endgroup$
– Michael Albanese
Mar 11 at 21:15
$begingroup$
I just wanted to double check, you're sure the disc has unit radius? If it had radius 2, then $X$ would be a torus.
$endgroup$
– Michael Albanese
Mar 11 at 21:15
$begingroup$
I just wanted to double check, you're sure the disc has unit radius? If it had radius 2, then $X$ would be a torus.
$endgroup$
– Michael Albanese
Mar 11 at 21:15
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Correct me if I am wrong (my smooth manifold knowledge is not great), but won't the preimage have boundary, so you cannot use Poincare duality?
I mention this because I believe the manifold is a cylinder, so my calculation of the homology will disagree with you. I believe the following is a deformation retraction to a circle (so its 2 dimensional homology would be 0).
You can view X as a subspace of $T^2$ by forgetting the third coordinate since it is fully determined by the first two. Let's call it $X' subset T^2$ and it is given by pairs $(x,y) in T^2$ such that the magnitude of their sum is at most 1. Let $F: X' times I rightarrow X'$ be given by $(x,y,t) rightarrow (frac(1-t)x - ty(1-t)x-ty,y)$. The denominator is never zero because $y neq x$, and it isn't hard to convince yourself that it lies inside $X'$ (though I'm sure that there is an argument with inequalities).
Thus, there is a deformation retraction to the anti-diagonal of $T^2$ (pairs of coordinates such that the first is the negative of the second) which is homeomorphic to $S^1$, so $H_1(X)=mathbbZ$.
$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
);
);
Sam is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3144229%2fhomology-of-a-subspaces-of-product-of-circles%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$
Correct me if I am wrong (my smooth manifold knowledge is not great), but won't the preimage have boundary, so you cannot use Poincare duality?
I mention this because I believe the manifold is a cylinder, so my calculation of the homology will disagree with you. I believe the following is a deformation retraction to a circle (so its 2 dimensional homology would be 0).
You can view X as a subspace of $T^2$ by forgetting the third coordinate since it is fully determined by the first two. Let's call it $X' subset T^2$ and it is given by pairs $(x,y) in T^2$ such that the magnitude of their sum is at most 1. Let $F: X' times I rightarrow X'$ be given by $(x,y,t) rightarrow (frac(1-t)x - ty(1-t)x-ty,y)$. The denominator is never zero because $y neq x$, and it isn't hard to convince yourself that it lies inside $X'$ (though I'm sure that there is an argument with inequalities).
Thus, there is a deformation retraction to the anti-diagonal of $T^2$ (pairs of coordinates such that the first is the negative of the second) which is homeomorphic to $S^1$, so $H_1(X)=mathbbZ$.
$endgroup$
add a comment |
$begingroup$
Correct me if I am wrong (my smooth manifold knowledge is not great), but won't the preimage have boundary, so you cannot use Poincare duality?
I mention this because I believe the manifold is a cylinder, so my calculation of the homology will disagree with you. I believe the following is a deformation retraction to a circle (so its 2 dimensional homology would be 0).
You can view X as a subspace of $T^2$ by forgetting the third coordinate since it is fully determined by the first two. Let's call it $X' subset T^2$ and it is given by pairs $(x,y) in T^2$ such that the magnitude of their sum is at most 1. Let $F: X' times I rightarrow X'$ be given by $(x,y,t) rightarrow (frac(1-t)x - ty(1-t)x-ty,y)$. The denominator is never zero because $y neq x$, and it isn't hard to convince yourself that it lies inside $X'$ (though I'm sure that there is an argument with inequalities).
Thus, there is a deformation retraction to the anti-diagonal of $T^2$ (pairs of coordinates such that the first is the negative of the second) which is homeomorphic to $S^1$, so $H_1(X)=mathbbZ$.
$endgroup$
add a comment |
$begingroup$
Correct me if I am wrong (my smooth manifold knowledge is not great), but won't the preimage have boundary, so you cannot use Poincare duality?
I mention this because I believe the manifold is a cylinder, so my calculation of the homology will disagree with you. I believe the following is a deformation retraction to a circle (so its 2 dimensional homology would be 0).
You can view X as a subspace of $T^2$ by forgetting the third coordinate since it is fully determined by the first two. Let's call it $X' subset T^2$ and it is given by pairs $(x,y) in T^2$ such that the magnitude of their sum is at most 1. Let $F: X' times I rightarrow X'$ be given by $(x,y,t) rightarrow (frac(1-t)x - ty(1-t)x-ty,y)$. The denominator is never zero because $y neq x$, and it isn't hard to convince yourself that it lies inside $X'$ (though I'm sure that there is an argument with inequalities).
Thus, there is a deformation retraction to the anti-diagonal of $T^2$ (pairs of coordinates such that the first is the negative of the second) which is homeomorphic to $S^1$, so $H_1(X)=mathbbZ$.
$endgroup$
Correct me if I am wrong (my smooth manifold knowledge is not great), but won't the preimage have boundary, so you cannot use Poincare duality?
I mention this because I believe the manifold is a cylinder, so my calculation of the homology will disagree with you. I believe the following is a deformation retraction to a circle (so its 2 dimensional homology would be 0).
You can view X as a subspace of $T^2$ by forgetting the third coordinate since it is fully determined by the first two. Let's call it $X' subset T^2$ and it is given by pairs $(x,y) in T^2$ such that the magnitude of their sum is at most 1. Let $F: X' times I rightarrow X'$ be given by $(x,y,t) rightarrow (frac(1-t)x - ty(1-t)x-ty,y)$. The denominator is never zero because $y neq x$, and it isn't hard to convince yourself that it lies inside $X'$ (though I'm sure that there is an argument with inequalities).
Thus, there is a deformation retraction to the anti-diagonal of $T^2$ (pairs of coordinates such that the first is the negative of the second) which is homeomorphic to $S^1$, so $H_1(X)=mathbbZ$.
edited Mar 11 at 22:39
answered Mar 11 at 22:27
Connor MalinConnor Malin
489110
489110
add a comment |
add a comment |
Sam is a new contributor. Be nice, and check out our Code of Conduct.
Sam is a new contributor. Be nice, and check out our Code of Conduct.
Sam is a new contributor. Be nice, and check out our Code of Conduct.
Sam is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3144229%2fhomology-of-a-subspaces-of-product-of-circles%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$
I just wanted to double check, you're sure the disc has unit radius? If it had radius 2, then $X$ would be a torus.
$endgroup$
– Michael Albanese
Mar 11 at 21:15