博文
阅读该段时眼睛有打滑的感觉
||
This is an in-mail from TYUST.
本期开始分组发送邮件，搭载数学类学院等链接。
Step2. 第二段(逐句评论).
The centre of T on X, that is x, is an lc centre and a stratum of (X, Λ).
---- x 是 stratum，这是上一段末的结论.
---- x 是 T 的 centre 已知，为何是 “lc centre”？
评论：此句转到了命题的主角 T.
.
Let X₁ --> X₀ = X be the blowup of X along this centre.
---- 对于配对的 lc centre 可以有 blowup.
---- 出处待考(？).
.
Let Kx₁ + Λ₁ be the pullback of Kx + Λ.
---- Kx + · 这种形式又出来了.
---- 文章第四部分有很多这种形式.
.
Then (X₁, Λ₁) is log smooth with Λ₁ reduced and containing the exceptional divisor of the blowup.
---- 从 lc centre 用 blowup 诱导出的配对保持初始配对(X, Λ) 的性质，甚至边界的格式.
---- exceptional divisor 早前出现过几次，定义待考(？).
.
Moreover, the centre of T on X₁ is an lc centre of (X₁, Λ₁), hence a stratum of (X₁, Λ₁).
---- 将 T 放到 X₁ 空间进行考察.
---- 特别是，T 的 centre 的特性“遗传”了下来.
.
We blowup X₁ along the centre of T and so on.
---- “遗传” 引起 blowup 迭代.
.
Thus we get a sequence Y = Xl--> ... --> X0 = X of centre blowups obtaining T as the exceptional divisor of the last blowup (2.16 (3)).
---- 得到 centre blowups 序列，T 做为 exceptional divisor 得到.
特注：之前虽然写出了 T，但那是“待定”状态.
.
The sequence is toroidal with respect to (X, Λ).
---- 该序列相对于 (X, Λ) 是 toroidal 的 (环状).
.
评论：此段的落点是得到了 centre blowups 序列，T 是最后的blowup 的 exceptional divisor.
.
小结：阅读该段时眼睛有打滑的感觉，经常跑错行. 可能是对其中的概念和手法不熟悉所致.
*
温习：第一段
1. 从单点 x 出发，得到解析领域 U(⊂ X);
2. 将两组配对限制到U： (X, B)|U 及 (X, Λ)|U;
3. 换个写法: (U, B|U) 及 (U, Λ|U). 注: U=X|U;
4. 在像空间也发生同样的事情:
z ~> V(⊂Z) ~> (V, C|V) 及 (V, Θ|V).
评论：“局部化”是方法或工具. 后果：
---- 主配对 (X, B) 的像 (Z, C) 在局部保持eps-lc.
---- 新配对 (X, Λ) 的像 (Z, Θ) 在全局保持 “禁”(但通过局部来刻画). 特注：(Z, Θ) 的 stratum 都经过 z 点.
https://blog.sciencenet.cn/blog-315774-1165240.html
上一篇：用红色下标a替换了原作上标an
下一篇：数学的困难在于，人们总想在5分钟内弄明白一个定理.
