Generators of the mapping class group for surfaces with punctures and boundariesSubgroup of mapping class group generated by two Dehn twistsmapping class group of a surfaceMapping class group of a punctured genus 0 surfaceSubgroups of the mapping class group of a surface generated by Dehn twistsExplicit description (=pictures!) of elements in $Mod_g[k]$?Reference request: Mapping class group action on homology of surface with boundarygenerators for the handlebody group of genus twoDehn-Nielsen-Baer Theorem for surfaces with boundary and puncturesIs every element of $Mod(S_g,1)$ a composition of right handed Dehn twists?Mapping Class Group and Triangulations
Generators of the mapping class group for surfaces with punctures and boundaries
Subgroup of mapping class group generated by two Dehn twistsmapping class group of a surfaceMapping class group of a punctured genus 0 surfaceSubgroups of the mapping class group of a surface generated by Dehn twistsExplicit description (=pictures!) of elements in $Mod_g[k]$?Reference request: Mapping class group action on homology of surface with boundarygenerators for the handlebody group of genus twoDehn-Nielsen-Baer Theorem for surfaces with boundary and puncturesIs every element of $Mod(S_g,1)$ a composition of right handed Dehn twists?Mapping Class Group and Triangulations
$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:
- 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.
- 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
asked yesterday
FKranholdFKranhold
1746
$endgroup$
add a comment |
$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:
- 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.
- 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
asked yesterday
FKranholdFKranhold
1746
$endgroup$
add a comment |
$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:
- 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.
- 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
asked yesterday
FKranholdFKranhold
1746
$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:
- 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.
- 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
asked yesterday
FKranholdFKranhold
1746
asked yesterday
FKranholdFKranhold
1746
edited yesterday
FKranhold
asked yesterday
FKranholdFKranhold
1746
asked yesterday
FKranholdFKranhold
1746
asked yesterday
FKranholdFKranhold
1746
1746
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$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.
answered yesterday
Autumn KentAutumn Kent
9,59734574
$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+mto 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
yesterday
$begingroup$
Okay, so these are $binomm2$ additional generators, right? (maybe not all necessary)
$endgroup$
– FKranhold
yesterday
$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
yesterday
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%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
$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.
answered yesterday
Autumn KentAutumn Kent
9,59734574
$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+mto 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
yesterday
$begingroup$
Okay, so these are $binomm2$ additional generators, right? (maybe not all necessary)
$endgroup$
– FKranhold
yesterday
$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
yesterday
add a comment |
$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.
answered yesterday
Autumn KentAutumn Kent
9,59734574
$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+mto 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
yesterday
$begingroup$
Okay, so these are $binomm2$ additional generators, right? (maybe not all necessary)
$endgroup$
– FKranhold
yesterday
$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
yesterday
add a comment |
$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.
answered yesterday
Autumn KentAutumn Kent
9,59734574
$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.
answered yesterday
Autumn KentAutumn Kent
9,59734574
answered yesterday
Autumn KentAutumn Kent
9,59734574
answered yesterday
Autumn KentAutumn Kent
9,59734574
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+mto 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
yesterday
$begingroup$
Okay, so these are $binomm2$ additional generators, right? (maybe not all necessary)
$endgroup$
– FKranhold
yesterday
$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
yesterday
add a comment |
$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+mto 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
yesterday
$begingroup$
Okay, so these are $binomm2$ additional generators, right? (maybe not all necessary)
$endgroup$
– FKranhold
yesterday
$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
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+mto 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+mto 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
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
yesterday
$begingroup$
Okay, so these are $binomm2$ additional generators, right? (maybe not all necessary)
$endgroup$
– FKranhold
yesterday
$begingroup$
Okay, so these are $binomm2$ additional generators, right? (maybe not all necessary)
$endgroup$
– FKranhold
yesterday
$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
yesterday
$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
yesterday
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
-mapping-class-groups, moduli-spaces, surfaces
