ScalingStacks

Proposition-Definition 4.79 . [02RS]

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-Definition 4.79.

We say that two toric models (𝒳i,Di,ei)({\mathcal{X}}_{i},D_{i},e_{i}), i=1,2i=1,2, are equivalent, if there exists a toric model (𝒳′,Dβ€²,eβ€²)({\mathcal{X}}^{\prime},D^{\prime},e^{\prime}) of (XΞ£,DΞ¨)(X_{\Sigma},D_{\Psi}) and morphisms of toric models Ξ±i:𝒳′→𝒳i\alpha_{i}\colon{\mathcal{X}}^{\prime}\to{\mathcal{X}}_{i}, i=1,2i=1,2, such that e′​αiβˆ—β€‹Di=ei​Dβ€²e^{\prime}\alpha_{i}^{\ast}D_{i}=e_{i}D^{\prime}. This is an equivalence relation.

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