ScalingStacks

4.3. Induced maps between hybrid spaces [0166]

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

4.3. Induced maps between hybrid spaces

To any snc model 𝒳{\mathcal{X}} of XX we associated in §2 a hybrid space 𝒳hyb=X​∐Δ⁡(𝒳){\mathcal{X}}^{\mathrm{hyb}}=X\coprod\Delta({\mathcal{X}}). Let us briefly recall the topology on 𝒳hyb{\mathcal{X}}^{\mathrm{hyb}} in the present context. Extend π:X→𝔻∗\pi\colon X\to{\mathbb{D}}^{*} to a map

π:𝒳hyb→𝔻\pi\colon{\mathcal{X}}^{\mathrm{hyb}}\to{\mathbb{D}}

by declaring π=0\pi=0 on Δ⁡(𝒳)\Delta({\mathcal{X}}). For 0<r≤10<r\leq 1, define 𝒳𝔻r:=π−1​(𝔻r){\mathcal{X}}_{{\mathbb{D}}_{r}}:=\pi^{-1}({\mathbb{D}}_{r}). The construction in §2 yields, for 0<r≪10<r\ll 1, a tropicalization map

log𝒳:𝒳𝔻r→Δ⁡(𝒳)\log_{\mathcal{X}}\colon{\mathcal{X}}_{{\mathbb{D}}_{r}}\to\Delta({\mathcal{X}})

uniquely defined up to an additive error term of size O⁡((log⁡|t|)−1)O((\log|t|)^{-1}). The topology on 𝒳hyb{\mathcal{X}}^{\mathrm{hyb}} is the coarsest one such that log𝒳\log_{\mathcal{X}} is continuous, π\pi is continuous, and the inclusion X⊂𝒳hybX\subset{\mathcal{X}}^{\mathrm{hyb}} is an open embedding.

Now suppose 𝒳′{\mathcal{X}}^{\prime} and 𝒳{\mathcal{X}} are snc models, with 𝒳′{\mathcal{X}}^{\prime} dominating 𝒳{\mathcal{X}} via ρ:𝒳′→𝒳\rho\colon{\mathcal{X}}^{\prime}\to{\mathcal{X}}. Define the map ρhyb:𝒳′hyb→𝒳hyb\rho^{\mathrm{hyb}}\colon{\mathcal{X}}^{\prime\mathrm{hyb}}\to{\mathcal{X}}^{\mathrm{hyb}} to be the identity on X⊂𝒳′X\subset{\mathcal{X}}^{\prime} and equal to the map r𝒳​𝒳′r_{{\mathcal{X}}{\mathcal{X}}^{\prime}} on Δ⁡(𝒳′)\Delta({\mathcal{X}}^{\prime}) defined in §4.2.

Proposition 4.8.

The map ρhyb\rho^{\mathrm{hyb}} is continuous and surjective. Further, we have

Log𝒳∘ρhyb=r𝒳​𝒳′∘Log𝒳′+O⁡((log⁡|t|)−1)\operatorname{Log}_{\mathcal{X}}\circ\rho^{\mathrm{hyb}}=r_{{\mathcal{X}}{\mathcal{X}}^{\prime}}\circ\operatorname{Log}_{{\mathcal{X}}^{\prime}}+O((\log|t|)^{-1}) (4.2)

on X𝔻r∗X_{{\mathbb{D}}^{*}_{r}} for 0<r≪10<r\ll 1.

Proof.

Surjectivity follows from Proposition 4.3, and continuity from (4.2) after unwinding the definitions. It remains to establish (4.2). Consider any point ξ′∈𝒳0\xi^{\prime}\in{\mathcal{X}}_{0} and set ξ=π⁡(ξ′)\xi=\pi(\xi^{\prime}). We can find adapted coordinate charts (𝒰′,z′)({\mathcal{U}}^{\prime},z^{\prime}) at ξ′\xi^{\prime} on 𝒳′{\mathcal{X}}^{\prime} and (𝒰,z)({\mathcal{U}},z) at ξ\xi on 𝒳{\mathcal{X}} such that ρ⁡(𝒰′)⊂𝒰\rho({\mathcal{U}}^{\prime})\subset{\mathcal{U}} and such that the following holds: t=∏i=0pzibit=\prod_{i=0}^{p}z_{i}^{b_{i}} in 𝒰{\mathcal{U}}, t=∏j=0p′(zj′)bj′t=\prod_{j=0}^{p^{\prime}}(z^{\prime}_{j})^{b^{\prime}_{j}} in 𝒰′{\mathcal{U}}^{\prime} and ρ∗​zi=∏j(zj′)ai​j\rho^{*}z_{i}=\prod_{j}(z^{\prime}_{j})^{a_{ij}}. Since the map r𝒳​𝒳′r_{{\mathcal{X}}{\mathcal{X}}^{\prime}} is given by (4.1), the result now follows from Proposition 2.1. ∎

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