ScalingStacks

Definition 1.2 [0143]

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

Definition 1.2

Let f:X→Bf:X\rightarrow B be a TnT^{n}-fibration, n=2n=2 or 33. Let Δ\Delta be the discriminant locus of ff. We say ff is well-behaved if it is admissible and either

(1) n=2n=2 and Δ\Delta is discrete; or,

(2) n=3n=3 and Δ\Delta can be written as a disjoint union of two sets, Δg\Delta_{g} and Δd\Delta_{d}, where Δd\Delta_{d} is a discrete set (the “dissident” points) and Δg\Delta_{g} is a locally closed topological 1-submanifold (the “generic” points). For all b∈Δgb\in\Delta_{g}, there exists an open neighbourhood UU of b∈Bb\in B, a homeomorphism α:U→D×(0,1)\alpha:U\rightarrow D\times(0,1), DD a two-dimensional disk, a homeomorphism α′:f−1​(U)→X′×(0,1)×S1\alpha^{\prime}:f^{-1}(U)\rightarrow X^{\prime}\times(0,1)\times S^{1} with X′X^{\prime} a four-manifold, g:X′→Dg:X^{\prime}\rightarrow D a well-behaved T2T^{2}-fibration, such that the diagram

f−1​(U)⟶α′X′×(0,1)×S1↓f↓f′U⟶αD×(0,1)\matrix{f^{-1}(U)&\smash{\mathop{\longrightarrow}\limits^{\alpha^{\prime}}}&X^{\prime}\times(0,1)\times S^{1}\cr\Big\downarrow\hbox to0.0pt{$\vbox{\hbox{$\scriptstyle f$}}$\hss}&&\Big\downarrow\hbox to0.0pt{$\vbox{\hbox{$\scriptstyle f^{\prime}$}}$\hss}\cr U&\smash{\mathop{\longrightarrow}\limits^{\alpha}}&D\times(0,1)\cr}

is commutative, where f′f^{\prime} is the composition of projection onto X′×(0,1)X^{\prime}\times(0,1) and g×i​dg\times id. Also α⁡(Δg∩U)={v}×(0,1)\alpha(\Delta_{g}\cap U)=\{v\}\times(0,1) for some point v∈Dv\in D. Furthermore, for each point b∈Δdb\in\Delta_{d}, there is an open neighbourhood UU of Δd\Delta_{d} such that there is a commutative diagram

U−Δ↪U−Δd↓⁣≅↓⁣≅(S2−{p1,…,pm})×(0,1)↪S2×(0,1).\matrix{U-\Delta&\hookrightarrow&U-\Delta_{d}\cr\Big\downarrow\hbox to0.0pt{$\vbox{\hbox{$\scriptstyle\cong$}}$\hss}&&\Big\downarrow\hbox to0.0pt{$\vbox{\hbox{$\scriptstyle\cong$}}$\hss}\cr(S^{2}-\{p_{1},\ldots,p_{m}\})\times(0,1)&\hookrightarrow&S^{2}\times(0,1)\cr}.

In addition, there is a five-manifold X′X^{\prime} and a map g:X′→S2g:X^{\prime}\rightarrow S^{2} along with a commutative diagram

f−1​(U−Δd)⟶≅X′×(0,1)↓f↓g×i​dU−Δd⟶≅S2×(0,1).\matrix{f^{-1}(U-\Delta_{d})&\smash{\mathop{\longrightarrow}\limits^{\cong}}&X^{\prime}\times(0,1)\cr\Big\downarrow\hbox to0.0pt{$\vbox{\hbox{$\scriptstyle f$}}$\hss}&&\Big\downarrow\hbox to0.0pt{$\vbox{\hbox{$\scriptstyle g\times id$}}$\hss}\cr U-\Delta_{d}&\smash{\mathop{\longrightarrow}\limits^{\cong}}&S^{2}\times(0,1)\cr.}

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