问题众多,可围而猎之。
Step5.
1. (V, Γv) klt.
2. MMP(Kv + Γv|X) ~> π: Y --> X.
3. Kv + Γv ≡ G/X, G ~ exceptional/X.
4. q[G] contracted.(q>0).
5. π ~ isomorphism c.c.
6. Kv + Γv ≡ tB~ + F/X; T ≠ [tB~ + F].
7. T not contracted.
8. Len[extre-rays] 有界[17]; base point free .
9. KY + ΓY + 3dAY ~ nb & semi-ample (全局).
10. 取 0 ≤ DY ~R 1/t(KY + ΓY + 3dAY).
(DY诸分量系数 ≤ 1 - eps).
11. KY + ΓY = π*(Kx + B) + tB~ + FY.
(注意下标为 Y,而不是 V).
12. 1/t (KY + ΓY + 3dAY)
= 1/t π*(Kx + B + 3dA) + B~ + 1/t FY.
13. DY = π*H + B~ + 1/t FY.
H ~R 1/t (Kx + B + 3dA).
14. D = H + B.
注:3 ==> 4 ==> 5; 6 ==> 7; 8 ==> 9; 11 ==> 12; 10,12 ==> 13 ==> 14.
评论:Step5的主旨是得到 D的显示表达.
.
小结:Step5推导不祥,须各个击破...
符号大全、上下标.|| 常用:↑↓ π ΓΔΛΘΩμφΣ∈ ∉ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ≡ ⁻⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .