Corollary 7.4 . [039R]
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
Corollary 7.4.
Let be a smooth -dimensional projective variety over with a closed -form . Let be a line bundle on a -model of defining and with ample. We assume that is the base change of for a line bundle of a projective integral scheme over a subring of and that is a discrete valuation ring defined geometrically by a -dimensional normal variety over a perfect field (as in Remark 7.2). If resolution of singularities holds over in dimension , then is a uniform limit of -psh model functions and hence is continuous on .