Definition 7.11 . [02G4] Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes 1 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Definition 7.11 .
Let ( V , Δ ) (V,\Delta) be a klt compact Kähler pair.
The pair ( V , Δ ) (V,\Delta) is said to be ℚ \mathbb{Q} -CY, iff
there is some multiple N ′ N^{\prime} of i n d e x ( X , Δ ) index(X,\Delta) such that
H 0 ( V , 𝒪 V ( N ′ ( K V + Δ ) ) ) = ℂ α H^{0}(V,\mathcal{O}_{V}(N^{\prime}(K_{V}+\Delta)))=\mathbb{C}\alpha where α \alpha is
a global generator of 𝒪 V ( N ′ ( K V + Δ ) ) \mathcal{O}_{V}(N^{\prime}(K_{V}+\Delta)) .
The pair ( V , Δ ) (V,\Delta) is canonically polarized
iff K V + Δ K_{V}+\Delta is ample.