Finite part of operator K–theory for groups finitely embeddable into Hilbert space and the degree of nonrigidity of manifolds

Weinberger, Shmuel¹ ; Yu, Guoliang²

¹ Department of Mathematics, University of Chicago, 5734 S University Avenue, Chicago, IL 60637-1514, USA
² Department of Mathematics, Texas A&M University, College Station, TX 77843-3368, United States, Shanghai Center for Mathematical Sciences, Fudan University, Shanghai, China

Geometry & topology, Tome 19 (2015) no. 5, pp. 2767-2799.

Résumé

In this paper, we study lower bounds on the $K$–theory of the maximal $C^{\ast }$–algebra of a discrete group based on the amount of torsion it contains. We call this the finite part of the operator $K$–theory and give a lower bound that is valid for a large class of groups, called the finitely embeddable groups. The class of finitely embeddable groups includes all residually finite groups, amenable groups, Gromov’s monster groups, virtually torsion-free groups (eg $Out\left(F_n\right)$), and any group of analytic diffeomorphisms of an analytic connected manifold fixing a given point. We apply this result to measure the degree of nonrigidity for any compact oriented manifold $M$ with dimension $4k-1$ $\left(k>1\right)$. In this case, we derive a lower bound on the rank of the structure group $S\left(M\right)$, which is roughly defined to be the abelian group of all pairs $\left(M^{\prime },f\right)$, where $M^{\prime }$ is a compact manifold and $f:M^{\prime }\to M$ is a homotopy equivalence. In many interesting cases, we obtain a lower bound on the reduced structure group $\tilde{S}\left(M\right)$, which measures the size of the collections of compact manifolds homotopic equivalent to but not homeomorphic to $M$ by any homeomorphism at all (not necessary homeomorphism in the homotopy equivalence class). For a compact Riemannian manifold $M$ with dimension greater than or equal to $5$ and positive scalar curvature metric, there is an abelian group $P\left(M\right)$ that measures the size of the space of all positive scalar curvature metrics on $M$. We obtain a lower bound on the rank of the abelian group $P\left(M\right)$ when the compact smooth spin manifold $M$ has dimension $2k-1$ $\left(k>2\right)$ and the fundamental group of $M$ is finitely embeddable.

Détail

DOI : 10.2140/gt.2015.19.2767

Classification : 19K99, 20F99, 58D29
Keywords: geometry of groups, rigidity of manifolds, $K$–theory

Bibliographie

[1] G Arzhantseva, T Delzant, Examples of random groups (2011)

[2] M F Atiyah, Elliptic operators, discrete groups and von Neumann algebras, from: "Colloque “Analyse et Topologie” en l’Honneur de Henri Cartan", Astérisque 32–33, Soc. Math. France (1976) 43

[3] M F Atiyah, R Bott, A Lefschetz fixed point formula for elliptic complexes, II : Applications, Ann. of Math. 88 (1968) 451 | DOI

[4] A Bartels, T Farrell, L Jones, H Reich, On the isomorphism conjecture in algebraic K–theory, Topology 43 (2004) 157 | DOI

[5] P Baum, A Connes, Chern character for discrete groups, from: "A fête of topology" (editors Y Matsumoto, T Mizutani, S Morita), Academic Press (1988) 163 | DOI

[6] G Baumslag, E Dyer, C F Miller Iii, On the integral homology of finitely presented groups, Topology 22 (1983) 27 | DOI

[7] M E B Bekka, P A Cherix, A Valette, Proper affine isometric actions of amenable groups, from: "Novikov conjectures, index theorems and rigidity, Vol. 2" (editors S C Ferry, A Ranicki, J Rosenberg), London Math. Soc. Lecture Note Ser. 227, Cambridge Univ. Press (1995) 1 | DOI

[8] M Bestvina, Geometry of outer space, from: "Geometric group theory" (editors M Bestvina, M Sageev, K Vogtmann), IAS/Park City Math. Ser. 21, Amer. Math. Soc. (2014) 173

