English

Extending $p$-divisible groups and Barsotti-Tate deformation ring in the relative case

Number Theory 2022-03-07 v2

Abstract

Let kk be a perfect field of characteristic p>2p > 2, and let KK be a finite totally ramified extension of W(k)[1p]W(k)[\frac{1}{p}] of ramification degree ee. We consider an unramified base ring R0R_0 over W(k)W(k) satisfying certain conditions, and let R=R0W(k)OKR = R_0\otimes_{W(k)}\mathcal{O}_K. Examples of such RR include R=OK[ ⁣[s1,,sd] ⁣]R = \mathcal{O}_K[\![s_1, \ldots, s_d]\!] and R=OKt1±1,,td±1R = \mathcal{O}_K\langle t_1^{\pm 1}, \ldots, t_d^{\pm 1}\rangle. We show that the generalization of Raynaud's theorem on extending pp-divisible groups holds over the base ring RR when e<p1e < p-1, whereas it does not hold when R=OK[ ⁣[s] ⁣]R = \mathcal{O}_K[\![s]\!] with epe \geq p. As an application, we prove that if RR has Krull dimension 22 and e<p1e < p-1, then the locus of Barsotti-Tate representations of Gal(R[1p]/R[1p])\mathrm{Gal}(\overline{R}[\frac{1}{p}]/R[\frac{1}{p}]) cuts out a closed subscheme of the universal deformation scheme. If R=OK[ ⁣[s] ⁣]R = \mathcal{O}_K[\![s]\!] with epe \geq p, we prove that such a locus is not pp-adically closed.

Keywords

Cite

@article{arxiv.1808.01580,
  title  = {Extending $p$-divisible groups and Barsotti-Tate deformation ring in the relative case},
  author = {Yong Suk Moon},
  journal= {arXiv preprint arXiv:1808.01580},
  year   = {2022}
}

Comments

18 pages; minor corrections and more details added

R2 v1 2026-06-23T03:24:43.451Z