ScalingStacks

Lemma 3.4 . [01EK]

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

Lemma 3.4.

The retraction map p๐’ณp_{\mathcal{X}} satisfies the following properties:

  • (i)

    c๐’ณโ€‹(x)โˆˆ{c๐’ณโ€‹(p๐’ณโ€‹(x))}ยฏc_{\mathcal{X}}(x)\in\overline{\{c_{\mathcal{X}}(p_{\mathcal{X}}(x))\}} for all xโˆˆXx\in X.

  • (ii)

    ฯ†Dโˆ˜p๐’ณ=ฯ†D\varphi_{D}\circ p_{\mathcal{X}}=\varphi_{D} for all DโˆˆDiv0โก(๐’ณ)๐‘D\in\Div_{0}(\mathcal{X})_{\mathbf{R}}.

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