arxiv: v1 [math.gt] 31 Jan 2008

Transcription

1 COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON rxiv:8.85v [mth.gt] Jn 8 Astrt. This pper desries generl lgorithm for finding the ommensurtor of non-rithmeti hyperoli mnifold with usps, nd for deiding when two suh mnifolds re ommensurle. The method is sed on some elementry oservtions regrding horosphere pkings nd nonil ell deompositions. For exmple, we use this to find the ommensurtors of ll non-rithmeti hyperoli one-puntured torus undles over the irle. For hyperoli -mnifolds, the lgorithm hs een implemented using Goodmn s omputer progrm Snp. We use this to determine the ommensurility lsses of ll usped hyperoli -mnifolds tringulted using t most 7 idel tetrhedr, nd for the omplements of hyperoli knots nd links with up to rossings.. Introdution Two mnifolds or orifolds M nd M re ommensurle if they dmit ommon finite sheeted overing. For hyperoli n-orifolds, we n suppose tht M = H n /Γ nd M = H n /Γ, with Γ nd Γ disrete sugroups of Isom(H n ). In this pper, we ssume tht M nd M re of finite volume nd of dimension t lest. Then, y Mostow-Prsd Rigidity, ommensurility mens tht we n onjugte Γ y n isometry g suh tht gγg nd Γ interset in sugroup of finite index in oth groups. Given tht the lssifition of finite volume hyperoli mnifolds up to homeomorphism ppers to e hrd, it seems sensile to ttempt to sudivide the prolem nd strt with lssifition up to ommensurility. Looked t in this wy, we see remrkle dihotomy etween the rithmeti nd non-rithmeti ses. (See [] for the definition of rithmeti hyperoli mnifolds.) Define the ommensurtor of Γ to e the group Comm(Γ) = {g Isom(H n ) [Γ : Γ gγg ] < }. Then Γ nd Γ re ommensurle if nd only if Comm(Γ) nd Comm(Γ ) re onjugte. Geometrilly, n element of the normlizer of Γ in Isom(H n ) represents symmetry (i.e. isometry) of M = H n /Γ. Similrly, n element of the ommensurtor represents n isometry etween finite sheeted overs of M; this gives hidden symmetry of M if it is not the lift of n isometry of M (see [7]). It follows from deep work of Mrgulis [] (see lso [5]), tht in dimension, the ommensurtor Comm(Γ) is disrete if nd only if Γ is not rithmeti. This mens tht the ommensurility lss of non-rithmeti, ofinite volume, disrete group Γ is prtiulrly simple, onsisting only of onjugtes of the finite index sugroups of Comm(Γ). In terms of orifolds, it mens tht M nd M re ommensurle if nd only if they over ommon quotient orifold. On the other hnd, ommensurility lsses of rithmeti groups re ig : we my well hve ommensurle Γ nd Γ suh tht the group generted y gγg nd Γ is not disrete for ny g. This work ws prtilly supported y grnts from the Austrlin Reserh Counil.

2 OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON A hyperoli n-orifold is usped if it is non-ompt of finite volume. This pper desries prtil lgorithm for determining when two usped hyperoli n-mnifolds over ommon quotient, nd for finding smllest quotient. For non-rithmeti finite volume usped hyperoli n-mnifolds of dimension n, this solves the ommensurility prolem. Setion egins with some elementry oservtions out horoll pkings nd nonil ell deompositions of usped hyperoli mnifold. This leds to hrteriztion of the ommensurtor of non-rithmeti usped hyperoli mnifold M s the mximl symmetry group of the tilings of H n otined y lifting nonil ell deompositions of M. In Setion, we use this to determine the ommensurtors of non-rithmeti hyperoli one-puntured torus undles over the irle. Setion gives n lgorithm for finding the isometry group of tiling of H n rising from ell deomposition of hyperoli mnifold, nd Setions 5 nd 6 desrie methods for finding ll possile nonil ell deompositions for usped hyperoli mnifold. Setion 7 ontins some oservtions on ommensurility of usps in hyperoli -mnifolds whih n simplify the serh for ll nonil ell deompositions. In -dimensions, eh orientle hyperoli orifold hs the form M = H /Γ, where Γ is disrete sugroup of PSL(, C) = Isom + (H ). The invrint tre field k(γ) C is the field generted y the tres of the elements of Γ () = {γ γ Γ} lifted to SL(, C). This is numer field if M hs finite volume (see [7], [9], []). The invrint quternion lger is the k(γ) sulger of M (C) generted y Γ (). These re useful nd omputle ommensurility invrints (see [], []). For the rithmeti sugroups of Isom(H ), the invrint quternion lger is omplete ommensurility invrint. In ft for usped rithmeti hyperoli - orifolds, the invrint tre field is n imginry qudrti field nd the quternion lger is just the lger of ll mtries with entries in the invrint tre field (see [, Theorem..8]); so the invrint tre field is omplete ommensurility invrint. However most usped hyperoli -mnifolds re non-rithmeti (f. [6]) so other methods re needed to determine ommensurility. Dmin Herd nd Oliver Goodmn hve implemented the lgorithms desried in this pper for non-rithmeti hyperoli -mnifolds; these re inorported in the omputer progrm Snp [6]. Using this we hve determined the ommensurility lsses for ll mnifolds ourring in the Cllhn-Hildernd-Weeks ensus ([9], [9]) of usped hyperoli mnifolds with up to 7 tetrhedr, nd for omplements of hyperoli knots nd links up to rossings, supplied y Morwen Thistlethwite (see []). These results re disussed in Setion 8, while Setion 9 outlines the Dowker-Thistlethwite nottion used to desrie links. This work hs unovered interesting new exmples of ommensurle knot nd link omplements (see Exmples. nd.), nd new exmple of knot with shpe field properly ontined in the invrint tre field (see Exmple 7.). The results hve lso een used y Button [8] to study fired nd virtully fired usped hyperoli -mnifolds. For -usped mnifolds we note tht usp density (see Setion ) is very good invrint. We hve found only few exmples of inommensurle -usped mnifolds whih re not distinguished y usp density (see Exmple.). There is lso dum lgorithm, sed on volume ounds for hyperoli orifolds, whih works for ny (possily losed) non-rithmeti hyperoli -orifold, ut ppers to e quite imprtil. If M nd M over Q with Vol(Q) > C then the degrees d, d of the overings re ounded y D = Vol(M)/C nd

