(接前: 28 25 24) “执行定理” (Th1.6) 的证明(b). .
(我)在解读证明的过程中将时常指向如下图示:
.
a b c d
| | | |
Theorem 1.6
| |
1 2
.
注: Th1.6的输出(细分)为两项:
---- 1. lct(X, B, |M|) ≥ lct(X, B, |A|).
---- 2. 上式右端 有正下界.
.
评论: 证明的第一段: d ==> 1.
.
* 以下开始第二段证明.
We want to apply Proposition 5.9, so we need to replace X with a Q-factorial one.
---- 整个定理的证明用到两个“主力”命题: 5.9 和 5.7.
---- 第二~四段及第五段开头只用到 5.9.
(第五段末尾才用到 5.7).
---- 5.9 假定 X 是 Q-factorial.
评论: 这句话提示了本段证明的方向.
.
Since A is very ample and Aᵈ ≤ r, X belongs to a bounded family of varieties depending only on d, r.
---- 此处体现出条件 b 是有界族的一个充分条件!
(这或许提示了条件 b 的来由).
---- 但不知, 此处是否用到 (X, B) eps-lc 的假定(?).
.
a b
?| |
para2.2
|
3(有界族)
.
评论: 暂时将该句作为一个(已知)命题.
.
Thus we can pick a resolution φ: W --> X so that if Γ is the sum of the exceptional divisors, then (W, Γ) belongs to a bounded family of pairs depending only on d, r.
---- 取映射φ: W --> X...
(取 resolution 是常规手法, 但何时该这样做?)
---- 令 Γ = ΣEi, 其中Ei 是 exceptional divisor.
(ΣEi 记作 Eφ 更方便).
---- 则 (W, Γ) 属于有界配对族.
.
3
|
para2.3
| |
4 5
.
注: 第三句话也可以看做已知命题. 输出:
---- 4. resolution φ: W --> X.
---- 5. (W, Γ) ∈ 有界(配对)族.
(若 X 属于有界族, 则 像配对 属于有界配对族)
.
评论: 此处的像配对具有固定构造, 可以起个名字.
(比如, “本征像配对”, 它由Γ的特定构造刻画).
.
Let X' be a minimal model of (W, (1 - eps/2)Γ) over X.
---- 此处体现出 本征像配对 的可配置性.
---- 即可以给 Γ 配置系数 (按某种需要).
---- minimal model 须有 MMP, 此处未提及.(?)
.
5'
|
para2.4
|
6
.
注: 对本征像配对做MMP.
---- 5' 即 (W, (1 - eps/2)Γ), 可看做 5 的 argumentation 版.
---- 6 即 X', 该是 W 的像(或 X 的二重像).
.
评论: 应抽空整理 MMP 的应用场合.(?)
.
Since A, A - B, and Kx + B are R-Cartier, Kx is Q-Cartier, hence (X, 0) is eps-lc.
---- 三个量 R-Cartier 未提及来由.
(这是 “Since 体”, 来由得自行推导?).
---- Kx 系Q-Cartier是前半句推出的, 还是追加的?
(姑且当作是追加的).
---- 得到结果 (X, 0) eps-lc 的用意似在下一句.
.
.
注: 此句是中途插入(“Since 体” 的功能).
---- e 即此句的条件部分(含4个“分量”)
(e 的来由待考?)
---- 7 即 (X, 0) eps-lc.
.
评论: 突然插入“Since 体”, 用意该是为下句准备!
---- 特意考虑 (X, 0), 应该是为了规避掉 B.
.
We can write Kw + (1 - eps/2)Γ =φ*Kx + E where E is effective with the same support as Γ.
---- 此公式为“锻法”, 或将造相.
---- 右端的 φ*Kx 体现出规避 B 的效用.
---- E 的描述可能是“锻公式”本身自带的.(?)
.
.
注: 此句单给出锻公式:
---- 8 即锻公式(含E的描述).
.
评论: “锻公式” 是一个 “站点”.
.
By the negativity lemma, E is contracted over X', hence X' --> X is just a Q-factorialisation of X.
---- 由负性引理, E 在 X' 之上受压缩, 从而 X' --> X 只是 X 的 Q-因式化.
.
.
注: 锻公式结合负性引理得 E 和 X'-->X 的性质.
---- f: 负性引理(待查?)
(显然跟锻公式有关; Γ的系数缘于此).
---- 9: E 在 X' 之上受压缩.
---- 10: X' --> X 是 X 的 Q-因式化.
.
评论: 可以认为锻公式暗含映射 X' --> X, 而负性引理对E的作用引起了10.
.
小结: 以上是证明的第二段上半部分(此部分的逻辑是流畅的).