Is there an orientable closed compact $3$-manifold such that its fundamntal group is $mathbbZ$?Fundamental Group IsomorphismNon-orientable 3-manifold has infinite fundamental groupManifold with special cohomology groupHomology group of non orientable manifoldCohomology of a closed orientable n-manifold?The second homologygroup of a orientable three manifoldthere is no 3-manifold such its fundamental group is isomorphic to direct product Z⊕Z⊕Z⊕Z.Killing 2nd homology by including 3-manifold as the boundary of a 4-manifoldFundamental group of prime closed 3-manifold and it's coverExistence of certain surfaces in flat riemannian 3-manifold
Why didn't Daenerys' advisers suggest assassinating Cersei?
Why would Thor need to strike a building with lightning to attack enemies?
Bash Read: Reading comma separated list, last element is missed
Vehemently against code formatting
Very serious stuff - Salesforce bug enabled "Modify All"
Bash - Execute two commands and get exit status 1 if first fails
Can a problematic AL DM/organizer prevent me from running a separate AL-legal game at the same store?
Why does snapping your fingers activate the Infinity Gauntlet?
Character had a different name in the past. Which name should I use in a flashback?
Who is frowning in the sentence "Daisy looked at Tom frowning"?
Does science define life as "beginning at conception"?
How can sister protect herself from impulse purchases with a credit card?
In how many ways can we partition a set into smaller subsets so the sum of the numbers in each subset is equal?
Addressing an email
How come Arya Stark wasn't hurt by this in Game of Thrones Season 8 Episode 5?
In Dutch history two people are referred to as "William III"; are there any more cases where this happens?
Will this series of events work to drown the Tarrasque?
Head-internal relative clauses
Have I found a major security issue with login
Gambler's Fallacy Dice
What should I wear to go and sign an employment contract?
Why is so much ransomware breakable?
If you attack a Tarrasque while swallowed, what AC do you need to beat to hit it?
How can I prevent Bash expansion from passing files starting with "-" as argument?
Is there an orientable closed compact $3$-manifold such that its fundamntal group is $mathbbZ$?
Fundamental Group IsomorphismNon-orientable 3-manifold has infinite fundamental groupManifold with special cohomology groupHomology group of non orientable manifoldCohomology of a closed orientable n-manifold?The second homologygroup of a orientable three manifoldthere is no 3-manifold such its fundamental group is isomorphic to direct product Z⊕Z⊕Z⊕Z.Killing 2nd homology by including 3-manifold as the boundary of a 4-manifoldFundamental group of prime closed 3-manifold and it's coverExistence of certain surfaces in flat riemannian 3-manifold
$begingroup$
Is there an orientable closed compact $3$-manifold such that its fundamental group is $mathbbZ$?
How about $mathbbZ^2$?
algebraic-topology
New contributor
$endgroup$
add a comment |
$begingroup$
Is there an orientable closed compact $3$-manifold such that its fundamental group is $mathbbZ$?
How about $mathbbZ^2$?
algebraic-topology
New contributor
$endgroup$
4
$begingroup$
$S^2times S^1$ for the first.
$endgroup$
– Lord Shark the Unknown
2 hours ago
add a comment |
$begingroup$
Is there an orientable closed compact $3$-manifold such that its fundamental group is $mathbbZ$?
How about $mathbbZ^2$?
algebraic-topology
New contributor
$endgroup$
Is there an orientable closed compact $3$-manifold such that its fundamental group is $mathbbZ$?
How about $mathbbZ^2$?
algebraic-topology
algebraic-topology
New contributor
New contributor
edited 49 mins ago
YuiTo Cheng
3,25371245
3,25371245
New contributor
asked 2 hours ago
topology mastertopology master
261
261
New contributor
New contributor
4
$begingroup$
$S^2times S^1$ for the first.
$endgroup$
– Lord Shark the Unknown
2 hours ago
add a comment |
4
$begingroup$
$S^2times S^1$ for the first.
$endgroup$
– Lord Shark the Unknown
2 hours ago
4
4
$begingroup$
$S^2times S^1$ for the first.
$endgroup$
– Lord Shark the Unknown
2 hours ago
$begingroup$
$S^2times S^1$ for the first.
$endgroup$
– Lord Shark the Unknown
2 hours ago
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
If $M$ is a closed oriented $3$-manifold with $Bbb Z^2$ fundamental group, then pass to the universal cover $tildeM$ and note that $pi_2(tildeM) = 0$ as otherwise by sphere theorem there would be an embedded sphere contained in $tildeM$, which by the covering map descends to a homotopically nontrivial embedded sphere in $M$, i.e., $M$ is not irreducible. Unless $M = S^2 times S^1$, it's not prime either, forcing $M$ to be a connected sum. But that forces $pi_1$ to be a free product which $Bbb Z^2$ isn't.
By Hurewicz theorem $pi_3(tildeM) = H_3(tildeM)$, also zero as $tildeM$ is noncompact $3$-dimensional. All the higher homology groups, hence the higher homotopy groups by Hurewicz, are subsequently zero. This implies $tildeM$ is contractible, hence $M$ is a $K(pi, 1)$-space, but as $pi_1 = Bbb Z^2$ here and $K(Bbb Z^2, 1)$ is homotopy equivalent to $T^2$, $M$ must be homotopy equivalent to $T^2$. But $Bbb Z = H_3(M) neq H_3(T^2) = 0$ so that can't happen. There are no closed oriented $3$-manifolds with $Bbb Z^2$ fundamental group.
$S^1 times S^2$ is the unique closed oriented $3$-manifold with fundamental group $Bbb Z$ by following a same trail of arguments as above: if $pi_2(tildeM) neq 0$ then there's a homotopically nontrivial embedded sphere in $M$. If you put aside the case $M = S^2 times S^1$, that forces $M$ to be non-prime, i.e., a free product, which again $Bbb Z$ isn't. The rest of the argument to show there are no other cases is identical.
Here's a sketch of an argument for why $S^2 times S^1$ is the unique prime non-irreducible closed oriented 3-manifold. Suppose $M$ is prime non-irreducible, then there's a homotopically nontrivial sphere $S$ in $M$ that doesn't bound a ball. Take an embedded closed $epsilon$-neighborhood $S times [-1, 1]$ of $S$ in $M$ and let $gamma$ be an arc from $S times -1$ to $S times 1$ which doesn't intersect $S$; this exists because $M setminus S$ is not disconnected ($M$ is prime!). Take union of $S times -1, 1$ with an embedded unit normal bundle of $gamma$ (which has to be diffeomorphic to $[0, 1] times S^1$ fixing the boundary, i.e., an "orientation-preserving tube", because $M$ is oriented) to obtain another embedded sphere in $M$ whose interior is union of a tubular neighborhood of $S$ and a tubular neighborhood of $gamma$ which deformation retracts to $S^2 vee S^1$. This new embedded sphere has to bound a $3$-ball in the exterior, as $M$ is prime. This gives a CW-decomposition of $M$ as a $D^3$ attatched to $S^2 vee S^1$, and it's not too hard to check this is indeed $S^2 times S^1$.
$endgroup$
1
$begingroup$
+1, en.wikipedia.org/wiki/Prime_manifold was a helpful resource for reading this answer
$endgroup$
– hunter
1 hour ago
add a comment |
Your Answer
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
);
);
topology master 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%2f3230201%2fis-there-an-orientable-closed-compact-3-manifold-such-that-its-fundamntal-grou%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$
If $M$ is a closed oriented $3$-manifold with $Bbb Z^2$ fundamental group, then pass to the universal cover $tildeM$ and note that $pi_2(tildeM) = 0$ as otherwise by sphere theorem there would be an embedded sphere contained in $tildeM$, which by the covering map descends to a homotopically nontrivial embedded sphere in $M$, i.e., $M$ is not irreducible. Unless $M = S^2 times S^1$, it's not prime either, forcing $M$ to be a connected sum. But that forces $pi_1$ to be a free product which $Bbb Z^2$ isn't.
By Hurewicz theorem $pi_3(tildeM) = H_3(tildeM)$, also zero as $tildeM$ is noncompact $3$-dimensional. All the higher homology groups, hence the higher homotopy groups by Hurewicz, are subsequently zero. This implies $tildeM$ is contractible, hence $M$ is a $K(pi, 1)$-space, but as $pi_1 = Bbb Z^2$ here and $K(Bbb Z^2, 1)$ is homotopy equivalent to $T^2$, $M$ must be homotopy equivalent to $T^2$. But $Bbb Z = H_3(M) neq H_3(T^2) = 0$ so that can't happen. There are no closed oriented $3$-manifolds with $Bbb Z^2$ fundamental group.
$S^1 times S^2$ is the unique closed oriented $3$-manifold with fundamental group $Bbb Z$ by following a same trail of arguments as above: if $pi_2(tildeM) neq 0$ then there's a homotopically nontrivial embedded sphere in $M$. If you put aside the case $M = S^2 times S^1$, that forces $M$ to be non-prime, i.e., a free product, which again $Bbb Z$ isn't. The rest of the argument to show there are no other cases is identical.
Here's a sketch of an argument for why $S^2 times S^1$ is the unique prime non-irreducible closed oriented 3-manifold. Suppose $M$ is prime non-irreducible, then there's a homotopically nontrivial sphere $S$ in $M$ that doesn't bound a ball. Take an embedded closed $epsilon$-neighborhood $S times [-1, 1]$ of $S$ in $M$ and let $gamma$ be an arc from $S times -1$ to $S times 1$ which doesn't intersect $S$; this exists because $M setminus S$ is not disconnected ($M$ is prime!). Take union of $S times -1, 1$ with an embedded unit normal bundle of $gamma$ (which has to be diffeomorphic to $[0, 1] times S^1$ fixing the boundary, i.e., an "orientation-preserving tube", because $M$ is oriented) to obtain another embedded sphere in $M$ whose interior is union of a tubular neighborhood of $S$ and a tubular neighborhood of $gamma$ which deformation retracts to $S^2 vee S^1$. This new embedded sphere has to bound a $3$-ball in the exterior, as $M$ is prime. This gives a CW-decomposition of $M$ as a $D^3$ attatched to $S^2 vee S^1$, and it's not too hard to check this is indeed $S^2 times S^1$.
$endgroup$
1
$begingroup$
+1, en.wikipedia.org/wiki/Prime_manifold was a helpful resource for reading this answer
$endgroup$
– hunter
1 hour ago
add a comment |
$begingroup$
If $M$ is a closed oriented $3$-manifold with $Bbb Z^2$ fundamental group, then pass to the universal cover $tildeM$ and note that $pi_2(tildeM) = 0$ as otherwise by sphere theorem there would be an embedded sphere contained in $tildeM$, which by the covering map descends to a homotopically nontrivial embedded sphere in $M$, i.e., $M$ is not irreducible. Unless $M = S^2 times S^1$, it's not prime either, forcing $M$ to be a connected sum. But that forces $pi_1$ to be a free product which $Bbb Z^2$ isn't.
By Hurewicz theorem $pi_3(tildeM) = H_3(tildeM)$, also zero as $tildeM$ is noncompact $3$-dimensional. All the higher homology groups, hence the higher homotopy groups by Hurewicz, are subsequently zero. This implies $tildeM$ is contractible, hence $M$ is a $K(pi, 1)$-space, but as $pi_1 = Bbb Z^2$ here and $K(Bbb Z^2, 1)$ is homotopy equivalent to $T^2$, $M$ must be homotopy equivalent to $T^2$. But $Bbb Z = H_3(M) neq H_3(T^2) = 0$ so that can't happen. There are no closed oriented $3$-manifolds with $Bbb Z^2$ fundamental group.
$S^1 times S^2$ is the unique closed oriented $3$-manifold with fundamental group $Bbb Z$ by following a same trail of arguments as above: if $pi_2(tildeM) neq 0$ then there's a homotopically nontrivial embedded sphere in $M$. If you put aside the case $M = S^2 times S^1$, that forces $M$ to be non-prime, i.e., a free product, which again $Bbb Z$ isn't. The rest of the argument to show there are no other cases is identical.
Here's a sketch of an argument for why $S^2 times S^1$ is the unique prime non-irreducible closed oriented 3-manifold. Suppose $M$ is prime non-irreducible, then there's a homotopically nontrivial sphere $S$ in $M$ that doesn't bound a ball. Take an embedded closed $epsilon$-neighborhood $S times [-1, 1]$ of $S$ in $M$ and let $gamma$ be an arc from $S times -1$ to $S times 1$ which doesn't intersect $S$; this exists because $M setminus S$ is not disconnected ($M$ is prime!). Take union of $S times -1, 1$ with an embedded unit normal bundle of $gamma$ (which has to be diffeomorphic to $[0, 1] times S^1$ fixing the boundary, i.e., an "orientation-preserving tube", because $M$ is oriented) to obtain another embedded sphere in $M$ whose interior is union of a tubular neighborhood of $S$ and a tubular neighborhood of $gamma$ which deformation retracts to $S^2 vee S^1$. This new embedded sphere has to bound a $3$-ball in the exterior, as $M$ is prime. This gives a CW-decomposition of $M$ as a $D^3$ attatched to $S^2 vee S^1$, and it's not too hard to check this is indeed $S^2 times S^1$.
$endgroup$
1
$begingroup$
+1, en.wikipedia.org/wiki/Prime_manifold was a helpful resource for reading this answer
$endgroup$
– hunter
1 hour ago
add a comment |
$begingroup$
If $M$ is a closed oriented $3$-manifold with $Bbb Z^2$ fundamental group, then pass to the universal cover $tildeM$ and note that $pi_2(tildeM) = 0$ as otherwise by sphere theorem there would be an embedded sphere contained in $tildeM$, which by the covering map descends to a homotopically nontrivial embedded sphere in $M$, i.e., $M$ is not irreducible. Unless $M = S^2 times S^1$, it's not prime either, forcing $M$ to be a connected sum. But that forces $pi_1$ to be a free product which $Bbb Z^2$ isn't.
By Hurewicz theorem $pi_3(tildeM) = H_3(tildeM)$, also zero as $tildeM$ is noncompact $3$-dimensional. All the higher homology groups, hence the higher homotopy groups by Hurewicz, are subsequently zero. This implies $tildeM$ is contractible, hence $M$ is a $K(pi, 1)$-space, but as $pi_1 = Bbb Z^2$ here and $K(Bbb Z^2, 1)$ is homotopy equivalent to $T^2$, $M$ must be homotopy equivalent to $T^2$. But $Bbb Z = H_3(M) neq H_3(T^2) = 0$ so that can't happen. There are no closed oriented $3$-manifolds with $Bbb Z^2$ fundamental group.
$S^1 times S^2$ is the unique closed oriented $3$-manifold with fundamental group $Bbb Z$ by following a same trail of arguments as above: if $pi_2(tildeM) neq 0$ then there's a homotopically nontrivial embedded sphere in $M$. If you put aside the case $M = S^2 times S^1$, that forces $M$ to be non-prime, i.e., a free product, which again $Bbb Z$ isn't. The rest of the argument to show there are no other cases is identical.
Here's a sketch of an argument for why $S^2 times S^1$ is the unique prime non-irreducible closed oriented 3-manifold. Suppose $M$ is prime non-irreducible, then there's a homotopically nontrivial sphere $S$ in $M$ that doesn't bound a ball. Take an embedded closed $epsilon$-neighborhood $S times [-1, 1]$ of $S$ in $M$ and let $gamma$ be an arc from $S times -1$ to $S times 1$ which doesn't intersect $S$; this exists because $M setminus S$ is not disconnected ($M$ is prime!). Take union of $S times -1, 1$ with an embedded unit normal bundle of $gamma$ (which has to be diffeomorphic to $[0, 1] times S^1$ fixing the boundary, i.e., an "orientation-preserving tube", because $M$ is oriented) to obtain another embedded sphere in $M$ whose interior is union of a tubular neighborhood of $S$ and a tubular neighborhood of $gamma$ which deformation retracts to $S^2 vee S^1$. This new embedded sphere has to bound a $3$-ball in the exterior, as $M$ is prime. This gives a CW-decomposition of $M$ as a $D^3$ attatched to $S^2 vee S^1$, and it's not too hard to check this is indeed $S^2 times S^1$.
$endgroup$
If $M$ is a closed oriented $3$-manifold with $Bbb Z^2$ fundamental group, then pass to the universal cover $tildeM$ and note that $pi_2(tildeM) = 0$ as otherwise by sphere theorem there would be an embedded sphere contained in $tildeM$, which by the covering map descends to a homotopically nontrivial embedded sphere in $M$, i.e., $M$ is not irreducible. Unless $M = S^2 times S^1$, it's not prime either, forcing $M$ to be a connected sum. But that forces $pi_1$ to be a free product which $Bbb Z^2$ isn't.
By Hurewicz theorem $pi_3(tildeM) = H_3(tildeM)$, also zero as $tildeM$ is noncompact $3$-dimensional. All the higher homology groups, hence the higher homotopy groups by Hurewicz, are subsequently zero. This implies $tildeM$ is contractible, hence $M$ is a $K(pi, 1)$-space, but as $pi_1 = Bbb Z^2$ here and $K(Bbb Z^2, 1)$ is homotopy equivalent to $T^2$, $M$ must be homotopy equivalent to $T^2$. But $Bbb Z = H_3(M) neq H_3(T^2) = 0$ so that can't happen. There are no closed oriented $3$-manifolds with $Bbb Z^2$ fundamental group.
$S^1 times S^2$ is the unique closed oriented $3$-manifold with fundamental group $Bbb Z$ by following a same trail of arguments as above: if $pi_2(tildeM) neq 0$ then there's a homotopically nontrivial embedded sphere in $M$. If you put aside the case $M = S^2 times S^1$, that forces $M$ to be non-prime, i.e., a free product, which again $Bbb Z$ isn't. The rest of the argument to show there are no other cases is identical.
Here's a sketch of an argument for why $S^2 times S^1$ is the unique prime non-irreducible closed oriented 3-manifold. Suppose $M$ is prime non-irreducible, then there's a homotopically nontrivial sphere $S$ in $M$ that doesn't bound a ball. Take an embedded closed $epsilon$-neighborhood $S times [-1, 1]$ of $S$ in $M$ and let $gamma$ be an arc from $S times -1$ to $S times 1$ which doesn't intersect $S$; this exists because $M setminus S$ is not disconnected ($M$ is prime!). Take union of $S times -1, 1$ with an embedded unit normal bundle of $gamma$ (which has to be diffeomorphic to $[0, 1] times S^1$ fixing the boundary, i.e., an "orientation-preserving tube", because $M$ is oriented) to obtain another embedded sphere in $M$ whose interior is union of a tubular neighborhood of $S$ and a tubular neighborhood of $gamma$ which deformation retracts to $S^2 vee S^1$. This new embedded sphere has to bound a $3$-ball in the exterior, as $M$ is prime. This gives a CW-decomposition of $M$ as a $D^3$ attatched to $S^2 vee S^1$, and it's not too hard to check this is indeed $S^2 times S^1$.
edited 1 hour ago
answered 1 hour ago
Balarka SenBalarka Sen
10.4k13057
10.4k13057
1
$begingroup$
+1, en.wikipedia.org/wiki/Prime_manifold was a helpful resource for reading this answer
$endgroup$
– hunter
1 hour ago
add a comment |
1
$begingroup$
+1, en.wikipedia.org/wiki/Prime_manifold was a helpful resource for reading this answer
$endgroup$
– hunter
1 hour ago
1
1
$begingroup$
+1, en.wikipedia.org/wiki/Prime_manifold was a helpful resource for reading this answer
$endgroup$
– hunter
1 hour ago
$begingroup$
+1, en.wikipedia.org/wiki/Prime_manifold was a helpful resource for reading this answer
$endgroup$
– hunter
1 hour ago
add a comment |
topology master is a new contributor. Be nice, and check out our Code of Conduct.
topology master is a new contributor. Be nice, and check out our Code of Conduct.
topology master is a new contributor. Be nice, and check out our Code of Conduct.
topology master 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%2f3230201%2fis-there-an-orientable-closed-compact-3-manifold-such-that-its-fundamntal-grou%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
4
$begingroup$
$S^2times S^1$ for the first.
$endgroup$
– Lord Shark the Unknown
2 hours ago