3 COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS D = Vol(M )/C, respetively. Then if M nd M re ommensurle, they dmit ommon overing N of degree t most D over M nd t most D over M. The est urrent estimte for C for orientle non-rithmeti -orifolds is.... from reent work of Mrshll-Mrtin [5]. Sine Vol(M) is typil, we would hve to find ll overings of M of degree d 5. This mens finding ll onjugy lsses of trnsitive representtions of π (M ) into S 5, group with round 6 elements! Aknowledgements: We thnk In Agol for pointing out simplifition to our method of determining the ommensurility of Euliden tori, Gven Mrtin for informtion on urrent volume ounds, nd Wlter Neumnn for severl interesting disussions on this work. We lso thnk Aln Reid, Genevieve Wlsh, nd the referee for their helpful omments on the pper.. The Commensurility Criterion We use the following terminology throughout this pper. A set of disjoint horolls in H n is lled horoll pking, nd usp neighourhood in hyperoli n-orifold is one whih lifts to suh horoll pking. Lemm.. The symmetry group of horoll pking in H n is disrete whenever the totlly geodesi suspe spnned y their idel points hs dimension t lest n. Proof. Let {g i } e sequene of symmetries of the pking onverging to the identity. Choose horolls B,..., B n whose idel points spn totlly geodesi suspe H of dimension n. For i suffiiently lrge, we n ssume tht g i (B k ) = B k for k =,..., n. But this implies tht these g i fix H pointwise. Sine the only suh isometries re the identity, nd refletion in H, the sequene must e eventully onstnt. Lemm.. Let M = H n /Γ e finite volume usped hyperoli orifold. The set of proli fixed points of Γ spns H n. Proof. The set of proli fixed points is dense in the limit set of Γ whih equls the whole of the sphere t infinity. Lemm.. Let M, M e finite volume usped hyperoli orifolds. Then M nd M over ommon orifold Q if nd only if they dmit hoies of usp neighourhoods lifting to isometri horoll pkings. Proof. If M nd M over Q, hoose usp neighourhoods in Q nd lift to M nd M. These ll lift to the sme horoll pking in H n, nmely the horoll pking determined y our hoie of usp neighourhoods in Q. Conversely, oth M nd M over the quotient of H n y the group of symmetries of their ommon horoll pking whih, y Lemms. nd., is disrete. We n define the usp density of -usped hyperoli orifold M s follows. Sine M hs only one usp it hs unique mximl (emedded) usp neighourhood U. The usp density of M is Vol(U)/Vol(M). Sine the usp density of ny orifold overed y M is the sme, it is ommensurility invrint of orifolds with disrete ommensurtor. Choosing full set of disjoint usp neighourhoods in non-ompt finite volume hyperoli n-mnifold M determines Ford spine. This is the ell omplex given y the set of points in M equidistnt from the usp neighourhoods in two or more diretions. Cells of dimension n k ontin points equidistnt from the usp neighourhoods in k + independent diretions (k =,..., n). This spine n

4 OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON lso e seen intuitively s the umping lous of the usp neighourhoods: low up the usp neighourhoods until they press ginst eh other nd fltten. Dul to the Ford spine is deomposition of M into idel polytopes, generilly simplies. The idel ell dul to given -ell of the Ford spine lifts to the onvex hull in H n of the set of idel points determined y the equidistnt diretions. We ll the ell deompositions tht rise in this wy nonil. For -usped mnifold the nonil ell deomposition is unique. It is shown in [] tht finite volume hyperoli mnifold with multiple usps dmits finitely mny nonil ell deompositions. Theorem.. Cusped hyperoli n-mnifolds M nd M over ommon orifold if nd only if they dmit nonil idel ell deompositions lifting to isometri tilings of H n. Proof. If M nd M over Q, hoose usp neighourhoods in Q nd lift them to M, M nd H n. Construting the Ford spine nd ell deomposition in H n lerly yields the lifts of those entities from oth M nd M orresponding to our hoie of usp neighourhoods. Conversely, oserve tht the symmetry group of the ommon tiling gives n orifold whih is quotient of oth mnifolds. Remrk.5. We n omit the word nonil in the ove theorem. The proof is unhnged. The previous theorem gives the following hrteriztion of the ommensurtor. Theorem.6. Let M = H n /Γ e finite volume usped hyperoli n-mnifold with disrete ommensurtor. Then Comm(Γ) is the mximl symmetry group of the tilings of H n otined y lifting nonil ell deompositions of M; it ontins ll suh symmetry groups. For mnifolds with disrete ommensurtor, we n now define truly nonil idel ell deomposition s follows. Find Comm(Γ) s in the ove theorem. Choose equl volume usp neighourhoods in H n /Comm(Γ). Lift them to M nd tke the resulting nonil ell deomposition of M. Two suh mnifolds re ommensurle if nd only if their truly nonil ell deompositions give isometri tilings of H n. Choosing mximl usp neighourhoods in H n /Comm(Γ) lso gives nonil version of usp density for multi-usped mnifolds. Theorem.6 is the sis for the lgorithms desried in this pper. Cnonil ell deompositions n e omputed y the lgorithms of Weeks desried in [] nd implemented in SnpPe []. In Setion elow we give n lgorithm for finding the isometry groups of the orresponding tilings of H n. Comining this with Theorem.6 gives n lgorithm for finding ommensurtors of -usped non-rithmeti hyperoli n-mnifolds. In Setions 5 nd 6 we extend this lgorithm to multi-usped mnifolds, y desriing methods for finding ll nonil ell deompositions. For hyperoli -mnifolds, these lgorithms hve een implemented y Herd nd Goodmn. (These re inorported in find ommensurtor nd relted ommnds in the progrm Snp [6]). We onlude this setion with some exmples disovered during this work. The term is not relly idel sine, for mnifolds with multiple usps, there re generlly multiple nonil ell deompositions depending on the hoie of usp neighourhoods.

5 D C B A E D B A E D A E D C A D E COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS 5.. Exmple: 5-link hin nd friends. The following five links hve ommensurle omplements, s shown using our omputer progrm. In the first three ses t lest it is possile to see this ommensurility. The first of these is the 5-link hin C 5. Thurston [, Chpter 6] explins how to otin fundmentl region for the hyperoli k-link hin omplements: we spn eh link of the hin y disk in the ovious mnner. The omplement of the union of these five disks is then solid torus. One the link is deleted, the disks nd their rs of intersetion divide the oundry of the solid torus into idel squres A, B, C, D, E s shown, with usps lelled,,, d, e. C D E A B C D d e d E e d e A B C D E d e A A hyperoli struture is given y tking two regulr pentgonl drums with idel verties nd djusting their heights to otin (idel) squre fes. Glue two drums together s shown, identify the top with the ottom vi π 5 rottion, nd glue fes s indited. Edges re then identified in s, two horizontl with two vertil. It is esy to hek tht the sum of dihedrl ngles round eh edge is π so this gives hyperoli struture, sine the ngle sum is π t eh idel vertex of drum. C B d d e C d e e A B

