Abstract:We prove that Shimura varieties of abelian type satisfy a $p$-adic Borel-extension property over discretely valued fields. More precisely, let $\mathsf{D}$ denote the rigid-analytic closed unit disc and $\mathsf{D}^{\times} = \mathsf{D} \setminus \{0\}$, let $X$ be a smooth rigid-analytic variety, and let $S(G,\mathcal{H})_{\mathsf{K}}$ denote a Shimura variety of abelian type with torsion-free level structure. We prove every rigid-analytic map defined over a discretely valued $p$-adic field $\mathsf{D}^{\times} \times X \rightarrow S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{an}}$ extends to an analytic map $\mathsf{D} \times X \rightarrow (S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{BB}})^{\textrm{an}}$, where $S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{BB}}$ is the Baily-Borel compactification of $S(G,\mathcal{H})_{\mathsf{K}}$. We also deduce various applications to algebraicity of analytic maps, degenerations of families of abeloids, and to $p$-adic notions of hyperbolicity. Along the way, we also prove an extension result for Rapoport-Zink spaces.

Hyperbolic components and cubic polynomials

The boundary of bounded polynomial Fatou components

Hyperbolic Components of Mcmullen Maps

The geometry of the critically-periodic curves in the space of cubic polynomials

Intersections Between Boundaries of Bounded Hyperbolic Components of Cubic Polynomials

On dynamical parameter space of cubic polynomials with a parabolic fixed point

Moduli Space of Cubic Newton Maps

Cubic polynomials with a 2-cycle of Siegel disks

Global Topology of Hyperbolic Components: Cantor Circle Case

Boundaries of Capture Hyperbolic Components

Bifurcation Measures and Quadratic Rational Maps

The cubic Darboux systems with a non-elementary singular point at the Poincaré equator

Cubic Siegel polynomials and the bifurcation measure

Quadratic Rational Maps with a 2-Cycle of Siegel Disks

$p$-adic hyperbolicity for moduli spaces of abelian motives

Finding polynomials with arbitrary intersection numbers

Decay of geometry for a class of cubic polynomials

How often does a cubic hypersurface have a rational point?

Bounded hyperbolic components of bicritical rational maps

Uniform Hyperbolicity of Invariant Cylinder

The critical orbit structure of quadratic polynomials in $\mathbb{Z}_p$