#### Abstract

We review the history of the proof of the Seifert fiber space theorem, as well as its motivations in 3-manifold topology and its generalizations.

#### 1. Introduction

The reader is supposed to be familiar with the topology of 3-manifolds. Basic courses can be found in reference books (cf. [1–3]).

In the topology of low-dimensional manifolds (dimension at most 3) the fundamental group, or , plays a central key role. On the one hand several of the main topological properties of 2 and 3-manifolds can be rephrased in term of properties of the fundamental group and on the other hand in the generic cases the fully determines their homeomorphic type. That the generally determines their homotopy type follows from the fact that they are generically (i.e. their universal covering space is contractible); that the homotopy type determines generically the homeomorphism type appears as a rigidity property, or informally because the lack of dimension prevents the existence of too many manifolds, which contrasts with higher dimensions.

This has been well known since a long time for surfaces; advances in the study of 3-manifolds have shown that it remains globally true in dimension 3. For example, one can think of the Poincaré conjecture, the Dehn and sphere theorems of Papakyriakopoulos, the torus theorem, the rigidity theorem for Haken manifold, or Mostow's rigidity theorem for hyperbolic 3-manifolds, and so forth. It provides a somehow common paradigm for their study, much linked to combinatorial and geometrical group theory, which has developed into an independent discipline: *low-dimensional topology*, among the more general * topology of manifolds*.

The first reference book on the subject originated in the annotated notes that the young student Seifert took during the courses of algebraic topology given by Threlfall. In 1933, Seifert introduces a particular class of 3-manifolds, known as *Seifert manifolds* or *Seifert fiber spaces*. They have been since widely studied, well understood, and have given a great impact on the modern understanding of 3-manifolds. They suit many nice properties, most of them being already known since the deep work of Seifert.

Nevertheless one of their main properties, the so-called *Seifert fiber space theorem*, has been a long standing conjecture before its proof was completed by a huge collective work involving Waldhausen, Gordon and Heil, Jaco and Shalen, Scott, Mess, Tukia, Casson and Jungreis, and Gabai, for about twenty years. It has become another example of the characteristic meaning of the for 3-manifolds.

The Seifert fiber space conjecture characterizes the Seifert fiber spaces with infinite in the class of orientable irreducible 3-manifolds in terms of a property of their fundamental groups: they contain an infinite cyclic normal subgroup. It has now become a theorem of major importance in the understanding of (compact) 3-manifolds as we further explain.

We review here the motivations and applications for the understanding of 3-manifolds of the Seifert fiber space theorem, its generalizations for nonorientable 3-manifolds and PD(3) groups, and the various steps in its proof.

#### 2. The Seifert Fiber Space Theorem and Its Applications

##### 2.1. Reviews on Seifert Fiber Space

Seifert fibered spaces originally appeared in a paper of Seifert [4]; they constitute a large class of 3-manifolds and are totally classified by means of a finite set of invariants. They have since widely appeared in the literature for playing a central key role in the topology of compact 3-manifolds and being nowadays (and since the original paper of Seifert) very well known and understood. They have allowed the development of central concepts in 3-manifold topology such as the JSJ-decomposition and Thurston’s geometrization conjecture.

###### 2.1.1. Seifert Fiber Spaces

Let and be two 3-manifolds, each being a disjoint union of a collection of simple closed curves called *fibers*. A * fiber-preserving homeomorphism* from to is a homeomorphism which sends each fiber of onto a fiber of ; in such case and are said to be * fiber-preserving homeomorphic*.

Let denotes the unit disk in the complex plane. A *fibered solid torus* is obtained from by identifying the bottom and top disks and via a homeomorphism for some rotation with angle commensurable with . Therefore has a finite order, say , so that the images after identification of the union of intervals: for , yield a collection of fibers. When has order the core fiber, image of , is said to be exceptional and otherwise to be regular; all other fibers are said to be regular.

