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.
Source coverage notes 9 original structured objects have an unresolved mathematical role; their permanent tags identify source occurrences only. Complete original source context Β· Original author HTML
Definition 4.5 .
Let D D be a divisor on X X with
h 0 β ( X , πͺ X β ( m β D ) ) β 0 h^{0}(X,{\mathcal{O}}_{X}(mD))\neq 0 for some m > 0 m>0 .
Define the asymptotic test ideal of exponent Ξ» β β β₯ 0 \lambda\in\mathbb{R}_{\geq 0}
associated with X X and D D as
Ο β‘ ( Ξ» β
β D β ) := Ο β‘ ( π β Ξ» ) \tau(\lambda\cdot\|D\|):=\tau({\mathfrak{a}}_{\bullet}^{\lambda})
where π β {\mathfrak{a}}_{\bullet} denotes the graded sequence of
base ideals for D D , i.e.Β π m {\mathfrak{a}}_{m} is the image of the
natural map
H 0 β ( 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 D D is a β \mathbb{Q} -divisor such that
h 0 β ( X , πͺ X β ( m β D ) ) β 0 h^{0}(X,{\mathcal{O}}_{X}(mD))\neq 0 for some positive integer
m m such that m β D mD 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 β D rD has integral coefficients.