Abstract
This paper is a journal counterpart to [5], in which we initiate the study of property testing problems concerning a finite system of relations E between permutations, generalizing the study of stability in permutations. To every such system E, a group Γ = ΓE is associated and the testability of E depends only on Γ (just like in Galois theory, where the solvability of a polynomial is determined by the solvability of the associated group). This leads to the notion of testable groups, and, more generally, Benjamini–Schramm rigid groups. The paper presents an ensemble of tools to check if a given group Γ is testable/BS-rigid or not.
Article PDF
Avoid common mistakes on your manuscript.
References
D. Aldous and R. Lyons, Processes on unimodular random networks, Electronic Journal of Probability 12 (2007), 1454–1508.
G. Arzhantseva and P.-A. Cherix, Quantifying metric approximations of discrete groups, https://arxiv.org/abs/2008.12954.
G. Arzhantseva and L. Păunescu, Almost commuting permutations are near commuting permutations, Journal of Functional Analysis 269 (2015), 745–757.
O. Becker and A. Lubotzky, Group stability and Property (T), Journal of Functional Analysis 278 (2020), Article no. 108298.
O. Becker, A. Lubotzky and J. Mosheiff, Testability of relations between permutations, in 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS 21), IEEE Computer Society, Los Alamitos, CA, 2022, pp. 286–297.
O. Becker, A. Lubotzky and A. Thom, Stability and invariant random subgroups, Duke Mathematical Journal 168 (2019), 2207–2234.
O. Becker and J. Mosheiff, Abelian groups are polynomially stable, International Mathematics Research Notices 2021 (2021), 15574–15632.
L. Bowen and P. Burton, Flexible stability and nonsoficity, Transactions of the American Mathematical Society 373 (2020), 4469–4481.
A. Connes, J. Feldman and B. Weiss, An amenable equivalence relation is generated by a single transformation, Ergodic Theory and Dynamical Systems 1 (1981), 431–450.
M. De Chiffre, L. Glebsky, A. Lubotzky and A. Thom, Stability, cohomology vanishing, and nonapproximable groups, Forum of Mathematics. Sigma 8 (2020), Article no. e18.
M. De Chiffre, N. Ozawa and A. Thom, Operator algebraic approach to inverse and stability theorems for amenable groups, Mathematika 65 (2019), 98–118.
G. Elek, Finite graphs and amenability, Journal of Functional Analysis 263 (2012), 2593–2614.
L. Glebsky and L. M. Rivera, Almost solutions of equations in permutations, Taiwanese Journal of Mathematics 13 (2009), 493–500.
O. Goldreich, Introduction to Property Testing, Cambridge University Press, Cambridge, 2017.
W. T. Gowers and O. Hatami, Inverse and stability theorems for approximate representations of finite groups, Matematicheskiĭ Sbornik 208 (2017), 70–106.
A. Ioana, Stability for product groups and property (τ), Journal of Functional Analysis 279 (2020), Article no. 108729.
D. Johnson, The structure of the Torelli group. I. A finite set of generators for \({\cal I}\), Annals of Mathematics 118 (1983), 423–442.
N. Lazarovich and A. Levit, Virtually free groups are stable in permutations, https://arxiv.org/abs/2103.05583.
N. Lazarovich, A. Levit and Y. Minsky, Surface groups are flexibly stable, https://arxiv.org/abs/1901.07182.
A. Levit and A. Lubotzky, Infinitely presented stable groups and invariant random subgroups of metabelian groups, Ergodic Theory and Dynamical Systems 42 (2022), 2028–2063.
A. Levit and A. Lubotzky, Uncountably many permutation stable groups, Israel Journal of Mathematics 251 (2022), 657–678.
G. Levitt, On the automorphism group of generalized Baumslag–Solitar groups, Geometry & Topology 11 (2007), 473–515.
A. Lubotzky, Discrete Groups, Expanding Graphs and Invariant Measures, Progress in Mathematics, Vol. 125, Birkhäuser, Basel, 1994.
W. Magnus, Über n-dimensionale Gittertransformationen, Acta Mathematica 64 (1935), 353–367.
M. A. García Morales and L. Glebsky, Property of defect diminishing and stability, International Electronic Journal of Algebra 31 (2022), 49–54.
I. Newman and C. Sohler, Every property of hyperfinite graphs is testable, SIAM Journal on Computing 42 (2013), 1095–1112.
D. S. Ornstein and B. Weiss, Ergodic theory of amenable group actions. I. The Rohlin lemma, Bulletin of the American Mathematical Society 2 (1980), 161–164.
A. Thom, Finitary approximations of groups and their applications, in Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. III. Invited Lectures, World Scientific, Hackensack, NJ, 2018, pp. 1779–1799.
T. Zheng, On rigid stabilizers and invariant random subgroups of groups of homeomorphisms, https://arxiv.org/abs/1901.04428.
Acknowledgements
O.B. has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 803711). A.L. is supported by a grant from the Institute for Advanced Study and by the European Research Council (ERC) under the European Union Horizon 2020 research and innovation program (Grant No. 692854). J.M. is partially supported by NSF grant CCF-1814603.
Author information
Authors and Affiliations
Corresponding author
Additional information
To Nati Linial with admiration and affection
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution and reproduction in any medium, provided the appropriate credit is given to the original authors and the source, and a link is provided to the Creative Commons license, indicating if changes were made.
This article is published open access at link.springer.com.
About this article
Cite this article
Becker, O., Lubotzky, A. & Mosheiff, J. Testability in group theory. Isr. J. Math. 256, 61–90 (2023). https://doi.org/10.1007/s11856-023-2503-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-023-2503-y