COMMUTATORS, COMMENSURATORS, AND PSL2 Z p q THOMAS KOBERDA AND MAHAN MJ Abstract. Let H ă PSL2pZq be a finite index normal subgroup which is contained in a principal congruence subgroup, and let ΦpHq‰ H denote a term of the lower central series or the derived series of H. In this paper, we prove that the commensurator of ΦpHq in PSL2pRq is discrete. We thus obtain a natural family of thin subgroups of PSL2pRq whose commensurators are discrete, establishing some cases of a conjecture of Shalom. 1. Introduction The Commensurability Criterion for Arithmeticity due to Margulis [12] [15, 16.3.3] says that among irreducible lattices in semi-simple Lie groups, arithmetic lattices are characterized as those that have dense commensura- tors. During the past decade, Zariski dense discrete subgroups of infinite covolume in semi-simple Lie groups, also known as thin subgroups [17], have gained a lot of attention. Heuristically, thin subgroups should be re- garded as non-arithmetic, even though the essential difference between a thin group and a lattice is that the former has infinite covolume in the ambi- ent Lie group. A question attributed to Shalom makes this heuristic precise in the following way: Question 1.1. [8] Suppose that Γ is a thin subgroup of a semisimple Lie group G. Is the commensurator of Γ discrete? Let X be the symmetric space of non-compact type associated to G and arXiv:1810.11429v2 [math.GR] 10 Jun 2021 X denote its Furstenberg boundary. Question 1.1 has been answered affir- mativelyB in the following cases: Date: June 11, 2021. 2010 Mathematics Subject Classification. 22E40 (Primary), 20F65, 20F67, 57M50. Key words and phrases. commensurator, commutator subgroup, arithmetic lattice, thin subgroup. The first author is partially supported by an Alfred P. Sloan Foundation Research Fel- lowship and by NSF Grants DMS-1711488 and DMS-2002596. The second author is sup- ported in part by the Department of Atomic Energy, Government of India, under project no.12-R&D-TFR-5.01-0500, as also by an endowment of the Infosys Foundation, a DST JC Bose Fellowship, Matrics research project grant MTR/2017/000005, and CEFIPRA project No. 5801-1. 1 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.