Purity results for \(p\)-divisible groups and Abelian schemes over regular bases of mixed characteristic (Q612854)

Summary: Let \(p\) be a prime. Let \((R,\mathfrak{m})\) be a regular local ring of mixed characteristic \((0,p)\) and absolute index of ramification \(e\). We provide general criteria of when each abelian scheme over \(\text{Spec}\, R\setminus{\mathfrak{m}}\) extends to an abelian scheme over \(\text{Spec}\, R\). We show that such extensions always exist if \(e\leq p-1\), exist in most cases if \(p\leq e\leq 2p-3\), and do not exist in general if \(e\geq 2p-2\). The case \(e\leq p-1\) implies the uniqueness of integral canonical models of Shimura varieties over a discrete valuation ring \(\mathcal O\) of mixed characteristic \((0,p)\) and index of ramification at most \(p-1\). This leads to large classes of examples of Néron models over \(\mathcal O\). If \(p>2\) and index \(p-1\), the examples are new.