arXiv:1810.11429v2 [math.GR] 10 Jun 2021 rjc o 5801-1. No. project ru .I h omnuao of commensurator the Is G. group subgroup. CBs elwhp arc eerhpoetgatMTR grant project research Matrics Inf the Fellowship, of Bose Governmen endowment Energy, JC an Atomic by of also Department as the no.12-R&D-TFR-5.01-0500, s by The part DMS-2002596. in and ported DMS-1711488 Grants NSF by and lowship aieyi h olwn cases: following the in matively usin1.1. Question heu this makes way: Shalom following to the covolu attributed in infinite question has A former group. the Lie that ent is lattice a and group thin as known subgro also discrete groups, dense Lie Zariski semi-simple decade, in past covolume de the have During that those tors. as characterized are lattices arithmetic adda o-rtmtc vntog h seta di essential the subgrou though thin even Heuristically, non-arithmetic, as attention. of garded lot a gained have [ B 15 X h omnuaiiyCieinfrAiheiiydet Ma to due Arithmeticity for Criterion Commensurability The e od n phrases. and words Key h rtato sprilyspotdb nAfe .SonF Sloan P. Alfred an by supported partially is author first The 2010 Date Let 633 asta mn reuil atcsi semi-simp in lattices irreducible among that says 16.3.3] , eoeisFrtnegbudr.Question boundary. Furstenberg its denote OMTTR,CMESRTR,AND COMMENSURATORS, COMMUTATORS, ue1,2021. 11, June : X ahmtc ujc Classification. Subject Mathematics etu banantrlfml fti ugop fPSL of subgroups thin of family natural a obtain thus We omnuaosaedsrt,etbihn oecsso c a of cases Shalom. some establishing discrete, are commensurators emo h oe eta eiso h eie eisof series derived the or series central lower the of term a otie napicplcnrec ugop n let and subgroup, congruence principal a in contained ae,w rv httecmesrtrof commensurator the that prove we paper, A bstract etesmercsaeo o-opc yeascae to associated type non-compact of space symmetric the be Let . [ 8 ] ups that Suppose HMSKBRAADMHNMJ MAHAN AND KOBERDA THOMAS H ă omnuao,cmuao ugop rtmtclattice, arithmetic subgroup, commutator commensurator, PSL 2 p .I 1. Z q eafiieidxnra ugopwihis which subgroup normal index finite a be Γ ntroduction Γ sati ugopo eiipeLie semisimple a of subgroup thin a is discrete? 1 24 Piay,2F5 06,57M50. 20F67, 20F65, (Primary), 22E40 Φ p H 1.1 q nPSL in / 2017 a enasee a answered been has Φ p 2 hnsubgroups thin udto eerhFel- Research oundation / ssFudto,aDST a Foundation, osys H fIda ne project under , of t 005 n CEFIPRA and 000005, p ff R ‰ q rnebtena between erence q s commensura- nse netr of onjecture 2 cn uhri sup- is author econd H p sdiscrete. is ssol ere- be should ps R ei h ambi- the in me H nthis In . PSL q p finfinite of ups eLegroups, Lie le denote whose itcprecise ristic gls[ rgulis 2 p Z q G [ 17 ffi and 12 thin r- ], ] 2 T.KOBERDAANDMAHANMJ

(1) Let ΛΓ denote the limit of Γ on X. If ΛΓ X, then the answer B Ĺ B to Question 1.1 is affirmative ([6] for G PSL2 C and [13] in the general case). “ p q (2) If G PSL2 C and Γ is finitely generated, then the answer to Question“ 1.1 isp affiq rmative [8, 13]. Question 1.1 thus remains unaddressed when

