ScalingStacks

Remark 5.10 . [02F1]

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 5.10.

Assume XX is smooth. A class [ω][\omega] in H1​(X,𝒫​ℋX)H^{1}(X,\mathcal{PH}_{X}) will be called numerically base point free iff there exists a proper surjective holomorphic mapping X→YX\to Y, YY normal, such that [ω][\omega] is the pull back of a Kähler class on YY. This is a stronger condition than being semi-Kähler.

In the non-big case (i.e.: ∫Xωn=0\int_{X}\omega^{n}=0), it is straightforward to construct semi-Kähler classes that are not numerically base point free (e.g. on complex tori). On the other hand, it is still unknown whether there exists a smooth projective variety XX and a semi-Kähler form ω\omega which is big without being numerically base point free.

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