ScalingStacks

Theorem 4.81 . [02RW]

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

Theorem 4.81.

Let Σ\Sigma be a complete fan in NℝN_{\mathbb{R}} and Ψ\Psi a virtual support function on Σ\Sigma. Then the correspondence (Π,ψ)↦(𝒳Π,Dψ)(\Pi,\psi)\mapsto({\mathcal{X}}_{\Pi},D_{\psi}) is a bijection between:

  • ∙\bullet

    the set of pairs (Π,ψ)(\Pi,\psi), where Π\Pi is a complete SCR polyhedral complex in NℝN_{\mathbb{R}} with rec⁡(Π)\operatorname{rec}(\Pi)= Σ\Sigma and ψ\psi is an H-lattice function on Π\Pi such that rec⁡(ψ)=Ψ\operatorname{rec}(\psi)=\Psi;

  • ∙\bullet

    the set of isomorphism classes of toric models (𝒳,D)({\mathcal{X}},D) of (XΣ,DΨ)(X_{\Sigma},D_{\Psi}).

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