ScalingStacks

Assumption 6.22 . [04KW]

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 6.22.

The map f:X→Bf:X\rightarrow B is a topological T3T^{3} fibration with discriminant locus Δ⊂Γ\Delta\subset\Gamma such that f⁡(Σ)=Δf(\Sigma)=\Delta satisfying

  • (a)

    (X,ω,f,B)(X,\omega,f,B) is topologically conjugate to a generic singular fibration.

  • (b)

    There is a continuous S1S^{1} invariant map G:X→MG:X\rightarrow M such that

    • (i)

      if G±=G|X±G^{\pm}=G|_{X^{\pm}} then G+G^{+} and G−G^{-} are restrictions of C∞C^{\infty} maps on XX;

    • (ii)

      ff can be written as f=(μ,G)f=(\mu,G) and ff restricted to X±X^{\pm} is a proper map with connected Lagrangian fibres.

  • (c)

    There is a connected, S1S^{1} invariant, open neighborhood 𝔘⊆X\mathfrak{U}\subseteq X of Σ\Sigma such that f⁡(𝔘)=Bf(\mathfrak{U})=B and such that f𝔘=f|𝔘f_{\mathfrak{U}}=f|_{\mathfrak{U}} is a C∞C^{\infty} map with non degenerate singular points.

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