博文
如何对付较长的证明？（4）
||
This is an in-mail from TYUST.
本期开始改变画风，搭载数学类学院等有用链接。
.
如何对付较长的证明？
(接上回+) Step 4. 只有一段。直接进入逐句评论。
Let phi: X' --> X be a log resolution, S' be the birational transform of S, and psi: S' --> S be the induced morphism.
---- 分别从X, S 出发，写出两个“后退式”映射。
.
Put N:= M - (Kx + B) and let Kx' + B', M', N' be the pullbacks of Kx + B, M, N, respectively.
---- 两组相对应的对象（N和N'是派生的）。
大话：N 可看做“参”（国弱于侯，弱在“参”）。
.
Let E' be the sum of the components of B' which have coefficient 1, and let Δ' = B' - E'.
---- 由B'得到幺除子E'，并做差得到Δ'。
大话：Δ'可看做“谋”。E'可看做“庶”。庶有谋而成相。
.
Define L':=(n+1)M' - nKx' - nE' -\(n+1)Δ'/ which is an integral divisor.
---- L'的构造来源是个谜，好像天上掉下来的。
---- 但是显然，L' 是要往 G 上靠。
大话：贵、权、庶、谋，带上一个“诸”字，组成一幅博弈的场景。
---- 注意系数的对称性。符号相当于“立场”。
---- 自古以“贵”为大（即 “阳”、“正”）。经济决定一切。
问题：L' 是 ample的 吗？
.
Note that L'=nΔ' -\(n+1)Δ'/ + nN' + M'.
---- 改写L'为另一形式（让N'显现出来）。
大话：诸谋内斗、诸参旁观。单个的M'可看做贵族代表。
.
Now write Kx' + Γ' =phi*(Kx + Γ).
---- 写出这个式子可能只是明确起见。
.
We can assume B' - Γ' has sufficiently small coefficients by taking t in Step 1 to be sufficiently small.
---- 后文可能用到这个差。
.
小结：这个 Step 4 做了些符号层面的准备。落点该是L'（对应于N或N’），引入了“大话体”帮助识记（L'构造背后的道理须另作参详）。
.
* * *
气泡：“方”和“法”是两个（抽象的）度规。
https://blog.sciencenet.cn/blog-315774-1152531.html
上一篇：如何对付较长的证明？（3）
下一篇：如何对付较长的证明？（5）
