I need some philosophical explanation for JSJ decomposition theorem. It says that closed orientable irreducible 3-manifold can be cut along set of incompressible tori onto pieces which are:
- atoroidal or Seifert-fibered
- hyperbolic or Seifert-fibered
- hyperbolic or spherical or Seifert-fibered with infinite fundamental group.
The three bullets are just different wording of the the same theorem.
My question is what is the method for producing all irreducible closed 3-manifolds ? We start with the ones having no incompressible torus in JSJ theorem. Let's call them family zero manifolds which are closed hyperbolic, spherical or Seifert-fibered with infinite $\pi_1$. In Friedl, Introduction to 3 manifolds, I read that Seifert-fibered manifolds are finitely covered by $S^1$-bundle over surface. The hyperbolic closed manifolds are kind of mystery for me yet. In the same place I read that closed hyperbolic manifold is finitely covered by surface bundle over circle (famous virtually fibered conjecture). Still it does not help me to understand hyperbolic manifolds but this would be the topic for another question.
Next we go family one i.e. irreducible closed manifold which has one uncompressible torus. When we cut along this torus we obtain either one or two pieces. How can we describe these pieces ? How can we prepare hyperbolic or Seifert-fibered manifold having one or two tori as boundary ? The good candidate seems to be knot complement in sphere $S^3$. How about circle complement in family zero member ? Say, we have such pieces in hand, what are possible ways of gluing the boundary tori ? The automorphism group of torus up to homotopy is $SL_2(\mathbb Z)$ - it is named mapping class group - MCG in Friedl introduction. Thus we have a lot of freedom in gluing these pieces. How can we control this ? Our goal is to enlist all manifolds in family one.
Next we continue with family two i.e. irreducible closed manifolds having two incompressible tori in JSJ decomposition. In this family we again define all possible pieces and all possible gluings. And so on...
Can someone explain me whether this procedure works and we can name all irreducible closed 3-manifolds by such method ?