ScalingStacks

Theorem 3.1 . [01EG]

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

Theorem 3.1.

Let 𝒳\mathcal{X} be any SNC model of XX.

  • (i)

    The image of the evaluation map ev𝒳:Xβ†’Div0⁑(𝒳)π‘βˆ—\ev_{\mathcal{X}}:X\to\Div_{0}(\mathcal{X})^{*}_{\mathbf{R}} coincides with Δ𝒳\Delta_{\mathcal{X}}.

  • (ii)

    There exists a unique continuous (injective) map emb𝒳:Δ𝒳→X\emb_{\mathcal{X}}:\Delta_{\mathcal{X}}\to X such that:

    • (a)

      evπ’³βˆ˜emb𝒳\ev_{\mathcal{X}}\circ\emb_{\mathcal{X}} is the identity on Δ𝒳\Delta_{\mathcal{X}};

    • (b)

      for sβˆˆΞ”π’³s\in\Delta_{\mathcal{X}}, the center of emb𝒳⁑(s)\emb_{\mathcal{X}}(s) on 𝒳\mathcal{X} is the generic point ΞΎJ\xi_{J} of EJE_{J} for the unique subset JβŠ‚IJ\subset I such that ss is contained in the relative interior of ΟƒJ\sigma_{J}.

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