b-divisorial valuations and Berkovich positivity functions

Abstract

We prove semicontinuity properties for local positivity invariants of big and nef divisors. The usual definition of Seshadri constant and asymptotic order of vanishing along a subvariety is extended to include all seminorms in the Berkovich space, and we obtain semicontinuity of such constants as a function of the center seminorm. We use Shokurov's language of b-divisors; to each seminorm there is an associated b-divisor which can be used to translate questions about positivity into questions about the shape of certain cones of b-divisors. The theory works especially well for what we call b-divisorial valuations, a natural extension of the notion of divisorial valuations which encompasses, e.g., all Abhyankar valuations.

Lu Qi proved conjecture 3.19 in arxiv:2604.07252. Added a reference to it. Comments still very welcome!