6 E D D E A 6 OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON It is ler from the symmetry of the piture tht the drums re ells in the nonil ell deomposition otined y hoosing equl re usp ross setions. We remrk tht Neumnn-Reid show tht this link omplement is non-rithmeti in [7, Setion 5]. Now hnge the 5-link hin y utting long the shown disk, pplying hlf twist, nd re-gluing to otin our seond link. In the omplement, this surgery introdues hlf turn into the gluing etween the A-fes. Edges re still identified in s, two horizontl with two vertil, ut there re now only four usps. C B d d C d A B If we repet the proess on the seond disk shown we otin the third link. Agin this orresponds to hnging the gluing pttern on our two drums. Sine these link omplements re non-rithmeti, the tiling of H y pentgonl drums overs some nonil ell deomposition of eh one. Sine their volumes re the sme, eh one deomposes into two pentgonl drums. It should therefore e possile, in eh se, to find 5 idel squres meeting t order edges, utting the omplement into one or two solid tori. We leve this s hllenge for the reder... Exmple: ommensurle knot omplements. Commensurle knot omplements seem to e rther rre. Previously known exmples inlude the Ruinstein- Aithison dodehedrl knots [] nd exmples due to onstrution of Gonzáles- Auñ nd Whitten [] giving knot omplements overing other knot omplements. For exmple, the,, 7 pretzel knot hs 8/ nd 9/ surgeries giving lens spes. Tking the universl overs of these lens spes gives new hyperoli knots in S whose omplements re 8- nd 9-fold yli overs of the (,, 7) pretzel omplement. Our progrm finds pir of knots 9n6 nd n6, hving 9 nd rossings respetively, whose omplements re ommensurle with volumes in the rtio :. Wlter Neumnn hs pointed out tht these knots elong to very pretty fmily of knots: tke nd of k repets of trefoil with the ends given m hlf twists efore putting them together. E.g. (k, m) = (, ):

7 COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS 7 The hlf-twists re put in so s to undo some of the rossings of the trefoils (llowing the ove projetion to e rerrnged so s to hve 9 rossings). The pir of knots found y our progrm orrespond to (k, m) = (, ) nd (, ). To see tht these knots hve ommensurle omplements we find ommon quotient orifold. In eh se this is the quotient of the knot omplement y its symmetry group; these re dihedrl groups of order nd order 6 respetively. The piture of 9n6 ove shows n ovious xis of -fold symmetry; elow left is the quotient, whih is the omplement of knot in the orifold S with singulr set n unknot lelled. By pulling the knot stright, we see tht this is n orifold whose underlying spe is solid torus with knotted singulr lous. If we rrnge the singulr lous on torus prllel to the oundry of the solid torus we see lsps, strnds in the (vertil) ore diretion, nd strnd with slope /. The view from inside the solid torus looking towrds the oundry is shown elow. (For the knot (, ) we would see lsps, strnds in the ore diretion nd strnd with slope /.) * * * * * * * * * * * * * * * * The solid torus with its singulr set hs three -fold symmetries whose xes interset the solid torus in 6 rs, eh pssing perpendiulrly through the ore like skewer, with symmetry group dihedrl of order 6. The ends of the rs re shown s strs ove. The quotient orifold is otined y tking slie of the solid torus etween two xes nd folding losed the top nd ottom disks like ooks. The result is ll with the xes giving two unknotted rs of order in the singulr set, running out to the oundry (whih is now (,,, ) pillowse orifold). The originl singulr set gives n r linking the other two, so tht the whole singulr lous is n H grph lelled with s. The lst three pitures show wht hppens to the singulr lous in one slie of the solid torus s we fold. We egin with the nnulus in the ottom /6th of the previous figure, redrwn fter twisting the ottom. This ounds solid ylinder with the singulr lous s shown in the middle figure. Folding long the top nd

8 8 OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON ottom (nd expnding the region slightly) gives the finl result. * * * * * * We leve it to the reder to drw similr pitures for the knot with (k, m) = (, ) nd verify tht the result is indeed the sme orifold. Alterntively, Or [8] or SnpPe [] n e used to verify tht the pproprite dihedrl overs of the finl orifold give the omplements of the knots with (k, m) = (, ) nd (, ). We remrk tht Wlter Neumnn hs found n infinite fmily of new exmples of pirs of ommensurle knot omplements in the -sphere; this exmple is the simplest se... Exmple: usp horoll pitures. Figure shows the horoll pkings of two -usped ensus mnifolds m7 nd m8 s seen from the usp. Using Snp [6], we find tht the ommensurility lsses of these two equl-volume mnifolds re indistinguishle y usp density or invrint tre field. Their mximl horoll pkings nd nonil ell deompositions re however different. (For exmple, the edges joining degree verties in the following usp digrms re ll prllel for m7, ut not for m8.) Figure. The mximl horoll pking nd nonil ell deomposition s seen from the usps of mnifolds m7 nd m8.

