Homotopy invariance of higher signatures and $3$-manifold groups

[Invariance homotopique des signatures supérieures et groupes fondamentaux des variétés de dimension $3$]

Matthey, Michel ; Oyono-Oyono, Hervé ; Pitsch, Wolfgang

Bulletin de la Société Mathématique de France, Tome 136 (2008), p. 1-25 / Harvested from Numdam

Résumé

Nous démontrons que pour des variétés fermées et orientées les signatures qui proviennent des groupes fondamentaux d’une large classe de variétés orientables de dimension $3$ sont des invariants homotopiques. Cette classe, que nous décrivons soigneusement, contient en particulier les variétés géométriques par morceaux au sens de Thurston. Si la conjecture de géométrisation de Thurston s’avère vraie cette classe coïncide alors avec celle des groupes fondamentaux de variétés de dimension $3$ orientables. Plus précisément nous démontrons que tous les groupes dans cette classe satisfont la conjecture de Baum-Connes avec coefficients. Nous discutons également le cas non-orientable.

Abstract

For closed oriented manifolds, we establish oriented homotopy invariance of higher signatures that come from the fundamental group of a large class of orientable $3$-manifolds, including the “piecewise geometric” ones in the sense of Thurston. In particular, this class, that will be carefully described, is the class of all orientable $3$-manifolds if the Thurston Geometrization Conjecture is true. In fact, for this type of groups, we show that the Baum-Connes Conjecture With Coefficients holds. The non-oriented case is also discussed.

Détail

Publié le : 2008-01-01

MR 2415334 | Zbl 1179.19004 | 1 citation dans Numdam

DOI : https://doi.org/10.24033/bsmf.2547
Classification:  19K35,  57R20,  57M50,  46L80
Mots clés: conjecture de Baum-Connes, décomposition JSJ, conjecture de géométrisation de Thurston

Bibliographie

[1] C. Anantharaman-Delaroche - « Amenability and exactness for dynamical systems and their $C^\ast $-algebras », Trans. Amer. Math. Soc. 354 (2002), p. 4153-4178. | MR 1926869 | Zbl 1035.46039

[2] M. T. Anderson - « Scalar curvature and geometrization conjectures for $3$-manifolds », Math. Sci. Res. Inst. Publ. 30 (1997), p. 49-82. | MR 1452867 | Zbl 0890.57026

[3] M. F. Atiyah - Elliptic operators, discrete groups and von Neumann algebras, Astérisque, vol. 32-33, Soc. Math. France, 1976. | MR 420729 | Zbl 0323.58015

[4] M. F. Atiyah & I. M. Singer - « The index of elliptic operators. I », Ann. of Math. (2) 87 (1968), p. 484-530. | MR 236950 | Zbl 0164.24001

[5] P. Baum & A. Connes - « Geometric $K$-theory for Lie groups and foliations », Enseign. Math. (2) 46 (2000), p. 3-42. | MR 1769535 | Zbl 0985.46042

[6] P. Baum, A. Connes & N. Higson - « Classifying space for proper actions and $K$-theory of group $C^\ast $-algebras », Contemp. Math. 167 (1994), p. 240-291. | MR 1292018 | Zbl 0830.46061

[7] P. Baum, S. Millington & R. Plymen - « Local-global principle for the Baum-Connes conjecture with coefficients », $K$-Theory 28 (2003), p. 1-18. | MR 1988816 | Zbl 1034.46073

[8] C. Béguin, H. Bettaieb & A. Valette - « $K$-theory for $C^\ast $-algebras of one-relator groups », $K$-Theory 16 (1999), p. 277-298. | MR 1681180 | Zbl 0932.46063

[9] M. E. B. Bekka, P.-A. Cherix & A. Valette - « Proper affine isometric actions of amenable groups », in Novikov conjectures, index theorems and rigidity, Vol. 2 (Oberwolfach, 1993), London Math. Soc. Lecture Note Ser., vol. 227, Cambridge Univ. Press, 1995, p. 1-4. | MR 1388307 | Zbl 0959.43001

[10] F. Bonahon - « Geometric structures on $3$-manifolds », in Handbook of geometric topology (R. Daverman et al., éds.), Elsevier, 2002, p. 93-164. | MR 1886669 | Zbl 0997.57032

