Some remarks on finitarily approximable groups

Nikolov, Nikolay; Schneider, Jakob; Thom, Andreas

Journal de l’École polytechnique — Mathématiques, Tome 5 (2018), pp. 239-258.

Le concept de groupe $𝒞$-approximable, pour une classe de groupes finis $𝒞$, généralise à la fois les notions de groupe sofique, faiblement sofique et linéairement sofique. Glebsky a soulevé la question de savoir si tous les groupes sont approximables par des groupes finis résolubles avec une fonction longueur invariante arbitraire. Nous résolvons cette question en montrant que tout groupe parfait non trivial de type fini n’a pas cette propriété, en généralisant un contre-exemple dû à Howie. Dans le même esprit, nous montrons que tout groupe non trivial qui peut être approximé par des groupes finis a un quotient non trivial qui peut être approximé par des groupes projectifs spéciaux linéaires finis. De plus, nous discutons la question de savoir quels groupes de Lie peuvent être plongés dans un ultraproduit métrique de groupes finis avec fonction longueur invariante. Nous montrons que ce sont exactement les groupes abéliens, fournissant ainsi une réponse négative à une question de Doucha. En relation avec un problème de Zilber, nous montrons que la composante neutre d’un groupe de Lie dont la topologie est engendrée par une fonction longueur invariante et qui est un quotient abstrait d’un produit de groupes finis, doit être abélienne. Ces deux derniers résultats permettent de donner une nouvelle preuve d’un résultat de Turing. Enfin, nous résolvons une conjecture de Pillay en montrant que la composante neutre d’une compactification d’un groupe pseudo-fini doit aussi être abélienne. Tous les résultats de cet article sont des applications de théorèmes, dus au premier auteur et à Segal, sur les générateurs et les commutateurs dans un groupe fini, ainsi que de résultats de Liebeck et Shalev.

The concept of a $𝒞$-approximable group, for a class of finite groups $𝒞$, is a common generalization of the concepts of a sofic, weakly sofic, and linear sofic group. Glebsky raised the question whether all groups are approximable by finite solvable groups with arbitrary invariant length function. We answer this question by showing that any non-trivial finitely generated perfect group does not have this property, generalizing a counterexample of Howie. In a related note, we prove that any non-trivial group which can be approximated by finite groups has a non-trivial quotient that can be approximated by finite projective special linear groups. Moreover, we discuss the question which connected Lie groups can be embedded into a metric ultraproduct of finite groups with invariant length function. We prove that these are precisely the abelian ones, providing a negative answer to a question of Doucha. Referring to a problem of Zilber, we show that the identity component of a Lie group, whose topology is generated by an invariant length function and which is an abstract quotient of a product of finite groups, has to be abelian. Both of these last two facts give an alternative proof of a result of Turing. Finally, we solve a conjecture of Pillay by proving that the identity component of a compactification of a pseudofinite group must be abelian as well. All results of this article are applications of theorems on generators and commutators in finite groups by the first author and Segal. In Section 4 we also use results of Liebeck and Shalev on bounded generation in finite simple groups.

Classification : 20E26, 20E18, 03C20, 20F69
Keywords: Sofic, C-approximable group, metric ultraproduct
Mot clés : Sofique, groupe C-approximable, ultraproduit métrique

[1] Arzhantseva, G.; Păunescu, Liviu Linear sofic groups and algebras, Trans. Amer. Math. Soc., Volume 369 (2017) no. 4, pp. 2285-2310 | DOI | MR | Zbl

[2] Cornulier, Y. A sofic group away from amenable groups, Math. Ann., Volume 350 (2011) no. 2, pp. 269-275 | DOI | MR | Zbl

[3] Deligne, P. Extensions centrales non résiduellement finies de groupes arithmétiques, C. R. Acad. Sci. Paris Sér. A-B, Volume 287 (1978) no. 4, p. A203-A208 | Zbl

[4] Doucha, M. Metric topological groups: their metric approximation and metric ultraproducts, Groups Geom. Dyn. (to appear) (arXiv:1601.07449) | MR | Zbl

[5] Elek, G.; Szabó, E. Sofic groups and direct finiteness, J. Algebra, Volume 280 (2004) no. 2, pp. 426-434 | DOI | MR | Zbl

[6] Elek, G.; Szabó, E. Hyperlinearity, essentially free actions and $L^2$-invariants. The sofic property, Math. Ann., Volume 332 (2005) no. 2, pp. 421-441 | DOI | MR | Zbl

[7] Gelander, T. Limits of finite homogeneous metric spaces, Enseign. Math. (2), Volume 59 (2013) no. 1-2, pp. 195-206 | DOI | MR | Zbl

