×

Hyperlinearity, essentially free actions and \(L^2\)-invariants. The sofic property. (English) Zbl 1070.43002

The notion of sofic group was introduced by Gromov in the year 1999. In this paper the authors give a new characterization of sofic groups and prove the following three major results:
1) All countable sofic groups are hyperlinear, thereby establishing the validity of the Connes embedding conjecture for sofic groups.
2) The determinant conjecture holds for sofic groups.
3) The Atiyah conjecture holds for the limit group of a convergent sequence \((\Gamma_n, S_n)_{n\geq 1}\) of torsion free sofic groups for which the Atiyah conjecture holds.

MSC:

43A07 Means on groups, semigroups, etc.; amenable groups
55N25 Homology with local coefficients, equivariant cohomology

References:

[1] Bedos, E., de la Harpe, P.: Moyennabilité intérieure des groupes: définitions et exemples. Enseign. Math. (2) 32, 139–157 (1986)
[2] Brenner, J.L.: Covering theorems for FINASIGs. VIII. Almost all conjugacy classes in An have exponent 4. J. Austral. Math. Soc. Ser. A. 25, 210–214 (1978) · Zbl 0374.20039
[3] Champetier, C.: L’espace des groupes de type fini. Topology 39, 657–680 (2000) · Zbl 0959.20041 · doi:10.1016/S0040-9383(98)00063-9
[4] Clair, B.: Residual amenability and the approximation of L2-invariants. Michigan Math. J. 46, 331–346 (1999) · Zbl 0967.58017 · doi:10.1307/mmj/1030132414
[5] Deuber, W.A., Simonovits, M., Sós, V.T.: A note on paradoxical metric spaces. Studia Sci. Hung. Math. 30, 17–23 (1995) · Zbl 0857.54030
[6] Elek, G., Szabó, E.: On sofic groups, to appear in the Journal of Group Theory (http://arXiv.org/abs/math/0305352). · Zbl 1153.20040
[7] Elek, G., Szabó, E.: Sofic groups and direct finiteness. Journal of Algebra 280, 426–434 (2004) · Zbl 1078.16021 · doi:10.1016/j.jalgebra.2004.06.023
[8] Gromov, M.: Endomorphisms of symbolic algebraic varieties. J. Eur. Math. Soc. 1, 109–197 (1999) · Zbl 0998.14001 · doi:10.1007/PL00011162
[9] Hall, J.I.: Locally finite simple groups of finitary linear transformations. Finite and locally finite groups NATO Adv. Sci. Inst. Ser. C. Math. Phys 471, 147–188 · Zbl 0843.20021
[10] Kirchberg, E.: On nonsemisplit extensions, tensor products and exactness of group Calgebras. Invent. Math. 112, 449–489 (1993) · Zbl 0803.46071 · doi:10.1007/BF01232444
[11] Lück, W.: Approximating L2-invariants by their finite-dimensional analogues. Geom. Funct. Analysis 4, 455–481 (1994) · Zbl 0853.57021 · doi:10.1007/BF01896404
[12] Lück, W.: L2-invariants: theory and applications to geometry and K-theory. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. 44, Springer, Berlin Heidelberg (2002)
[13] Ozawa, N.: About the QWEP conjecture. International Journal of Math. 15, 501–530 (2004) · Zbl 1056.46051 · doi:10.1142/S0129167X04002417
[14] Paterson, A.L.T.: Amenability. Mathematical Surveys and Monographs 29 American Mathematical Society, Providence (1988)
[15] Radulescu, F.: The von Neumann algebra of the non-residually finite Baumslag group < a,b | a b3 a-1 = b2 > embeds into R{\(\omega\)}, preprint 2002 (http://www.arxiv.org/abs/math.OA/0004172).
[16] Schick, T.: L2-determinant class and approximation of L2-Betti numbers. Trans. Amer. Math. Soc. 353, 3247–3265 (2001) · Zbl 0979.55004 · doi:10.1090/S0002-9947-01-02699-X
[17] Schick, T.: Integrality of L2-Betti numbers. Math. Ann. 317, 727–750 (2000) · Zbl 0967.55007 · doi:10.1007/PL00004421
[18] Vershik, A.M., Gordon, E.I.: Groups that are locally embeddable in the class of finite groups. Algebra i Analiz 9, 71–97 (1997) · Zbl 0898.20016
[19] Weiss, B.: Sofic groups and dynamical systems, (Ergodic theory and harmonic analysis, Mumbai, 1999) Sankhya Ser. A. 62, 350–359 (2000) · Zbl 1148.37302
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.