A Survey on Seifert Fiber Space Theorem

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.


Introduction
The reader is supposed to be familiar with the topology of 3manifolds.Basic courses can be found in reference books (cf.[1][2][3]).
In the topology of low-dimensional manifolds (dimension at most 3) the fundamental group, or  1 , 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  1 fully determines their homeomorphic type.That the  1 generally determines their homotopy type follows from the fact that they are generically (, 1) (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 socalled 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  1 for 3-manifolds.
The Seifert fiber space conjecture characterizes the Seifert fiber spaces with infinite  1 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.

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.

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 fiberpreserving homeomorphic.
Let D 2 = { ∈ C; || ⩽ 1} denotes the unit disk in the complex plane.A fibered solid torus is obtained from D 2 × [0, 1] by identifying the bottom and top disks D 2 ×0 and D 2 ×1 via a homeomorphism (, 0)  → ((), 1) for some rotation  :   →  × exp() with angle  commensurable with .Therefore  has a finite order, say  + 1, so that the images after identification of the union of intervals: yield a collection of fibers.When  has order > 1 the core fiber, image of 0 × [0, 1], 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 D 2 × [0, 1] by identifying D 2 ×0 and D 2 ×1 via the homeomorphism (, 0)  → (, 1).The manifold obtained is nonorientable, with boundary a Klein bottle, and is naturally foliated by circles.
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]).

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 M of  into a fibration by circles or lines over an orbifold B without proper covering.When the fibers are circles, it can only be  2 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  3 or  2 × R. When the fibers are lines B can only be one of  2 or R 2 and M is homeomorphic to  2 × R or R 3 (see [7] for details).
Proposition 1.The universal cover of a Seifert bundle has total space homeomorphic to either R 3 ,  2 × R or  3 .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 3manifold which does not contain any embedded 2-sided P 2 is said to be P 2 -irreducible.Now by Alexander's theorems  3 and R 3 are irreducible, and it follows that any 3-manifold covered by  3 or R 3 is P 2 -irreducible.So that the only non-P 2 -irreducible Seifert bundles are covered by  2 ×R, and there are very few such manifolds (cf.[8]); one obtains the following.
A 3-manifold  is said to be Haken if  is P 2 -irreducible and either  is  3 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, P 3 #P 3 ,  1 ×  2 ,  1 × 2 , and P 2 ×  1 , a Seifert bundle is either Haken or has base  2 and exactly 3 exceptional fibers; in this last case  is Haken if and only if  1 (, Z) is infinite.
Note that a P 2 -irreducible 3-manifold  whose first homology group  1 (, Z) is infinite does contain a 2-sided properly embedded incompressible surface and therefore is Haken; nevertheless, there exists Haken 3-manifolds ̸ =  3 with finite first homology group (examples can be constructed by performing Dehn obturations on knots).

