.
Pro.3.1. 命题的叙述.
0a. Th1.6 (≤ d).
0b. Th1.1 (≤ d - 1).
1. X ~ Q-eps-lc Fano variety.
(前缀 “Q” 表示 “Q-factorial”)
2. X ~ Picard number one.
3. 0 ≤ L ~R -Kx.
4: (L) 有上界.
注: 0~3 ==> 4.
.
图解:
eps-lc
|
Picard one ~ X ~ Q-factorial
|
Fano
疑问: X 的属性是如何定出来的 ?
(一般而言, 需要什么就假设什么). 简图:
.
E
P ~ X ~ Q
F
.
再看结果, 它关乎有界 (“方”的一种形式).
---- 这就要有个 “法”, 它要从 X “变” 出来:
---- 有 X 就有 Kx, 而后者常取相反量 -Kx.
---- 此处要求 -Kx 线性等价于非负 divisor.
(“法”体现在 “线性” 二字).
---- 但不光是线性, Kx 带有“王权”的意味.
(最大的线即为 “法”).
.
评论: 通过规定 -Kx 线性等价于非负divisor, 赋予 -Kx “法”的身份.
---- 为了体现出这种赋予, 就要引入 L ≥ 0, 并令 L ~R -Kx.
---- 这样 L 就蕴含 -Kx 和 线性等价. 图解:
.
X ~> -Kx ~R L ≥ 0
.
最后, 从0a, 0b 的假设可以预料, 证明中要凑出Th1.6和Th1.1的条件, 以便调用它们.
.
评论: 要想完全理解这里的安排, 须放到调用它的上下文中.(待考).
.