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

博文

“吝”“啬”的起源

已有 2390 次阅读 2019-3-21 17:35 |个人分类:心路里程|系统分类:科研笔记

 

                                                      This is an in-mail from TYUST.
              新入の者--> What is going on ? (redirected) new
                               
本期开始分组发送邮件,搭载数学类学院等链接
今日学院:暂无。|| 新闻+ || 符号大全上下标.|| 常用:↑↓ π ΓΔΛΘΩμφΣ∈  ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ⁻⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .

汉字在代数中或有妙用。
.
(接前:19 17 14) 命题5.5的温习.
叙述 a b; 证明 Step1 Step2 a b c Step3 Step4 Step5a b Step6
---- 之前跳回到引理5.4(叙述*).
---- 今起进入其证明(共两段,15句话).
.
We use induction on d. 
---- 就维度 d 做归纳法.
.
Let s be the lc threshold o f L with respect to (X, 0).
---- “lc threshold” 定义见于引言部分*:
----The lc threshold of an lR-Cartier lR-divisor L  0 with respect to (X, B) is defined as lct(X, B, L) := sup{t | (X, B + tL) is lc}.
---- 按此定义,s = s(X, 0, L)=sup{t | (X, tL) is lc}.
.
We need to show s is bounded from below away from zero.
---- 简言之,就是要给 s 找个正的下界.
---- 但看不出为何要这样做.(?)
(这句话给人以明显的突兀感).
---- s 是 lc threshod,意味着 (X, sL) 是 lc 型.
---- 作为配对的边界, sL 的系数属于 (-oo, 1].
---- lc 意味着 a(D, X, sL) = 1 - ?? ≥ 0.
---- ?? 表示任意素除子D在sL的回拉像内的系数.
---- 显然,此系数不超过 1.
.
If d = 1, then sL has at least one component with coefficient ≥ 1, hence 1 ≤ degsL ≤ sr which implies s ≥ 1/r.
---- 这里又出现符号“deg”,最早见于2.1*:
---- 所谓 D 相对于 A 的 degree 即 “intersection number”: degAD:=Aᵈ⁻¹D (d>1) 或 degAD = deg D (d=1),其中 degD 代表曲线除子的通常 “degree”.
---- 命题的条件有 degAL≤ r. 
---- 对于 d =1,写作 degL ≤ r. 
---- 对于 sL,原作得到 degsL ≤ sr.
---- sL 是 lc 型配对的边界,其系数不会超过1.
---- 但前半句指出,sL 至少有一分量系数 ≥ 1.(?)
.
So we can assume d ≥ 2.
---- 刚才验证了d=1时的结论.(以上是第一段).
.
Let T be an lc place of (X, sL).
---- 引入一个特殊对象 lc place.
.
If T is not exceptional over X, then 1 = μTsL ≤ degAsL ≤ sr which again implies s ≥ 1/r.
---- 似乎运用了 lc place及non-exceptional 特性.
---- 猜测:lc place ==> 1 = μTsL.(?)
(lc place 在边界上的投影系数为1).
---- 猜测:non-exceptional ==> μTsL ≤ degAsL.(?)
.
Thus assume T is exceptional over X.
---- 考虑 exceptional 情况(也是主要情况).
.
Let C be the centre of T on X.
---- 引入 T 的中心 ( on X).
.
Let H be general among the members of |A| intersecting C (if dimC > 0, then every general member of |A| intersects C).
---- 引入 |A| 的成员 H 与 C 相交.
.
Then H is irreducible and smooth, and (X, H) is plt but (X, H + sL) is not plt near H.
---- 则 H 不可约、光滑.
---- 后半句体现出 H 的特性,标识为“吝”.
.
This implies (H, sLH) is not klt where LH = L|H [24, Theorem 5.50]. ★
---- 可将 H 看作 X的子集.
---- (H, sLH) 可看作 (X, sL)|H.
---- 简言之,若 H “”,则  (X, sL)|H “”.
.
Let AH = A|H
---- AH 可称作 A 的 “吝版”.
.
Then AHᵈ⁻¹ = A ≤ r and degAH LH = degA L ≤ r. ★
---- 吝版的幂 等于 原版的幂 降低一阶.
---- 吝版的度 等于 原版的度.
---- 内在逻辑待考 (?)
.
Thus applying induction, there is a positive number t depending only on d, r, such that (H, tLH) is klt.
---- 利用归纳法,找到 t>0 使得 吝版的 (X, tL) klt (这种情况标识为“”).
.
Therefore, s > t.
---- 之前有  (X, sL)|H “”. 现又有 (X, tL)|H “”.
---- 该是这个对照 得出 s > t.(?)
(但目前只看到表皮,内在逻辑待考).
.
评论:命题是要找 t>0 使得 (X, tL) 是 klt 型,但证明转化成了找 s 的下界.(感到不满意).


https://blog.sciencenet.cn/blog-315774-1168823.html

上一篇:该引理的主题是 “找丞相”。
下一篇:忽然(大致...真正)想明白一个问题...
收藏 IP: 223.11.187.*| 热度|

3 郑永军 张忆文 宁利中

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

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

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

GMT+8, 2024-3-19 17:08

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部