博文
吝。局盘，方。格格。胄越相，通。
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
今日学院：暂无。|| 新闻+ || 符号大全、上下标.|| 常用：↑↓ νπ ΓΔΛΘΩμφΣ∈ ∉ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ⁻⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ ₐ.
通过压缩凸显主线.
.
Step1 (吝。局盘，方。)
---- 逻辑主线：取 |A| 中一般成员 H, 使 (X, Λ)|H 在 xH 附近 lc, 并以 TG 作为 lc place, 且 a(TG, H, ΛH) ≤ 1. 则由归纳(?)，TG 在 ν*L|G 中的系数有上界，蕴含T 在 ν*L 中的系数有上界.
---- 技术要点：1. 构造 xH:=g[H∩C]; 2. 构造 TG:=[G∩T], 其中 G 是 H 的像 (关于ν*).
---- 前提条件：1. 假定 x 非闭, C 是 x 的闭包. 2. 设ν: U --> X 以 T 为 divisor.
---- 高观点：配对为 “方”，log resolution 为 “法”.
评论：“? 在 ? 中的系数有上界” 可缩写为 “?方(?)”. 比如，TG方(ν*L|G) ==> T方(ν*L).
加评：Step1 的逻辑主线可压缩为：吝。局盘，方。
*
Step2 (格格。胄越相，通。)
---- 逻辑主线 1 (助记版)：(相方，格s) ==> (甲胄sb，格).
(文格 ==> 武格，可略为“格格”).
注1：“相”之“方”包含两点：1. nΛ 整系数; 2. A x Λ < r.
(“直观”起见，用 A x Λ 取代 degAΛ).
注2：“甲” 即 very ample & non-negative. “胄” 指 E(φ).
注3：下标s 提示 Supp 操作. 下标sb 提示 E(φ) = Supp(bir(Λ)):=sb(Λ).
(丞相戴头盔，傻逼了).
注4：“格”指有界族(有界即方).
(凡事达到“方”，就到头了).
---- 逻辑主线 2：E(φ)ω = Λw, 而 T 是 (W, E(φ)) 的 lc place.
(下标 ω 提示局部).
---- 技术要点：(X, Λ)lc ==> Λw ≤ E(φ) ==> 0 = a(T, W, Λw) ≥ a(T, W, E(φ)) ≥ 0.
(下标 lc 提示局部. 后半部推导可略为 “胄越相，通”).
注5：由粉和紫公式得： sb(Λ)ω = E(φ)ω = Λw.
注6：对比粉和蓝公式：Λw ≤ E(φ) ~ E(φ)ω = Λw.
评论：T 有“贯通性”或“穿越性”(作为 lc place).
https://blog.sciencenet.cn/blog-315774-1172689.html
上一篇：丰富
下一篇：所谓“从0到1”，盖始于不对、终于当然。
