Stability of test ideals of divisors with small multiplicity (Q1745302): Difference between revisions

Starting from the pioneering work by \textit{K. E. Smith} [Commun. Algebra 28, No. 12, 5915--5929 (2000; Zbl 0979.13007)], where she exhibited likely for the first time the analogy under certain assumptions between multiplier and test ideals, several researchers have tried to, on the one hand, make this connection more explicit and, on the other hand, prove properties for test ideals that were previously known for multiplier ideals and conversely. Roughly speaking, one important property that multiplier ideals is that they are stable under its perturbation by any \(\mathbb{R}\)-divisor with small multiplicity (see [\textit{R. Lazarsfeld}, Positivity in algebraic geometry. II. Positivity for vector bundles, and multiplier ideals. Berlin: Springer (2004; Zbl 1093.14500)] (Proposition 9.5.13) for details). Keeping in mind this fact, one might ask whether a similar statement holds for test ideals. In the paper under review, the author proves (see Corollary 3.16) the following result: let \(X\) be an \(F\)-finite Noetherian normal scheme of prime characteristic \(p\), let \(\Delta\) be a Weil \(\mathbb{R}\)--divisor on \(X,\) and let \(P\) be a point of \(X.\) Then, there is \(\delta>0\) such that \[ \tau (X,\Delta +E)_P=\tau (X,\Delta)_P \] for any effective Cartier \(\mathbb{R}\)-divisor \(E\) such that \(\text{mult}_P (E)<\delta,\) where \(\text{mult}_P (E)\) denotes the multiplicity of \(E\) at \(P,\) as defined by the author at Definition 3.15. As application, he uses this result to recover and extend (see Theorem 1.2 and Corollary 4.8 for details) in the singular case an earlier statement proved by \textit{M. Mustaţă} [Clay Math. Proc. 18, 535--551 (2013; Zbl 1317.13011)] about the non-nef locus of a Cartier \(\mathbb{R}\)-divisor.