ScalingStacks

Definition 4.2 . [015W]

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

With notation as above, we say that σ′\sigma^{\prime} is active for r𝒳​𝒳′r_{{\mathcal{X}}{\mathcal{X}}^{\prime}} if the restriction ρ|Y′:Y′→Y\rho|_{Y^{\prime}}\colon Y^{\prime}\to Y is a bimeromorphic morphism and the ℚ{\mathbb{Q}}-linear map defining r𝒳​𝒳′|σ′r_{{\mathcal{X}}{\mathcal{X}}^{\prime}}|_{\sigma^{\prime}} is an isomorphism. In this case, σ′\sigma^{\prime} and σ\sigma have the same dimension, and r𝒳​𝒳′r_{{\mathcal{X}}{\mathcal{X}}^{\prime}} maps σ′\sigma^{\prime} homeomorphically onto a ℤ{\mathbb{Z}}-subsimplex of σ\sigma of the same dimension.

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