Seifert fibration

From Encyclopedia of Mathematics
Jump to: navigation, search

A class of fibrations of three-dimensional manifolds by circles; defined by H. Seifert [1]. Every fibre of a Seifert fibration has a neighbourhood in the manifold with standard fibration by circles, arising from the product of a disc and a closed interval, each point being identified with the point , where is the rotation of through the angle ( and are coprime integers, ). The images of the intervals in the resulting solid torus constitute fibres: each fibre, except the central one, consists of intervals if ; the central fibre is said to be singular if . The invariants are usually replaced by the Seifert invariants , where and is defined by the condition

The invariants and admit a geometric interpretation: In the fibration induced on the boundary of , consider a meridian (a curve contractible in but not in ) and a parallel (cutting transversally just once), and also any fibre and a secant (all four curves are simple and closed); then, subject to a suitable orientation,

Moreover .

The first problem concerning Seifert fibrations is to classify them up to fibrewise homeomorphisms. It turns out [1] that if admits a Seifert fibration, then there exists a mapping , where is a two-dimensional manifold, and the fibres are , . There are six types of Seifert fibrations: the types and , in which is orientable and is orientable in the case and non-orientable in the case , with the genus of in this case at least ; and the types , , in which is non-orientable. In the case , transport of a fibre along a path in does not change the orientation of the fibre; in the case there is a system of generators and transport along each of them reverses the orientation; in the case only one of the generators does not reverse orientation; and in the case only two of the generators do not reverse orientation; the genus of is at least for , and at least for . The manifold is orientable only for the type . Each Seifert fibration is associated with a system of invariants

so that, up to fibrewise homeomorphisms, there is exactly one Seifert fibration with a given such system. Here or , is the genus of , are the Seifert invariants for the singular fibres; is the number of singular fibres; in the cases ; and, finally, is an integer if or and a residue in the other cases, with if for at least one fibre. The geometric meaning of is as follows: Choose a section on the boundary of a neighbourhood of each singular fibre, and extend the set of all these sections to a section in the whole complement to the singular fibres. This can be done up to one non-singular fibre; the boundary of the extended section approaches that fibre, twisting around it with degree . In the case and , when the orientation of is reversed, the number is replaced by , and by .

The second point of interest in the theory of Seifert fibrations is to show that a closed manifold admits at most one Seifert fibration up to fibrewise homeomorphisms. This has been proved for what are known as large Seifert fibrations, which are spaces of type , i.e. their homotopy type is defined by the fundamental group. The fundamental group of a manifold equipped with a Seifert fibration is conveniently described in terms of a special system of generators: sections on the boundaries of neighbourhoods of singular fibres, elements (or , if is non-orientable), whose images in are canonical generators, and a non-singular fibre . The defining relations for the generators, in the cases and , are

and in the cases ,

where , depending on whether the fibre orientation is reversed under transport along the corresponding generator of . Among the manifolds with small Seifert fibrations are the following: for the type , all fibrations with

for the type — only fibrations with , ; for the types and , fibrations with , ; , ; for the type , fibrations with , . All Seifert fibrations of type are large. All small Seifert fibrations have been listed; there are 10 types (see [3]).

The free actions of finite groups on the three-dimensional sphere commute with the natural action of the group on the sphere, and it therefore turns out that the orbit spaces of these actions are Seifert fibrations with finite fundamental groups. These are the only known examples to date (1990) of with finite . Some Seifert fibrations arise as boundaries of spherical neighbourhoods of isolated singular points on algebraic surfaces that are invariant under the action of the multiplicative group of complex numbers. Namely, these are Seifert fibrations of type with . Identification of these manifolds makes it possible to construct an explicit resolution of singularities, with the action of taken into consideration (and also to present a full description of isolated singularities on surfaces in that admit the action of ). There are also Seifert fibrations on locally flat Riemannian manifolds obtained by factorization of Euclidean space by the free action of a discrete group of motions (there are 6 oriented and 4 non-oriented manifolds, all but one of which are different fibrations over the circle, the fibre being a torus or a Klein surface).

Seifert fibrations are important in the topology of three-dimensional manifolds (cf. Topology of manifolds; Three-dimensional manifold), for example, in order to identify manifolds whose fundamental groups have a centre [4]. There are also generalizations of the concept to other classes of fibrations with singular fibres.


[1] H. Seifert, "Topologie driedimensionaler gefaserter Räume" Acta Math. , 60 (1933) pp. 147–238
[2] H. Holmann, "Seifertsche Faserräume" Math. Ann. , 157 (1964) pp. 138–166 MR0170349 Zbl 0123.16501
[3] P. Orlik, "Seifert Manifolds" , Springer (1972) MR0426001 Zbl 0263.57001
[4] J. Hempel, "3-manifolds" , Princeton Univ. Press (1976) MR0415619 Zbl 0345.57001



[a1] W.H. Jaco, "Lectures on three-manifold topology" , Amer. Math. Soc. (1980) pp. Chapt. VI MR0565450 Zbl 0433.57001
How to Cite This Entry:
Seifert fibration. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by A.V. Chernavskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article