Abstract:Let G be a smooth group scheme over $F_p$ equipped with a $G_m$-action such that all weights of $G_m$ on the Lie algebra of G are not greater than 1. Let $Disp_n^G$ be Eike Lau's stack of n-truncated G-displays (this is an algebraic stack over $F_p$). In the case n=1 we introduce an algebraic stack equipped with a morphism to $Disp_1^G$. We conjecture that if G=GL(d) then the new stack is canonically isomorphic to the reduction modulo p of the stack of 1-truncated Barsotti-Tate groups of height d and dimension d', where d' depends on the action of $G_m$ on GL(d).
We also discuss how to define an analog of the new stack for n>1 and how to replace $F_p$ by $Z/p^m Z$.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on generalizing a particular type of algebraic structure - namely, 1 - truncated Barstotti - Tate groups (or BT1 groups) and their relationship with Shimura varieties. Specifically:
1. **Generalizing 1 - truncated Barstotti - Tate groups**: The author introduces a new algebraic stack \( \text{BT}_G^{1, F_p} \), which depends on a smooth affine group scheme \( G \) and a 1 - bounded action of \( \mathbb{G}_m \). Here, a 1 - bounded action means that all weights of \( \mathbb{G}_m \) on \( \text{Lie}(G) \) are less than or equal to 1.
2. **Relationship with known structures**: The author conjectures that when \( G=\text{GL}(d) \), the newly defined stack \( \text{BT}_G^{1, F_p} \) is canonically isomorphic to the stack \( \text{BT}_{d,d'}^1\otimes F_p \) of 1 - truncated Barstotti - Tate groups of height \( d \) and dimension \( d' \) modulo \( p \). Here \( d' \) depends on the action of \( \mathbb{G}_m \) on \( \text{GL}(d) \).
3. **More general cases**: The paper also discusses how to define analogues of \( \text{BT}_G^{n, \mathbb{Z}/p^m\mathbb{Z}} \) and how to replace \( F_p \) with \( \mathbb{Z}/p^m\mathbb{Z} \). This involves the application of prism theory.
4. **Main theorems and conjectures**:
- **Theorem 4.4.1**: There exists a smooth algebraic stack \( \text{BT}_G^{1, F_p} \) over \( F_p \), and its restriction on \( \text{Sm}_{F_p} \) is the functor \( \text{BT}_G^1 \).
- **Theorem 4.4.2**: The morphism from \( \text{BT}_G^{1, F_p} \) to \( \text{Disp}_G^1 \) is an fppf gerbe driven by the group scheme \( \text{Lau}_G^1 \).
- **Conjecture 4.5.3**: When \( G = \text{GL}(d) \), \( \text{BT}_G^{1, F_p} \) is isomorphic to \( \text{BT}_{d,d'}^1\otimes F_p \).
The main objective of the paper is to generalize and understand the properties of 1 - truncated Barstotti - Tate groups under more general group schemes by introducing new algebraic structures and proving related theorems, especially their relationship with Shimura varieties. These results not only help to understand the intrinsic properties of these algebraic structures but may also provide new tools and perspectives for the study of Shimura varieties.