ScalingStacks

Definition 2.1 . [04HK]

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

Let ℱ=(X,f,B)\mathcal{F}=(X,f,B) and ℱ′=(X′,f′,B′)\mathcal{F}^{\prime}=(X^{\prime},f^{\prime},B^{\prime}) be a pair of topological fibrations with discriminant loci Δ\Delta and Δ′\Delta^{\prime} respectively. We define the following notions of conjugacy between ℱ\mathcal{F} and ℱ′\mathcal{F}^{\prime}:

  • (i)

    We say that ℱ\mathcal{F} is conjugate to ℱ′\mathcal{F}^{\prime} if there exist a homeomorphism ψ:X→X′\psi:X\rightarrow X^{\prime} and a homeomorphism ϕ:B→B′\phi:B\rightarrow B^{\prime} sending Δ\Delta to Δ′\Delta^{\prime} homeomorphically, such that f′∘ψ=ϕ∘ff^{\prime}\circ\psi=\phi\circ f. We shall say that ℱ\mathcal{F} is (ψ,ϕ)(\psi,\phi)-conjugate to ℱ′\mathcal{F}^{\prime} whenever the specification is required.

  • (ii)

    If in addition XX and X′X^{\prime} are symplectic manifolds and the fibrations are Lagrangian, we will say that ℱ\mathcal{F} is symplectically conjugate to ℱ′\mathcal{F}^{\prime} if ψ\psi is a C∞C^{\infty} symplectomorphism and ϕ\phi is a C∞C^{\infty} diffeomorphism.

  • (iii)

    Given points b∈Δb\in\Delta and b′∈Δ′b^{\prime}\in\Delta^{\prime}, we shall say that ℱ\mathcal{F} is (symplectically) conjugate to ℱ′\mathcal{F}^{\prime} over Δ\Delta (or over bb and b′b^{\prime}) if there are neighborhoods UU and U′U^{\prime} of Δ\Delta and Δ′\Delta^{\prime} (or of bb and b′b^{\prime}) respectively, such that (f−1​(U),f,U)(f^{-1}(U),f,U) is (symplectically) conjugate to ((f′)−1​(U′),f′,U′)((f^{\prime})^{-1}(U^{\prime}),f^{\prime},U^{\prime}).

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