\(\mathcal{O}\)-displays and \(\pi\)-divisible formal \(\mathcal{O}\)-modules (Q279730)

Let \(p\) be a prime number and \(R\) a commutative ring where \(p\) is nilpotent. \textit{T. Zink} [Astérisque 278, 127--248 (2002; Zbl 1008.14008)] obtains an equivalence between the category of nilpotent displays over \(R\) (also defined in that paper) and the category of formal \(p\)-divisible groups over \(R\), under some hypotheses (and later for general \(R\) in [\textit{E. Lau}, Invent. Math. 171, No. 3, 617--628 (2008; Zbl 1186.14048)]). The paper under review generalizes this theory, and in particular the aforementioned equivalence, to the case where \(R\) is an \({\mathcal O}\)-algebra and \(\pi\) is nilpotent in \(R\), \({\mathcal O}\) being a ring of integers of a non-arquimedean local field of characteristic (0,\(p\)) and \(\pi\) an uniformizer of \({\mathcal O}\). Related results have been obtained recently by the second author [Trans. Am. Math. Soc. 370, No. 1, 695--726 (2018; Zbl 1423.14257)].