博文
成年人倾向于排斥解释。
||
[注：博客版修订了主题句。]
This is an in-mail from TYUST.
本期开始改变画风，搭载数学类学院等有用链接。
.
成年人倾向于排斥解释。
Now each Ri is the zero divisor of some global section αi of Ox(A).
---- 之前构造出的Ri 是个“形”，连接另外两个“形”。
---- 凡是有名称或特定符号的对象都可看作“形”。
这里的三个名称（及相应对象）：
---- zero divisor ~ global section ~ ring(?).
---- Ri ~ αi ~ Ox(A).
评论：Ri 取得了“名分”。
.
Choose another global section α0 so that if R0 is the zero divisor of α0, then (X, Σ0Ri) is still log smooth, and that ∩0Ri is empty.
---- 之前的路径是从 Ri (zero divisor) 引出 global section. 这里是反过来，从另外的 global section 引出个 zero divisor (R0).
---- 把R0添加到“宫”内，(X, Σ0Ri) 则保持 log smooth.
.
评论：由于出现了“宫”(X, Σ0Ri) 且 log smooth.
---- 这意味着“岛链”延伸了一步。可以算子化：
---- 把上面两句话的推演记作 Ri-αi-α0-R0 算子。
---- 这里面的过程有点像“跷跷板”，赋予标签“跷”。
.
“跷”算子的作用：
---- 跷(X, ΣRi) = (X, Σ0Ri).
---- 输出端除了“宫”，还有 R0 和 α0,...,αd.
---- 给 α0,...,αd 整个地赋予标签“α-链”。
.
The sections α0,...,αd have no common vanishing point, so they define a morphism π: X --> lP^d so that Ox(A) ≃ π*Opd(1) and the global section ti of Opd(1) pulls back to αi, for each 0 ≤ i ≤ d.
---- 由 “α-链” 直接得出态射 π: X --> lP^d, 满足：
---- Ox(A) ≃ π*Opd(1).
---- ti --> αi (? 箭头方向待考).
---- “α-链” 可视作算子。
.
In particular, since A is ample, π does not contract any curve, hence π is surjective which implies that π is a finite morphism.
---- 这是推导 态射π 的性质，特别是有限性。
---- 态射π 的有限性是由 A 的 ampleness 导致的。
---- “not contract curve” 缩写为 ncc, “surjective” 缩写为 s，“finite” 缩写为 f。
---- 上面这句话概括为 “A-ncc-s-f”。
.
小结：第二段概括为“跷” 和 “α-链”。
https://blog.sciencenet.cn/blog-315774-1159074.html
上一篇：最初的想法总会显得“颠三倒四”。
下一篇：研究生自杀与“攸关信息”
扫一扫，分享此博文
全部作者的精选博文
全部精选博文导读
相关博文
- • 700年后日本或濒临灭绝？日本学者推算预测：届时或仅剩1名15岁以下孩子
- • [转载]【同位素视角】非英语母语学者如何区分’e.g.’, ‘i.e.’, ‘namely’与‘such as’等混淆难题
- • 美国佐治亚大学等机构学者：刈割策略对Bulldog 805紫花苜蓿+Tifton 85狗牙根混播草地产量及品质的影响
- • 美国堪萨斯州立大学、密苏里大学等机构学者研究成果：土壤水分管理策略和品种多样性对紫花苜蓿产量、营养品质和农场盈利能力的影
- • 德国、捷克草业科学学者长期放牧实验：异质草地斑块中的土壤有机碳储量和地下生物量
- • 如何才能连续被评为十年“中国高被引学者”？——对话上海大学王卿文教授