加载中…
We show that the log canonical bundle, , of is very ample, show the homogeneous coordinate ring is Koszul, and give a nice set of rank 4 quadratic generators for the homogeneous ideal: The embedding is equivariant for the symmetric group, and the image lies on many Segre embedded copies of , permuted by the symmetric group. The homogeneous ideal of is the sum of the homogeneous ideals of these Segre embeddings.

生成讲解博客的中文版本

生成AI智能校验的中文版本