Definition 5.0.1 . [04QG]

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

Let $\tau^{\prime}$ be a face of $\mathcal{D}(\mathscr{X}^{\prime}_{0})$ . We say $\tau^{\prime}$ is active for $r_{\mathscr{X}^{\prime}\mathscr{X}}$ if:

-

$h:Y^{\prime}\longrightarrow Y$ is a bimeromorphic morphism,
-

the $\mathbb{Q}$ -linear map inducing $r_{\mathscr{X}^{\prime}\mathscr{X}}:\tau^{\prime}\longrightarrow\tau$ is an isomorphism.