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













4












$begingroup$


Is there an orientable closed compact $3$-manifold such that its fundamental group is $mathbbZ$?



How about $mathbbZ^2$?










share|cite|improve this question









New contributor



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






$endgroup$







  • 4




    $begingroup$
    $S^2times S^1$ for the first.
    $endgroup$
    – Lord Shark the Unknown
    2 hours ago















4












$begingroup$


Is there an orientable closed compact $3$-manifold such that its fundamental group is $mathbbZ$?



How about $mathbbZ^2$?










share|cite|improve this question









New contributor



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






$endgroup$







  • 4




    $begingroup$
    $S^2times S^1$ for the first.
    $endgroup$
    – Lord Shark the Unknown
    2 hours ago













4












4








4


4



$begingroup$


Is there an orientable closed compact $3$-manifold such that its fundamental group is $mathbbZ$?



How about $mathbbZ^2$?










share|cite|improve this question









New contributor



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






$endgroup$




Is there an orientable closed compact $3$-manifold such that its fundamental group is $mathbbZ$?



How about $mathbbZ^2$?







algebraic-topology






share|cite|improve this question









New contributor



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










share|cite|improve this question









New contributor



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








share|cite|improve this question




share|cite|improve this question








edited 49 mins ago









YuiTo Cheng

3,25371245




3,25371245






New contributor



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








asked 2 hours ago









topology mastertopology master

261




261




New contributor



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




New contributor




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









  • 4




    $begingroup$
    $S^2times S^1$ for the first.
    $endgroup$
    – Lord Shark the Unknown
    2 hours ago












  • 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










1 Answer
1






active

oldest

votes


















9












$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$.






share|cite|improve this answer











$endgroup$








  • 1




    $begingroup$
    +1, en.wikipedia.org/wiki/Prime_manifold was a helpful resource for reading this answer
    $endgroup$
    – hunter
    1 hour ago











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.









draft saved

draft discarded


















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









9












$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$.






share|cite|improve this answer











$endgroup$








  • 1




    $begingroup$
    +1, en.wikipedia.org/wiki/Prime_manifold was a helpful resource for reading this answer
    $endgroup$
    – hunter
    1 hour ago















9












$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$.






share|cite|improve this answer











$endgroup$








  • 1




    $begingroup$
    +1, en.wikipedia.org/wiki/Prime_manifold was a helpful resource for reading this answer
    $endgroup$
    – hunter
    1 hour ago













9












9








9





$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$.






share|cite|improve this answer











$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$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








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












  • 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










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









draft saved

draft discarded


















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.




draft saved


draft discarded














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





















































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

ParseJSON using SSJSUsing AMPscript with SSJS ActivitiesHow to resubscribe a user in Marketing cloud using SSJS?Pulling Subscriber Status from Lists using SSJSRetrieving Emails using SSJSProblem in updating DE using SSJSUsing SSJS to send single email in Marketing CloudError adding EmailSendDefinition using SSJS

Кампала Садржај Географија Географија Историја Становништво Привреда Партнерски градови Референце Спољашње везе Мени за навигацију0°11′ СГШ; 32°20′ ИГД / 0.18° СГШ; 32.34° ИГД / 0.18; 32.340°11′ СГШ; 32°20′ ИГД / 0.18° СГШ; 32.34° ИГД / 0.18; 32.34МедијиПодациЗванични веб-сајту

19. јануар Садржај Догађаји Рођења Смрти Празници и дани сећања Види још Референце Мени за навигацијуу