Non-Archimedean normal families

Abstract

We present several results on the compactness of the space of morphisms between analytic spaces in the sense of Berkovich. We show that under certain conditions on the source, every sequence of analytic maps having an affinoid target has a subsequence that converges pointwise to a continuous map. We also study the class of continuous maps that arise in this way. Locally, they turn to be analytic after a certain base change. Our results naturally lead to a definition of normal families. We give some applications to the dynamics of an endomorphism of the projective space. We introduce two natural notions of Fatou set and generalize to the non-Archimedan setting a theorem of Ueda stating that every Fatou component is hyperbolically imbedded in the projective space.