Remark 7.9 . [02G0]
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
Remark 7.9.
Thanks to Theorem 5.4, for a projective algebraic manifold of general type such that is finitely generated, has a unique birational model such that the above hypotheses hold. Thus we have a birational map which is well defined outside an indeterminacy locus of codimension . In particular is a closed positive current on that extends to a closed positive current on itself. The current defines a KE metric on . It needs not be a singular KE metric on though, since its potentials may have logarithmic poles on , in fact algebraic singularities of the form holomorphic and . Moreover, lies in the canonical class of iff is a smooth minimal model as in [Ts].