Fundamental group of the sphere with n-points identified

Multi tool use
Multi tool use












4












$begingroup$


I am trying to compute the fundamental group of the sphere with n points identified by using Seifert Van Kampen. I split up my surface into $U =$ the top half of the sphere including the n points and $V =$ the lower half of the sphere (not including the points), where $U cap V$ is a cylinder.



$U$ turns out to be homotopy equivalent to the the wedge of n petals, so
$pi_1(U)$= free group on $n-1$ generators, $pi_1(V) = {1}$ ( as $V$ is a disk) and $pi_1(U cap V) = pi_1(S^1) = mathbb{Z}$.



I am having trouble applying van Kampen to find the relators of $U cup V$.










share|cite|improve this question











$endgroup$

















    4












    $begingroup$


    I am trying to compute the fundamental group of the sphere with n points identified by using Seifert Van Kampen. I split up my surface into $U =$ the top half of the sphere including the n points and $V =$ the lower half of the sphere (not including the points), where $U cap V$ is a cylinder.



    $U$ turns out to be homotopy equivalent to the the wedge of n petals, so
    $pi_1(U)$= free group on $n-1$ generators, $pi_1(V) = {1}$ ( as $V$ is a disk) and $pi_1(U cap V) = pi_1(S^1) = mathbb{Z}$.



    I am having trouble applying van Kampen to find the relators of $U cup V$.










    share|cite|improve this question











    $endgroup$















      4












      4








      4


      2



      $begingroup$


      I am trying to compute the fundamental group of the sphere with n points identified by using Seifert Van Kampen. I split up my surface into $U =$ the top half of the sphere including the n points and $V =$ the lower half of the sphere (not including the points), where $U cap V$ is a cylinder.



      $U$ turns out to be homotopy equivalent to the the wedge of n petals, so
      $pi_1(U)$= free group on $n-1$ generators, $pi_1(V) = {1}$ ( as $V$ is a disk) and $pi_1(U cap V) = pi_1(S^1) = mathbb{Z}$.



      I am having trouble applying van Kampen to find the relators of $U cup V$.










      share|cite|improve this question











      $endgroup$




      I am trying to compute the fundamental group of the sphere with n points identified by using Seifert Van Kampen. I split up my surface into $U =$ the top half of the sphere including the n points and $V =$ the lower half of the sphere (not including the points), where $U cap V$ is a cylinder.



      $U$ turns out to be homotopy equivalent to the the wedge of n petals, so
      $pi_1(U)$= free group on $n-1$ generators, $pi_1(V) = {1}$ ( as $V$ is a disk) and $pi_1(U cap V) = pi_1(S^1) = mathbb{Z}$.



      I am having trouble applying van Kampen to find the relators of $U cup V$.







      algebraic-topology fundamental-groups






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Aug 5 '17 at 18:47









      Perturbative

      4,39121553




      4,39121553










      asked Aug 4 '17 at 22:07









      bmmcutet12bmmcutet12

      1839




      1839






















          3 Answers
          3






          active

          oldest

          votes


















          1












          $begingroup$

          Hint: The inclusion maps
          $$i : U cap V to U quadtext{and}quad j : U cap V to V
          $$

          induce group homomorphisms
          $$i_* : mathbb{Z} = pi_1(U cap V) to pi_1(U) = F_{n-1}
          $$

          and
          $$j_* : mathbb{Z} = pi_1(U cap V) to pi_1(V) = {1}
          $$

          You must compute these homomorphisms, as Van Kampen's Theorem suggests.



          Added: Here's more information regarding your comment where you ask how to visualize the first homomorphism.



          The second homomorphism $j_*$ is obviously the trivial homomorphism.



          The first homomorphism $i_*$ is also trivial. To see why, notice that the map $i$ factors as
          $$U cap V mapsto text{the boundary circle of the top hemisphere} hookrightarrow text{the top hemisphere} mapsto U
          $$

          where the first map of this sequence is a deformation retraction of the cylinder $U cap V$ onto its central circle (which is the boundary circle of the top hemisphere), and last map is the quotient map under which the $n$ points are identified to a single point. Since the top hemisphere is simply connected, it follows that $i_*$ is the trivial homomorphism. (Thanks to @BennyZack for this observation in the comments.)






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            I know that the second homomorphism is trivial, but Im not sure how to compute the first one. I'm used to finding the relators "visually" but in this case it seems more difficult to do it that way, but I am not sure how else to do it
            $endgroup$
            – bmmcutet12
            Aug 5 '17 at 16:25










          • $begingroup$
            I added more to my answer regarding your visualization question.
            $endgroup$
            – Lee Mosher
            Aug 5 '17 at 22:39










          • $begingroup$
            I might be wrong, but isn't the second homomorphism clearly trivial since the equator is nullhomotopic within the upper upper hemisphere and this homotopy can be composed with the gluing map to get that it is also nullhomotopic in $pi_1 (U)$?
            $endgroup$
            – Benny Zack
            Dec 5 '18 at 10:49










          • $begingroup$
            Yes, that's absolutely correct, I overlooked that. It definitely simplifies things a bit, in that it's not necessary to bother trying to visualize how the circle $U cap V$ homotopes into the wedge. I'll rewrite my answer. Thanks.
            $endgroup$
            – Lee Mosher
            Dec 5 '18 at 15:18





















          0












          $begingroup$

          Extended hint:



          You might want to try a slightly different approach: pick, as $U$, a neighborhood of the point $P$ to which all $n$ points are identified. Deleting a slightly shrunk version of $U$ leaves you with $V$, a sphere with $n$ holes, or, enlarging one of them a good deal, a disk with $n-1$ holes.



          The problem with this is that the intersection, $U cap V$, is not connected, alas, so Seifert-van Kampen doesn't apply directly (or you have to do something with multiple basepoints and groupoids, etc., which is way more than seems necessary). But it's a natural place to start, surrounding the "interesting" point with one of the two open sets to be used in S-vK. You just have to adjust the approach a little:



          If you draw arcs from $Q_1$ to $Q_2$, $Q_2$ to $Q_3, ldots, Q_{n-1}$ to $Q_n$, where the $Q_i$ are the points to be identifed, and then let $U_0$ be a neighborhood of this collection of arcs in the sphere, and $V_0$ be a slight expansion of $S^2 - U_0$, and then project $U_0$ into the identification space, getting a neighborhood $U$ of the "identification point" $P$, and similarly get $V$ ... then you can have a connected intersection $U cap V$ --- it's just a circle. (I find it's helpful to place $Q_1, ldots, Q_n$ in a small sequence on the equator of $S^2$, so that $U_0$ is a neighborhood of a small equatorial arc. The intersection of $U$ and $V$ is then just a curve that surrounds this arc.



          Now you should have enough to go on. You have to look at $U_0$ and see if it deformation retracts onto something nice and simple, and you have to look at a generator for the circle $Ucap V$ and see what it becomes in $pi_1(U)$ and in $pi_1(V)$.






          share|cite|improve this answer











          $endgroup$





















            0












            $begingroup$

            To answer questions like this one really needs to advance into the world of not necessarily connected spaces, such as a finite set of points $C$ on a sphere $X$. Then if $f: C to Y$ is a map to a space $Y$ one can consider the space $Z= Y cup _f X$ obtained by identifying some of the points $C$ of $X$ to points of $Y$, which we assume connected, although that can be dealt with.



            The idea is to model the geometry by algebra, and this can be done by the algebra of groupoids, and the topogical construction of the fundamental groupoid $pi_1(X,C)$ on a set $C chosen according to the geometry.



            Suppose now that $Y$ is a discrete space $D$, so that $f: Cto D$. Let $G=pi_1(X,C)$. Then we can construct a new groupoid written $U_f(G) $ or $f_*(G)$ with object set $D$, and morphism $f':G to U_f(G) $, and having the property that the following diagram of groupoids is a pushout:
            $$begin{matrix} C & xrightarrow{f} & D\
            downarrow & & downarrow\
            G &xrightarrow{f'} & U_f(G)
            end{matrix}$$
            where the vertical arrows are just inclusions as sets of identities.



            This construction, which includes those of free products of groups, and of free groups, and indeed of free groupoids on a directed graph, is due to Higgins; it is given in his book Categories and Groupoids and also in Topology and Groupoids.



            It is also useful to develop a number of properties of this construction: for example if $G$ is connected and has trivial vertex groups, then $U_f(G)$ is a free groupoid, and so its vertex groups are free groups.



            You also have to generalise the standard van Kampen Theorem from the case of a single base point to the case of a set of base points, as was published in 1967, and so gave a theorem which could compute the fundamental group of the circle, a rather basic example in topology. This general theorem is given in the above two books.



            For further discussion see this mathoverflow question.






            share|cite|improve this answer









            $endgroup$













              Your Answer





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

              StackExchange.ready(function() {
              var channelOptions = {
              tags: "".split(" "),
              id: "69"
              };
              initTagRenderer("".split(" "), "".split(" "), channelOptions);

              StackExchange.using("externalEditor", function() {
              // Have to fire editor after snippets, if snippets enabled
              if (StackExchange.settings.snippets.snippetsEnabled) {
              StackExchange.using("snippets", function() {
              createEditor();
              });
              }
              else {
              createEditor();
              }
              });

              function createEditor() {
              StackExchange.prepareEditor({
              heartbeatType: 'answer',
              autoActivateHeartbeat: false,
              convertImagesToLinks: true,
              noModals: true,
              showLowRepImageUploadWarning: true,
              reputationToPostImages: 10,
              bindNavPrevention: true,
              postfix: "",
              imageUploader: {
              brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
              contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
              allowUrls: true
              },
              noCode: true, onDemand: true,
              discardSelector: ".discard-answer"
              ,immediatelyShowMarkdownHelp:true
              });


              }
              });














              draft saved

              draft discarded


















              StackExchange.ready(
              function () {
              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2382887%2ffundamental-group-of-the-sphere-with-n-points-identified%23new-answer', 'question_page');
              }
              );

              Post as a guest















              Required, but never shown

























              3 Answers
              3






              active

              oldest

              votes








              3 Answers
              3






              active

              oldest

              votes









              active

              oldest

              votes






              active

              oldest

              votes









              1












              $begingroup$

              Hint: The inclusion maps
              $$i : U cap V to U quadtext{and}quad j : U cap V to V
              $$

              induce group homomorphisms
              $$i_* : mathbb{Z} = pi_1(U cap V) to pi_1(U) = F_{n-1}
              $$

              and
              $$j_* : mathbb{Z} = pi_1(U cap V) to pi_1(V) = {1}
              $$

              You must compute these homomorphisms, as Van Kampen's Theorem suggests.



              Added: Here's more information regarding your comment where you ask how to visualize the first homomorphism.



              The second homomorphism $j_*$ is obviously the trivial homomorphism.



              The first homomorphism $i_*$ is also trivial. To see why, notice that the map $i$ factors as
              $$U cap V mapsto text{the boundary circle of the top hemisphere} hookrightarrow text{the top hemisphere} mapsto U
              $$

              where the first map of this sequence is a deformation retraction of the cylinder $U cap V$ onto its central circle (which is the boundary circle of the top hemisphere), and last map is the quotient map under which the $n$ points are identified to a single point. Since the top hemisphere is simply connected, it follows that $i_*$ is the trivial homomorphism. (Thanks to @BennyZack for this observation in the comments.)






              share|cite|improve this answer











              $endgroup$













              • $begingroup$
                I know that the second homomorphism is trivial, but Im not sure how to compute the first one. I'm used to finding the relators "visually" but in this case it seems more difficult to do it that way, but I am not sure how else to do it
                $endgroup$
                – bmmcutet12
                Aug 5 '17 at 16:25










              • $begingroup$
                I added more to my answer regarding your visualization question.
                $endgroup$
                – Lee Mosher
                Aug 5 '17 at 22:39










              • $begingroup$
                I might be wrong, but isn't the second homomorphism clearly trivial since the equator is nullhomotopic within the upper upper hemisphere and this homotopy can be composed with the gluing map to get that it is also nullhomotopic in $pi_1 (U)$?
                $endgroup$
                – Benny Zack
                Dec 5 '18 at 10:49










              • $begingroup$
                Yes, that's absolutely correct, I overlooked that. It definitely simplifies things a bit, in that it's not necessary to bother trying to visualize how the circle $U cap V$ homotopes into the wedge. I'll rewrite my answer. Thanks.
                $endgroup$
                – Lee Mosher
                Dec 5 '18 at 15:18


















              1












              $begingroup$

              Hint: The inclusion maps
              $$i : U cap V to U quadtext{and}quad j : U cap V to V
              $$

              induce group homomorphisms
              $$i_* : mathbb{Z} = pi_1(U cap V) to pi_1(U) = F_{n-1}
              $$

              and
              $$j_* : mathbb{Z} = pi_1(U cap V) to pi_1(V) = {1}
              $$

              You must compute these homomorphisms, as Van Kampen's Theorem suggests.



              Added: Here's more information regarding your comment where you ask how to visualize the first homomorphism.



              The second homomorphism $j_*$ is obviously the trivial homomorphism.



              The first homomorphism $i_*$ is also trivial. To see why, notice that the map $i$ factors as
              $$U cap V mapsto text{the boundary circle of the top hemisphere} hookrightarrow text{the top hemisphere} mapsto U
              $$

              where the first map of this sequence is a deformation retraction of the cylinder $U cap V$ onto its central circle (which is the boundary circle of the top hemisphere), and last map is the quotient map under which the $n$ points are identified to a single point. Since the top hemisphere is simply connected, it follows that $i_*$ is the trivial homomorphism. (Thanks to @BennyZack for this observation in the comments.)






              share|cite|improve this answer











              $endgroup$













              • $begingroup$
                I know that the second homomorphism is trivial, but Im not sure how to compute the first one. I'm used to finding the relators "visually" but in this case it seems more difficult to do it that way, but I am not sure how else to do it
                $endgroup$
                – bmmcutet12
                Aug 5 '17 at 16:25










              • $begingroup$
                I added more to my answer regarding your visualization question.
                $endgroup$
                – Lee Mosher
                Aug 5 '17 at 22:39










              • $begingroup$
                I might be wrong, but isn't the second homomorphism clearly trivial since the equator is nullhomotopic within the upper upper hemisphere and this homotopy can be composed with the gluing map to get that it is also nullhomotopic in $pi_1 (U)$?
                $endgroup$
                – Benny Zack
                Dec 5 '18 at 10:49










              • $begingroup$
                Yes, that's absolutely correct, I overlooked that. It definitely simplifies things a bit, in that it's not necessary to bother trying to visualize how the circle $U cap V$ homotopes into the wedge. I'll rewrite my answer. Thanks.
                $endgroup$
                – Lee Mosher
                Dec 5 '18 at 15:18
















              1












              1








              1





              $begingroup$

              Hint: The inclusion maps
              $$i : U cap V to U quadtext{and}quad j : U cap V to V
              $$

              induce group homomorphisms
              $$i_* : mathbb{Z} = pi_1(U cap V) to pi_1(U) = F_{n-1}
              $$

              and
              $$j_* : mathbb{Z} = pi_1(U cap V) to pi_1(V) = {1}
              $$

              You must compute these homomorphisms, as Van Kampen's Theorem suggests.



              Added: Here's more information regarding your comment where you ask how to visualize the first homomorphism.



              The second homomorphism $j_*$ is obviously the trivial homomorphism.



              The first homomorphism $i_*$ is also trivial. To see why, notice that the map $i$ factors as
              $$U cap V mapsto text{the boundary circle of the top hemisphere} hookrightarrow text{the top hemisphere} mapsto U
              $$

              where the first map of this sequence is a deformation retraction of the cylinder $U cap V$ onto its central circle (which is the boundary circle of the top hemisphere), and last map is the quotient map under which the $n$ points are identified to a single point. Since the top hemisphere is simply connected, it follows that $i_*$ is the trivial homomorphism. (Thanks to @BennyZack for this observation in the comments.)






              share|cite|improve this answer











              $endgroup$



              Hint: The inclusion maps
              $$i : U cap V to U quadtext{and}quad j : U cap V to V
              $$

              induce group homomorphisms
              $$i_* : mathbb{Z} = pi_1(U cap V) to pi_1(U) = F_{n-1}
              $$

              and
              $$j_* : mathbb{Z} = pi_1(U cap V) to pi_1(V) = {1}
              $$

              You must compute these homomorphisms, as Van Kampen's Theorem suggests.



              Added: Here's more information regarding your comment where you ask how to visualize the first homomorphism.



              The second homomorphism $j_*$ is obviously the trivial homomorphism.



              The first homomorphism $i_*$ is also trivial. To see why, notice that the map $i$ factors as
              $$U cap V mapsto text{the boundary circle of the top hemisphere} hookrightarrow text{the top hemisphere} mapsto U
              $$

              where the first map of this sequence is a deformation retraction of the cylinder $U cap V$ onto its central circle (which is the boundary circle of the top hemisphere), and last map is the quotient map under which the $n$ points are identified to a single point. Since the top hemisphere is simply connected, it follows that $i_*$ is the trivial homomorphism. (Thanks to @BennyZack for this observation in the comments.)







              share|cite|improve this answer














              share|cite|improve this answer



              share|cite|improve this answer








              edited Dec 5 '18 at 15:32

























              answered Aug 4 '17 at 22:33









              Lee MosherLee Mosher

              49.9k33686




              49.9k33686












              • $begingroup$
                I know that the second homomorphism is trivial, but Im not sure how to compute the first one. I'm used to finding the relators "visually" but in this case it seems more difficult to do it that way, but I am not sure how else to do it
                $endgroup$
                – bmmcutet12
                Aug 5 '17 at 16:25










              • $begingroup$
                I added more to my answer regarding your visualization question.
                $endgroup$
                – Lee Mosher
                Aug 5 '17 at 22:39










              • $begingroup$
                I might be wrong, but isn't the second homomorphism clearly trivial since the equator is nullhomotopic within the upper upper hemisphere and this homotopy can be composed with the gluing map to get that it is also nullhomotopic in $pi_1 (U)$?
                $endgroup$
                – Benny Zack
                Dec 5 '18 at 10:49










              • $begingroup$
                Yes, that's absolutely correct, I overlooked that. It definitely simplifies things a bit, in that it's not necessary to bother trying to visualize how the circle $U cap V$ homotopes into the wedge. I'll rewrite my answer. Thanks.
                $endgroup$
                – Lee Mosher
                Dec 5 '18 at 15:18




















              • $begingroup$
                I know that the second homomorphism is trivial, but Im not sure how to compute the first one. I'm used to finding the relators "visually" but in this case it seems more difficult to do it that way, but I am not sure how else to do it
                $endgroup$
                – bmmcutet12
                Aug 5 '17 at 16:25










              • $begingroup$
                I added more to my answer regarding your visualization question.
                $endgroup$
                – Lee Mosher
                Aug 5 '17 at 22:39










              • $begingroup$
                I might be wrong, but isn't the second homomorphism clearly trivial since the equator is nullhomotopic within the upper upper hemisphere and this homotopy can be composed with the gluing map to get that it is also nullhomotopic in $pi_1 (U)$?
                $endgroup$
                – Benny Zack
                Dec 5 '18 at 10:49










              • $begingroup$
                Yes, that's absolutely correct, I overlooked that. It definitely simplifies things a bit, in that it's not necessary to bother trying to visualize how the circle $U cap V$ homotopes into the wedge. I'll rewrite my answer. Thanks.
                $endgroup$
                – Lee Mosher
                Dec 5 '18 at 15:18


















              $begingroup$
              I know that the second homomorphism is trivial, but Im not sure how to compute the first one. I'm used to finding the relators "visually" but in this case it seems more difficult to do it that way, but I am not sure how else to do it
              $endgroup$
              – bmmcutet12
              Aug 5 '17 at 16:25




              $begingroup$
              I know that the second homomorphism is trivial, but Im not sure how to compute the first one. I'm used to finding the relators "visually" but in this case it seems more difficult to do it that way, but I am not sure how else to do it
              $endgroup$
              – bmmcutet12
              Aug 5 '17 at 16:25












              $begingroup$
              I added more to my answer regarding your visualization question.
              $endgroup$
              – Lee Mosher
              Aug 5 '17 at 22:39




              $begingroup$
              I added more to my answer regarding your visualization question.
              $endgroup$
              – Lee Mosher
              Aug 5 '17 at 22:39












              $begingroup$
              I might be wrong, but isn't the second homomorphism clearly trivial since the equator is nullhomotopic within the upper upper hemisphere and this homotopy can be composed with the gluing map to get that it is also nullhomotopic in $pi_1 (U)$?
              $endgroup$
              – Benny Zack
              Dec 5 '18 at 10:49




              $begingroup$
              I might be wrong, but isn't the second homomorphism clearly trivial since the equator is nullhomotopic within the upper upper hemisphere and this homotopy can be composed with the gluing map to get that it is also nullhomotopic in $pi_1 (U)$?
              $endgroup$
              – Benny Zack
              Dec 5 '18 at 10:49












              $begingroup$
              Yes, that's absolutely correct, I overlooked that. It definitely simplifies things a bit, in that it's not necessary to bother trying to visualize how the circle $U cap V$ homotopes into the wedge. I'll rewrite my answer. Thanks.
              $endgroup$
              – Lee Mosher
              Dec 5 '18 at 15:18






              $begingroup$
              Yes, that's absolutely correct, I overlooked that. It definitely simplifies things a bit, in that it's not necessary to bother trying to visualize how the circle $U cap V$ homotopes into the wedge. I'll rewrite my answer. Thanks.
              $endgroup$
              – Lee Mosher
              Dec 5 '18 at 15:18













              0












              $begingroup$

              Extended hint:



              You might want to try a slightly different approach: pick, as $U$, a neighborhood of the point $P$ to which all $n$ points are identified. Deleting a slightly shrunk version of $U$ leaves you with $V$, a sphere with $n$ holes, or, enlarging one of them a good deal, a disk with $n-1$ holes.



              The problem with this is that the intersection, $U cap V$, is not connected, alas, so Seifert-van Kampen doesn't apply directly (or you have to do something with multiple basepoints and groupoids, etc., which is way more than seems necessary). But it's a natural place to start, surrounding the "interesting" point with one of the two open sets to be used in S-vK. You just have to adjust the approach a little:



              If you draw arcs from $Q_1$ to $Q_2$, $Q_2$ to $Q_3, ldots, Q_{n-1}$ to $Q_n$, where the $Q_i$ are the points to be identifed, and then let $U_0$ be a neighborhood of this collection of arcs in the sphere, and $V_0$ be a slight expansion of $S^2 - U_0$, and then project $U_0$ into the identification space, getting a neighborhood $U$ of the "identification point" $P$, and similarly get $V$ ... then you can have a connected intersection $U cap V$ --- it's just a circle. (I find it's helpful to place $Q_1, ldots, Q_n$ in a small sequence on the equator of $S^2$, so that $U_0$ is a neighborhood of a small equatorial arc. The intersection of $U$ and $V$ is then just a curve that surrounds this arc.



              Now you should have enough to go on. You have to look at $U_0$ and see if it deformation retracts onto something nice and simple, and you have to look at a generator for the circle $Ucap V$ and see what it becomes in $pi_1(U)$ and in $pi_1(V)$.






              share|cite|improve this answer











              $endgroup$


















                0












                $begingroup$

                Extended hint:



                You might want to try a slightly different approach: pick, as $U$, a neighborhood of the point $P$ to which all $n$ points are identified. Deleting a slightly shrunk version of $U$ leaves you with $V$, a sphere with $n$ holes, or, enlarging one of them a good deal, a disk with $n-1$ holes.



                The problem with this is that the intersection, $U cap V$, is not connected, alas, so Seifert-van Kampen doesn't apply directly (or you have to do something with multiple basepoints and groupoids, etc., which is way more than seems necessary). But it's a natural place to start, surrounding the "interesting" point with one of the two open sets to be used in S-vK. You just have to adjust the approach a little:



                If you draw arcs from $Q_1$ to $Q_2$, $Q_2$ to $Q_3, ldots, Q_{n-1}$ to $Q_n$, where the $Q_i$ are the points to be identifed, and then let $U_0$ be a neighborhood of this collection of arcs in the sphere, and $V_0$ be a slight expansion of $S^2 - U_0$, and then project $U_0$ into the identification space, getting a neighborhood $U$ of the "identification point" $P$, and similarly get $V$ ... then you can have a connected intersection $U cap V$ --- it's just a circle. (I find it's helpful to place $Q_1, ldots, Q_n$ in a small sequence on the equator of $S^2$, so that $U_0$ is a neighborhood of a small equatorial arc. The intersection of $U$ and $V$ is then just a curve that surrounds this arc.



                Now you should have enough to go on. You have to look at $U_0$ and see if it deformation retracts onto something nice and simple, and you have to look at a generator for the circle $Ucap V$ and see what it becomes in $pi_1(U)$ and in $pi_1(V)$.






                share|cite|improve this answer











                $endgroup$
















                  0












                  0








                  0





                  $begingroup$

                  Extended hint:



                  You might want to try a slightly different approach: pick, as $U$, a neighborhood of the point $P$ to which all $n$ points are identified. Deleting a slightly shrunk version of $U$ leaves you with $V$, a sphere with $n$ holes, or, enlarging one of them a good deal, a disk with $n-1$ holes.



                  The problem with this is that the intersection, $U cap V$, is not connected, alas, so Seifert-van Kampen doesn't apply directly (or you have to do something with multiple basepoints and groupoids, etc., which is way more than seems necessary). But it's a natural place to start, surrounding the "interesting" point with one of the two open sets to be used in S-vK. You just have to adjust the approach a little:



                  If you draw arcs from $Q_1$ to $Q_2$, $Q_2$ to $Q_3, ldots, Q_{n-1}$ to $Q_n$, where the $Q_i$ are the points to be identifed, and then let $U_0$ be a neighborhood of this collection of arcs in the sphere, and $V_0$ be a slight expansion of $S^2 - U_0$, and then project $U_0$ into the identification space, getting a neighborhood $U$ of the "identification point" $P$, and similarly get $V$ ... then you can have a connected intersection $U cap V$ --- it's just a circle. (I find it's helpful to place $Q_1, ldots, Q_n$ in a small sequence on the equator of $S^2$, so that $U_0$ is a neighborhood of a small equatorial arc. The intersection of $U$ and $V$ is then just a curve that surrounds this arc.



                  Now you should have enough to go on. You have to look at $U_0$ and see if it deformation retracts onto something nice and simple, and you have to look at a generator for the circle $Ucap V$ and see what it becomes in $pi_1(U)$ and in $pi_1(V)$.






                  share|cite|improve this answer











                  $endgroup$



                  Extended hint:



                  You might want to try a slightly different approach: pick, as $U$, a neighborhood of the point $P$ to which all $n$ points are identified. Deleting a slightly shrunk version of $U$ leaves you with $V$, a sphere with $n$ holes, or, enlarging one of them a good deal, a disk with $n-1$ holes.



                  The problem with this is that the intersection, $U cap V$, is not connected, alas, so Seifert-van Kampen doesn't apply directly (or you have to do something with multiple basepoints and groupoids, etc., which is way more than seems necessary). But it's a natural place to start, surrounding the "interesting" point with one of the two open sets to be used in S-vK. You just have to adjust the approach a little:



                  If you draw arcs from $Q_1$ to $Q_2$, $Q_2$ to $Q_3, ldots, Q_{n-1}$ to $Q_n$, where the $Q_i$ are the points to be identifed, and then let $U_0$ be a neighborhood of this collection of arcs in the sphere, and $V_0$ be a slight expansion of $S^2 - U_0$, and then project $U_0$ into the identification space, getting a neighborhood $U$ of the "identification point" $P$, and similarly get $V$ ... then you can have a connected intersection $U cap V$ --- it's just a circle. (I find it's helpful to place $Q_1, ldots, Q_n$ in a small sequence on the equator of $S^2$, so that $U_0$ is a neighborhood of a small equatorial arc. The intersection of $U$ and $V$ is then just a curve that surrounds this arc.



                  Now you should have enough to go on. You have to look at $U_0$ and see if it deformation retracts onto something nice and simple, and you have to look at a generator for the circle $Ucap V$ and see what it becomes in $pi_1(U)$ and in $pi_1(V)$.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Aug 5 '17 at 18:49

























                  answered Aug 5 '17 at 18:22









                  John HughesJohn Hughes

                  64.4k24191




                  64.4k24191























                      0












                      $begingroup$

                      To answer questions like this one really needs to advance into the world of not necessarily connected spaces, such as a finite set of points $C$ on a sphere $X$. Then if $f: C to Y$ is a map to a space $Y$ one can consider the space $Z= Y cup _f X$ obtained by identifying some of the points $C$ of $X$ to points of $Y$, which we assume connected, although that can be dealt with.



                      The idea is to model the geometry by algebra, and this can be done by the algebra of groupoids, and the topogical construction of the fundamental groupoid $pi_1(X,C)$ on a set $C chosen according to the geometry.



                      Suppose now that $Y$ is a discrete space $D$, so that $f: Cto D$. Let $G=pi_1(X,C)$. Then we can construct a new groupoid written $U_f(G) $ or $f_*(G)$ with object set $D$, and morphism $f':G to U_f(G) $, and having the property that the following diagram of groupoids is a pushout:
                      $$begin{matrix} C & xrightarrow{f} & D\
                      downarrow & & downarrow\
                      G &xrightarrow{f'} & U_f(G)
                      end{matrix}$$
                      where the vertical arrows are just inclusions as sets of identities.



                      This construction, which includes those of free products of groups, and of free groups, and indeed of free groupoids on a directed graph, is due to Higgins; it is given in his book Categories and Groupoids and also in Topology and Groupoids.



                      It is also useful to develop a number of properties of this construction: for example if $G$ is connected and has trivial vertex groups, then $U_f(G)$ is a free groupoid, and so its vertex groups are free groups.



                      You also have to generalise the standard van Kampen Theorem from the case of a single base point to the case of a set of base points, as was published in 1967, and so gave a theorem which could compute the fundamental group of the circle, a rather basic example in topology. This general theorem is given in the above two books.



                      For further discussion see this mathoverflow question.






                      share|cite|improve this answer









                      $endgroup$


















                        0












                        $begingroup$

                        To answer questions like this one really needs to advance into the world of not necessarily connected spaces, such as a finite set of points $C$ on a sphere $X$. Then if $f: C to Y$ is a map to a space $Y$ one can consider the space $Z= Y cup _f X$ obtained by identifying some of the points $C$ of $X$ to points of $Y$, which we assume connected, although that can be dealt with.



                        The idea is to model the geometry by algebra, and this can be done by the algebra of groupoids, and the topogical construction of the fundamental groupoid $pi_1(X,C)$ on a set $C chosen according to the geometry.



                        Suppose now that $Y$ is a discrete space $D$, so that $f: Cto D$. Let $G=pi_1(X,C)$. Then we can construct a new groupoid written $U_f(G) $ or $f_*(G)$ with object set $D$, and morphism $f':G to U_f(G) $, and having the property that the following diagram of groupoids is a pushout:
                        $$begin{matrix} C & xrightarrow{f} & D\
                        downarrow & & downarrow\
                        G &xrightarrow{f'} & U_f(G)
                        end{matrix}$$
                        where the vertical arrows are just inclusions as sets of identities.



                        This construction, which includes those of free products of groups, and of free groups, and indeed of free groupoids on a directed graph, is due to Higgins; it is given in his book Categories and Groupoids and also in Topology and Groupoids.



                        It is also useful to develop a number of properties of this construction: for example if $G$ is connected and has trivial vertex groups, then $U_f(G)$ is a free groupoid, and so its vertex groups are free groups.



                        You also have to generalise the standard van Kampen Theorem from the case of a single base point to the case of a set of base points, as was published in 1967, and so gave a theorem which could compute the fundamental group of the circle, a rather basic example in topology. This general theorem is given in the above two books.



                        For further discussion see this mathoverflow question.






                        share|cite|improve this answer









                        $endgroup$
















                          0












                          0








                          0





                          $begingroup$

                          To answer questions like this one really needs to advance into the world of not necessarily connected spaces, such as a finite set of points $C$ on a sphere $X$. Then if $f: C to Y$ is a map to a space $Y$ one can consider the space $Z= Y cup _f X$ obtained by identifying some of the points $C$ of $X$ to points of $Y$, which we assume connected, although that can be dealt with.



                          The idea is to model the geometry by algebra, and this can be done by the algebra of groupoids, and the topogical construction of the fundamental groupoid $pi_1(X,C)$ on a set $C chosen according to the geometry.



                          Suppose now that $Y$ is a discrete space $D$, so that $f: Cto D$. Let $G=pi_1(X,C)$. Then we can construct a new groupoid written $U_f(G) $ or $f_*(G)$ with object set $D$, and morphism $f':G to U_f(G) $, and having the property that the following diagram of groupoids is a pushout:
                          $$begin{matrix} C & xrightarrow{f} & D\
                          downarrow & & downarrow\
                          G &xrightarrow{f'} & U_f(G)
                          end{matrix}$$
                          where the vertical arrows are just inclusions as sets of identities.



                          This construction, which includes those of free products of groups, and of free groups, and indeed of free groupoids on a directed graph, is due to Higgins; it is given in his book Categories and Groupoids and also in Topology and Groupoids.



                          It is also useful to develop a number of properties of this construction: for example if $G$ is connected and has trivial vertex groups, then $U_f(G)$ is a free groupoid, and so its vertex groups are free groups.



                          You also have to generalise the standard van Kampen Theorem from the case of a single base point to the case of a set of base points, as was published in 1967, and so gave a theorem which could compute the fundamental group of the circle, a rather basic example in topology. This general theorem is given in the above two books.



                          For further discussion see this mathoverflow question.






                          share|cite|improve this answer









                          $endgroup$



                          To answer questions like this one really needs to advance into the world of not necessarily connected spaces, such as a finite set of points $C$ on a sphere $X$. Then if $f: C to Y$ is a map to a space $Y$ one can consider the space $Z= Y cup _f X$ obtained by identifying some of the points $C$ of $X$ to points of $Y$, which we assume connected, although that can be dealt with.



                          The idea is to model the geometry by algebra, and this can be done by the algebra of groupoids, and the topogical construction of the fundamental groupoid $pi_1(X,C)$ on a set $C chosen according to the geometry.



                          Suppose now that $Y$ is a discrete space $D$, so that $f: Cto D$. Let $G=pi_1(X,C)$. Then we can construct a new groupoid written $U_f(G) $ or $f_*(G)$ with object set $D$, and morphism $f':G to U_f(G) $, and having the property that the following diagram of groupoids is a pushout:
                          $$begin{matrix} C & xrightarrow{f} & D\
                          downarrow & & downarrow\
                          G &xrightarrow{f'} & U_f(G)
                          end{matrix}$$
                          where the vertical arrows are just inclusions as sets of identities.



                          This construction, which includes those of free products of groups, and of free groups, and indeed of free groupoids on a directed graph, is due to Higgins; it is given in his book Categories and Groupoids and also in Topology and Groupoids.



                          It is also useful to develop a number of properties of this construction: for example if $G$ is connected and has trivial vertex groups, then $U_f(G)$ is a free groupoid, and so its vertex groups are free groups.



                          You also have to generalise the standard van Kampen Theorem from the case of a single base point to the case of a set of base points, as was published in 1967, and so gave a theorem which could compute the fundamental group of the circle, a rather basic example in topology. This general theorem is given in the above two books.



                          For further discussion see this mathoverflow question.







                          share|cite|improve this answer












                          share|cite|improve this answer



                          share|cite|improve this answer










                          answered Aug 5 '17 at 21:06









                          Ronnie BrownRonnie Brown

                          12.1k12939




                          12.1k12939






























                              draft saved

                              draft discarded




















































                              Thanks for contributing an answer to Mathematics Stack Exchange!


                              • Please be sure to answer the question. Provide details and share your research!

                              But avoid



                              • Asking for help, clarification, or responding to other answers.

                              • Making statements based on opinion; back them up with references or personal experience.


                              Use MathJax to format equations. MathJax reference.


                              To learn more, see our tips on writing great answers.




                              draft saved


                              draft discarded














                              StackExchange.ready(
                              function () {
                              StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2382887%2ffundamental-group-of-the-sphere-with-n-points-identified%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







                              5PJoSTo9 G8,Xsd9fgQvUanrO,v5mcIncaDPlZefqEBssFghos z XTLpo 2WzkD
                              ENW,I9rG QHLgheMiVLNv0qJC1Cy,b8p8hv I61 GxG7zUNIJghUNJW7 ssFs,JZvAA 6aS5ksfRoG3 VjyVVte Qpe5rXAV0jA

                              Popular posts from this blog

                              mysqli_query(): Empty query in /home/lucindabrummitt/public_html/blog/wp-includes/wp-db.php on line 1924

                              How to change which sound is reproduced for terminal bell?

                              Can I use Tabulator js library in my java Spring + Thymeleaf project?