ScalingStacks

Assumption 2.2 . [04HL]

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

Assumption 2.2.

Let ℱ=(X,f,B)\mathcal{F}=(X,f,B) be a topological TnT^{n} fibration with discriminant locus Δ⊆B\Delta\subseteq B and fibre XbX_{b} over b∈Bb\in B. We assume that ℱ\mathcal{F} satisfies the following conditions:

  1. 1.

    for n=2n=2, Δ\Delta is a finite union of points and given a small neighborhood UU of a point in Δ\Delta, the fibration ℱ|U\mathcal{F}|_{U} is topologically conjugate to a nodal fibration (see Example 2.6);

  2. 2.

    for n=3n=3, there is a finite covering {Ui}\{U_{i}\} of Δ\Delta with open subsets of BB such that one of the following three possibilities occur (see also Figure 1):

    1. (a)

      the pair (Ui,Ui∩Δ)(U_{i},U_{i}\cap\Delta) is homeomorphic to (D3,D3∩𝒞d)(D^{3},D^{3}\cap\mathscr{C}_{d}) and ℱ|Ui\mathcal{F}|_{U_{i}} is topologically conjugate to either a positive or a negative fibration (see Examples 2.10 and 2.8);

    2. (b)

      the pair (Ui,Ui∩Δ)(U_{i},U_{i}\cap\Delta) is homeomorphic to (D3,D3∩𝒞a)(D^{3},D^{3}\cap\mathscr{C}_{a}) and ℱ|Ui\mathcal{F}|_{U_{i}} is topologically conjugate to an alternative negative fibration (see Example 2.9);

    3. (c)

      the pair (Ui,Ui∩Δ)(U_{i},U_{i}\cap\Delta) is homeomorphic to (D3,D3∩𝒞e)(D^{3},D^{3}\cap\mathscr{C}_{e}) and ℱ|Ui\mathcal{F}|_{U_{i}} is topologically conjugate to a generic-singular fibration (see Example 2.7);

    We denote by Δd\Delta_{d} the set of points in Δ\Delta belonging to a UiU_{i} satisfying (a)(a), which are the vertices of Ui∩ΔU_{i}\cap\Delta. We call these points vertices of Δ\Delta. We denote by Δa\Delta_{a} the union of the sets Ui∩ΔU_{i}\cap\Delta, where UiU_{i} satisfies (b)(b); we can assume these sets to be pairwise disjoint. A point in Δ\Delta admitting open neighborhood UU of BB such that (U,U∩Δ)(U,U\cap\Delta) is homeomorphic to (D3,D3∩𝒞e)(D^{3},D^{3}\cap\mathscr{C}_{e}) is called an edge point. We denote by Δg\Delta_{g} the set of edge points.

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