ScalingStacks

Definition 4.70 . [02RH]

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

Definition 4.70.

Let 𝕋i\mathbb{T}_{i}, i=1,2i=1,2, be split tori over SS and ρ:𝕋1→𝕋2\rho\colon\mathbb{T}_{1}\to\mathbb{T}_{2} a morphism of algebraic group schemes. Let 𝒳i{\mathcal{X}}_{i} be toric schemes over SS with torus 𝕋i\mathbb{T}_{i} and let ΞΌi\mu_{i} denote the corresponding action. A morphism Ο†:𝒳1→𝒳2\varphi\colon{\mathcal{X}}_{1}\to{\mathcal{X}}_{2} is ρ\rho-equivariant if the diagram

𝕋1×𝒳1\textstyle{\mathbb{T}_{1}\times{\mathcal{X}}_{1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}ΞΌ1\scriptstyle{\mu_{1}}ρ×φ\scriptstyle{\rho\times\varphi}𝒳1\textstyle{{\mathcal{X}}_{1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}Ο†\scriptstyle{\varphi}𝕋2×𝒳2\textstyle{\mathbb{T}_{2}\times{\mathcal{X}}_{2}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}ΞΌ2\scriptstyle{\mu_{2}}𝒳2\textstyle{{\mathcal{X}}_{2}}

commutes. A morphism Ο†:𝒳1→𝒳2\varphi\colon{\mathcal{X}}_{1}\to{\mathcal{X}}_{2} is ρ\rho-toric if its restriction to 𝕋1,Ξ·\mathbb{T}_{1,\eta}, the torus over KK, coincides with that of ρ\rho.

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