English

Equations defining certain graphs

Commutative Algebra 2019-10-31 v2

Abstract

Consider the rational map ϕ:Pkn1[f0::fn]Pkn\phi: \mathbb{P}^{n-1}_{\mathbf k} \stackrel{[f_0:\cdots: f_n]}{\longrightarrow} \mathbb{P}^{n}_{\mathbf k} defined by homogeneous polynomials f0,,fnf_0,\dots,f_n of the same degree dd in a polynomial ring R=k[x1,,xn]R=\mathbf k [x_1,\dots,x_n] over a field k\mathbf k. Suppose I=(f0,,fn)I=(f_0,\dots,f_n) is a height two perfect ideal satisfying μ(Ip)dimRp\mu(I_p)\leq\dim R_p for pSpec(R)V(x1,,xn)p\in \operatorname{Spec} (R) \setminus V(x_1,\dots, x_n). We study the equations defining the graph of ϕ\phi whose coordinate ring is the Rees algebra R[It]R[It]. 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 ϕ\phi is birational onto its image.

Keywords

Cite

@article{arxiv.1804.02015,
  title  = {Equations defining certain graphs},
  author = {Youngsu Kim and Vivek Mukundan},
  journal= {arXiv preprint arXiv:1804.02015},
  year   = {2019}
}

Comments

Several typos fixed and the section of general elements rewritten