博文
有时候，没进展也是一种进展...
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
Step 7.
1. (Y, (1 - eps')T) klt ==> (Y, T) lc.
2. T mapped to closed x ==> AY|T ~ 0.
3. 存在 n 和 0 ≤ PY ~ (n + 1)lAY - n(KY + T).
4. (Y, ΛY:= T + 1/nPY) lc near T.
5. pushdown (ΛY) = Λ.
6. n(KY + ΛY) ~ (n + 1)lAY ~ 0/X.
7. KY + ΛY pullback Kx + Λ.
8. T = φ⁻¹{x} ==> (X, Λ) lc near x.
9. nΛ integral.
10. Kx + Λ ~Q (n + 1)/n l A.
11. 2lA - (Kx + Λ) ample.
12 存在 m ==> mA - Λ ample.
13. a(T, X, Λ) = a(T, Y, ΛY) = 0.
14. T is lc place of (X, Λ).
注: 1,2,Th1.7 ==> 3, 4; 5, 6 ==> 7; 8; 9,10 ==> 11 ==> 12; 13 ==> 14.
.
评论: 标注了几处难点(6,8,11,12).
.
几点考察.
1a. Y 是从哪来的?
---- 最早出现在 Step4.
1b. (Y, (1 - eps')T) klt 显得突兀.
---- 系首次出现 (Step1 首次出现类似配对).
---- 此前在 Step5 以“运算形”出现.
---- 起因是 eps'-通引起的eps'-锻.(含此运算形).
---- 原作如何得知它是 klt ?
1c. Step7首句 与 Step1 首句呼应.
.
小结: 命题5.9就温习到这里.
https://blog.sciencenet.cn/blog-315774-1183392.html
上一篇：运用“熵杠杆”...
下一篇：❄要经常总结规律
