New constructions of Cremona maps (Q2449416)

Let \(k\) denote an arbitrary infinite field. A rational map \(\mathfrak{F}:\mathbb{P}^n_k\dashrightarrow \mathbb{P}^m_k \) is defined by \(m+1\) forms \(\mathbf{f}=f_0,\dots,f_m\in k[x_0,\dots,x_n]\) of a same degree \(d\) which is considered as the degree of the map \(\mathfrak{F}\). One may always suppose that \(\mathrm{gcd}(f_0,\dots,f_m)=1\). The idea of \textit{log-matrix} defined by \textit{A. Simis} and \textit{R. H. Villarreal} [Result. Math. 48, No. 3--4, 326--343 (2005; Zbl 1107.13025)] and [Math. Comput. 81, No. 279, 1857--1867 (2012; Zbl 1259.14010)] to study monomial rational maps. In the first part of the paper under review, the authors extend the idea of \textit{log-matrix} to arbitrary forms in \(k[x_0,\dots,x_n]\) and define an operator which is called \textit{the Newton complementary dual} and is denoted by \(\widehat{\mathbf{f}}\). It is shown that \(\widehat{\widehat{\mathbf{f}}}=\mathbf{f}\). The authors prove in Theorem 2.9 that \(\mathbf{f}\) is birational if and only if \(\widehat{\mathbf{f}}\) is so. In the plane case it is shown that the Newton complementary dual of a plane de Jonquières map is a plane de Jonquières map. Moreover in the case where \(\mathbf{f}\) is a Monomial Cremona transformation one has \(\widehat{\mathbf{f}^{-1}}=(\widehat{\mathbf{f}})^{-1}\), Proposition 2.10. In the second section the authors deal with a procedure of associating to a rational map \(\mathfrak{F}:\mathbb{P}^n\dashrightarrow \mathbb{P}^m \) a rational map \(\mathfrak{G}:\mathbb{P}^{n+1}\dashrightarrow \mathbb{P}^{m+1}\) by adjoining an arbitrary monoid equation of degree \(d\) to the representative \(\mathbf{f}\) of \(\mathfrak{F}\). Consequently, in Theorem 3.9, the authors state the following interesting fact: Let \(n \geq 2\), \(d\geq 2\) be integers. Then, for every \(r\) in the integer interval \([2, n]\), there exist Cremona transformations of \(\mathbb{P}^n\) whose base ideals have codimension \(r\) and degree \(d\), and there exist Cremona transformations of \(\mathbb{P}^n\) with \textit{Cohen Macaulay} base ideal of codimension \(r\) and degree \(d\geq n + 1- r\).