This is an in-mail from TYUST.

                     新入の者--> What is going on ? (redirected) new

本期开始改变画风，搭载数学类学院等有用链接。

今日学院：数学与统计学院（湖南师大）。新闻。

.

如何对付较长的证明？

(接上回~) Step 6. 共一段。逐句评论：

Letting A' = phi*A, where A is as in Step 3, we have Kx' + Γ' + A' - αM' = 0.

---- 按 Step 3 中的定义，A:= α M - (Kx + Γ) is ample for some α∈(0, 1).

---- 这个 A 可看做 M - (Kx + B) 的某种 “rounded” 版本。

----  M - (Kx + B) 就是 N（“参”），可重命名“伯参”，这样 A 可命名为“仲参”。 

----  Kx' + Γ' + A' - αM' 可称作“合参”（仲参的合式）。

---- 等于零的式子称作“合”。

评论：仅是把影版的A做了个简单的移项。

.

Then L' + P' =nΔ' -\(n+1)Δ'/ + nN' + M' + P'

=  Kx' + Γ' + A' - αM' + nΔ' -\(n+1)Δ'/ + nN' + M' + P'

= Kx' + Λ' + A' + nN' + (1-α) M'.

---- L' 命名为“弈”，群儒、诸参、贵（参见Step 4）。

---- Λ' 命名为“府”，仲相、群儒、僚的联合（参Step 5）。

----  A' + nN' + (1-α) M' 可称作“幕”。

剧情：少顷，僚入弈。合参亦入。遂成幕府之势。

.

Since A' + nN' + (1-α) M' is nef and big and (X', Λ') is plt with \Λ'/ = S', we have h1(L'+P'-S')=0 by the Kawamata-Viehweg vanishing theorem.

---- L' + P' 命名为“局”，分解为“王-府-幕”。

---- 王府达成“S'-plt”；独幕达成“nef&big”（简称“nb”）。

---- 做这个“局”，只为落入“KV消失定理”！

.

Thus H0(L'+P') --> H0((L'+P')|S') is surjective.

---- 最后落到了一个映射上！

---- “局”在“重地”上的作用是surjective（即“满的”）。

.

小结：现在得以看清楚，L', P', S' 是三个重要角色。

Leonhard Euler  Carl Friedrich Gauss  Grothendieck   

Glossary (AG) 

*

第一轮读写链接（按目录顺序）

Abstract 8/4

Introduction

  Boundedness of singular Fano varieties (1) 8/5

  Boundedness of singular Fano varieties (2) 8/6

  Boundedness of singular Fano varieties (3) 8/7

  Boundedness of singular Fano varieties (4) 8/8

  Boundedness of singular Fano varieties (5) 8/9

  Boundedness of singular Fano varieties (6) 8/9

  Jordan property of Cremona groups 8/10

  Lc thresholds of lR-linear systems   8/11

  Lc thresholds of anti-log canonical systems of Fano pairs (1)  8/12

  Lc thresholds of anti-log canonical systems of Fano pairs (2)  8/13

  Lc thresholds of R-linear systems with bounded degree  8/14

  Complements near a divisor  8/15