arxiv: v3 [math.gr] 30 Nov 2016

Transcription

1 A classification thorm for boundary 2-transitiv automorphism groups of trs Nicolas Radu UCLouvain, 1348 Louvain-la-Nuv, Blgium arxiv: v3 [math.gr] 30 Nov 2016 Novmbr 30, 2016 Abstract Lt T b a locally finit tr all of whos vrtics hav valncy at last 6. W classify, up to isomorphism, th closd subgroups of Aut(T) acting 2-transitivly on th st of nds of T and whos local action at ach vrtx contains th altrnating group. Th outcom of th classification for a fixd tr T is a countabl family of groups, all containing two rmarkabl subgroups: a simpl subgroup of indx 8 and (th smirgular analog of) th univrsal locally altrnating group of Burgr Mozs (with possibly infinit indx). W also provid an xplicit xampl showing that th statmnt of this classification fails for trs of smallr dgr. Contnts 1 Introduction 2 2 From local to global structur Subgroups of products of finit simpl non-ablian groups Krnl of th action on balls A global rsult A common subgroup Finding good colorings of rootd trs Th common subgroup Alt (i) (T) A list of xampls, simplicity and normalizrs Dfinition of th xampls Simplicity Ar ths xampls pairwis distinct? Normalizrs Th classification Evns and odds diagrams Four possibl shaps for H(v) Th numrical invariants c(t) and K(t) Mathmatics Subjct Classification: 20E08, 20E32, 20E42, 20B22, 22D05, 20F65. F.R.S.-FNRS Rsarch Fllow. 1

2 5.4 Th algbraic invariants fv t Th invariants c(t), K(t) and fv t form a complt systm Possibl shaps for fv t whn K(t) K(1 t) Possibl shaps for fv t whn K(t) > K(1 t) Uppr bound on th numbr of groups H H + T with H Alt (i)(t) Th classification thorm Proofs of th corollaris Anothr xampl on th (4,d 1 )-smirgular tr 41 A Topologically isomorphic groups in H T 43 B Asymptotic dnsity of th st Θ 44 1 Introduction Lt T b th (d 0,d 1 )-smirgular tr, with d 0,d 1 6. Th goal of this papr is to provid a complt classification of th closd subgroups of Aut(T) acting 2-transitivly on th st of nds T, and whos local action at ach vrtx v contains th altrnating group on th st E(v) of all dgs incidnt to v. As w shall s, it is a consqunc of th Classification of th Finit Simpl Groups that this condition on th local action is automatic for almost all valus of d 0 and d 1. Typical xampls of such groups ar th full group Aut(T), its subgroup Aut(T) + prsrving th canonical bipartition of V(T) (which is of indx 2 whn d 0 = d 1 ) and, whn d 0 = d 1, th univrsal groups U(Alt(d 0 )) and U(Alt(d 0 )) + first dfind and studid by Burgr and Mozs in [BM00a]. Th outcom of our classification is a countably infinit family of locally compact groups, most of which ar nw, ach containing an opn abstractly simpl subgroup of indx at most 8. Our work provids in particular what sms to b th first instanc of a classification of a significant family of compactly gnratd simpl non-discrt locally compact groups byond th cas of linar groups. Th assumption that T is smirgular is not rstrictiv. Indd, givn a (locally finit) tr whos vrtics hav valncy at last 3, th xistnc of a group acting on it such that th inducd action on th st of its nds is 2-transitiv alrady implis that th tr must b smirgular (s Lmma 2.2 blow). Th closd subgroups of Aut(T), and spcially thos whos action on T is 2- transitiv, ar known to b subjctd to a rich structur thory which parallls to a larg xtnt th thory of smisimpl Li groups, although many of thos tr automorphism groups ar non-linar. This paradigm rcivd its most spctacular illustration in th groundbraking work of Burgr and Mozs, s [BM00a] and [BM00b]. Sinc thn, locally compact groups acting on trs hav constantly srvd as a pool of xampls and tst cass in th framwork of th dvlopmnt of a gnral structur thory of totally disconnctd locally compact groups (s [Wil15] and rfrncs thrin). This bcam vn mor tru in rcnt yars, during which th cas of compactly gnratd topologically simpl groups rcivd spcial attntion (s [CRW14] and rfrncs thrin). Main rsults In ordr to prsnt a prcis formulation of our main rsults, lt us hncforth allow th (d 0,d 1 )-smirgular tr T to hav dgrs d 0,d 1 4. Lt V(T) = V 0 (T) V 1 (T) b th canonical bipartition of V(T) so that ach vrtx of typ t {0,1} (i.. in V t (T)) is 2