In the original definition of Seifert (the English version of the original paper of H. Seifert introducing Seifert fibered spaces (translated from German by W. Heil), among other things he classifies them and computes their fundamental group [5]), a fibration by circles of a closed 3-manifold is a decomposition into a disjoint union of simple closed curves such that each fiber has a neighborhood fiber-preserving homeomorphic to a fibered solid torus. For a fiber, being regular or exceptional does not depend neither on the fiber-preserving homeomorphism nor on the neighborhood involved.

The definition naturally extends to compact 3-manifolds with nonempty boundary. It requires that the boundary be a disjoint union of fibers; therefore all components in the boundary are closed with Euler characteristic 0 and can only consist of tori and Klein bottles.

A Seifert fibration is a foliation by circles; the converse is true for orientable 3-manifolds: it is a result of Epstein [6] that the orientable Seifert fiber spaces are characterized among all compact orientable 3-manifolds as those that admit a foliation by circles.

For nonorientable 3-manifolds the two notions do not agree because of the possibility for a foliation by circles to be locally fiber-preserving homeomorphic to a fibered solid Klein bottle. A *fibered solid Klein bottle* is obtained from by identifying and via the homeomorphism . The manifold obtained is nonorientable, with boundary a Klein bottle, and is naturally foliated by circles. The exceptional fibers are the images of for all ; they are nonisolated and lie on the exceptional 1-sided annulus image of . The regular fibers are the images of all for all ; they wrap 2 times around the exceptional fibers (cf. Figure 1).

**(a)**

**(b)**

Modern considerations have pointed out a need to enlarge the original definition of Seifert in order to englobe this phenomenon for nonorientable 3-manifolds. In a more modern terminology, a compact 3-manifold is a Seifert fiber space whenever it admits a foliation by circles. We will talk of a Seifert bundle to emphasize the nuance. It is a consequence of Epstein's result that such manifolds are those that decompose into disjoint unions of fibers with all fibers having a neighborhood fiber-preserving homeomorphic to a fibered solid torus or to a fibered solid Klein bottle, the latter appearing only for nonorientable manifolds.

As above, given a Seifert fibration of 3-manifold, all fibers fall in two parts, depending only on the fibration: the regular and the exceptional fibers; the latter can be either isolated or nonisolated. Let be a Seifert bundle; given a Seifert fibration of , the space of fibers, obtained by identifying each fiber to a point, is a surface , called the* base* of the fibration. This surface is naturally endowed with a structure of orbifold. Its singularities consists only of a finite number of cone points (which are the images of the isolated exceptional fibers) and of a finite number of reflector circles and lines (which are the images of the nonisolated exceptional fibers). This base orbifold is an invariant of the Seifert fibration.

In a modern terminology involving orbifolds, Seifert bundles are those 3-manifolds in the category of 3-orbifolds which are circle bundles over a 2-dimensional orbifold without corner reflectors singularity. This yields a second invariant , the Euler number associated to the bundle (cf. [7]).

###### 2.1.2. Some Topological Properties of Seifert Fiber Spaces

A Seifert bundle is a circle bundle over a 2-dimensional orbifold, and it follows that the fibration lifts to the universal covering space of into a fibration by circles or lines over an orbifold without proper covering. When the fibers are circles, it can only be with at most 2 cone points. In such case is obtained by gluing on their boundary two fibered solid tori, and therefore it is a lens space, so that its universal covering space can only be or . When the fibers are lines can only be one of or and is homeomorphic to or (see [7] for details).

Proposition 1. *The universal cover of a Seifert bundle has total space homeomorphic to either , or . Moreover, the Seifert fibration lifts in the universal cover to a foliation by lines (in both two former cases) or circles (in the latter case).*

Recall that a 3-manifold is *irreducible* when every sphere embedded in bounds a ball. An irreducible 3-manifold which does not contain any embedded 2-sided is said to be -irreducible. Now by Alexander's theorems and are irreducible, and it follows that any 3-manifold covered by or is -irreducible. So that the only non--irreducible Seifert bundles are covered by , and there are very few such manifolds (cf. [8]); one obtains the following.

