博文
找不到起点，就回到大思路。
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
Step6.
1. KY + B~ + RY = π*(Kx + B).
2. KY + RY + DY - 1/t FY = KY + RY + B~ + π*H
= π*(Kx + B + H) = π*(Kx + D).
3. (X, B) eps-lc ==> (Y, B~ + RY) sub-eps-lc.
4. (Y, RY + DY - 1/t FY) sub-eps-lc.
5. DY g-semi-ample, (DY) ≤ 1 - eps, FY ≥ 0.
注：(·) 表示除子 “·” 的系数.
6. (X, D) eps-lc.
7. T ∉ [B~ + FY + DY].
8. a(T, X, D) = 1 - μT(RY + DY - 1/t FY)
= 1 - μTRY = 1 - μT(B~ + RY) = a(T, X, B) ≤ 1.
9. π isomorphism c.c.
10. SuppD 禁⁺ (X, Λ).
11. D ~R 1/t (Kx + B + 3dA) + B.
12. A - B ample.
13. 存在 m=m(d,r,t), mA - D ample.
注：1 ==> 2(?); 3, 5 ==> 4 ==> 6; 7 ==> 8; 9 ==> 10; 11, 12 ==> 13.
(Step6 出现了5个“since”).
.
问题：Step6 真正的起点在哪里?
---- 可能是从 π*(Kx + D) 倒推出来的.
---- 显然，1 的出现是突兀的.
---- 它该有个自然的起点.
.
构造了边界，就该判定奇异类型*.
---- Step5的落点是 D (= H + B).
---- 愿望是 (X, D) eps-lc.
---- 为此只须 π*(Kx + D) sub-eps-lc.
(公式：<sub-eps-lc> =π*<eps-lc>)
|--- 展开: π*(Kx + D) = π*(Kx + B) + π*H. (#)
---- 右端两项中, H 没有显示表达式.
---- 为了发展, 第一项要往“熵增”方向走:
---- π*(Kx + B) = KY + B~ + RY. (@)
(这是“原锻”公式)
---- 代入(#) 得到: π*(Kx + D)
= KY + B~ + RY + π*H
(中间两项交换位置)
= KY + RY + B~ + π*H (%)
|--- π*H 首次出现在DY中, 那里又有B~.
(换句话说, π*H 和 B~ 有亲和性, 故令相邻).
DY = π*H + B~ + 1/tFY.
---- 将划线部分表达出来代入:
(%) = KY + RY + DY - 1/tFY.
---- 取(%)的最两头:
π*(Kx + D) = KY + RY + DY - 1/tFY. (&)
(原作中左右端交换了位置)
|--- 此式右端对应配对: (Y, RY + DY - 1/tFY).
---- 按之前, 只须它是 sub-eps-lc 型.
---- (@) 式右端对应配对: (Y, B~ + RY).
---- 按公式, 此配对为 sub-eps-lc 型.
|--- 现在的问题仅仅是：
(@)- sub-eps-lc ==> (&)- sub-eps-lc ?
---- 也就是 3, 5 ==> 4 如何得到(待考).
.
评论：回到“问题”, Step6的自然起点在(#)，即从那里生发出来的.(原作颠来倒去仅仅是为了concision).
.
小结：拎清了Step6的真正起点。从原作的推导中析出了未明言的“公式”<sub-eps-lc> =π*<eps-lc>，可用于判定奇异类型。
https://blog.sciencenet.cn/blog-315774-1176383.html
上一篇：教科书好比乡下环境，培养不出上智人才。
下一篇：用最精简的结构容纳最多的信息
