概形
拟凝聚层
quasicoherent sheaf …
有限表示模层
参考：Section 17.11 (01…
理想层
Sheaf of ideals 定义 设…
微分形式层
微分形式模 定义 设 $A$ 是环，$B…
层的上同调
层上同调的定义 命题 设 $(X,\ca…
Higher Direct Images of Sheaves
注记 $f_*$ 是左正合的，$\mat…
除子(Divisor)
除子 定义 设 $X$ 是一个正规概形，…
丰沛层(ample sheaf)
[definition name="丰沛…
拟紧态射(quasi-compact morphism)
[definition]设 $f:X\t…
仿射态射(affine morphism)
[definition] 设 $f:X …
真态射(proper morphism)
代数几何和拓扑学的对应关系如下 代数几何…
闭浸入(closed embedding)
[remark]Ravi Vakil 认…
分离态射(separated morphism)
代数几何和拓扑学的对应关系如下 代数几何…
簇(Variety)
Hartshorne 流派 [defin…
消失定理(Vanishing Theorem)
[theorem name="Groth…
局部完全交(Local complete intersection)
[definition]设 $Y$ 是域…
平展态射(étale morphism)
[definition name="平展…
概形的 Brauer 群
直接音译为布劳尔群。 Brauer 上同…
半连续定理
[definition] 设 $Y$ 是…
形式函数的定理
[theorem name="Theor…
线性系(linear system)
[definition] 设 $D$ 是…
光滑态射(Smooth Morphism)
[remark]设出现的概形都是域 $k…
层(sheaf)
[definition]设 $\math…
平坦态射(flat morphism)
平坦态射 [definition]设 $…
非奇异概形(nonsingular scheme)
[definition] 设 $X$ 是…
既约概形
[definition name="re…
不可约概形
[definition name="ir…
Hom 层
[definition]设 $X$ 是一…
局部环空间(locally ringed space)
[definition]设 $X$ 是一…
理想层
[definition] 设 $Y$ 是…
法层(normal sheaf)
光滑簇的法层 [definition]设…
切层(Tangent sheaf)
光滑簇上的切层 [definition]…
Néron–Severi 群(Néron–Severi group)
[definition]$\text{P…
不可约概形(irreducible scheme)
[definition]概形 $(X,\…
Complete 簇
[definition]设 $X$ 是一…
几何不可约(geometrically irreducible)
几何不可约[cite]Section 3…
既约概形(reduced scheme)
[definition]一个环称为既约环…
整概形(Integral scheme)
[definition]概形 $(X,\…
任务优先