Theorem 2. *With the exceptions of , , and , a Seifert bundle is irreducible. The only irreducible and non--irreducible Seifert fiber bundle is .*

A 3-manifold is said to be *Haken* if is -irreducible and either is or contains a 2-sided properly embedded incompressible surface . Consider a two-sided simple curve in the base orbifold that consists only of nonsingular points and is closed or has its both extremities lying in the boundary. Whenever that curve does not bound on one of its sides a disk with at most one cone point, its preimage yields a properly embedded two-sided incompressible surface.

Theorem 3. *With the exception of lens spaces, , , , and , a Seifert bundle is either Haken or has base and exactly 3 exceptional fibers; in this last case is Haken if and only if is infinite.*

Note that a -irreducible 3-manifold whose first homology group is infinite does contain a 2-sided properly embedded incompressible surface and therefore is Haken; nevertheless, there exists Haken 3-manifolds with finite first homology group (examples can be constructed by performing Dehn obturations on knots).

###### 2.1.3. The Cyclic Normal Subgroup of the of a Seifert Fiber Space

Existence of a Seifert fibration on a manifold has a strong consequence on its fundamental group. We have seen that the fibration lifts to the universal cover space into a foliation by circles or lines with basis . The action of onto preserves the circles or lines of the foliation, so that it induces an action of onto that defines a homomorphism from onto the orbifold fundamental group of . The kernel consists of those elements that act as the identity on or equivalently that preserve all the fibers of . Therefore acts freely on each fiber. In case is fibered by lines, is infinite cyclic. In case is , is finite cyclic and is finite. Finally, since the covering restricts onto the fibers of to covers of the fibers of , is generated by any regular fiber.

Theorem 4. *Let be a Seifert bundle with base orbifold . Then one has the short exact sequence:
**
where is the cyclic subgroup generated by any regular fiber. Moreover is infinite whenever is infinite.*

In particular from and the homomorphism (note that has order 1 or 2), one deduces a finite presentation for any Seifert bundle, strongly related to its Seifert fibration (see [5, 7, 9]).

##### 2.2. The Seifert Fiber Space Theorem

###### 2.2.1. Statement of the Seifert Fiber Space Theorem

As seen above an infinite fundamental group of a Seifert bundle contains a normal infinite cyclic subgroup. The Seifert fiber space theorem (or S.f.s.t.) uses this property of the to characterize Seifert fiber spaces in the class of orientable irreducible 3-manifolds with infinite . It can be stated as follows.

Theorem 5 (Seifert Fiber Space Theorem, 1990s). *Let be an orientable irreducible 3-manifold whose is infinite and contains a nontrivial normal cyclic subgroup. Then is a Seifert fiber space.*

It has become a theorem with the common work of a large number of topologists: for the Haken case: Waldhausen (Haken manifolds whose group has a nontrivial center are Seifert fibered [10]), Gordon and Heil (S.f.s.t partially obtained in the Haken case: either is a Seifert fiber space or is obtained by gluing two copies of a twisted -bundle [11]), and Jaco and Shalen (the end of the proof of S.f.s.t. in the Haken case; but almost the famous Jaco-Shalen-Johansen theorem [12]); for the non-Haken case: the rigidity theorem for Seifert fiber spaces Scott [13], Mess (reduces the proof of the S.f.s.t. to prove that convergence groups of the circle are virtually surface groups [14], unpublished), Tukia (solves partially the convergence groups conjecture [15]), Casson and Jungreis (provide an alternate solution independently by giving solutions to the case remaining in Tukia; they deduce the S.f.s.t. [16]), and Gabai (proves that convergence groups of the circle are fuchsian groups; he deduces the S.f.s.t., torus theorem and geometrization in that case [17]); for the orientable non-Haken case, one can also cite Maillot (showed that groups quasi-isometric to a simply connected complete Riemannian surface are virtually surface groups [18] and extends the strategy of Mess et al. to recover the S.f.s.t. in case of 3-orbifolds, and in corollary S.f.s.t. for 3-manifolds [19]) and Bowditch (gives an independent proof of the S.f.s.t.; it generalizes to PD(3) groups [20]) who give an alternate proof including the unpublished key result of Mess.

