{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2409030","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q2409030","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q2409030","kernelVersion":"v1","immutable":true,"modified":"2026-04-03T01:26:25Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q2409030","name":"Primitive elements for \\(p\\)-divisible groups","headline":"Primitive elements for \\(p\\)-divisible groups","description":"scientific article; zbMATH DE number 6789147","url":"https://portal.mardi4nfdi.de/entity/Q2409030","datePublished":"2017-10-10","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q789458"},{"@id":"https://portal.mardi4nfdi.de/entity/Q301414"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q254941"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S40993-017-0084-8","url":"https://doi.org/10.1007/S40993-017-0084-8"},"sameAs":["https://doi.org/10.1007/S40993-017-0084-8"],"comment":"Let \\(\\mathcal G\\) be a finite flat group scheme. Using Raynaud's theory of Haar measures of [\\textit{M. Raynaud}, Bull. Soc. Math. Fr. 102, 241--280 (1974; Zbl 0325.14020)], the authors define a closed subscheme \\(\\mathcal G^\\times\\hookrightarrow\\mathcal G\\) by decreeing its ideal to be the line bundle of invariant measures on the Cartier dual of \\(\\mathcal G\\). Moreover, if \\(\\mathcal G\\) is a Barsotti-Tate group of level \\(n\\) for a prime number \\(p\\), the authors define the closed subscheme \\(\\mathcal G^{prim}\\hookrightarrow\\mathcal G\\) of ``primitive elements'' to be the inverse image of \\(\\mathcal G[p]^\\times\\) under the canonical epimorphism \\(\\mathcal G\\twoheadrightarrow\\mathcal G[p]\\).  This concept paves the way for a new approach to integral models \\(\\mathfrak X\\) of Shimura varieties with level \\(\\Gamma_1(p^n)\\)-structure, simply by looking at the scheme \\(\\mathcal A[p^n]^{prim}\\) where \\(\\mathcal A\\) is the universal abelian \\(g\\)-fold (possibly with additional structure). These schemes are not necessarily normal, but they are still interesting counterweights to the more classical concept of moduli spaces of points ``with exact order \\(p^n\\)'', which seems to be limited to settings in which one can work with one-dimensional formal groups, as in [\\textit{V. G. Drinfel'd}, Math. USSR, Sb. 23, 561--592 (1976; Zbl 0321.14014); translation from Mat. Sb., n. Ser. 94(136), 594--627 (1974)] or [\\textit{N. M. Katz} and \\textit{B. Mazur}, Arithmetic moduli of elliptic curves. Princeton, NJ: Princeton University Press (1985; Zbl 0576.14026)].","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3361004"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4767397"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4083839"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4369168"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4914364"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3697144"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4935967"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3726258"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4854036"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4088931"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5592047"},{"@id":"https://portal.mardi4nfdi.de/entity/Q301415"}]},"provenance":{"prov:generatedAtTime":"2026-04-03T01:26:25Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}