Compactifications of rational maps, and the implicit equations of their images (Q626748): Difference between revisions

Let \(n\) be a positive integer, \(k\) a field and \(f:\mathbb{A}_k^{n-1}\dasharrow \mathbb{A}_k^{n-1}\) a rational map determined by \[ s=(s_1,\ldots,s_{n-1})\mapsto \left(\frac{f_1(s)}{g_1(s)},\ldots,\frac{f_{n}(s)}{g_{n}(s)}\right), \] where \(f_i,g_i \in k[T_1,\ldots,T_{n-1}].\) In this paper, the author considers the problem of computing the equation of the image of \(f\). For this purpose, he compactifies the domain of \(f\), mainly into the normal toric variety associated to the Newton polytope of the \(f_i'\)s and the \(g_i'\)s, and considers the followning two different compactifications of the codomain: \(\mathbb{P}^n\) and \((\mathbb{P}^1)^n.\) In both cases, he takes the extension \(\phi\) of \(f\) to the compactifications, and gets in terms of the base locus of \(\phi\) a matrix which represents its closed image. He finally estimates the size of the matrix in terms of the homogenuous ring of the domain of \(\phi\).