It has been generalized to the nonorientable case by Whitten.

Theorem 6 (Seifert Bundle Theorem, (S.f.s.t. generalized to the nonorientable case) [21]). *Let be a -irreducible 3-manifold whom is infinite and contains a nontrivial cyclic normal subgroup. Then is a Seifert bundle.*

Further Heil and Whitten have generalized the theorem to the nonorientable irreducible 3-manifolds (cf. the case nonorientable irreducible non--irreducible of the S.f.s.t. They deduce the torus theorem and geometrization in that case (modulo fake , that is, modulo the Poincaré conjecture.) [22]); see Theorem 9.

We can also note that those two theorems can be generalized in several ways: for open 3-manifolds and 3-orbifolds [19], and for PD(3) groups [20], or by weakening the condition of existence of a normal by the existence of a nontrivial finite conjugacy class (the condition in S.f.s.t. that the group contains a normal can be weakened by the condition that it contains a nontrivial finite conjugacy class, or equivalently that its Von-Neumann algebra is not a factor of type . It applies also to PD(3) groups [23]).

###### 2.2.2. Explanations of the Hypotheses Involved

Let us now discuss the hypotheses of the theorems.(i)Using the sphere theorem together with classical arguments of algebraic topology one sees that a -irreducible manifold with infinite has a torsion free fundamental group. So that in both conjectures one can replace: “…whose is infinite and contains a nontrivial normal cyclic subgroup.” by: “…whose contains a normal infinite cyclic subgroup.”(ii)What about nonirreducible orientable 3-manifolds with ? An orientable Seifert fiber space is either irreducible or homeomorphic to or to . As a consequence of the Kneser-Milnor theorem, an orientable nonirreducible 3-manifold whose contains a nontrivial normal cyclic subgroup is either , or with irreducible and simply connected, or its is the infinite dihedral group . With the Poincaré conjecture (now stated by Perelman) is obtained from , or from an irreducible 3-manifold by removing a finite number of balls. Therefore the result becomes as follows.

Theorem 7. *Let be an orientable nonirreducible 3-manifold whose contains an infinite cyclic normal subgroup. Then the manifold obtained by filling all spheres in with balls is a Seifert fiber space.*

(i)What about irreducible and non--irreducible 3-manifolds with ? A nonorientable Seifert fiber space is either -irreducible or or . A large class of irreducible, non--irreducible 3-manifolds does not admit a Seifert fibration whereas their contains as a normal subgroup. We will see that nevertheless the result generalizes also in that case by considering what Heil and Whitten call a Seifert bundle mod .(ii)What about 3-manifolds with finite ? According to the Kneser-Milnor decomposition, such manifolds, after eventually filling all spheres in the boundary with balls and replacing all homotopy balls with balls, become irreducible. Note that as a consequence of the Dehn's lemma, their boundary can only consist of and . The only nonorientable irreducible 3-manifold with finite is (a result of D. Epstein, cf. [3] Theorems 9.5 and 9.6). All known orientable irreducible 3-manifolds with finite turn to be elliptic manifolds, which are all Seifert fibered, and the orthogonalization conjecture (cf. section 2.3.3 proved by the work of Perelman) has made a statement of that, one of its consequences being the Poincaré conjecture that all homotopy balls are real balls. Thus the long standing conjecture has become a theorem.

Theorem 8 (Consequence of the Orthogonalization Conjecture, 2000s). *A 3-manifold with finite containing no sphere in its boundary is a closed Seifert fibered space when orientable and when nonorientable.*

##### 2.3. Motivations

Three important questions in 3-dimensional topology have motivated the birth of the Seifert fiber space conjecture (S.f.s.c. for short). At first was the center conjecture (1960s), then the torus theorem conjecture (1978), and finally Thurston's geometrization conjecture (1980s).

