On the local theory of non-archimedean psh functions
The purposes of this paper are two-folded. First, we define a class of local psh functions on Berkovich spaces, and study their properties. In particular, we show that this class of psh functions is equivalent on the one hand to the one defined by Chambert-Loir--Ducros, and is equivalent on the other hand to the class of global psh functions of Boucksom--Favre--Jonsson on projective varieties satisfying the envelope property. Second, making use of our local theory of non-archimedean psh functions, we prove the envelope conjecture for projective normal varieties over a discretely or trivially valued non-archimedean field of residue characteristic zero.
math.AG↗