Sergre Emmbedding

 

 

 

 

 

 

 

 

 

 

 

证明的想法：首先定义projection，类似projective variety能被isomorphc于仿射空间的开集所覆盖的证明，我们取一组开覆盖，在每个开覆盖上定义projection，locally地证明。其次，作为set的product是确定的，我们只需证明这在variety category上是morphism，同样的也是locally的证明，再覆盖到整个variety上。

 

 

 

考虑具体的例子：我们回忆twisted cubic

 

 

 

 

 

 

 

 

我们具体的来计算这个product：