###### 2.3.1. The Center Conjecture

It is the problem 3.5 in Kirby's list of problems in 3-dimensional topology [24] that has been attributed to Thurston.

*Center Conjecture*. Let be an orientable irreducible 3-manifold with infinite having a nontrivial center. Then is a Seifert fiber space.

The conjecture is an immediate corollary of the Seifert fiber space theorem since any cyclic subgroup in the center of a group is normal in .

It has first been observed and proved for knot complements: Murasugi [25] and Neuwirth (proof of the center conjecture for alternated knots [26]) in 1961 for alternated knots and then Burde and Zieschang (proof of the center conjecture for knot complements: those whose has center are the toric knot complements [27]) in 1966 for all knots. In 1967 Waldhausen [10] has proved the more general case of Haken manifolds. The proof has been achieved in the nineties with that of the Seifert fiber space theorem.

From a presentation of a Seifert fiber space one shows that an infinite cyclic normal subgroup in the of an orientable Seifert fiber space is central if and only if the base is orientable. A Seifert fiber space with infinite and with a nonorientable base has a centerless containing a nontrivial normal cyclic subgroup. The S.f.s.c. generalizes the center conjecture in that sense.

###### 2.3.2. The Torus Theorem Conjecture

The long-standing so-called “torus theorem conjecture” asserts the following.

*Torus Theorem Conjecture*. Let be an orientable irreducible 3-manifold with containing as a subgroup. Then either contains an incompressible torus or is a (small) Seifert fiber space.

In has been proven to be true for Haken manifolds by Waldhausen in 1968 (announced in [28] (announcement of the torus theorem for Haken manifolds.)), written and published by Feustel in [29, 30]). Note that together with the theory of * sufficiently large* 3-manifolds developed by Haken during the 60s, this partial result has finally led to the * Jaco-Shalen-Johansen* decomposition of Haken 3-manifolds (1979, cf. [12]).

The proof in full generality of the conjecture reduces to that of the S.f.s.c. help to the “strong torus theorem” proved by Scott in 1978 (the “strong torus theorem” [31]).

*Strong Torus Theorem*. Let be an orientable irreducible 3-manifold, with containing as a subgroup. Then either contains an incompressible torus, or contains a nontrivial normal cyclic subgroup.

With the strong torus theorem, the torus theorem conjecture follows as a corollary from the Seifert fiber space theorem.

###### 2.3.3. The Geometrization Conjecture

A major problem in 3-dimensional topology is the classification of 3-manifolds. Surfaces have been classified at the beginning of the nineteen's century help to the Euler characteristic. The Poincaré's duality (cf. [2]) has consequence that for any closed 3-manifold the Euler characteristic vanishes to 0; the techniques used in dimension 2 cannot be applied in dimension 3.

Topological surfaces inherit more structure from Riemannian geometry. The uniformization theorem of Riemann shows that they can be endowed with a complete Riemannian metric of constant curvature, so that they all arise as a quotient space of one of the three 2-dimensional geometrical spaces: euclidian , elliptic , and hyperbolic , by a discrete subgroup of isometry that acts freely.

Such property cannot generalize to dimension 3, for there are known obstructions: for example, a connected sum of nonsimply connected 3-manifolds cannot be modeled on one of the geometrical spaces , , and ; otherwise an essential sphere would lift to the universal cover into an essential sphere in or ( cannot arise since the is infinite), but and are both homeomorphic to and do not contain any essential sphere by Alexander's theorem.