The Cyclic Normal Subgroup of the 𝜋 1 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 M into a foliation by circles or lines with basis B. The action of  1 () onto M preserves the circles or lines of the foliation, so that it induces an action of  1 () onto B that defines a homomorphism  from  1 () onto the orbifold fundamental group  orb 1 () of .The kernel ker  consists of those elements that act as the identity on B or equivalently that preserve all the fibers of M. Therefore ker  acts freely on each fiber.In case M is fibered by lines, ker  is infinite cyclic.In case M is S 3 , ker  is finite cyclic and  1 () is finite.Finally, since the covering restricts onto the fibers of M to covers of the fibers of , ker  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  1 () is infinite.

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  1 to characterize Seifert fiber spaces in the class of orientable irreducible 3-manifolds with infinite  1 .It can be stated as follows.
Theorem 5 (Seifert Fiber Space Theorem, 1990s).Let  be an orientable irreducible 3-manifold whose  1 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 P 2 -irreducible 3manifold whom  1 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-P 2 -irreducible of the S.f.s.t.They deduce the torus theorem and geometrization in that case (modulo fake P 2 ×  1 , 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 3orbifolds [19], and for PD(3) groups [20], or by weakening the condition of existence of a normal Z by the existence of a nontrivial finite conjugacy class (the condition in S.f.s.t. that the group contains a normal Z 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  − 1.It applies also to PD(3) groups [23]).

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 3manifold with infinite  1 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  1 has center ̸ = 1 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  1 of an orientable Seifert fiber space is central if and only if the base is orientable.A Seifert fiber space with infinite  1 and with a nonorientable base has a centerless  1 containing a nontrivial normal cyclic subgroup.The S.f.s.c.generalizes the center conjecture in that sense.

The Torus Theorem
Conjecture.The long-standing socalled "torus theorem conjecture" asserts the following.
Torus Theorem Conjecture.Let  be an orientable irreducible 3-manifold with  1 () containing Z⊕Z 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 3manifold, with  1 () containing Z ⊕ Z as a subgroup.Then either  contains an incompressible torus, or  1 () 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.

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 E 2 , elliptic S 2 , and hyperbolic H 2 , 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 E 3 , S 3 , and H 3 ; otherwise an essential sphere would lift to the universal cover into an essential sphere in E 3 or H 3 (S 3 cannot arise since the  1 is infinite), but E 3 and H 3 are both homeomorphic to R 3 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 S 3 , euclidian E 3 , and hyperbolic H 3 , the two product geometries, S 2 ×R and H 2 ×R, and the three twisted geometries, Nil, Sol, and the universal cover S 2 R of  2 R (cf.[7]).
It turns out that the orientable 3-manifolds modeled on one of the six geometries S 3 , E 3 , S 2 × R, H 2 × R, Nil, and S 2 R 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  3 ,  2 × R or R 3 .
The strategy for proving the geometrization conjecture has naturally felt into three conjectures.
With the strong torus theorem [31] the third conjecture reduces to conjecture 2 and also to consider the two cases when  1 () does not contain Z⊕Z 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  1 containing Z ⊕ Z. Finally, the conjecture 3 reduces to the conjecture 2 and to the following conjecture.
Thurston has proved the conjecture to be true for Haken manifolds by proving the following.
Thurston's Hyperbolization Theorem.Any Haken manifold with infinite  1 that contains no incompressible torus is hyperbolic.
Indeed a Haken 3-manifold with finite  1 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  1 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]).

History of the Proof of the S.f.s. Theorems
The progress in proving the conjecture has been made as follows.Case: 1967Case: -1979.In 1967, Waldhausen and Feustel [10,29,30] show that a Haken 3-manifold has a  1 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].

The Haken Orientable
In 1975, Gordon and Heil [11] show partially the S.f.s.c. in the Haken case: a Haken manifold  whose  1 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.Case: 1979Case: -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.

