{"entities":{"Q374020":{"pageid":375787,"ns":120,"title":"Item:Q374020","lastrevid":61347933,"modified":"2026-04-10T22:47:02Z","type":"item","id":"Q374020","labels":{"en":{"language":"en","value":"P-jets of finite algebras. I: \\(p\\)-divisible groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220360"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q374020$39EA96EB-D498-4E48-83B0-89F079AA50E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4c1665f4c41c30b2563b81184c0d6c5304d9038","datavalue":{"value":{"text":"P-jets of finite algebras. I: \\(p\\)-divisible groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q374020$6BBAB8A8-33EA-4FFC-8DDA-762CDD971B3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e29da8131fc11fdec4dc34f080d48462e147b89e","datavalue":{"value":"1278.14060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q374020$3E0FDD02-7585-4AC9-972B-8018C1D53D82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3e6eca31d9bdc910ac40ea8675eb2fc6118458e","datavalue":{"value":{"entity-type":"item","numeric-id":219450,"id":"Q219450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q374020$B7B5175A-97D2-43DF-BD40-980A40280F3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q374020$294ABCBD-282A-485F-8C7A-5FE68EE0DECC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bcfbb5ee16d2a7ab6c44dcb73548f4d40646813","datavalue":{"value":{"time":"+2013-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q374020$4107C89E-65B1-4E7B-8595-84D479D722B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a6cf01cbaca15b4c5e6afc2a273cab32c123d57","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/vol-18/29.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q374020$D5F789C1-62B8-4231-BB75-2252127A7632","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"80c579dd745f3460156bfafa19a8b054900e55df","datavalue":{"value":{"entity-type":"item","numeric-id":455791,"id":"Q455791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q374020$E4663827-CEC4-4F19-BE2D-E933B8E76856","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q374020$DC7B0016-B36F-4022-B1C0-D40469D6432A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e00fc5cbaaabb1075ca555556dea147469ada1a","datavalue":{"value":"13F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q374020$13E914BD-800E-477F-B55D-8BCEFAEE7B2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccb4497fa137ee4b9e497b0afdbd49d083ce8c78","datavalue":{"value":"6220360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q374020$8A3E4446-28FA-4018-8B9D-CF188DA4A46E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc5903cec8a542a325ba709e776e569409a61036","datavalue":{"value":"formal groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q374020$C645CEEA-5600-4561-966D-70FAF66D945E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894f145a8dec98157fccfbb03c092f851422cedf","datavalue":{"value":"\\(p\\)-divisible groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q374020$F9FC96BB-573B-4C05-8F4C-470922A0DCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a333fb3ef3c6ac736e8e4a20f4d3c9ca434bf7","datavalue":{"value":"Witt vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q374020$96A72B18-9AD4-485F-B199-0F5A08EA32C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d9a0157851b7ee6f66fef4934369e8c505e31b","datavalue":{"value":"\\(p\\)-jets spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q374020$58DAF36A-389B-4221-B47F-7B77AD0CB131","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q374020$E1251927-8F6C-49F8-B07F-434B584FC3F2","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"2e3ea868571afeb9bc6fcb21bd83d9b5fc690590","datavalue":{"value":"bafkreifb47j6r3v55qa37hcbjpagpv3a5edgmuqq6iorswkqvxmvcpbjhq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q374020$AC55776D-B98A-42E0-A49C-C9429CB07606","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"738ccd515939ef76fb732e44f5d280c9eff260f5","datavalue":{"value":"Let \\(p\\) be an odd and \\(R\\) the \\(p\\)-adic completion of the maximum unramified extension of \\(\\mathbb{Z}_p\\). Let \\(\\phi : R \\to R\\) be the unique ring automorphism that lifts the \\(p\\)-power Frobenius on \\(R/pR\\). For any scheme of finite type \\(X\\) over \\(R\\), and for each integer \\(n \\geq 0\\), there is a \\(p\\)-adic formal scheme \\(J^n(X)\\) over \\(R\\), which is called the \\(p\\)-jet scheme of order \\(n\\) (see [Invent. Math. 122, No. 2, 309--340 (1995; Zbl 0841.14037)] for an exposition of the arithmetic jet theory). The rings of global functions \\(\\mathcal{O}^n(X) = \\mathcal{O}(J^n(X))\\) form an inductive system and there are canonical (non-linear) operators \\(\\delta : \\mathcal{O}^n(X) \\to \\mathcal{O}^{n+1}(X)\\).NEWLINENEWLINEThe subject paper deals with two examples. The first one is when \\(X = \\mathbb{G}_m = \\mathrm{Spec}R[x, x^{-1}]\\), \\(J^n(\\mathbb{G}_m) = \\mathrm{Spf} R[x_1,x_2,\\dots,x_n][x^{-1}]\\hat{\\mkern6mu}\\) and \\(\\delta: \\mathcal{O}^n(\\mathbb{G}_m) \\to \\mathcal{O}^{n+1}(\\mathbb{G}_m)\\) is induced by \\(\\delta : R[x_1, x_2, \\dots] \\to R[x_1, x_2, \\dots]\\) with the property that \\(\\delta(F) = \\frac{\\phi(F)-F^p}{p}\\). Here \\(\\phi : R[x_1, x_2, \\dots]\\to R[x_1, x_2, \\dots]\\) is defined by the formula \\(\\phi(x_i) = x_i^p+px_{i+1}\\). The induced morphism \\([p^{\\nu}] : J^n(\\mathbb{G}_m) \\to J^n(\\mathbb{G}_m)\\) from the \\(p\\)-isogeny \\(x \\mapsto x^{p^{\\nu}}\\) is given by the map \\([p^{\\nu}]^*(x^{(i)}) = \\delta^i(x^{p^{\\nu}})\\). The first main result of the paper computes \\(\\delta^n(x^{p^{\\nu}})\\). It has several consequences in characteristic \\(p\\).NEWLINENEWLINEThe second one is for formal groups of height greater than or equal to \\(2\\). Let \\(\\mathcal{A}^n = R[[x]][x_1, x_2, \\dots, x_n]\\) and \\(\\mathcal{A} = \\cup_{n \\geq 0} \\mathcal{A}^n\\). Let \\(\\mathcal{F} \\in R[[x]]\\) be a formal group law of finite height and let \\(\\mathcal{F}[p^{\\nu}]\\) be the kernel of the multiplication by \\(p^{\\nu}\\). Then we have the rings of global function of order \\(n\\) is NEWLINE\\[NEWLINE\\mathcal{O}^n(\\mathcal{F}[p^{\\nu}]) = \\frac{\\mathcal{A}^n}{(F^{\\circ \\nu}, \\delta(F^{\\circ \\nu}), \\dots, \\delta^n(F^{\\circ \\nu}))}.NEWLINE\\]NEWLINE To compute \\(\\delta^n(F^{\\circ v})\\), we know that \\(F^{\\circ \\nu}(x) = \\sum_{j=0}^{\\nu} p^{\\nu-j} G_j(x^{p^j})\\). The second main result of the paper computes \\(\\delta^m(p^iG(x^{p^j}))\\) where \\(G(x) \\in xR[[x]], m \\geq 1, i+j = \\nu \\geq 1, i, j \\geq 0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q374020$8B1D63FD-CA8C-4AC9-A114-FA290D4C5E0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3de155ae7ed0389699025a2bc3c8f3bdd6790fe","datavalue":{"value":{"entity-type":"item","numeric-id":374021,"id":"Q374021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8093342bbbc4945cf48eca781e9815becaefc5","datavalue":{"value":{"amount":"+0.7856082320213318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q374020$F31D4077-6DC9-4C39-9648-6DBA9A1F0720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d78aa5cae6711bbddbf1935c6dae49b3338164","datavalue":{"value":{"entity-type":"item","numeric-id":3739280,"id":"Q3739280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de49afe30766e592082a708f913262d4c6e7cf4","datavalue":{"value":{"amount":"+0.7418619394302368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q374020$8FEC0926-2425-4849-A922-634EAE49037A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8389f221126b1b651a8179b8b5721fb3a89a7600","datavalue":{"value":{"entity-type":"item","numeric-id":776411,"id":"Q776411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766e65bca8b5954ed8cb1d1214e7e9eb6d039286","datavalue":{"value":{"amount":"+0.7294957041740417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q374020$6565A5AD-7C86-4A6A-8D9A-FBF105600A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee26f6b01d7f1feef4c4f33bd6d9ad917352c06","datavalue":{"value":{"entity-type":"item","numeric-id":3069939,"id":"Q3069939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d17b415e91bf5a43d46f8026dd7993cf38a3bdf","datavalue":{"value":{"amount":"+0.7110089063644409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q374020$7F8C5A6D-0EE9-4C02-9AFD-DAF96DCC730D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f7bdc3662492426004c7e9b2fe91a111ddf5c6","datavalue":{"value":{"entity-type":"item","numeric-id":1840451,"id":"Q1840451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4eec9f961a042f8ebe8882e7749482c106c5476","datavalue":{"value":{"amount":"+0.707809329032898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q374020$4E91C8C2-B95A-45A2-85DA-306D6A9F7547","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"P-jets of finite algebras. I: \\(p\\)-divisible groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/P-jets_of_finite_algebras._I:_%5C(p%5C)-divisible_groups"}}}}}