博文
“执行定理”的证明(b)
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
阶段温习...
.
(我)在解读证明的过程中将时常指向如下图示:
.
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 的用意似在下一句.
.
e
|
para2.5
|
7
.
注: 此句是中途插入(“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 的描述可能是“锻公式”本身自带的.(?)
.
5' 7
| |
para2.6
|
8
.
注: 此句单给出锻公式:
---- 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-因式化.
.
f 8
| |
para2.7
|
9
|
10
.
注: 锻公式结合负性引理得 E 和 X'-->X 的性质.
---- f: 负性引理(待查?)
(显然跟锻公式有关; Γ的系数缘于此).
---- 9: E 在 X' 之上受压缩.
---- 10: X' --> X 是 X 的 Q-因式化.
.
评论: 可以认为锻公式暗含映射 X' --> X, 而负性引理对E的作用引起了10.
.
小结: 以上是证明的第二段上半部分(此部分的逻辑是流畅的).
https://blog.sciencenet.cn/blog-315774-1195897.html
上一篇：“执行定理”的证明(a)
下一篇：“执行定理”的证明(b+)
扫一扫，分享此博文
全部作者的精选博文
全部作者的其他最新博文
- • 人们不会轻易相信自己不懂的事情
- • 职业早期生涯策略
- • 学位回收计划
- • 关于 "跟风" 的再思考
- • 天才
- • 给京东喊个话
全部精选博文导读
相关博文
- • 聚英才 建高地 | 北京理工大学“特立青年学者”全球招聘开启
- • 700年后日本或濒临灭绝？日本学者推算预测：届时或仅剩1名15岁以下孩子
- • [转载]【同位素视角】非英语母语学者如何区分’e.g.’, ‘i.e.’, ‘namely’与‘such as’等混淆难题
- • 美国佐治亚大学等机构学者：刈割策略对Bulldog 805紫花苜蓿+Tifton 85狗牙根混播草地产量及品质的影响
- • 美国堪萨斯州立大学、密苏里大学等机构学者研究成果：土壤水分管理策略和品种多样性对紫花苜蓿产量、营养品质和农场盈利能力的影
- • 德国、捷克草业科学学者长期放牧实验：异质草地斑块中的土壤有机碳储量和地下生物量