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

博文

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

已有 388 次阅读 2019-9-22 11:44 |个人分类:心路里程|系统分类:科研笔记

 

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

随机温习...
(接前: 16 15 10) “执行定理” 的证明(e+).
.
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, Λ).
.
  18 19  20 15  21 24 25  27  28 35
    |      |     |     |     |       |   |
         para 5.1 (Pro.5.9)        
         |         |     |     |     |
       36      37  38  39 40
.
注: 第2~4段凑齐了条件, 从而 invoke 命题5.9.
.
18 ~ 35: (已定义).
---- 18,19 联立相当于a.即(X, B) eps-lc, proj.Qf.
---- 20: A.
(18~20是替换来的, 满足原有条件, 附带修正).
---- 15, 21: A - B, A - C ample.
(21系C, 减半的A, 由它产生 L, 则 A - L ample)
---- 24: L.
---- 25, 27: (X, B +sL) eps'-lc, s (≤1) ≤ r.
---- 28: T, 即 a(T, X, B + sL) = eps'.
---- 35: x, centre of T, is a closed point.
.
36 ~ 40: 调用命题5.9得到的输出.
---- 36: 存在 Q-divisor Λ ≥ 0.
---- 37: nΛ integral.
---- 38: mA - Λ ample.
---- 39: (X, Λ) lc near x.
---- 40: T is lc place of (X, Λ).
(37~40系约束条件).
.
评论: 这句话只是表述5.9的输出, 而输入来自前几段(2~4).
.
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.
.
    38  20' 21' 24' 25' r'
     |    |   |    |   |   |
          para 5.2        
          |         |
        41      42
.
注: 输入端带撇数字表示替换操作.
.
---- 20', 21', 24', 25': A, C, L, s 替换为 2mA, 2mC, 2mL, s/(2m).
(38 指示 m 的来源, r' 指示 r 是替换的).
---- 41: A - (B + sL) ample.
---- 42: A - Λ ample.
.
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.
.
     25' 20' 24' 36 37 41 42 21' 39 40 28  
     |    |   |      |          |      |   |  |
            para 5.3  (Pro.5.7)            
             |                           |
           43                        44        
.
注: 凑齐了条件, 调用命题5.7.
---- 输入: (已定义)
---- 43: ν: U --> X.
---- 44: q, 即 μTν*L ≤ q.
.
小结: 完成第5段的逻辑模块图.
.
温习: 命题 5.9 与 命题 5.7.(图解)
.
1) 5.9.
.
     A            L
           Tx
     X          B|t
            ↓
(m)A          T
.          x
     X       (n)Λ
.
2) 5.7.
.
     A            L
           Tx
     X          B|Λ

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


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

上一篇:木石之心与高空作业*
下一篇:临时感悟:路线、意义与教授

2 郑永军 张忆文

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

数据加载中...

Archiver|手机版|科学网 ( 京ICP备14006957 )

GMT+8, 2019-10-16 17:33

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部