The Non-Haken Orientable
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 3manifolds, with  a Seifert fiber space with infinite  1 .If  1 () and  1 () are isomorphic, then  and  are homeomorphic.
Note that with the sphere theorem and classical arguments of algebraic topology,  and  are (, 1) and the conditions " 1 () and  1 () 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 Γ =  1 () contains an infinite cyclic normal subgroup, then Γ is the  1 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 Γ/Z 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 Γ =  1 () contains an infinite cyclic normal subgroup, then Γ/Z is the fundamental group of a (closed) 2-orbifold.
Let  be closed orientable and irreducible with Γ =  1 () containing an infinite cyclic normal subgroup .Then (i) the covering of  associated to  is homeomorphic to the open manifold D 2 ×  1 ; (ii) the covering action of Γ/ on D 2 ×  1 gives rise to an almost everywhere defined action on D 2 ×1: 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 quasiisometric 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: (, , ) ∈  1 ×  1 ×  1 ,  ̸ =  ̸ = , with , ,  appearing in that order on  1 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  orb 1 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  1 , up to conjugacy in Homeo( 1 ), as the restrictions on  1 = H 2 of their natural action on H 2 .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 ⩽ 3 whose cohomology groups satisfy a relation somewhat analogous to Poincaré duality for 3-manifolds; it is conjectured that they coincide with  1 of closed P 2irreducible 3-manifolds with infinite  1 ; 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 3-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).

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 P 2 × 1 , and whose  1 does not contain any Z 2 * Z 2 .He obtains in particular the S.f.s.t. in the P 2 -irreducible case.
In 1994, Heil and Whitten in [22] characterise those nonorientable irreducible 3-manifolds which do not contain a fake P 2 × and whose  1 contains a normal Z subgroup and possibly Z 2 * Z 2 : they call them Seifert bundles mod P; they constitute a larger class than Seifert bundles.Consider the manifold P obtained from two copies of P 2 × by a connected disk summand, that is, by gluing a D 2 × along D 2 ×0 and D 2 ×1 to one boundary components of each copies of P 2 ×  (see Figure 2).It is a nonorientable 3-manifold that is irreducible with a boundary made of two P 2 and one Klein bottle.Its fundamental group is the infinite dihedral group Z 2 * Z 2 , 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  1 embeds in  1 (P) onto the normal Z, so that it can be fibered with fibers that generate the cyclic infinite normal subgroup.
A Seifert bundle mod P is either P or is obtained from a Seifert bundle by gluing on its boundary a finite number of copies of the manifold P along fibered annuli and such that the fibers map onto fibers.Therefore, the  1 contains an infinite cyclic normal subgroup.From the irreducibility of P and the incompressibility of the fibered annuli follows that Seifert bundles mod P, 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 P 2 ×  and such that  1 () contains a nontrivial cyclic normal subgroup.Then  is either P 2 ×  or a Seifert bundle mod P.
They deduce in the nonorientable case the torus theorem: "if  is an irreducible nonorientable 3-manifold with  1 () ⊃ Z ⊕ Z, then  contains an incompressible torus or Klein bottle." The orientation covering space  of a Seifert bundle mod P, , 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 P 2 .The orbifold  is modeled in the sense of orbifolds onto one of the 6 Seifertic geometries, and finally Seifert bundles mod P are precisely those nonorientable 3-manifolds that are said to be modeled (with a noncomplete metric) onto one of the 6 geometries: S 3 , E 3 , S 2 × R, H 2 × R, , and the universal cover of S 2 R. ) 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 P 2 ×.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  1 is infinite and contains a nontrivial cyclic normal subgroup.After filling up all spheres in  with balls one obtains either a connected sum of P 2 ×  with itself or with P 3 , or a Seifert bundle mod P.Moreover,  is a Seifert bundle exactly when  1 () does not contain any Z 2 or equivalently when  does not contain any P 2 .

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  1 of a P 2 -irreducible 3manifold, or a PD(3)-group, that contains a nontrivial finite conjugacy class.Then  is the  1 of a Seifert bundle.
(2) Let  be an infinite  1 of a irreducible 3-manifold.If  contains a nontrivial finite conjugacy class, then  is the  1 of a Seifert bundle mod P.
The proof of these results makes use of the S.f.s.theorems for 3-manifolds as well as for PD(3) groups.

Figure 1 :
Figure 1: On the left, a fibered solid torus.On the right, a fibered solid Klein bottle.

Figure 2 :
Figure 2: The nonorientable 3-manifold P and a fibered annulus in the Klein bottle component of P.

3. 4 .
With the Poincaré Conjecture.In 2003-06, the work of Perelman (2003 et al. Involved.Let us now discuss the hypotheses of the theorems.What about nonirreducible orientable 3-manifolds with Z ⊲  1 ()?An orientable Seifert fiber space is either irreducible or homeomorphic to  1 ×  2 or to P 3 #P 3 .As a consequence of the Kneser-Milnor theorem, an orientable nonirreducible 3-manifold  whose  1 contains a nontrivial normal cyclic subgroup is either  1 ×  2 , or   # with   irreducible and  simply connected, or its  1 is the infinite dihedral group Z 2 * Z 2 .With the Poincaré conjecture (now stated by Perelman)  is obtained from  1 ×  2 , P 3 #P 3 or from an irreducible 3-manifold by removing a finite number of balls.Therefore the result becomes as follows.Let  be an orientable nonirreducible 3-manifold whose  1 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-P 2 -irreducible 3manifolds with Z ⊲  1 ()?A nonorientable Seifert fiber space is either P 2 -irreducible or  1 × 2 or P 2 ×  1 .A large class of irreducible, non-P 2 -irreducible 3manifolds does not admit a Seifert fibration whereas their  1 contains Z 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 P. (ii) What about 3-manifolds with finite  1 ?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 S 2 and P 2 .The only nonorientable irreducible 3-manifold with finite  1 is P 2 ×  (a result of D. Epstein, cf.[3] Theorems 9.5 and 9.6).All known orientable irreducible 3-manifolds with finite  1 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.