S. Mohammad Hadi Hedayatzadeh,Ali Partofard
Abstract:We prove a deformation theorem for prismatic higher $(G,\mu)$-displays over quasi-syntomic rings. As an application, we extend the classification of $p$-divisible groups via prismatic Dieudonné modules to a class of rings properly containing quasi-syntonic rings. Finally, we related the stack of prismatic higher $(G,\mu)$-displays to integral local Shimura varieties.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve lies in **deformation theory** and how to generalize certain classification results from quasi - congruent rings to a broader class of rings. Specifically, the goals of the paper can be summarized as follows:
1. **Proof of the Deformation Theorem**: The authors prove a deformation theorem about prismatic higher (G,µ)-displays on quasi - congruent rings. This part is achieved by studying the behavior of these objects under nilpotent extensions.
2. **Extension of Classification**: As an application, they generalize the classification of p - divisible groups via prismatic Dieudonné modules to a class of rings that includes quasi - congruent rings. This not only expands the application scope of the existing theory but also provides new tools and perspectives for subsequent research.
3. **Relationship with Local Shimura Varieties**: Finally, the authors explore the connection between prismatic higher (G,µ)-displays and integral local Shimura varieties. This connection helps to better understand these mathematical objects and may reveal new structures or properties.
### Specific Problem Analysis
To explain these problems more clearly, we can further analyze several key points:
#### 1. Deformation Theorem
One of the main theorems mentioned in the paper is about the deformation theory of prismatic higher (G,µ)-displays under nilpotent extensions. Specifically, for a first - order nilpotent extension \( f: S' \twoheadrightarrow S \) satisfying certain conditions, there exists a natural bijection:
\[
\text{Iso classes of deformations of a prismatic higher (G,µ)-display on } S \text{ along } f \leftrightarrow \text{Iso classes of deformations of the associated Hodge filtration from } S \text{ to } S'.
\]
This result is similar to the classical result in Grothendieck - Messing theory but is generalized in the prismatic framework.
#### 2. Extension of Classification
By introducing the concept of prismatic higher (G,µ)-displays, the authors are able to generalize the classification of p - divisible groups to a broader class of rings. In particular, they prove that for a class of rings \( \tilde{S} \) that includes quasi - congruent rings, there exists a categorical equivalence:
\[
\text{Category of p - divisible groups over } \tilde{S} \simeq \text{Category of prismatic higher (G,µ)-displays over } \Delta_{\tilde{S}}.
\]
Here \( \Delta_{\tilde{S}} \) is a canonical prism associated with \( \tilde{S} \).
#### 3. Relationship with Local Shimura Varieties
The paper also explores the relationship between prismatic higher (G,µ)-displays and integral local Shimura varieties. Specifically, assume that \( (G, \mu, b) \) is an integral Shimura datum, then a prismatic higher (G,µ)-display \( D_b \) can be associated. The authors define a stack \( B^{\text{qsyn}}_{(G,\mu,b)} \) and prove that under certain conditions, there exists a natural equivalence transformation:
\[
F_{\text{ib}}^G: B^{\text{qsyn}}_{(G,\mu,b)} \to M^{\text{int}}(G,\mu,b).
\]
### Summary
In general, the main contribution of this paper lies in introducing prismatic higher (G,µ)