Wiki. “小平嵌入” [小平嵌入]SimplicialCat 设 $M$ 是 $n$ 维紧复流形, 其上有正线丛 $L$, 则对于足够大的 $n_0$, $M$ 可嵌入射影空间 $\mathbb P^{n_0}$.