(1) ΛΓ X, and further, “B (2) Γ is not a finitely generated subgroup of PSL2 C . p q Curiously, Question 1.1 remains open even for thin subgroups Γ of the simplest non-compact simple Lie group G PSL2 R , with Γ satisfying the 2 1 “ p q condition ΛΓ H S . It is easy to see that such a Γ cannot be finitely generated. To“B see this“ last claim, if Γ is thin then discreteness implies that Γ must be free or the fundamental group of a closed surface. Since thin groups have infinite covolume, Γ cannot be a closed surface group, and hence must be free. It follows that Σ H2 Γ must be a surface with boundary or punctures. If Σ has infinitely“ many{ punctures or boundary components, or if Σ has infinite genus, then clearly Γ is not finitely generated. If Σ has finite genus and only finitely many punctures and no boundary components, then Σ has finite volume and so Γ is not thin. If Σ has a boundary component (i.e. a flaring end) then Σ admits a proper geodesically convex core, in which 2 case the limit set ΛΓ will be properly contained in H . In this paper, we shall study commensurators ofB certain natural infinite index subgroups of PSL2 Z . If Γ G is an arbitrary subgroup of a group G, we define p q ă g g g CommG Γ g G Γ : Γ Γ and Γ : Γ Γ . p q “ t P |r X s r X să8u Here, we use exponentiation notation to denote conjugation, so that Γg g´1Γg. “ 1.1. The main result. In this paper, we will concentrate on thin subgroups of PSL2 R , which are of particular interest because of their intimate con- nectionsp toq hyperbolic geometry via the identification ` 2 PSL2 R Isom H . p q– p q For an integer k 2, we will write Γ k PSL2 Z for the level k principal congruence subgroupě , which is to sayp qă the kernelp ofq the map

PSL2 Z PSL2 Z kZ p qÑ p { q given by reducing the entries modulo k. As a matter of notation, we will write PSL2 Q ?Q for the projectiviza- p q tion of the set of matrices in SL2 R which differ from a matrix in GL2 Q by a scalar matrix which is a squarep q root of a rational number. That is,p weq COMMUTATORS AND COMMENSURATORS 3 have A PSL2 Q ?Q if there is a representative of A in SL2 R , a rational P p q p q number q Q, and a matrix B GL2 Q such that P P p q q 0 A ? B. “ ˆ 0 ?q˙ ¨ Since we may also write ?q 0 A B1 “ ˆ 0 q´1˙ ¨ 1 a for some B SL2 Q and since the matrix P p q ?q 0 ˆ 0 q´1˙ a normalizes SL2 Q , it is easy to see that PSL2 Q ?Q forms a group which can be viewed asp theq join p q ?q 0 PSL2 Q q Q PSL2 R . p q ¨ Bˆ 0 q´1˙ | P F ă p q a We need to consider PSL2 Q ?Q because of the ambient group where the commensurator lives. Wep recallq (see [15,p. 92]or[9, Ex. 6d]) that

CommPSL2pRq PSL2 Z PSL2 Q Q, p p qq “ p q a which is dense in PSL2 R . As a consequence, it is easy to see that if p q Γ PSL2 Z has finite index then ă p q CommPSL R Γ PSL2 Q Q. 2p qp q“ p q For an arbitrary group G, we recall the definitiona of the lower central series and the derived series of G. For the lower central series, we define γ1 G G and γi 1 G G,γi G . The derived series is defined by p q “ ` p q“r p qs D1 G G and Di`1 G Di G , Di G . We will often use the notation G1 p q“G, G for the derivedp q“r subgroupp q ofp Gqs. Observe that “r s 1 G D2 G γ2 G , “ p q“ p q and if G is a free group then for i 2 we have that γi G and Di G are both properly contained in G as infinitelyě generated characteristicp q subgroupsp q of infinite index. The purpose of this article is to establish following result, which answers Question 1.1 in the affirmative for, perhaps, the most ‘arithmetically’ de- fined examples:

Theorem 1.2. Let H ✁ PSL2 Z be a finite index normal subgroup with H Γ k for some k 2, andp letq Φ H denote a term in the lower central ă p q ě p q 4 T.KOBERDAANDMAHANMJ series or derived series of H. Suppose furthermore that Φ H H, so that H : Φ H . If p q‰ r p qs“8 g CommPSL R Φ H , P 2p qp p qq 2 then we have that g PSL2 Z . In particular, CommPSL2pRq Φ H is discrete. P p q p p qq In Theorem 1.2, it is unclear to the authors how to weaken the hypothesis that H be normal in PSL2 Z , as well as the assumption that H be contained in a principal congruencep subgroup.q We will outline a conjectural picture shortly. We remark that in order to establish a perfect analogy with Margulis’ Arithmeticity Theorem, one would like to show that Φ H has finite index p q in CommPSL R Φ H . This, however, is simply not feasible. On the one 2p qp p qq hand, if H Γ k for some k 2 then Φ H is normal in PSL2 Z , whence “ p q ě p q p q PSL2 Z CommPSL R Φ H . p qă 2p qp p qq On the other hand, the indexof Φ H in PSL2 Z is always infinite under the hypotheses of Theorem 1.2. Nevertheless,p q wep obtainq the following corollary to Theorem 1.2, which is the correct way to mend the analogy with the Arithmeticity Theorem:

Corollary 1.3. Let Φ H be as in Theorem 1.2. Then CommPSL R Φ H p q 2p qp p qq is commensurable with PSL2 Z . In particular, CommPSL2pRq Φ H con- tains the normalizer of Φ H pwithq finite index. p p qq p q Corollary 1.3 follows from Theorem 1.2 by standard methods from the theory of lattices in Lie groups. Indeed, Φ H is normal in H, and the p q normalizer of Φ H is obviously contained in CommPSL2pRq Φ H . Note that Σ H2 H isp aq finite volume hyperbolic orbifold. Theoremp p1.2qqimplies that “ { 2 H CommPSL R Φ H { 2p qp p qq is also a finite volume hyperbolic orbifold, and so is a quotient of Σ by a finite group of isometries. It follows that CommPSL R Φ H is com- 2p qp p qq mensurable with PSL2 Z and contains the normalizer of Φ H with finite index. The reader mayp compareq these last remarks with Lemmap q 2.1 below, for instance. In our notation, we will suppress which series for H as well as which term we are considering, since this will not cause particular confusion. Observe that since H has finite index in PSL2 Z and since Φ H is a non-elementary normal subgroup of H, we have thatp onq the level ofp limitq sets,

1 ΛPSL Z ΛH ΛΦ H S . 2p q “ “ p q “ COMMUTATORS AND COMMENSURATORS 5

The reader may consult [1] for more details on Zariski density and limit sets, for instance. We have in particular that the group Φ H falls outside of the purview of extant results concerning the commensuratorsp q of thin subgroups. The techniques used in the proof of Theorem 1.2 differ widely from those used in [8, 13]. These papers used an action on a topological space and dis- creteness of the commensurator stemmed from the fact that the commensu- rator preserved a ‘discrete geometric pattern’ (in the sense of Schwartz, cf. [18, 19, 2, 14]). In this paper we use an algebraic action from Chevalley- Weil theory and homological algebra as a replacement in order to conclude discreteness of the commensurator. Since the proof is somewhat tricky and consists of a number of modular pieces, we outline the steps involved (using the notation of Theorem 1.2 above): (1) We discuss some basic facts about principal congruence groups in Section 1.2, and observe in Section 2.1 that the normalizer of Φ H p q lies in PSL2 Z . (2) Section 2.2 pintroducesq the first technical tool in the paper based on Chevalley-Weil theory. We prove (Lemma 2.3) that if g PSL2 R g g P p q conjugates H PSL2 Z to H H and both H, H are contained in a common freeă subgroupp q F, then‰ g does not lie in the commen- surator of Φ H . p q (3) Section 3 is devoted to proving that if g PSL2 R commensu- 2 P p q rates Φ H , then in fact g PSL2 Q ?Q (Lemma 3.1). The proof, givenp q in Section 3.1, usesP ideasp fromq invariant trace fields and quaternion division algebras and is number-theoretic in flavor. (4) In Section 4 we introduce the last tool, which to the knowledge of the authors is completely novel: a partial action on homology. We call this partial action a pseudo-action and study it on homology classes carried by cusps to complete the proof of Theorem 1.2.

A conjectural picture. The proof of Theorem 1.2 draws on several dif- ferent areas of mathematics, including hyperbolic geometry, homological algebra, noncommutative algebra, and Galois theory. In order to make all the arguments work, we were forced to adopt the hypothesis that H be con- tained as a normal subgroup of a principal congruence subgroup. However, we expect the following more general statements to hold:

Conjecture 1.4. Let H PSL2 Z be a finite index subgroup with b1 H ă p q p qě 1. Then CommPSL2pRq Φ H is discrete provided that H Φ H . More generally, let K be anp infinitep qq index normal subgroup of‰ a lattp iceq Γ ă PSL2 R such that K . Then CommPSL R K is discrete. In all p q | | “8 2p qp q cases, we have that CommPSL2pRq K contains the normalizer of K with fi- nite index. p q 6 T.KOBERDAANDMAHANMJ

In the first statement of Conjecture 1.4, the Betti number assumption 1 b1 H 1 is simply to guarantee that the derived subgroup H, H H hasp infiniteq ě index in H. It would also be a reasonable alternativer assumptions “ to require H to be torsion-free. Normality of the infinite index subgroups is always assumed in order to make the limit set coincide with the full circle.

1.2. Preliminaries on principal congruence subgroups. In this subsec- tion, we gather some well-known facts about principal congruence sub- groups which will be useful in the sequel. We include proofs for the conve- nience of the reader and to keep the discussion as self-contained as possible. Lemma 1.5. Let k 2. Then Γ k is a free group. ě p q 2 Proof. The quotient H PSL2 Z is the 2, 3, hyperbolic orbifold. It { p q p 8q follows that if g PSL2 Z has finite order then it is conjugate to (the image of) one of theP two matricesp q 0 1 A ´ “ ˆ1 0 ˙ or 1 1 B ´ “ ˆ1 0 ˙ of orders 2 and 3 respectively. Let

q: PSL2 Z Q p qÑ be a finite quotient. If A and B do not lie in the kernel of q then ker q is torsion-free. Indeed, if ker q contains a torsion element then this element would be conjugate to either A or B, so that normality would imply that A or B lies in ker q, contrary to the assumption. Since A and B are clearly nontrivial in PSL2 Z Γ k , we see that Γ k must be torsion-free. Since Γ k is torsion-freep andq{ actsp q freely and properlyp q discontinuously on H2, and p q 2 2 since H PSL2 Z is noncompact and orientable, we have that H Γ k is a noncompact{ p 2–dimensionalq manifold with fundamental group Γ{ kp .q It follows that Γ k is free. p q  p q 2 Note that the modular surface H PSL2 Z has exactly one cusp. As an element of the orbifold fundamental{ groupp ofq the modular surface, the free homotopy class of the cusp is generated by the matrix 1 1 . ˆ0 1˙ Lemma 1.6. Let k 2. The hyperbolic manifold H2 Γ k has at least three cusps. ě { p q COMMUTATORS AND COMMENSURATORS 7

Proof. We may reduce to the case where k is a prime, since if p k is a prime divisor of k then Γ k Γ p . The map | p qă p q PSL2 Z PSL2 Z pZ p qÑ p { q is surjective (as can be deduced from examining generating sets of PSL2 Z pZ ), and its image has order p { q p p 1 p 1 2 p ` qp ´ q{ when p is odd and order 6 when p 2. The order of the matrix “ 1 1 ˆ0 1˙ in PSL2 Z pZ is exactly p, so that we see that there are exactly p { q p 1 p 1 2 p ` qp ´ q{ distinct cusps in H2 Γ p when p 3 and exactly three cusps when p 2. The lemma now follows.{ p q ě “ 

The following consequence is immediate from elementary surface topol- ogy: Corollary 1.7. If k 2, then any loop about a cusp in H2 Γ k represents a nontrivial integralě homology class. Moreover, two loops{ p aboutq distinct cusps in H2 Γ k represent distinct integral homology classes. { p q Proof. For all k 2, we have that Σ H2 Γ k has at least three cusps, as follows from Lemmaě 1.6. Choose a“ bi-infinite,{ p q simple, oriented geodesic γ on Σ that travels between two of the cusps of Σ. If K denotes a small neighborhood of the union of the cusps, we have that

1 H Σ, K, Z H1 Σ, Z , p q– p q by relativized Poincar´eduality (i.e. Poincar´e–Lefschetz duality), and alge- braic intersection with γ represents a nonzero cohomology class in H1 Σ, K, Z . If δ is a small oriented loop around one of the cusps of Σ, then the algebraicp q intersection pairing of δ and γ is 1, so that in particular the homology class ˘ δ H1 Σ, Z is nonzero. Since γ connected an arbitrary pair of cusps, the rfirsts P claimp ofq the corollary follows. If δ1 and δ2 encircle two distinct cusps of Σ, then since there are three distinct cusps in Σ, one can choose two geodesics γ1 and γ2 as above so that γi pairs nontrivially only with δi under the Poincar´eduality pairing, for i 1, 2 . This shows that δ1 and δ2 represent distinct integral homology classes,P t whenceu the second claim of the corollary follows.  8 T.KOBERDAANDMAHANMJ

1.3. Powers and discreteness. We establish the following relatively straight- forward fact about discrete subgroups of PSL2 R which will be useful at the end of the proof of our main result: p q

Lemma 1.8. Let H be a Zariski dense subgroup of PSL2 R and suppose p q that there is a finitely generated discrete subgroup Γ PSL2 R and an N 0 such that for all h H, we have hN Γ. Then Hă is discrete.p q ą P P Proof. If H fails to be discrete then its topological closure H must have positive dimension. Since PSL2 R is simple and since H is Zariski dense, p q we have that H is necessarily equal to PSL2 R . It follows then that H must p q be topologically dense in PSL2 R . Since the condition tr A 2 is open p q | | ă for A PSL2 R , it follows that H must contain elements whose traces form aP dense subsetp q of 2, 2 . It follows that H either contains an elliptic element of infinite orderp´ or ellipticq elements of arbitrarily high orders. In the first case, we obtain that Γ also contains an elliptic element of infinite order, violating the discreteness of Γ. In the second case, choose a finite index subgroup Γ0 Γ which is torsion-free, which exists by Selberg’s Lemma [16]. We thereforeă have a torsion element A H and a power of A that is nontrivial and which lies in P Γ0, a contradiction. 

1.4. Commensurations of PSL2 Z and rational matrices. In this section we record the following easy observationp q to which we have alluded already: Lemma 1.9. Let

g PSL2 Q Q CommPSL R PSL2 Z , P p q “ 2p qp p qq ag and let A PSL2 Z . Then A PSL2 Q . P p q P p q What is technically meant by the statement of Lemma 1.9 is that for any g representatives of A and g in SL2 R , the corresponding matrix A will have rational entries. p q

Proof of Lemma 1.9. Choose a representative for A in SL2 Z and a repre- p q sentative g ?qB, where q Q and where B GL2 Q . It is immediate that B´1AB“has rational entries.P Since the representativeP p q for g differs from B by a scalar multiple of the identity, we see that Ag B´1AB has rational entries. “ 

The fact that the commensurator of PSL2 Z requires the adjunction of p q square roots and is not simply PSL2 Q is at times an annoying issue. We note that the occurrence of square rootsp q is fundamentally a vestige of the fact that the center of SL2 R is nontrivial. We remark that it is possiblep q to avoid the appearance of square roots by working inside of other Lie groups. For instance, one can consider PSL2 Z p q COMMUTATORS AND COMMENSURATORS 9 as the group of integer points of the special orthogonal group SO` f , where p q f xz y2. “ ´ In this case, SO 2, 1 has no center, and a general result of Borel [3] implies that the commensuratorp q of the integral points is simply the group of rational points SO` f, Q . Thus, one avoids the complications resulting from square roots. p q The cost of passing to the 3 3 matrix group is that for the upper half plane model or disk model of Hˆ2, the group SO` f, Q is less intuitive and calculations are more complicated. The relativep simplicitq y of calculating inside of PSL2 Q , together with the particular properties of 2 2 matrices, will be an importantp q feature of the arguments in the sequel, especiallyˆ in the proof of Proposition 3.2 and in Section 4. So, the potential gain from using a center–free Lie group is outweighed by computational and conceptual complications later on. We therefore opt to retain the 2 2 matrix group setting for the purposes of this article. ˆ

2. Invariance under Commensuration Recall the notation that Φ H is a term of the lower central series or derived series of H. If Φ H p qH then we sometimes say that Φ H is a proper term. In this section,p q we ‰ prove that elements p q

g CommPSL R Φ H P 2p qp p qq satisfying certain special properties must lie in PSL2 Z . p q 2.1. Normalization of Zariski dense subgroups. Lemma 2.1. Let G be a simple real Lie group and Γ G be a Zariski Ă dense discrete subgroup. Then the normalizer NG Γ is discrete. p q We restrict to real Lie groups, since there is a complication for complex Lie groups; namely, the unit complex numbers are Zariski dense in C, and are a positive dimensional closed subgroup of C. In the case of complex Lie groups, one needs to consider unbounded Zariski dense subgroups in order to avoid issues like this one. Since we are primarily interested in PSL2 R , we will simply rule out the generality of arbitrary complex Lie groups.p q

Proof of Lemma 2.1. Since Γ G is Zariski dense, so is NG Γ . If NG Γ is not discrete, then it must beĂ all of G , since a positive dimensionalp q Zariskip q dense Lie subgroup of a simple real Lie group G is necessarily all of G . This then forces G to admit a non-trivial Zariski dense normal subgroup Γ, contradicting simplicity of G . Hence NG Γ is discrete.  p q As a consequence, we have the following: 10 T. KOBERDA AND

Lemma 2.2. Let H ✁ PSL2 Z be a finite index normal subgroup. Suppose p g q that g PSL2 R satisfies H H. Then g PSL2 Z . More generally, if P pg q “ P p q Φ H Φ H then g PSL2 Z . p q“ p q P p q Proof. Let G PSL2 R . Since PSL2 R is simple and since H is Zariski “ p q p q dense, it follows by Lemma 2.1 that NG H is discrete. We have that H1 p q “ g, H satisfies H1 NG H and hence H1 is discrete. x y Ă p q Since H is normal in PSL2 Z , we have p q PSL2 Z NG H . p qă p q It follows that g, PSL2 Z is a discrete subgroup of PSL2 R , by Lemma x p qy p q 2.1. It followsthat g, PSL2 Z is a discrete group of orientation preserving isometries of H2. Ax standardp factqy from hyperbolic geometry says that 2 X H PSL2 Z “ { p q admits no further nontrivial orientation preserving isometries and is there- fore a minimal orbifold. Indeed, let ι be an orientation preserving involution of X, so that X ι is the 2, 3, triangular orbifold T . The orbifold T has no symmetries,{x y and thusp X8qadmits no orientation preserving symme- tries, as these would have descended to T . Consequently, we see that if

g, PSL2 Z PSL2 R x p qy ă p q is discrete then g PSL2 Z . The proof in theP case wherep q Φ H Φ H g p q“ p q is identical, since Φ H is Zariski dense in PSL2 R and characteristic in H, p q p q and hence normalized by PSL2 Z .  p q We note that it is at this point that we use the normality of H in PSL2 Z . If H were not normal then we could pass to a finite-index subgroup opf Hq which was normal, though then g might no longer normalize H.

2.2. An application of Chevalley-Weil theory. In this section, we prove the following lemma:

Lemma 2.3. Let g PSL2 R , let H PSL2 Z have finite index, and P p q ă p q g suppose that there is a free group F PSL2 R such that H, H F. Suppose furthermore that H is normală in F. Ifp Hqg H then g doesă not commensurate Φ H , provided that Φ H is proper. ‰ p q p q For Lemma 2.3, the ambient group PSL2 R is irrelevant. We have the following general fact, from which Lemma 2.3p qwill follow with some more work. COMMUTATORS AND COMMENSURATORS 11

Lemma 2.4. Let F be a finitely generated free group of rank at least two, and let K1, K2 F be distinct, isomorphic, finite index subgroups. Suppose ă 1 1 furthermore that K2 is normal in F. Then K1 and K2 are not commensu- 1 1 1 rable. That is to say, K1 K2 has infinite index in K1. If K1 is also normal in F, then K1 K1 has infiniteX index in K1 as well. 1 X 2 2 The reader may be dissatisfied with the apparent asymmetry of Lemma 2.4. In its application to commensurators of thin groups, the asymmetry disappears, however. In deducing Lemma 2.3 from Lemma 2.4, we set H to be normal subgroup of finite index in a finite index free subgroup of PSL2 Z , which for the sake of explicitness we assume to be Γ k for some k 2.p Weq assume furthermore that Hg Γ k . Of course, Hg mayp q fail to be normalě in Γ k . The conclusion of Lemmaă p2.4q will imply (via Lemma 2.6) that Φ H p Φq Hg has infinite index in Φ Hg , but says nothing about the index ofp ΦqXH p Φq Hg in Φ H . However,p if q p qX p q p q g CommPSL R Φ H P 2p qp p qq then we see that ´1 g CommPSL2pRq Φ H P p ´ p qq as well, and so we obtain that Φ H Φ Hg 1 has infinite index in Φ H , which symmetrizes the conclusionp somewhat.qX p Weq note briefly that Φ Hgp q Φ H g. p q“ pBeforeq proving Lemma 2.4, we recall the following classical fact about the homology of finite index subgroups of free groups. This is also called Gasch¨utz’s theorem [7, 5] and is a free-group version of a well-known The- orem due to Chevalley and Weil [4]. We will not reproduce a proof of this result, though we indicate that it can easily be deduced from the Lefschetz Fixed-Point Theorem:

Theorem 2.5. Let Fk be a free group of rank k, and let N ✁ Fk be a finite index normal subgroup with Q Fk N. Then as a Q Q -module, we have an isomorphism “ { r s k k´1 H1 N, Q τ ρ , p q– ‘ where τ denotes the trivial representation of Q, and ρ ρreg τ denotes the quotient of the regular representation by the trivial repre“sentation.{

The trivial isotypic component of H1 N, Q is canonically isomorphic to p q H1 Fk, Q via the transfer map. Note that if z H1 N, Q is not in the image of thep transferq map, then z is not fixed by someP elementp q of Q. Moreover, if 1 q Q, then there is an element z H1 N, Q such that q z z. ‰In thisP section and throughout theP restp of theq paper, when¨ we‰ refer to homology, we always mean the first homology (with coefficients that will be clear from context), unless otherwise noted. 12 T. KOBERDA AND MAHAN MJ

Proof of Lemma 2.4. Since K1 and K2 are distinct, isomorphic, and both of finite index in F, there can be no inclusion relations between K1 and K2. It follows that there exists an element a K1 K2. Let P z b K1 K2, P X and let xb a, b . Observe that “r s 1 xb K K2. P 1 X 1 Indeed, since a and b are in K1, we have that xb K1. From the fact that ´1 a P xb b b and the normality of K2, we see that xb K2. “ P We may now compute the homology class xb of xb, as an element of r s H1 K2, Z : we have p q xb a b b , r s“ ¨r s´r s where a b denotes the image of b under the action of a, viewed as an ¨r s r s element of F K2. { Since a K2, we have that a represents a nontrivial element of F K2. It follows thatR there is a homology class {

z H1 K2, Z P p q such that a z z, by Theorem 2.5. Note that replacing z by a nonzero integral multiple,¨ ‰ we have a nz n a z nz. ¨p q“ p ¨ q‰ We may therefore choose an n Z 0 and an element b K1 K2 such P zt u P X that b nz, since K1 and K2 have finite index in F. Withr s“ such a choice of b, we have that

xb H1 K2, Z r s P p q is a nontrivial homology class. Since K2 is free, we see that no power of xb represents a trivial homology class of K2. Therefore, for all N 0, we have xN K1 but xN K1 . It follows that K1 K1 has infinite index‰ in K1 . b P 1 b R 2 1 X 2 1 If K1 is also normal in F, then one can switch the roles of K1 and K2 to conclude that K1 K1 has infinite index in K1 as well.  1 X 2 2 Note that Lemma 2.4 establishes Lemma 2.3 for Φ H H1. We prove the following fact, which now immediately implies Lemmap q “2.3 and which will be useful in the sequel: Lemma 2.6. Let A and B be commensurable, nonabelian, free subgroups of finite rank in an ambient group G. Write Φ A and Φ B for a proper term of the lower central series or derived seriesp q of A andp q B, so that if Φ A γi A then Φ B γi B , orif Φ A Di A then Φ B Di B . Inp eitherq“ case,p q the indexp q“ i 2pisq the samep forq“ bothp A andq B. p q“ p q ě COMMUTATORS AND COMMENSURATORS 13

Suppose there exists an element g A B such that g A1 and such that g B B1. Then Φ A and Φ B are notP commensurable.X P P z p q p q Proof. By the definition of g, we have that gN A1 for all N and gN B1 for all N 0. We deal with the two series separately,P starting with theR lower central‰ series. The nth term of the lower central series of a group H will be th denoted by γn H , and the n term of the derived series of a group H will p q be denoted by Dn H . p q Note that g γ2 A and P p q g γ1 B γ2 B . P p qz p q Note also that there is an element x A B such that g, x γ3 A and such that P X r s P p q

g, x γ2 B γ3 B . r s P p qz p q Indeed, it suffices to choose an element x lying in A B whose integral homology class in B is nonzero, which exists since A andX B are commensu- rable (cf. [10]). Note that g, x A B. r s P X By an easy induction, we can find elements yn n 1 A B such that t u ě Ă X yn γn 1 A and such that P ` p q yn γn B γn 1 B . P p qz ` p q Again, we can simply define yn`1 yn, x , where x A B represents a nontrivial homology class of B. For“ ar finitelys generatedP freeX group F, we have that γn F γn`1 F is a finitely generated torsion-free abelian group for all n p1q{ (see againp q [10]). It follows that for all N 0, we have N ě ‰ yn γn`1 A and P p q N y γn B γn 1 B , n P p qz ` p q whence no proper terms of the lower central series of A and B are commen- surable. We now consider the derived series, and begin with the same element g 1 1 as above. We consider the groups H1 A , Z and H1 B , Z , both of which are infinitely generated free abelian groups.p q Since p q 1 g A D2 A , P “ p q 1 we have that g represents a (possibly trivial) element of H1 A , Z . Since 1 p q g B , we have that g represents a nontrivial element of H1 B, Z . Thus, if R 1 p q z H1 B , Z is a nontrivial homology class, then for all sufficiently large P p q N 1 N we have that g z z represents a nontrivial element of H1 B , Z . This claim is easily checked¨ ´ using covering space theory, by choopsing aq finite wedge of circles whose fundamental group is B and taking the cover of the 1 wedge corresponding to B . Then one simply uses the fact that H1 B, Z acts properly discontinuously on the corresponding cover. p q 14 T. KOBERDA AND MAHAN MJ

Since A and B are commensurable, we can choose an element x A1 B1 1 P X such that x represents a nontrivial element of H1 B , Z . Indeed, we can p q choose any two element b1, b2 in a free basis for B and nonzero exponents ni n1 n2 n1 and n2 such that bi A for i 1, 2 . Then, the element x b1 , b2 P P t u 1 “ r s will represent a nontrivial element of H1 B , Z . Note that for all N, we have p q

N y g , x D3 A . “r s P p q On the other hand, for N sufficiently large we have that y represents a non- 1 trivial element of H1 B , Z , and therefore p q

y D2 B D3 B . P p qz p q 1 Since H1 B , Z is torsion-free, it follows that D3 A and D3 B are not commensurable.p q p q p q An easy induction now shows that Di A and Di B are not commensu- p q p q rable for i 2. Indeed, suppose we have produced an element yi A B ě N P X such that for all nonzero N, we have y Di A and i P p q N y Di 1 B Di B . i P ´ p qz p q As in the case i 2, it is straightforward to construct an element x “ P Di A Di B such that x represents a nontrivial element of H1 Di B , Z . Thenp qX for allpNqwe have p p q q

N yi 1 y , x Di 1 A . ` “r i s P ` p q

For all sufficiently large N, however, we have that yi`1 represents a nontriv- ial homology class in H1 Di B , Z . Using again the fact that H1 Di B , Z p p q q p p q q is torsion-free, no power of yi`1 lies in Di`1 B , sothat Di`1 A and Di`1 B are not commensurable. p q p q p q

3. Integral commensurators In this section, we establish the following fact:

Lemma 3.1. Let H PSL2 Z be a non-elementary subgroup and let g ă 2 p q P CommPSL R H . Then g PSL2 Q ?Q. 2p qp q P p q Here, non-elementary simply means non-solvable. The proof of Lemma 3.1 is given in Section 3.1 below and draws from the theory of invariant trace fields and quaternion division algebras. We are grateful to Alan Reid for teaching us about these ideas. COMMUTATORS AND COMMENSURATORS 15

3.1. Quaternion division algebras and commensurators. In this section, we give our first proof of Lemma 3.1. We refer the reader to [11] for the relevant basics on invariant trace fields and quaternion division algebras. The proof of 3.2 below is guided and informed by the argument on page 118 of [11] proving Theorem 3.3.4 there (see especially Equations 3.8 and 3.9). Proposition 3.2. (Reid) Let H be a non-elementary (not necessarily dis- crete) subgroup of PSL2 C such that p q K : Q tr H Q tr H1 “ p q“ p q 1 for any subgroup H offiniteindexin H. Let B A0H denote the quaternion algebra generated over K. That is, B is obtained“ by taking finite linear combinations of elements of H over K [11, Sec 3.2]. Let B˚ denote the set of invertible elements of B. Suppose that H and xHx´1 are commensurable, i.e. x CommPSL C H . Then the following conclusions hold: P 2p qp q (1) x ta where a B˚ and t is a non-zero complex number. (2) t2 “ K andso x2P B˚. P P Proof of Lemma 3.1 assuming Proposition 3.2. Note that the hypothesis Q Q tr H Q tr H1 “ p q“ p q in Proposition 3.2 is satisfied for arbitrary subgroups of PSL2 Z . Moreover, we have that p q ˚ B PSL2 Q Q “ p q in our notation, whence the desired conclusiona follows.  We now turn to the proof of Proposition 3.2: Proof of Proposition 3.2. Let ´1 H1 H xHx , “ X ´1 so that H1 has finite index in H and xHx . Hence, ´1 Q tr H1 Q tr H Q tr xHx p q“ p q“ p p qq by hypothesis. Hence the quaternion algebras B A0H, “ ´1 ´1 A0 xHx xA0Hx , p q“ and A0H1 are all defined over K and hence are all equal. It follows from the Skolem–Noether Theorem [11, 2.9.8] there exists a B˚ such that P (3.1) aga´1 xgx´1 “ for all g B. Thus P (3.2) a´1 xg ga´1x “ 16 T. KOBERDA AND MAHAN MJ for all g B. We wouldP like to conclude that a´1 x Z B K, P p q“ but we cannot immediately do this because a´1 x need not be in B. However, after tensoring with C over K, the Equation 3.2 continues to hold: a´1 xg ga´1x “ for all g M2 C . Hence, P p q a´1 x t C “ P is a non-zero element and x ta as required, which proves the first conclu- sion. “ Finally, the equation det x det ta p q“ p q gives us 1 t2 det a , “ p q and we have det a K by assumption. It follows that t2 K, and so p q P P x2 t2a2 B˚, “ P which establishes the second part of the conclusion. 

4. Homological pseudo-actions and completing the proof

In this section, we complete the proof of Theorem 1.2. Let H ✁ PSL2 Z be a finite index normal subgroup which is contained in the principal con-p q gruence subgroup Γ k . We have shown that if p q g CommPSL R Φ H P 2p qp p qq 2 then g PSL2 Q ?Q and hence P p q 2 g CommPSL R PSL2 Z . P 2p qp p qq Therefore, we have that H Hg2 is a finite index subgroup of both H and Hg2 . We wish to argue thatX Hg2 Γ k as well, so that we can apply ă p q 2 Lemma 2.2 or Lemma 2.3, depending on whether H Hg or not. Once we achieve this goal, we can prove the main technical result“ of this section:

Lemma 4.1. Let H PSL2 Z be a finite index normal subgroup which is ă p q contained in Γ k for some k 2, and let g PSL2 Q ?Q commensurate p q ě P p q Φ H for some proper term. Then g PSL2 Z . p q P p q The proof of Theorem 1.2 follows quickly from Lemma 4.1. COMMUTATORS AND COMMENSURATORS 17

Proof of Theorem 1.2, assuming Lemma 4.1. Let H be as in the statement of the theorem and let g CommPSL2pRq Φ H . By Lemma 3.1, we see that P p p qq 2 g PSL2 Q Q. P2 p q By Lemma 4.1, we have that g PSL2 aZ . It follows that the square of every element in P p q CommPSL R Φ H 2p qp p qq lies in PSL2 Z , so that the group p q CommPSL R Φ H 2p qp p qq is discrete by Lemma 1.8.  Thus, it remains to establish Lemma 4.1, which will occupy the remain- der of this section. 4.1. Building homological pseudo-actions. Note that H and Hg2 both lie in PSL2 Q , as is checked by an easy computation. Indeed, H is a subgroup p q g2 of PSL2 Z and is therefore a subgroup of PSL2 Q . The group H lies in p q 2 p q PSL2 Q by Lemma 1.9, since g PSL2 Q ?Q. Let H x1,..., xm , p q P p q “ x y where x1,..., xn is a free basis for H. We write xi for the homology t u r s class of xi. We have that x1 ,..., xn tr s r su generate the integral homology of H, and for each N 1, we have that ě xN ,..., xN tr 1 s r n su generate a finite index subgroup of the integral homology of H. Suppressing N g2 N from the notation, we sometimes write zi xi . For y H arbitrary, “ r s N P we consider the homology class of the commutator y, xi , when it makes 2 2 r s sense. Since y Hg and since H and Hg are commensurable, there exist arbitrarily largeP values of N for which 2 y, xN Hg 1, r i sPp q N g2 since we merely choose values of N such that xi H H . N P X On the other hand, we have that xi H for all i and N. Similarly, there P N y exist arbitrarily large values of N such that xi H as well, independently py q P of i, since y PSL2 Q and hence H and H are commensurable. For these P p q values of N, we may make sense of the homology class y zi zi for all i, N ¨ ´ which is the homology class of y, xi in H. This defines a pseudo-action 2 r s of Hg on the integral homology of H. We call it a pseudo-action since it is not defined for all N. Suppose that y zi zi is nonzero for some i. Then we obtain ¨ ´ y, xN H H1. r i s P z 18 T. KOBERDA AND MAHAN MJ

Then by Lemma 2.6, we see that the group Φ H and the group p q 2 2 Φ Hg Φ H g p q“ p q are not commensurable. Note that the previous discussion was symmetric in H and Hg2 , so that we obtain elements of Hg2 H1, no powers of which lie in Hg2 1 unless the homological pseudo-actionX of H on the integral homology p q2 of Hg is trivial. Therefore, if g commensurates Φ H for some proper term of the lower p q central series or derived series of H, we must have that y zi zi is the trivial integral homology class of H for all i, whenever this homology¨ ´ class is defined. In particular, the pseudo-action of y on the integral homology of H is trivial.

4.2. Trivial homology pseudo-actions and parabolics. Let γ H be a parabolic element fixing infinity, which exists because H has finiteP index in g2 PSL2 Z . Let y H be arbitrary, and suppose that the y-pseudo-action on the integralp q homologyP of H is trivial. We see that there is a positive integer N such that the homology class of γN is invariant under y. That is, γN y γN rp q s“r s as homology classes of H2 H. Since H Γ k for some k 2, we see that each cusp of H2 H is homologically{ nontrivial,ă p q and no twoě distinct cusps represent the same{ homology class, as follows from Corollary 1.7. It follows that the element γN y represents a power of a free homotopy class of a cusp of H2 H, whichp isq equal to the free homotopy class repre- sented by γN. In particular,{ we have that γN y is a parabolic element of N y p q PSL2 Q , and the fixed point of γ is in the H-orbit of infinity. It followsp q that there is an elementp qh H such that P γN y h γN yh pp q q “p q g2 stabilizes infinity. Since both H and H are subgroups of PSL2 Q , it fol- p q lows that yh lies in the stabilizer of infinity in PSL2 Q , so that we have p q r t yh “ ˆ0 r´1˙ for some suitable r, t Q. Writing P 1 M γN “ ˆ0 1 ˙ COMMUTATORS AND COMMENSURATORS 19 for some suitable M Z, then we see that P 1 r´2 M γN yh . p q “ ˆ0 1 ˙ Since γN yh γN y γN , rp q s“rp q s“r s it follows that we must have r 1, so that “ 1 t yh . “ ˆ0 1˙ Repeating the same argument for a parabolic element of H stabilizing 0, we find an element q H such that P 1 0 yq “ ˆs 1˙ for some suitable s Q. We now multiply yh ´1 and yq to get P p q p q 1 ts t ´ ´ H. ˆ s 1 ˙ P Since H Γ k , we see that t, s kZ. It follows that y Γ k . Since 2 ă p q P 2 P p q y Hg was chosen arbitrarily, we see that Hg Γ k . PTo conclude the discussion of the last two subsections,ă p q we can finally prove Lemma 4.1, which completes the proof of Theorem 1.2. Proof of Lemma 4.1. The discussion in Sections 4.1 and 4.2 implies that Hg Γ k . Note here that we conjugate by g and not by g2, since we ă p q already assume that g PSL2 Q ?Q. P p q Note that H is normal in PSL2 Z and therefore is normal in Γ k as well. Since Γ k is a free group and sincep q H and Hg are isomorphic,p ifqH Hg then wep canq apply Lemma 2.3 to conclude that Φ H and Φ H g are‰ not g p q p q commensurable. If H H then Lemma 2.2 implies that g PSL2 Z .  “ P p q References 1. Y. Benoist. Propri´et´es asymptotiques des groupes lin´eaires. Geom. Funct. Anal., 7(1), pages 1–47, 1997. 1.1 2. K. Biswas and M. Mj, Pattern rigidity in hyperbolic spaces: duality and PD sub- groups. Groups Geom. Dyn., 6(1):97–123, 2012. 1.1 3. A. Borel. Density and maximality of arithmetic subgroups J. Reine Angew. Math. 224 (1966), 78–89. 1.4 4. C. Chevalley, A. Weil, and E. Hecke. Uber¨ das verhalten der integrale 1. gat- tung bei automorphismen des funktionenk¨orpers. Abh. Math. Sem. Univ. Hamburg, 10(1):358–361, 1934. 2.2 5. F. , M. Larsen, A. Lubotzky, and J. Malestein. Arithmetic quotients of the mapping class group. Geom. Funct. Anal., 25(5):1493–1542, 2015. 2.2 20 T. KOBERDA AND MAHAN MJ

6. L. Greenberg. Commensurable groups of Moebius transformations. pages 227–237. Ann. of Math. Studies, No. 79, 1974. 1 7. T. Koberda, Asymptotic linearity of the mapping class group and a homological ver- sion of the Nielsen-Thurston classification. Geom. Dedicata, 156:13–30, 2012. 2.2 8. C. J. Leininger, D. D. Long, and A. W. Reid. Commensurators of non-free finitely generated Kleinian groups. Algebraic and Geometric Topology 11, pages 605–624, 2011. 1.1, 2, 1.1 9. D. Loeffler, Modular forms course, 1.1 https://homepages.warwick.ac.uk/˜masiao/modforms/solutions2.pdf, 2008 10. W. Magnus, A. Karrass, and D. Solitar, Combinatorial group theory: Presentations of groups in terms of generators and relations. Interscience Publishers, 1966. 2.2 11. C. Maclachlan and A. W. Reid, The arithmetic of hyperbolic 3-manifolds. Springer- Verlag, New York, 2003, Graduate Texts in Mathematics, 219. 3.1, 3.2, 3.1 12. G. A. Margulis, Discrete Subgroups of Semisimple Lie Groups. Springer, 1990. 1 13. M. Mj, On Discreteness of Commensurators. Geom. Topol. 15, pages 331–350, 2011. 1, 2, 1.1 14. M. Mj, Pattern rigidity and the Hilbert-Smith conjecture. Geom. Topol., 16(2):1205– 1246, 2012. 1.1 15. D. Witte Morris, Introduction to arithmetic groups. Deductive Press, 2015. 1, 1.1 16. M. S. Raghunathan, Discrete subgroups of Lie groups. Springer-Verlag, New York- Heidelberg, 1972, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 68. 1.3 17. P. Sarnak, Notes on thin matrix groups. In Thin groups and superstrong approxi- mation, volume 61 of Math. Sci. Res. Inst. Publ., pages 343–362. Cambridge Univ. Press, Cambridge, 2014. 1 18. R. E. Schwartz, The quasi-isometry classification of rank one lattices. Inst. Hautes Etudes´ Sci. Publ. Math., (82):133–168 (1996), 1995. 1.1 19. R. E. Schwartz, Symmetric patterns of geodesics and automorphisms of surface groups. Invent. math. 128, (1997) No. 1, 177–199. 1.1

Department of Mathematics, University of Virginia, Charlottesville, VA 22904- 4137, USA Email address: [email protected] URL: http://faculty.virginia.edu/Koberda

School of Mathematics, Tata Institute of Fundamental Research, 1Homi Bhabha Road, 400005, India Email address: [email protected] Email address: [email protected] URL: http://www.math.tifr.res.in/˜mahan