p-adic Borel extension for local Shimura varieties

This paper establishes that moduli spaces of Scholze's $p$-adic shtukas, including all local Shimura varieties for any group $G$, satisfy a $p$-adic rigid analytic version of Borel's extension theorem, thereby implying their $p$-adic Brody hyperbolicity.

The Gist

The Big Picture: Fixing Broken Maps

Imagine you have a magical map (a mathematical function) that tells you how to travel from a specific starting point to a complex destination. In this paper, the "destination" is a very special, high-dimensional shape called a Local Shimura Variety. These shapes are like intricate, multi-layered mazes used by mathematicians to understand deep secrets about numbers and symmetry.

The "starting point" is usually a punctured disk. Think of a flat, circular piece of paper with a tiny hole punched right in the center.

The Problem:
In the world of complex numbers (the kind we use in standard calculus), there is a famous rule called Borel's Extension Theorem. It says: If you have a smooth path that leads to a hole in the middle of a map, and the destination is a "nice" shape, you can always fill in that hole and extend the path smoothly across the center without it breaking or exploding.

For a long time, mathematicians knew this worked for the "complex" world. But what about the p-adic world?

• The p-adic world is a different kind of geometry, based on prime numbers (like 2, 3, 5...). It's like looking at numbers through a kaleidoscope where distance is measured differently.
• The authors (Oswal and Pappas) wanted to know: Does this "filling the hole" rule still work in the p-adic world for these complex Shimura mazes?

The Answer:
Yes! They proved that no matter how you try to approach the hole in the center of the p-adic map, you can always smoothly extend the path to cover the hole. The path doesn't break; it just continues naturally.

---

Key Concepts Explained with Analogies

1. The "Shtuka" (The Magical Backpack)

To understand these shapes, the authors use objects called shtukas.

• Analogy: Imagine a backpack (the shtuka) that you wear while walking. This backpack has a special feature: it can change its shape slightly depending on where you are, but it must follow strict rules (like a zipper that only opens in certain ways).
• The "Leg": The paper talks about shtukas "with one leg." Think of this as a backpack with a single, special strap that is tied to a specific knot (the "framing").
• The Goal: The authors show that if you have a backpack walking along a path that stops just before a hole, you can figure out exactly how the backpack should look inside the hole to keep the journey smooth.

2. The "Framing" (The Anchor)

The shtuka isn't just floating; it's anchored by something called a framing (represented by $b$).

• Analogy: Imagine the backpack is tethered to a giant, invisible anchor on the ground. As you walk, the backpack moves, but the tether keeps it connected to the anchor.
• The Challenge: When you extend the path into the hole, you have to make sure the tether doesn't snap or get tangled. The authors proved that you can always adjust the tether so it fits perfectly into the new space.

3. "Brody Hyperbolicity" (The "No-Go" Zone)

The paper also proves a property called p-adic Brody hyperbolicity.

• Analogy: Imagine the destination (the Shimura variety) is a fortress that is so rigid and complex that no "straight line" (or simple curve) can enter it and keep moving forever without getting stuck.
• The Result: If you try to draw a path from a simple shape (like a line or a circle) into this fortress, the path has nowhere to go but to stop immediately. It becomes a constant.
• In plain English: These shapes are so "curved" and "twisted" in the p-adic world that you cannot draw a non-trivial straight line into them. They are "hyperbolic" in the sense that they repel simple paths.

---

Why This Matters (The "So What?")

