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.

Effectivity for bounds on points of good reduction in the moduli space of hypersurfaces

Bounds for Rational Points on Algebraic Curves, Optimal in the Degree, and Dimension Growth

Lowers bounds for Waldschmidt constants and Demailly's Conjecture for general and very general points

Effective equidistribution of primitive rational points on expanding horospheres

Eventual tightness of projective dimension growth bounds: quadratic in the degree

Effective Bound of Linear Series on Arithmetic Surfaces

Degrees of Hodge Loci

p-adic integrals and linearly dependent points on families of curves I

Improved bounds for integral points on modular curves using Runge's method

Counting rational points on projective varieties

Dimension growth for affine varieties

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

The geometry of double nested Hilbert schemes of points on curves

Degrees of closed points on hypersurfaces

On a conjecture of Wooley and lower bounds for cubic hypersurfaces

Bounded geometry for PCF-special subvarieties

Points of bounded height on projective spaces over global function fields via geometry of numbers

On arithmetic inequalities for points of bounded degree

Heights of pre-special points of Shimura varieties

Effective cones of quotients of moduli spaces of stable n-pointed curves of genus zero