English

Purity for Barsotti-Tate groups in some mixed characteristic situations

Number Theory 2020-02-25 v3 Commutative Algebra Algebraic Geometry

Abstract

Let pp be a prime. Let RR be a regular local ring of dimension d2d\ge 2 whose completion is isomorphic to C(k)[[x1,,xd]]/(h)C(k)[[x_1,\ldots,x_d]]/(h), with C(k)C(k) a Cohen ring with the same residue field kk as RR and with hC(k)[[x1,,xd]]h\in C(k)[[x_1,\ldots,x_d]] such that its reduction modulo pp does not belong to the ideal (x1p,,xdp)+(x1,,xd)2p2(x_1^p,\ldots,x_d^p)+(x_1,\ldots,x_d)^{2p-2} of k[[x1,,xd]]k[[x_1,\ldots,x_d]]. We extend a result of Vasiu-Zink (for d=2d=2) to show that each Barsotti-Tate group over Frac(R)\text{Frac}(R) which extends to every local ring of Spec(R)\text{Spec}(R) of dimension 11, extends uniquely to a Barsotti-Tate group over RR. This result corrects in many cases several errors in the literature. As an application, we get that if YY is a regular integral scheme such that the completion of each local ring of YY of residue characteristic pp is a formal power series ring over some complete discrete valuation ring of absolute ramification index ep1e\le p-1, then each Barsotti-Tate group over the generic point of YY which extends to every local ring of YY of dimension 11, extends uniquely to a Barsotti-Tate group over YY.

Keywords

Cite

@article{arxiv.1809.05141,
  title  = {Purity for Barsotti-Tate groups in some mixed characteristic situations},
  author = {Ofer Gabber and Adrian Vasiu},
  journal= {arXiv preprint arXiv:1809.05141},
  year   = {2020}
}

Comments

39 pages (up-dated references)

R2 v1 2026-06-23T04:05:55.254Z