Generators of the mapping class group for surfaces with punctures and boundaries












4












$begingroup$


Let $Gamma_{g,b}^m$ denote the mapping class group of a genus $g$ surface with $b$ non-permutable parametrised boundary curves and $m$ permutable punctures.



It is clear that in general, presentations for these groups are hard. I only need for the general case a set of generators (I want to show that two morphisms $varphi,psi:Gammato G$ are equal and I want to check this on the generators). Partial answers are the following:




  1. If $b,m=0$ (so we have a closed surface), then the group is generated by Dehn twists which can be easily drawn on the surface.

  2. If $g,m=0$, we can declare one boundary curve as “outer” and the group is generated by Dehn twists along the inner boundary curves and the pure braid generators $alpha_{ij}$.


From Farb–Margalit, I know that there are always finitely many Dehn twists (or half twists) which generate $Gamma$, but can we say in general where they are?






moduli-spaces mapping-class-groups surfaces







share|cite|improve this question











$endgroup$

















    4












    $begingroup$


    Let $Gamma_{g,b}^m$ denote the mapping class group of a genus $g$ surface with $b$ non-permutable parametrised boundary curves and $m$ permutable punctures.



    It is clear that in general, presentations for these groups are hard. I only need for the general case a set of generators (I want to show that two morphisms $varphi,psi:Gammato G$ are equal and I want to check this on the generators). Partial answers are the following:




    1. If $b,m=0$ (so we have a closed surface), then the group is generated by Dehn twists which can be easily drawn on the surface.

    2. If $g,m=0$, we can declare one boundary curve as “outer” and the group is generated by Dehn twists along the inner boundary curves and the pure braid generators $alpha_{ij}$.


    From Farb–Margalit, I know that there are always finitely many Dehn twists (or half twists) which generate $Gamma$, but can we say in general where they are?






    moduli-spaces mapping-class-groups surfaces







    share|cite|improve this question











    $endgroup$















      4












      4








      4


      1



      $begingroup$


      Let $Gamma_{g,b}^m$ denote the mapping class group of a genus $g$ surface with $b$ non-permutable parametrised boundary curves and $m$ permutable punctures.



      It is clear that in general, presentations for these groups are hard. I only need for the general case a set of generators (I want to show that two morphisms $varphi,psi:Gammato G$ are equal and I want to check this on the generators). Partial answers are the following:




      1. If $b,m=0$ (so we have a closed surface), then the group is generated by Dehn twists which can be easily drawn on the surface.

      2. If $g,m=0$, we can declare one boundary curve as “outer” and the group is generated by Dehn twists along the inner boundary curves and the pure braid generators $alpha_{ij}$.


      From Farb–Margalit, I know that there are always finitely many Dehn twists (or half twists) which generate $Gamma$, but can we say in general where they are?






      moduli-spaces mapping-class-groups surfaces







      share|cite|improve this question











      $endgroup$




      Let $Gamma_{g,b}^m$ denote the mapping class group of a genus $g$ surface with $b$ non-permutable parametrised boundary curves and $m$ permutable punctures.



      It is clear that in general, presentations for these groups are hard. I only need for the general case a set of generators (I want to show that two morphisms $varphi,psi:Gammato G$ are equal and I want to check this on the generators). Partial answers are the following:




      1. If $b,m=0$ (so we have a closed surface), then the group is generated by Dehn twists which can be easily drawn on the surface.

      2. If $g,m=0$, we can declare one boundary curve as “outer” and the group is generated by Dehn twists along the inner boundary curves and the pure braid generators $alpha_{ij}$.


      From Farb–Margalit, I know that there are always finitely many Dehn twists (or half twists) which generate $Gamma$, but can we say in general where they are?






      moduli-spaces mapping-class-groups surfaces




      moduli-spaces mapping-class-groups surfaces






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited yesterday







      FKranhold

















      asked yesterday









      FKranholdFKranhold

      1746




      1746






















          1 Answer
          1






          active

          oldest

          votes


















          4












          $begingroup$

          See the paper



          B. Wajnryb, "An elementary approach to the mapping class group of a surface,"
          Geometry & Topology 3 (1999) 405–466.



          See also "A finite presentation of the mapping class group of an oriented surface," by Gervais: https://arxiv.org/pdf/math/9811162.pdf.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you, the Gervais paper is really useful! However, it seems not to cover the case with punctures. Of course, we have a surjection $Gamma_{g, b+m}to PGamma^m_{g, b}$ onto the pure MCG, so we can also describe generators there, but what about $Gamma_{g, b}^m$ itself?
            $endgroup$
            – FKranhold
            yesterday










          • $begingroup$
            Well to get the whole group you need all the permutations of the punctures, which you can get by throwing in half twists about curves bounding twice punctured disks.
            $endgroup$
            – Autumn Kent
            23 hours ago










          • $begingroup$
            Okay, so these are $binom{m}{2}$ additional generators, right? (maybe not all necessary)
            $endgroup$
            – FKranhold
            23 hours ago










          • $begingroup$
            You can get away with a transposition (one half twist) and a cycle (which can be done using a mapping class supported on an annulus containing all the punctures). So just two more generators.
            $endgroup$
            – Autumn Kent
            22 hours ago











          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: "504"
          };
          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%2fmathoverflow.net%2fquestions%2f326290%2fgenerators-of-the-mapping-class-group-for-surfaces-with-punctures-and-boundaries%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









          4












          $begingroup$

          See the paper



          B. Wajnryb, "An elementary approach to the mapping class group of a surface,"
          Geometry & Topology 3 (1999) 405–466.



          See also "A finite presentation of the mapping class group of an oriented surface," by Gervais: https://arxiv.org/pdf/math/9811162.pdf.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you, the Gervais paper is really useful! However, it seems not to cover the case with punctures. Of course, we have a surjection $Gamma_{g, b+m}to PGamma^m_{g, b}$ onto the pure MCG, so we can also describe generators there, but what about $Gamma_{g, b}^m$ itself?
            $endgroup$
            – FKranhold
            yesterday










          • $begingroup$
            Well to get the whole group you need all the permutations of the punctures, which you can get by throwing in half twists about curves bounding twice punctured disks.
            $endgroup$
            – Autumn Kent
            23 hours ago










          • $begingroup$
            Okay, so these are $binom{m}{2}$ additional generators, right? (maybe not all necessary)
            $endgroup$
            – FKranhold
            23 hours ago










          • $begingroup$
            You can get away with a transposition (one half twist) and a cycle (which can be done using a mapping class supported on an annulus containing all the punctures). So just two more generators.
            $endgroup$
            – Autumn Kent
            22 hours ago
















          4












          $begingroup$

          See the paper



          B. Wajnryb, "An elementary approach to the mapping class group of a surface,"
          Geometry & Topology 3 (1999) 405–466.



          See also "A finite presentation of the mapping class group of an oriented surface," by Gervais: https://arxiv.org/pdf/math/9811162.pdf.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            Thank you, the Gervais paper is really useful! However, it seems not to cover the case with punctures. Of course, we have a surjection $Gamma_{g, b+m}to PGamma^m_{g, b}$ onto the pure MCG, so we can also describe generators there, but what about $Gamma_{g, b}^m$ itself?
            $endgroup$
            – FKranhold
            yesterday










          • $begingroup$
            Well to get the whole group you need all the permutations of the punctures, which you can get by throwing in half twists about curves bounding twice punctured disks.
            $endgroup$
            – Autumn Kent
            23 hours ago










          • $begingroup$
            Okay, so these are $binom{m}{2}$ additional generators, right? (maybe not all necessary)
            $endgroup$
            – FKranhold
            23 hours ago










          • $begingroup$
            You can get away with a transposition (one half twist) and a cycle (which can be done using a mapping class supported on an annulus containing all the punctures). So just two more generators.
            $endgroup$
            – Autumn Kent
            22 hours ago














          4












          4








          4





          $begingroup$

          See the paper



          B. Wajnryb, "An elementary approach to the mapping class group of a surface,"
          Geometry & Topology 3 (1999) 405–466.



          See also "A finite presentation of the mapping class group of an oriented surface," by Gervais: https://arxiv.org/pdf/math/9811162.pdf.






          share|cite|improve this answer









          $endgroup$



          See the paper



          B. Wajnryb, "An elementary approach to the mapping class group of a surface,"
          Geometry & Topology 3 (1999) 405–466.



          See also "A finite presentation of the mapping class group of an oriented surface," by Gervais: https://arxiv.org/pdf/math/9811162.pdf.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered yesterday









          Autumn KentAutumn Kent

          9,59734574




          9,59734574












          • $begingroup$
            Thank you, the Gervais paper is really useful! However, it seems not to cover the case with punctures. Of course, we have a surjection $Gamma_{g, b+m}to PGamma^m_{g, b}$ onto the pure MCG, so we can also describe generators there, but what about $Gamma_{g, b}^m$ itself?
            $endgroup$
            – FKranhold
            yesterday










          • $begingroup$
            Well to get the whole group you need all the permutations of the punctures, which you can get by throwing in half twists about curves bounding twice punctured disks.
            $endgroup$
            – Autumn Kent
            23 hours ago










          • $begingroup$
            Okay, so these are $binom{m}{2}$ additional generators, right? (maybe not all necessary)
            $endgroup$
            – FKranhold
            23 hours ago










          • $begingroup$
            You can get away with a transposition (one half twist) and a cycle (which can be done using a mapping class supported on an annulus containing all the punctures). So just two more generators.
            $endgroup$
            – Autumn Kent
            22 hours ago


















          • $begingroup$
            Thank you, the Gervais paper is really useful! However, it seems not to cover the case with punctures. Of course, we have a surjection $Gamma_{g, b+m}to PGamma^m_{g, b}$ onto the pure MCG, so we can also describe generators there, but what about $Gamma_{g, b}^m$ itself?
            $endgroup$
            – FKranhold
            yesterday










          • $begingroup$
            Well to get the whole group you need all the permutations of the punctures, which you can get by throwing in half twists about curves bounding twice punctured disks.
            $endgroup$
            – Autumn Kent
            23 hours ago










          • $begingroup$
            Okay, so these are $binom{m}{2}$ additional generators, right? (maybe not all necessary)
            $endgroup$
            – FKranhold
            23 hours ago










          • $begingroup$
            You can get away with a transposition (one half twist) and a cycle (which can be done using a mapping class supported on an annulus containing all the punctures). So just two more generators.
            $endgroup$
            – Autumn Kent
            22 hours ago
















          $begingroup$
          Thank you, the Gervais paper is really useful! However, it seems not to cover the case with punctures. Of course, we have a surjection $Gamma_{g, b+m}to PGamma^m_{g, b}$ onto the pure MCG, so we can also describe generators there, but what about $Gamma_{g, b}^m$ itself?
          $endgroup$
          – FKranhold
          yesterday




          $begingroup$
          Thank you, the Gervais paper is really useful! However, it seems not to cover the case with punctures. Of course, we have a surjection $Gamma_{g, b+m}to PGamma^m_{g, b}$ onto the pure MCG, so we can also describe generators there, but what about $Gamma_{g, b}^m$ itself?
          $endgroup$
          – FKranhold
          yesterday












          $begingroup$
          Well to get the whole group you need all the permutations of the punctures, which you can get by throwing in half twists about curves bounding twice punctured disks.
          $endgroup$
          – Autumn Kent
          23 hours ago




          $begingroup$
          Well to get the whole group you need all the permutations of the punctures, which you can get by throwing in half twists about curves bounding twice punctured disks.
          $endgroup$
          – Autumn Kent
          23 hours ago












          $begingroup$
          Okay, so these are $binom{m}{2}$ additional generators, right? (maybe not all necessary)
          $endgroup$
          – FKranhold
          23 hours ago




          $begingroup$
          Okay, so these are $binom{m}{2}$ additional generators, right? (maybe not all necessary)
          $endgroup$
          – FKranhold
          23 hours ago












          $begingroup$
          You can get away with a transposition (one half twist) and a cycle (which can be done using a mapping class supported on an annulus containing all the punctures). So just two more generators.
          $endgroup$
          – Autumn Kent
          22 hours ago




          $begingroup$
          You can get away with a transposition (one half twist) and a cycle (which can be done using a mapping class supported on an annulus containing all the punctures). So just two more generators.
          $endgroup$
          – Autumn Kent
          22 hours ago


















          draft saved

          draft discarded




















































          Thanks for contributing an answer to MathOverflow!


          • 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%2fmathoverflow.net%2fquestions%2f326290%2fgenerators-of-the-mapping-class-group-for-surfaces-with-punctures-and-boundaries%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

          He _____ here since 1970 . Answer needed [closed]What does “since he was so high” mean?Meaning of “catch birds for”?How do I ensure “since” takes the meaning I want?“Who cares here” meaningWhat does “right round toward” mean?the time tense (had now been detected)What does the phrase “ring around the roses” mean here?Correct usage of “visited upon”Meaning of “foiled rail sabotage bid”It was the third time I had gone to Rome or It is the third time I had been to Rome

          Image
          Engineer refusing to file/disclose patents Extending the spectral theorem for bounded self adjoint operators to bounded normal operators Do varchar(max), nvarchar(max) and varbinary(max) columns affect select queries? Why is it that I can sometimes guess the next note? What linear sensor for a keyboard? Why don’t women say שלא עשני גויה and שפחה, according to Ashkenazim? Did arcade monitors have same pixel aspect ratio as TV sets? anything or something to eat Query about absorption line spectra Can I use my Chinese passport to enter China after I acquired another citizenship? Fuse symbol on toroidal transformer Create all possible words using a set or letters Does the Mind Blank spell prevent the target from being frightened? Can I sign legal documents with a smiley face? When quoting, must I also copy hyphens used to divide words that continue on the next line? Hot bath for aluminium engine block and heads Journal losing indexing services Is it possib
          Read more

          Bunad

          Image
          Tradisjonelle folkedrakter frå Aust-Telemark, truleg frå 1880-åra. Drakter som dette er grunnlaget for moderne bunadar. Foto: Axel Lindahl Bunad frå Eggedal i Buskerud fotografert i 1906. Bunad (frå kledebunad , der norrønt «búnaðr» har same rot som (føre)bu) er ei samnemning brukt om klesdrakter i tradisjonell nordisk stil — ofte utvikla frå folkedrakter, men likevel i ein eigen tradisjon. Ein bunad er typisk ei forseggjort og kostbar drakt, med mykje broderi, og med handsmidde smykke i gull eller sølv, særleg dei særeigne søljene, som obligatorisk prynad i tillegg. Bunad og bunadbruk er eit debattemne med mange ulike oppfatningar, til dømes om kva som er ein bunad, og om ein kan endra på utforminga av draktene eller ikkje. Den norske bunadrørsla går tilbake til folkedansrørsla og føregangsfolk som Hulda Garborg og Klara Semb. I dag blir bunad brukt som nasjonaldrakt. Festbunad er likestilt med galla-antrekk, og ofte nytta ved særskilde høve, som konfirmasjonar eller d
          Read more

          Færeyskur hestur Heimild | Tengill | Tilvísanir | LeiðsagnarvalRossið - síða um færeyska hrossið á færeyskuGott ár hjá færeyska hestinum

          Image
          FæreyjarHestar færeyskahjaltlandshestinumíslenski hesturinnBretlandskolanámumenskuWikipediafæreyskuWikipediaRossið - síða um færeyska hrossið á færeysku Færeyskur hestur Úr Wikipediu, frjálsa alfræðiritinu Jump to navigation Jump to search Rani og Grani. Grani í vetrarfeldi. Færeyski hesturinn (færeyska: Føroyska rossið ) er hestur sem hefur lifað í Færeyjum í hundruði ára. Hann er smágerður, 120-132 cm á hæð, og helst skyldur hjaltlandshestinum. Hlutverk hans var að draga vagna og plóg og bera klyfjar. Hann hefur fjórar gangtegundir eins og íslenski hesturinn (þar með talið tölt) og er með fjölda litaafbrigði. Nú til dags er hann notaður til frístunda. Í lok 19. aldar voru til um 800 hross. Mörg þeirra voru seld til Bretlands til að vinna í kolanámum og um 1960 voru aðeins nokkrir hestar eftir. Átak var gert í að varðveita hestinn og eru nú til 70-80 hross í Færeyjum. [1] Heimild |   Wikimedia Commons er með margmiðlunarefni sem te
          Read more