Seifert fibration
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.
References
[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 |
Comments
References
[a1] | W.H. Jaco, "Lectures on three-manifold topology" , Amer. Math. Soc. (1980) pp. Chapt. VI MR0565450 Zbl 0433.57001 |
Seifert fibration. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Seifert_fibration&oldid=24562