9 COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS 9. Exmple: puntured torus undles The undles over S with one-puntured torus s fire provide n interesting fmily of -usped hyperoli -mnifolds with known nonil tringultions. By nlysing how symmetries of the lifted tringultions of the universl over pper when viewed from the usp we otin (in ll the non-rithmeti ses) strong onstrints on wht symmetries my e possile. We then show tht they ll ome from symmetries of the mnifold. This leds to the following: Theorem.. Let M = H /G e n orientle non-rithmeti hyperoli - mnifold whih is one-puntured torus undle over S. Then M hs no hidden symmetries, i.e. the ommensurtor of G is the normlizer of G in Isom(H ). Let F denote one-puntured torus, nd let ϕ : F F e n orienttion preserving homeomorphism. Let M = M ϕ = F ϕ S = F [, ] (x, ) (ϕ(x), ) e the mpping torus of ϕ. Identifying F with (R Z )/Z, we hve tht ϕ is isotopi to n element of SL(, Z); sine M depends only on the isotopy lss of ϕ we ssume ϕ SL(, Z). Then M is hyperoli whenever ϕ is hyperoli, i.e. when ϕ hs distint rel eigenvlues; M ϕ nd M ϕ if ϕ nd ϕ re onjugte. Define mtries L = ( ) (, R = re homeomorphi if nd only For eh word w in the symols L, R define ϕ w SL(, Z) s the orresponding mtrix produt. Lemm.. Eh ϕ SL(, Z) is onjugte to ±ϕ w for some word w in the symols L, R. The sign is unique nd w is determined up to yli permuttions of its letters. Let M = M ϕ where ϕ = ±ϕ w is hyperoli. The so-lled monodromy tringultion T of M hs one tetrhedron for eh letter in w nd gluings determined y w nd the sign. It is niely desried in [] nd []. It follows from work of Lkeny [] tht T is the nonil idel ell deomposition of M. Other proofs of this result hve reently een given y Guéritud ([], [5]) nd Akiyoshi, Skum, Wd nd Ymshit (see [5]). The intersetion of T with (smll) torus ross setion of the usp of M, lifted to its universl over R, gives the (lifted) usp tringultion T of M. Note tht edges nd verties of T orrespond to edges of T seen trnsversely or end-on respetively. SnpPe [] provides pitures of these usp tringultions: see Figure for n exmple. We need two things: the first is omintoril desription of T in terms of w; the seond is n understnding of whih edges nd verties of T orrespond to the sme edges of T in M. Both re outlined riefly here: for detiled explntions we refer the reder to the Appendix of [] nd Setions nd of []... The monodromy tringultion T. The tringultion T is uilt up in lyers y gluing tetrhedr ording to the letters of w. We egin with n lmost flt idel tetrhedron projeting onto puntured torus; the tetrhedron hs edges,,, identified s shown elow. ).

10 OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON - For eh suessive letter L or R in the word w, we tth tetrhedron to the top of the previous tetrhedron, s shown elow in the over (R Z ) R. L R After using ll the letters of w, the finl tringultion of the fire F differs from the initil tringultion y the monodromy ϕ, nd we n glue the top nd ottom together to otin n idel tringultion T of M... Comintoril desription of T. Now onsider the indued tringultion of usp linking torus (i.e. usp ross setion) in M. Eh tetrhedron ontriutes hin of tringles going one round the usp s shown in Figure Figure. The hin of tringles round usp oming from one tetrhedron. In the tringultion T of R this lifts to n infinite hin of tringles forming (vertil) sw-tooth pttern.

11 COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS Eh hin is glued to the next in one of two wys depending on whether the letter is n L or n R. R L Before gluing we djust slightly the front tringles of the first hin nd the k tringles of the seond, so s to rete two horizontl edges. After stking these hins of tringles together we hve deomposition of T into horizontl strips whih n e desried omintorilly s follows. Mke horizontl strip out of tringles orresponding to the letters of w: for eh L dd tringle with side on the ottom edge of the strip nd vertex t the top; vie-vers for R; repet infinitely in oth diretions. For exmple, for LRRLR we hve: Fill the plne y refleting repetedly in the top nd ottom edges of the strip. Then the usp linking torus is the quotient of the plne y the group G generted y vertil trnsltion y four strips, nd horizontl trnsltion y one period of the strip (omposed with n extr vertil trnsltion y two strips if ϕ = ϕ w ). Figure. The usp tringultion of M = M ϕw where w = LRRLR. The tringultion of M hs five edges, lelled -, whih pper s oth edges nd verties of the usp tringultion.

12 OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON.. Edge/vertex orrespondene in T. To understnd whih edges of T re identified in T, we define diretion on eh horizontl strip: right to left on the first strip, left to right on the strips elow nd ove it, nd so on, so tht djent strips hve opposite diretions. Then we hve: Lemm.. Eh edge e of T whih rosses strip ounds two tringles, one of whih, δ sy, lies on the side of e given y the diretion on the strip. Then e nd the opposite vertex of δ give the sme edge of T. Horizontl edges of T orrespond with the edges t the opposite verties of oth djent tringles. This result is illustrted in Figure nd will e importnt in the rguments elow. refleted strip initil strip Figure. Edge identifitions in strips of T. Proof. The oundry etween two tetrhedr in T is puntured torus onsisting of two idel tringles, homotopi to fire of M. In T the oundries give edge yles, lifts of yle of 6 edges going one round the usp in the vertil diretion s in Figure. Here re two yles: Cyles meeting given strip form either L s nd Γ s or kwrds L s nd Γ s. This gives the diretions: L s nd Γ s red left to right! We see from Figure tht the edges of yle re homotopi to three edges of T,,, sy, ylilly repeted. The verties re the sme three edges of T rrnged so tht if n edge is, its verties re nd nd so on (s in Figure ). Thus for ny (forwrds or kwrds) L or Γ: the edge t the down-stroke ( strip-rossing edge) equls the edge seen t the other end of its horizontl stroke. Further, the edge seen t ny horizontl stroke equls the edge t the other end of the down-stroke. This proves the lemm... Redution to T. Let G e the imge of the holonomy representtion of π (M) in Isom(H ) so tht M = H /G s usul. Let x e fixed point of some mximl proli sugroup of G whih we identify with the group of trnsltions G defined ove. We regrd symmetries nd hidden symmetries s isometries of H. Sine M is -usped we n ompose ny symmetry or hidden symmetry with n element of G to otin n isometry whih fixes x. Thus if M hs symmetry,

