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

博文

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

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

 

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

随机温习...
(接前: 02 01 31“执行定理” (Th1.6)的证明(e).
.
温习要用到的命题5.7(叙述). 先看图解:
.
A         L
    Tx
X       B|Λ
.
注: 此图蕴含8个条件: 5 个常规, 3个扩展.
* (X, B) ~ proj., eps-lc. (高配)
*        A ~ very ample, A  r. (有界重)
*  L  0, R-divisor.
* Λ ≥ 0, Q-divisor, nΛ integral.
* A - B, Λ, L ~ ample.
. (X, Λ) ~ lc near x.
. T ~ lc place of (X, Λ), with center x on X.
. a(T, X, B)  1.
--- 结果: 对任何ν: U --> X 带 T (on U), 有 μTνL* ≤ q.
.
前情回顾.
---- 第2~4段凑齐了5.9的7个条件, 这就“激活”了命题5.9.
.
By Proposition 5.9, there is a Q-divisor Λ ≥ 0 such that nΛ is integral, mA - Λ is ample, (X, Λ) is lc near x, and T is a lc place of (X, Λ).
---- 命题5.9 就是为了构造如上 Λ.
注:此 Λ 是 5.7 (甲方) “发包”. 
.
Replacing A, C, L, s with 2mA, 2mC, 2mL, s/2m, respectively, and replacing r accordingly, we can assume A - B - sL and A - Λ are ample.
---- 替换即代入: A <~ 2mA, C <~2mC, L <~ 2mL, s <~ s/2m.
.
讨论: ample 的推导.
---- ample 有点像比大小(大 - 小 = ample). 
1) A - Λ <~ 2mA - Λ.  
由 mA - Λ ample (见前句) ==> 2mA - Λ ample.
2) A - B -sL <~ 2mA - B - s/2m · 2mL 
= 2mA - B - sL = (mA - B) + (mA -sL) 
上面末尾两项加起来 ample, 因为:
A - B ample ==> mA - B ample
A - L ample ==>  mA - L ample ==> mA -sL ample (因为 s ≤ 1).
.
评论: 原作不提及推导, 而采用 “we can assume...” 或出于严谨或简明.(?)
.
加评: 5.9 是给 5.7 做准备. 
---- 上面这句是凑 ample 条件, 替换后:
---- A - L 和 A - Λ 都是 ample.
---- 原作特意提出 A - (B + sL) ample, 意味着 B + sL 相当于 5.7 中 B.
---- 恰巧, a(X, T, B + sL) = eps' 1.
.
特评: 以上凑齐了5.7的条件, 这就激活了命题5.7.
.
Applying Proposition 5.7 to (X, B + sL), there is a natural number q depending only on d, r, n, eps' such that if ν: U --> X is a resolution so that T is a divisor on U, then  μTνL* ≤ q.
---- 命题5.7 作用于 (X, B + sL).
(通常来说, 命题的应用不会照搬, 而是套用). 
.
Pick such a resolution.
---- 补的这句很必要.
(澄清了上句中 resolution 的来源)
.
评论: 这个第5段, 接连调用了命题 5.9 和 5.7, 得到一个不等式.
(5.9 是为 5.7 准备条件).
.
小结: 此段没有实质困难. 

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


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

上一篇:“执行定理”的证明(d)
下一篇:“执行定理”的证明(f)

3 刘炜 郑永军 朱晓刚

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

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

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

GMT+8, 2020-9-30 18:31

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部