3 incidnt to d t dgs. W writ H cl G to man that H is a closd subgroup of G and dfin th sts H T := {H cl Aut(T) H is 2-transitiv on T} and H + T := {H H T H Aut(T) + }. Not that whn d 0 d 1, all automorphisms of T ar typ-prsrving so that H + T = H T. Considr a group H H T. For ach vrtx v V(T), on can look at th action of th stabilizr H(v) of v in H on th st E(v). Th imag of H(v) in Sym(E(v)) is dnotd by H(v). Sinc H is 2-transitiv on T, it is transitiv on V 0 (T) and on V 1 (T) (s Lmma 2.2). Hnc, all th groups H(v) with v V 0 (T) (rsp. v V 1 (T)) ar prmutation isomorphic to th sam group F 0 Sym(d 0 ) (rsp. F 1 Sym(d 1 )). In this contxt of finit prmutation groups, w us th symbol = to man prmutation isomorphic. Thgoal ofthispapristoprovidafullclassification ofthgroupsh H T such that F 0 Alt(d 0 ) and F 1 Alt(d 1 ), undr th assumption that d 0,d 1 6. Lt us first dscrib som ky xampls of groups in H + T. In [BM00a, Sction 3.2], th notion of a lgal coloring of a d-rgular tr is dfind, and consists in coloring th dgs of th tr with d colors. For our purposs, w nd to gnraliz this notion to a (d 0,d 1 )-smirgular tr, and a way to do so is to color th vrtics instad of th dgs. A lgal coloring i of T consists of two maps i 0 :V 0 (T) {1,...,d 1 } and i 1 :V 1 (T) {1,...,d 0 } such that i 0 S(v,1) :S(v,1) {1,...,d 1 } is a bijction for ach v V 1 (T) and i 1 S(v,1) :S(v,1) {1,...,d 0 } is a bijction for ach v V 0 (T). Hr, S(v,r) is th st of vrtics of T at distanc r from v. Th map i is dfind on V(T) by i V0 (T)= i 0 and i V1 (T)= i 1 (s Figur 1). Givn g Aut(T) and v V(T), on can look at th local action of g at th vrtx v by dfining σ (i) (g,v) := i S(g(v),1) g i 1 S(v,1) { Sym(d 0 ) if v V 0 (T), Sym(d 1 ) if v V 1 (T). In th particular cas whr d 0 = d 1, thr is a natural corrspondnc btwn our dfinition of a lgal coloring and th dfinition givn in [BM00a]. On should howvr not that, with our dfinition, th group of all automorphisms g Aut(T) such that σ (i) (g,v) = id for ach v V(T) is not vrtx-transitiv (and vn not transitiv on V 0 (T)), whil th univrsal group U(id) dfind in th sam way in [BM00a, Sction 3.2] is vrtx-transitiv. On must thrfor b carful whn comparing [BM00a] with th prsnt papr. Anothr dfinition of lgal colorings for smirgular trs was givn by Smith in [Smi14, Sction 3]: it is quivalnt to ours v V 0 (T) V 1 (T) Figur 1: A lgal coloring of B(v,3) in th (3,4)-smirgular tr. 3

4 Th notion of a lgal coloring allows us to dfin th following groups. Dfinition. Lt T b th (d 0,d 1 )-smirgular tr and lt i b a lgal coloring of T. Whnv V(T)andY isasubstof Z 0, wsts Y (v) := r Y S(v,r). For all (possibly mpty) finit substs Y 0 and Y 1 of Z 0, dfin th group G + (i) (Y 0,Y 1 ) := {g Aut(T) + w S Y0 (v) sgn(σ } (i)(g,w)) = 1 for ach v V t0 (T), w S Y1 (v) sgn(σ, (i)(g,w)) = 1 for ach v V t1 (T) whr t 0 := (maxy 0 ) mod 2, t 1 := (1+maxY 1 ) mod 2 and max( ) := 0. Th choic of t 0 and t 1 in this dfinition is mad in such a way that, in ach st S Yt (v) undr considration, th vrtics at maximal distanc from v ar of typ t (i.. S(v,maxY t ) V t (T)), for t {0,1}. Rmark that G + (i) (, ) = Aut(T)+ and that all th groups G + (i) (Y 0,Y 1 ) contain th group G + (i) ({0},{0}), which w also dnot by Alt (i)(t) + and satisfis Alt (i) (T) + = {g Aut(T) + σ (i) (g,v) is vn for ach v V(T)}. Whn T is th d-rgular tr, i.. whn d 0 = d 1 = d, it can b sn that Alt (i) (T) + is conjugat to th univrsal group U(Alt(d)) + of Burgr-Mozs. Our first rsult dscribs various proprtis of th groups dfind abov. W dnot by N G (H) th normalizr of H in G and writ C 2 and D 8 for th cyclic group of ordr 2 and th dihdral group of ordr 8, rspctivly. Thorm A. Lt T b th (d 0,d 1 )-smirgular tr with d 0,d 1 4 and lt i b a lgal coloring of T. Lt Y 0 and Y 1 b finit substs of Z 0. (i) G + (i) (Y 0,Y 1 ) blongs to H + T. (ii) G + (i) (Y 0,Y 1 ) is abstractly simpl. (iii) W hav / N Aut(T) +(G + (i) (Y 0,Y 1 )) G + (i) (Y 0,Y 1 ) = (C 2 ) k with k = {t {0,1} Y t }. If d 0 = d 1 and Y 0 = Y 1 =: Y with Y, thn N Aut(T) (G + (i) (Y,Y)) /G + (i) (Y,Y) = D 8. Using th fact that th pointwis stabilizrs of half-trs ar non-trivial in ths groups G + (i) (Y 0,Y 1 ), on can also show that thy ar not linar ovr a local fild, and vn not locally linar (as dfind in [CS15]). For any group H H T, Burgr and Mozs provd that th subgroup H ( ) of H dfind as th intrsction of all normal cocompact closd subgroups of H is such that H ( ) H + T and H( ) is topologically simpl (s [BM00a, Proposition 3.1.2]). Our main classification thorm rads as follows. Not that two groups in H T ar topologically isomorphic if and only if thy ar conjugat in Aut(T) (s Proposition A.1 in Appndix A), so this is a classification up to topological isomorphism. 4

5 Thorm B (Classification). Lt T b th (d 0,d 1 )-smirgular tr with d 0,d 1 4 and lt i b a lgal coloring of T. Lt S (i) b th st of groups G + (i) (Y 0,Y 1 ) whr Y 0 and Y 1 ar finit substs of Z 0 satisfying th following condition: if Y 0 and Y 1 ar both non-mpty, thn for ach y Y t (with t {0,1}), if y maxy 1 t thn y maxy t mod 2. (i) Two groups G + (i) (Y 0,Y 1 ) and G + (i) (Y 0,Y 1 ) blonging to S (i) ar conjugat in Aut(T) if and only if (Y 0,Y 1 ) = (Y 0,Y 1 ) or d 0 = d 1 and (Y 0,Y 1 ) = (Y 1,Y 0 ). (ii) Suppos that d 0,d 1 6. Lt H H + T b such that H(x) = F 0 Alt(d 0 ) for ach x V 0 (T) and H(y) = F 1 Alt(d 1 ) for ach y V 1 (T). Thn [H : H ( ) ] {1,2,4} and H ( ) is conjugat in Aut(T) + to a group blonging to S (i). W actually giv, in th txt, th xact dscription of all groups H H + T satisfying th hypothss of Thorm B (ii) (s Thorm B ). Th condition d 0,d 1 6 is usd svral tims in our proof and is actually ncssary. Indd, du to th xcptional isomorphisms PSL 2 (F 3 ) = Alt(4) and PSL 2 (F 4 ) = SL 2 (F 4 ) = Alt(5), th linar groups PSL 2 (F 3 ((X))) and PSL 2 (F 4 ((X))), which act on thir rspctiv Bruhat-Tits trs T 4 and T 5 (whr T d is th d-rgular tr), ar lmnts of H + T 4 and H + T 5 rspctivly whos local action at ach vrtx is th altrnating group. This shows that Thorm B (ii) fails whn d 0 = d 1 {4,5}. In Sction 6, w also giv a non-linar countrxampl whn d 0 = 4 and d 1 4. As a corollary of Thorm B, w find th corrsponding rsult for H H T \ H + T (whn d 0 = d 1, so that H + T H T). In this cas, H is automatically transitiv on V(T). Corollary C. Lt T b th d-rgular tr with d 6 and lt i b a lgal coloring of T. Lt H H T \ H + T b such that H(v) = F Alt(d) for ach v V(T). Thn [H : H ( ) ] {2,4,8} and H ( ) is conjugat in Aut(T) + to G + (i)(y,y) for som finit subst Y of Z 0. Hr again, a full dscription of all groups H H T \H T + satisfying th hypothss of Corollary C is givn in th txt (s Corollary C ). Whn H H T, th fact that H is 2-transitiv on T implis that H(v) is a 2- transitiv prmutation group for ach v V(T) (s Lmma 2.2). Th finit 2-transitiv prmutation groups hav bn classifid, using th Classification of th Finit Simpl Groups, and th st of intgrs Θ := {m 6 ach finit 2-transitiv group on {1,...,m} contains Alt(m)} is known (s Proposition B.1 in Appndix B). Th tn smallst numbrs in Θ ar 34, 35, 39, 45, 46, 51, 52, 55, 56 and 58. Morovr, Θ is asymptotically dns in Z >0 (s Corollary B.2). Whn d 0,d 1 Θ, th hypothss of Thorm B (ii) and Corollary C (if d 0 = d 1 ) ar always satisfid (by dfinition) and w gt th following rsult. Corollary D. Lt T b th (d 0,d 1 )-smirgular tr with d 0,d 1 Θ, lt i b a lgal coloring of T and lt H H T. If H H + T, thn [H : H( ) ] {1,2,4} and H ( ) is conjugat in Aut(T) + to a group blonging to S (i) (dfind in Thorm B). If d 0 = d 1 and H H + T, thn [H : H( ) ] {2,4,8} and H ( ) is conjugat in Aut(T) + to G + (i) (Y,Y) for som finit subst Y of Z 0. IthasalsobnprovnbyBurgrandMozs in[bm00a, Propositions 3.3.1and3.3.2] that if H cl Aut(T) is vrtx-transitiv and if H(v) = F Alt(d) with d 6, thn H is ithr discrt or 2-transitiv on T. W can thrfor combin this rsult with Corollary C to obtain th following. 5

6 Corollary E. Lt T b th d-rgular tr with d 6, lt i b a lgal coloring of T and lt H b a vrtx-transitiv closd subgroup of Aut(T). If H(v) = F Alt(d) for ach v V(T), thn ithr H is discrt or [H : H ( ) ] {2,4,8} and H ( ) is conjugat in Aut(T) + to G + (i) (Y,Y) for som finit subst Y of Z 0. For d Θ, th condition H(v) = F Alt(d) can b rplacd by rquiring H(v) to b 2-transitiv. Not that th rsult of Burgr and Mozs statd abov is not tru if w rplac vrtx-transitivity by dg-transitivity. Indd, th group H = { g Aut(T) + v V0 (T), x,y S(v,2): i(x) = i(y) i(g(x)) = i(g(y)) } whr i is a lgal coloring of T is an xampl of a closd subgroup of Aut(T) with H(v) = Sym(d) for ach v V(T) and which is dg-transitiv but such that H is non-discrt and th action of H on T is not 2-transitiv. Rmark. VladimirTrofimovpointdouttomthatthhypothsisthatT isatrisnot vn ncssary in Corollary E. Indd, Trofimov provd that if Γ is a connctd d-rgular graph with d 6 and G Aut(Γ) is vrtx-transitiv with G(v) Alt(d) for ach v V(Γ), thnithrgisdiscrtorγisthd-rgulartr(s[tro07, Proposition3.1]). In ordr to prov th classification, w first ndd to gnraliz som rsults of [BM00a] to th cas of non-vrtx-transitiv groups. This ld us to th following sid rsult, which is an analog of [BM00a, Proposition 3.3.1]. Thorm F. Lt T b th (d 0,d 1 )-smirgular tr and lt F 0 Sym(d 0 ) and F 1 Sym(d 1 ). Lt H H + T b such that H(x) = F 0 for ach x V 0 (T) and H(y) = F 1 for ach y V 1 (T). Suppos that, for ach t {0,1}, th stabilizr F t (1) of 1 in F t is simpl non-ablian. Thn thr xists a lgal coloring i of T such that H is qual to th group U + (i) (F 0,F 1 ) := { g Aut(T) + σ (i) (g,x) F 0 for ach x V 0 (T), σ (i) (g,y) F 1 for ach y V 1 (T) Th attntiv radr will hav noticd that U + (i) (Alt(d 0),Alt(d 1 )) = Alt (i) (T) +. Structur of th papr Th proof of th classification is dividd into diffrnt main stps. Th first stp, which is th subjct of Sction 2 (whr Thorm F is also provd) and Sction 3, consists in showing that th groups satisfying th hypothss of Thorm B (ii) all contain, up to conjugation, th group Alt (i) (T) + : Thorm G. Lt T b th (d 0,d 1 )-smirgular tr with d 0,d 1 6. Lt H H + T b such that H(x) = F 0 Alt(d 0 ) for ach x V 0 (T) and H(y) = F 1 Alt(d 1 ) for ach y V 1 (T). Thn thr xists a lgal coloring i of T such that H Alt (i) (T) +. Not that Thorm G is alrady sufficint to obtain maningful information on th groups H satisfying th hypothss. For instanc, it follows from Thorm G that th pointwis stabilizr of a half-tr in such a group H is nvr trivial. Forafixdlgalcoloringi, wthnfindinsction5allthgroupsh H + T containing Alt (i) (T) +. Th stratgy adoptd to do so is somwhat involvd and what follows is a rough dscription of it. Rcall that, following [BEW15], th n-closur J (n) of an arbitrary group J Aut(T) is dfind by J (n) := {g Aut(T) v V(T), h J : g B(v,n) = h B(v,n) }. Th nxt important stp in our proof thn rads as follows. }. 6

7 Thorm H. Lt T b th (d 0,d 1 )-smirgular tr with d 0,d 1 6, lt i b a lgal coloring of T and lt H H + T b such that H Alt (i)(t) +. Thn thr xists K Z 0 such that H = H (K). Thorm H is crucial, sinc it mans that H is compltly dtrmind by its local action on T on a sufficintly larg scal. In particular, obsrv that for ach K Z 0 thr is only a finit numbr of groups H H + T with H Alt (i)(t) + and such that H = H (K). This alrady implis that th classification will lad to a countabl family of groups. Th ida to complt th classification is finally to fix K, to find an uppr bound to th numbr of groups H satisfying th hypothss and such that H = H (K), and to show that this uppr bound is achivd by th various groups from th xplicit list dscribd bforhand. Ths groups ar all dfind in Sction 4, whr Thorm A is also provd (s Lmma 4.2, Thorm 4.6 and Lmma 4.10). Acknowldgmnt I warmly thank Pirr-Emmanul Caprac for suggsting m this problm and for all his valuabl advic during my rsarch and th writing of this papr. I also thank Adrin L Boudc and spcially Matthias Grüningr for thir hlpful commnts on a prvious vrsion of this manuscript. I am finally gratful to th anonymous rfr, who mad suggstions to improv th radr s xprinc. 2 From local to global structur In this sction, w considr a group H H + T and analyz how th knowldg of H(v) for ach v V(T) has an impact on th global structur of H. This sction is largly inspird from th work of Burgr and Mozs [BM00a]. Our goal is to gnraliz svral of thir rsults to th situation whr th groups ar not vrtx-transitiv. Most of our notations com from [BM00a]. If x V(T), thn S(x,n) (rsp. B(x,n)) is th st of vrtics of T at distanc xactly n (rsp. at most n) from x. W also st c(x,n) := S(x,n). If n 0 and x 1,...,x k V(T), thn dfin H n (x 1,...,x k ) to b th pointwis stabilizr of k i=1 B(x i,n). In th particular cas whr n = 0, w writ H(x 1,...,x k ) instad of H 0 (x 1,...,x k ) as it is simply th stabilizr of vrtics x 1,...,x k. For x V(T), st H n (x) := H n (x) / H n+1 (x). Onc again, for n = 0 w writ H(x) instad of H 0 (x) and this xactly corrsponds to th dfinition of H(x) givn in th introduction. W start by giving th following rsults which will b usd throughout this papr. Lmma 2.1. Lt T b a locally finit tr whos vrtics hav valncy at last 3 and lt H b a closd subgroup of Aut(T). Thn H is 2-transitiv on T if and only if H(v) is transitiv on T for ach v V(T). Proof. S [BM00a, Lmma 3.1.1]. Lmma 2.2. Lt T b a locally finit tr whos vrtics hav valncy at last 3 and lt H b a closd subgroup of Aut(T) acting 2-transitivly on T. Thn T is smirgular and, for ach x,x,y,y V(T) such that x and x hav th sam typ and d(x,y) = d(x,y ), thr xists h H such that h(x) = x and h(y) = y. Proof. This is a dirct consqunc of Lmma

8 2.1 Subgroups of products of finit simpl non-ablian groups Lmma 2.5 blow is a basic rsult about finit groups and will play a fundamntal rol in th squl. Its statmnt coms from [BM00a, Lmma 3.4.3], but th proof thrin rquirs supplmntary dtails bcaus th dfinition of a product of subdiagonals nds to b amndd (probably du to a misnomr). Th rsult could b dducd from Goursat s Lmma (s [Gou89, Sctions 11 12] and [Lan02, Chaptr I, Exrcis 5]) ; w provid a slf-containd proof for th radr s convninc. Givn a product of groups G 1 G n and i 1,...,i m {1,...,n}, w writ proj i1,...,i m :G 1 G n G i1 G im for th projction on factors G i1,...,g im. Lmma 2.3. Lt S b a finit simpl non-ablian group and lt G S n (whr n 1). If proj i,j (G) = S 2 for ach 1 i < j n, thn G = S n. Proof. W prov by induction on m that proj i1,...,i m (G) = S m for ach 1 i 1 < < i m n. By hypothsis this is tru for m = 2. Now lt m 3 and suppos it is tru for m 1. Givn 1 i 1 < < i m n, w nd to show that proj i1,...,i m (G) = S m. For any k {1,...,m}, whavthatproj ik (kr(proj i1,...,î k,...i m )) S, soitisithrtrivial orqual to S (sinc S is simpl). In th lattr cas, sinc proj i1,...,î k,...i m (G) = S m 1 by induction hypothsis, w dirctly gt that proj i1,...,i m (G) = S m and w ar don. Now w assum that proj ik (kr(proj i1,...,î k,...i m )) is trivial for all k ( ). Putting k = m in ( ), w gt that thr xists α:s m 1 S such that proj im (g) = α(proj i1,...,i m 1 (g)) for all g G. Morovr, k = 1 in ( ) implis that th map β:s S dfind by β(s) = α(s,1,...,1) is injctiv, and hnc surjctiv. For th sam rason with k = 2, th map γ:s S dfind by γ(s) = α(1,s,1,...,1) is surjctiv. Sinc β(s) γ(s ) = α(s,s,1,...,1) = γ(s ) β(s) for all s,s S, w gt that S is ablian, a contradiction. Givn a group S and a positiv intgr n, a product of subdiagonals of S n is a subgroup of S n of th form (α 1 α n )( I1 Ir ), whr {I j 1 j r} is a partition of {1,...,n}, J is dfind by J := {(s 1,...,s n ) S n s i = 1 i J and s l = s k l,k J} for ach subst J {1,...,n}, and α 1,...,α n Aut(S). Hr, α 1 α n Aut(S n ) is th Cartsian product of α 1,...,α n. Lmma 2.4. Lt S b a finit simpl non-ablian group and lt G S n (whr n 1). If proj i (G) = S for ach i {1,...,n}, thn G is a product of subdiagonals of S n. Proof. For any i,j {1,...,n}, w hav proj j (kr(proj i )) S, so it is ithr trivial or qual to S. Lt us dfin th rlation on {1,...,n} by i j if and only if proj j (kr(proj i )) is trivial. W claim that is an quivalnc rlation. Rflxivity and transitivity ar clar. Lt us prov that it is also symmtric. For i,j {1,...,n}, writ G i,j := proj i,j (G). Thn proj i Gi,j :G i,j S has imag S by hypothsis, and its krnl is trivial if and only if i j. So G i,j = S if and only if i j. It follows dirctly that is symmtric and hnc an quivalnc rlation. Nowlt I 1,...,I r bthquivalncclasss of : thyformapartitionof{1,...,n}. For ach 1 j r, choos x j I j. For such a j and for y I j, w hav x j y and thus kr(proj xj ) = kr(proj y ). As a consqunc, thr xists α y Aut(S) such that proj y (g) = α y (proj xj (g)) for all g G. Combindwith th fact that proj x1,...,x r (G) = S r (by Lmma 2.3, bcaus x i x j implis proj xi,x j (G) = S 2 ), w obtain that G is a product of subdiagonals of S n whos undrlying partition is {I j 1 j r}. Lmma 2.5. Lt S L b finit groups, whr L/S is solvabl and S is simpl nonablian. Lt G L n (whr n 1) b such that proj i (G) S for all i {1,...,n}. Thn G S n is a product of subdiagonals of S n. 8

9 Proof. In viw of Lmma 2.4, it suffics to show that proj i (G S n ) = S for ach i {1,...,n}. Givn a group H, w writ H (0) = H and H (k) = [H (k 1),H (k 1) ] for ach k 1. Sinc L/S is solvabl, thr xists k such that (L/S) (k) is trivial. This implis that L (k) S. Hnc, w obtain G (k) (L n ) (k) = (L (k) ) n S n and proj i (G S n ) proj i (G (k) ) = proj i (G) (k) S (k) = S. 2.2 Krnl of th action on balls W can now start to adapt th rsults [BM00a, Lmmas 3.4.2, and 3.5.3] to th cas of groups that ar not vrtx-transitiv. Not that th proofs of som of our rsults ar significantly mor complicatd bcaus of this missing hypothsis. Lmma 2.6. Lt T b th (d 0,d 1 )-smirgular tr with d 0,d 1 3 and lt H H + T. Lt x and y b adjacnt vrtics of T and lt k 1. Thn H k (x) H k (y). In particular, H k 1 (x) or H k 1 (y) is non-trivial. Proof. Assumforacontradiction thath k (x) = H k (y). SincH k (x) H(x)andH k (y) H(y), w gt H k (x) H(x),H(y) = H. As H is transitiv on V 0 (T) and V 1 (T), this mans that H k (x) = H k (x ) for ach x V(T), implying that H k (x) is trivial. This is impossibl as H would thn b countabl, which contradicts its 2-transitivity on T. In particular, H k (x)\h k (y) or H k (y)\h k (x) is non-mpty. If H k (x)\h k (y), thn thr xists h H k (x)\h k (y) H k 1 (y)\h k (y) and hnc H k 1 (y) is non-trivial. If H k (y)\h k (x) thn w gt that H k 1 (x) is non-trivial. Rcall that th socl of a group G is th subgroup gnratd by th minimal nontrivial normal subgroups of G. In th nxt rsults, w will oftn us th asy fact that if G is a finit group whos socl S is simpl and of indx at most 2 in G, thn S is th only non-trivial propr normal subgroup of G. If, morovr, S is non-ablian, thn it follows that th cntr Z(G) of G is trivial. Lmma 2.7. Lt T b th (d 0,d 1 )-smirgular tr with d 0,d 1 3 and lt F 1 Sym(d 1 ). Lt H H + T b such that H(y) = F 1 for ach y V 1 (T). Suppos that th socl S 1 of th stabilizr F 1 (1) of 1 in F 1 is simpl non-ablian and of indx 2. Thn for ach x V 0 (T), on of th following holds. (A) H 1 (x,y) = H 2 (x) for ach y S(x,1). (B) H 1 (x) (S 1 ) d 0, whr H 1 (x) is sn in th natural way as a subgroup of (F 1 (1)) d 0. Proof. Fix x V 0 (T). For ach vrtx y S(x,1), th inclusion H 1 (x) H(x,y) inducs a homomorphism ϕ y :H 1 (x) H(x,y) / H 1 (y) =: H x,y = F1 (1) which is such that ϕ y (H 1 (x)) H x,y. This also givs ris to an injctiv homomorphism ϕ:h 1 (x) y S(x,1) H x,y = (F1 (1)) d 0. As ϕ y (H 1 (x)) H x,y andh 1 (x) H(x), thraronly twopossibilitis: ithrϕ y (H 1 (x)) is trivial for ach y S(x,1), or ϕ y (H 1 (x)) S 1 (via th isomorphism H x,y = F1 (1)) for ach y S(x,1). In th first cas, w dirctly gt H 1 (x) = H 1 (x,y) for ach y S(x,1), whichimplis H 1 (x) = H 2 (x) andinparticularh 1 (x,y) = H 2 (x) forach y S(x,1). In th scond cas, bylmma 2.5 th group ϕ(h 1 (x)) (S 1 ) d 0 is a product of subdiagonals. Ths subdiagonals dtrmin a bloc dcomposition for th H(x)-action on S(x, 1). As 9

10 this action is 2-transitiv (by Lmma 2.2), thr ar two options: it is ithr th full group (S 1 ) d 0 or a full diagonal (α 1 α d0 )( {1,...,d0 }) (with th notation givn in Subsction 2.1). If it is th full group, thn ϕ(h 1 (x)) (S 1 ) d 0 as wantd. Othrwis, H 1 (x,y) / H 2 (x) is a 2-group for ach y S(x,1). In particular, if z S(x,1) with z y thn th imag I of H 1 (x,y) in H x,z = H(x,z) / H 1 (z) = F 1 (1) is a subnormal 2-group of H x,z (bcaus H 1 (x,y) H 1 (x) H(x,z)). Sinc S 1 is not a 2-group, th only possibility for I is to b trivial. W thus hav H 1 (x,y) H 1 (z) for ach z S(x,1), which mans that H 1 (x,y) = H 2 (x). Lmma 2.8. Lt T b th (d 0,d 1 )-smirgular tr with d 0,d 1 3 and lt F 0 Sym(d 0 ) and F 1 Sym(d 1 ). Lt H H + T b such that H(x) = F 0 for ach x V 0 (T) and H(y) = F 1 for ach y V 1 (T). Suppos that, for ach t {0,1}, th socl S t of F t (1) is simpl non-ablian and of indx 2. Fix two adjacnt vrtics x V 0 (T) and y V 1 (T) and lt k 1. Assum that H k (x) (S k mod 2 ) c(x,k) and, if k 1, that H k 1 (x) (S (k 1) mod 2 ) c(x,k 1). Thn H k (y) is non-trivial. Proof. For z S(x,n), lt p(z) b th vrtx at distanc n 1 from x which is adjacnt to z and H x,z := H(z,p(z)) / H 1 (z). Dfin also S n (x,y) to b th st of vrtics of S(x,n) that ar at distanc n 1 from y and a(x,n) := S n (x,y). For simplicity, w st s := k mod 2 and t := (k 1) mod 2. W first claim that thr xists g H k 1 (x,y)\h k (x) whos imag σ(g) in z S k (x,y) H x,z = (F s (1)) a(x,k) is containd in (S s ) a(x,k). First rmark that H k 1 (x,y) \ H k (x) is non-mpty in viw of th hypothsis H k 1 (x) (S t ) c(x,k 1) (if k = 1, us H(x,y) / H 1 (x) = F t (1) S t ). Hnc, if F s (1) = S s th claim is trivially tru. On th othr hand, if [F s (1) : S s ] = 2 thn tak h H k 1 (x,y) such that h 2 H k 1 (x,y)\h k (x). Such an lmnt xists as S t is not a 2-group. Thn g = h 2 satisfis th claim. Now tak g H k (x) such that σ(g ) = σ(g), whos xistnc is nsurd by th fact that H k (x) (S s ) c(x,k). Thn th lmnt g g 1 is containd in H k (y) but not in H k+1 (y) (by construction), so H k (y) is non-trivial. In th proof of th following lmma, w us th Schrir conjctur stating that Out(S) is solvabl for ach finit simpl group S. This conjctur has bn provn using th Classification of th Finit Simpl Groups. Not howvr that, xcpt for Thorm F, w will only us Lmma 2.9 with S 0 = Alt(d 0 ) and S 1 = Alt(d 1 ), in which cas th solvability of Out(S 0 ) and Out(S 1 ) is clar. Lmma 2.9. Lt T b th (d 0,d 1 )-smirgular tr with d 0,d 1 3 and lt F 0 Sym(d 0 ) and F 1 Sym(d 1 ). Lt H H + T b such that H(x) = F 0 for ach x V 0 (T) and H(y) = F 1 for ach y V 1 (T). Suppos that, for ach t {0,1}, th socl S t of F t (1) is simpl non-ablian, of indx 2 and transitiv but not simply transitiv on {2,...,d t }. Thn H 1 (x) (S 1 ) d 0 for ach x V 0 (T) and H 1 (y) (S 0 ) d 1 for ach y V 1 (T). Proof. For ach x V(T), w can apply Lmma 2.7. This givs two possibilitis ((A) or (B)) at ach vrtx of T. As H is transitiv on V 0 (T) and V 1 (T), th situation must b idntical at all vrtics of th sam typ. In total, thr ar thr possibl situations: (A) for all vrtics, (A) for on typ of vrtics and (B) for th othr, or (B) for all vrtics. To prov th statmnt, w must show that th only situation that rally occurs is th last on. To do so, w prov that th two othr situations ar impossibl. W alrady know that w cannot hav (A) for all vrtics, sinc it would imply that H 2 (x) = H 1 (x,y) = H 2 (y) for two adjacnt vrtics x and y, contradicting Lmma

11 Now assum for a contradiction that w hav (A) for V 0 (T) and (B) for V 1 (T) (th rvrs situation bing idntical). If x V 0 (T) and y S(x,1), thn (A) mans that H 1 (x,y) = H 2 (x). Th homomorphism ϕ y :H 1 (x) H(x,y) / H 1 (y) = F 1 (1) has a normalimaganditskrnlisxactly H 1 (x,y) = H 2 (x). Hnc, H 1 (x) = H 1 (x) / H 2 (x) is isomorphic to a normal subgroup of F 1 (1): it is ithr trivial or isomorphic to S 1 or F 1 (1). By Lmma 2.8 (with k = 1), sinc H 1 (y) (S 0 ) d 1, H 1 (x) cannot b trivial. For th sak of brvity, st H := H 1 (x) and G := H(x) / H 2 (x). W hav shown that H is isomorphic to S 1 or F 1 (1), which implis that th cntr Z( H) of H is trivial, and H is a normal subgroup of G. Hnc, G contains th dirct product of H and its cntralizr C G ( H) (th intrsction of ths two normal subgroups bing Z( H)). Claim. Th product H C G ( H) is a subgroup of indx at most 2 of G. Proof of th claim: Considr th homomorphism α:g Out( H):g [h H ghg 1 H]. An lmnt g G is in th krnl of α if and only if thr xists k H such that ghg 1 = khk 1 for all h H, which is quivalnt to saying that k 1 g C G ( H). Hnc, kr(α) = H C G ( H). W writ K := H C G ( H) and want to show that [G : K] 2. Sinc K = kr(α), th quotint G/K can b mbddd into Out( H). By th Schrir conjctur (s [DM96, Appndix A], Out(S 1 ) is solvabl. As H = S 1 or F 1 (1), it implis that Out( H) is solvabl. Indd, if [F 1 (1) : S 1 ] = 2 thn thr is a natural map j:aut(f 1 (1)) Out(S 1 ), and on can show that kr(j) Inn(F 1 (1)), so that Aut(F 1 (1)) / kr(j) = im(j) Out(S 1 ) surjcts onto Out(F 1 (1)), making it solvabl. W just provd that G/K is solvabl. By th third isomorphism thorm, w hav ( )/ G / (K ) H / = H G/K. Sinc G/ H = F0, this mans that G/K is isomorphic to a quotint of F 0, lt us say F 0/ N with N F 0. Thr rmains to show that [F 0 : N] 2, using th fact that F 0/ N is solvabl. Considr th injctiv map i:f 0 (1) / N(1) F 0/ N whr N(1) is th stabilizr of 1 in N. Sinc F 0/ N is solvabl, F 0 (1) / N(1) is also solvabl. Howvr, N(1) can only b trivial or qual to F 0 (1) or S 0. It cannot b trivial as F 0 (1) is not solvabl, so F 0 (1) / N(1) 2. In particular, N is a non-trivial normal subgroup of th 2-transitiv group F 0, which implis that N is transitiv. Hnc, th map i dfind abov is an isomorphism, and F 0/ N = F 0 (1) / N(1) 2 as wantd. Using th fact that H C G ( H) is a subgroup of indx 1 or 2 of G, on can find a contradiction. Dnot by v 1,...,v d0 th vrtics adjacnt to x and by a (1) 1,...,a(1) d 1 1 th vrtics adjacnt to v 1 diffrnt from x (s Figur 2). As a corollary of th claim, th group C G ( H) acts non-trivially and thrfor transitivly on S(x,1) = {v 1,...,v d0 }. Hnc, thr xist c 2,...,c d0 C G ( H) such that c k (v 1 ) = v k for ach k {2,...,d 0 }. Dfin a (k) i = c k (a (1) i ) for ach k {2,...,d 0 } and i {1,...,d 1 1}. In this way, for ach k th vrtics a (k) 1,...,a(k) d 1 1 ar th vrtics adjacnt to v k diffrnt from x. Thanks to this choic, if h H satisfis h(a (1) i ) = a (1) j for som i and j thn th fact that hc k = c k h dirctly implis that h(a (k) i ) = a (k) j for ach k {2,...,d 0 }. In othr 11

12 x v 1 v 2 v d0 a (1) 1 a (1) d 1 1 a (d0) 1 a (d0) d 1 1 Figur 2: Illustration of Lmma 2.9. words, as soon as th action of h H on th vrtics adjacnt to v 1 is known, its action on th vrtics adjacnt to v k is also known for ach k {2,...,d 0 }. Now considr c C G ( H) with c(v k ) = v l (for som k,l {1,...,d 0 }). If w writ c(a (k) i ) = a (l) σ(i) (for all i) with σ Sym(d 1 1), thn th fact that c cntralizs H implis thatσ cntralizss 1. DnotbyO 1,...,O r thdistinctorbitsofc Sym(d1 1)(S 1 ), forming a partition of {1,...,d 1 1}. Sinc S 1 is transitiv on {1,...,d 1 1}, w dirctly gt that O 1 = = O r and that S 1 prsrvs th partition O 1 O r. If r = 1, thn C Sym(d1 1)(S 1 ) is transitiv and hnc S 1 is simply transitiv, which is impossibl by hypothsis. If r = 2, thn {s S 1 s(o 1 ) = O 1 } is a subgroup of indx 2 of S 1, which contradicts its simplicity. Hnc, w must hav r 3. W now xplain how this contradicts th 2-transitivity of H. Lt us look at th possibl imags of th ordrd pair (a (1) 1,a(2) 1 ) by lmnts of G. In viw of Lmma 2.2, for all distinct k,l {1,...,d 0 } and all i,j {1,...,d 1 1} thr should xist som lmnt g G such that g((a (1) 1,a(2) 1 )) = (a(k) i,a (l) j ). This mans that G (a (1) 1,a(2) 1 ) = d 0 (d 0 1)(d 1 1) 2. Howvr, in viw of what has bn obsrvd abov, th imag of (a (1) 1,a(2) 1 ) by an lmnt of (1) H is always of th form (a i,a (2) i ), and th imag of (a (1) i,a (2) i ) by an lmnt of C G ( H) is always of th form (a (k) j,a (l) j ) with j and j in th ( d1 1 r orbit O a i. Consquntly, w hav ( H C G ( H)) (a (1) 1,a(2) 1 ) d 0(d 0 1)r (bcaus thr ar r orbits, ach of siz d 1 1 r ). Sinc [G : ( H C G ( H))] 2, this implis that G (a (1) 1,a(2) 1 ) 2 r d 0(d 0 1)(d 1 1) 2, which contradicts th fact that r 3. Proposition Undr th assumptions of Lmma 2.9 and for ach x V(T) and ach k Z >0, w hav H k (x) (S (t+k) mod 2 ) c(x,k), whr t {0,1} is th typ of x. Proof. For x V(T) and z S(x,n), st H x,z := H(z,p(z)) / H 1 (z) whr p(z) is th vrtx at distanc n 1 from x which is adjacnt to z. For y S(x,1), lt also S n (x,y) b thst of vrtics of S(x,n) that ar at distancn 1 from y and a(x,n) := S n (x,y). W prov th rsult by induction on k. For k = 1, this is xactly Lmma 2.9. Now lt k 2 and assum th rsult is provn for k 1 (and for all vrtics). W show that it is thrfor also tru for k. By Lmma 2.6 and sinc H is transitiv on V 0 (T) and V 1 (T), H k (x) is non-trivial for ach x V 0 (T) or H k (y) is non-trivial for ach y V 1 (T). Assum without loss of gnrality that H k (x) is non-trivial for ach x V 0 (T). W first prov that H k (x) (S s ) c(x,k) for ach x V 0 (T), whr s := k mod 2. Fix x V 0 (T). For ach y S(x,1), lt I y b th imag of H k 1 (y) in th product z S k (x,y) H x,z. By th induction hypothsis, w hav I y (S s ) a(x,k). But H k (x) ) 2 12

13 H k 1 (y), so if I y is th imag of H k(x) in this product, thn I y I y and I y (S s) a(x,k) (S s ) a(x,k). Th only normal subgroups of (S s ) a(x,k) ar th products mad from th trivial group and th full group S s. By transitivity of H(x) on S(x,k) (s Lmma 2.1), I y (S s ) a(x,k) must b ithr trivial or qual to (S s ) a(x,k). Suppos that I y (S s ) a(x,k) is trivial. Thn I y is trivial, sinc th contrary and th fact that I y I y would imply that F s (1) has a normal subgroup of ordr 2, which is not th cas. Thn, by transitivity of H(x) on S(x,1), I y must b trivial for ach y S(x,1). This is impossibl as H k (x) is non-trivial. Hnc, I y contains (S s ) a(x,k). Now H k (x) is xactly th imag of H k (x) in y S(x,1) z S k (x,y) H x,z, so H k (x) (S s ) c(x,k) is a product of subdiagonals in (S s ) c(x,k), by Lmma 2.5. W claim that it must b th full group (S s ) c(x,k). By contradiction, suppos it is not th cas. Thn th product of subdiagonals inducs a bloc dcomposition {B i } 1 i r for th H(x)-action on S(x,k) with B i0 2 for som i 0 and B i S k (x,y) 1 for all i and y S(x,1) (bcaus I y (S s ) a(x,k) ). Choos y y in S(x,1) such that B i0 S k (x,y) = {z} and B i0 S k (x,y ) = {z }. Tak w S k (x,y ) with w z. By Lmma 2.2, thr xists g H(x) such that g(z) = z and g(z ) = w, which is a contradiction with th bloc dcomposition. Thrfor, w hav H k (x) (S s ) c(x,k) as wantd. W ar don for ach x V 0 (T). Now if w try to do th sam rasoning for y V 1 (T), th only issu is that H k (y) could a priori b trivial. Howvr, sinc H k (x) (S s ) c(x,k) for ach x V 0 (T) and as H k 1 (x) (S 1 s ) c(x,k 1) by induction hypothsis, Lmma 2.8 prcisly tlls us that H k (y) is non-trivial. Hnc, w also gt H k (y) (S 1 s ) c(y,k) in th sam way. 2.3 A global rsult In th particular cas whrf 0 (1) and F 1 (1) ar simplnon-ablian, w can dducfrom Proposition 2.10 that thr is, up to conjugation, only on group H H + T such that H(x) = F 0 for ach x V 0 (T) and H(y) = F 1 for ach y V 1 (T). This is th subjct of Thorm F whos statmnt is rcalld blow. Rcall that a lgal coloring i of T is a map dfind picwis by i V0 (T)= i 0 and i V1 (T)= i 1 whr, for ach t {0,1}, th map i t :V t (T) {1,...,d 1 t } is such that i t S(v,1) :S(v,1) {1,...,d 1 t } is a bijction for ach v V 1 t (T). For g Aut(T) and v V(T), th local action of g at v is σ (i) (g,v) := i S(g(v),1) g i 1 S(v,1). Givn F 0 Sym(d 0 ) and F 1 Sym(d 1 ), th group U + (i) (F 0,F 1 ) is dfind by { } U + (i) (F 0,F 1 ) := g Aut(T) + σ (i) (g,x) F 0 for ach x V 0 (T),. σ (i) (g,y) F 1 for ach y V 1 (T) Th following basic rsult will b usd constantly in th rst of this papr. Lmma Lt T b th (d 0,d 1 )-smirgular tr and lt i b a lgal coloring of T. If g,h Aut(T) and v V(T), thn σ (i) (gh,v) = σ (i) (g,h(v)) σ (i) (h,v). If g Aut(T) and v V(T), thn σ (i) (g 1,v) = σ (i) (g,g 1 (v)) 1. Proof. This dirctly follows from th dfinition of σ (i) (g,v). Th nxt rsult is th dg-transitiv vrsion of [BM00a, Proposition 3.2.2]. Lmma Lt T b th (d 0,d 1 )-smirgular tr with d 0,d 1 3 and lt F 0 Sym(d 0 ) and F 1 Sym(d 1 ). Lt H H + T b such that H(x) = F 0 for ach x V 0 (T) and H(y) = F 1 for ach y V 1 (T). Thn thr xists a lgal coloring i of T such that H U + (i) (F 0,F 1 ). 13

14 Proof. Fix x V 0 (T) and, for ach v V 0 (T) diffrnt from x, lt p(v) b th vrtx of S(v,2) th closst to x. For ach such v, choos h v H such that h intrchangs v and p(v). W dfin an appropriat map i 1 :V 1 (T) {1,...,d 0 } inductivly on X n := V 1 (T) B(x,2n 1). For n = 1, w choos a bijction i x :X 1 = S(x,1) {1,...,d 0 } such that i x H(x)i 1 x = F 0 and st i 1 X1 = i x. Now assum that i 1 is dfind on X n. To xtnd i 1 to X n+1, w st i 1 S(v,1) = i 1 S(p(v),1) h v S(v,1) for ach v S(x,2n). Th map i 0 :V 0 (T) {1,...,d 1 } is dfind in th sam way by fixing y V 1 (T) and choosing h v H for ach v V 1 (T) as abov. Dfin finally i by i V0 (T)= i 0 and i V1 (T)= i 1. Givn v V 0 (T) diffrnt from x, our construction is such that σ (i) (h v,v) = id. Hnc, if v is at distanc 2n from x, th lmnt h v = h p n 1 (v) h p(v) h v H satisfis h v (v) = x and σ (i) ( h v,v) = id (by Lmma 2.11). Now if w considr g H and v V 0 (T), th lmnt h g(v) g h 1 v H fixs x and is thrfor such that σ (i) ( h g(v) g h 1 v,x) F 0. Using Lmma 2.11, w obtain that σ (i) (g,v) F 0. In th sam way, for v V 1 (T) w gt σ (i) (g,v) F 1. W thus hav g U + (i) (F 0,F 1 ) and hnc H U + (i) (F 0,F 1 ). Lt us now prov Thorm F. Not that th fact that F t (1) is simpl non-ablian implis that F t (1) 60 and hnc that d t 6 for ach t {0,1}. Thorm F. Lt T b th (d 0,d 1 )-smirgular tr and lt F 0 Sym(d 0 ) and F 1 Sym(d 1 ). Lt H H + T b such that H(x) = F 0 for ach x V 0 (T) and H(y) = F 1 for ach y V 1 (T). Suppos that, for ach t {0,1}, F t (1) is simpl non-ablian. Thn thr xists a lgal coloring i of T such that H = U + (i) (F 0,F 1 ). Proof. By Lmma 2.12, thr xists a lgal coloring i of T such that H U + (i) (F 0,F 1 ). For ach t {0,1}, F t is 2-transitiv and hnc F t (1) is transitiv on {2,...,d t }. Morovr, F t (1) is nvr simply transitiv. Indd, if it was th cas thn F t would b sharply 2-transitiv, but th finit sharply 2-transitiv prmutation groups hav bn classifid and thy nvr hav a simpl non-ablian point stabilizr (s [Zas35], [DM96, Sction 7.6]). W can thrfor apply Proposition 2.10 and dirctly obtain, sinc H is closd in Aut(T), that for ach v V(T) th stabilizr H(v) is qual to U + (i) (F 0,F 1 )(v). As H is gnratd by its vrtx stabilizrs, th conclusion follows. 3 A common subgroup W assum in this sction that H H + T satisfis H(x) = F 0 Alt(d 0 ) for ach x V 0 (T) and H(y) = F 1 Alt(d 1 ) for ach y V 1 (T). Our goal is to prov, undr this hypothsis and whn d 0,d 1 6, that thr always xists a lgal coloring i of T such that H Alt (i) (T) +. Rcall that Alt (i) (T) + = U + (i) (Alt(d 0),Alt(d 1 )), i.. Alt (i) (T) + = {g Aut(T) + σ (i) (g,v) is vn for ach v V(T)}. Undr ths assumptions, w will apply Proposition Indd, whn F t Alt(d t ) withd t 6(fort {0,1}), thsocls t off t (1)isAlt(d t 1)whichissimplnon-ablian, of indx at most 2 in F t (1), and transitiv but not simply transitiv on {2,...,d t }. Rmark that, if F 0 = Alt(d 0 ) and F 1 = Alt(d 1 ), thn w alrady know by Thorm F that H = Alt (i) (T) + for som lgal coloring i. Th task is howvr surprisingly mor difficult whn F 0 = Sym(d 0 ) or F 1 = Sym(d 1 ). 14

15 3.1 Finding good colorings of rootd trs For our nxt rsults, w dnot by T d0,d 1,n th rootd tr of dpth n whr th root v 0 has d 0 childrn, th vrtics at positiv vn distanc from v 0 (xcpt th lavs) hav d 0 1 childrn, and th vrtics at odd distanc from v 0 (xcpt th lavs) hav d 1 1 childrn. Similarly, T d 0,d 1,n is th rootd tr of dpth n whr v 0 and all th vrtics at vn distanc from v 0 hav d 0 1 childrn whil th vrtics at odd distanc from v 0 hav d 1 1 childrn. Rmark that, in th (d 0,d 1 )-smirgular tr T, a ball B(v,n) around a vrtx v of typ 0 is isomorphic to T d0,d 1,n. Th intrsction of B(v,n) with a half-tr of T rootd in v is isomorphic to T d 0,d 1,n. Th notion of a lgal coloring of T d0,d 1,n, as wll as th prmutations σ (i) (g,v) for g Aut(T d0,d 1,n) and v T d0,d 1,n (i.. v is not a laf), ar dfind as for smirgular trs. W can also dfin a lgal coloring of T d 0,d 1,n: it suffics to prcis that only d 0 1 colors ar usd for th vrtics adjacnt to v 0. Th notation σ (i) (g,v) has also a maning, but σ (i) (g,v 0 ) Sym(d 0 1) instad of Sym(d 0 ). Givn T = T d0,d 1,n or T d 0,d 1,n with a lgal coloring i, w finally dfin Alt (i) ( T) := {g Aut( T) σ (i) (g,v) is vn for ach v T}. In th rst of this sction and for th sak of brvity, w will somtims forgt th word lgal and writ coloring instad of lgal coloring. Lmma 3.1. Lt T = T d 0,d 1,n with d 0,d 1 3 and lt i b a lgal coloring of T. Thn Alt (i) ( T) is gnratd by th st {g 2 g Alt (i) ( T)}. Proof. W procd by induction on n. For n = 0, th tr T d 0,d 1,0 has only on vrtx and thr is nothing { to prov. Now lt n 1} and assum th rsult is provn for n 1. This mans that g 2 B(v 0,n 1) g Alt (i) ( T) gnrats Alt (i) (B(v 0,n 1)), whr v 0 } is th root of T. Hnc, it suffics to show that {g 2 g FixAlt(i) ( T) (B(v 0,n 1)) gnrats Fix Alt(i) ( T) (B(v 0,n 1)). Sinc altrnating groups ar gnratd by 3-cycls, th group Fix Alt(i) ( T) (B(v 0,n 1)) is gnratd by th lmnts f Alt (i) ( T) fixing T \{a,b,c} and such that f(a) = b, f(b) = c and f(c) = a whr a,b,c S(v 0,n) hav th sam parnt. Th conclusion simply follows from th fact that ach such lmnt f is th squar of f 1 Alt (i) ( T). In th following, if v is a vrtx in a tr T with root v 0, thn X v is th branch of v, i.. th subtr of T spannd by v and all its dscndants. For G Aut( T), Rist G (v) is th pointwis stabilizr in G of T \X v. W will gnrally s Rist G (v) as a subgroup of Aut(X v ). Finally, G k is th pointwis stabilizr in G of B(v 0,k) for k 0. Lmma 3.2. Lt T = T d0,d 1,n or T d 0,d 1,n with d 0,d 1 6 (and n 1), lt v 0 b th root of T and lt i b a lgal coloring of B(v0,n 1). Lt G Aut( T) b such that G n 1 Alt(d 0 1) c(v 0,n 1) (or Alt(d 1 1) c(v 0,n 1) or Alt(d 0 ), dpnding on n) and G B(v0,n 1) Alt (i) (B(v 0,n 1)). Thn thr xists a lgal coloring i of T xtnding i such that G Alt (i) ( T). Morovr, if for som vrtx y 0 S(v 0,1) w alrady had a lgal coloring i of X y0 coinciding with i on X y0 B(v 0,n 1) and such that Rist G (y 0 ) Alt (i )(X y0 ), thn i can b chosn to xtnd i too. Proof. Dfin = d 0 if T = T d0,d 1,n and = d 0 1 if T = T d 0,d 1,n, so that th root v 0 of T has xactly nighbors. W procd by induction on n. For n = 1, w hav 15

16 G = G 0 Alt() by hypothsis, and thus any coloring i of T is such that G Alt (i) ( T). Now lt n 2 and assum th lmma is tru for n 1. W show it is also tru for n. Lt y 1,...,y b th vrtics of S(v 0,1). By hypothsis, G n 1 Alt( d 1) c(v 0,n 1) whr d = d 0 if n is odd and d = d 1 if n is vn. This implis in particular that Aut(X y1 ) Rist G (y 1 ) n 2 Alt( d 1) c(y1,n 2) (whr c(y 1,n 2) counts th vrtics of X y1 at distanc n 2 from y 1 and Rist G (y 1 ) is sn as a subgroup of Aut(X y1 )). W also claim that Rist G (y 1 ) B(y1,n 2) Alt (i) (X y1 B(y 1,n 2)). Indd, sinc G B(v0,n 1) Alt (i) (B(v 0,n 1)), for ach h Alt (i) (X y1 B(y 1,n 2)) thr xists g G fixing ( T \X y1 ) B(v 0,n 1) and acting as h on X y1 B(y 1,n 2). Thn g 2 G acts as h 2 on this st, and has th advantag that g 2 E(x) is an vn prmutation of E(x) for ach x ( T \X y1 ) S(v 0,n 1). As G n 1 Alt( d 1) c(v0,n 1), thr xists f G n 1 such that f E(x) = g 2 E(x) for all thos x. Thn f 1 g 2 acts as h 2 on X y1 B(y 1,n 2) and blongstorist G (y 1 ). ThismansthatRist G (y 1 ) B(y1,n 2) contains{h 2 h Alt (i) (X y1 B(y 1,n 2))}. By Lmma 3.1, w obtain Rist G (y 1 ) B(y1,n 2) Alt (i) (X y1 B(y 1,n 2)). W can now us our induction hypothsis on Rist G (y 1 ) Aut(X y1 ) to gt a coloring i 1 of X y1 xtnding i and such that Rist G (y 1 ) Alt (i1 )(X y1 ). In th particular cas whr w ar givn a vrtx y 0 and a coloring i of X y0 as in th statmnt, w st y 1 = y 0 and rathr dfin i 1 = i. Now tak g 1 G with g 1 B(v0,n 1) Alt (i) (B(v 0,n 1)) such that th inducd action of g 1 on S(v 0,1) is th 3-cycl (y 1 y 3 y 2 ), g 1 fixs X y B(v 0,n 1) for ach y S(v 0,1)\ {y 1,y 2,y 3 }, and g1 3 B(v 0,n 1)= id B(v0,n 1). Such an lmnt g 1 xists as G B(v0,n 1) Alt (i) (B(v 0,n 1)). Th lmnt h 1 = g1 2 acts as th 3-cycl (y 1 y 2 y 3 ) on S(v 0,1), fixs X y B(v 0,n 1) for ach y S(v 0,1)\{y 1,y 2,y 3 } and also satisfis h 3 1 B(v 0,n 1)= id B(v0,n 1). In addition, h 1 E(x) is an vn prmutation of E(x) for ach x ( T \ (X y1 X y2 X y3 )) S(v 0,n 1) (bcaus h 1 = g1 2). From i 1, construct a coloring is vn for ach x X y1 S(v 0,n 1). In th sam way, from i 2, construct a coloring i 3 of X y3 (coinciding with i) such that i 3 S(h1 (x),1) h 1 i 2 1 S(x,1) is vn for ach x X y 2 S(v 0,n 1). As h 1 = g1 2, walsoobtainthati 1 S(h1 (x),1) h 1 i 3 1 S(x,1) isvnforachx X y 3 S(v 0,n 1). This xactly mans that, for any coloring i of T xtnding i, i 1, i 2 and i 3, it will b tru that h 1 Alt (i) ( T). In th cas whr is odd, th proof is almost finishd. Indd, rpat this procss to gt h 3 G inducing (y 3 y 4 y 5 ) on S(v 0,1) and colorings i 4 of X y4 and i 5 of X y5, and so on until h 2 G inducing (y 2 y 1 y ) on S(v 0,1) and colorings i 1 of X y 1 and i of X y. Thn dfin i as th uniqu coloring xtnding i,i 1,...,i. In viw of our construction, i is such that h 1,h 3,...,h 2 Alt (i) ( T). What is intrsting about h 1,h 3,...,h 2 is th fact that th prmutations (y 1 y 2 y 3 ),(y 3 y 4 y 5 ),...,(y 2 y 1 y ) gnrat Alt(). In particular, as Rist G (y 1 ) Alt (i1 )(X y1 ) w s by conjugating this inclusion with an lmnt of h 1,h 3,...,h 2 snding y 1 on y k that Rist G (y k ) Alt (ik )(X yk ) for ach k {1,...,}. Thismans that G containsall lmnts of Alt (i) ( T) i 2 of X y2 (coinciding with i) such that i 2 S(h1 (x),1) h 1 i 1 1 S(x,1) fixing S(v 0,1). Sinc it also contains h 1,h 3,...,h 2 Alt (i) ( T) whos inducd actions on S(v 0,1) gnrat Alt(), w finally gt G Alt (i) ( T). If is vn, thn th xact sam rasoning givs us h 3,h 5,...,h 3 and colorings i 4,...,i 1. At th nd, thr is no coloring of X y yt and th prmutations (y 1 y 2 y 3 ), (y 3 y 4 y 5 ),..., (y 3 y 2 y 1 ) only gnrat th vn prmutations of S(v 0,1) fixing y. So as to conclud, tak g 2 G as bfor so that th inducd action on S(v 0,1) is (y 2 y y 1 ) and dfin h 2 = g 2 2. For simplicity, w writ h := h 2. Hr, th colorings i 2 and i 1 ar alrady fixd and w can only choos a coloring i of X y. 16

17 Choos i so that i S(h(x),1) h i 1 1 S(x,1) is vn for ach x X y 1 S(v 0,n 1), and dfin i as th uniqu coloring xtnding i,i 1,...,i. Th only issu prvnting us from concluding as abov is that it is not sur if h Alt (i) ( T). Th prmutation σ (i) (h,x) could indd b odd for som x (X y 2 X y ) S(v 0,n 1). Mor prcisly, ths ar th only vrtics for which σ (i) (h,x) could b odd and w vn know (bcaus h = g 2 2 ) that σ (i) (h,x) with x X y S(v 0,n 1) is odd if and only if σ (i) (h,h(x)) is odd. W thrfor dfin O := {x X y S(v 0,n 1) σ (i) (h,x) is odd}, so that O h(o) is xactly th st of vrtics at which thr is an odd prmutation. To finish th proof, w show that thr xists h G Alt (i) ( T) with h B(v0,n 1)= h B(v0,n 1). Dnot by a ( 2) 1,...,a ( 2) m th vrtics of X y 2 S(v 0,n 1). Thn dfin a ( 1) j = h(a ( 2) j ) and a () j = h(a ( 1) j ) for ach j {1,...,m}. Finally, for ach k {1,..., 3} choos r k G Alt (i) ( T) such that r k (y 2 ) = y k and dfin a (k) j = r k (a ( 2) j ) for all j. W say that f Aut( T) prsrvs th lablling if f(y k ) = y l implis f(a (k) j ) = a (l) j for all j. On ss that if f prsrvs th lablling and if σ (i) (f,v 0 ) is vn, thn f B(v0,n 1) Alt (i) (B(v 0,n 1)). Choos f 1,f 2 Alt (i) ( T) prsrving th lablling, fixing X y and such that th inducd action of f 1 (rsp. f 2 ) on S(v 0,1) is th prmutation (y 1 y 2 y 1 ) (rsp. (y 1 y 2 y 1 )). Suchlmntsxistbythprviousrmark, andthyarcontainding. Not that d 0 6, so 5and2< 2. Lt uslook at thlmntτ = (f 1 h f 2 ) 2 G. Clarly, τ prsrvs th lablling and it suffics to look at its action on S(v 0,1) to know its action on S(v 0,n 1). Th action of τ on S(v 0,1) is givn by [(y 1 y 2 y 1 )(y 2 y 1 y )(y 1 y 2 y 1 )] 2 which is xactly th trivial prmutation. Hnc, τ acts trivially on B(v 0,n 1). W should now obsrv with th hlp of Lmma 2.11 if σ (i) (τ,x) is vn or odd, for ach x S(v 0,n 1). As f 1,f 2 Alt (i) ( T), all th prmutations thy induc ar vn. Using that σ (i) (h,x) is odd if and only if x O h(o), w actually obtain that σ (i) (τ,x) is odd if and only if x O h(o). This mans that h = h τ G, which acts as h on B(v 0,n 1), is such that σ (i) (h,x) is always vn, i.. h Alt (i) ( T). 3.2 Th common subgroup Alt (i) (T) + W ar now rady to complt th proof of Thorm G from th introduction. For th radr s convninc w rproduc its statmnt. Thorm G. Lt T b th (d 0,d 1 )-smirgular tr with d 0,d 1 6. Lt H H + T b such that H(x) = F 0 Alt(d 0 ) for ach x V 0 (T) and H(y) = F 1 Alt(d 1 ) for ach y V 1 (T). Thn thr xists a lgal coloring i of T such that H Alt (i) (T) +. Proof. Givn v V(T) and a coloring i of T, w say that i is n-valid at v (with n Z >0 ) if th natural imag of H(v) in Aut(B(v,n)) contains Alt (i) (B(v,n)). If H(v) Alt (i) (T) + (v), i is said to b -valid at v. As H is closd in Aut(T), a coloring is -valid at v if and only if it is n-valid at v for all n Z >0. W first claim that if i is a coloring of T which is -valid at v 1 and n-valid at v 2 whr v 1 and v 2 ar adjacnt vrtics (with n Z >0 ), thn thr xists a coloring ĩ of T such that ĩ B(v1,n) B(v 2,n)= i B(v1,n) B(v 2,n) and which is (n+1)-valid at v 1 and -valid 17