13 COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS it is represented y symmetry of T ; if it hs non-trivil hidden symmetry, it is represented y symmetry of T whih does not ome from symmetry of M. Sine our omintoril piture of T is not metrilly ext, we only know tht symmetries nd hidden symmetries t s simpliil homeomorphisms (S.H.) of T. Lemm.. Simpliil homeomorphisms of T preserve horizontl strips whenever w (LR) m or (LLRR) m s yli word, for ny m >. Sine vertex orders in T re ll even we n define stright line to e pth in the -skeleton whih enters nd leves eh vertex long opposite edges. A strip onsists of prt of T etween two (infinite, disjoint) stright lines suh tht every interior edge rosses from one side of the strip to the other. Proof. If n edge of T lies on the edge of strip, not neessrily horizontl, the opposite vertex of the tringle whih rosses tht strip must hve order t lest 6: the stright line going through this vertex hs t lest the two edges of the tringle on one side. If there exists n S.H. whih is not horizontl strip preserving, every vertex of T will lie on non-horizontl edge whih is n edge of some strip (nmely the imge of previously horizontl strip edge). Suppose there is vertex of order or more, orresponding to or more djent L s or R s in w:... Here none of the non-horizontl edges shown n lie on strip edge euse they re ll opposite verties of order. So in this se ll S.H. s must preserve horizontl strips. Suppose there is vertex of order 8, orresponding to LL or RR in w: Now the only non-horizontl edges shown whih n e strip edges re the vertil ones. Vertex orders on this vertil edge lternte, 8,, 8. So if n S.H. mps horizontl strip edge to this vertil one, vertex orders long some horizontl edge must e, 8,, 8,.... This determines T nd hene w s (LLRR) m. (The reder n verify tht this prtiulr T dmits π/ rottion.) Finlly suppose there is no vertex of order > 6. It follows immeditely tht w is (LR) m nd T is the tiling of the plne y equilterl tringles. (Agin, this dmits S.H. s whih re not horizontl strip preserving.) Lemm.5. Simpliil homeomorphisms of T oming from symmetries of T preserve the horizontl strip diretions whenever w (LR) m or (LLRR) m. Proof. An S.H. of T whih omes from symmetry of T oviously preserves the order of every edge of T. Thus if we lel eh edge of T with the order of the orresponding edge of T, the lels must e preserved. The order of n edge of T orresponding to vertex of T is simply its order s vertex of T. By Lemm. we n use the strip diretions to lel the

14 OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON orresponding edges of T. Given vertex of order or more we hve:? ? The diretion on horizontl strip nnot e reversed euse this would swp n edge of order with one of order 6 or more. Suppose now the mximum vertex order is 8. For eh order 8 vertex we hve: If there is n S.H. whih reverses strip diretion then the other two sides of this dimond figure, wherever it ppers, must lso e lelled with s. The on the upper right edge implies tht the right hnd vertex of the dimond hs order 8, hene 8. This gives nother dimond figure djent to the first one. The rgument n e repeted giving the pttern ssoited with w = (LLRR) m. If there re no verties of order > 6, w = (LR) m. Proof of Theorem.. It is shown in [7] tht the only rithmeti orientle hyperoli puntured torus undles re those for whih w = LR, LLR (or LRR) or LLRR, or powers of these, hving invrint tre fields Q( ), Q( 7) nd Q( ) respetively. Thus, in the non-rithmeti ses, Lemms. nd.5 show tht ll symmetries of T whih ome from hidden symmetries of M re represented y simpliil homeomorphism whih preserve the strips nd strip-diretions. Note tht there re two sister mnifolds for eh w depending on whether the monodromy is ϕ w or ϕ w ; the tringultions of H however re the sme, depending only on w. It is now esy to see tht the possile symmetries of T, modulo the trnsltions in G, re restrited to the types listed elow. We show tht eh, if it ours t ll, omes from n tul symmetry of M. () ( Shifting up ) or down y two strips. This is relized y the ( symmetry ) from F ±ϕw S to itself. (Note tht is entrl in SL(, Z).) ϕ w ϕ w ( )

15 COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS 5 () If w is power, w = u m, then T dmits horizontl trnsltion y l(u) tringles, where l(u) is the length of the word u. In this se ϕ u M = ϕ u ϕ u nd r π/m gives symmetry of order m (where r θ denotes rottion of the unit irle S y θ). For the ϕ w se we reple one of the ϕ u s y ϕ u. After rotting we lso hve to pply to F [, /m]. () If w is plindromi, i.e. w nd its reverse w re the sme s yli words, then T dmits rottion y π out point on one of the strip edges. This is relized y S. ϕ w ( refl(s ) ) refl(s ), where refl(s ) denotes refletion of ϕ w ( ) ϕ w ( ) Note tht onjugtion y tkes L to L nd R to R. () If l(w) is even nd rotting w y hlf turn swps L s nd R s, T hs glide refletion mpping strip to ( itself, ) exhnging the top nd ottom of the strip. This is relized y sine onjugtion y this mtrix swps L nd R. More expliitly, let w = uv where v is u with L s nd R s interhnged. The symmetry is ϕ u ( ) ϕ v ϕ v ϕ u followed y r π on the S ftor. This symmetry is orienttion reversing. (5) If l(w) is even nd reversing w swps L s nd R s (we might sy tht w is nti-plindromi) then T dmits glide refletion with( vertil xis, ) shifting everything up y one strip. This is relized y ( ) refl(s ) sine onjugtion y tkes L to R nd R to L. This symmetry is orienttion reversing. We leve the piture s n exerise for the reder. Clerly if M dmits ny two of the symmetries 5 it dmits the third whih is produt of the other two. Thus if w is not power, M my hve one of 5 possile symmetry groups.

16 6 OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON. Algorithm for finding isometries of tilings To pply our ommensurility riterion, Theorem., we need wy to determine when tilings of H n, rising from idel ell deompositions, re isometri. We pursue this question in slightly more generl setting. Let M nd M e geometri n-mnifolds with universl over X n = E n or H n, eh with given finite deomposition into onvex polyhedr. We wish to determine whether the tilings T nd T whih over these two ell deompositions re isometri. (The elements of T (resp. T ) re onvex polyhedr in X n whih projet to polyhedr in the deomposition of M (resp. M ).) Neessry nd suffiient onditions for the tilings to e isometri re s follows. () There is n isometry i of X n whih mps n element of T isometrilly onto n element of T. () Whenever i mps P T isometrilly onto P T, nd F is (odimension ) fe of P, i mps the neighour of P t F isometrilly onto the neighour of P t i(f ). Suffiieny follows from the ft tht we n proeed from ny tile in T to ny other y finite sequene of steps etween neighouring tiles. Let S nd S denote the polyhedr deomposing M nd M respetively. Let Θ denote the set of ll triples (j, p, p ), where p S, p S, nd j is n isometry rrying p onto p. We n find Θ in finite numer of steps. Condition ove is equivlent to Θ eing non-empty. We sy tht (j, p, p ) Θ is indued y n isometry i of X n if there exist P T projeting to p nd P T projeting to p suh tht i rries P isometrilly onto P nd the restrition indues j. Let f e fe of p nd let q nd q e the neighours of p nd p t f nd j(f) respetively. The restrition of j to f indues n isometry etween ertin fes of q nd q. If this extends to (j q, q, q ) we sy tht (j, p, p ) extends ross f to (j q, q, q ). If (j, p, p ) is indued y i then (j q, q, q ) will e lso. Condition is equivlent to the following: whenever (j, p, p ) is indued y i, nd f is fe of p, then (j, p, p ) extends ross f. Theorem.. With the ove nottion, the tilings T nd T re isometri if nd only if there exists non-empty suset I of Θ suh tht every element of I extends ross eh of its fes to yield nother element of I. Proof. If T nd T re isometri with isometry i, simply let I e the set of elements of Θ indued y i. Conversely, suppose we hve I Θ hving the stted properties. Choose ny element (j, p, p ) I nd ny isometry i of X n whih indues it. Clerly ondition ove is stisfied. For ondition note tht if i mps P onto P nd this indues (j, p, p ) I then, euse this extends ross ll of its fes, i mps neighours of P isometrilly onto neighours of P nd these too indue elements of I. Therefore ondition is stisfied with ll the indued triples elonging to I. An lgorithm for finding suh suset I Θ or estlishing tht none exists is strightforwrd. If Θ is empty, stop; there is no suh suset. Otherwise hoose ny element of Θ nd put it in I. For eh element of I hek if we n extend ross ll fes. If we n t, remove ll elements of I from Θ nd strt gin. If we n, nd every element we reh is lredy in I, stop nd output I. If we n extend ross fes of ll elements of I, nd we otin new elements not yet in I, dd those new elements to I nd hek gin. Eh set I found y the lgorithm represents n equivlene lss of isometries rrying T onto T : hoose n isometry i induing ny element of I; then isometries

