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 is active for if the restriction is a bimeromorphic morphism and the -linear map defining is an isomorphism. In this case, and have the same dimension, and maps homeomorphically onto a -subsimplex of of the same dimension.