ScalingStacks

Lemma 8 [029M]

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

Lemma 8

. Let XX be a compact Kähler manifold and χ∈H1,1​(X,ℝ)\chi\in H^{1,1}(X,\mathbb{R}) a class which is nef and big. Then for all T∈χ>0a​sT\in\chi^{as}_{>0} there exists a log resolution μ\mu of the coherent ideal sheaf 𝒥k​T{\cal J}^{kT}, μ∗​𝒥k​T=𝒪⁡(−D)\mu^{*}{\cal J}^{kT}={\cal O}(-D), an effective divisor D′D^{\prime} with |D′|=|D||D^{\prime}|=|D| and r∈ℕ>0r\in\mathbb{N}_{>0} such that the class μ∗​χ−2​π​r−1​{D′}\mu^{*}\chi-2\pi r^{-1}\{D^{\prime}\} is Kähler.

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