Пространства Зееферта и их геометризация

Topological space
A Seifert fiber space is a 3 manifold together with a decomposition as a disjoint union of circles. In other words, it is a bundle (circle bundle) over a 2 dimensional orbifold. Many 3 manifolds are Seifert fiber spaces, and they account for all compact oriented manifolds in 6 of the 8 Thurston geometries of the geometrization conjecture.

A Seifert manifold is a closed 3 manifold together with a decomposition into a disjoint union of circles (called fibers) such that each fiber has a tubular neighborhood that forms a standard fibered torus. A standard fibered torus corresponding to a pair of coprime integers with is the surface bundle of the automorphism of a disk given by rotation by an angle of (with the natural fibering by circles). If the middle fiber is called ordinary, while if the middle fiber is called exceptional. A compact Seifert fiber space has only a finite number of exceptional fibers. The set of fibers forms a 2 dimensional orbifold, denoted by B and called the base —also called the orbit surface— of the fibration. It has an underlying 2 dimensional surface , but may have some special orbifold points corresponding to the exceptional fibers. The definition of Seifert fibration can be generalized in several ways. The Seifert manifold is often allowed to have a boundary (also fibered by circles, so it is a union of tori). When studying non orientable manifolds, it is sometimes useful to allow fibers to have neighborhoods that look like the surface bundle of a reflection (rather than a rotation) of a disk, so that some fibers have neighborhoods looking like fibered Klein bottles, in which case there may be one parameter families of exceptional curves. In both of these cases, the base B of the fibration usually has a non empty boundary.

This is the general case. All such Seifert fibrations are determined up to isomorphism by their fundamental group. The total spaces are aspherical (in other words all higher homotopy groups vanish). They have Thurston geometries of type the universal cover of SL2(R), unless some finite cover splits as a product, in which case they have Thurston geometries of type H2×R. This happens if the manifold is non orientable or b + Σbi/ai= 0.