ScalingStacks

Remark 4.36 . [02QD]

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

Remark 4.36.

If LL is a toric line bundle on XΣ2X_{\Sigma_{2}} and φ\varphi is a toric morphism, then φ∗​L\varphi^{\ast}L has an induced toric structure. Namely, φ∗​(L,z)=(φ∗​L,φ∗​z)\varphi^{\ast}(L,z)=(\varphi^{\ast}L,\varphi^{\ast}z). By contrast, if φ:XΣ1→XΣ2\varphi\colon X_{\Sigma_{1}}\to X_{\Sigma_{2}} is a general equivariant morphism that meets the principal open subset, there is no natural toric structure on φ∗​L\varphi^{\ast}L, because the image of the distinguished point x1,0x_{1,0} does not need to agree with x2,0x_{2,0}. If (L,s)(L,s) is a toric line bundle equipped with a toric section, then we set φ∗​(L,s)=((φ∗​L,(φ∗​s)​(x1,0)),φ∗​s)\varphi^{\ast}(L,s)=((\varphi^{\ast}L,(\varphi^{\ast}s)(x_{1,0})),\varphi^{\ast}s). However, the underlying toric bundle of φ∗​(L,s)\varphi^{\ast}(L,s) depends on the choice of the toric section.

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