[9] S Chang, S Weinberger, On invariants of Hirzebruch and Cheeger–Gromov, Geom. Topol. 7 (2003) 311 | DOI

[10] J Cheeger, M Gromov, On the characteristic numbers of complete manifolds of bounded curvature and finite volume, from: "Differential geometry and complex analysis" (editors I Chavel, H M Farkas), Springer (1985) 115

[11] A Connes, Noncommutative differential geometry, Inst. Hautes Études Sci. Publ. Math. (1985) 257

[12] J F Davis, W Lück, Spaces over a category and assembly maps in isomorphism conjectures in K– and L–theory, –Theory 15 (1998) 201 | DOI

[13] M Gromov, Spaces and questions, Geom. Funct. Anal. special volume, part I (2000) 118

[14] M Gromov, H B Lawson Jr., Positive scalar curvature and the Dirac operator on complete Riemannian manifolds, Inst. Hautes Études Sci. Publ. Math. (1983) 83 | DOI

[15] E Guentner, N Higson, S Weinberger, The Novikov conjecture for linear groups, Publ. Math. Inst. Hautes Études Sci. (2005) 243 | DOI

[16] G Kasparov, G Yu, The Novikov conjecture and geometry of Banach spaces, Geom. Topol. 16 (2012) 1859 | DOI

[17] M Matthey, The Baum–Connes assembly map, delocalization and the Chern character, Adv. Math. 183 (2004) 316 | DOI

[18] R Oliver, Whitehead groups of finite groups, 132, Cambridge Univ. Press (1988) | DOI

[19] P Piazza, T Schick, Groups with torsion, bordism and rho invariants, Pacific J. Math. 232 (2007) 355 | DOI

[20] A Ranicki, Algebraic and geometric surgery, Oxford Univ. Press (2002) | DOI

[21] J Roe, Coarse cohomology and index theory on complete Riemannian manifolds, 497, Amer. Math. Soc. (1993) | DOI

[22] J Rosenberg, Analytic Novikov for topologists, from: "Novikov conjectures, index theorems and rigidity, Vol. 1" (editors S C Ferry, A Ranicki, J Rosenberg), London Math. Soc. Lecture Note Ser. 226, Cambridge Univ. Press (1995) 338 | DOI

[23] J Rosenberg, S Stolz, Metrics of positive scalar curvature and connections with surgery, from: "Surveys on surgery theory, Vol. 2" (editors S C Ferry, A Ranicki, J Rosenberg), Ann. of Math. Stud. 149, Princeton Univ. Press (2001) 353

[24] R Schoen, S T Yau, On the structure of manifolds with positive scalar curvature, Manuscripta Math. 28 (1979) 159 | DOI

[25] Z Sela, Uniform embeddings of hyperbolic groups in Hilbert spaces, Israel J. Math. 80 (1992) 171 | DOI

[26] J P Serre, Linear representations of finite groups, 42, Springer (1977)

[27] G Skandalis, J L Tu, G Yu, The coarse Baum–Connes conjecture and groupoids, Topology 41 (2002) 807 | DOI

[28] J Stallings, Centerless groups — an algebraic formulation of Gottlieb’s theorem, Topology 4 (1965) 129 | DOI

[29] S Stolz, Positive scalar curvature metrics — existence and classification questions, from: "Proceedings of the International Congress of Mathematicians, Vol. 1, 2" (editor S D Chatterji), Birkhäuser (1995) 625

[30] S Stolz, Concordance classes of positive scalar curvature metrics (1998)

[31] R Willett, G Yu, Higher index theory for certain expanders and Gromov monster groups, I, Adv. Math. 229 (2012) 1380 | DOI

[32] Z Xie, G Yu, A relative higher index theorem, diffeomorphisms and positive scalar curvature, Adv. Math. 250 (2014) 35 | DOI

[33] G Yu, The Novikov conjecture for algebraic K–theory of the group algebra over the ring of Schatten class operators,

[34] G Yu, The coarse Baum–Connes conjecture for spaces which admit a uniform embedding into Hilbert space, Invent. Math. 139 (2000) 201 | DOI