Zhang introduced semipositive metrics on a line bundle of a proper variety. In this paper, we generalize such metrics for a line bundle $L$ of a paracompact strictly $K$-analytic space $X$ over any non-archimedean field $K$. We prove various properties in this setting such as density of piecewise $\mathbb{Q}$-linear metrics in the space of continuous metrics on $L$. If $X$ is proper scheme, then we show that algebraic, formal and piecewise linear metrics are the same. Our main result is that on a proper scheme $X$ over an arbitrary non-archimedean field $K$, the set of semipositive model metrics is closed with respect to pointwise convergence generalizing a result from Boucksom, Favre and Jonsson where $K$ was assumed to be discretely valued with residue characteristic $0$.
Ample vector bundles without Griffiths-semipositive metrics
Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）
For a projective variety $X$ defined over a non-Archimedean complete non-trivially valued field $k$, and a semipositive metrized line bundle $(L, ϕ)$ over it, we establish a metric extension result for sections of $L^{\otimes n}$ from a sub-variety $Y$ to $X$. We form normed section algebras from $(L, ϕ)$ and study their Berkovich spectra. To compare the supremum algebra norm and the quotient algebra norm on the restricted section algebra $V(L_{X|Y})$, two different methods are used: one exploits the holomorphic convexity of the spectrum, following an argument of Grauert; another relies on fin…
Let L be an ample line bundle on a smooth projective variety X over a non-archimedean field K. For a continuous metric on L, we show in the following two cases that the semipositive envelope is a continuous semipositive metric on L and that the non-archimedean Monge-Ampère equation has a solution. First, we prove it for curves using results of Thuillier. Second, we show it under the assumption that X is a surface defined geometrically over the function field of a curve over a perfect field k of positive characteristic. The second case holds in higher dimensions if we assume resolution of singu…
We investigate the complex analytic structure of the complement of a non-singular hypersurface with unitary flat normal bundle when the corresponding line bundle admits a Hermitian metric with semipositive curvature.
Given a Kähler fiber space $p:X\to Y$ whose generic fiber is of general type, we prove that the fiberwise singular Kähler-Einstein metric induces a semipositively curved metric on the relative canonical bundle $K_{X/Y}$ of $p$. We also propose a conjectural generalization of this result for relative twisted Kähler-Einstein metrics. Then we show that our conjecture holds true if the Lelong numbers of the twisting current are zero. Finally, we explain the relevance of our conjecture for the study of fiber-wise Song-Tian metrics (which represent the analogue of KE metrics for fiber spaces whose g…
Let $X$ be a normal projective variety over a complete discretely valued field and $L$ a line bundle on $X$. We denote by $X^\textrm{an}$ the analytification of $X$ in the sense of Berkovich and equip the analytification $L^\textrm{an}$ of $L$ with a continuous metric $\| \ \|$. We study non-archimedean volumes, a tool which allows us to control the asymptotic growth of small sections of big powers of $L$. We prove that the non-archimedean volume is differentiable at a continuous semipositive metric and that the derivative is given by integration with respect to a Monge-Ampère measure. Such a …