17 COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS 7 i, i re equivlent if i = g ig where g is overing trnsformtion of M nd g is overing trnsformtion of M. To find the symmetry group of tiling T we pply the lgorithm with T = T, M = M et. Let Γ denote the group of overing trnsformtions of M. Repeting the lgorithm until Θ is exhusted we otin finitely mny equivlene lsses of symmetries. These represent the doule osets of Γ in Symm(T ). Together with Γ they generte Symm(T ). Remrk.. Eh set I found y this lgorithm lso represents ommon overing N of M nd M onstruted s follows: For eh element r = (j, p, p ) I let p r denote opy of p. Let N e the disjoint union of the polyhedr p r s r vries over I, with the following fe identifitions. Eh fe f of p ppers s fe f r of p r. Whenever r extends ross f to s = (j q, q, q ), identify fe f r of p r with fe f s of q s... Exmple. Let M e the Euliden torus otined y gluing y retngle long opposite pirs of edges. Let M e nother suh torus otined y gluing y retngle. Sudivide eh into unit squres s shown, so tht S, the sudivision of M, equls {A, B, C} while S = {P, Q}. Both S nd S lift to tilings of the plne y unit squres. P A B C Q P A B C Q Θ onsists of 8 elements sine there re 8 wys of isometrilly mpping one unit squre onto nother nd 6 omintions of squres to e mpped. Suppose we strt with (t AP, A, P ) where t AP denotes the trnsltion rrying A onto P in the piture. We n extend (t AP, A, P ) ross the mrked edge (whose imge in M is lso shown) to otin (t BP, B, P ). Continuing until we hve extended ross every ville edge we otin 6 elements of Θ whih we n revite to {t AP, t BP, t CP, t AQ, t BQ, t CQ }. These give rise to the following ommon overing of M nd M. t AP t BP t CP t AQ t BQ t CQ Suppose insted we egin with lokwise rottion r AP onto P. Then we otin different ommon over. through 9 rrying A r r r r r r AP BQ CP AQ BP CQ

18 8 OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON Suppose finlly we sudivide one of the squres in S into two tringles. Now the tilings re lerly not isometri. P A B C Q R P A B C Q R The lgorithm might strt with t AP ut when it tries to extend this ross the mrked edge it will find tht the indued mpping from n edge of A to n edge of Q does not extend to ny isometry from A to Q... Comintoril onstrution of overings. Mostow-Prsd rigidity often llows us to work in purely omintoril setting; this motivtes the following. The lgorithm desried ove n e viewed s method for onstruting ommon over of two mnifolds whih dmit suitle sudivisions into polyhedr. The lgorithm works eqully well for topologil spes M nd M dmitting n-dimensionl polyhedrl deompositions (i.e. otined y gluing n-dimensionl, Euliden or finite volume hyperoli, onvex polyhedr pirwise long their (n )- dimensionl fes, suh tht open fes of dimension q n emed). We then let eh element (j, p, p ) Θ represent omintoril isomorphism etween p nd p. (We n ryentrilly sudivide the deompositions of M nd M in order to relize the j s s pieewise liner homeomorphisms in nonil wy.) Now, if the lgorithm is suessful it onstruts, in generl, rnhed overing of M nd M, rnhed over the odimension skelet of M nd M. When M nd M re PL-mnifolds, we would like to onstrut n unrnhed over whih is lso mnifold. It is suffiient to hek tht the over we onstrut does not rnh over ny odimension ell of M or M. For if this is the se we proeed y indution on q to show tht our over is not rnhed over ny odimension q ell of M (or M ). By onstrution, there is no rnhing over ells of odimension nd, nd we ssume tht there is no rnhing over ells of odimension. So suppose q nd there is no rnhing over ells of odimension q. Then the link of odimension q ell in the over is onneted unrnhed overing of the link of odimension q ell of M. But sine the ltter is (q )- sphere, hene simply onneted sine q, the overing is homeomorphism. In the se of most interest to us, nmely when M nd M re usped hyperoli -mnifolds, Mostow-Prsd rigidity ensures tht if N topologilly overs oth M nd M then the indued hyperoli strutures on N re isometri. Frequently, n idel ell deomposition of hyperoli -mnifold onsists entirely of idel tetrhedr. If this is the se for M nd M, then our lgorithm will lwys find ommon over, rnhing over the edge sets of the two mnifolds (elements of Θ will lwys extend over their fes euse ll tetrhedr re omintorilly equivlent). This will indite tht the two mnifolds re ommensurle only if the overing is in ft unrnhed. When n element of Θ indues mpping of n edge e of (the idel ell deomposition of) M onto n edge e of M, the resulting over will e unrnhed if nd only if the order of e (the numer of

19 COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS 9 tetrhedr to whih glue round it) is equl to the order of e. For exmple, this hs the following orollry. Theorem.. If finite volume hyperoli -mnifold M dmits deomposition into idel tetrhedr suh tht the order of every edge is 6, then M is ommensurle with the omplement of the figure-8 knot. 5. Enumerting nonil ell deompositions I For -usped hyperoli mnifolds with disrete ommensurtor we now hve ll the ingredients of n effetive method for testing ommensurility. For multiusped mnifolds we need wy to serh through the (finite) set of ll nonil idel ell deompositions. In this setion nd the next we desrie two lterntive pprohes to this prolem, while in Setion 7 we show how the serh n e restrited for greter effiieny. The first pproh is very simple minded: if we n ound the degree with whih M overs its ommensurtor quotient, we n enumerte ll usp ross setions whih ould possily over equl re ross setions in the quotient. Suh degree ounds n e otined from estimtes on the the minimum volume of usped non-rithmeti hyperoli -mnifolds ([6], [], [8]). The seond pproh is geometri nd my e of more theoretil interest sine it truly finds ll the nonil ell deompositions. In ft it ssoites with given -usped M, onvex polytope in R whose k-dimensionl fes, for k <, re in - orrespondene with nonil ell deompositions of M. Let M e hyperoli orifold with (horoll) usp neighourhoods C,..., C m nd let N e degree d quotient of M with orresponding usp neighourhoods,..., n. Let π : M N e the overing projetion nd let j(i) = π(c i ). If we hoose horospheril ross setions in N with re (i.e. odimension volume) equl to, the re of C i is equl to the degree with whih C i overs j(i). The sum of the res of the C i overing j will e d for eh j. Thus, in order to find possile degree d quotient of M vi the nonil ell deomposition, we n enumerte the possile integer re vetors s follows. For eh n, n m, nd eh prtition of {,..., m} into n non-empty susets I,..., I n, enumerte ll re vetors (,..., m ) suh tht eh i is positive integer nd i I j i = d for j =,..., n. Exmple: if m = we hve prtitions {{,, }}, {{, }, {}}, {{, }, {}}, {{}, {, }} nd {{}, {}, {}}. The first prtition dmits (d )(d ) re vetors, the next three dmit d eh, nd the lst, just one. We n enumerte re vetors orresponding to possile quotients of degree d s follows. Any quotient of M of degree d hs n m usps nd hs orresponding re vetor (,..., m ) with sum m i= i = nd. So if we fix n integer D m nd enumerte ll positive integer re vetors summing to t most D, we will find ll quotients of degree d with n m usps suh tht nd D. In prtiulr this will inlude ll quotients with t most m usps provided d D/(m ). Sine the nonil ell deomposition is determined y the rtio of the res, ny m usped quotient is found using the re vetor (,..., ) with i i = m D. So we will find ll nonil ell deompositions rising from quotients of degree d D/(m ). 6. Enumerting nonil ell deompositions II Let M e hyperoli n-mnifold with > usps. Then the set of possile hoies of (not neessrily disjoint) horospheril ross setions dul to the usps of M is prmetrized y the vetor of their res (i.e. (n )-dimensionl volumes)

