ScalingStacks

Proof. [02PL]

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

Proof.

For a point p∈XΣ2,0​(K)=𝕋2​(K)p\in X_{\Sigma_{2},0}(K)=\mathbb{T}_{2}(K), let tp:X2→X2t_{p}\colon X_{2}\to X_{2} be the morphism induced by the toric action. Denote by x1,0∈XΣ1​(K)x_{1,0}\in X_{\Sigma_{1}}(K) the distinguished point of the principal open subset of XΣ1X_{\Sigma_{1}}. The correspondence φ↦(tφ⁡(x1,0)−1∘φ,φ⁡(x1,0))\varphi\mapsto(t_{\varphi(x_{1,0})}^{-1}\circ\varphi,\varphi(x_{1,0})) establishes a bijection between 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}} and the set of pairs (ϕ,p)(\phi,p), where ϕ:XΣ1→XΣ2\phi\colon X_{\Sigma_{1}}\to X_{\Sigma_{2}} is a toric morphism and p∈XΣ2,0​(K)p\in X_{\Sigma_{2},0}(K) is a rational point in the principal open subset. Then the result follows from [Oda88, Theorem 1.13]. ∎

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