ScalingStacks

Lemma 4.6 . [0161]

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

Suppose 𝒳{\mathcal{X}}, 𝒳′{\mathcal{X}}^{\prime} and 𝒳′′{\mathcal{X}}^{\prime\prime} are snc models, with 𝒳′{\mathcal{X}}^{\prime} dominating 𝒳{\mathcal{X}} and 𝒳′′{\mathcal{X}}^{\prime\prime} dominating 𝒳′{\mathcal{X}}^{\prime}.

  • (a)

    If r𝒳​𝒳′′:A𝒳​𝒳′′→Δ⁑(𝒳)r_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}\colon A_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}\to\Delta({\mathcal{X}}) is surjective, then so is r𝒳​𝒳′:A𝒳​𝒳′→Δ⁑(𝒳)r_{{\mathcal{X}}{\mathcal{X}}^{\prime}}\colon A_{{\mathcal{X}}{\mathcal{X}}^{\prime}}\to\Delta({\mathcal{X}}).

  • (b)

    If r𝒳​𝒳′′:A𝒳​𝒳′′→Δ⁑(𝒳)r_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}\colon A_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}\to\Delta({\mathcal{X}}) is injective and r𝒳′​𝒳′′:A𝒳′​𝒳′′→Δ⁑(𝒳′)r_{{\mathcal{X}}^{\prime}{\mathcal{X}}^{\prime\prime}}\colon A_{{\mathcal{X}}^{\prime}{\mathcal{X}}^{\prime\prime}}\to\Delta({\mathcal{X}}^{\prime}) is surjective, then r𝒳​𝒳′:A𝒳​𝒳′→Δ⁑(𝒳)r_{{\mathcal{X}}{\mathcal{X}}^{\prime}}\colon A_{{\mathcal{X}}{\mathcal{X}}^{\prime}}\to\Delta({\mathcal{X}}) is injective.

  • (c)

    If r𝒳​𝒳′:A𝒳​𝒳′→Δ⁑(𝒳)r_{{\mathcal{X}}{\mathcal{X}}^{\prime}}\colon A_{{\mathcal{X}}{\mathcal{X}}^{\prime}}\to\Delta({\mathcal{X}}) and r𝒳′​𝒳′′:A𝒳′​𝒳′′→Δ⁑(𝒳′)r_{{\mathcal{X}}^{\prime}{\mathcal{X}}^{\prime\prime}}\colon A_{{\mathcal{X}}^{\prime}{\mathcal{X}}^{\prime\prime}}\to\Delta({\mathcal{X}}^{\prime}) are both surjective, then so is r𝒳​𝒳′′:A𝒳​𝒳′′→Δ⁑(𝒳)r_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}\colon A_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}\to\Delta({\mathcal{X}}).

  • (d)

    If r𝒳​𝒳′:A𝒳​𝒳′→Δ⁑(𝒳)r_{{\mathcal{X}}{\mathcal{X}}^{\prime}}\colon A_{{\mathcal{X}}{\mathcal{X}}^{\prime}}\to\Delta({\mathcal{X}}) and r𝒳′​𝒳′′:A𝒳′​𝒳′′→Δ⁑(𝒳′)r_{{\mathcal{X}}^{\prime}{\mathcal{X}}^{\prime\prime}}\colon A_{{\mathcal{X}}^{\prime}{\mathcal{X}}^{\prime\prime}}\to\Delta({\mathcal{X}}^{\prime}) are both injective, then so is r𝒳​𝒳′′:A𝒳​𝒳′′→Δ⁑(𝒳)r_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}\colon A_{{\mathcal{X}}{\mathcal{X}}^{\prime\prime}}\to\Delta({\mathcal{X}}).

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