20 OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON in R > = {(v,..., v ) R v >,..., v > }. In ft it turns out to e more onvenient to prmetrize y the (n )th root of re, quntity we will refer to s size. Multiplying size vetor v R > y onstnt λ > hs the effet of shifting the orresponding horospheril ross setions distne log(λ) down (i.e. wy from) the usps. For eh v R > we otin Ford spine. It is ler from the definition tht if we hoose set of disjoint horospheril ross setions nd then shift them ll up or down y the sme mount we get the sme Ford spine. Thus the set of possile Ford spines is prmetrized y the set of rys in R >, or equivlently, y points in the open ( )-dimensionl simplex S = {(v,..., v ) R > v + + v = }. For -usped mnifold the Ford spine is unique. Dul to eh Ford spine is nonil ell deomposition D(v). As we vry v S the deomposition hnges only when the omintoris of the spine hnges. To etter understnd this dependene we now review n lterntive pproh to defining D(v), nmely the originl one of Epstein-Penner in []. We work in Minkowski spe E n, with the inner produt defined y x y = x y x n y n x n+ y n+ for x = (x,..., x n+ ), y = (y,..., y n+ ) in R n+. Then hyperoli spe H n is the upper sheet of the hyperoloid x x =, nd the horospheres in H n re represented y the intersetions of hyperplnes, hving light-like norml vetors, with H n. Eh suh hyperplne H hs unique Minkowski norml n suh tht x H if nd only if x n =. Let Γ denote the group of overing trnsformtions of H n over M. Eh size vetor v gives rise to Γ-invrint set of horospheres in H n. The resulting set of normls in Minkowski spe is invrint under the tion of the group Γ. The onvex hull of this set of points, whih we shll refer to s the Epstein-Penner onvex hull, intersets every ry sed t the origin pssing through point in the upper sheet of the hyperoloid. The oundry of this onvex set is union of losed onvex n-dimensionl polytopes hving oplnr light-like verties. Epstein nd Penner [] show tht these projet to lolly finite, Γ-invrint set of idel polyhedr in H n, whih in turn projet to finite set D(v) of idel hyperoli polyhedr in M. Strting with given idel hyperoli ell deomposition D of M nd size vetor v, we proeed next to desrie neessry nd suffiient onditions for D to e the nonil ell deomposition D(v), s in [] nd []. Let C e ell of D. Then v determines horospheril ross setion to eh idel vertex of C. We lift C nd this hoie of horospheres to H n. In Minkowski spe, this gives onvex (Euliden) n-dimensionl polytope whose verties re the hyperplne normls for these horospheres. Whenever C is not simplex, it is neessry to dd the ondition tht these verties re oplnr. If this is stisfied for ll the non-simpliil ells of D, we n lift eh ell to n n-dimensionl polytope in Minkowski spe with verties orresponding to the hoie of horospheres determined y the size vetor v. If C nd C re neighouring ells in D it is neessry tht the ngle etween neighouring lifts into Minkowski spe e onvex upwrds. Together these onditions re lso suffiient to imply D = D(v). These onditions n e expressed s set of liner equtions nd liner inequlities on the entries of the size vetor v. Proposition 6.. Let D e n idel hyperoli ell deomposition of usped hyperoli n-mnifold M with usps. Then there exist mtries L D nd F D with olumns suh tht, for v R >, D(v) = D if nd only if L D v = nd F D v >.