Nevertheless, this fact generalizes to dimension 3 help to the topological decomposition of 3-manifolds. Any orientable 3-manifold can be cut canonically along essential surfaces: spheres (Kneser-Milnor), discs (Dehn's lemma), and tori (Jaco-Shalen-Johanson) so that the pieces obtained are all irreducible with incompressible boundary and are either Seifert fiber spaces or do not contain any incompressible torus.

Thurston's geometrization conjecture asserts that all the pieces obtained in the topological decomposition of an orientable 3-manifold can be endowed in their interior with a complete locally homogeneous Riemannian metric or equivalently that their interior are quotients of an homogeneous Riemannian simply connected 3-manifold by a discrete subgroup of isometry acting freely.

Thurston has proved that there are eight homogeneous (nonnecessarily isotropic) geometries in dimension 3: the three isotropic geometries, elliptic , euclidian , and hyperbolic , the two product geometries, and , and the three twisted geometries, *Nil*, *Sol*, and the universal cover of (cf. [7]).

It turns out that the orientable 3-manifolds modeled on one of the six geometries , , , , *Nil*, and are precisely the Seifert fiber spaces (and the geometry involved only depends on the Euler characteristic of the base and on the Euler number e of the bundle, see Theorem 5.3.ii in [7]). It follows from that all discrete subgroups of their isometry group preserve a foliation by lines or circles of the underlying topological spaces , or .

The strategy for proving the geometrization conjecture has naturally felt into three conjectures.

*Conjectures*. Let be an orientable irreducible 3-manifolds.(1)(Orthogonalization conjecture). If is finite, then is elliptic.(2)(S.f.s.c.). If is infinite and contains a nontrivial normal cyclic subgroup then is a Seifert fiber space (S.f.s.c.)(3)If is infinite and contains no nontrivial normal cyclic subgroup then is geometrizable.

With the strong torus theorem [31] the third conjecture reduces to conjecture 2 and also to consider the two cases when does not contain and when contains an incompressible torus. In the latter case, the JSJ decomposition theorem applies. A manifold modeled on one of the seven nonhyperbolic geometries has, with a few exceptions well understood, a containing . Finally, the conjecture 3 reduces to the conjecture 2 and to the following conjecture.(4)(Hyperbolization conjecture). If is infinite and contains no then is hyperbolic.

Thurston has proved the conjecture to be true for Haken manifolds by proving the following.

*Thurston’s Hyperbolization Theorem*. Any Haken manifold with infinite that contains no incompressible torus is hyperbolic.

Indeed a Haken 3-manifold with finite is a ball and it follows from Thurston's hyperbolization theorem together with the Seifert fiber space theorem for Haken manifolds that the geometrization conjecture is true for Haken 3-manifolds.

To prove the geometrization conjecture in all cases it suffices to prove the orthogonalization conjecture, the S.f.s.c., and the hyperbolization conjecture for non-Haken orientable 3-manifolds.

So that the S.f.s.c. appears as one of three parts of the geometrization conjecture that the conjecture is true for orientable irreducible 3-manifolds whose contains an infinite cyclic normal subgroup. It is the one usually considered as the easiest one and has been the first to be proved. The two other parts have been proved by the work of Perelman et al. following the Hamilton program making use of the Ricci flow (cf. [32]).

#### 3. History of the Proof of the S.f.s. Theorems

The progress in proving the conjecture has been made as follows.

##### 3.1. The Haken Orientable Case: 1967–1979

In *1967*, Waldhausen and Feustel [10, 29, 30] show that a Haken 3-manifold has a with nontrivial center if and only if it is a Seifert fiber space with an orientable base. It motivates the S.f.s.c. and solves the Haken case when the cyclic normal subgroup is central. The result is announced by Waldhausen in [10] and a proof appears in two papers of Feustel [29, 30].

In *1975*, Gordon and Heil [11] show partially the S.f.s.c. in the Haken case: a Haken manifold whose contains an infinite cyclic normal subgroup is either a Seifert space or is obtained by gluing two copies of a twisted -bundle along a nonorientable surface. So that they reduce the remaining Haken cases to this case of 3-manifolds.

In *1979*, Jaco and Shalen [12] and independently MacLachlan (unpublished) achieve the proof for the remaining Haken 3-manifolds.

##### 3.2. The Non-Haken Orientable Case: 1979–1994

Using the Haken case already proved, it suffices to restrict oneself to the closed 3-manifolds. The proof has proceeded in several main steps.

In *1983*, Scott [13], by generalizing a result of Waldhausen in the Haken case, shows a strong result of rigidity for Seifert fiber spaces.

Let and be two closed orientable irreducible 3-manifolds, with a Seifert fiber space with infinite . If and are isomorphic, then and are homeomorphic.

Note that with the sphere theorem and classical arguments of algebraic topology, and are and the conditions “ and which are isomorphic” can be replaced by “ and which have the same homotopy type.”

That reduces the proof of the Seifert fiber space theorem to a similar statement involving the fundamental group. The conjecture becomes as follows.

(S.f.s.c.) If is a closed orientable 3-manifold and contains an infinite cyclic normal subgroup, then is the of a closed orientable Seifert fiber space.

Scott remarks also that is the group of a closed orientable Seifert fiber space if and only if is the fundamental group of a 2-dimensional closed orbifold (eventually nonorientable); an alternate proof is given in the Lemma 15.3 of [20]. So finally, he reduces the proof of the Seifert fiber space theorem to the proof of the following conjecture.

(S.f.s.c.) If is a closed orientable 3-manifold and contains an infinite cyclic normal subgroup, then is the fundamental group of a (closed) 2-orbifold.

Late *1980s*, Mess [14] proves in an unpublished paper.

Let be closed orientable and irreducible with containing an infinite cyclic normal subgroup . Then(i)the covering of associated to is homeomorphic to the open manifold ;(ii)the covering action of on gives rise to an almost everywhere defined action on : following its terminology is coarse quasi-isometric to the Euclidean or hyperbolic plane;(iii)in the case where is coarse quasi-isometric to the Euclidean plane, then it is the group of a 2-orbifold; hence, (with the result of Scott) is a Seifert fiber space;(iv)in the remaining case where is coarse quasi-isometric to the hyperbolic plane, induces an action on the circle at infinity, which makes a convergence group.

A * convergence group* is a group acting by orientation preserving homeomorphism on the circle, in such a way that if denotes the set of ordered triples: , , with appearing in that order on in the direct sense, the action induced by on is free and properly discontinuous.

With the work of Mess the proof of the S.f.s.c. reduces to that of:

(Convergence groups conjecture). Convergence groups are fundamental groups of 2-orbifolds.

In *1988*, Tukia shows (see [15]) that some of the convergence groups (when is noncompact and has no torsion elements with order >3) are Fuchsian groups and in particular are of 2-orbifolds.

In *1992*, Gabai shows (see [17]) independently from other works and in full generality that convergence groups are Fuchsian groups. They act on , up to conjugacy in , as the restrictions on of their natural action on . That proves the S.f.s.t.

In *1994*, At the same time Casson and Jungreis show the cases left remained by Tukia (see [16]). That proves independently from Gabai the S.f.s.t.

The Seifert fiber space theorem is proved and then follow the center conjecture, the torus theorem, and one of three of the geometrization conjectures.

In *1999*, later, Bowditch obtains a different proof of the S.f.s.c. (see [20]). Its proof generalizes to other kinds of group as PD(3) groups (groups of type FP with cohomological dimension whose cohomology groups satisfy a relation somewhat analogous to Poincaré duality for 3-manifolds; it is conjectured that they coincide with of closed -irreducible 3-manifolds with infinite ; see [20]).

In *2000*, in his thesis Maillot extends the techniques of Mess to establish a proof of the S.f.s.c. in the more general cases of open 3-manifolds and of -orbifolds. This result already known as a consequence of the S.f.s.c. (as proved by Mess et al.) and of the Thurston orbifolds theorem, has the merit to be proved by using none of these results and to state as a corollary a complete proof of the S.f.s.c. and of the techniques of Mess.

In *2003*, the argument of Mess is pursued by Maillot in [19] where he reduces to groups quasi-isometric to a Riemannian plane, and he shows in [18] that they are virtually surface groups (and hence Fuchsian groups).

##### 3.3. The Nonorientable Case: 1992–94

The solution to the S.f.s.c. in the nonorientable case goes back to Whitten, improved by Whitten and Heil.

In *1992*, Whitten proves in [21] the S.f.s.t. for nonorientable and irreducible 3-manifolds, which are not a fake , and whose does not contain any . He obtains in particular the S.f.s.t. in the -irreducible case.

In 1994, Heil and Whitten in [22] characterise those nonorientable irreducible 3-manifolds which do not contain a fake and whose contains a normal subgroup and possibly : they call them * Seifert bundles *mod ; they constitute a larger class than Seifert bundles. Consider the manifold obtained from two copies of by a connected disk summand, that is, by gluing a along and to one boundary components of each copies of (see Figure 2). It is a nonorientable 3-manifold that is irreducible with a boundary made of two and one Klein bottle. Its fundamental group is the infinite dihedral group , which contains a unique infinite cyclic normal subgroup. The Klein bottle in the boundary contains a “fibered” annulus that is made of two rectangular bands with vertices , and (as in Figure 2) whose embeds in onto the normal , so that it can be fibered with fibers that generate the cyclic infinite normal subgroup.

A Seifert bundle mod is either or is obtained from a Seifert bundle by gluing on its boundary a finite number of copies of the manifold along fibered annuli and such that the fibers map onto fibers. Therefore, the contains an infinite cyclic normal subgroup. From the irreducibility of and the incompressibility of the fibered annuli follows that Seifert bundles mod , with the same exceptions as in Theorem 2, are all irreducible.

Theorem 9. *Let be a nonorientable irreducible 3-manifold which does not contain a fake and such that contains a nontrivial cyclic normal subgroup. Then is either or a Seifert bundle .*

They deduce in the nonorientable case the torus theorem: “if is an irreducible nonorientable 3-manifold with , then contains an incompressible torus or Klein bottle.”

The orientation covering space of a Seifert bundle mod , , becomes a Seifert bundle once all spheres in its boundary have been filled up with balls. The covering involution of extends to with isolated fixed points and quotient an orbifold , obtained from by filling up all projective planes in its boundary with cones over . The orbifold is modeled in the sense of orbifolds onto one of the 6 Seifertic geometries, and finally Seifert bundles mod are precisely those nonorientable 3-manifolds that are said to be modeled (with a noncomplete metric) onto one of the 6 geometries: , , , , , and the universal cover of .

##### 3.4. With the Poincaré Conjecture

In *2003–06*, the work of Perelman (2003 et al.) proves the Poincaré conjecture as a corollary of the orthogonalization conjecture. Hence, each simply connected closed 3-manifold is a 3-sphere and there exists no fake ball or fake . As already said one can simply avoid in the S.f.s. theorem the hypothesis of irreducibility. The more general statement of the theorem becomes as follows.

Theorem 10. *Let be a 3-manifold whose is infinite and contains a nontrivial cyclic normal subgroup. After filling up all spheres in with balls one obtains either a connected sum of with itself or with , or a Seifert bundle . Moreover, is a Seifert bundle exactly when does not contain any or equivalently when does not contain any .*

##### 3.5. 3-Manifold Groups with Infinite Conjugacy Classes

*2005*. It is shown in [4] that in both cases of 3-manifold groups and of PD(3)-groups the hypothesis in the S.f.s. and Seifert bundles theorems: “*contains a nontrivial cyclic subgroup*” can be weakened into “*contains a nontrivial finite conjugacy class*” or equivalently into “*has a Von Neumann algebra which is not a factor of type II-1*”. The results become:(1)Let be either an infinite of a -irreducible 3-manifold, or a PD(3)-group, that contains a nontrivial finite conjugacy class. Then is the of a Seifert bundle.(2)Let be an infinite of a irreducible 3-manifold. If contains a nontrivial finite conjugacy class, then is the of a Seifert bundle mod .

The proof of these results makes use of the S.f.s. theorems for 3-manifolds as well as for PD(3) groups.

#### Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.