我算故我在分享 http://blog.sciencenet.cn/u/metanb

博文

“执行定理”的证明(d)

已有 880 次阅读 2019-9-2 18:06 |个人分类:心路里程|系统分类:科研笔记

 

                                                     This is an in-mail from TYUST.
              新入の者--> What is going on ? (redirected) new
                               
本期开始分组发送邮件,搭载数学类学院等链接
今日学院:暂无。|| 新闻+ ||.... Perfectoid ᴺᴱᵂ....[路过]ᴺᴱᵂ

阶段温习...
(接前: 01 31 30) “执行定理” (Th1.6) 的证明(d).
.
先来个前情回顾 ——
* |A - M|R ≠ Ø ~> 只须证 lct(X, B, |A|) 有正下界.
* A ~  有界重 ~> X' --> X 系 X 的 Q-因式化.
* X 非Q-factorial ~> X', B', H' 替换 X, B, H.
* 取 L∈|C| ~> 设最大 s 使 B + sL eps'-lc.
(则只须证 s 有正下界).
.
There is a prime divisor T on birational models of X such that a(T, X, B +sL) = eps'.
---- 这句话凑出了5.9的第6个条件, 但相当突兀..
(第5个条件由上一段构造, 见前贴).
---- T 的出现和句尾的式子, 都很突兀...
---- 换句话说, 看不出其中的逻辑起点在哪里.
---- 又, 此处还涉及到 birational models (注意复数形式).
.
评论: 可能的逻辑起点: X 属于有界族 或 (X, B) eps-lc.(?)
.
Let x be the generic point of the centre of T on X.
---- 从 T 的中心取 “generic point” 设为 x.
(这里准备做出5.9的最后一个条件)
.
Assume x is not a closed point.
---- 这里做个反向假设.
.
Then cutting by general elements of |A| and applying induction...
---- cutting by 可能是做个降维(?), 以便运用归纳假设.
.
...there is a positive number v bounded from below away from zero such that (X, B + vL) is lc near x.
---- 在 x 附近做归纳, 得到 v 有正下界.
.
评论: 此句是关键点, 但原作一带而过, 待仔细斟酌.(?)
.
Then (X, B + (1 - eps'/eps)vL) is eps'-lc near x, by Lemma 2.3, because B + (1 - eps'/eps)vL = eps'/eps B + (1 - eps'/eps)(B + vL).
---- 句尾的式子, 配对类型的凸组合为:
   eps'/eps · eps-lc + (1 - eps'/eps) ·0-lc 
=(eps'/eps · eps +  (1 - eps'/eps) ·0 )-lc 
= eps'-lc
注: 配对类型的运算中“-lc”的作用类似量纲.
.
评论: 此句推导不难, 但用到凸组合的构造技巧.
.
In particular, s ≥ (1 - eps'/eps)v.
---- 此不等式源于 s 的最大设定.
(奇怪的是, 到此 s 还不算有正下界?)
.
Thus we can assume x is a closed point.
---- 看不出逻辑关系.
(暂不晓得概念 “closed point” ?)
 .
评论: 该段内容有两处难点(见红线), 待考.
.
小结: 第四段温习完毕(较早先略有进步).

 符号大全上下标.|| 常用:↑↓ πΓΔΛΘΩμφΣ Ø ∈ ∉ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ≡ ⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .


http://blog.sciencenet.cn/blog-315774-1196354.html

上一篇:学生里头好像连个“好高骛远” 的都没有?
下一篇:“执行定理”的证明(e)

3 郑永军 刘炜 朱晓刚

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2020-9-30 16:22

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部