[11] P.-A. Chérix, M. Cowling, P. Jolissaint, P. Julg & A. Valette - Groups with the Haagerup property, Gromov's a-T-menability, Progress in Math., vol. 197, Birhäuser, 2001. | MR 1852148 | Zbl 1030.43002

[12] J. Cuntz - « $K$-theoretic amenability for discrete groups », J. reine angew. Math. 344 (1983), p. 180-195. | MR 716254 | Zbl 0511.46066

[13] M. Dehn - « Über die Topologie des dreidimensionalen Raumes », Math. Ann. 69 (1910), p. 137-168. | JFM 41.0543.01 | MR 1511580

[14] A. Dold - « Lectures on algebraic topology », in Classics in Mathematics, Springer, 1972, Die Grundlehren der mathematischen Wissenschaften, Band 200, p. 377. | MR 415602 | Zbl 0434.55001

[15] K. J. Dykema - « Exactness of reduced amalgamated free product $C^*$-algebras », Forum Math. 16 (2004), p. 161-180. | MR 2039095 | Zbl 1050.46040

[16] D. B. A. Epstein - « Periodic flows on $3$-manifolds », Ann. of Math. 95 (1972), p. 66-82. | MR 288785 | Zbl 0231.58009

[17] K. Fujiwara - « 3-manifold groups and property $T$ of Kazhdan », Proc. Japan Acad. Ser. A Math. Sci. 75 (1999), p. 103-104. | MR 1729853 | Zbl 0957.57004

[18] M. Gromov - « Geometric reflections on the Novikov conjecture », in Novikov conjectures, index theorems and rigidity, Vol. 1 (Oberwolfach, 1993), London Math. Soc. Lecture Note Ser., vol. 226, Cambridge Univ. Press, 1995, p. 164-173. | MR 1388301 | Zbl 0966.53028

[19] J. Hempel - $3$-Manifolds, Annals of Math Studies, vol. 86, Princeton University Press, 1976, Ann. of Math. Studies, No. 86. | MR 415619 | Zbl 0345.57001

[20] N. Higson - « Bivariant $K$-theory and the Novikov conjecture », Geom. Funct. Anal. 10 (2000), p. 563-581. | MR 1779613 | Zbl 0962.46052

[21] N. Higson & G. Kasparov - « Operator $K$-theory for groups which act properly and isometrically on Hilbert space », Electron. Res. Announc. Amer. Math. Soc. 3 (1997), p. 131-142. | MR 1487204 | Zbl 0888.46046

[22] -, « $E$-theory and $KK$-theory for groups which act properly and isometrically on Hilbert space », Invent. Math. 144 (2001), p. 23-74. | MR 1821144 | Zbl 0988.19003

[23] F. Hirzebruch - Topological methods in algebraic geometry, Classics in Mathematics, Springer, 1995. | MR 1335917 | Zbl 0843.14009

[24] W. H. Jaco - « Finitely presented subgroups of three-manifold groups », Invent. Math. 13 (1971), p. 335-346. | MR 300279 | Zbl 0232.57003

[25] W. H. Jaco & P. B. Shalen - Seifert fibered spaces in $3$-manifolds, Mem. Amer. Math. Soc., vol. 21, 1979. | MR 539411 | Zbl 0415.57005

[26] M. Jankins & W. D. Neumann - « Lectures on Seifert manifolds », in Brandeis Lecture Notes, Brandeis Lecture Notes, vol. 2, Brandeis University, 1983. | MR 741334

[27] K. Johannson - « Homotopy equivalence of $3$-manifolds with boundaries », in Springer Lecture Notes in Math., vol. 761, 1979. | MR 551744 | Zbl 0412.57007

[28] F. E. A. Johnson & J. P. Walton - « Parallelizable manifolds and the fundamental group », Mathematika 47 (2000), p. 165-172 (2002). | MR 1924495 | Zbl 1016.57004

[29] P. Julg - « $K$-théorie équivariante et produits croisés », C. R. Acad. Sci. Paris Sér. I Math. 292 (1981), p. 629-632. | MR 625361 | Zbl 0461.46044

[30] P. Julg & G. Kasparov - « Operator $K$-theory for the group ${\rm SU}(n,1)$ », J. reine angew. Math. 463 (1995), p. 99-152. | MR 1332908 | Zbl 0819.19004

[31] M. Kapovich - Hyperbolic manifolds and discrete groups, Progress in Mathematics, vol. 183, Birkhäuser, 2001. | MR 1792613 | Zbl 0958.57001

