Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

On rational functions with more than three branch points

On rational functions with more than three branch points On rational functions with more than three branch points 1 2 JijianSongandBinXu O tober15,2018 1,2 WuWen-TsunKeyLaboratoryofMathemati s,USTC,ChineseA ademyofS ien es 1,2 S hoolofMathemati alS ien es,UniversityofS ien eandTe hnologyofChina. No.96JinzhaiRoad,Hefei,AnhuiProvin e230026P.R.China. 1 2 smathmail.ust .edu. nbxuust .edu. n Abstract:Let Λbea olle tionofpartitionsofapositiveinteger doftheform (a ,··· ,a ), (b ,··· ,b ), (m + 1,1,··· ,1),··· ,(m + 1,1,··· ,1), 1 p 1 q 1 l where (m ,··· ,m )isapartitionof p + q − 2 > 0.Weprovethatthereexistsarational 1 l fun tionontheRiemannsphere Cwithbran hdata Λifandonlyif max m ,··· ,m < . 1 l GCD(a ,··· ,a ,b ,··· ,b ) 1 p 1 q Asanappli ation,wegiveanew lassofbran hdatawhi h anberealizedbyBelyi fun tionsontheRiemannsphere. Keywords.bran hdata,RealizabilityProblem,Belyifun tion,Riemann’sexisten e theorem 2010 Mathematics Subject Classification.Primary20B35;se ondary14H30 1 Introduction Let Xand Ybetwo ompa t onne tedRiemannsurfa esand f : X → Yaholomorphi bran hed overingofdegree d.Forea hpoint qin Y,thereasso iatesapartition λ(q) = (k ,...,k )of dsu hthat,overasuitableneighborhoodof qin Y, fisequivalenttothe 1 r map {1,...,r}×D →D, (j,z) 7→ z ,where D := {z ∈C : |z| < 1}, with q orrespondingto 0in D.Foranypartition λ = (k ,k ,··· ,k )of d,wedeneits 1 2 r lengthLen(λ) = r.We allthepartition λof dnon-trivialifLen(λ) < d.Forthemorphism arXiv:1510.06291v3 [math.GT] 8 Oct 2016 Onrationalfun tionson C f : X → Y,thebran hset B onsistsofthosepoints qin Yforwhi h λ(q)isnontrivial. The olle tion Λ = {λ(q) : q ∈ B }(withrepetitionsallowed)is alledthebran hdataof fand v(f) := d −Len λ(q) q∈B(f) thetotalbran hingof f.BytheRiemann-Hurwitztheorem,wehavethat v(f) = 2g(X) − 2 − d 2g(Y) − 2 where g(X)(resp. g(Y))denotesthegenusof X(resp. Y).Therefore,thetotalbran hing v(f)isanevennon-negativeinteger. ThefollowingproblemwasrstproposedbyEdmonds-Kulkarni-Stong[4℄andwe an tra eitshistorytoHurwitz[8℄. Realizability Problem.Givena ompa t onne tedRiemannsurfa e Yanda olle tion Λ = {λ ,··· ,λ }ofnon-trivialpartitionsofapositiveinteger d,doesthereexistanother 1 k ompa t onne tedRiemannsurfa e Xtogetherwithabran hed overing f : X → Ysu h that Λisitsbran hdata? Ifitisthe aseabove,we allthe olle tion Λisrealizableorrealizedbyabran hed overing. Seethe lassi al[2,4,5,6,7,9,10,12,13,21,22℄andthemorere ent[1,11,14,15, 16,17,18,19,20,23℄aboutthisproblem.Hereweonlyreviewsomene essaryba kground andasmallpartofknownresultswhi hare loselyrelatedtoourdis ussionsinthesequel. Re allthatinordertoberealizable,a olle tion Λshouldsatisfythe onditionthat itstotalbran hing v(Λ) := d −Len(λ ) j=1 iseven.We allsu ha olle tion ompatible.Itisprovedin[9,Theorem9℄and[4, Se tion3℄thata ompatible olle tionisalwaysrealizableif g(Y) > 0.Hen e,wealways assumethat YistheRiemannsphere Cinthesequel.Namely,wearegoingtoonly onsiderrationalfun tionson ompa tRiemannsurfa es.Itturnsoutthata ompatible olle tionisnotalwaysrealizableinthis ase.We alla ompatible olle tionanex eption ifitisnotrealizable.Zheng[23℄foundedby omputeralltheex eptionsofdegree ≤ 22. Pervova-Petronio[19,20℄usedavarietyofte hniquestogivesomenewinniteseries ofex eptions,andtheyuseddessinsd’enfantstomakeatheoreti alexplanationtopart oftheex eptionsgivenbyZheng[23℄.Insteadof onstru tingex eptions,Edmonds- Kulkarni-Stong[4℄proposedtheso- alledprimedegree onje ture,whi hsaysthatea h ompatible olle tionwithprimedegreeisrealizableandthis onje turewasredu edin thesamepapertothe olle tionswithonlythreepartitions.In[17,18℄,Pas ali-Petronio provedsomeresultswhi hprovidedstrongsupporttothis onje ture. Chara terizingbran hdataofallrationalfun tionsisaverydeepanddiÆ ultproblem, whi hseemsfarfrombeinga essiblenowadays.Hen e,itismeaningfultondreasonably simple,suÆ ient onditionsforrealizable olle tions.Besidesthetheoremsin[17,18,19, 20℄,someoftheotherknownresultsareasfollows:Thom[22℄showedthata ompatible 2 Onrationalfun tionson C olle tionisrealizableifonepartitioninithaslengthone.Edmonds-Kulkarni-Stong[4, Theorem5.4℄provedthata ompatible olle tionwithdegree d 6= 4isrealizablewhenits totalbran hing ≥ 3(d−1).Inaddition,theex eptionswith d = 4arepre iselythosewith partitions (2,2),··· ,(2,2),(3,1).Moreover,Bo ara[2℄obtaineda ompletedetermination oftherealizabilityofthe olle tion Λwhi h onsistsofthefollowingthreepartitionsof d: (a ,··· ,a ), (b ,··· ,b ), (m + 1,1,··· ,1). p q 1 1 Heprovedthat Λisrealizableifandonlyitsatisesoneofthefollowingtwo onditions: • v(Λ) ≥ 2diseven. • v(Λ) = 2d−2and m <.Notethat m = p+q−2inthis ase. GCD(a ,··· ,a ,b ,··· ,b ) 1 p 1 q Generalizingthese ondpartofBo ara’sresult.Weshowthefollowing Theorem 1.1(MainTheorem).Let dand lbetwopositiveintegers.Givena olle - tion Λ onsistsof l + 2partitionsof d: Λ = {(a ,··· ,a ), (b ,··· ,b ), (m + 1,1,··· ,1),··· ,(m + 1,1,··· ,1)} 1 p 1 q 1 l with (m ,··· ,m )apartitionof p + q − 2 > 0.Thenthereexistsarationalfun tion 1 l on Cwith Λasitsbran hdataifandonlyif max m ,··· ,m < . 1 l GCD(a ,··· ,a ,b ,··· ,b ) 1 p 1 q We allarationalfun tionona ompa tRiemannsurfa eaBelyifun tionifithas atmostthreebran hpoints.Asanappli ationofmaintheorem,wehave Theorem 1.2.Let dand rbetwopositiveintegers,anda olle tion Λ onsistof partitionsof d: Λ = {(a ,··· ,a ), (b ,··· ,b ), (c + 1,··· ,c + 1,1,··· ,1)} 1 p 1 q 1 r where (c ,··· ,c )isapartitionof p + q − 2 > 0.If 1 r max c ,··· ,c < GCD(a ,··· ,a ,b ,··· ,b ) 1 p 1 q thenthemodied olle tion Λ := {(ra ,··· ,ra ), (rb ,··· ,rb ), (c + 1,··· ,c + 1,1,··· ,1)} 1 p 1 q 1 r ofpartitionsof dr anberealizedbyaBelyifun tionon C. Intheremainingofthearti le,wegiveproofsofthetwotheorems.Andatthe veryend,weproposea onje ture on erningrationalfun tionsonaRiemannsurfa eof positivegenus,whi hisanaturalgeneralizationofourmaintheorem 3 Onrationalfun tionson C 2 Proof of main theorem InSubse tion2.1weprovethene essarypartofmaintheoremandobservethatthe suÆ ientpart anberedu edtothe aseofGCD(a ,··· ,a ,b ,··· ,b ) = 1.Moreover,we 1 p 1 q re allthatbytheRiemannexisten etheorem([3,Theorem2,p.49℄)thesuÆ ientpartis equivalenttotheexisten eof ertainpermutationsinthesymmetrygroup S := S d {1,2,···,d} asso iatedwiththe olle tion Λ.Forthe ompleteness,wegiveinSubse tion2.2aproof inourownstrategyforthe aseof l = 1ofmaintheoremwhi hwasalsoprovedbyBo ara [2℄.WeproveCase l ≥ 2ofmaintheoreminSubse tion2.3. 2.1 Riemann existence theorem Atrst,weprovethene essarypartofmaintheorem. Proof.Supposethatthereexistsarationalfun tion fon Crealizingthebran hdata Λ. UsingsuitableMobiustransformationsifne essary,we anassumethat fhasform a a 1 p (z − z ) ···(z − z ) 1 p f(z) =(1) 1 q (z − w ) ···(z − w ) 1 q where z , ··· , z , w , ··· , ware (p + q)distin t omplexnumbers.Let 1 p 1 q k =GCD(a ,··· ,a ,b ,··· ,b ). 1 p 1 q Thenwe anwrite fas f = Fforsomerationalfun tionon C.And Fhasbran hdataof theform {(a /k,··· ,a /k), (b /k,··· ,b /k), (m + 1,1,··· ,1),··· ,(m + 1,1,··· ,1)}. 1 p 1 q 1 l Sin e Fhasdegree d/k,max m ,··· ,m < d/k.Wearedoneinthispart. 1 l Ontheotherhand,reversingtheorderoftheaboveargument,weseethatifthe olle tion {(a /k,··· ,a /k), (b /k,··· ,b /k), (m + 1,1,··· ,1),··· ,(m + 1,1,··· ,1)} 1 p 1 q 1 l isrealizedbysomerationalfun tion,thensois Λ.Hen e,inordertoshowthesuÆ ient part,wemayassumeGCD(a ,··· ,b ) = 1. 1 q WeneedtopreparesomenotionsbeforeprovingthesuÆ ientpartofmaintheorem. Definition 2.1.Let mbeanon-negativeinteger.Ave tor α = (a , a , ··· , a )in 1 2 m+2 m+2 Zis alledaresidueve torwith (m + 2) omponentsif a + a + ··· + a = 0and 1 2 m+2 a a ···a 6= 0.Tworesidueve tors α = (a ,··· ,a )and β = (b ,··· ,b )are alled 1 2 m+2 1 m+2 1 m+2 equivalent,denotedby α ∼ β,ifthereisanonzerorationalnumber μandapermutation σinthesymmetrygroup Ssu hthat m+2 μ· α = (μa ,··· ,μa ) = σ(β) := b ,··· ,b . 1 m+2 σ(1) σ(m+2) 4 Onrationalfun tionson C Thisisanequivalen erelationinthesetofresidueve torswith (m+2) omponents.The degreeoftheresidueve tor αisdenedtobe a >0 deg a ,··· ,a = . 1 m+2 GCD a ,··· ,a 1 m+2 We allaresidueve tor α = (a ,··· ,a )primitiveifGCD(a ,··· ,a ) = 1.Clearly, 1 m+2 1 m+2 thedegreeofaprimitiveresidueve torequalsthesumofallitspositive omponents.Ob- df servealsothatthelogarithmi dierential d(log f) =ofarationalfun tion fin(1)has residues a ,··· ,a ,−b ,··· ,−b,whi hformaresidueve torwithdegree d/GCD a ,··· ,a ,b ,··· ,b. 1 p 1 q 1 p 1 q Definition 2.2.Let λ = (λ , λ , ··· , λ )beapartitionofapositiveinteger n.Theweight 1 2 l of λisdenedtobe wt(λ) =max(λ ,··· ,λ ) 1 l Usethenotionsinmaintheoremanddenoteby λthepartition (m ,··· ,m )of m = 1 l p + q − 2 > 0andby αtheresidueve tor (a ,··· ,a ,−b ,··· ,−b ).Thenthe ondition 1 p 1 q inthetheorem anbe on iselyre-expressedas degα >wt(λ). BytheRiemannexisten etheorem[3,Theorem2,p.49℄,thesuÆ ientpartofthemain theoremisequivalenttothefollowing Theorem 2.1.Undertheassumptionsofmaintheorem,ifdegα >wt(λ),thenthere exist (l + 2)permutationsof τ ,τ ,σ ,··· ,σinthesymmetrygroup S = Sof 1 2 1 l d {1,2,··· ,d} {1,2,··· ,d}su hthat τ τ σ ···σ = e,where eistheunitin Sandpermutationsaremultipliedfrom 1 2 1 l d righttoleft; 1 1 1 1 1 1 1 d−m −1 τhasthetypeof a a ···a, τof b b ···band σof (1+m ) 1forall 1 p 2 q k k 1 2 1 2 k = 1,··· ,l; Thesubgroup hτ ,τ ,σ ,··· ,σ iof Sa tstransitivelyon {1,2,··· ,d}. 1 2 1 l d Thefollowinglemmawillbeusefullater,whi hfollowsfromtheRiemannexisten e theoremandtheargumentintherstthreeparagraphsofthissubse tion. Lemma 2.1.Forea h m ≥ 0,provingTheorem2.1isequivalenttoprovingitsvariant where αisprimitive.We allthelattertheprimitiveversionofTheorem2.1. WeshallproveTheorem2.1anditsprimitiveversionsimultaneouslybyindu tion on m = p + q − 2inthesequelofthisse tion.Theproofwillbedividedintotwoparts regarding l = 1or l > 1. Withoutlossofgenerality,wemayassumetheresidueve torsatisesthefollowing orderassumption: Order Assumption (OA) a ≤ a ≤ ··· ≤ a, b ≥ ··· ≥ band 1 ≤ p ≤ q. p q 1 2 1 5 Onrationalfun tionson C 2.2 Branch data with three partitions Forthe ompletenessofthemanus ript,wein ludeinthissubse tiontheproofofthewell known asewhere l = 1ofTheorem2.1(see[2℄),whosestrategywealsousewhileproving inSubse tion2.3the l > 1 aseofthetheorem. Herewerstmakeare allofthe ase l = 1ofTheorem2.1. Proposition 2.1(Case l = 1ofTheorem2.1).Let α = (a ,··· ,a ,−b ,··· ,−b )bea 1 p 1 q residueve torand λ = (m)beapartitionof m = p+q−2 > 0su hthatdegα >wt(λ) = m.Thenthereexistthreepermutations τ ,τ ,σin Ssatisfyingthefollowingthree 1 2 1 d properties: τ τ σ = e; 1 2 1 1 1 1 1 1 1 1 d−m−1 τhasthetypeof a a ···a, τof b b ···band σof (1 + m) 1; 1 2 1 1 2 p 1 2 q Thesubgroup hτ ,τ ,σ iof Sa tstransitivelyon {1,2,··· ,d}. 1 2 1 d Lemma 2.2.Let α = (a ,··· ,a ,−b ,··· ,−b )bearesidueve torwithdegα > m = 1 p 1 q p + q − 2.If m > 0,wehave a > b. p q p q P P Proof.If a < b,thenitfollowsfromtheorderassumption(OA)that a < b, p q i j i=1 j=1 ontradi tingthedenitionofresidueve tor.If a − b = 0,thenbyOAand m = p + p q q − 2 > 0wehave p = q ≥ 2and a = bforall i = 1,2,··· ,pand j = 1,2,··· ,q.Sin e i j p =deg α > m = p + q − 2 = 2p − 2 = 2q − 2,weobtain p = q = 1,whi h ontradi ts p + q > 2. ToproveProposition2.1,weneedtousethefollowinglemma,whereweproposea new on ept, alled ontra tionofaresidueve tor. Lemma 2.3.UndertheassumptionsofProposition2.1,thereexist i ∈ {1,2,··· ,p} and j ∈ {1,2,··· ,q}su hthat α = a ,··· ,a ,a − b ,a ,··· ,a , −b ,··· ,(−b ),··· ,−b 1 i −1 i j i +1 p 1 j q 0 0 0 0 0 isaresidueve torwithdeg α > m − 1,where a − b > 0andthehatoverterm i j 0 0 (−b )meansthat (−b )isremoved.Notethatthenumberof omponentsof α bis j j 0 0 onelessthanthatof α.We all α ba contractionof α. Proof.Withoutlossofgenerality,weassume αisprimitive.Ifnot,wemayrepla eitby aprimitiveresidueve torequivalenttoit. ByOAandLemma2.2,wehave q ≥ 2and a − b > 0,andthenweobtainanother p q residueve tor β := a ,··· ,a , a − b , −b ,··· ,−b 1 1 p−1 p q 1 q−1 with (m − 1) omponents.Wedividetheproofintothefollowingthreesteps. 6 Onrationalfun tionson C Step1.Assume q = 2.Then m = p + q − 2 = panddegβ ≥ p,so βisa ontra tionof α. 1 1 Weassumethat q > 2inthesequeloftheproof. Step2.Supposethat βisprimitive.Thendegβ > (m − 1) = (p + q − 3),soitgivesa 1 1 ontra tionof α.Indeed,ifnot,thenbyOAwehave p q q−1 X X X 2q − 2 ≥ p + q − 2 >degβ = −b + a = −b + b = b . q q 1 i j j i=1 j=1 j=1 thus b = b = 1and b ≤ 2.Moreover,if b = 2,then b = ··· = b = 2. q−1 q q−2 q−2 1 q−2 Therefore q−1 q p X X X m + 1 = p + q − 1 > 1 + b = b = a =degα, j j i j=1 j=1 i=1 whi h ontradi tstheassumptiononthedegreeof α.Weassumethat βis not primitiveintheleftpartoftheproof. Step3.Ifdeg β > (m−1),thenwearedone.Sowithoutlossofgenerality,supposedeg β ≤ 1 1 (m − 1) = (p + q − 3).Let D > 1bethegreatest ommondivisorofall omponents of β.Then,byOAandthedenitionofdegree,weobtainthat p−1 q−1 X X a − b a p q i j 2q − 2 ≥ p + q − 2 >degβ = + = . D D D i=1 j=1 Hen e b = D, D|bforall j = 1,··· ,q−2, D|aforall i = 1,··· ,p−1,and D|(a − q−1 j i p b ).Consequently, a ≥ b + D > D = bandweobtainanotherresidueve tor q p q q−1 β := a ,··· ,a , a − b , −b ,··· ,−b , −b 2 1 p−1 p q−1 1 q−2 q with (m − 1) omponents.Ifdegβ > (m − 1),thenwearedone.Sosuppose degβ ≤ (m − 1).Wedivideourdis ussionintotwo ases: βisprimitiveand 2 2 otherwise. (a)First,supposethat βisprimitive.Sin edegβ < m,wendthat b = 1 2 2 q and b ≤ 2byasameargumentfor βinstep2.Asaresult 2 ≥ b ≥ q−2 1 q−2 b = D > 1,andthus b = b = D = 2.Bythesameargumentfor β,we q−1 q−2 q−1 1 dedu ethat b = ··· = b = D = 2and a ,··· ,aareeven.Inparti ular, 1 q−1 1 p−1 a − b = a − 1 > 0.Hen e 1 q 1 α b := a − b ,a ,··· ,a , −b ,··· ,−b 1 q 2 p 1 q−1 isaprimitiveresidueve torwith (m − 1) omponents.Moreover,degα b = 2q − 2 ≥ p + q − 2 = m > m − 1andthus bformsa ontra tionof α. (b)Se ond,if βisnotprimitive.Asimilarargumentasinthe βnotprimitive 2 1 asegivesthat b = Eand b = Eor 2E,where Eisthegreatest ommon q q−2 divisorofthe omponentsof β.ByOA, E = b ≤ b.If D = b = b = 2 q q−1 q−1 q E,then E|(a − b )implyingthat Edividesallthe omponentsof α,this q−1 7 Onrationalfun tionson C ontradi tstheprimitivepropertyof α.Hen e, E = b < b ≤ b.Also q q−1 q−2 sin e b = Eor 2E,wehave b = 2Eand 1 ≤ b /b < 2.Re allthat q−2 q−2 q−2 q−1 b = Dand D|b,so D = b = b = 2E = 2band E|a,whi hgives q−1 q−2 q−1 q−2 q p thesame ontradi tionasabove. WeshallproveProposition2.1byindu tionon m.Tothisend,weneedtwolemmas. Lemma 2.4.Let σand τbetwopermutationsin Sforsomepositiveinteger dsu h that σisa y leoflengthgreaterthan 1and τhasform ν ν ···ν,where ν’sare 1 2 r i mutuallydisjoint y lesoflength dfor i = 1,2,··· ,rand d + d + ··· + d = d.We i 1 2 r all ν’s cycle factorsof τ.Thenthefollowingtwo onditionsareequivalent: (i)Thesubgroup hσ,τiof Sa tstransitivelyontheset {1,2,··· ,d}. (ii)Ea h y lefa tor νof τinterse tsthe y le σinthesensethatthesubsetof {1,2,··· ,d}asso iatedwith νinterse tsthatasso iatedwiththe y le σ. Proof.(i) ⇒(ii)Weprovetheinterse tionby ontradi tion.Supposethatthereexists a y lefa tor νof τnotinterse ting σ.Then νisa y lefa torof τσ.Therefore,the i i subsetasso iatedwith νformsanorbitunderthea tionofthesubgroup hτ,σiof Son i d theset {1,2,··· ,d}.Sin ethisa tionistransitive,the y le νhaslength d.Hen e, ν i i mustinterse t σ, ontradi tion! (ii) ⇒(i)Forea h 1 ≤ i ≤ r,we hooseanumber xlyinginboth νand σ.Consider i i thea tionofthesubgroup hτ,σiontheset {1,··· ,d}.Then x ,··· ,xlieinthesame 1 r orbitofthisa tionbyassumption.Moreover,forea h 1 ≤ i ≤ r, xbelongstothesame orbitwithanyothernumbersinthe y le ν,andthenumbersin ν ···νexhaustallthe i 1 numbersin {1,··· ,d}.Therefore,thea tionhasasingleorbit. Remark 2.1.We onsideramoregeneral aseofthepartof(i)⇒(ii)intheabove lemmabyrepla ing σby σ ,σ ,··· ,σ,allofwhi hare y lesin Soflengthgreater 1 2 l d than 1.Supposethatthesubgroup hσ ,σ ,··· ,σ ,τiof Sa tstransitivelyontheset 1 2 l d {1,2,··· ,d}.Thenitfollowsfromasimilarargumentasinthepre edingproofthat ea h y lefa torof τmustinterse tsome σfor 1 ≤ k ≤ l.However,for l ≥ 2,the onversefailsingeneral.Forexample,thesubgroupof Sgeneratedby (12),(34)and (12)(34)a tsontheset {1,2,3,4}withthetwoorbitsof {1,2}and {3,4}. Lemma 2.5.UndertheassumptionsofProposition2.1,supposethatthereexist 1 1 1 permutations τ ,τ ,σin Ssu hthat τ τ σ = eandtheyhavetypesof a a ···a, 1 2 1 d 1 2 1 1 2 p 1 1 1 1 d−m−1 b b ···band (1 + m) 1,respe tively.Thenthesubgroup hτ ,τ ,σ ia tstran- 1 2 1 1 2 q sitivelyontheset {1,2,··· ,d}ifandonlyifea h y lefa torof τand τinterse ts 1 2 the (m + 1)- y le σ. Proof.Sin e τ τ σ = e,thefollowingthreesubgroups oin idewithea hother: 1 2 1 hτ ,σ i = hτ ,τ ,σ i = hτ ,σ i. 1 1 1 2 1 2 1 TheresultfollowsfromLemma2.4. 8 Onrationalfun tionson C NowwegivetheproofofProposition2.1. Proof.Wearguebyindu tionon m = p + q − 2 ≥ 0.Itholdstriviallyas m = 0,whi his equivalentto p = q = 1.Assume p + q > 2inwhatfollows.ByLemma2.3,thereexistsa ontra tion α bof α.Withoutlossofgenerality,weassumethatthe ontra tion α bhasthe form α = a ,··· ,a ,a − b , −b ,··· ,−b . 1 p−1 p q 1 q−1 Bytheindu tionhypothesis,thereexistin Sapermutation τ = ν ν ···νoftype d−b 2 1 2 q−1 1 1 1 b b ···banda y le σoflength (p +q−2)su hthat τ σ = ν ν ···ν σhastype 1 2 1 1 2 q−1 1 1 2 q−1 1 1 1 of a ···a (a − b )andthesubgroupgeneratedby τand σa tstransitivelyonthe p q 2 1 1 p−1 set {1,2,··· ,d − b },where νisa y lefa toroflength bof τforall j = 1,2,··· ,q − 1. j j 2 Inaddition,bytheindu tionhypothesis, τ σhastheform 2 1 ν ν ···ν σ = μ μ ···μ 1 2 q−1 1 1 2 p where μ’saremutuallydisjoint y lesfor 1 ≤ i ≤ p,thelengthof μis (a − b )and μ i p p q k hasthelength afor 1 ≤ k ≤ p − 1. ByLemma2.5,we an hooseaninteger 1 ≤ x ≤ (d − b )lyinginboth μand σ. q p 1 Choosein Sa y le νoflength bsu hthat νdoesnotinterse t νforall j = 1,··· ,q−1, d q q q j forexample ν = (d,d−1,··· ,d−b +1)andpi kaninteger yin ν.Then ν ν ···ν ν q q q q 1 2 q−1 1 1 1 hastype b b ···band σf := σ (x,y)isa y leoflength (p + q − 1).Thesubgroup 1 1 1 2 q hν ν ···ν ν ,σfiof Sa tstransitivelyontheset {1,2,··· ,d}byLemma2.5.Wealso 1 2 q−1 q 1 d observethat μ~ := ν μ (x,y)isa y leoflength asin e νdoesnotinterse t μand p q p p q p xand yliein μand ν,respe tively.Moreover,sin e νdoesnotinterse t μforall p q q i 1 ≤ i ≤ p − 1, μ~doesnotinterse t μforall 1 ≤ i ≤ p − 1.Sowehave p i ν ν ···ν ν σ = ν ν ν ···ν σ (x,y) = ν μ μ ···μ (x,y) q q q p 1 2 q−1 1 1 2 q−1 1 1 2 = μ μ ···μ ν μ (x,y) = μ μ ···μ μ~ . 1 2 p−1 q p 1 2 p−1 p −1 Hen e,weseethatthethreepermutations μ μ ···μ μ~, ν ν ···ν νand σfin 1 2 p−1 p 1 2 q−1 q 1 SsatisfythethreepropertieslistedinProposition2.1. 2.3 Branch data with more than three partitions WeproveCase l ≥ 2ofTheorem2.1.Atrstwedealwithresidueve torswith omponents only ±1. Proposition 2.2.Let Dbeapositiveinteger.Assume α = (1,1,··· ,1,−1,−1,··· ,−1). | {z } | {z } D+1 D+1 Thenforea hpartition λ = (m ,m ,··· ,m )of 2Dsu hthatwt(λ) <deg α = D + 1, 1 2 l thereexist lpermutations σ ,··· ,σin Ssu hthatthefollowingpropertieshold 1 l D+1 σ ···σ = e; 1 l σ’sare y lesoflength (m + 1); j j 9 Onrationalfun tionson C hσ ,··· ,σ ia tstransitivelyontheset {1,··· ,D + 1}. 1 l Proof.Itiseasytoseethat l ≥ 2.Wedividetheproofby onsideringthree ases. Case1If l = 2,weknowthat m = m = Dsin e 2D = m +mand m , m ≤ D.Thenwe 1 2 1 2 1 2 aredoneby hoosing −1 σ = (1,2,··· ,D + 1), σ = σ . 1 2 Case2If l = 3.Sin e m , m , m ≤ Dand m + m + m = 2D,Wehave m + m ≥ D. 1 2 3 1 2 3 1 2 Choosing σ = (1,2,··· ,m + 1)and 1 1 σ = (1,m + 1,m ,m − 1,··· ,m + m − D + 2,m + 2,m + 3,··· ,D + 1), 2 1 1 1 1 3 1 1 | {z } | {z } m +m −D D−m 1 2 1 weobtain  ,2,3,··· ,m + m − D + 2),if m < D (m + 2,m + 3,··· ,D + 1 1 1 1 3 3  | {z } | {z } D−m m +m −D+1 1 1 3 σ σ = 1 2 (m + 2,m + 3,··· ,D + 1,2,3,··· ,m + 1,1),if m = D  1 1 1 3  | {z } | {z } D−m m +1 1 1 −1 Thenthepermutations σ ,σand σ σsatisfythethreeproperties. 1 2 1 2 Case3Suppose l > 3.Sin e m ,··· ,m ≤ D,we an hoose 1 < r ≤ lsu hthat m + m + 1 l 1 2 ··· + m ≤ Dand m + m + ··· + m > D. r−1 1 2 r Sub ase3.1Supposethat r < l.Choosing σ = (1,2,··· ,m + 1), 1 1 σ = (m + 1,m + 2,··· ,m + m + 1), 2 1 1 1 2 ··· σ = (m + ··· + m + 1,··· ,m + ···+ m + 1), r−1 1 r−2 1 r−1 weobtain τ := σ σ ···σ = (1,2,3,··· ,m + ··· + m + 1) 1 1 2 r−1 1 r−1 ByCase2,thereexisttwo y les τand τwhi hhavelength 1 + mand m + 2 3 r r+1 ··· + m + 1 < D + 1,respe tively,su hthat τ τ τ = e.Asthe onstru tionof l 1 2 3 σ ,··· ,σ,we annd σ ,σ ,··· ,σdire tlysu hthat σhasthetypeof 1 r−1 r+1 r+2 l j 1 D−m (1 + m ) 1for r + 1 ≤ j ≤ land σ ···σ = τ.Thereforethe l y lesof j r+1 l 3 σ , ··· ,σ , σ := τ , σ ,··· ,σsatisfythethreeproperties. 1 r−1 r 2 r+1 l Sub ase3.2Suppose r = l > 3.Sin e m +···+m = 2Dandmax m ,··· ,m ≤ D, 1 l 1 l wehave m + ··· + m = m = D.Thentheproblem anberedu edtoCase1by 1 l−1 l asimilarargumentasabove. 10 Onrationalfun tionson C To ompletetheproofofTheorem2.1,weneedthefollowinglemmaanditstwo orollaries. Lemma 2.6.Let Γbeasubgroupof S = Sforsomeinteger d > 1and θ ∈ S d {1,2,···,d} d bea y leoflengthgreaterthan 1.Assumethatthesubgroup Ggeneratedby Γ and θa tstransitivelyontheset {1,2,··· ,d}.Then,forea hnumber 1 ≤ x ≤ dnot ontainedin θ,the Γ-orbit Γxof xinterse ts θ. Proof.Weargueby ontradi tion.Supposethattheorbit Γxdoesnotinterse t θ.Take anarbitrarypermutation ξin G.We anexpressitas ξ = π π ···π 1 2 s whereeither π = θor π ∈ Γ.Let ξbethepermutationobtainedfromtheprodu t i i π π ···πbyremovingallthose π’ssatisfying π = θ.Then ξ ∈ Γ.Sin eea hnumber 1 2 s i i not ontainedin θisaxedpointof θ,bythehypothesisofthe ontradi tionargument, wendthat ξ(x) = ξ (x)isnot ontainedin θ.Sin e ξ ∈ Ghasbeen hosenarbitrarily,the orbit Gxdoesnotinterse t θ,whi h ontradi tsthat Ga tstransitivelyon {1,2,··· ,d}. Asanappli ationoftheabovelemma,wehave Corollary 2.1.Let γ ,γ ,··· ,γ ,θbe (l + 1)permutationsin Sforsomeinteger 1 2 l d−1 d > 2and θ = (x ,x ,··· ,x )bea y lein Soflength n > 1.Supposethatthe 1 2 n d−1 subgroup hγ ,γ ,··· ,γ ,θia tstransitivelyontheset {1,2,··· ,d − 1}.Thensodoes 1 2 l e e thesubgroup hγ ,γ ,··· ,γ ,θion {1,2,··· ,d},where θ := (x ,··· ,x ,d)isa y leof 1 2 l 1 n length (n + 1)in S. Proof.ByLemma2.6,we anseethatforea hnumber 1 ≤ x ≤ d − 1not ontainedin θ,thereexists γ ∈ Γ := hγ ,··· ,γ isu hthat γ(x)is ontainedin θ.Hen e,thea tionof 1 l hγ ,γ ,··· ,γ ,θion {1,2··· ,d}hasonlyoneorbit. 1 2 l Similarly,weobtain Corollary 2.2.Let γ ,γ ,··· ,γ ,θbepermutationsin Sforsomeinteger d > 2 1 2 l d and θ = (x ,x ,··· ,x )bea y leoflength 1 < n < d.Supposethatthesubgroup 1 2 hγ ,γ ,··· ,γ ,θia tstransitivelyontheset {1,2,··· ,d}.Thensodoesthesubgroup 1 2 l e e hγ ,γ ,··· ,γ ,θiof Sontheset {1,2,··· ,d},where θ = (x ,··· ,x ,y) ∈ Sisa y leof 1 2 l d 1 n d length (n + 1)with y ∈ {1,2,··· ,d}\{x ,··· ,x }. 1 n Nowwearriveatprovingthe ase l ≥ 2ofTheorem2.1. Proof.ByLemma2.1we ouldalsoassumethattheresidueve tor α = (a ,··· ,a ,−b ,··· ,−b ) 1 p 1 q isprimitivesothatdeg α = d = a + ··· + a = b + ··· + b. 1 p 1 q 11 Onrationalfun tionson C Part ISuppose d ≥ m + 1 = p + q − 1.ByProposition2.1thereexist τ ,τ, σsu hthat 1 2 (1) τ τ σ = e; 1 2 1 1 1 1 1 1 1 d−m−1 (2) τhastypeof a a ···a, τof b b ···b, σof (1 + m) 1; 1 2 1 2 p 1 2 q (3)thesubgroup hτ ,τ ,σia tstransitivelyon {1,2,··· ,d}. 1 2 Assumethat σ = (1,2,··· ,m+1)forsimpli ityofnotion.Wearedoneby hoosing σ = (1,2,··· ,m + 1), 1 1 σ = (m + 1,m + 2,··· ,m + m + 1), 2 1 1 1 2 ······ σ = (m + ··· + m + 1,m + ··· + m + 2,··· ,m + ··· + m + 1), l 1 l−1 1 l−1 1 l Part IISuppose d =degα ≤ m = p+q−2.Werstredu etheproblemtothetwo asesthat l = 2and l = 3,thenweprovethesetwo asesbyusingthe ontra tionargument andtheindu tionargumentsimilarastheproofofProposition2.1.Thedetails givenasfollowsformtheleftpartofthisse tion. q p+q ByOA,wehavethat d = b ≥ q ≥.Sin e d =degα >wt(λ) =max m ,··· ,m ), j 1 l j=1 thepartition λof m = (p + q − 2)hasatleasttwo omponents,i.e. l > 1. Atrstweshowthat Claim1:theproblem anberedu edtothetwo aseswherethepartitionsof mhavetwoandthree omponents,respe tively. ProofofClaim1 SupposethatPartIIholdsforea hpartitionof mwhi hhasthree omponentsand hasweightlessthan d.ThenweshallprovethatsodoesPartIIforea hpartition (m ,··· ,m )of msu hthat l > 3anditsweightislessthan d.Tothisend,sin e 1 l m ,··· ,m < d,we an hoose 1 < r ≤ lsu hthat 1 l m + ··· + m < dand m + ··· + m ≥ d. 1 r−1 1 r Weshalldeneanewpartition, alled λ,withthree omponentsasfollowing. ′ ′ ′ ′ •Suppose r < l.Thenwe onsiderthepartition λ := (m ,m ,m )of m,where 1 2 3 ′ ′ ′ m ,m ,maredenedby 1 2 3 ′ ′ ′ m := m + ···+ m < d, m := m < d, m := m + ··· + m . 1 r−1 r r+1 l 1 2 3 p+q Moreover,sin e d ≥,weobservethat p + q ′ ′ ′ m = p + q − 2 − (m + m ) < (p + q − d) − 1 ≤ − 1 ≤ d − 1. 3 1 2 •Suppose r = l > 3.Thenwe hoosethepartition λ := m + ··· + m ,m ,m 1 l−2 l−1 l of m,whi hhasweightlessthan d. Sin ethepartition λhasweightlessthan d,andwehaveassumedthevalid- ityofCase l = 3for αand λ,we anndin Sthefollowingvepermutations 12 Onrationalfun tionson C ′ ′ ′ τ ,τ ,σ ,σ ,σwhi hsatisfythethreeproperties.Byasimilar onstru tionas 1 2 1 2 3 Case3intheproofofProposition2.2,weknowthatthepropositionholdsforthe partition (m ,··· ,m ).Therefore,wehavejustiedthe laim. 1 l Wealwaysassume l = 2or 3intheleftpartoftheproof. Re allthatOAstatesthat 1 ≤ p ≤ q,a ≤ a ≤ ··· ≤ a , b ≥ b ≥ ··· ≥ b.Without 1 2 p 1 2 q lossofgenerality,wefurtherassume m ≤ m ≤ ··· ≤ mforthepartition λ.We 1 2 l allthesetwoassumptionsOAinthesequelbyanabuseofnotation. ByOA,we anseethatif a = 1,then a = a = ··· = a = b = b = ··· = b = 1and p 1 2 p 1 2 q wearedonebyProposition2.2.Wemayassumethat a > 1intheleftpartofthe proof.Sin e d ≤ m,wehave b ≤ p+q−2 ≤ 2q−2.Then,wehave b = b = 1. j q−1 j=1 Sin e m ≤ ··· ≤ mand a > 1,degα >wt(λ)and l = 2or 3,weobservethat mis 1 l p l alwaysgreaterthan 1ex eptwhen α = (2,1,−1,−1,−1)and λ = (1,1,1),forwhi h PartIIholdstrivially.Wemayassumethat m > 1intheleftpartoftheproof.In ordertodoindu tionon m,we hoosethepartition λ := m ,··· ,m ,(m − 1) 1 1 l−1 l of (m − 1)andtheresidueve tor α = a ,a ,··· ,a ,a − b ,−b ,−b ,··· ,−b 1 2 p−1 p q 1 2 q−1 with (p + q − 1) = (m + 1) omponents.Then,sin e b = b = 1, αisprimitive q−1 q and degα b = −1 +deg α. Thenwemakethefollowing b b Claim2:wt(λ ) <degα.Hen ewemaythinkof α, λasa ontra tionof α, λ 1 1 andweshallusetheformertodoindu tionargument. ProofofClaim2 (i)If m ≤ ··· ≤ m = m,thenwt(λ ) = m = mand 2m ≤ m = p +q−2 ≤ 1 l−1 l 1 l−1 l l 2q−2,i.e. m ≤ q−1.Ifdeg α b > q−1,thenwearedone.Assumedeg α b = q−1, whi himpliesthat b = ··· = b = 1and p < qsin e a > 1.Then 2m ≤ m = 1 q p l p + q − 2 < 2q − 2and m < q − 1.Hen edeg α = q − 1 > m =wt(λ ). l l 1 (ii)If m < m,thenwt(λ ) = m −1 =wt(λ)−1 <deg α−1 =deg α b.The laim l−1 l 1 l isproved. Thenintheleftpartoftheproofweusetheindu tionon mtoprovethatPartIIof Theorem2.1holdsprovidedthat lequalseither 2or 3.Weobservethattheinitial aseof m = 2holdstrivially,where α = (1,1,−1,−1)and λ = (1,1). –Suppose l = 2.Were alloursettingasfollows.Takeaprimitiveresidueve tor α = (a ,··· ,a ,−b ,··· ,−b ) p q 1 1 13 Onrationalfun tionson C andapartition λ = (m , m )of m = p + q − 2 ≥ 3su hthat d =deg α ≤ m, 1 2 and αand λsatisfyOA.Thenwehave 2 ≤ m =wt(λ) < dand b = b = 1. 2 q−1 q Then,by laim2,we ouldtakeanotherprimitiveresidueve tor α = (a ,a ,··· ,a ,a − b ,−b ,−b ,··· ,−b ) 1 2 p−1 p q 1 2 q−1 andanotherpartition λ = (m , m − 1)su hthatwt(λ ) <deg α = d − 1. 1 1 2 1 Bytheindu tionhypothesis,thereexistin S = Sapermutation d−1 {1,2,··· ,d−1} 1 1 oftype b ···b, alled τ,andtwo y les σ ,σoflength (1 + m ), m, 2 1 2 1 2 1 q−1 respe tively,su hthatthesubgroup hσ ,σ ,τ iof Sa tstransitivelyon 1 2 2 d−1 {1,2,··· ,d − 1}andthepermutation τ := τ σ σ 1 2 1 2 1 1 1 hasthetypeof a ···a (a − b ).Were-express τby τ = μ ···μsu h p q 1 1 1 p 1 p−1 that μ’sareits y lefa torsand μhaslength afor 1 ≤ j < pand μhas j j j p length (a − b ).Sin e b = 1,we anthinkof τasapermutationin S p q q 2 d 1 1 1 withthetypeof b ···b b.ByRemark2.1,the y lefa tor μinterse ts q p 1 q−1 either σor σ.WeshalldividetheleftpartoftheproofofCase l = 2into 1 2 thefollowingtwosteps. Step2.1Supposethat σinterse ts μ.Thenwepi kanumber xinboth σand 2 p 2 μanddene σe := σ (x,d)and μe := μ (x,d).Then,sin e b = 1, σeand p 2 2 p p q 2 μare y lesin Soflength (1 + m )and a,respe tively.Moreover,we p d 2 p have e e τ σ σ = μ μ ···μ μ . 2 1 2 1 2 p−1 Sin e hτ ,σ ,σ ia tstransitivelyontheset {1,2,··· ,d − 1},thea tion 2 1 2 of hτ ,σ ,σe iontheset {1,2,··· ,d}hasasingleorbitbyCorollary2.1. 2 1 2 −1 Therefore,thefollowingfourpermutations μ μ ···μ μe , τ , σ , σe 1 2 p−1 p 2 1 2 satisfythethreeproperties. Step2.2Supposethat σdoesnotinterse t μ.Then σinterse ts μ.Choosea 2 p 1 p number xinboth σand μ.Then 1 p τ σ σ (x,d) = μ ···μ (x,d) 2 1 2 1 p = μ ···μ μewhere μe := μ (x,d) 1 p−1 p p p =: τe 1 1 where τehasthetypeof a ···a.Meanwhile,sin e σdoesnotinterse t 1 2 (x,d),wehave τ = τ σ σ (x,d) = τ σ (x,d)σ =: τ σ σ , 1 2 1 2 2 1 2 2 2 ′ ′ where σ := σ (x,d)isa y leoflength (m + 2).Observethat σinter- 1 1 1 1 se ts σ.For,otherwise, σdoesnotinterse t σandthereare (m +m + 2 1 2 1 2 14 Onrationalfun tionson C 1)dierentnumbersappearinginboth σand σ,lyingin S.Hen e, 1 2 d−1 wehave (d − 1) ≥ 1 + m + m = 1 + m ≥ 1 + d, 1 2 ontradi tion! −s Takethesmallestpositiveinteger ssu hthat y := σ (x)is ontained in σ.Sin e xisnot ontainedin σ,bytheminimalpropertyof s, σ (y) 2 2 isnot ontainedin σ.We anrewrite σas ′ ′ ′ σ = (x ,x ,··· ,x ,y,σ (y)) = σe y,σ (y)with σe := (x ,··· ,x ,y). 1 2 m 1 1 1 m 1 1 1 1 1 Thenwehave ′ ′ ′ e e e e σ σ = σ y,σ (y) σ = σ σwhere σ := y,σ (y) σ , 2 1 2 1 2 2 2 1 1 1 and τe = τ σ σ = τ σe σe , 1 2 2 2 1 2 1 1 1 1 1 where τeand τhavetypesof a ···aand b ···b b,respe tively,and 1 2 1 p 1 q−1 q thetwo y les σeand σehavelengthsof 1+mand 1+m,respe tively. 1 2 1 2 Sin e hτ ,τe ,σ i = hτ ,σ ,σ ia tstransitivelyontheset {1,2,··· ,d}by 2 1 2 2 2 e e Corollary2.1,sodoes hτ ,τ ,σ ionthesamesetbyCorollary2.2.There- 2 1 2 −1 e e e fore,thefollowingfourpermutations τ , τ , σ , σsatisfythethree 1 2 1 2 properties. –Suppose l = 3.Wemayfurtherassumethat m +m ≥ d.Otherwise,repla ing 1 2 λby λ = (m + m , m )andusingthesimilarredu tionargumentasabove, 1 2 3 we anredu etheproblemtotheknown aseof l = 2. 1 1 Bytheindu tionhypothesis,thereexistin Spermutation τoftype b ···b d−1 2 1 q−1 andthree y les σ ,σ ,σoflength 1 + m ,1 + m ,m,respe tively,su hthat 1 2 3 1 2 3 thesubgroup hσ ,σ ,σ ,τ ia tstransitivelyontheset {1,2,··· ,d − 1}and 1 2 3 2 τ σ σ σ = τ = μ ···μ , 2 1 2 3 1 1 p 1 1 1 where τ = μ ···μhastype a ···a (a −b ), μ’sarethe y lefa torsof τ 1 1 p p q j 1 1 p−1 and μhaslength afor 1 ≤ j < pand μhaslength (a −b ) = (a −1).Sin e p p q p j j m + m ≥ d,byOA,anytwoofthethree y les σ ,σ ,σin Sinterse t 1 2 1 2 3 d−1 sin e 1 + m + m > d > d − 1for 1 ≤ i 6= j ≤ 3.Wedividetheleftpartofthe i j proofintothefollowingthreesteps. Step3.1If μinterse ts σ,wearedonebyasimilarargumentasinstep2.1. p 3 Step3.2If μinterse ts σbutdoesnotinterse t σ,theproofgoesthroughas p 2 3 Step2.2sin e σinterse ts σ. 2 3 Step3.3Supposethatneither σnor σinterse ts μ.Then,byRemark2.1, μ 2 3 p p interse ts σsin e hτ , σ , σ , σ ia tstransitivelyontheset {1,2,··· ,d− 1 1 1 2 3 15 Onrationalfun tionson C 1}.Choosinganumber xinboth μand σanddenoting μ := μ (x, d) p p p 1 and σ := σ (x, d),weobtain τ σ σ σ = τ σ σ σ (x, d) = μ ···μ μe =: τe 2 2 3 2 1 2 3 1 p−1 p 1 where σisa y leoflength (m + 2), μeisa y lefa torof τe,and τe 1 p 1 1 1 1 1 hasthetypeof a ···a a. 1 p−1 p Step3.3.ASupposethat σ ontainsanumberwhi hisnot ontainedin σ. 2 3 Thenwe ouldndin Sthethree y lesof e e ewithlength σ ,σ ,σ d 1 2 3 1 + m ,1 + m ,1 + m,respe tively,su hthat 1 2 3 τ σe σe σe = τe 2 1 2 3 1 e e e and hτ ,τ ,σ ,σ ia tstransitivelyon {1,2,··· ,d}.Indeed,rewrite σ 2 1 1 3 as σ = σe (b ,z ) 1 1 1 where bliesintheinterse tionof σand σ,thenumber zis on- 1 1 2 1 tainedin σbutnotin σ,and σeisa y leoflength (1+m ).Choose 2 1 1 σ := (b ,z )σandrewriteitas 1 1 2 σ = σ (b ,z ), 2 2 2 where bliesinboth σand σ,thenumber zis ontainedin σbut 2 2 3 2 2 notin σ, σeisa (1+m )- y le.Hen e σe := (b ,z )σisa (1+m )- 3 2 2 3 2 2 3 3 y leandtheequality τ σe σe σe = τeholds.Thenallthefollowing 2 1 2 3 1 subgroups ′ ′ hτ ,σ ,σ ,σ i = hτ ,τe ,σ ,σ i, hτ ,τe ,σ ,σ i = hτ ,τe ,σe ,σ i 2 2 3 2 1 2 3 2 1 3 2 1 1 3 1 2 e e e and hτ ,τ ,σ ,σ iof Sa ttransitivelyon {1,2,··· ,d}byCorollaries 2 1 1 3 d 2.1and2.2.Therefore,thefollowingpermutations −1 τe , τ , σe , σe , σe 1 2 1 2 3 satisfythethreeproperties. Step3.3.BSupposethateverynumberinthe y le σis ontainedin σ.Rewrite 2 3 σas σ = σ (b,z) where σeisa (1+m )- y le, bliesinboth σand σ, zisnot ontained 1 1 3 in σandthenitisnot ontainedin σ,either. 3 2 •Supposethat bisnot ontainedin σ.Then τ σ σ σ = τ σe (b, z)σ σ 2 2 3 2 1 2 3 = τ σe σ ((b,z)σ ) 2 1 2 3 = τ σe σ σe , 2 1 2 3 16 Onrationalfun tionson C where σ := (b,z)σisa (1 + m )- yl e.ByCorollary2.2,thesub- 3 3 3 group hτ ,τe ,σ ,σe ia tstransitivelyontheset {1,2,··· ,d}sin ethe 2 1 2 3 subgroup hτ ,τe ,σ ,σ i = hτ ,σ ,σ ,σ ihasthesameproperty.There- 2 1 2 3 2 2 3 −1 fore,thefollowingvepermutations τe , τ , σe , σ , σesatisfythe 1 2 1 2 3 threeproperties. •Supposethat bis ontainedin σ.Thenwehave ′ ′ ′ e e τ σ σ σ = τ σ ((b, z)σ )σ = τ σ σ σwhere σ := (b,z)σ . 1 2 3 2 1 2 3 2 1 2 3 2 2 ThenapplyingasimilarargumentinStep2.2to σand σ,weobtain thetwo y les σeand σewithlengthof (1+m ),(1+m ),respe tively, 2 3 2 3 su hthat σ σ = σe σeand τ σe σe σe = τe . 3 2 3 2 1 2 3 1 Moreover,byCorollaries2.1and2.2,thea tionof hτ ,τe ,σe ,σe ion 2 1 1 3 theset {1,2,··· ,d}istransitive.Therefore,thefollowingvepermu- −1 tations τe , τ , σe , σe , σesatisfythethreeproperties. 1 2 1 2 3 3 Proof of Theorem 1.2 WeproveTheorem1.2inthissubse tion. Proof.Considerthe olle tion Λ = {(a ,··· ,a ), (b ,··· ,b ), (c + 1,1,··· ,1),··· ,(c + 1,1,··· ,1)} 1 p 1 q 1 r ofdegree dandwithtotalbran hing 2d−2.ByTheorem2.1andtheRiemannexisten e theorem,thereexistsarationalfun tion fofdegree dontheRiemannspheresu hthat (i) fbran hesover 0, ∞, ζ, ···, ζ,where ζ =exp 2π −1/r. (ii)Thepartitionsoftheabovebran hpoints oin idewith (a ,··· ,a ), (b ,··· ,b ), (c + 1 p 1 q 1 1,1,··· ,1),··· ,(c + 1,1,··· ,1),respe tively. Then fistheBelyifun tionasdesired. 4 A conjecture InordertogeneralizetherstpartofBo ara’sresult,wemakethefollowing ConjectureLet d, gand lbethreepositiveintegers.Supposethatthe olle tion Λ onsistsof l + 2partitionsof dandhasform Λ = {(a ,··· ,a ), (b ,··· ,b ), (m + 1,1,··· ,1),··· ,(m + 1,1,··· ,1)}, 1 p 1 q 1 l 17 Onrationalfun tionson C where (m ,··· ,m )isapartitionof p + q − 2 + 2g.Thenthereexistsarationalfun tion 1 l onsome ompa tRiemannsurfa eofgenus gwithbran hdata Λifandonlyif max m ,··· ,m < d. 1 l Acknowledgments.TheauthorswouldliketoexpresshisdeepgratitudetoProfessor QingChen,ProfessorMaoShengandMrBoLifortheirvaluabledis ussionsduringthe ourseofthiswork.These ondauthorisindebtedtoMrWeiboFuforinforminghim [2,4,23℄. TherstauthorissupportedinpartbytheNationalNaturalS ien eFoundationof China(grantno.11426236).These ondauthorissupportedinpartbytheNational NaturalS ien eFoundationofChina(grantsno.11571330andno.11271343)andthe FundamentalResear hFundsfortheCentralUniversities(grantno.WK3470000003). References [1℄K.Baranski.Onrealizabilityofbran hed overingsonthesphere.Topol.Appl. 116(2001), 279-291. [2℄G.Bo ara.Cy les ommeproduitdedeuxpermutationsde lassesdonnees.Dis reteMath. 58(1982),129-142. [3℄S.Donaldson.Riemannsurfa es(OxfordUniversityPress,2011). [4℄A.L.Edmonds,R.S.KulkarniandR.E.Stong.Realizabilityofbran hed overingsof surfa es.Trans.Amer.Math.So . 282(2)(1984),773-790. [5℄C.L.Ezell.Bran hpointstru tureof overingmapsontononorientablesurfa e.Trans.Am. Math.So . 243(1978),123-133. [6℄G.Fran is.AssemblingRiemannsurfa eswithpres ribedboundary urvesandbran hpoints. IllinoisJ.Math. 20(1976),198-217. [7℄S.M.Gersten.Onbran hed overingsofthe2-spherebythe2-sphere.Pro .Amer.Math. So . 101(1987),761-766. [8℄A.Hurwitz.UberRiemann’s heFla henmitgegebenenVerzweigungspunkten.Math.Ann. 103(1891),1-60. [9℄D.H.Husemoller.Ramied overingsofRiemannsurfa es.DukeMath.J. 29(1962),167- [10℄A.G.KhovanskiiandS.Zdravskovska.Bran hed oversof Sandbraidgroups.J.Knot TheoryRamif. 5(1995),55-75. [11℄S.K.LandoandA.K.Zvonkin.GraphsonSurfa esandtheirAppli ations,Withan appendixbyDonB.Zagier(Springer-Verlag,Berlin,2004). 18 Onrationalfun tionson C [12℄A.D.Mednykh.Nonequivalent overingsofRiemannsurfa eswithagivenrami ationtype. Sib.Math.Zh. 25(1984),120-142. [13℄A.D.Mednykn.Bran hed overingofRiemannsurfa eswhosebran horders oin idewith themultipli ities.Comm.Algebra 18(1990),1517-1533. [14℄S.Monni,J.S.SongandY.S.Song.TheHurwitzenumerationproblemofbran hed overs andHodgeintegrals.J.Geom.Phys. 50(2004),223-256. [15℄A.OkounkovandR.Pandharipande.Gromov-Wittentheory,Hurwitztheoryand omplete y les.Ann.Math. 163(2006),517-560. [16℄F.Pakovi h.SolutionofHurwitzproblemforLaurentpolynomials.J.KnotTheoryRamif. 18(2009),271-302. [17℄M.A.Pas aliandC.Petronio.Surfa ebran hed oversandgeometri 2-orbifolds.Trans. Amer.Math.So . 361(2009),5885-5920. [18℄M.A.Pas aliandC.Petronio.Bran hed oversofthesphereandtheprime-degree onje ture. AnnalidiMatemati a. 191(2012),563-594. [19℄E.PervovaandC.Petronio.Ontheexisten eofbran hed overingsbetweensurfa eswith pres ribedbran hdata,I.AlgebraGeom.Topol. 6(2006),1957-1985. [20℄E.PervovaandC.Petronio.Ontheexisten eofbran hed overingsbetweensurfa eswith pres ribedbran hdata,II.J.KnotTheoryRamif. 17(2008),787-816. [21℄D.Singerman.SubgroupsofFu hsiangroupsandnitepermutationgroups.Bull.Lond. Math.So . 2(1970),319-323. [22℄R.Thom.L’equivalen ed’unefon tiondierentiableetd’unpolin^ome.Topology 3(suppl. 2)(1965),297-307. [23℄H.Zheng.Realizabilityofbran hed overingof S.Topol.Appl. 153(2006),2123-2134. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Mathematics arXiv (Cornell University)

On rational functions with more than three branch points

Song, Jijian; Xu, Bin
Mathematics , Volume 2020 (1510) – Oct 20, 2015
Download PDF
19 pages

Loading next page...
 
/lp/arxiv-cornell-university/on-rational-functions-with-more-than-three-branch-points-tm4cwQso8R
ISSN
1005-3867
eISSN
ARCH-3343
DOI
10.1142/S100538672000019X
Publisher site
See Article on Publisher Site

Abstract

On rational functions with more than three branch points 1 2 JijianSongandBinXu O tober15,2018 1,2 WuWen-TsunKeyLaboratoryofMathemati s,USTC,ChineseA ademyofS ien es 1,2 S hoolofMathemati alS ien es,UniversityofS ien eandTe hnologyofChina. No.96JinzhaiRoad,Hefei,AnhuiProvin e230026P.R.China. 1 2 smathmail.ust .edu. nbxuust .edu. n Abstract:Let Λbea olle tionofpartitionsofapositiveinteger doftheform (a ,··· ,a ), (b ,··· ,b ), (m + 1,1,··· ,1),··· ,(m + 1,1,··· ,1), 1 p 1 q 1 l where (m ,··· ,m )isapartitionof p + q − 2 > 0.Weprovethatthereexistsarational 1 l fun tionontheRiemannsphere Cwithbran hdata Λifandonlyif max m ,··· ,m < . 1 l GCD(a ,··· ,a ,b ,··· ,b ) 1 p 1 q Asanappli ation,wegiveanew lassofbran hdatawhi h anberealizedbyBelyi fun tionsontheRiemannsphere. Keywords.bran hdata,RealizabilityProblem,Belyifun tion,Riemann’sexisten e theorem 2010 Mathematics Subject Classification.Primary20B35;se ondary14H30 1 Introduction Let Xand Ybetwo ompa t onne tedRiemannsurfa esand f : X → Yaholomorphi bran hed overingofdegree d.Forea hpoint qin Y,thereasso iatesapartition λ(q) = (k ,...,k )of dsu hthat,overasuitableneighborhoodof qin Y, fisequivalenttothe 1 r map {1,...,r}×D →D, (j,z) 7→ z ,where D := {z ∈C : |z| < 1}, with q orrespondingto 0in D.Foranypartition λ = (k ,k ,··· ,k )of d,wedeneits 1 2 r lengthLen(λ) = r.We allthepartition λof dnon-trivialifLen(λ) < d.Forthemorphism arXiv:1510.06291v3 [math.GT] 8 Oct 2016 Onrationalfun tionson C f : X → Y,thebran hset B onsistsofthosepoints qin Yforwhi h λ(q)isnontrivial. The olle tion Λ = {λ(q) : q ∈ B }(withrepetitionsallowed)is alledthebran hdataof fand v(f) := d −Len λ(q) q∈B(f) thetotalbran hingof f.BytheRiemann-Hurwitztheorem,wehavethat v(f) = 2g(X) − 2 − d 2g(Y) − 2 where g(X)(resp. g(Y))denotesthegenusof X(resp. Y).Therefore,thetotalbran hing v(f)isanevennon-negativeinteger. ThefollowingproblemwasrstproposedbyEdmonds-Kulkarni-Stong[4℄andwe an tra eitshistorytoHurwitz[8℄. Realizability Problem.Givena ompa t onne tedRiemannsurfa e Yanda olle tion Λ = {λ ,··· ,λ }ofnon-trivialpartitionsofapositiveinteger d,doesthereexistanother 1 k ompa t onne tedRiemannsurfa e Xtogetherwithabran hed overing f : X → Ysu h that Λisitsbran hdata? Ifitisthe aseabove,we allthe olle tion Λisrealizableorrealizedbyabran hed overing. Seethe lassi al[2,4,5,6,7,9,10,12,13,21,22℄andthemorere ent[1,11,14,15, 16,17,18,19,20,23℄aboutthisproblem.Hereweonlyreviewsomene essaryba kground andasmallpartofknownresultswhi hare loselyrelatedtoourdis ussionsinthesequel. Re allthatinordertoberealizable,a olle tion Λshouldsatisfythe onditionthat itstotalbran hing v(Λ) := d −Len(λ ) j=1 iseven.We allsu ha olle tion ompatible.Itisprovedin[9,Theorem9℄and[4, Se tion3℄thata ompatible olle tionisalwaysrealizableif g(Y) > 0.Hen e,wealways assumethat YistheRiemannsphere Cinthesequel.Namely,wearegoingtoonly onsiderrationalfun tionson ompa tRiemannsurfa es.Itturnsoutthata ompatible olle tionisnotalwaysrealizableinthis ase.We alla ompatible olle tionanex eption ifitisnotrealizable.Zheng[23℄foundedby omputeralltheex eptionsofdegree ≤ 22. Pervova-Petronio[19,20℄usedavarietyofte hniquestogivesomenewinniteseries ofex eptions,andtheyuseddessinsd’enfantstomakeatheoreti alexplanationtopart oftheex eptionsgivenbyZheng[23℄.Insteadof onstru tingex eptions,Edmonds- Kulkarni-Stong[4℄proposedtheso- alledprimedegree onje ture,whi hsaysthatea h ompatible olle tionwithprimedegreeisrealizableandthis onje turewasredu edin thesamepapertothe olle tionswithonlythreepartitions.In[17,18℄,Pas ali-Petronio provedsomeresultswhi hprovidedstrongsupporttothis onje ture. Chara terizingbran hdataofallrationalfun tionsisaverydeepanddiÆ ultproblem, whi hseemsfarfrombeinga essiblenowadays.Hen e,itismeaningfultondreasonably simple,suÆ ient onditionsforrealizable olle tions.Besidesthetheoremsin[17,18,19, 20℄,someoftheotherknownresultsareasfollows:Thom[22℄showedthata ompatible 2 Onrationalfun tionson C olle tionisrealizableifonepartitioninithaslengthone.Edmonds-Kulkarni-Stong[4, Theorem5.4℄provedthata ompatible olle tionwithdegree d 6= 4isrealizablewhenits totalbran hing ≥ 3(d−1).Inaddition,theex eptionswith d = 4arepre iselythosewith partitions (2,2),··· ,(2,2),(3,1).Moreover,Bo ara[2℄obtaineda ompletedetermination oftherealizabilityofthe olle tion Λwhi h onsistsofthefollowingthreepartitionsof d: (a ,··· ,a ), (b ,··· ,b ), (m + 1,1,··· ,1). p q 1 1 Heprovedthat Λisrealizableifandonlyitsatisesoneofthefollowingtwo onditions: • v(Λ) ≥ 2diseven. • v(Λ) = 2d−2and m <.Notethat m = p+q−2inthis ase. GCD(a ,··· ,a ,b ,··· ,b ) 1 p 1 q Generalizingthese ondpartofBo ara’sresult.Weshowthefollowing Theorem 1.1(MainTheorem).Let dand lbetwopositiveintegers.Givena olle - tion Λ onsistsof l + 2partitionsof d: Λ = {(a ,··· ,a ), (b ,··· ,b ), (m + 1,1,··· ,1),··· ,(m + 1,1,··· ,1)} 1 p 1 q 1 l with (m ,··· ,m )apartitionof p + q − 2 > 0.Thenthereexistsarationalfun tion 1 l on Cwith Λasitsbran hdataifandonlyif max m ,··· ,m < . 1 l GCD(a ,··· ,a ,b ,··· ,b ) 1 p 1 q We allarationalfun tionona ompa tRiemannsurfa eaBelyifun tionifithas atmostthreebran hpoints.Asanappli ationofmaintheorem,wehave Theorem 1.2.Let dand rbetwopositiveintegers,anda olle tion Λ onsistof partitionsof d: Λ = {(a ,··· ,a ), (b ,··· ,b ), (c + 1,··· ,c + 1,1,··· ,1)} 1 p 1 q 1 r where (c ,··· ,c )isapartitionof p + q − 2 > 0.If 1 r max c ,··· ,c < GCD(a ,··· ,a ,b ,··· ,b ) 1 p 1 q thenthemodied olle tion Λ := {(ra ,··· ,ra ), (rb ,··· ,rb ), (c + 1,··· ,c + 1,1,··· ,1)} 1 p 1 q 1 r ofpartitionsof dr anberealizedbyaBelyifun tionon C. Intheremainingofthearti le,wegiveproofsofthetwotheorems.Andatthe veryend,weproposea onje ture on erningrationalfun tionsonaRiemannsurfa eof positivegenus,whi hisanaturalgeneralizationofourmaintheorem 3 Onrationalfun tionson C 2 Proof of main theorem InSubse tion2.1weprovethene essarypartofmaintheoremandobservethatthe suÆ ientpart anberedu edtothe aseofGCD(a ,··· ,a ,b ,··· ,b ) = 1.Moreover,we 1 p 1 q re allthatbytheRiemannexisten etheorem([3,Theorem2,p.49℄)thesuÆ ientpartis equivalenttotheexisten eof ertainpermutationsinthesymmetrygroup S := S d {1,2,···,d} asso iatedwiththe olle tion Λ.Forthe ompleteness,wegiveinSubse tion2.2aproof inourownstrategyforthe aseof l = 1ofmaintheoremwhi hwasalsoprovedbyBo ara [2℄.WeproveCase l ≥ 2ofmaintheoreminSubse tion2.3. 2.1 Riemann existence theorem Atrst,weprovethene essarypartofmaintheorem. Proof.Supposethatthereexistsarationalfun tion fon Crealizingthebran hdata Λ. UsingsuitableMobiustransformationsifne essary,we anassumethat fhasform a a 1 p (z − z ) ···(z − z ) 1 p f(z) =(1) 1 q (z − w ) ···(z − w ) 1 q where z , ··· , z , w , ··· , ware (p + q)distin t omplexnumbers.Let 1 p 1 q k =GCD(a ,··· ,a ,b ,··· ,b ). 1 p 1 q Thenwe anwrite fas f = Fforsomerationalfun tionon C.And Fhasbran hdataof theform {(a /k,··· ,a /k), (b /k,··· ,b /k), (m + 1,1,··· ,1),··· ,(m + 1,1,··· ,1)}. 1 p 1 q 1 l Sin e Fhasdegree d/k,max m ,··· ,m < d/k.Wearedoneinthispart. 1 l Ontheotherhand,reversingtheorderoftheaboveargument,weseethatifthe olle tion {(a /k,··· ,a /k), (b /k,··· ,b /k), (m + 1,1,··· ,1),··· ,(m + 1,1,··· ,1)} 1 p 1 q 1 l isrealizedbysomerationalfun tion,thensois Λ.Hen e,inordertoshowthesuÆ ient part,wemayassumeGCD(a ,··· ,b ) = 1. 1 q WeneedtopreparesomenotionsbeforeprovingthesuÆ ientpartofmaintheorem. Definition 2.1.Let mbeanon-negativeinteger.Ave tor α = (a , a , ··· , a )in 1 2 m+2 m+2 Zis alledaresidueve torwith (m + 2) omponentsif a + a + ··· + a = 0and 1 2 m+2 a a ···a 6= 0.Tworesidueve tors α = (a ,··· ,a )and β = (b ,··· ,b )are alled 1 2 m+2 1 m+2 1 m+2 equivalent,denotedby α ∼ β,ifthereisanonzerorationalnumber μandapermutation σinthesymmetrygroup Ssu hthat m+2 μ· α = (μa ,··· ,μa ) = σ(β) := b ,··· ,b . 1 m+2 σ(1) σ(m+2) 4 Onrationalfun tionson C Thisisanequivalen erelationinthesetofresidueve torswith (m+2) omponents.The degreeoftheresidueve tor αisdenedtobe a >0 deg a ,··· ,a = . 1 m+2 GCD a ,··· ,a 1 m+2 We allaresidueve tor α = (a ,··· ,a )primitiveifGCD(a ,··· ,a ) = 1.Clearly, 1 m+2 1 m+2 thedegreeofaprimitiveresidueve torequalsthesumofallitspositive omponents.Ob- df servealsothatthelogarithmi dierential d(log f) =ofarationalfun tion fin(1)has residues a ,··· ,a ,−b ,··· ,−b,whi hformaresidueve torwithdegree d/GCD a ,··· ,a ,b ,··· ,b. 1 p 1 q 1 p 1 q Definition 2.2.Let λ = (λ , λ , ··· , λ )beapartitionofapositiveinteger n.Theweight 1 2 l of λisdenedtobe wt(λ) =max(λ ,··· ,λ ) 1 l Usethenotionsinmaintheoremanddenoteby λthepartition (m ,··· ,m )of m = 1 l p + q − 2 > 0andby αtheresidueve tor (a ,··· ,a ,−b ,··· ,−b ).Thenthe ondition 1 p 1 q inthetheorem anbe on iselyre-expressedas degα >wt(λ). BytheRiemannexisten etheorem[3,Theorem2,p.49℄,thesuÆ ientpartofthemain theoremisequivalenttothefollowing Theorem 2.1.Undertheassumptionsofmaintheorem,ifdegα >wt(λ),thenthere exist (l + 2)permutationsof τ ,τ ,σ ,··· ,σinthesymmetrygroup S = Sof 1 2 1 l d {1,2,··· ,d} {1,2,··· ,d}su hthat τ τ σ ···σ = e,where eistheunitin Sandpermutationsaremultipliedfrom 1 2 1 l d righttoleft; 1 1 1 1 1 1 1 d−m −1 τhasthetypeof a a ···a, τof b b ···band σof (1+m ) 1forall 1 p 2 q k k 1 2 1 2 k = 1,··· ,l; Thesubgroup hτ ,τ ,σ ,··· ,σ iof Sa tstransitivelyon {1,2,··· ,d}. 1 2 1 l d Thefollowinglemmawillbeusefullater,whi hfollowsfromtheRiemannexisten e theoremandtheargumentintherstthreeparagraphsofthissubse tion. Lemma 2.1.Forea h m ≥ 0,provingTheorem2.1isequivalenttoprovingitsvariant where αisprimitive.We allthelattertheprimitiveversionofTheorem2.1. WeshallproveTheorem2.1anditsprimitiveversionsimultaneouslybyindu tion on m = p + q − 2inthesequelofthisse tion.Theproofwillbedividedintotwoparts regarding l = 1or l > 1. Withoutlossofgenerality,wemayassumetheresidueve torsatisesthefollowing orderassumption: Order Assumption (OA) a ≤ a ≤ ··· ≤ a, b ≥ ··· ≥ band 1 ≤ p ≤ q. p q 1 2 1 5 Onrationalfun tionson C 2.2 Branch data with three partitions Forthe ompletenessofthemanus ript,wein ludeinthissubse tiontheproofofthewell known asewhere l = 1ofTheorem2.1(see[2℄),whosestrategywealsousewhileproving inSubse tion2.3the l > 1 aseofthetheorem. Herewerstmakeare allofthe ase l = 1ofTheorem2.1. Proposition 2.1(Case l = 1ofTheorem2.1).Let α = (a ,··· ,a ,−b ,··· ,−b )bea 1 p 1 q residueve torand λ = (m)beapartitionof m = p+q−2 > 0su hthatdegα >wt(λ) = m.Thenthereexistthreepermutations τ ,τ ,σin Ssatisfyingthefollowingthree 1 2 1 d properties: τ τ σ = e; 1 2 1 1 1 1 1 1 1 1 d−m−1 τhasthetypeof a a ···a, τof b b ···band σof (1 + m) 1; 1 2 1 1 2 p 1 2 q Thesubgroup hτ ,τ ,σ iof Sa tstransitivelyon {1,2,··· ,d}. 1 2 1 d Lemma 2.2.Let α = (a ,··· ,a ,−b ,··· ,−b )bearesidueve torwithdegα > m = 1 p 1 q p + q − 2.If m > 0,wehave a > b. p q p q P P Proof.If a < b,thenitfollowsfromtheorderassumption(OA)that a < b, p q i j i=1 j=1 ontradi tingthedenitionofresidueve tor.If a − b = 0,thenbyOAand m = p + p q q − 2 > 0wehave p = q ≥ 2and a = bforall i = 1,2,··· ,pand j = 1,2,··· ,q.Sin e i j p =deg α > m = p + q − 2 = 2p − 2 = 2q − 2,weobtain p = q = 1,whi h ontradi ts p + q > 2. ToproveProposition2.1,weneedtousethefollowinglemma,whereweproposea new on ept, alled ontra tionofaresidueve tor. Lemma 2.3.UndertheassumptionsofProposition2.1,thereexist i ∈ {1,2,··· ,p} and j ∈ {1,2,··· ,q}su hthat α = a ,··· ,a ,a − b ,a ,··· ,a , −b ,··· ,(−b ),··· ,−b 1 i −1 i j i +1 p 1 j q 0 0 0 0 0 isaresidueve torwithdeg α > m − 1,where a − b > 0andthehatoverterm i j 0 0 (−b )meansthat (−b )isremoved.Notethatthenumberof omponentsof α bis j j 0 0 onelessthanthatof α.We all α ba contractionof α. Proof.Withoutlossofgenerality,weassume αisprimitive.Ifnot,wemayrepla eitby aprimitiveresidueve torequivalenttoit. ByOAandLemma2.2,wehave q ≥ 2and a − b > 0,andthenweobtainanother p q residueve tor β := a ,··· ,a , a − b , −b ,··· ,−b 1 1 p−1 p q 1 q−1 with (m − 1) omponents.Wedividetheproofintothefollowingthreesteps. 6 Onrationalfun tionson C Step1.Assume q = 2.Then m = p + q − 2 = panddegβ ≥ p,so βisa ontra tionof α. 1 1 Weassumethat q > 2inthesequeloftheproof. Step2.Supposethat βisprimitive.Thendegβ > (m − 1) = (p + q − 3),soitgivesa 1 1 ontra tionof α.Indeed,ifnot,thenbyOAwehave p q q−1 X X X 2q − 2 ≥ p + q − 2 >degβ = −b + a = −b + b = b . q q 1 i j j i=1 j=1 j=1 thus b = b = 1and b ≤ 2.Moreover,if b = 2,then b = ··· = b = 2. q−1 q q−2 q−2 1 q−2 Therefore q−1 q p X X X m + 1 = p + q − 1 > 1 + b = b = a =degα, j j i j=1 j=1 i=1 whi h ontradi tstheassumptiononthedegreeof α.Weassumethat βis not primitiveintheleftpartoftheproof. Step3.Ifdeg β > (m−1),thenwearedone.Sowithoutlossofgenerality,supposedeg β ≤ 1 1 (m − 1) = (p + q − 3).Let D > 1bethegreatest ommondivisorofall omponents of β.Then,byOAandthedenitionofdegree,weobtainthat p−1 q−1 X X a − b a p q i j 2q − 2 ≥ p + q − 2 >degβ = + = . D D D i=1 j=1 Hen e b = D, D|bforall j = 1,··· ,q−2, D|aforall i = 1,··· ,p−1,and D|(a − q−1 j i p b ).Consequently, a ≥ b + D > D = bandweobtainanotherresidueve tor q p q q−1 β := a ,··· ,a , a − b , −b ,··· ,−b , −b 2 1 p−1 p q−1 1 q−2 q with (m − 1) omponents.Ifdegβ > (m − 1),thenwearedone.Sosuppose degβ ≤ (m − 1).Wedivideourdis ussionintotwo ases: βisprimitiveand 2 2 otherwise. (a)First,supposethat βisprimitive.Sin edegβ < m,wendthat b = 1 2 2 q and b ≤ 2byasameargumentfor βinstep2.Asaresult 2 ≥ b ≥ q−2 1 q−2 b = D > 1,andthus b = b = D = 2.Bythesameargumentfor β,we q−1 q−2 q−1 1 dedu ethat b = ··· = b = D = 2and a ,··· ,aareeven.Inparti ular, 1 q−1 1 p−1 a − b = a − 1 > 0.Hen e 1 q 1 α b := a − b ,a ,··· ,a , −b ,··· ,−b 1 q 2 p 1 q−1 isaprimitiveresidueve torwith (m − 1) omponents.Moreover,degα b = 2q − 2 ≥ p + q − 2 = m > m − 1andthus bformsa ontra tionof α. (b)Se ond,if βisnotprimitive.Asimilarargumentasinthe βnotprimitive 2 1 asegivesthat b = Eand b = Eor 2E,where Eisthegreatest ommon q q−2 divisorofthe omponentsof β.ByOA, E = b ≤ b.If D = b = b = 2 q q−1 q−1 q E,then E|(a − b )implyingthat Edividesallthe omponentsof α,this q−1 7 Onrationalfun tionson C ontradi tstheprimitivepropertyof α.Hen e, E = b < b ≤ b.Also q q−1 q−2 sin e b = Eor 2E,wehave b = 2Eand 1 ≤ b /b < 2.Re allthat q−2 q−2 q−2 q−1 b = Dand D|b,so D = b = b = 2E = 2band E|a,whi hgives q−1 q−2 q−1 q−2 q p thesame ontradi tionasabove. WeshallproveProposition2.1byindu tionon m.Tothisend,weneedtwolemmas. Lemma 2.4.Let σand τbetwopermutationsin Sforsomepositiveinteger dsu h that σisa y leoflengthgreaterthan 1and τhasform ν ν ···ν,where ν’sare 1 2 r i mutuallydisjoint y lesoflength dfor i = 1,2,··· ,rand d + d + ··· + d = d.We i 1 2 r all ν’s cycle factorsof τ.Thenthefollowingtwo onditionsareequivalent: (i)Thesubgroup hσ,τiof Sa tstransitivelyontheset {1,2,··· ,d}. (ii)Ea h y lefa tor νof τinterse tsthe y le σinthesensethatthesubsetof {1,2,··· ,d}asso iatedwith νinterse tsthatasso iatedwiththe y le σ. Proof.(i) ⇒(ii)Weprovetheinterse tionby ontradi tion.Supposethatthereexists a y lefa tor νof τnotinterse ting σ.Then νisa y lefa torof τσ.Therefore,the i i subsetasso iatedwith νformsanorbitunderthea tionofthesubgroup hτ,σiof Son i d theset {1,2,··· ,d}.Sin ethisa tionistransitive,the y le νhaslength d.Hen e, ν i i mustinterse t σ, ontradi tion! (ii) ⇒(i)Forea h 1 ≤ i ≤ r,we hooseanumber xlyinginboth νand σ.Consider i i thea tionofthesubgroup hτ,σiontheset {1,··· ,d}.Then x ,··· ,xlieinthesame 1 r orbitofthisa tionbyassumption.Moreover,forea h 1 ≤ i ≤ r, xbelongstothesame orbitwithanyothernumbersinthe y le ν,andthenumbersin ν ···νexhaustallthe i 1 numbersin {1,··· ,d}.Therefore,thea tionhasasingleorbit. Remark 2.1.We onsideramoregeneral aseofthepartof(i)⇒(ii)intheabove lemmabyrepla ing σby σ ,σ ,··· ,σ,allofwhi hare y lesin Soflengthgreater 1 2 l d than 1.Supposethatthesubgroup hσ ,σ ,··· ,σ ,τiof Sa tstransitivelyontheset 1 2 l d {1,2,··· ,d}.Thenitfollowsfromasimilarargumentasinthepre edingproofthat ea h y lefa torof τmustinterse tsome σfor 1 ≤ k ≤ l.However,for l ≥ 2,the onversefailsingeneral.Forexample,thesubgroupof Sgeneratedby (12),(34)and (12)(34)a tsontheset {1,2,3,4}withthetwoorbitsof {1,2}and {3,4}. Lemma 2.5.UndertheassumptionsofProposition2.1,supposethatthereexist 1 1 1 permutations τ ,τ ,σin Ssu hthat τ τ σ = eandtheyhavetypesof a a ···a, 1 2 1 d 1 2 1 1 2 p 1 1 1 1 d−m−1 b b ···band (1 + m) 1,respe tively.Thenthesubgroup hτ ,τ ,σ ia tstran- 1 2 1 1 2 q sitivelyontheset {1,2,··· ,d}ifandonlyifea h y lefa torof τand τinterse ts 1 2 the (m + 1)- y le σ. Proof.Sin e τ τ σ = e,thefollowingthreesubgroups oin idewithea hother: 1 2 1 hτ ,σ i = hτ ,τ ,σ i = hτ ,σ i. 1 1 1 2 1 2 1 TheresultfollowsfromLemma2.4. 8 Onrationalfun tionson C NowwegivetheproofofProposition2.1. Proof.Wearguebyindu tionon m = p + q − 2 ≥ 0.Itholdstriviallyas m = 0,whi his equivalentto p = q = 1.Assume p + q > 2inwhatfollows.ByLemma2.3,thereexistsa ontra tion α bof α.Withoutlossofgenerality,weassumethatthe ontra tion α bhasthe form α = a ,··· ,a ,a − b , −b ,··· ,−b . 1 p−1 p q 1 q−1 Bytheindu tionhypothesis,thereexistin Sapermutation τ = ν ν ···νoftype d−b 2 1 2 q−1 1 1 1 b b ···banda y le σoflength (p +q−2)su hthat τ σ = ν ν ···ν σhastype 1 2 1 1 2 q−1 1 1 2 q−1 1 1 1 of a ···a (a − b )andthesubgroupgeneratedby τand σa tstransitivelyonthe p q 2 1 1 p−1 set {1,2,··· ,d − b },where νisa y lefa toroflength bof τforall j = 1,2,··· ,q − 1. j j 2 Inaddition,bytheindu tionhypothesis, τ σhastheform 2 1 ν ν ···ν σ = μ μ ···μ 1 2 q−1 1 1 2 p where μ’saremutuallydisjoint y lesfor 1 ≤ i ≤ p,thelengthof μis (a − b )and μ i p p q k hasthelength afor 1 ≤ k ≤ p − 1. ByLemma2.5,we an hooseaninteger 1 ≤ x ≤ (d − b )lyinginboth μand σ. q p 1 Choosein Sa y le νoflength bsu hthat νdoesnotinterse t νforall j = 1,··· ,q−1, d q q q j forexample ν = (d,d−1,··· ,d−b +1)andpi kaninteger yin ν.Then ν ν ···ν ν q q q q 1 2 q−1 1 1 1 hastype b b ···band σf := σ (x,y)isa y leoflength (p + q − 1).Thesubgroup 1 1 1 2 q hν ν ···ν ν ,σfiof Sa tstransitivelyontheset {1,2,··· ,d}byLemma2.5.Wealso 1 2 q−1 q 1 d observethat μ~ := ν μ (x,y)isa y leoflength asin e νdoesnotinterse t μand p q p p q p xand yliein μand ν,respe tively.Moreover,sin e νdoesnotinterse t μforall p q q i 1 ≤ i ≤ p − 1, μ~doesnotinterse t μforall 1 ≤ i ≤ p − 1.Sowehave p i ν ν ···ν ν σ = ν ν ν ···ν σ (x,y) = ν μ μ ···μ (x,y) q q q p 1 2 q−1 1 1 2 q−1 1 1 2 = μ μ ···μ ν μ (x,y) = μ μ ···μ μ~ . 1 2 p−1 q p 1 2 p−1 p −1 Hen e,weseethatthethreepermutations μ μ ···μ μ~, ν ν ···ν νand σfin 1 2 p−1 p 1 2 q−1 q 1 SsatisfythethreepropertieslistedinProposition2.1. 2.3 Branch data with more than three partitions WeproveCase l ≥ 2ofTheorem2.1.Atrstwedealwithresidueve torswith omponents only ±1. Proposition 2.2.Let Dbeapositiveinteger.Assume α = (1,1,··· ,1,−1,−1,··· ,−1). | {z } | {z } D+1 D+1 Thenforea hpartition λ = (m ,m ,··· ,m )of 2Dsu hthatwt(λ) <deg α = D + 1, 1 2 l thereexist lpermutations σ ,··· ,σin Ssu hthatthefollowingpropertieshold 1 l D+1 σ ···σ = e; 1 l σ’sare y lesoflength (m + 1); j j 9 Onrationalfun tionson C hσ ,··· ,σ ia tstransitivelyontheset {1,··· ,D + 1}. 1 l Proof.Itiseasytoseethat l ≥ 2.Wedividetheproofby onsideringthree ases. Case1If l = 2,weknowthat m = m = Dsin e 2D = m +mand m , m ≤ D.Thenwe 1 2 1 2 1 2 aredoneby hoosing −1 σ = (1,2,··· ,D + 1), σ = σ . 1 2 Case2If l = 3.Sin e m , m , m ≤ Dand m + m + m = 2D,Wehave m + m ≥ D. 1 2 3 1 2 3 1 2 Choosing σ = (1,2,··· ,m + 1)and 1 1 σ = (1,m + 1,m ,m − 1,··· ,m + m − D + 2,m + 2,m + 3,··· ,D + 1), 2 1 1 1 1 3 1 1 | {z } | {z } m +m −D D−m 1 2 1 weobtain  ,2,3,··· ,m + m − D + 2),if m < D (m + 2,m + 3,··· ,D + 1 1 1 1 3 3  | {z } | {z } D−m m +m −D+1 1 1 3 σ σ = 1 2 (m + 2,m + 3,··· ,D + 1,2,3,··· ,m + 1,1),if m = D  1 1 1 3  | {z } | {z } D−m m +1 1 1 −1 Thenthepermutations σ ,σand σ σsatisfythethreeproperties. 1 2 1 2 Case3Suppose l > 3.Sin e m ,··· ,m ≤ D,we an hoose 1 < r ≤ lsu hthat m + m + 1 l 1 2 ··· + m ≤ Dand m + m + ··· + m > D. r−1 1 2 r Sub ase3.1Supposethat r < l.Choosing σ = (1,2,··· ,m + 1), 1 1 σ = (m + 1,m + 2,··· ,m + m + 1), 2 1 1 1 2 ··· σ = (m + ··· + m + 1,··· ,m + ···+ m + 1), r−1 1 r−2 1 r−1 weobtain τ := σ σ ···σ = (1,2,3,··· ,m + ··· + m + 1) 1 1 2 r−1 1 r−1 ByCase2,thereexisttwo y les τand τwhi hhavelength 1 + mand m + 2 3 r r+1 ··· + m + 1 < D + 1,respe tively,su hthat τ τ τ = e.Asthe onstru tionof l 1 2 3 σ ,··· ,σ,we annd σ ,σ ,··· ,σdire tlysu hthat σhasthetypeof 1 r−1 r+1 r+2 l j 1 D−m (1 + m ) 1for r + 1 ≤ j ≤ land σ ···σ = τ.Thereforethe l y lesof j r+1 l 3 σ , ··· ,σ , σ := τ , σ ,··· ,σsatisfythethreeproperties. 1 r−1 r 2 r+1 l Sub ase3.2Suppose r = l > 3.Sin e m +···+m = 2Dandmax m ,··· ,m ≤ D, 1 l 1 l wehave m + ··· + m = m = D.Thentheproblem anberedu edtoCase1by 1 l−1 l asimilarargumentasabove. 10 Onrationalfun tionson C To ompletetheproofofTheorem2.1,weneedthefollowinglemmaanditstwo orollaries. Lemma 2.6.Let Γbeasubgroupof S = Sforsomeinteger d > 1and θ ∈ S d {1,2,···,d} d bea y leoflengthgreaterthan 1.Assumethatthesubgroup Ggeneratedby Γ and θa tstransitivelyontheset {1,2,··· ,d}.Then,forea hnumber 1 ≤ x ≤ dnot ontainedin θ,the Γ-orbit Γxof xinterse ts θ. Proof.Weargueby ontradi tion.Supposethattheorbit Γxdoesnotinterse t θ.Take anarbitrarypermutation ξin G.We anexpressitas ξ = π π ···π 1 2 s whereeither π = θor π ∈ Γ.Let ξbethepermutationobtainedfromtheprodu t i i π π ···πbyremovingallthose π’ssatisfying π = θ.Then ξ ∈ Γ.Sin eea hnumber 1 2 s i i not ontainedin θisaxedpointof θ,bythehypothesisofthe ontradi tionargument, wendthat ξ(x) = ξ (x)isnot ontainedin θ.Sin e ξ ∈ Ghasbeen hosenarbitrarily,the orbit Gxdoesnotinterse t θ,whi h ontradi tsthat Ga tstransitivelyon {1,2,··· ,d}. Asanappli ationoftheabovelemma,wehave Corollary 2.1.Let γ ,γ ,··· ,γ ,θbe (l + 1)permutationsin Sforsomeinteger 1 2 l d−1 d > 2and θ = (x ,x ,··· ,x )bea y lein Soflength n > 1.Supposethatthe 1 2 n d−1 subgroup hγ ,γ ,··· ,γ ,θia tstransitivelyontheset {1,2,··· ,d − 1}.Thensodoes 1 2 l e e thesubgroup hγ ,γ ,··· ,γ ,θion {1,2,··· ,d},where θ := (x ,··· ,x ,d)isa y leof 1 2 l 1 n length (n + 1)in S. Proof.ByLemma2.6,we anseethatforea hnumber 1 ≤ x ≤ d − 1not ontainedin θ,thereexists γ ∈ Γ := hγ ,··· ,γ isu hthat γ(x)is ontainedin θ.Hen e,thea tionof 1 l hγ ,γ ,··· ,γ ,θion {1,2··· ,d}hasonlyoneorbit. 1 2 l Similarly,weobtain Corollary 2.2.Let γ ,γ ,··· ,γ ,θbepermutationsin Sforsomeinteger d > 2 1 2 l d and θ = (x ,x ,··· ,x )bea y leoflength 1 < n < d.Supposethatthesubgroup 1 2 hγ ,γ ,··· ,γ ,θia tstransitivelyontheset {1,2,··· ,d}.Thensodoesthesubgroup 1 2 l e e hγ ,γ ,··· ,γ ,θiof Sontheset {1,2,··· ,d},where θ = (x ,··· ,x ,y) ∈ Sisa y leof 1 2 l d 1 n d length (n + 1)with y ∈ {1,2,··· ,d}\{x ,··· ,x }. 1 n Nowwearriveatprovingthe ase l ≥ 2ofTheorem2.1. Proof.ByLemma2.1we ouldalsoassumethattheresidueve tor α = (a ,··· ,a ,−b ,··· ,−b ) 1 p 1 q isprimitivesothatdeg α = d = a + ··· + a = b + ··· + b. 1 p 1 q 11 Onrationalfun tionson C Part ISuppose d ≥ m + 1 = p + q − 1.ByProposition2.1thereexist τ ,τ, σsu hthat 1 2 (1) τ τ σ = e; 1 2 1 1 1 1 1 1 1 d−m−1 (2) τhastypeof a a ···a, τof b b ···b, σof (1 + m) 1; 1 2 1 2 p 1 2 q (3)thesubgroup hτ ,τ ,σia tstransitivelyon {1,2,··· ,d}. 1 2 Assumethat σ = (1,2,··· ,m+1)forsimpli ityofnotion.Wearedoneby hoosing σ = (1,2,··· ,m + 1), 1 1 σ = (m + 1,m + 2,··· ,m + m + 1), 2 1 1 1 2 ······ σ = (m + ··· + m + 1,m + ··· + m + 2,··· ,m + ··· + m + 1), l 1 l−1 1 l−1 1 l Part IISuppose d =degα ≤ m = p+q−2.Werstredu etheproblemtothetwo asesthat l = 2and l = 3,thenweprovethesetwo asesbyusingthe ontra tionargument andtheindu tionargumentsimilarastheproofofProposition2.1.Thedetails givenasfollowsformtheleftpartofthisse tion. q p+q ByOA,wehavethat d = b ≥ q ≥.Sin e d =degα >wt(λ) =max m ,··· ,m ), j 1 l j=1 thepartition λof m = (p + q − 2)hasatleasttwo omponents,i.e. l > 1. Atrstweshowthat Claim1:theproblem anberedu edtothetwo aseswherethepartitionsof mhavetwoandthree omponents,respe tively. ProofofClaim1 SupposethatPartIIholdsforea hpartitionof mwhi hhasthree omponentsand hasweightlessthan d.ThenweshallprovethatsodoesPartIIforea hpartition (m ,··· ,m )of msu hthat l > 3anditsweightislessthan d.Tothisend,sin e 1 l m ,··· ,m < d,we an hoose 1 < r ≤ lsu hthat 1 l m + ··· + m < dand m + ··· + m ≥ d. 1 r−1 1 r Weshalldeneanewpartition, alled λ,withthree omponentsasfollowing. ′ ′ ′ ′ •Suppose r < l.Thenwe onsiderthepartition λ := (m ,m ,m )of m,where 1 2 3 ′ ′ ′ m ,m ,maredenedby 1 2 3 ′ ′ ′ m := m + ···+ m < d, m := m < d, m := m + ··· + m . 1 r−1 r r+1 l 1 2 3 p+q Moreover,sin e d ≥,weobservethat p + q ′ ′ ′ m = p + q − 2 − (m + m ) < (p + q − d) − 1 ≤ − 1 ≤ d − 1. 3 1 2 •Suppose r = l > 3.Thenwe hoosethepartition λ := m + ··· + m ,m ,m 1 l−2 l−1 l of m,whi hhasweightlessthan d. Sin ethepartition λhasweightlessthan d,andwehaveassumedthevalid- ityofCase l = 3for αand λ,we anndin Sthefollowingvepermutations 12 Onrationalfun tionson C ′ ′ ′ τ ,τ ,σ ,σ ,σwhi hsatisfythethreeproperties.Byasimilar onstru tionas 1 2 1 2 3 Case3intheproofofProposition2.2,weknowthatthepropositionholdsforthe partition (m ,··· ,m ).Therefore,wehavejustiedthe laim. 1 l Wealwaysassume l = 2or 3intheleftpartoftheproof. Re allthatOAstatesthat 1 ≤ p ≤ q,a ≤ a ≤ ··· ≤ a , b ≥ b ≥ ··· ≥ b.Without 1 2 p 1 2 q lossofgenerality,wefurtherassume m ≤ m ≤ ··· ≤ mforthepartition λ.We 1 2 l allthesetwoassumptionsOAinthesequelbyanabuseofnotation. ByOA,we anseethatif a = 1,then a = a = ··· = a = b = b = ··· = b = 1and p 1 2 p 1 2 q wearedonebyProposition2.2.Wemayassumethat a > 1intheleftpartofthe proof.Sin e d ≤ m,wehave b ≤ p+q−2 ≤ 2q−2.Then,wehave b = b = 1. j q−1 j=1 Sin e m ≤ ··· ≤ mand a > 1,degα >wt(λ)and l = 2or 3,weobservethat mis 1 l p l alwaysgreaterthan 1ex eptwhen α = (2,1,−1,−1,−1)and λ = (1,1,1),forwhi h PartIIholdstrivially.Wemayassumethat m > 1intheleftpartoftheproof.In ordertodoindu tionon m,we hoosethepartition λ := m ,··· ,m ,(m − 1) 1 1 l−1 l of (m − 1)andtheresidueve tor α = a ,a ,··· ,a ,a − b ,−b ,−b ,··· ,−b 1 2 p−1 p q 1 2 q−1 with (p + q − 1) = (m + 1) omponents.Then,sin e b = b = 1, αisprimitive q−1 q and degα b = −1 +deg α. Thenwemakethefollowing b b Claim2:wt(λ ) <degα.Hen ewemaythinkof α, λasa ontra tionof α, λ 1 1 andweshallusetheformertodoindu tionargument. ProofofClaim2 (i)If m ≤ ··· ≤ m = m,thenwt(λ ) = m = mand 2m ≤ m = p +q−2 ≤ 1 l−1 l 1 l−1 l l 2q−2,i.e. m ≤ q−1.Ifdeg α b > q−1,thenwearedone.Assumedeg α b = q−1, whi himpliesthat b = ··· = b = 1and p < qsin e a > 1.Then 2m ≤ m = 1 q p l p + q − 2 < 2q − 2and m < q − 1.Hen edeg α = q − 1 > m =wt(λ ). l l 1 (ii)If m < m,thenwt(λ ) = m −1 =wt(λ)−1 <deg α−1 =deg α b.The laim l−1 l 1 l isproved. Thenintheleftpartoftheproofweusetheindu tionon mtoprovethatPartIIof Theorem2.1holdsprovidedthat lequalseither 2or 3.Weobservethattheinitial aseof m = 2holdstrivially,where α = (1,1,−1,−1)and λ = (1,1). –Suppose l = 2.Were alloursettingasfollows.Takeaprimitiveresidueve tor α = (a ,··· ,a ,−b ,··· ,−b ) p q 1 1 13 Onrationalfun tionson C andapartition λ = (m , m )of m = p + q − 2 ≥ 3su hthat d =deg α ≤ m, 1 2 and αand λsatisfyOA.Thenwehave 2 ≤ m =wt(λ) < dand b = b = 1. 2 q−1 q Then,by laim2,we ouldtakeanotherprimitiveresidueve tor α = (a ,a ,··· ,a ,a − b ,−b ,−b ,··· ,−b ) 1 2 p−1 p q 1 2 q−1 andanotherpartition λ = (m , m − 1)su hthatwt(λ ) <deg α = d − 1. 1 1 2 1 Bytheindu tionhypothesis,thereexistin S = Sapermutation d−1 {1,2,··· ,d−1} 1 1 oftype b ···b, alled τ,andtwo y les σ ,σoflength (1 + m ), m, 2 1 2 1 2 1 q−1 respe tively,su hthatthesubgroup hσ ,σ ,τ iof Sa tstransitivelyon 1 2 2 d−1 {1,2,··· ,d − 1}andthepermutation τ := τ σ σ 1 2 1 2 1 1 1 hasthetypeof a ···a (a − b ).Were-express τby τ = μ ···μsu h p q 1 1 1 p 1 p−1 that μ’sareits y lefa torsand μhaslength afor 1 ≤ j < pand μhas j j j p length (a − b ).Sin e b = 1,we anthinkof τasapermutationin S p q q 2 d 1 1 1 withthetypeof b ···b b.ByRemark2.1,the y lefa tor μinterse ts q p 1 q−1 either σor σ.WeshalldividetheleftpartoftheproofofCase l = 2into 1 2 thefollowingtwosteps. Step2.1Supposethat σinterse ts μ.Thenwepi kanumber xinboth σand 2 p 2 μanddene σe := σ (x,d)and μe := μ (x,d).Then,sin e b = 1, σeand p 2 2 p p q 2 μare y lesin Soflength (1 + m )and a,respe tively.Moreover,we p d 2 p have e e τ σ σ = μ μ ···μ μ . 2 1 2 1 2 p−1 Sin e hτ ,σ ,σ ia tstransitivelyontheset {1,2,··· ,d − 1},thea tion 2 1 2 of hτ ,σ ,σe iontheset {1,2,··· ,d}hasasingleorbitbyCorollary2.1. 2 1 2 −1 Therefore,thefollowingfourpermutations μ μ ···μ μe , τ , σ , σe 1 2 p−1 p 2 1 2 satisfythethreeproperties. Step2.2Supposethat σdoesnotinterse t μ.Then σinterse ts μ.Choosea 2 p 1 p number xinboth σand μ.Then 1 p τ σ σ (x,d) = μ ···μ (x,d) 2 1 2 1 p = μ ···μ μewhere μe := μ (x,d) 1 p−1 p p p =: τe 1 1 where τehasthetypeof a ···a.Meanwhile,sin e σdoesnotinterse t 1 2 (x,d),wehave τ = τ σ σ (x,d) = τ σ (x,d)σ =: τ σ σ , 1 2 1 2 2 1 2 2 2 ′ ′ where σ := σ (x,d)isa y leoflength (m + 2).Observethat σinter- 1 1 1 1 se ts σ.For,otherwise, σdoesnotinterse t σandthereare (m +m + 2 1 2 1 2 14 Onrationalfun tionson C 1)dierentnumbersappearinginboth σand σ,lyingin S.Hen e, 1 2 d−1 wehave (d − 1) ≥ 1 + m + m = 1 + m ≥ 1 + d, 1 2 ontradi tion! −s Takethesmallestpositiveinteger ssu hthat y := σ (x)is ontained in σ.Sin e xisnot ontainedin σ,bytheminimalpropertyof s, σ (y) 2 2 isnot ontainedin σ.We anrewrite σas ′ ′ ′ σ = (x ,x ,··· ,x ,y,σ (y)) = σe y,σ (y)with σe := (x ,··· ,x ,y). 1 2 m 1 1 1 m 1 1 1 1 1 Thenwehave ′ ′ ′ e e e e σ σ = σ y,σ (y) σ = σ σwhere σ := y,σ (y) σ , 2 1 2 1 2 2 2 1 1 1 and τe = τ σ σ = τ σe σe , 1 2 2 2 1 2 1 1 1 1 1 where τeand τhavetypesof a ···aand b ···b b,respe tively,and 1 2 1 p 1 q−1 q thetwo y les σeand σehavelengthsof 1+mand 1+m,respe tively. 1 2 1 2 Sin e hτ ,τe ,σ i = hτ ,σ ,σ ia tstransitivelyontheset {1,2,··· ,d}by 2 1 2 2 2 e e Corollary2.1,sodoes hτ ,τ ,σ ionthesamesetbyCorollary2.2.There- 2 1 2 −1 e e e fore,thefollowingfourpermutations τ , τ , σ , σsatisfythethree 1 2 1 2 properties. –Suppose l = 3.Wemayfurtherassumethat m +m ≥ d.Otherwise,repla ing 1 2 λby λ = (m + m , m )andusingthesimilarredu tionargumentasabove, 1 2 3 we anredu etheproblemtotheknown aseof l = 2. 1 1 Bytheindu tionhypothesis,thereexistin Spermutation τoftype b ···b d−1 2 1 q−1 andthree y les σ ,σ ,σoflength 1 + m ,1 + m ,m,respe tively,su hthat 1 2 3 1 2 3 thesubgroup hσ ,σ ,σ ,τ ia tstransitivelyontheset {1,2,··· ,d − 1}and 1 2 3 2 τ σ σ σ = τ = μ ···μ , 2 1 2 3 1 1 p 1 1 1 where τ = μ ···μhastype a ···a (a −b ), μ’sarethe y lefa torsof τ 1 1 p p q j 1 1 p−1 and μhaslength afor 1 ≤ j < pand μhaslength (a −b ) = (a −1).Sin e p p q p j j m + m ≥ d,byOA,anytwoofthethree y les σ ,σ ,σin Sinterse t 1 2 1 2 3 d−1 sin e 1 + m + m > d > d − 1for 1 ≤ i 6= j ≤ 3.Wedividetheleftpartofthe i j proofintothefollowingthreesteps. Step3.1If μinterse ts σ,wearedonebyasimilarargumentasinstep2.1. p 3 Step3.2If μinterse ts σbutdoesnotinterse t σ,theproofgoesthroughas p 2 3 Step2.2sin e σinterse ts σ. 2 3 Step3.3Supposethatneither σnor σinterse ts μ.Then,byRemark2.1, μ 2 3 p p interse ts σsin e hτ , σ , σ , σ ia tstransitivelyontheset {1,2,··· ,d− 1 1 1 2 3 15 Onrationalfun tionson C 1}.Choosinganumber xinboth μand σanddenoting μ := μ (x, d) p p p 1 and σ := σ (x, d),weobtain τ σ σ σ = τ σ σ σ (x, d) = μ ···μ μe =: τe 2 2 3 2 1 2 3 1 p−1 p 1 where σisa y leoflength (m + 2), μeisa y lefa torof τe,and τe 1 p 1 1 1 1 1 hasthetypeof a ···a a. 1 p−1 p Step3.3.ASupposethat σ ontainsanumberwhi hisnot ontainedin σ. 2 3 Thenwe ouldndin Sthethree y lesof e e ewithlength σ ,σ ,σ d 1 2 3 1 + m ,1 + m ,1 + m,respe tively,su hthat 1 2 3 τ σe σe σe = τe 2 1 2 3 1 e e e and hτ ,τ ,σ ,σ ia tstransitivelyon {1,2,··· ,d}.Indeed,rewrite σ 2 1 1 3 as σ = σe (b ,z ) 1 1 1 where bliesintheinterse tionof σand σ,thenumber zis on- 1 1 2 1 tainedin σbutnotin σ,and σeisa y leoflength (1+m ).Choose 2 1 1 σ := (b ,z )σandrewriteitas 1 1 2 σ = σ (b ,z ), 2 2 2 where bliesinboth σand σ,thenumber zis ontainedin σbut 2 2 3 2 2 notin σ, σeisa (1+m )- y le.Hen e σe := (b ,z )σisa (1+m )- 3 2 2 3 2 2 3 3 y leandtheequality τ σe σe σe = τeholds.Thenallthefollowing 2 1 2 3 1 subgroups ′ ′ hτ ,σ ,σ ,σ i = hτ ,τe ,σ ,σ i, hτ ,τe ,σ ,σ i = hτ ,τe ,σe ,σ i 2 2 3 2 1 2 3 2 1 3 2 1 1 3 1 2 e e e and hτ ,τ ,σ ,σ iof Sa ttransitivelyon {1,2,··· ,d}byCorollaries 2 1 1 3 d 2.1and2.2.Therefore,thefollowingpermutations −1 τe , τ , σe , σe , σe 1 2 1 2 3 satisfythethreeproperties. Step3.3.BSupposethateverynumberinthe y le σis ontainedin σ.Rewrite 2 3 σas σ = σ (b,z) where σeisa (1+m )- y le, bliesinboth σand σ, zisnot ontained 1 1 3 in σandthenitisnot ontainedin σ,either. 3 2 •Supposethat bisnot ontainedin σ.Then τ σ σ σ = τ σe (b, z)σ σ 2 2 3 2 1 2 3 = τ σe σ ((b,z)σ ) 2 1 2 3 = τ σe σ σe , 2 1 2 3 16 Onrationalfun tionson C where σ := (b,z)σisa (1 + m )- yl e.ByCorollary2.2,thesub- 3 3 3 group hτ ,τe ,σ ,σe ia tstransitivelyontheset {1,2,··· ,d}sin ethe 2 1 2 3 subgroup hτ ,τe ,σ ,σ i = hτ ,σ ,σ ,σ ihasthesameproperty.There- 2 1 2 3 2 2 3 −1 fore,thefollowingvepermutations τe , τ , σe , σ , σesatisfythe 1 2 1 2 3 threeproperties. •Supposethat bis ontainedin σ.Thenwehave ′ ′ ′ e e τ σ σ σ = τ σ ((b, z)σ )σ = τ σ σ σwhere σ := (b,z)σ . 1 2 3 2 1 2 3 2 1 2 3 2 2 ThenapplyingasimilarargumentinStep2.2to σand σ,weobtain thetwo y les σeand σewithlengthof (1+m ),(1+m ),respe tively, 2 3 2 3 su hthat σ σ = σe σeand τ σe σe σe = τe . 3 2 3 2 1 2 3 1 Moreover,byCorollaries2.1and2.2,thea tionof hτ ,τe ,σe ,σe ion 2 1 1 3 theset {1,2,··· ,d}istransitive.Therefore,thefollowingvepermu- −1 tations τe , τ , σe , σe , σesatisfythethreeproperties. 1 2 1 2 3 3 Proof of Theorem 1.2 WeproveTheorem1.2inthissubse tion. Proof.Considerthe olle tion Λ = {(a ,··· ,a ), (b ,··· ,b ), (c + 1,1,··· ,1),··· ,(c + 1,1,··· ,1)} 1 p 1 q 1 r ofdegree dandwithtotalbran hing 2d−2.ByTheorem2.1andtheRiemannexisten e theorem,thereexistsarationalfun tion fofdegree dontheRiemannspheresu hthat (i) fbran hesover 0, ∞, ζ, ···, ζ,where ζ =exp 2π −1/r. (ii)Thepartitionsoftheabovebran hpoints oin idewith (a ,··· ,a ), (b ,··· ,b ), (c + 1 p 1 q 1 1,1,··· ,1),··· ,(c + 1,1,··· ,1),respe tively. Then fistheBelyifun tionasdesired. 4 A conjecture InordertogeneralizetherstpartofBo ara’sresult,wemakethefollowing ConjectureLet d, gand lbethreepositiveintegers.Supposethatthe olle tion Λ onsistsof l + 2partitionsof dandhasform Λ = {(a ,··· ,a ), (b ,··· ,b ), (m + 1,1,··· ,1),··· ,(m + 1,1,··· ,1)}, 1 p 1 q 1 l 17 Onrationalfun tionson C where (m ,··· ,m )isapartitionof p + q − 2 + 2g.Thenthereexistsarationalfun tion 1 l onsome ompa tRiemannsurfa eofgenus gwithbran hdata Λifandonlyif max m ,··· ,m < d. 1 l Acknowledgments.TheauthorswouldliketoexpresshisdeepgratitudetoProfessor QingChen,ProfessorMaoShengandMrBoLifortheirvaluabledis ussionsduringthe ourseofthiswork.These ondauthorisindebtedtoMrWeiboFuforinforminghim [2,4,23℄. TherstauthorissupportedinpartbytheNationalNaturalS ien eFoundationof China(grantno.11426236).These ondauthorissupportedinpartbytheNational NaturalS ien eFoundationofChina(grantsno.11571330andno.11271343)andthe FundamentalResear hFundsfortheCentralUniversities(grantno.WK3470000003). References [1℄K.Baranski.Onrealizabilityofbran hed overingsonthesphere.Topol.Appl. 116(2001), 279-291. [2℄G.Bo ara.Cy les ommeproduitdedeuxpermutationsde lassesdonnees.Dis reteMath. 58(1982),129-142. [3℄S.Donaldson.Riemannsurfa es(OxfordUniversityPress,2011). [4℄A.L.Edmonds,R.S.KulkarniandR.E.Stong.Realizabilityofbran hed overingsof surfa es.Trans.Amer.Math.So . 282(2)(1984),773-790. [5℄C.L.Ezell.Bran hpointstru tureof overingmapsontononorientablesurfa e.Trans.Am. Math.So . 243(1978),123-133. [6℄G.Fran is.AssemblingRiemannsurfa eswithpres ribedboundary urvesandbran hpoints. IllinoisJ.Math. 20(1976),198-217. [7℄S.M.Gersten.Onbran hed overingsofthe2-spherebythe2-sphere.Pro .Amer.Math. So . 101(1987),761-766. [8℄A.Hurwitz.UberRiemann’s heFla henmitgegebenenVerzweigungspunkten.Math.Ann. 103(1891),1-60. [9℄D.H.Husemoller.Ramied overingsofRiemannsurfa es.DukeMath.J. 29(1962),167- [10℄A.G.KhovanskiiandS.Zdravskovska.Bran hed oversof Sandbraidgroups.J.Knot TheoryRamif. 5(1995),55-75. [11℄S.K.LandoandA.K.Zvonkin.GraphsonSurfa esandtheirAppli ations,Withan appendixbyDonB.Zagier(Springer-Verlag,Berlin,2004). 18 Onrationalfun tionson C [12℄A.D.Mednykh.Nonequivalent overingsofRiemannsurfa eswithagivenrami ationtype. Sib.Math.Zh. 25(1984),120-142. [13℄A.D.Mednykn.Bran hed overingofRiemannsurfa eswhosebran horders oin idewith themultipli ities.Comm.Algebra 18(1990),1517-1533. [14℄S.Monni,J.S.SongandY.S.Song.TheHurwitzenumerationproblemofbran hed overs andHodgeintegrals.J.Geom.Phys. 50(2004),223-256. [15℄A.OkounkovandR.Pandharipande.Gromov-Wittentheory,Hurwitztheoryand omplete y les.Ann.Math. 163(2006),517-560. [16℄F.Pakovi h.SolutionofHurwitzproblemforLaurentpolynomials.J.KnotTheoryRamif. 18(2009),271-302. [17℄M.A.Pas aliandC.Petronio.Surfa ebran hed oversandgeometri 2-orbifolds.Trans. Amer.Math.So . 361(2009),5885-5920. [18℄M.A.Pas aliandC.Petronio.Bran hed oversofthesphereandtheprime-degree onje ture. AnnalidiMatemati a. 191(2012),563-594. [19℄E.PervovaandC.Petronio.Ontheexisten eofbran hed overingsbetweensurfa eswith pres ribedbran hdata,I.AlgebraGeom.Topol. 6(2006),1957-1985. [20℄E.PervovaandC.Petronio.Ontheexisten eofbran hed overingsbetweensurfa eswith pres ribedbran hdata,II.J.KnotTheoryRamif. 17(2008),787-816. [21℄D.Singerman.SubgroupsofFu hsiangroupsandnitepermutationgroups.Bull.Lond. Math.So . 2(1970),319-323. [22℄R.Thom.L’equivalen ed’unefon tiondierentiableetd’unpolin^ome.Topology 3(suppl. 2)(1965),297-307. [23℄H.Zheng.Realizabilityofbran hed overingof S.Topol.Appl. 153(2006),2123-2134.

Journal

Mathematics – arXiv (Cornell University)

Published: Oct 20, 2015

There are no references for this article.