---- 最近从Step6倒着向前复习.
---- 今天来到Step3,又遇到引理5.4.
.
引理5.4 的叙述.
---- 主配置:X (smooth, projective).
---- 副配置:A (very ample, Aᵈ ≤ r).
---- 附加:L ≥ 0 (lR-divisor, degAL≤ r).
---- 结果:存在 t 使得 (X, tL) is klt.
评论:原作提示,这是Th1.6 的“baby version”.
(Th1.6相当于这篇文章的“CEO”).
.
图解:
A L
.
X ?
注:按顺时针,王(X)、侯、将、相(空缺).
.
评论:该引理有两个“标识”条件:
---- Aᵈ ≤ r 和 degAL ≤ r.
---- 其中 degAL 的定义是 Aᵈ⁻¹L.
---- 不妨称 Aᵈ 为“权”,degAL为 “力”.
---- 则两个条件可合称为 “有限权力”.
.
加评:该引理的主题是 “找丞相”。
---- 最终把 “将” 转化成了 “相”:L ~> tL.
.
小结:引理可看作构造 klt-配对 的途径.