ScalingStacks

Proposition 4.1 . [00F8]

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

Proposition 4.1.

Let XX be a projective Calabi-Yau n−n-fold, and α∈N1​(X)ℝ\alpha\in N^{1}(X)_{\mathbb{R}} a big and nef class that is not ample. Then there exists ω∈α\omega\in\alpha a smooth real (1,1)(1,1) form that is pointwise nonnegative. Moreover if αt:[0,1]→𝒦¯N​S\alpha_{t}:[0,1]\to\overline{\mathcal{K}}_{NS} is a smooth path such that αt∈𝒦N​S\alpha_{t}\in\mathcal{K}_{NS} for t<1t<1 and α1=α\alpha_{1}=\alpha, then we can find a continuous family of Kähler forms βt∈αt\beta_{t}\in\alpha_{t}, t<1t<1, such that βt→ω\beta_{t}\to\omega in the C∞C^{\infty} topology as tt approaches 11.

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