1. Filling the Gaps: Before this paper, we knew this "hole-filling" rule worked for some specific types of these shapes (like Rapoport-Zink spaces, which are related to p-divisible groups). This paper proves it works for ALL of them, including the most exotic and mysterious ones (involving "exceptional groups" like $E_6$ and $E_7$). It's like proving a safety rule applies to every car on the road, not just the sedans.
2. No Need for Old Tools: Previous proofs relied on heavy machinery involving "p-divisible groups" (a very specific, complicated type of algebraic object). The authors found a new, cleaner way to prove this using modern tools (perfectoid spaces and diamonds) that bypass the old, clunky methods. It's like finding a shortcut through a forest instead of hacking through the underbrush.
3. Rigidity: The fact that these shapes are "hyperbolic" (they reject simple paths) tells us they are incredibly rigid and structured. This rigidity is a powerful tool for mathematicians trying to solve deep problems in number theory, such as the Langlands Program (a grand unification theory of math).

Summary in One Sentence

The authors proved that in the strange, prime-number-based world of p-adic geometry, you can always smoothly extend a path into a missing hole for these complex mathematical shapes, and that these shapes are so rigid that simple paths cannot wander through them without getting stuck.

Technical Summary

1. Problem Statement and Context

The Classical Context:
In the theory of complex Shimura varieties, Borel's extension theorem states that any holomorphic map from a punctured polydisk into a quotient of a Hermitian symmetric domain by a torsion-free arithmetic group extends uniquely to the whole polydisk. This result is foundational, implying that the algebraic structure of these quotients is canonical and determined by their complex analytic structure.

The p-Adic Gap:
Recently, Oswal-Shankar-Zhu-Patel (OSZP) established a $p$-adic rigid analytic version of Borel's extension theorem, but only for Rapoport-Zink spaces (which correspond to local Shimura varieties for $GL_n$ with minuscule cocharacters). Their proof relied heavily on integral models of global Shimura varieties and the theory of $p$-divisible groups.

The Challenge:
The authors aim to generalize this result to all local Shimura varieties and, more broadly, to all moduli spaces of $p$-adic shtukas (as defined by Scholze and Weinstein).

• Scope: This includes data $(G, [b], \{\mu\})$ where $G$ is an arbitrary reductive group (including exceptional groups like $E_6, E_7$) and $\mu$ is not necessarily minuscule.
• Obstacle: When $\mu$ is not minuscule, the moduli spaces are not rigid analytic varieties but "diamonds" (a class of geometric objects in perfectoid geometry). Furthermore, for general $G$, there is no interpretation in terms of $p$-divisible groups, rendering the OSZP strategy (which uses global integral models and period maps for $p$-divisible groups) inapplicable.

2. Methodology and Technical Approach

The authors develop a new strategy that avoids the use of global integral models and $p$-divisible groups, relying instead on the intrinsic geometry of shtukas and recent advances in $p$-adic Hodge theory.

A. Reduction to $GL_n$

The proof begins by reducing the general case to the case where $G = GL_n$.

• They utilize a closed immersion of group schemes $\rho: G \hookrightarrow GL_n$ over $\mathbb{Z}_p$.
• This induces a closed immersion of the corresponding moduli spaces of shtukas.
• By proving the extension theorem for $GL_n$, they can lift the result to the general $G$ case via descent and the closed immersion property.

B. The Extension Strategy: From Local Systems to Shtukas

The core of the proof involves extending a morphism defined on a punctured disk $B^\times$ to the full disk $B$. The strategy proceeds in three main stages:

1. Translation to Local Systems:
   A morphism from a rigid analytic space (or diamond) to the moduli of shtukas corresponds to a pro-étale $\mathbb{Z}_p$-local system (a vector bundle with Frobenius structure). The authors show that the local system associated with the morphism on the punctured disk is "horizontal de Rham" (its associated vector bundle with connection is trivial).

2. Extension of the Local System:
   Using the logarithmic $p$-adic Riemann-Hilbert correspondence (Diao-Lan-Liu-Zhu), they extend the local system from the punctured disk to the full disk.

   • Key Technical Innovation: Unlike OSZP, who used global Shimura varieties to handle the boundary, the authors use a recent result by Guo and Yang. This result provides a "pointwise criterion for crystallinity."
   • They prove that the extended local system is crystalline at all classical points of the disk and that the associated Frobenius isocrystal is constant (given by the element $b$).

