ScalingStacks

Proposition 1.18 . [04RV]

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

Proposition 1.18.

The hypersurface VV is disjoint from the points (i.e. the 0-dimensional toric varieties) corresponding to the vertices of Δ\Delta, but intersects all the tori corresponding to any positive-dimensional face of Δ\Delta.

Furthermore, this property characterizes ℂ​TΔ\mathbb{C}T_{\Delta} in the following sense. Let Δ¯\bar{\Delta} be a convex lattice polyhedron in ℝn+1\mathbb{R}^{n+1} with a non-empty interior and V¯\bar{V} be the closure of V∘{V}^{\circ} in ℂ​TΔ¯⊃(ℂ∗)n+1\mathbb{C}T_{\bar{\Delta}}\supset(\mathbb{C}^{*})^{n+1}. If a hypersurface V¯\bar{V} is disjoint from the points corresponding to the vertices of Δ¯\bar{\Delta} but intersects all the tori corresponding to positive-dimensional faces of Δ¯\bar{\Delta} then ℂ​TΔ¯=ℂ​TΔ\mathbb{C}T_{\bar{\Delta}}=\mathbb{C}T_{\Delta}.

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