New Simple Lattices in Products of Trees and their Projections

Radu, Nicolas

Canadian journal of mathematics, Tome 72 (2020) no. 6, pp. 1624-1690

Résumé

Let $\unicode[STIX]{x1D6E4}\leqslant \text{Aut}(T_{d_{1}})\times \text{Aut}(T_{d_{2}})$ be a group acting freely and transitively on the product of two regular trees of degree $d_{1}$ and $d_{2}$. We develop an algorithm that computes the closure of the projection of $\unicode[STIX]{x1D6E4}$ on $\text{Aut}(T_{d_{t}})$ under the hypothesis that $d_{t}\geqslant 6$ is even and that the local action of $\unicode[STIX]{x1D6E4}$ on $T_{d_{t}}$ contains $\text{Alt}(d_{t})$. We show that if $\unicode[STIX]{x1D6E4}$ is torsion-free and $d_{1}=d_{2}=6$, exactly seven closed subgroups of $\text{Aut}(T_{6})$ arise in this way. We also construct two new infinite families of virtually simple lattices in $\text{Aut}(T_{6})\times \text{Aut}(T_{4n})$ and in $\text{Aut}(T_{2n})\times \text{Aut}(T_{2n+1})$, respectively, for all $n\geqslant 2$. In particular, we provide an explicit presentation of a torsion-free infinite simple group on 5 generators and 10 relations, that splits as an amalgamated free product of two copies of $F_{3}$ over $F_{11}$. We include information arising from computer-assisted exhaustive searches of lattices in products of trees of small degrees. In an appendix by Pierre-Emmanuel Caprace, some of our results are used to show that abstract and relative commensurator groups of free groups are almost simple, providing partial answers to questions of Lubotzky and Lubotzky–Mozes–Zimmer.

Détail

DOI : 10.4153/S0008414X19000506

Mots-clés : lattice, tree, simple

Bibliographie

[BS06] Bader, U. and Shalom, Y., Factor and normal subgroup theorems for lattices in products of groups. Invent. Math. 163(2006), 415–454. https://doi.org/10.1007/s00222-005-0469-5 Google Scholar | DOI

[BB10] Bartholdi, L. and Bogopolski, O., On abstract commensurators of groups. J. Group Theory 13(2010), no. 6, 903–922. https://doi.org/10.1515/JGT.2010.021 Google Scholar

[BK90] Bass, H. and Kulkarni, R., Uniform tree lattices. J. Amer. Math. Soc. 3(1990), no. 4, 843–902. https://doi.org/10.2307/1990905 Google Scholar | DOI

[BL01] Bass, H. and Lubotzky, A., Tree lattices. Progr. Math., 176, Birkhäuser Boston, Inc., Boston, 2001. https://doi.org/10.1007/978-1-4612-2098-5 Google Scholar | DOI

[BK17] Bondarenko, I. and Kivva, B., Automaton groups and complete square complexes. Google Scholar

[BM00a] Burger, M. and Mozes, S., Groups acting on trees: from local to global structure. Inst. Hautes Études Sci. Publ. Math. 92(2000), 113–150. Google Scholar | DOI

[BM00b] Burger, M. and Mozes, S., Lattices in products of trees. Inst. Hautes Études Sci. Publ. Math. 92(2000), 151–194. Google Scholar | DOI

[BMZ09] Burger, M., Mozes, S., and Zimmer, R. J., Linear representations and arithmeticity of lattices in products of trees. In: Essays in geometric group theory, Ramanujan Math. Soc. Lect. Notes Ser., vol. 9, Ramanujan Math. Soc., Mysore, 2009, pp. 1–25. Google Scholar

[Cap09] Caprace, P.-E., Amenable groups and Hadamard spaces with a totally disconnected isometry group. Comment. Math. Helv. 84(2009), no. 2, 437–455. https://doi.org/10.4171/CMH/168 Google Scholar | DOI

[Cap17] Caprace, P.-E., Finite and infinite quotients of discrete and indiscrete groups. Google Scholar

[CM09] Caprace, P.-E. and Monod, N., Isometry groups of non-positively curved spaces: discrete subgroups. J. Topol. 2(2009), no. 4, 701–746. https://doi.org/10.1112/jtopol/jtp027 Google Scholar | DOI

[CRW17] Caprace, P.-E., Reid, C. D., and Willis, G. A., Locally normal subgroups of totally disconnected groups. Part II: Compactly generated simple groups. Forum Math. Sigma 5(2017), e12. Google Scholar

[CW17] Caprace, P.-E. and Wesolek, P., Indicability, residual finiteness, and simple subquotients of groups acting on trees. Geom. Topol. 22(2018), no. 7, 4163–4204. https://doi.org/10.2140/gt.2018.22.4163 Google Scholar | DOI

[CvS12] Chamanara, R. and Šarić, D., Elementary moves and the modular group of the compact solenoid. Conformal dynamics and hyperbolic geometry, Contemp. Math., 573, Amer. Math. Soc., Providence, RI, 2012, pp. 11–33. https://doi.org/10.1090/conm/573/11395 Google Scholar

