Isotriviality is equivalent to potential good reduction for endomorphisms of ${\mathbb P}^N$ over function fields

dc.creatorPetsche, Clayton
dc.creatorSzpiro, Lucien
dc.creatorTepper, Michael
dc.date2008-06-09
dc.date2008-11-20
dc.date.accessioned2026-07-07T10:19:19Z
dc.date.available2026-07-07T10:19:19Z
dc.descriptionLet $K=k(C)$ be the function field of a complete nonsingular curve $C$ over an arbitrary field $k$. The main result of this paper states that a morphism $ϕ:{\mathbb P}^N_K\to{\mathbb P}^N_K$ is isotrivial if and only if it has potential good reduction at all places $v$ of $K$; this generalizes results of Benedetto for polynomial maps on ${\mathbb P}^1_K$ and Baker for arbitrary rational maps on ${\mathbb P}^1_K$. We offer two proofs: the first uses algebraic geometry and geometric invariant theory, and it is new even in the case N=1. The second proof uses non-archimedean analysis and dynamics, and it more directly generalizes the proofs of Benedetto and Baker. We will also give two applications. The first states that an endomorphism of ${\mathbb P}^N_K$ of degree at least two is isotrivial if and only if it has an isotrivial iterate. The second gives a dynamical criterion for whether (after base change) a locally free coherent sheaf ${\mathcal E}$ of rank $N+1$ on $C$ decomposes as a direct sum ${\mathcal L}\oplus...\oplus{\mathcal L}$ of $N+1$ copies of the same invertible sheaf ${\mathcal L}$.
dc.descriptionChanges in this version: moved some preliminary material on non-archimedean fields to section 2; clarified the geometric proof of Theorem 1; replaced our proof of Prop. 2(c)--which had a gap in it--with a reference to the proof by Fakhruddin; corrected several small errors and typos, and added some new references
dc.identifierhttps://arxiv.org/abs/0806.1364
dc.identifierhttp://arxiv.org/abs/0806.1364
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/174469
dc.subjectAlgebraic Geometry
dc.subjectNumber Theory
dc.subject14G99; 14H05
dc.titleIsotriviality is equivalent to potential good reduction for endomorphisms of ${\mathbb P}^N$ over function fields
dc.typetext

Files

Collections