加载中…
Following work of Keel and Tevelev, we give explicit polynomials in the Cox ring of that, conjecturally, determine as a subscheme. Using Macaulay2, we prove that these equations generate the ideal for . For we give a cohomological proof that these polynomials realize as a projective variety, embedded in by the complete log canonical linear system.

生成讲解博客的中文版本

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