Wiki. “整概形” [整概形]

称满足如下等价条件的概形 $X$ 为整概形:

  • 对任意 Zariski 开集 $U\subset X$, $\Gamma(\mathcal O_X,U)$ 为整环;
  • $X$ 为既约概形, 且 $X$ 的底层拓扑空间不可约.

性质

整概形 $X$ 有一般点 (generic point) $\eta$, 且茎 $\mathcal O_{X,\eta}$ 是域, 称为 $X$ 的有理函数域.