Louis Funar Institut Fourier BP UMR

Louis Funar

Description

On power subgroups of mapping class groups? Louis Funar Institut Fourier BP 74, UMR 5582 University of Grenoble I 38402 Saint-Martin-d'Heres cedex, France e-mail: September 21, 2011 Abstract In the first part of this paper we prove that the mapping class subgroups generated by the D-th powers of Dehn twists (with D ≥ 2) along a sparse collection of simple closed curves on an orientable surface are right angled Artin groups. The second part is devoted to power quotients, i.e. quotients by the normal subgroup generated by the D-th powers of all elements of the mapping class groups. We show first that for infinitely many D the power quotient groups are non-trivial. On the other hand, if 4g + 2 does not divide D then the associated power quotient of the mapping class group of the genus g ≥ 3 closed surface is trivial. Eventually, an elementary argument shows that in genus 2 there are infinitely many power quotients which are infinite torsion groups. 2000 MSC Classification: 57 M 07, 20 F 36, 20 F 38, 57 N 05. Keywords: Mapping class group, Dehn twist, power subgroup, symplectic group. 1 Introduction and statements The aim of this paper is to give a sample of results concerning power subgroups of mapping class groups.

• generators za


• let then


• group


• quantum topology also


• closed surface


• relation between


• trivial torsion


• za into


• subgroups generated

Sujets

• Korkmaz

Informations

• Publié par: pefav
• Nombre de lectures: 11
• Langue: English

Extrait

Onpowersubgroupsofmappingclassgroups ∗ LouisFunar InstitutFourierBP74,UMR5582 UniversityofGrenobleI 38402Saint-Martin-d’He`rescedex,France e-mail: [e-mail] September21,2011 Abstract Inthefirstpartofthispaperweprovethatthemappingclasssubgroupsgeneratedbythe D -th powersofDehntwists(with D ≥ 2)alongasparsecollectionofsimpleclosedcurvesonanorientable surfacearerightangledArtingroups.Thesecondpartisdevotedtopowerquotients,i.e.quotientsby thenormalsubgroupgeneratedbythe D -thpowersofallelementsofthemappingclassgroups.Weshow firstthatforinfinitelymany D thepowerquotientgroupsarenon-trivial.Ontheotherhand,if4 g +2 doesnotdivide D thentheassociatedpowerquotientofthemappingclassgroupofthegenus g≥ 3 closedsurfaceistrivial.Eventually,anelementaryargumentshowsthatingenus2thereareinfinitely manypowerquotientswhichareinfinitetorsiongroups. 2000MSCClassification:57M07,20F36,20F38,57N05. Keywords:Mappingclassgroup,Dehntwist,powersubgroup,symplecticgroup. 1Introductionandstatements Theaimofthispaperistogiveasampleofresultsconcerningpowersubgroupsofmappingclassgroups.We denotebyM(S)themappingclassgroupoftheorientablesurfaceS,namelythegroupofisotopyclassesof homeomorphismsthatfixpoint-wisetheboundarycomponents.SetΣ g r ,k fortheorientablesurfaceofgenus gwithkboundarycomponentsandrpunctures.WewillomittheindiceskandrinΣ g r ,k whentheyare .orez Definition1.1. LetAbeacollectionof(isotopyclassesof)simpleclosedcurvesonthesurfaceS.We denotebyM(S)(A;D)thesubgroupgeneratedbyD-thpowersofDehntwistsalongcurvesinA. WhenAisasetSCC(S)ofrepresentativesforallsimpleclosedcurvesuptohomotopyonthesurfaceS thegroupM(S)(SCC(S);D)willbedenotedbyM(S)[D].WewillomittheindiceskandrinM(Σ g r ,k )[D] andM(Σ g r ,k )(A;D)whentheyarezero.Forsimplicity,whenwedonotneedtospecifythesurfaceΣ g r ,k we willusethenotationM g r ,k forM(Σ g r ,k )andrespectivelyM g r ,k [D]forM(Σ g r ,k )[D],withthesameconvention concerningtheindiceskandr,whichweomitwhentheyarezero. ObservethatM g [D]isanormalsubgroupofM g ,whosedefinitionissimilartothatofthecongruence subgroupsofthesymplecticgroups.Infact,letT a denotetheDehntwistalongthesimpleclosedcurvea. Thenforeveryh∈M g wehavehT a D h − 1 =T h D ( a ) ∈M g [D].AsM g [D]isgeneratedbytheT a D ,forarunning overthesetofallsimpleclosedcurves,itfollowsthatM g [D]isanormalsubgroup. ThefirstresultsonM g [D]wereobtainedbyHumphries([19])whoprovedthatM g /M g [2],foreachg≥1, M 2 /M 2 [3]andM 3 /M 3 [3]arefinite,whileM 2 /M 2 [D]isinfinitewhenD≥4. Ontheotherhand,usingquantumtopologytechniquesweprovedin[13]thatthegroupsM g [D]areof infiniteindexinM g ,ifg≥3,andD6∈{1,2,3,4,6,8,12}. ∗ Thisversion:December2010.Preprintavailableelectronicallyathttp://www-fourier.ujf-grenoble.fr/˜funar 1