Birman–Hilden theory

Birman–Hilden theory
Name	Birman–Hilden theory
Field	Topology
Introduced	1970s
Contributors	Joan Birman; Hugh Hilden

Birman–Hilden theory is a body of results relating mapping class groups of surfaces to mapping class groups of their branched or unbranched covering spaces, connecting surface topology, algebraic topology, and complex analysis. The theory provides algebraic descriptions of liftable mapping classes, relations between deck transformation groups and mapping class groups, and structural insights used in the study of moduli spaces, braid groups, and three-manifold constructions. Core consequences include explicit exact sequences, injectivity and surjectivity criteria for lift maps, and applications to monodromy, Lefschetz fibrations, and orbifold mapping class groups.

Introduction

Birman–Hilden theory grew from questions studied by Joan Birman and Hugh Hilden about the interplay between mapping class groups of closed surfaces, coverings, and braid groups, and it intersects work of William Thurston, John Nielsen, and William Magnus. Early motivations came from investigations tied to the Alexander polynomial, Braid group, and classification results of Heegaard splittings, linking to constructions by Hassler Whitney and techniques related to Riemann surface coverings studied by Bernhard Riemann and Friedrich Schottky. The theory interfaces with research programs involving the Teichmüller space and the Moduli space of curves pursued by Lars Ahlfors, Lipman Bers, and Curtis McMullen.

Historical development and key results

The initial papers by Joan Birman and Hugh Hilden in the 1970s produced foundational exact sequences connecting mapping class groups of base surfaces and their covering surfaces, extending ideas present in work of Max Dehn and Jakob Nielsen. Subsequent developments involved contributions from John Birman's collaborators, Andrew Casson, Steven Bleiler, and later expansions by Dan Margalit, Benson Farb, and Chris Leininger. Important milestones include connections to the Birman exact sequence, interactions with Grothendieck's view via the Teichmüller tower advocated by Alexander Grothendieck, and adaptations used by Dennis Johnson and Shigeyuki Morita in studying the Johnson filtration. The theory also informed advances by Nathan Dunfield and William Thurston in three-manifold monodromy and by Paul Seidel in symplectic Lefschetz fibrations.

Mathematical framework and definitions

Birman–Hilden arguments are framed using mapping class groups such as the Mapping class group of a closed oriented surface, braid groups like Artin's braid group, and deck transformation groups arising from finite covering maps between Riemann surfaces or orbifolds like those studied in the context of Fuchsian group actions. Definitions involve liftable mapping classes, the centralizer of a deck transformation in a mapping class group, and orbifold mapping class groups analogous to constructions in Thurston’s orbifold theorem. Technical apparatus employs Nielsen–Thurston classification introduced by Jakob Nielsen and William Thurston, Fenchel–Nielsen coordinates developed by Werner Fenchel and John Nielsen, and the language of isotopy classes used in classical work by Max Dehn.

Birman–Hilden theorem and proofs

The Birman–Hilden theorem gives conditions under which the natural homomorphism from the mapping class group of a base surface to the mapping class group of a covering surface (quotiented by deck transformations) is injective or has a well-understood kernel, with proof strategies invoking lifting criteria, Nielsen fixed-point arguments, and combinatorial group theory techniques used by Magnus and H. S. M. Coxeter. Original proofs by Birman and Hilden leveraged explicit isotopy constructions and branched covering arguments reminiscent of methods by R. H. Fox and Ernst Witt. Later alternative proofs used algebraic geometry perspectives from David Mumford and analytic methods rooted in Ahlfors–Bers theory, while modern expositions by Dan Margalit and Benson Farb streamlined group-theoretic and cohomological viewpoints.

Applications in mapping class groups and Teichmüller theory

Applications include embedding problems for mapping class groups, constructions of pseudo-Anosov elements following paradigms of William Thurston and Arnoux Yoccoz, and relations to the Nielsen realization problem addressed by Mikhael Gromov and Shigeyuki Morita. Birman–Hilden tools have been used to analyze the structure of modular groups appearing in Moduli space of curves studies by Deligne and David Mumford, to compute centralizers as in work by John McCarthy, and to build examples in the theory of Lefschetz fibrations studied by Ronald Fintushel and Ronald Stern. Connections to braid group actions on character varieties appear in research by Carlos Simpson and Raphaël Rouquier.

Examples and notable cases

Classical examples include the hyperelliptic involution on genus g surfaces linked to Hyperelliptic curve moduli studied by Igor Shafarevich and André Weil, the covering of the sphere branched over four points connected to the Modular curve and Elliptic curve theory central to Andrew Wiles and Gerd Faltings, and cyclic covers related to Klein four-group and Dihedral group actions appearing in the work of Felix Klein. Notable cases exploited in literature include liftability results for coverings used by John Hempel in three-manifold group theory and examples in dynamics constructed by Curtis McMullen and Christopher Leininger illustrating exotic mapping class embeddings.

Generalizations and related theories

Generalizations extend Birman–Hilden phenomena to orbifold coverings relevant to Thurston’s orbifold program, to higher-dimensional analogues in symplectic geometry influenced by Paul Seidel and Denis Auroux, and to profinite perspectives interacting with Grothendieck’s anabelian geometry and the Absolute Galois group studied by Jean-Pierre Serre and Alexander Grothendieck. Related theories include the Birman exact sequence, Johnson homomorphisms investigated by Dennis Johnson and Shigeyuki Morita, and categorical structures in Topological quantum field theory explored by Graeme Segal and Edward Witten.

Category:Topology