随机温习...
(接前: 11 10 05b) “机甲大战” (Pro5.9) 的证明. .
Step3. 概述.
1. (W, Γw) klt ~> MMP(Kw + Γw) ~> Y'.
2. Kw + Γw ≡ G/X ~> Y' --> X o.c. 同构.
(G 提示 MMP 压缩正分量, “正” 提示负性引理).
3. Kw + Γw ≡ (1 + v)U~+ F/X ~>MMP不压缩 T.
((1 + v)U~+ F 提示 T 不是其分量, 压缩不着).
4. [eR] + bpf ~> 2-团(Y') s.a.
.
评论: 3.1的输出 Y' 恰好着落 2-团.
.
Step4. 概述.
1. 令φ: Y --> X ebc T.
2. 则 Y --> Y' 非压缩, o.c. 同构 (over X).
--
3. 令 C 为 Y 上的曲线.
* 假定 C 压缩 (over X) ~> C 生成 eR(Y --> X).
4. a(T, X, B)≥ eps > eps' =a(T, X, U) ~> μTφ*tL ≥ eps - eps'.
5. L~·C > 0 (T·C < 0).
6.2-团·C= 国·C = vU~·C ≥ vtL~·C> 0.
* 假定 C 不压缩 (over X)
7. Y' --> Y 同构(over g.p.C), 2-团(Y') s.a. ~> 2-团·C > 0.
--
8. 2-团 nef, 并在eR(Y-->X)上正.
9. A v.a. ~> 3-团 a.(因正截交Y上每个eR).
.
评论: 主空间为 Y, 着落 3-团.
.
小结: Step3 起于 “方” (W, Γw) klt, 而Step4 起于“法”φ: Y --> X.