---- 从命题的叙述*开始花了15天(含若干空挡). ---- Sect.5 还剩两个命题,预期4月中旬读完.
---- 今起进入命题5.5的温习.
.
概述:关于某种序列,证明其长度有限.
---- 建立基础态射 π,在像空间完成证明:
---- Step1 Step2 Step3 Step4 Step5 Step6
.
1. 基础态射 π.
---- 大意是将 X 映射到 lPᵈ,后者更简便.
---- 特别地,命题5.2已经准备了这种映射.
---- 原作“导演”的命题5.5基本包含了那里的条件.
---- 于是得到基础态射 π.
评论:Step1的第一段是“调制”条件,以便在第二段建立基础态射 π(即“调用”命题5.2).
.
2. 某种序列.
---- 两套对象通过“递归作用”形成某种序列.
---- 该序列可通过 “局部解析同构” 映射到像空间.
评论:Step2在第一段准备局部解析同构,在第二段写出序列,在第三段得到序列的像. 此外还有个第四段,指出 ——
.
3. 像配对的“毛病”.
---- 主集合与边界构成“配对”(俗称“集合对”).
---- 该配对的特性在像空间仅于某点附近保持.
评论:Step3在像空间构造“复合边界”,从而改善的像配对,使之具备类似的全局特性.
.
4. 补足的像配对.
---- 在像空间构造出另一“复合边界”,补足像配对,使之具备等同的全局特性.
评论:Step4 第一段构造出一补足的像配对,第二段推出其“加强版”.
.
5. 序列的像与整化因子.
---- 序列的像关联着另一序列,后者引出一中介空间(W'),而它又引出第二个中介空间(W''),得其“n-补”配对,顺次回朔,推出像空间“n-补”配对(Z, Ω).
评论:空间“n-补”配对含有特定边界(Ω),并附带有整化因子(n); W'' 系 eps'-lc toric weak Fano variety,自带“n-补”配对.
.
6. 待解之谜.
---- 特定边界(Ω) 与像空间原有的另一边界(Θ) 形成复合支撑边界,引出权系数(u),结合另一边界(Θ)的作用,得到序列长度的上界估计.
评论:Step6共四句话,前三句是隐含调用,后一句调用引理2.17. (尚待细考).
.
小结:Step1~2准备映射及主角(某种序列),Step3~4 改造像配对(用作下一步的工具),Step5准备最后的工具(“n-补”),Step6 合围.