Consider the rational map $\phi: ^{n-1}{\mathbf k} \stackrel{[f_0:\cdots: f_n]}{\longrightarrow} ^{n}{\mathbf k}f_0,\dots,f_nd$ in a polynomial ring over a field . Suppose is a height two perfect ideal satisfying $\mu(I_p)\leq\dim R_pp\in \operatorname{Spec} ® \setminus V(x_1,\dots, x_n)$. We study the equations defining the graph of whose coordinate ring is the Rees algebra . We provide new methods to construct these equations using work of Buchsbaum and Eisenbud. Furthermore, for certain classes of ideals satisfying the conditions above, our methods lead to explicit equations defining Rees algebras of the ideals in these classes. These classes of examples are interesting, in that, there are no known methods to compute the defining ideal of the Rees algebra of such ideals. These new methods also give rise to effective criteria to check that is birational onto its image.

生成讲解博客的中文版本

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