Compactifications of rational maps, and the implicit equations of their images

DOI10.1016/J.JPAA.2010.07.010MaRDI QIDQ626748zbMATH OpenOpenAlexFDO

Publication date 18 February 2011

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0910.1340

Abstract: In this paper we give different compactifications for the domain and the codomain of an affine rational map

f

which parametrizes a hypersurface. We show that the closure of the image of this map (with possibly some other extra hypersurfaces) can be represented by a matrix of linear syzygies. We compactify

B b b A^{n - 1}

into an

(n - 1)

-dimensional projective arithmetically Cohen-Macaulay subscheme of some

B b b P^{N}

. One particular interesting compactification of

B b b A^{n - 1}

is the toric variety associated to the Newton polytope of the polynomials defining

f

. We consider two different compactifications for the codomain of

f

:

B b b P^{n}

and

(B b b P^{1})^{n}

. In both cases we give sufficient conditions, in terms of the nature of the base locus of the map, for getting a matrix representation of its closed image, without involving extra hypersurfaces. This constitutes a direct generalization of the corresponding results established in [BuseJouanolou03], [BuseChardinJouanolou06], [BuseDohm07], [BotbolDickensteinDohm09] and [Botbol09].

Review text

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\).

Recommendations

Cites work

Cited in

(11)

Describes a project that uses

Uses Software

This page was built for publication: Compactifications of rational maps, and the implicit equations of their images

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q626748)