[CS14] Creutz, D. and Shalom, Y., A normal subgroup theorem for commensurators of lattices. Groups Geom. Dyn. 8(2014), no. 3, 789–810. https://doi.org/10.4171/GGD/248 Google Scholar | DOI

[GKM08] Gelander, T., Karlsson, A., and Margulis, G. A., Superrigidity, generalized harmonic maps and uniformly convex spaces. Geom. Funct. Anal. 17(2008), no. 5, 1524–1550. https://doi.org/10.1007/s00039-007-0639-2 Google Scholar | DOI

[Jac89] Jacobson, N., Basic algebra. II. Second ed., W. H. Freeman and Company, New York, 1989. Google Scholar

[JW09] Janzen, D. and Wise, D. T., A smallest irreducible lattice in the product of trees. Algebr. Geom. Topol. 9(2009), no. 4, 2191–2201. https://doi.org/10.2140/agt.2009.9.2191 Google Scholar | DOI

[KR02] Kimberly, J. S. and Robertson, G., Groups acting on products of trees, tiling systems and analytic K-theory. New York J. Math. 8(2002), 111–131. Google Scholar

[Liu94] Liu, Y.-S., Density of the commensurability groups of uniform tree lattices. J. Algebra 165(1994), no. 2, 346–359. https://doi.org/10.1006/jabr.1994.1115 Google Scholar | DOI

[LMZ94] Lubotzky, A., Mozes, S., and Zimmer, R. J., Superrigidity for the commensurability group of tree lattices. Comment. Math. Helv. 69(1994), no. 4, 523–548. https://doi.org/10.1007/BF02564503 Google Scholar | DOI

[Mar80] Margulis, G. A., Multiplicative groups of a quaternion algebra over a global field. Dokl. Akad. Nauk SSSR 252(1980), no. 3, 542–546. Google Scholar

[Mar91] Margulis, G. A., Discrete subgroups of semisimple Lie groups. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 17, Springer-Verlag, Berlin, 1991. https://doi.org/10.1007/978-3-642-51445-6 Google Scholar | DOI

[MT90] Menegazzo, F. and Tomkinson, M. J., Groups with trivial virtual automorphism group. Israel J. Math. 71(1990), no. 3, 297–308. https://doi.org/10.1007/BF02773748 Google Scholar | DOI

[Mon06] Monod, N., Superrigidity for irreducible lattices and geometric splitting. J. Amer. Math. Soc. 19(2006), no. 4, 781–814. https://doi.org/10.1090/S0894-0347-06-00525-X Google Scholar | DOI

[Neu73] Neumann, P. M., The SQ-universality of some finitely presented groups. J. Austral. Math. Soc. 16(1973), no. 1, 1–6. Google Scholar

[Rad17] Radu, N., A classification theorem for boundary 2-transitive automorphism groups of trees. Invent. Math. 209(2017), no. 1, 1–60. https://doi.org/10.1007/s00222-016-0704-2 Google Scholar | DOI

[Rat04] Rattaggi, D., Computations in groups acting on a product of trees: normal subgroup structures and quaternion lattices. Ph.D. thesis, ETH Zürich, 2004. Google Scholar

[Ser77] Serre, J.-P., Arbres, amalgames, SL2. Astérisque, 46, Société Mathématique de France, Paris, 1977. Google Scholar

[SW13] Shalom, Y. and Willis, G. A., Commensurated subgroups of arithmetic groups, totally disconnected groups and adelic rigidity. Geom. Funct. Anal. 23(2013), no. 5, 1631–1683. https://doi.org/10.1007/s00039-013-0236-5 Google Scholar | DOI

[Tak77a] Takeuchi, K., Arithmetic triangle groups. J. Math. Soc. Japan 29(1977), 91–106. https://doi.org/10.2969/jmsj/02910091 Google Scholar | DOI

[Tak77b] Takeuchi, K., Commensurability classes of arithmetic triangle groups. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 24(1977), 201–212. Google Scholar

[Tit70] Tits, J., Sur le groupe des automorphismes d’un arbre. In: Essays on topology and related topics (Mémoires dédiés à Georges de Rham). Springer, New York, 1970, pp. 188–211. Google Scholar | DOI

[Tro07] Trofimov, V. I., Vertex stabilizers of graphs and tracks. I. European J. Combin. 28(2007), no. 2, 613–640. https://doi.org/10.1016/j.ejc.2005.05.010 Google Scholar | DOI

[Vig80] Vignéras, M.-F., Arithmétique des algèbres de quaternions. Lecture Notes in Mathematics, 800, Springer, Berlin, 1980. Google Scholar | DOI

[Wei79] Weiss, R. M., Groups with a (B, N)-pair and locally transitive graphs. Nagoya Math. J. 74(1979), 1–21. Google Scholar | DOI