随机温习...
(接前: 30 28 25) “执行定理” (Th1.6)的证明(b+). .
之前的解读进行到第二段(第一部分). 温习:
---- 由 A 的条件推出 X 属于有界族.
---- 则 X 的本征像配对 (W, Γ) 属于有界族.
---- 对其“调整版”(W, δΓ) 做MMP 得 X'.
(得到 X' 可看做 “站点”).
---- 4 个 Cartier 推出 (X, 0) eps-lc.
---- 写出锻公式: Kw + δΓ =φ*Kx + E.
(得到锻公式可看做“站点”, E 为代表).
---- 用负性引理联系两个站点(E 在 X' 之上压缩).
---- 进而 X' --> X 是 X 的Q-因式化.
.
分析: 主线是 X' --> W --> X.(两次后退式映射)
---- 第一次靠 X 系有界族驱动.
---- 第二次靠MMP 驱动.
.
评论: 得到主线后, (X, 0) eps-lc 的出现显得突兀.
---- 原作的头脑中想的该是 X 的Q-因式化.(?)
---- 由此向前反推, 走通后做了正向叙述.(?)
(Q-factorialisation 和 负性引理 待考?)
.
小结: 第一部分的落点是: X’ --> X 是 X 的Q-因式化(10).
.
下面继续解读第二段的第二部分.
.
If X is not Q-factorial, then X' is not unique but since (W, Γ) belongs to a bounded family of pairs, we can choose X' so that it belogs to a bounded family of varieties depending only on d, r.
---- 此处只考虑了 X 不是 Q-factorial的情况.
---- 由 (W, Γ) 属于有界族, 可使 X' 属于有界族.
(有界族属性在一定条件下可以传递)
.
.
注: 本征像配对传递有界族属性.
---- g: 假定 X 非Q-factorial.
---- 11: X' 不唯一.
---- 12: 选 X' 属于有界族.
.
Let Kx' + B' and A' be the pullbacks of Kx + B and A.
---- 将主要对象 B 和 A 转到 X' 空间.
.
B A
| |
para2.9
| |
B' A'
.
注: 此处为简单操作(输入是已有对象).
.
We can choose a very ample divisor H' on X' with bounded H'ᵈ such that H' - A' is ample.
---- 此句可能源于 X' 属于有界族.
(推测: 有界族 <=?=> 有界多重性)
.
.
注: 有界族与有界多重性.
---- 13: H' ~ very ample (on X'), H'ᵈ bounded.
(不妨将条件 b 称作“有界多重性”).
---- 14: H' - A' ample.(为下句准备, 但来由待考?)
.
评论: A' 是中间角色, 故 H' - A' ample 也是过渡.
.
This ensures H' - B' is ample too as A' - B' is nef.
---- (H' - A') ample + (A' - B') nef = H' - B' ample.
(ample + nef = ample ?)
---- 条件中有 A - B ample, 但此处是 A' - B' nef.
.
.
注: A - B ample ==> A' - B' nef ?
---- 15: H' - B' ample.
.
Now lct(X, B, |A|R) = lct(X', B', |A'|R) ≥ lct(X', B', |H'|R).
---- 等式可能源于两套对象间的等价关系.
---- H' - A' ample ==> A' 比 H' “小” ==> 不等式.
.
h 14
?| |
para2.12
| |
16 17
.
注: 两套对象间的 lct 关系.
---- h: 两套对象等价.
---- 16: lct 等式.
---- 17: lct 不等式.
.
评论: 只须证明右端存在正下界.
.
Therefore, replacing X, B, A with X', B', H', and replacing r accordingly, we can assume X is Q-factorial.
---- 之前的落点“10” 意味着 X' 系 Q-factorial.(?)
---- 若不替换, 直接在X'空间向5.9靠拢不行吗?
---- 注意, 替换后用了“we can assume” 句型, 其中必有缘故...(?)
.
小结: 第二段解读完毕.
符号大全、上下标.|| 常用:↑↓ π ΓΔΛΘΩμφΣ∈ ∉ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ≡ ⁻⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .