Seifert fibered space

Seifert fibered space
Name	Seifert fibered space
Type	3-manifold
Introduced by	Herbert Seifert
Year	1933

Seifert fibered space is a closed or bounded compact 3-manifold admitting a decomposition into disjoint simple closed curves called fibers, each neighborhood of which is modeled on a standard fibered solid torus. Such manifolds occupy a central role in 3-dimensional topology and geometric structures, connecting classical work of Herbert Seifert with later developments by William Thurston, John Hempel, and Edwin E. Moise. Seifert fibered spaces provide key examples and building blocks in the study of Poincaré-type problems, geometrization, and the JSJ decomposition of 3-manifolds.

Definition and basic properties

A Seifert fibered space is classically defined as a compact, connected 3-manifold M together with a projection to a 2-dimensional orbifold B whose fibers are circles; locally M is modeled on a product S^1×D^2 or a fibered solid torus with exceptional fibers. The original formulation by Herbert Seifert framed these manifolds via invariants associated to each exceptional fiber, and later expositions by John Hempel and William Jaco clarified their topological classification. Basic properties include the presence of a canonical S^1-action in many cases, interactions with the fundamental group studied by J. W. Milnor and C. McA. Gordon and constraints on possible boundary components studied by Heegaard splitting theories. Important closed manifolds that are Seifert fibered include certain lens spaces and torus bundles appearing in work by Heinrich Heegaard and J. Milnor.

Classification and invariants

Classification of Seifert fibered spaces uses discrete invariants: orientability of the total space and base orbifold, genus of the base, number and Seifert invariants (integers) for exceptional fibers, and Euler number of the S^1-bundle. The catalogue by Herbert Seifert and refinements by J. Hempel, Peter Scott, and William Thurston enumerate possibilities up to fiber-preserving homeomorphism. Algebraic invariants derived from the action of the fundamental group on the universal cover relate to work of Max Dehn and influence the computation of homology groups used by Henri Poincaré and Emil Artin. Orbifold Euler characteristic and orbifold fundamental group invariants, discussed in expositions by William Thurston and D. Rolfsen, further distinguish Seifert fibered types and determine associated geometric structures studied by Thurston and Scott.

Construction and examples

Standard constructions produce Seifert fibered spaces via circle bundles over closed surfaces and via surgery on links in S^3 as developed by Rolfsen and Lickorish. Classical examples include lens spaces L(p,q) arising in work by Leonhard Euler (historical antecedents) and J. Milnor, torus bundles over S^1 studied by F. Waldhausen and R. H. Fox, and prism manifolds considered by Hantzsche-Wendt. More elaborate examples appear as unit tangent bundles of closed surfaces treated by Henri Poincaré and L. E. J. Brouwer, and as small Seifert fibered spaces central to the study of exceptional surgeries by Culler, Gordon, Luecke, and Shalen.

Seifert fibrations and orbifold base

Every Seifert fibration projects to a 2-dimensional orbifold B with cone points corresponding to exceptional fibers; the classification of such orbifolds was developed by Thurston and formalized in the orbifold framework used by William Thurston and Peter Scott. The structure of B—its orientability, genus, and cone-point orders—controls the topology of the total space via the orbifold fundamental group, linking to the work of William Thurston on geometric structures and to classical investigations by Heinrich Seifert and J. Hempel. Orbifold coverings and branch data connect to theories of Riemann surfaces explored by Bernhard Riemann and branch coverings studied by Alexander Grothendieck in broader categorical contexts.

Relations to 3-manifold topology (JSJ decomposition and geometrization)

Seifert fibered spaces appear as prime pieces in the JSJ decomposition named after William Jaco, Peter Shalen, and Klaus Johannson, which splits irreducible 3-manifolds along embedded incompressible tori into Seifert fibered and atoroidal components. This decomposition interacts with Thurston's geometrization conjecture and the eventual proof by Grigori Perelman, as many geometric types in Thurston's list are Seifert fibered admitting one of the six model geometries classified by William Thurston and earlier studied by Élie Cartan and Heinz Hopf. The interplay between Seifert fibered pieces and hyperbolic pieces has been central in classification results by Gabai, Calegari, and Agol.

Fundamental group and covering spaces

The fundamental group of a Seifert fibered space fits into an extension of the orbifold fundamental group by an infinite cyclic normal subgroup generated by a regular fiber; algebraic descriptions were elaborated by Waldhausen and Scott. Covering space theory for Seifert fibered spaces involves lifting fibrations and analyzing when a cover remains Seifert fibered, connecting to results by M. Kneser and Hempel on residual properties of 3-manifold groups. Special cases such as virtually fibered manifolds link to recent work by Ian Agol, Daniel Wise, and Markovic on virtual properties and cubulation, and to classical group-theoretic considerations by Max Dehn.

Applications and historical context

Seifert fibered spaces have influenced knot theory via Seifert fibered surgeries studied by Culler, Shalen, Boyer, and played roles in the classification of small-volume hyperbolic manifolds by Thurston and Adams. Historically introduced by Herbert Seifert in 1933, they motivated later developments culminating in the geometrization program resolved by Grigori Perelman, and remain a testing ground for interactions among low-dimensional topology, geometric group theory, and algebraic topology driven by contributions from Thurston, Hempel, Scott, Gabai, and Agol.

Category:3-manifolds