李毅伟
“礼”和“乐”的制约
2019-8-17 16:47
阅读:2282

 

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

随机温习...
(接前: 16 15 14)  Theorem 2.13
.
(XF, BΦ) lc, -(Kx + B) nef ==> 存在 n-补 Kx + B (B ≥ B).
注: 原作列了4条, 这里缩写为两条.
.
评论: 此定理给出了——
1) n-补 存在的充分条件;
2) n 和 B 的大体构造.
.
关于充分条件.
----  (X,  B) lc 是Fano理论的“标配”.
---- -(Kx + B) 是反运算形, 此处属性为 nef.
注: Kx + B 或其相反数常用于辅助条件/刻画.
---- XF 指代 X 为 “Fano type”, 即对某个边界构成 klt弱Fano
---- BΦ指代 B ∈ Φ(R), 即B的系数属于Φ(R).
.
关于 n 和 Φ(R).
---- R 在文中为哥特式字体, 系 [0, 1] 内有限个有理数的集合.
---- Φ(R) 是形如 1 - r/m 的元素构成的集合, r ∈ R, m ∈ lN.
---- I(R) 是使得 Ir 为整数的最小自然数(对每个 r ∈ R).
---- 要求 n 被 I(R) 整除.
注: 可以将 I(R) 称作 “整化因子”.
.
注: Φ(R) 的上界是1, 体现某种约束, 标识为 “礼”; 
   I(R) 是受约束的自然数, 暂称为“乐”.
(“礼” 和 “乐” 都建立在 R 之上).
.
评论: n-complement 实际是在系统中引入 B 和 n.
---- B ≥ B 体现了 B 的构造 (即 B 以 B 一部分, 后者的系数属于Φ(R)). 
---- n 被 I(R) 整除, 体现了 n 的构造 (即 n 至少以 I(R) 为因子).
.
注: 可以认为, B 和 n 的构造体现了 “礼” 和 “乐” 的制约. 
.
小结: 看上去一大片, 其实不难理解/记忆.

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

转载本文请联系原作者获取授权,同时请注明本文来自李毅伟科学网博客。

链接地址:https://wap.sciencenet.cn/blog-315774-1194029.html?mobile=1

收藏

分享到:

当前推荐数:4
推荐到博客首页
网友评论2 条评论
确定删除指定的回复吗?
确定删除本博文吗?