Wiki. “小平嵌入定理” [小平嵌入定理]

若 $(M,L)$ 为极化流形, 则存在足够大的正整数 $k_0$, 使得对 $k\geq k_0$, 如下映射是嵌入: 令 $N = \dim H^0(M,L^k)$, 任取 $L^k$ 的全纯截面 $s_0,\cdots,s_N$, 定义 $$ \Phi_{L^k}\colon M\to \mathbb P^N(\mathbb{C}),p\mapsto (s_0(p):\cdots: s_N(p)). $$

推论. 若 $M$ 上存在正线丛, 则 $M$ 为代数簇.