ScalingStacks

Theorem 2.11 (Gross) . [04HV]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Theorem 2.11 (Gross).

Let BB be a 3-manifold and let B0⊆BB_{0}\subseteq B be a dense open set such that Δ:=B−B0\Delta:=B-B_{0} is a trivalent graph, i.e. such that Δ=Δd∪Δg\Delta=\Delta_{d}\cup\Delta_{g}. Assume that the vertices of Δ\Delta are labeled, i.e. Δd\Delta_{d} decomposes as a union Δ+∪Δ−\Delta_{+}\cup\Delta_{-} of positive and negative vertices. Suppose there is a T3T^{3} bundle f0:X⁡(B0)→B0f_{0}:X(B_{0})\rightarrow B_{0} such that its local monodromy ℳb\mathcal{M}_{b} is generated by

  1. 1.

    TT as in (2), when b∈Δgb\in\Delta_{g};

  2. 2.

    T1,T2,T3T_{1},T_{2},T_{3} as in (3), when b∈Δ−b\in\Delta_{-};

  3. 3.

    (T1t)−1,(T2t)−1,(T3t)−1(T_{1}^{t})^{-1},(T_{2}^{t})^{-1},(T_{3}^{t})^{-1}, when b∈Δ+b\in\Delta_{+}.

Then there is a T3T^{3} fibration f:X→Bf:X\rightarrow B and a commutative diagram

X⁡(B0)↪X↓↓B0↪B.\begin{array}[]{ccc}X(B_{0})&\hookrightarrow&X\\ \downarrow&&\downarrow\\ B_{0}&\hookrightarrow&B.\end{array}

Over connected components of Δg\Delta_{g}, (X,f,B)(X,f,B) is conjugate to the generic singular fibration, over points of Δ+\Delta_{+} it is conjugate to the positive fibration and over points of Δ−\Delta_{-} to the negative fibration.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.