Abstract
Motivated by a question of Ghys, we study obstructions to extending group actions on the boundary \(\partial M\) of a 3-manifold to a \(C^0\)-action on M. Among other results, we show that for a 3-manifold M, the \(S^1 \times S^1\) action on the boundary does not extend to a \(C^0\)-action of \(S^1 \times S^1\) via homeomorphisms that are isotopic to the identity as a discrete group on M, except in the trivial case \(M \cong D^2 \times S^1\).
Similar content being viewed by others
Notes
For a topological group G acting on a topological space X, the homotopy quotient is denoted by \(X/\!\!/G\) and is given by \(X\times _G \mathrm {E}G\) where \(\mathrm {E}G\) is a contractible space on which G acts freely and properly discontinuously.
References
Bonahon, F.: Cobordism of automorphisms of surfaces. Ann. Sci. École Norm. Sup. (4) 16(2), 237–270 (1983)
Bowden, J.: The homology of surface diffeomorphism groups and a question of Morita. Proc. Am. Math. Soc. 140(7), 2543–2549 (2012)
Browder, William.: Surgery and the theory of differentiable transformation groups. In: Proc. Conf. on Transformation Groups (New Orleans, La., 1967), pp. 1–46. Springer, New York (1968)
de Sá, E.C., Rourke, C.: The homotopy type of homeomorphisms of \(3\)-manifolds. Bull. Am. Math. Soc. (N.S.) 1(1), 251–254 (1979)
Cerf, J.: Topologie de certains espaces de plongements. Bulletin de la Société Mathématique de France 89, 227–380 (1961)
Constantin, A., Kolev, B.: The theorem of Kerékjártó on periodic homeomorphisms of the disc and the sphere. Enseign. Math. (2) 40(3–4), 193–204 (1994)
Chen, L., Mann, K.: Structure theorems for actions of homeomorphism groups. arXiv:1902.05117, (2019)
Dunwoody, M.J.: An equivariant sphere theorem. Bull. Lond. Math. Soc. 17(5), 437–448 (1985)
Earle, C.J., Eells, J.: A fibre bundle description of teichmüller theory. J. Differ. Geom. 3(1–2), 19–43 (1969)
Earle, C.J., Eells, J.: A fibre bundle description of Teichmüller theory. J. Differ. Geom. 3, 19–43 (1969)
Edmonds, A.L., Ewing, J.H.: Remarks on the cobordism group of surface diffeomorphisms. Math. Ann. 259(4), 497–504 (1982)
Ebert, J., Randal-Williams, O.: Semisimplicial spaces. Algebr. Geom. Topol. 19(4), 2099–2150 (2019)
Gabai, D.: The Smale conjecture for hyperbolic 3-manifolds: \(\text{ Isom } (M^3)\simeq \text{ Diff }(M^3)\). J. Differ. Geom. 58(1), 113–149 (2001)
Ghys, E.: Prolongements des difféomorphismes de la sphère. Enseign. Math. (2) 37(1–2), 45–59 (1991)
Galatius, S., Randal-Williams, O.: Stable moduli spaces of high-dimensional manifolds. Acta Math. 212(2), 257–377 (2014). https://doi.org/10.1007/s11511-014-0112-7
Galatius, S., Randal-Williams, O.: Homological stability for moduli spaces of high dimensional manifolds. I. J. Am. Math. Soc. 31(1), 215–264 (2018). https://doi.org/10.1090/jams/884
Hatcher, A.: Spaces of incompressible surfaces. Available at http://pi.math.cornell.edu/~hatcher/Papers/emb.pdf. arXiv:math/9906074
Hatcher, A.: Homeomorphisms of sufficiently large \(P^{2}\)-irreducible \(3\)-manifolds. Topology 15(4), 343–347 (1976)
Hatcher, A.E.: A proof of the Smale conjecture, \(\text{ Diff }(S^3)\simeq O(4)\). Anna. Math. (2) 117(3), 553–607 (1983). https://doi.org/10.2307/2007035
Hendriks, H., Laudenbach, F.: Difféomorphismes des sommes connexes en dimension trois. Topology 23(4), 423–443 (1984)
Hendriks, H., McCullough, D.: On the diffeomorphism group of a reducible \(3\)-manifold. Topol. Appl. 26(1), 25–31 (1987)
Hatcher, A., McCullough, D.l.: Finite presentation of \(3\)-manifold mapping class groups. In: Groups of self-equivalences and related topics (Montreal, PQ, 1988), volume 1425 of Lecture Notes in Math., pages 48–57. Springer, Berlin, (1990)
Hurtado, S.: Continuity of discrete homomorphisms of diffeomorphism groups. Geom. Topol. 19(4), 2117–2154 (2015)
Hatcher, A., Vogtmann, K.: Tethers and homology stability for surfaces. Algebr. Geom. Topol. 17(3), 1871–1916 (2017)
Hatcher, A., Wahl, N.: Stabilization for mapping class groups of 3-manifolds. Duke Math. J. 155(2), 205–269 (2010)
Kreck, M.: Bordism of diffeomorphisms and related topics volume 1069 of Lecture Notes in Mathematics. Springer, Berlin (1984). (With an appendix by Neal W. Stoltzfus (1984))
Mann, K.: Diffeomorphism groups of balls and spheres. N. Y. J. Math. 19, 583–596 (2013)
Mann, K.: Automatic continuity for homeomorphism groups and applications. Geom. Topol. 20(5), 3033–3056 (2016). (With an appendix by Frédéric Le Roux and Mann (2016))
McCullough, D.: Mappings of reducible \(3\)-manifolds. In Geometric and algebraic topology, volume 18 of Banach Center Publ., pages 61–76. PWN, Warsaw, (1986)
Melvin, P.: Bordism of diffeomorphisms. Topology 18(2), 173–175 (1979)
Milnor, J.W.: On the existence of a connection with curvature zero. Comment. Math. Helv. 32, 215–223 (1958)
Morita, S.: Geometry of characteristic classes, volume 199 of Translations of Mathematical Monographs. In: American Mathematical Society, Providence, RI, 2001. Translated from the 1999 Japanese original, Iwanami Series in Modern Mathematics
Mann, K., Tshishiku, B.: Realization problems for diffeomorphism groups. 2018. Preprint . arXiv:1802.00490 [math.GT]
Nariman, S.: Homological stability and stable moduli of flat manifold bundles. Adv. Math. 320, 1227–1268 (2017)
Nariman, Sam: Stable homology of surface diffeomorphism groups made discrete. Geom. Topol. 21(5), 3047–3092 (2017)
Palais, R.S.: Local triviality of the restriction map for embeddings. Comment. Math. Helv. 34, 305–312 (1960)
Papakyriakopoulos, C.D.: On Dehn’s lemma and the asphericity of knots. Ann. Math. 2(66), 1–26 (1957)
Parkhe, Kiran: Smooth gluing of group actions and applications. Proc. Am. Math. Soc. 143(1), 203–212 (2015)
Putman, A.: The action on homology of finite groups of automorphisms of surfaces and graphs. https://www3.nd.edu/~andyp/notes/FiniteOrderHomology.pdf
Randal-Williams, O.: Resolutions of moduli spaces and homological stability. J. Eur. Math. Soc. 18, 1–81 (2016)
Segal, G.: Classifying spaces and spectral sequences. Publications Mathématiques de l’IHÉS 34(1), 105–112 (1968)
Smale, S.: Diffeomorphisms of the \(2\)-sphere. Proc. Am. Math. Soc. 10, 621–626 (1959)
Thurston, W.: Foliations and groups of diffeomorphisms. Bull. Am. Math. Soc. 80(2), 304–307 (1974)
Waldhausen, F.: Gruppen mit Zentrum und \(3\)-dimensionale Mannigfaltigkeiten. Topology 6, 505–517 (1967)
Wasserman, A.: Cobordism of group actions. Bull. Am. Math. Soc. 72, 866–869 (1966)
Acknowledgements
SN was partially supported by NSF Grant DMS-1810644 and he would like to thank the Isaac Newton Institute for Mathematical sciences for support and hospitality during the program “homotopy harnessing higher structures”. He thanks Oscar Randal-Williams and Søren Galatius for helpful discussions. KM was partially supported by NSF Grant DMS-1606254. We also thank Sander Kupers for his comments on the early draft of this paper, and the referee for many helpful remarks.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Thomas Schick.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Mann, K., Nariman, S. Dynamical and cohomological obstructions to extending group actions. Math. Ann. 377, 1313–1338 (2020). https://doi.org/10.1007/s00208-020-01989-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-020-01989-4