ScalingStacks

Definition B.4 . [01I2]

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 B.4.

Let ๐’ณ\mathcal{X} be a regular model and let ๐”ž\mathfrak{a} be a vertical ideal sheaf on ๐’ณ\mathcal{X}. For each rational number c>0c>0 the multiplier ideal of ๐”žc\mathfrak{a}^{c} is the vertical ideal sheaf of ๐’ณ\mathcal{X} defined as

๐’ฅโก(๐”žc):=ฯ€โˆ—โ€‹๐’ช๐’ณโ€ฒโ€‹(K๐’ณโ€ฒ/๐’ณโˆ’โŒŠcโ€‹DโŒ‹)\mathcal{J}(\mathfrak{a}^{c}):=\pi_{*}\mathcal{O}_{\mathcal{X}^{\prime}}\left(K_{\mathcal{X}^{\prime}/\mathcal{X}}-\lfloor c\,D\rfloor\right)

where ฯ€:๐’ณโ€ฒโ†’๐’ณ\pi:\mathcal{X}^{\prime}\to\mathcal{X} is a vertical blow-up with ๐’ณโ€ฒ\mathcal{X}^{\prime} SNC such that ฯ€โˆ’1โ€‹๐”žโ‹…๐’ช๐’ณโ€ฒ\pi^{-1}\mathfrak{a}\cdot\mathcal{O}_{\mathcal{X}^{\prime}} is locally principal and DโˆˆDiv0โก(๐’ณโ€ฒ)D\in\Div_{0}(\mathcal{X}^{\prime}) is the corresponding effective Cartier divisor.

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