Step2.
1. ψ: W --> X ~ (X, U) ~ T (on W).
2. Γw = (1 + v)U~ + (1 - eps'/4)ΣEᵢ + (1 - eps')T.
注: eps' = a = a(T, X, U).
3. Let cᵢ = a(Eᵢ, X, U).
(ci 对应ai, 参Pro.5.7,Step4).
4. (X, U) eps'-lc.
5. μTΓw = 1 - eps'.
6. Kw + Γw = ψ*(Kx + U) + vU~ + F.
6b. F:= Σ(ci - eps'/4)Eᵢ.
(F e.e.. over X; T ⊄ Supp F).
7. Let c'ᵢ = a(Eᵢ, X, U + vU) and a' = a(T, X, U + vU).
8. (X, U + vU) eps'/2-lc o.c.
9. Kw + Γw = ψ*(Kx + (1 + v)U) + G.
10. G:= Σ(c'i - eps'/4)Ei + (a' - eps')T.
(G exceptional over X.)
11. dim(Ei) > 0 ==> Eᵢ = [G]₊.
注: (Ei) 表示 Ei 在 X 上的像.
注: 1 ==> 2; 3,4,5 ==> 6; 7, 8 ==> 9,10,11.
.
评论: 论证完全类似Pro.5.7,Step4(锻法).
---- 此处 (1 - eps')T 就是 (1 - a)T. (参粉注).
.
小结: eps'-锻关乎条件 a(T, X, U) = eps'.