学习是个“收集钥匙”的过程~
.
Step2c.
We can take an appropriate log resolution V --> W⁻ of (W⁻, Σw⁻) such that (V, Λ) belongs to a bounded family Q of pairs depending only on d, eps, n...
---- 之前(第一段) 已经有两个映射:
W --> X, log resolution of (X, Ω).
W --> W⁻, contraction defined by Aw.
V --> W⁻, log resolution of (W⁻, Σw⁻).
拉 推 拉
图解: V --> W⁻<-- W --> X.
注: W “纯阳”(箭头向外); W⁻ “纯阴”(箭头向外).
---- V 半阳; X 半阴 (V 到 X 该有个映射...果然!见Step4).
---- 后面有 W --> V, 符合纯阳到半阳的预期.
(但 X --> W⁻ 缺失, 原因待考).
.
...where (V, Λ) is log smooth and Λ is the sum of the birational transform of Σw⁻ and the exceptional divisors of V --> W⁻.
---- 又出来个配对 (V, Λ), log smooth.
---- Λ = β~ + Ev (其中, β=Σw⁻).
(带下标的E指代超常除子之和. 下标指代映射).
---- 边界构造法(超法): 边界~ + 超常除子之和.
(像空间边界的双有理变换 + log resolution映射的超常除子之和).
---- 映射未明显给出的, 用原像集指代.
.
评论:log resolution 的作用(之一)是: 产生新的空间 (如此处的 V 及第一段的 W).
---- contraction 也可产生新的空间 (如此处的 W⁻).
注: 前者“拉”,后者“推” (参图解).
.
Replacing W we can assume ψ: W --> V is a morphism and that Aw is the pullback of Av = ψ*Aw.
注: 星号是下标.
---- 引入 W 到 V 的映射.
---- 替换是怎么回事?
---- 星号上标和下标的区别? (这是老问题).
.
小结: Step2 读写完毕.
符号大全、上下标.|| 常用:↑↓ π ΓΔΛΘΩμφΣ∈ ∉ ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ≡ ⁻⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .