Reconstructing birational maps from their face functions (Q1803003): Difference between revisions

Let \(k\) be a field, and let \(F=(f_ 1,\ldots,f_ n)\): \(k[x_ 1,\ldots,x_ n]\to k[x_ 1,\ldots,x_ n]\) be a \(k\)-automorphism of the polynomial ring in \(n\geq 2\) indeterminates. It is well known that \(F\) is completely determined by its face functions \(f_ j(0,x_ 2,\ldots,x_ n),\ldots,f_ j(x_ 1,x_ 2,\ldots,x_{n-1},0)\), \(j\in\{1,\ldots,n\}\). The authors consider a similar question for birational maps of affine \(n\)-space. They show that without further restrictions a similar result does not hold. Let \({\mathcal M}\) be the class of birational maps \(F=(p_ 1/q_ 1,\dots,p_ n/q_ n):k^ n\to k^ n\) [where, for \(i\in\{1,\dots,n\}\), \(p_ i,q_ i\in k[x_ 1,\dots,x_ n]\), \(\text{gcd}(p_ i,q_ i)=1\), and the face functions \(q_ i(0,x_ 2,\ldots,x_ n)\), \(q_ i(x_ 1,\ldots,x_{n-1},0)\) are non-zero], such that \(F^{-1}=(g_ 1,\ldots,g_ n)\) where \(g_ 1,\ldots,g_ n\) are irreducible polynomials. In this class, a birational map is completely determined by its face functions.