3. Reconstruction and Framing:

   • Reconstruction: Using the crystalline local system, they reconstruct the shtuka over the full disk.
   • Framing Extension: A shtuka requires a "framing" (an isomorphism to a standard model at infinity). The authors must show that the framing defined on the punctured disk can be adjusted to extend to the full disk.
   • Banach-Colmez Spaces: They prove that the automorphism group of the framing (related to the group $J_b$) has no non-trivial sections over the punctured disk. Specifically, they show that positive Banach-Colmez spaces have only trivial sections over $B^\times \times B^t$. This rigidity allows them to adjust the framing uniquely to match the boundary conditions.

3. Key Results

Theorem 1: $p$-Adic Borel Extension

Let $(G, [b], \{\mu\})$ be local shtuka data and $K \subset G(\mathbb{Q}_p)$ a compact open subgroup. Let $B$ be the closed unit disk and $B^\times$ the punctured disk over a finite extension $F$ of the reflex field.

• Result: Every rigid analytic morphism $a^\times: (B^\times)^s \times B^t \to \text{Sht}(G,b,\mu,K)$ extends uniquely to a morphism $a: B^{s+t} \to \text{Sht}(G,b,\mu,K)$.
• Generality: This holds for all local Shimura data, including non-minuscule $\mu$ and exceptional groups. If the moduli space is a diamond (non-rigid), the extension holds in the category of diamonds.

Theorem 2: $p$-Adic Brody Hyperbolicity

• Result: Every morphism from a smooth irreducible rational curve $Y$ (over a discretely valued field) to a local Shimura variety (or moduli of shtukas) is constant.
• Significance: This establishes a strong form of hyperbolicity in the $p$-adic setting, analogous to the complex case where hyperbolic manifolds admit no non-constant maps from $\mathbb{C}$.

Theorem 3: Extension for Quasi-Projective Varieties

• Result: Any morphism from a smooth irreducible quasi-projective variety $S$ (with finite geometric étale fundamental group) to the moduli space of shtukas is constant.
• Method: This is proven using a "Theorem of the Fixed Part" argument, showing that the associated local system must be trivial, forcing the map to be constant.

4. Significance and Contributions

1. Unification of Local Shimura Theory: The paper removes the restriction to minuscule cocharacters and $GL_n$. It confirms that the "Borel extension" phenomenon is a universal feature of local Shimura varieties, regardless of whether they can be interpreted as moduli of $p$-divisible groups.
2. Independence from Global Geometry: By replacing the reliance on global integral models (used in OSZP) with local crystalline criteria (Guo-Yang) and Banach-Colmez space properties, the authors provide a purely local proof. This is crucial for exceptional groups where global integral models are not available or well-understood.
3. New Tools for Diamond Geometry: The work demonstrates the power of the diamond formalism and the interplay between shtukas, local systems, and period rings ($B_{crys}, B_{dR}$) in higher-dimensional rigid analytic geometry.
4. Hyperbolicity in Non-Archimedean Geometry: The results contribute significantly to the understanding of hyperbolicity in non-archimedean geometry, distinguishing between discretely valued fields (where the results hold) and fields like $\mathbb{C}_p$ (where the question remains open).

5. Limitations and Future Directions

• Discrete Valuation: The proofs crucially rely on the base field being discretely valued. The authors explicitly note that it is unknown if these results hold over $\mathbb{C}_p$ (the completion of the algebraic closure of $\mathbb{Q}_p$).
• Function Field Analogues: The paper poses the question of whether similar extension and hyperbolicity properties hold for moduli spaces of shtukas over function fields (both local and global), which would unify the $p$-adic and function field theories further.

In summary, Oswal and Pappas have successfully generalized the $p$-adic Borel extension theorem to the full scope of local Shimura varieties, utilizing modern perfectoid techniques to bypass classical obstructions related to $p$-divisible groups and global integral models.