Abstract:We first recall Grothendieck's notion of n-truncated Barsotti-Tate group. Such groups form an algebraic stack over the integers. The problem is to give an illuminating description of its reductions modulo powers of p. A related problem is to construct analogs of these reductions related to general Shimura varieties with good reduction at p. We discuss some conjectures on this subject based on the theory of prismatic cohomology.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the Shimurian analogue problem regarding Barsotti - Tate groups (abbreviated as BT groups) in the field of mathematics. Specifically, the author explores the development of an emerging theory, which aims to provide a description related to Shimura varieties for a particular type of algebraic structure, namely, the \(n\)-truncated Barsotti - Tate group of height \(h\) (denoted as \(\text{BT}_n^h\)). Shimura varieties are a special class of algebraic varieties, which have important applications in number theory and algebraic geometry.
The core problem of the paper is to find a clear description method that can be "Shimurianized" to characterize the stack of \(\text{BT}_n^h\) modulo \(p^m\) (denoted as \(\text{BT}_{n,m}^{h,d}\)), where \(h\) represents the height, \(n\) represents the truncation level, \(m\) represents the modulus, and \(d\) represents the dimension of the Lie algebra. Here, "Shimurianized" means that this description method can be generalized to situations related to Shimura varieties, including those Shimura varieties related to exceptional groups such as \(E_6\) and \(E_7\).
This problem is important because it not only helps to deepen our understanding of Barsotti - Tate groups, but may also provide new tools and perspectives for the study of a wider range of Shimura varieties. In addition, the solution of this problem may promote the further development of algebraic geometry, number theory, and related fields.