Toric irrelevant ideal ($B_{\Sigma }$)

For the polynomial Cox ring $S=k[z_{\rho }]$ of a normal split toric variety whose toric rays span the ambient real toric lattice space, the toric irrelevant ideal isThe Cox construction uses the open set $\mathrm{Spec}S\setminus V(B_{\Sigma })$. For the projective line, the two maximal toric cones give generators $z_0,z_1$, so the excluded locus is the origin. For affine space, one maximal toric cone contains every toric ray; the empty product is one, hence $B=(1)$ and nothing is excluded.

The ray-span/no-torus-factor hypothesis belongs to this polynomial presentation. A pure algebraic torus has no toric rays and requires its algebraic torus coordinates in addition to the displayed polynomial data.^[ref]

// Target: geometry-and-topology.bigb