Theorem 8.2 . [039X]
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 8.2.
Let be a smooth -dimensional projective variety over of geometric origin from a -dimensional family over a perfect field . Assume that resolution of singularities holds over in dimension . If is a closed -form on with ample de Rham class and if , then is a uniform limit of -psh model functions and thus is continuous on .