This is an in-mail from TYUST.

本期开始加开窗口，推出科学网特色博主，有用链接等。

今日博主：徐令予李颖业张忆文林中祥 张云 李学宽武夷山 宁利中 蒋迅 蒲亨建 刘全慧 谢力Grothendieck 韩健 毛宏王庆浩尤明庆张操曾新林文克玲蔡宁吕洪波杨正瓴彭真明蒋继平姬扬徐耀刘钢刘全生吕喆 王鸿飞 马臻 刘进平 赵美娣 鲍永利 戴世强 周涛 刘洋 邢志忠 曾泳春郭景涛郑永军（保留若干神秘博主）

心中有块石头...

（接上回*）定理1.6证明部分（第五段）。

By Proposition 5.9, there is a Q-divisor Λ ≥ 0 such that nΛ is integral, mA-Λ is ample, (X, Λ) is lc near x, and T is a lc place of (X, Λ).

评论：到这一步，终于完全靠到命题5.9上了。之前的段落都是为这一步做准备（但其中的探索过程大概是看不到的）。

Replacing A, C, L, s with 2mA, 2mC, 2mL, s/(2m), respectively, and replacing r accordingly, we can assume A - B - sL and A - Λ are ample.

评论：从下一步看，这一步是为应用命题5.7做准备。

Applingy Proposition 5.7 to (X, B + sL), there is a natural number q depending only on d, r, n, eps' such that if vn: U-->X is a resolution so that T is a divisor on U, then muTvu*L<=q. Pick such a resolution.

评论：应用了命题5.7，得到q的不等式（从下一段看很关键）。跳点：命题5.7。

.

小结：第五段完毕。

.

进入第六段（最后一段）。

Finally since

a(T, X, B)>=eps>eps' = a(T, X, B + sL),

we have muTvu*sL >= eps - eps' which implies s >= (eps - eps')/q, hence s is bounded from below as required.

评论：这一步该不难（尽管暂时看不清）。

.

小结：第六段完毕（定理1.6证明完毕）。下一步，转到命题5.7的叙述。计划：尝试把整个证明做成卡片...

* * *

从这部分的证明看，代数几何可能并不难，但是非常琐碎。这里头的（探索）方法尚不清楚。

今日博主：徐令予李颖业张忆文林中祥 张云李学宽武夷山 宁利中蒋迅蒲亨建 刘全慧 谢力Grothendieck 韩健 毛宏王庆浩尤明庆张操曾新林文克玲蔡宁吕洪波杨正瓴彭真明蒋继平姬扬徐耀刘钢刘全生吕喆 王鸿飞 马臻 刘进平 赵美娣 鲍永利 戴世强 周涛 刘洋 邢志忠 曾泳春郭景涛郑永军（保留若干神秘博主）