博文
“执行定理”的证明 (方法b)
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
劳而无功,疲而不倦...
.
前情回顾:
---- 第二段主旨是用 X 的 Q-因式型 替换 X.
---- 之前的落点是 X' --> X 系 X 的 Q-因式化.
.
评论: 特殊地, 若 X 本身是 Q-因式型, 整个第二段成为多余, 直接进入第三段即可. 一般地, 若 X 非 Q-因式型, 就得用 X' 来替换 X. 这样, X' 也得准备一套人马来替换 A 和 B (如下所做).
.
证明的第二段(下)
.
---- 若 X 非 Q-因式型, 则 X' 不唯一.
.
---- 由于 (W, Γ) 属于有界配对族, 则可取 X' 属于有界族.
.
评论: 第一句得到 X' 不唯一, 含“未定形”的意味. 第二句, 则有 “使之方” 的意味.
.
图解: [W, Γ] ~> [X'].
.
* 构造 A 和 B 的 “替身”.
---- 取H' very ample 且H'^d有界, 使 H' - A' ample.
---- 由 (H' - A') ample + (A' - B') nef, 得 H' - B' ample.
注: A' 和 B' 来自 pullback.
.
评论: 由 A' - B' nef (而不是 ample) 可以看出, A' 不能用作 A 的 “替身”.
---- H' 可以那样直接取, 原因只能是 X' 属有界族.
---- H' 虽另取, 但仍以 A' 作为参量 (H' - A' ample).
.
图解: [X'] ~> [H'].
.
* lct 不等式.
---- lct(X, B, |A|) = lct(X', B', |A'|) ≥ lct(X', B', |H'|).
.
评论: 此处显示出 H' - A' ample 的另一后果 (很凑巧).
.
加注: 不等式可看做 “方”, “· - · ample” 可看做(广义的) 不等式.
.
* 角色替换.
---- 用 X', B', H' 替换 X, B, A.
.
评论: 由于 X' 系 Q-因式型, 就用它替换 X, 达成第二段的主旨.
.
小结: 第二部分的核心是 [X'] ~> [H'], 符合 “方 ~> 方” 模式.
*
大规律: 数学推理是“方”和“法”的(排列)编码.
---- 相邻两步符合四个元模式之一:
法 ~> 方; 方 ~> 方; 方 ~> 法; 法 ~> 法;
---- 所谓理解/认知, 就是模式匹配.
https://blog.sciencenet.cn/blog-315774-1201672.html
上一篇：“执行定理”的证明 (方法a)
下一篇：“执行定理”的证明 (方法c~f)
扫一扫，分享此博文
全部作者的精选博文
全部作者的其他最新博文
- • 两个生成式人工智能
- • 研究生教育：师生双选的另一个维度
- • 习惯提法或值得推敲
- • "数学家的数学" 和 "教科书的数学"
- • 责任
- • 灵魂之问