Seifert classified all closed Seifert fibrations in terms of the following invariants. Seifert manifolds are denoted by symbols
where: is one of the 6 symbols:, (or Oo, No, NnI, On, NnII, NnIII in Seifert's original notation) meaning:
- o1 if B is orientable and M is orientable.
- o2 if B is orientable and M is not orientable.
- n1 if B is not orientable and M is not orientable and all generators of π1(B) preserve orientation of the fiber.
- n2 if B is not orientable and M is orientable, so all generators of π1(B) reverse orientation of the fiber.
- n3 if B is not orientable and M is not orientable and g≥ 2 and exactly one generator of π1(B) preserves orientation of the fiber.
- n4 if B is not orientable and M is not orientable and g≥ 3 and exactly two generators of π1(B) preserve orientation of the fiber.
- g is the genus of the underlying 2-manifold of the orbit surface.
- b is an integer, normalized to be 0 or 1 if M is not orientable and normalized to be 0 if in addition some a'i is 2.
- (a1,b1),...,(ar,br) are the pairs of numbers determining the type of each of the r exceptional orbits. They are normalized so that 0<bi<ai when M is orientable, and 0<bi≤ai/2 when M is not orientable.
The Seifert fibration of the symbol
can be constructed from that of symbol
by using surgery to add fibers of types b and bi/ai.
If we drop the normalization conditions then the symbol can be changed as follows:
- Changing the sign of both ai and bi has no effect.
- Adding 1 to b and subtracting ai from bi has no effect. (In other words we can add integers to each of the rational numbers (b, b1/a1, ..., br/ar provided that their sum remains constant.)
- If the manifold is not orientable, changing the sign of bi' has no effect.
- Adding a fiber of type (1,0) has no effect.
Every symbol is equivalent under these operations to s unique normalized symbol. When working with unnormalized symbols, the integer b can be set to zero by adding a fiber of type (1, b).
Two closed Seifert oriented or non-orientable fibrations are isomorphic as oriented or non-orientable fibrations if and only if they have the same normalized symbol. However, it is sometimes possible for two Seifert manifolds to be homeomorphic even if they have different normalized symbols, because a few manifolds (such as lens spaces) can have more than one sort of Seifert fibration. Also an oriented fibration under a change of orientation becomes the Seifert fibration whose symbol has the sign of all the bs changed, which after normalization gives it the symbol
and it is homeomorphic to this as an unoriented manifold.
The sum b + Σbi/ai is an invariant of oriented fibrations, which is zero if and only if the fibration becomes trivial after taking a finite cover of B.
The orbifold Euler characteristic χ(B) of the orbifold B is given by
- χ(B) = χ(B0) − Σ(1−1/ai)
where χ(B0) is the usual Euler characteristic of the underlying topological surface B0 of the orbifold B. The behavior of M depends largely on the sign of the orbifold Euler characteristic of B.
Read more about this topic: Seifert Fiber Space