如何“挖出”作者的原始思路?
Step3 更替“诸元”(除T), 旨在向命题5.5靠拢.
特注:之前在温习中领悟到,证明的轴心是 “相的进化”.(构造“相”的方法是核心技术所在).
.
Step4a b (至Step7前部)处理 “禁”的条件. 1. Th1.6(≤d-1), hs ==> (X, B + 2tB) klt o.c.
注:hs~hypersections; o.c.~ outside finitely many closed points.
2. (X, B + tB) is eps/2-lc o.c.
3. ψ(V, X, B) ~ T.
注:ψ(V, X, B) 标识 V --> X 的 log resolution ψ of (X, B).
4. 定义边界 ΓV = γ·O.
---- γ = (1 + t, 1 - eps/4, 1 - a).
---- O = (B~, E(ψ), T).
---- a = a(T, X, B).
5. (X, B) eps-lc, μTΓv = 1 - a.
6. Kv + Γv = ψ*(Kx + B) + tB~ + F.
---- F:=(a - eps/4)·E.
a=(..,ai,...), E =(...,Ei,...).
---- F e.e. on X; T ⊄ Supp(F).
7. Kv + Γv = ψ*(Kx + (1+t)B) + G.
---- G:=(a'-eps/4)·E +(a' - a)T.
a'=(...,a'i,...); a'i = a(Ei, X, B + tB); a'=a(T, X, B + tB).
---- G exceptional over X.
8. dim(psi(Ei))>0 对某个 i.
9. Ei =[G] 且系数为正.
注:1 ==>2; 3,4,5 ==> 6, 7; 8, 2 ==> 9.
.
评论:4 是构造新的边界,思路待考.
(怎么想到的? 似乎有很深重的技巧...).
---- O 的分量让人想到 BET.
---- 4 的构造方法可暂命名为“赌法”.
(感到突兀...须从上下文找线索、找入口/逻辑起点).
加评:6,7 蕴含的思路待考.
.
小结:Step4 温习完毕.(该步骤技术内容较“厚重”)