把握全局高于推敲细节~
2019-7-26 17:14
阅读:2848
This is an in-mail from TYUST.
本期开始分组发送邮件,搭载数学类学院等链接。
把握全局高于推敲细节~
.
== 整篇文章的 核心任务 是证明 :
----Th1.1. 存在 B 使得 (X, B) 为 eps-lc 型, 而-(Kx + B) 系 nef & big. 则 X 形成有界族.
.
简单讲: 存在参量 B 使得与之相关的两个 对象 具有特定的 属性,则参量 X 形成有界族.
.
系统观点: X 和 B 构成一套系统, Kx 和 B 构成辅助系统, 该定理是借助两套系统的属性来刻画 X.
.
“方程” 观点: 把 X 和 B 看做变量, Kx 看做 X 的变形, 则系统和属性的关系可以看做 “二元条件方程组”:
|⁻ (X, B) ~ eps-lc,
|_ -(Kx + B) ~ nef & big.
.
评论: 从以上来看, 证明 Th1.1的关键是构造出 B.
(印象中, 原作并没有构造B?, 而只是设出它).
.
---- Th1.4.(X, B)~eps-lc, A:= -(Kx + B)~nef & big ==> lct(X, B, |A|R) ≥ t.
.
简单讲: 此定理给出了 A 的构造(直接取那个辅助系统), 并联系到 lct 的下界.
.
系统观点: A 作为“种子” 构造线性系统|A|, 后者借助 lct 联系到 (X, B).
.
图解: |-(Kx + B)| ~> lct <~ (X, B).
.
评论: Th1.1的证明取决于 lct(X, B, |A|R) ≥ t.
.
== 为了正明Th1.4, 须调用:
---- Th1.6.(X, B)~eps-lc, A ~ very ample, A^d <= r, A - B ~ ample, |A - M|R ≠Ø ==> lct(X, B, |M|R) ≥ lct(X, B, |A|R) ≥ t.
.
简单讲, Th1.6 和 Th1.4 很像, 但这里的 A 是抽象的.
.
问题: 此处的 A 与 Th1.4 的 A 是抽象与具体的关系吗? M 对 Th1.4 有何贡献/帮助?
.
评论: 要在证明层面搞清楚这三个定理的关系.
.
小结: 须熟读所有命题及证明.
转载本文请联系原作者获取授权,同时请注明本文来自李毅伟科学网博客。
链接地址:https://wap.sciencenet.cn/blog-315774-1191203.html?mobile=1
收藏
当前推荐数:1
推荐人:
推荐到博客首页
网友评论0 条评论