ScalingStacks

Definition 4.77 . [02RQ]

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

Let 𝒳{\mathcal{X}} be a toric scheme and β„’{\mathcal{L}} a line bundle on 𝒳{\mathcal{X}}. A toric structure on β„’{\mathcal{L}} is the choice of an element zz of the fibre β„’x0{\mathcal{L}}_{x_{0}}, where x0βˆˆπ’³Ξ·x_{0}\in{\mathcal{X}}_{\eta} is the distinguished point. A toric line bundle on 𝒳{\mathcal{X}} is a pair (β„’,z)({\mathcal{L}},z), where β„’{\mathcal{L}} is a line bundle over 𝒳{\mathcal{X}} and vv is a toric structure on β„’{\mathcal{L}}. Frequently, when the toric structure is clear from the context, the element zz will be omitted from the notation and a toric line bundle will be denoted by the underlying line bundle. A toric section is a rational section that is regular and non vanishing over the principal open subset X0βŠ‚π’³Ξ·X_{0}\subset{\mathcal{X}}_{\eta} and such that s⁑(x0)=zs(x_{0})=z. Exactly as in the case of toric varieties over a field, each 𝕋\mathbb{T}-Cartier divisor defines a toric line bundle π’ͺ⁑(D){\mathcal{O}}(D) together with a toric section. When the 𝕋\mathbb{T}-Cartier divisor comes from an H-lattice function ψ\psi, the toric line bundle and toric section will be denoted β„’Οˆ{\mathcal{L}}_{\psi} and sψs_{\psi} respectively.

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