ScalingStacks

Definition 4.7 . [02PJ]

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

Let 𝕋i≃𝔾mni\mathbb{T}_{i}\simeq\mathbb{G}_{m}^{n_{i}}, i=1,2i=1,2, be split tori over KK, and ρ:𝕋1→𝕋2\rho\colon\mathbb{T}_{1}\to\mathbb{T}_{2} a group morphism. Let XiX_{i}, i=1,2i=1,2, be toric varieties with torus 𝕋i\mathbb{T}_{i}. A morphism Ο†:X1β†’X2\varphi\colon X_{1}\to X_{2} is ρ\rho-equivariant if the diagram

𝕋1Γ—X1\textstyle{\mathbb{T}_{1}\times X_{1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces\ignorespaces}ΞΌ\scriptstyle{\mu}ρ×φ\scriptstyle{\rho\times\varphi}X1\textstyle{X_{1}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}Ο†\scriptstyle{\varphi}𝕋2Γ—X2\textstyle{\mathbb{T}_{2}\times X_{2}\ignorespaces\ignorespaces\ignorespaces\ignorespaces}ΞΌ\scriptstyle{\mu}X2\textstyle{X_{2}}

is commutative. A morphism Ο†:X1β†’X2\varphi\colon X_{1}\to X_{2} is ρ\rho-toric if its restriction to 𝕋1\mathbb{T}_{1} agrees with ρ\rho. We say that Ο†\varphi is equivariant or toric if it is ρ\rho-equivariant or ρ\rho-toric, respectively, for some ρ\rho.

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