Theorem 1.1 . [0595]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Theorem 1.1.
Let be an -dimensional proper algebraic variety over , a formally metrized line bundle on and an open face of dimension of a skeleton corresponding to a strictly semistable formal model of on which has a formal model . Let be a continuous function on such that is a semipositive metric. Suppose that factorizes through the retraction onto the skeleton. Then
on where denotes the real Monge-Ampère operator on which is considered to be a measure on by pushforward via the inclusion and denotes the point in the special fibre of which is the image of under the reduction map.