ScalingStacks

Definition 4.5 . [0399]

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

Let DD be a divisor on XX with h0​(X,π’ͺX​(m​D))β‰ 0h^{0}(X,{\mathcal{O}}_{X}(mD))\neq 0 for some m>0m>0. Define the asymptotic test ideal of exponent Ξ»βˆˆβ„β‰₯0\lambda\in\mathbb{R}_{\geq 0} associated with XX and DD as

τ⁑(Ξ»β‹…β€–Dβ€–):=τ⁑(π”žβˆ™Ξ»)\tau(\lambda\cdot\|D\|):=\tau({\mathfrak{a}}_{\bullet}^{\lambda})

where π”žβˆ™{\mathfrak{a}}_{\bullet} denotes the graded sequence of base ideals for DD, i.e.Β π”žm{\mathfrak{a}}_{m} is the image of the natural map

H0​(X,π’ͺ⁑(m​D))βŠ—kπ’ͺX​(βˆ’m​D)β†’π’ͺX.H^{0}(X,{\mathcal{O}}(mD))\otimes_{k}{\mathcal{O}}_{X}(-mD)\to{\mathcal{O}}_{X}.

If DD is a β„š\mathbb{Q}-divisor such that h0​(X,π’ͺX​(m​D))β‰ 0h^{0}(X,{\mathcal{O}}_{X}(mD))\neq 0 for some positive integer mm such that m​DmD is a usual divisor then we put τ⁑(Ξ»β‹…β€–Dβ€–):=τ⁑(Ξ»/rβ‹…β€–r​Dβ€–)\tau(\lambda\cdot\|D\|):=\tau(\lambda/r\cdot\|rD\|) for some rβˆˆβ„•r\in\mathbb{N} such that r​DrD has integral coefficients.

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