Abstract
A topological fibered space is a Birman–Hilden space whenever in each isotopic pair of its fiber-preserving (taking each fiber to a fiber) self-homeomorphisms the homeomorphisms are also fiber-isotopic (isotopic through fiber-preserving homeomorphisms). We present a series of sufficient conditions for a fiber bundle over the circle to be a Birman–Hilden space.
Notes
As usual, we sometimes call the total space of a bundle just a bundle for brevity.
Indeed, the definition of the direct product topology implies that a locally trivial bundle is an open mapping. This implies that the self-bijection on the base induced by a fiber-preserving self-homeomorphism of the total space of a locally trivial bundle carries open sets into open sets, i.e., it is a self-homeomorphism.
For the definition of a special isotopy, see Section 2.
Since we assume that \( G(X) \) is a normal subgroup of \( Homeo(X) \), the subgroup \( G(X^{\prime}) \) and accordingly the containment of \( g\in Homeo(X^{\prime}) \) in \( G(X^{\prime}) \) are well-defined regardless of the choice of a homeomorphism between \( X^{\prime} \) and \( X \).
A space is Lindelöf or finally-compact whenever each open cover has an at most countable subcover.
References
Birman J.S. and Hilden H.M., “On the mapping class groups of closed surfaces as covering spaces,” in: Advances in the Theory of Riemann Surfaces, Princeton University Press, Princeton (1971), 81–115 (Ann. Math. Stud.; vol. 66).
Birman J.S. and Hilden H.M., “Isotopies of homeomorphisms of Riemann surfaces and a theorem about Artin’s braid group,” Bull. Amer. Math. Soc., vol. 78, no. 6, 1002–1004 (1972).
Birman J.S. and Hilden H.M., “Lifting and projecting homeomorphisms,” Arch. Math. (Basel), vol. 23, 428–434 (1972).
Birman J.S. and Hilden H.M., “On isotopies of homeomorphisms of Riemann surfaces,” Ann. Math. (2), vol. 97, 424–439 (1973).
Birman J.S. and Hilden H.M., “Erratum to ‘Isotopies of homeomorphisms of Riemann surfaces’,” Ann. Math. (2), vol. 185, 345 (2017).
Zieschang H., “On the homeotopy group of surfaces,” Math. Ann., vol. 206, 1–21 (1973).
Maclachlan C. and Harvey W.J., “On mapping-class groups and Teichmüller spaces,” Proc. Lond. Math. Soc., vol. 30, 496–512 (1975).
Berstein I. and Edmonds A.L., “On the construction of branched coverings of low-dimensional manifolds,” Trans. Amer. Math. Soc., vol. 247, 87–124 (1979).
Fuller T., “On fiber-preserving isotopies of surface homeomorphisms,” Proc. Amer. Math. Soc., vol. 129, no. 4, 1247–1254 (2001).
Aramayona J., Leininger C.J., and Souto J., “Injections of mapping class groups,” Geom. Topol., vol. 13, no. 5, 2523–2541 (2009).
Winarski R.R., “Symmetry, isotopy, and irregular covers,” Geom. Dedicata, vol. 177, 213–227 (2015).
Ghaswala T. and Winarski R.R., “Lifting homeomorphisms and cyclic branched covers of spheres,” Michigan Math. J., vol. 66, no. 4, 885–890 (2017).
Atalan F. and Medetogullari E., “The Birman–Hilden property of covering spaces of nonorientable surfaces,” Ukrainian Math. J., vol. 72, no. 3, 348–357 (2020).
Margalit D. and Winarski R.R., “Braids groups and mapping class groups: The Birman–Hilden theory,” Bull. Lond. Math. Soc., vol. 53, no. 3, 643–659 (2021).
Kolbe B., Evans M.E., “Isotopic tiling theory for hyperbolic surfaces,” Geom. Dedicata, vol. 212, 177–204 (2021).
Dey S., Dhanwani N.K., Patil H., and Rajeevsarathy K., Generating the Liftable Mapping Class Groups of Regular Cyclic Covers. arXiv:2111.01626v1 (2021).
Vogt E., “Projecting isotopies of sufficiently large \( P^{2} \)-irreducible \( 3 \)-manifolds,” Arch. Math. (Basel), vol. 29, no. 6, 635–642 (1977).
Ohshika K., “Finite subgroups of mapping class groups of geometric \( 3 \)-manifolds,” J. Math. Soc. Japan, vol. 39, no. 3, 447–454 (1987).
Steenrod N.E., The Topology of Fibre Bundles, Princeton University, Princeton (1951) (Princeton Math. Ser.; vol. 14).
Artin E., “Theorie der Zöpfe,” Abh. Math. Sem. Univ. Hamburg, vol. 4, 47–72 (1925).
Morton H.R., “Infinitely many fibred knots having the same Alexander polynomial,” Topology, vol. 17, no. 1, 101–104 (1978).
Burde G. and Zieschang H., Knots, De Gruyter, Berlin (1985) (De Gruyter Stud. Math.; vol. 5).
Kassel C. and Turaev V., Braid Groups. 3rd ed., Springer, New York (2008) (Grad. Texts Math.; vol. 247).
Husemoller D., Fibre Bundles. 3rd ed., Springer, New York (1994) (Grad. Texts Math.; vol. 20).
Edwards R.D. and Kirby R., “Deformations of spaces of imbeddings,” Ann. Math. (2), vol. 93, 63–88 (1971).
Epstein D.B.A., “Curves on 2-manifolds and isotopies,” Acta Math., vol. 115, 83–107 (1966).
Chernavskii A.V., “Local contractibility of the group of homeomorphisms of a manifold,” Math. USSR Sb., vol. 8, no. 3, 287–333 (1969).
Brown M., “Locally flat imbeddings of topological manifolds,” Ann. Math. (2), vol. 75, 331–341 (1962).
Schechter E., Handbook of Analysis and Its Foundations, Academic, San Diego (1997).
Hatcher A., Algebraic Topology, Cambridge University, Cambridge (2002).
Acknowledgments
The author is grateful to Yu.S. Belousov, I.A. Dynnikov, S.S. Podkorytov, and E.A. Fominykh for useful discussions. The author is also grateful to the referee for valuable comments.
Funding
The study was supported by the Russian Science Foundation grant no. 22–11–00299, https://rscf.ru/en/project/22-11-00299/.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
As author of this work, I declare that I have no conflicts of interest.
Additional information
Translated from Sibirskii Matematicheskii Zhurnal, 2024, Vol. 65, No. 1, pp. 125–139. https://doi.org/10.33048/smzh.2024.65.111
Publisher's Note
Pleiades Publishing remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Malyutin, A.V. Birman–Hilden Bundles. I. Sib Math J 65, 106–117 (2024). https://doi.org/10.1134/S0037446624010117
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446624010117
Keywords
- fiber bundle
- fibering
- fiber-preserving
- fiberwise
- locally trivial bundle
- fiber-preserving self-homeomorphism
- mapping class group
- isotopy
- homotopy
- homotopy equivalence
- manifold