p-adic hyperbolicity for Shimura varieties and period images
Pith reviewed 2026-05-18 11:38 UTC · model grok-4.3
The pith
Shimura varieties and geometric period images satisfy a p-adic extension property for rigid-analytic maps.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that Shimura varieties and geometric period images satisfy a p-adic extension property for large enough primes p. More precisely, let D^× ⊂ D denote the inclusion of the closed punctured unit disc in the closed unit disc. Let X be either a Shimura variety or a geometric period image with torsion-free level structure. Let F be a discretely valued p-adic field containing the number field of definition of X, where p is a large enough prime. Then, any rigid-analytic map f: (D^×)^a × D^b → X_F^an defined over F whose image intersects the good reduction locus of X_F^an (with respect to an integral canonical model) extends to a map D^{a+b}→ X_F^an.
What carries the argument
The good reduction locus defined by an integral canonical model of X, which serves as the condition allowing extension of the rigid-analytic map across the punctures.
If this is right
- Rigid-analytic maps from products of punctured and full disks into these spaces extend across punctures whenever the image meets the good reduction locus.
- The extension property yields an application to the algebraicity of rigid-analytic maps.
- The same methods apply to the rigid generic fibers of formal schemes whose Fontaine-Laffaille modules satisfy the stated positivity conditions.
Where Pith is reading between the lines
- The extension property may help classify or constrain p-adic analytic maps into moduli spaces by forcing them to come from algebraic sources when they hit good reduction.
- It suggests possible connections to other p-adic continuation or uniformization questions for arithmetic varieties.
- The reliance on positivity for Fontaine-Laffaille modules points toward potential uses in studying deformations or crystalline aspects of the geometry.
Load-bearing premise
The existence of an integral canonical model for X with respect to which the good reduction locus is defined, together with the prime p being sufficiently large.
What would settle it
A concrete rigid-analytic map from (D^×)^a × D^b to X_F^an that intersects the good reduction locus but fails to extend to D^{a+b}, for a Shimura variety X with torsion-free level structure and a sufficiently large prime p, would falsify the extension property.
read the original abstract
We prove that Shimura varieties and geometric period images satisfy a $p$-adic extension property for large enough primes $p$. More precisely, let $\mathsf{D}^{\times}\subset \mathsf{D}$ denote the inclusion of the closed punctured unit disc in the closed unit disc. Let $X$ be either a Shimura variety or a geometric period image with torsion-free level structure. Let $F$ be a discretely valued $p$-adic field containing the number field of definition of $X$, where $p$ is a large enough prime. Then, any rigid-analytic map $f: (\mathsf{D}^{\times})^a \times \mathsf{D}^b \rightarrow X_F^{\textrm{an}}$ defined over $F$ whose image intersects the good reduction locus of $X_F^{\textrm{an}}$ (with respect to an integral canonical model) extends to a map $\mathsf{D}^{a+b}\rightarrow X_F^{\textrm{an}}$. We note that this hypothesis is vacuous if $X$ is proper. We also deduce an application to algebraicity of rigid-analytic maps. Our methods also apply to the more general situation of the rigid generic fiber of formal schemes admitting Fontaine-Laffaile modules which satisfy certain positivity conditions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that Shimura varieties and geometric period images X (with torsion-free level structure) satisfy a p-adic extension property: for a discretely valued p-adic field F containing the field of definition of X and p sufficiently large, any rigid-analytic map f: (D^×)^a × D^b → X_F^an whose image intersects the good reduction locus (w.r.t. an integral canonical model) extends to a map D^{a+b} → X_F^an. An application to algebraicity of rigid-analytic maps is deduced, and the methods extend to rigid generic fibers of formal schemes admitting Fontaine-Laffaille modules satisfying positivity conditions. The hypothesis is noted to be vacuous if X is proper.
Significance. If the result holds, it establishes a p-adic hyperbolicity/extension theorem for maps into these key objects in arithmetic geometry, potentially enabling new results on algebraicity and rigidity in p-adic settings. The generalization to formal schemes with Fontaine-Laffaille modules under positivity conditions broadens applicability within p-adic Hodge theory and integral models.
major comments (1)
- Abstract: The central theorem is stated precisely, but the manuscript supplies no proof, key lemmas, derivation steps, or references to supporting results. This is load-bearing for the claim, as the abstract alone does not permit verification that the extension holds under the stated conditions on integral canonical models, torsion-free level, and sufficiently large p.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the recommendation of major revision. We address the major comment point by point below.
read point-by-point responses
-
Referee: Abstract: The central theorem is stated precisely, but the manuscript supplies no proof, key lemmas, derivation steps, or references to supporting results. This is load-bearing for the claim, as the abstract alone does not permit verification that the extension holds under the stated conditions on integral canonical models, torsion-free level, and sufficiently large p.
Authors: The provided manuscript text consists solely of the abstract, which by design contains only a concise statement of the main result and does not include proofs, lemmas, or detailed derivations. The complete manuscript on arXiv:2509.25461 develops the p-adic extension property using methods from p-adic Hodge theory, including Fontaine-Laffaille modules with positivity conditions, and references supporting results on integral canonical models and torsion-free level structures. Since only the abstract is available here, the full technical details cannot be reproduced in this response. revision: no
- Supplying the full proof of the central theorem along with key lemmas, derivation steps, and specific references, because the manuscript text provided consists only of the abstract.
Circularity Check
No circularity detected; abstract states theorem without derivation chain
full rationale
Only the abstract is available, which announces a p-adic extension theorem for rigid-analytic maps into Shimura varieties or period images under stated conditions on integral canonical models and sufficiently large p. No equations, lemmas, proof steps, or self-citations appear in the text. The claim is presented as relying on external standard properties of rigid-analytic spaces and Fontaine-Laffaille modules rather than any internal reduction or self-referential definition. This is the most common honest non-finding when no derivation chain is exhibited.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Existence of integral canonical models for Shimura varieties with torsion-free level structure
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.