Global minimal models for endomorphisms of projective space (Q262629)

A morphism \(\phi:\mathbb P^N\rightarrow \mathbb P^N\) can be represented by a morphism \(\Phi:\mathbb A^{N+1}\rightarrow \mathbb A^{N+1}\) whose coordinates are homogeneous polynomials of degree \(d\) and such that \(\mathrm{Res}(\Phi)\neq 0\). In the paper under review, the authors consider \(\phi\) defined over the field of fractions \(K\) of a PID ring \(R\). To every prime ideal \(p\subseteq R\) one can associate a discrete valuation \(\mathrm{ord}_p\) and we have \(\mathrm{ord}_p(\mathrm{Res}(\Phi))=0\) for every \(p\) with a finite number of exceptions. The main result of the paper under review is the following: there exists \(A\in\mathrm{GL}_{N+1}(K)\) such that, for every prime ideal \(p\subseteq R\), the order \(\mathrm{ord}_p(\mathrm{Res}(A\circ\Phi\circ A^{-1}))\) is the minimum among all the orders obtained by conjugating with elements of \(\mathrm{GL}_{N+1}(K)\).