ScalingStacks

Definition 2.3 . [0159]

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

The hybrid topology on 𝒳hyb:=(𝒳∖D)∪Δ⁡(D){\mathcal{X}}^{\mathrm{hyb}}:=({\mathcal{X}}\setminus D)\cup\Delta(D) is defined as the coarsest topology such that:

  • (i)

    𝒳∖D↪𝒳hyb{\mathcal{X}}\setminus D\hookrightarrow{\mathcal{X}}^{\mathrm{hyb}} is an open embedding;

  • (ii)

    For every open neighborhood 𝒱{\mathcal{V}} of DD in 𝒳{\mathcal{X}}, the set (𝒱∖D)∪Δ⁡(𝒳)({\mathcal{V}}\setminus D)\cup\Delta({\mathcal{X}}) is open in 𝒳hyb{\mathcal{X}}^{\mathrm{hyb}};

  • (iii)

    Log𝒱:𝒱hyb→Δ⁡(D)\operatorname{Log}_{\mathcal{V}}\colon{\mathcal{V}}^{\mathrm{hyb}}\to\Delta(D) is continuous.

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