[32] G. Kasparov - « Lorentz groups: $K$-theory of unitary representations and crossed products », Dokl. Akad. Nauk SSSR 275 (1984), p. 541-545. | MR 741223 | Zbl 0584.22004

[33] -, « Equivariant $KK$-theory and the Novikov conjecture », Invent. Math. 91 (1988), p. 147-201. | MR 918241 | Zbl 0647.46053

[34] E. Kirchberg & S. Wassermann - « Permanence properties of $C^*$-exact groups », Doc. Math. 4 (1999), p. 513-558. | MR 1725812 | Zbl 0958.46036

[35] H. Kneser - « Geschlossene Flächen in dreidimensionalen Mannigfaltigkeiten », Jahresbericht der Deut. Math. Verein. 38 (1929), p. 248-260. | JFM 55.0311.03

[36] V. Lafforgue - « $K$-théorie bivariante pour les algèbres de Banach et conjecture de Baum-Connes », Invent. Math. 149 (2002), p. 1-95. | MR 1914617 | Zbl 1084.19003

[37] H. B. Lawson, Jr. & M.-L. Michelsohn - Spin geometry, Princeton Mathematical Series, vol. 38, Princeton University Press, 1989. | MR 1031992 | Zbl 0688.57001

[38] A. Markov - « The insolubility of the problem of homeomorphy », Dokl. Akad. Nauk SSSR 121 (1958), p. 218-220. | MR 97793 | Zbl 0092.00702

[39] V. Mathai - « The Novikov conjecture for low degree cohomology classes », Geom. Dedicata 99 (2003), p. 1-15. | MR 1998926 | Zbl 1029.19006

[40] J. W. Milnor - « A unique factorization theorem for $3$-manifolds », Amer. J. Math. 84 (1962), p. 1-7. | MR 142125 | Zbl 0108.36501

[41] G. Mislin & A. Valette - « Proper group actions and the Baum-Connes conjecture », in Advanced Course in Mathematics, CRM Barcelona, Advanced Courses in Mathematics. CRM Barcelona, Birkhäuser, 2003. | MR 2027168 | Zbl 1028.46001

[42] A. S. Miščenko - « Infinite-dimensional representations of discrete groups, and higher signatures $($Russian$)$ », Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974), p. 81-106. | MR 362407 | Zbl 0299.57010

[43] H. Oyono-Oyono - « La conjecture de Baum-Connes pour les groupes agissant sur les arbres », C. R. Acad. Sci. Paris Sér. I Math. 326 (1998), p. 799-804. | MR 1648575 | Zbl 0918.46062

[44] -, « Baum-Connes conjecture and extensions », J. reine angew. Math. 532 (2001), p. 133-149. | MR 1817505 | Zbl 0973.46064

[45] -, « Baum-Connes conjecture and group actions on trees », $K$-Theory 24 (2001), p. 115-134. | MR 1869625 | Zbl 1008.19001

[46] N. Ozawa - « Amenable actions and exactness for discrete groups », C. R. Acad. Sci. Paris Sér. I Math. 330 (2000), p. 691-695. | MR 1763912 | Zbl 0953.43001

[47] M. Puschnigg - « The Kadison-Kaplansky conjecture for word-hyperbolic groups », Invent. Math. 149 (2002), p. 153-194. | MR 1914620 | Zbl 1019.22002

[48] P. Scott - « The geometries of $3$-manifolds », Bull. London Math. Soc. 15 (1983), p. 401-487. | MR 705527 | Zbl 0561.57001

[49] J-P. Serre - Arbres, amalgames, ${\rm SL}_{2}$, Astérisque, vol. 46, 1983. | Zbl 0369.20013

[50] W. P. Thurston - Three-dimensional geometry and topology. Vol. 1, Princeton Mathematical Series, vol. 35, Princeton University Press, 1997, Edited by Silvio Levy. | MR 1435975 | Zbl 0873.57001

[51] J. L. Tu - « The Baum-Connes conjecture and discrete group actions on trees », $K$-theory 17 (1999), p. 303-318. | MR 1706113 | Zbl 0939.19002

[52] A. Valette - « Introduction to the Baum-Connes conjecture », in Lectures in Mathematics, ETH, Zürich (1999), Birkhäuser, 2002. | MR 1907596 | Zbl 1136.58013