ScalingStacks

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 XX a projective algebraic manifold of general type such that R(X):=⊕n∈ℕH0(X,𝒪X(nKX))R(X):=\oplus_{n\in\mathbb{N}}H^{0}(X,\mathcal{O}_{X}(nK_{X})) is finitely generated, XX has a unique birational model VV such that the above hypotheses hold. Thus we have a birational map π:X⇢V\pi:X\dashrightarrow V which is well defined outside an indeterminacy locus SS of codimension ≤2\leq 2. In particular π∗​(ω+d​dc​φ)\pi^{*}(\omega+dd^{c}\varphi) is a closed positive current on X−SX-S that extends to a closed positive current TT on XX itself. The current TT defines a KE metric on X−SX-S. It needs not be a singular KE metric on XX though, since its potentials may have logarithmic poles on SS, in fact algebraic singularities of the form α​log⁡(∑|fi|2)+O⁡(1)\alpha\log(\sum|f_{i}|^{2})+O(1) fif_{i} holomorphic and α∈ℚ>0\alpha\in\mathbb{Q}_{>0}. Moreover, TT lies in the canonical class of XX iff XX is a smooth minimal model as in [Ts].

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.