ScalingStacks

Theorem 4.9 . [02PK]

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

Let 𝕋i\mathbb{T}_{i}, NiN_{i}, and Σi\Sigma_{i}, i=1,2i=1,2, be as above. Then the correspondence (p,H)↦φp,H(p,H)\mapsto\varphi_{p,H} is a bijection between

  1. (1)

    the set of pairs (p,H)(p,H), where H:N1→N2H\colon N_{1}\to N_{2} is a linear map such that for every cone σ1∈Σ1\sigma_{1}\in\Sigma_{1} there exists a cone σ2∈Σ2\sigma_{2}\in\Sigma_{2} with H⁡(σ1)⊂σ2H(\sigma_{1})\subset\sigma_{2}, and pp is a rational point of XΣ2,0​(K)X_{\Sigma_{2},0}(K),

  2. (2)

    the set of equivariant morphisms φ:XΣ1→XΣ2\varphi\colon X_{\Sigma_{1}}\to X_{\Sigma_{2}} whose image intersects the principal open subset of XΣ2X_{\Sigma_{2}}.

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