[8] Glebsky, L. Approximations of groups, characterizations of sofic groups, and equations over groups, J. Algebra, Volume 477 (2017), pp. 147-162 | DOI | MR | Zbl

[9] Glebsky, L.; Rivera, L. M. Sofic groups and profinite topology on free groups, J. Algebra, Volume 320 (2008) no. 9, pp. 3512-3518 | DOI | MR | Zbl

[10] Goursat, E. Sur les substitutions orthogonales et les divisions régulières de l’espace, Ann. Sci. École Norm. Sup., Volume 6 (1889), pp. 9-102 | DOI | Zbl

[11] Gromov, M. Endomorphisms of symbolic algebraic varieties, J. Eur. Math. Soc. (JEMS), Volume 1 (1999) no. 2, pp. 109-197 | DOI | MR | Zbl

[12] Holt, D. F.; Rees, S. Some closure results for $𝒞$-approximable groups (2016) (arXiv:1601.01836) | Zbl

[13] Howie, J. The $p$-adic topology on a free group: A counterexample, Math. Z., Volume 187 (1984) no. 1, pp. 25-27 | MR | Zbl

[14] Kar, A.; Nikolov, N. A non-LEA sofic group, Proc. Indian Acad. Sci. Math. Sci., Volume 127 (2017) no. 2, pp. 289-293 | DOI | MR | Zbl

[15] Klyachko, A.; Thom, A. New topological methods to solve equations over groups, Algebraic Geom. Topol., Volume 17 (2017) no. 1, pp. 331-353 | MR | Zbl

[16] Liebeck, M. W.; Shalev, A. Diameters of finite simple groups: sharp bounds and applications, Ann. of Math. (2) (2001), pp. 383-406 | DOI | MR | Zbl

[17] McLain, D. H. A characteristically simple group, Math. Proc. Cambridge Philos. Soc., Volume 50 (1954) no. 4, pp. 641-642 | DOI | MR | Zbl

[18] Nikolov, N.; Segal, D. Generators and commutators in finite groups; abstract quotients of compact groups, Invent. Math., Volume 190 (2012) no. 3, pp. 513-602 | DOI | MR | Zbl

[19] Ould Houcine, A.; Point, F. Alternatives for pseudofinite groups, J. Group Theory, Volume 16 (2013) no. 4, pp. 461-495 | MR | Zbl

[20] Pillay, A. Remarks on compactifications of pseudofinite groups, Fund. Math., Volume 236 (2017) no. 2, pp. 193-200 | DOI | MR | Zbl

[21] Robinson, D. J. S. Finiteness conditions and generalized soluble groups, Ergeb. Math. Grenzgeb. (3), Springer-Verlag, New York-Berlin, 1972 | Zbl

[22] Segal, D. Closed subgroups of profinite groups, Proc. London Math. Soc. (3), Volume 81 (2000) no. 1, pp. 29-54 | DOI | MR | Zbl

[23] Segal, D. Words: notes on verbal width in groups, London Mathematical Society Lect. Note Series, 361, Cambridge University Press, Cambridge, 2009 | MR | Zbl

[24] Shelah, S. On the cardinality of ultraproduct of finite sets, J. Symbolic Logic, Volume 35 (1970) no. 1, pp. 83-84 | DOI | MR | Zbl

[25] Stolz, A.; Thom, A. On the lattice of normal subgroups in ultraproducts of compact simple groups, Proc. London Math. Soc. (3), Volume 108 (2014) no. 1, pp. 73-102 | DOI | MR | Zbl

[26] Thom, A. Examples of hyperlinear groups without factorization property, Groups Geom. Dyn., Volume 4 (2010) no. 1, pp. 195-208 | DOI | MR | Zbl

[27] Thom, A. About the metric approximation of Higman’s group, J. Group Theory, Volume 15 (2012) no. 2, pp. 301-310 | MR | Zbl

[28] Thom, A.; Wilson, J. S. Metric ultraproducts of finite simple groups, Comptes Rendus Mathématique, Volume 352 (2014) no. 6, pp. 463-466 | DOI | MR | Zbl

[29] Thom, A.; Wilson, J. S. Some geometric properties of metric ultraproducts of finite simple groups (2016) (arXiv:1606.03863)

[30] Turing, A. M. Finite approximations to Lie groups, Ann. of Math. (1938), pp. 105-111 | DOI | MR | Zbl

[31] Wilson, J. S. Profinite groups, London Mathematical Society Monographs, 19, The Clarendon Press, Oxford University Press, New York, 1998 | MR | Zbl

[32] Zilber, B. Perfect infinities and finite approximation, Infinity and truth (Lect. Notes Series Inst. Math. Sci. Natl. Univ. Singapore), Volume 25, World Sci. Publ., Hackensack, NJ, 2014, pp. 199-223 | DOI | MR | Zbl