21 COMMENSURATORS OF CUSPED HYPERBOLIC MANIFOLDS Note: here v is written s olumn vetor, nd the ondition F D v > mens tht eh entry of the vetor F D v is positive. Proof. Let v i denote the entry of v orresponding to the ith usp of M. Let n j e the vertex representtive for the jth vertex of C lifted to Minkowski spe for the hoie of horospheres given y v = (,..., ). Then for n ritrry size vetor v the orresponding representtive is n j /v (j), where (j) is the usp of the jth vertex of C. The oplnrity ondition on non-simpliil ell C gives set of liner equtions stisfied y v, one for eh vertex of C in exess of n +, s follows. Let N v e Euliden norml to the hyperplne ontining {n /v (),..., n n /v (n) } suh tht (n j /v (j) ) N v = for j =,..., n, where denotes the Euliden dot produt. Writing M C for the inverse of the mtrix with rows n j we otin N v = M C (v (),..., v (n) ) t, whih is liner funtion of v. For j > n, n j /v (j) elongs to this hyperplne if nd only if n j N v v (j) =, whih is liner in v. The full set of onstrints for C gives mtrix eqution L C v =. The onvexity ondition t n (n )-ell f of D, eing the ommon fe of n-ells C nd C, n e expressed s follows. Let N v, s ove, e the defining norml for the hyperplne ontining the lift of C determined y v. Let n k /v (k) e vertex of n djent lift of C, not in the lift of f. This vertex lies ove the hyperplne if nd only if (n k /v (k)) N v >, or equivlently n k N v v (k) >. We refer to the left-hnd side of this inequlity s the tilt t f of v nd express the ondition s F f v >, where F f is suitle row-vetor. (Note tht the sign of our tilt funtion is opposite to tht of [] nd [].) Finlly, ontente the mtries L C into mtrix L D nd the rows F f into mtrix F D. Let P D denote the set of v R > suh tht L D v = nd F D v >. We ll this the prmeter ell of D sine it ontins ll usp size prmeters v suh tht D(v) = D. Eh v R > elongs to prmeter ell, nmely P(v) = P D(v). The prmeter ell P D is non-empty if nd only if D is nonil ell deomposition. It is shown in [] tht the numer of nonil ell deompositions is finite. Therefore R > is union of finitely mny prmeter ells. Proposition 6.. Eh v R > n e pertured to otin nery vetor v suh tht P(v ) hs dimension nd P(v) is fe of P(v ) (or equls P(v) if this hs dimension ). Proof. Let D = D(v). If L D is zero (or empty) then P(v) is n open suset, hene -dimensionl ell nd we just set v = v. Otherwise, pertur v suh tht it leves the liner suspe determined y L D v =. For smll perturtion the Epstein-Penner onvex hull hnges s follows: no dihedrl ngle etween djent n-fes goes to π ut some non-simpliil n-fes my e sudivided if their verties eome non-oplnr. It follows tht L D my lose rows nd F D my gin rows. Let D e the new deomposition. Then L D L D euse L D v = while L D v. Repet until L D is zero (or empty). Then P(v ) hs dimension. Now v elongs to fe of P D sine it stisfies F f v > for eh fe f ommon to D nd D, nd F f v = for eh fe f of D not in D. The former ondition mounts to F D v >. We hve to show tht the ltter is equivlent to L D v =. But tht is equivlent to the oplnrity of the lifted verties of eh n-ell of D. Suh ell my e sudivided y new fes f in D. Then the verties will e oplnr t v if nd only if the tilt t eh sudividing fe is zero, i.e. if nd only if F f v = for the sudividing fes.

22 OLIVER GOODMAN, DAMIAN HEARD, AND CRAIG HODGSON The ove proposition implies tht eh fe of prmeter ell is nother prmeter ell; the deomposition orresponding to prmeter ell is refinement of the deompositions orresponding to its fes. Remrk 6.. It is tempting to suppose tht the nonil ell deomposition of M orresponding to dimensionl prmeter ell must onsist entirely of idel simplies ut this need not e the se. In generl we n hve ell deompositions with non-simpliil ells suh tht L D is zero mtrix. (For exmple, this ours for the Borromen rings omplement see Setion 6. elow.) We now hve the following lgorithm for finding ll nonil ell deompositions. First we find ll the -dimensionl prmeter ells. () Choose n ritrry v R >. () Pertur v if neessry, s in the proof of Proposition 6., so tht P(v) hs dimension, nd dd it to our list of ells. () If the losure of the ells we hve found so fr does not ontin the whole of R >, hoose new v not in the losure of ny ell found so fr nd repet step. By the finiteness result quoted ove, this lgorithm eventully termintes. We n then enumerte ll nonil ell deompositions y enumerting the fes of ll dimensions of the ells P(v). While the omputtionl geometry involved in implementing the ove lgorithm is ertinly possile, it is not prtiulrly nie. We explin refinement whih gives little more insight nd n lgorithm whih is esier to implement. For deomposition D of M, let Σ D denote the row vetor otined y dding together the rows of F D. We define the tilt polytope of M to e the set of v R > suh tht Σ D v < for ll nonil ell deompositions D of M. Proposition 6.. The tilt polytope T of M is ounded. The prmeter ells P D of M re the ones over the origin of those fes of T whih re not ontined in R >. Proof. We show tht the losure of -dimensionl prmeter ell P D hs ounded intersetion with T. Let v e unit vetor in P D. Then sine v is not ontined in every fe of P D, Σ D v >. The length of ny multiple of v ontined in T is ounded y /(Σ D v). Sine this is ontinuous in v, nd the set of suh v is ompt, P D T is ounded. Sine T is union of finitely mny suh sets it is ounded. Let us write H D for the hlf-spe {x R Σ D x < }. Then T is the intersetion of ll the H D s with R >. We will show tht: if v elongs to - dimensionl prmeter ell P D, nd P D is ny other prmeter ell, then the ry generted y v leves H D efore it leves H D. It will then follow tht ry in P D penetrtes the (non-empty) fe of T generted y H D. Sine ry not in P D elongs to the losure of some other prmeter ell, it does not leve H D first nd therefore does not pss through the sme fe of T. Sine ones on the lower dimensionl fes of ( )-dimensionl fe of T re the fes of -dimensionl prmeter ell, the result then follows from Proposition 6.. It remins to show tht H D uts off ny ry in P D loser to the origin thn H D, for ll prmeter ells P D P D. Equivlently, for v P D, Σ D v > Σ D v. Firstly, let P D nd P D e ny two prmeter ells suh tht P D is fe of P D, nd let v elong to P D. The rows of F D re proper suset of the rows of F D, nd sine F f v > for eh row, Σ D v > Σ D v. If insted P D is fe