{"entities":{"Q6093336":{"pageid":13227643,"ns":120,"title":"Item:Q6093336","lastrevid":58679631,"modified":"2026-04-06T07:23:36Z","type":"item","id":"Q6093336","labels":{"en":{"language":"en","value":"Canonical Witt formal scheme extensions and \\(p\\)-torsion groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7734935"}},"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":"Q6093336$F2711BF6-504E-40A5-B914-9C5BB55024CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d774f2fad7568f57132e6d8b03892c300d67293a","datavalue":{"value":{"text":"Canonical Witt formal scheme extensions and \\(p\\)-torsion groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6093336$E3C2B170-E159-4F63-ABBC-59A1D7CCDF5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c77f9c239ccea9d2907937a25e079e96e3ef239a","datavalue":{"value":{"entity-type":"item","numeric-id":251434,"id":"Q251434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$D5D55C1D-AB76-4179-B04E-2130F2130EF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7975572978566736b85a363aff458bfba181c740","datavalue":{"value":{"time":"+2023-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6093336$197F4293-B2B3-4079-A48B-0926166BC82F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c61f1750be8506dc9e4aa07b8a622fcb73c38ef4","datavalue":{"value":"https://arxiv.org/abs/2207.10382","type":"string"},"datatype":"url"},"type":"statement","id":"Q6093336$D327C948-6DE9-4EDC-B8C4-0EAE06F416DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22a39cb32df2ac84bafaf7798ce3d05bd6f23306","datavalue":{"value":"In this paper, the authors study the structure of the jet space functors associated with the \\(p\\)-torsion subgroup of smooth commutative formal group schemes over a fixed \\(p\\)-adic basis. More specifically, they have proved that for any \\(n\\), the \\(n\\)th jet space of the \\(p\\)-torsion subgroup is canonically an extension of the \\(p\\)-torsion subgroup by a power of the unipotent formal group scheme.  To describe the detail of the result of this paper, we first introduce some notations. Let \\(K\\) be a finite extension of \\(\\mathbb{Q}_p\\) with ramification index \\(e\\), uniformizer \\(\\pi\\), and ring of integers \\(\\mathcal{O}\\). Let \\(k\\) be the residue field of \\(\\mathcal{O}\\) and \\(q\\) be the order of \\(k\\). Let \\(R\\) be a \\(\\pi\\)-adically complete \\(\\pi\\)-torsion free \\(\\mathcal{O}\\)-algebra \\(R\\) with a lifting of the Frobenius.  Let \\(\\mathbf{Nilp}_R\\) be the category of \\(R\\)-algebras such that \\(\\pi\\) is nilpotent. A formal scheme over \\(R\\) is defined to be a sheaf on the opposite category \\(\\mathbf{Nilp}^{\\textrm{op}}_R\\) admitting an open cover by open subfunctors of the type \\(\\mathrm{Spf}(A)\\), where \\[ \\mathrm{Spf}(A)(B) = \\varinjlim_{n} \\textrm{Hom}_R(A/I^n,B) \\] for any \\(B\\) in \\(\\mathbf{Nilp}_R\\). If \\(X\\) is a sheaf on \\(\\mathbf{Nilp}^{\\textrm{op}}_R\\), the \\(n\\)th \\(\\pi\\)-jet is defined by \\(J^nX(C) = X(W_n(C))\\) for any \\(C\\) in \\(\\mathbf{Nilp}_R\\).  For a smooth commutative formal group scheme \\(G\\) over \\(R\\), let \\(G[p^{\\nu}]\\) be the \\(p^{\\nu}\\)-torsion formal subgroup scheme of \\(G\\). Let \\(G[p^{\\infty}]\\) be the sheaf on \\(\\mathbf{Nilp}^{\\textrm{op}}_R\\) such that \\[ G[p^{\\infty}](C) = \\varinjlim_{\\nu} G[p^{\\nu}](C), \\] for any \\(C\\) in \\(\\mathbf{Nilp}_R\\).  Let \\(N^n(G[p^{\\infty}])\\) be the kernel of the natural projection map \\(J^nG[p^{\\infty}] \\to G[p^{\\infty}]\\). \\textit{A. Buium} [Doc. Math. 18, 943--969 (2013; Zbl 1278.14060)] shows that if \\(e=1, p>2\\) and \\(G\\) is the formal multiplicative group scheme over \\(R\\), then \\(N^n(G[p^{\\infty}])\\) is representable by a formal \\(R\\)-scheme and is isomorphic to \\(\\widehat{\\mathbb{A}}^n\\), the \\(n\\)-dimensional affine space over \\(\\mathrm{Spf}(R)\\). Let \\(\\widehat{\\mathbb{W}}_{n-1}\\) be \\(\\widehat{\\mathbb{A}}^n\\) endowed with the group structure of Witt vectors of length \\(n\\). The main result of the subject paper generalizes this result to any smooth commutative formal \\(R\\)-group scheme of relative dimension \\(d \\geq 1\\).  Theorem: Assume \\(p \\geq e+2\\). Given a smooth commutative formal group scheme \\(G\\) of relative dimension \\(d\\) over \\(R\\), for any positive integer \\(n\\), the natural morphism \\(J^nG \\to G\\) gives an exact sequence \\[ 0 \\to (\\widehat{\\mathbb{W}}_{n-1})^d \\to J^nG[p^{\\infty}] \\to G[p^{\\infty}] \\to 0 \\] of sheaves on \\(\\mathbf{Nilp}^{\\textrm{op}}_R\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6093336$27FEEECD-1B79-4322-A85A-BE93FD693736","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":"Q6093336$AE6618E9-0428-4B51-86A7-7BFA7B47CDC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e00fc5cbaaabb1075ca555556dea147469ada1a","datavalue":{"value":"13F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093336$6687FDEB-3502-4582-AFB0-F95E5EBC415E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093336$B7DECE08-2727-4F57-B804-D2C4A4425B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccfe079e35ccc7e216ef944124db3b57a09e1992","datavalue":{"value":"14L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093336$66E3D293-35AF-477B-83E3-3FCBE382E8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9783455ca76e6f03d10a3cf746fd0af0fdfac525","datavalue":{"value":"14B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093336$5A728909-DCD2-43F4-8D29-9AAFC6ABC745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd029899168f4905895f56a378c394db3cd8ed62","datavalue":{"value":"14G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093336$A9864797-13E6-49D5-8897-7205FACC974D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"939facf04c0e9d1e5f4cef7eba5a57b75472b8ce","datavalue":{"value":"7734935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093336$264E1FF6-A961-4F8F-BE50-7BFACA3FD91F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a333fb3ef3c6ac736e8e4a20f4d3c9ca434bf7","datavalue":{"value":"Witt vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q6093336$69E658A2-7FFC-467B-BC8E-6D39FECF88E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c2897d8763ea32d622e4de1b4d137d803e09112","datavalue":{"value":"arithmetic jet spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6093336$D41F2DA4-560F-48F1-BC76-E907AED1411F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5652735dfa1c75549d3609d1e4b5c730a0cc8b39","datavalue":{"value":"\\(\\pi\\)-derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6093336$945869A5-C572-4F27-A293-52C342B1700C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94f181fc117ac64e7d05d28d2caa901cd531d39a","datavalue":{"value":"group schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6093336$6F830EB9-AB38-4B7F-994A-38C9C2FF9A41","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":"Q6093336$B38C4885-531B-440C-AC16-87C65E494075","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"39f60cde697d05ea90e7f21e47caf1ecdbfac4c9","datavalue":{"value":"W4360601801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093336$866709A5-27A1-48E7-BBC1-84BD5EBDB921","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38ce7cfd76b8f52707450655f1a1ce3ba95ff190","datavalue":{"value":{"entity-type":"item","numeric-id":4421498,"id":"Q4421498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$A5195C12-3CF3-4AD7-A5B2-791A99425437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fbc6054e1c17e52f7d33c1e2c1918d7e8e41643","datavalue":{"value":{"entity-type":"item","numeric-id":2694736,"id":"Q2694736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$454E42EB-E695-4A1A-AFED-1DE6377FA2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b249aa51bcafb42c462a9a981e2d76d30f91f1a9","datavalue":{"value":{"entity-type":"item","numeric-id":2219661,"id":"Q2219661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$C30E54BF-3A3A-4AE3-91BB-231867982C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37095ddc12351463507ee3dfdbcd4415134efb40","datavalue":{"value":{"entity-type":"item","numeric-id":646483,"id":"Q646483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$67E4032E-DF5C-40AF-9FDC-09D1AF8F235F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf1991bb380272925e75a79824d04bde4a094f9","datavalue":{"value":{"entity-type":"item","numeric-id":652250,"id":"Q652250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$7C7B505C-4E13-4AE4-A4C9-646DB17AD117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2efa890f13c620ad6547798815e9ead99e75ef96","datavalue":{"value":{"entity-type":"item","numeric-id":2418587,"id":"Q2418587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$0B9F917A-2781-41A2-9808-DA8EF6B82E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92fe12947a4584197a0b13e2c90ceb7241d8a22","datavalue":{"value":{"entity-type":"item","numeric-id":2001579,"id":"Q2001579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$DBBA45ED-97AB-4E09-8A38-0C277CCC9418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"539809f8b42ec13dd2043f1f877392d51ea98cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1910215,"id":"Q1910215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$C5B074E9-7018-416F-94A3-176663D54769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35258d982658769fc04db7d6fed747bca5bf1fb0","datavalue":{"value":{"entity-type":"item","numeric-id":4950428,"id":"Q4950428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$BC09339C-698B-41A2-A4C5-0C32002C5C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a00c8458fadfe4ab3e525f153c8cfe2f1703c4","datavalue":{"value":{"entity-type":"item","numeric-id":5706237,"id":"Q5706237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$31236ADA-032A-4ABA-B163-E38D5EE4A987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"504720f99ce54866fcb7089693bb4050f614f460","datavalue":{"value":{"entity-type":"item","numeric-id":374020,"id":"Q374020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$0DB864A6-BAAF-4A45-9DE3-E43ADDD63E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0d01b9e4d4bc8571de3c3c48f62112df702456","datavalue":{"value":{"entity-type":"item","numeric-id":2213760,"id":"Q2213760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$05C1630A-BF23-4A77-A85C-5E6BC6927360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b044da25b50abc2847a10baf27eaf28fb63193e8","datavalue":{"value":{"entity-type":"item","numeric-id":3877784,"id":"Q3877784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$F9380E01-7A87-427D-A276-A959AEB39C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453785f53b2c6f14630fc50da4764825146317c4","datavalue":{"value":{"entity-type":"item","numeric-id":2745360,"id":"Q2745360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$D6DFEDCD-24D0-472A-B563-AA9DC32EE2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17783f6116d4d1094becf5a852474b872fdab286","datavalue":{"value":{"entity-type":"item","numeric-id":4539738,"id":"Q4539738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$65BCEC10-8EBA-45B7-A670-DE5065FED952","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b992bb8b4300ddece269f85bae1171be587c5814","datavalue":{"value":"10.1007/S10231-023-01321-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093336$4B2F0B05-F589-4D69-8700-ED4FD26A95F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9635591069c4728a3d6b8678b98bea1f014ae9d","datavalue":{"value":{"entity-type":"item","numeric-id":374020,"id":"Q374020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b9c54ed1b42d26b6795295ea716a5ac3345f3d","datavalue":{"value":{"amount":"+0.7675178647041321","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":"Q6093336$DAF02C76-D276-4856-A590-59A84595A639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62177162208f09b30b060c256d7c59c9abb0b097","datavalue":{"value":{"entity-type":"item","numeric-id":652250,"id":"Q652250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d4c903471f917e41102b72c792ac7e98faeaa5","datavalue":{"value":{"amount":"+0.7570685744285583","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":"Q6093336$FE0B963E-9589-4426-9EDA-30BF75365E2F","rank":"normal"},{"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":"6cca86e7692b90f29ecdfed0812ccc9a4aa59f8e","datavalue":{"value":{"amount":"+0.7530930638313293","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":"Q6093336$15B120A3-48CD-4EBE-A336-8C67CA0110C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f3f744a20f8ab7296d963e0a53beca94e144ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1078629,"id":"Q1078629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37e107704cca0b3350ebbbc81b22e504c8a30fd","datavalue":{"value":{"amount":"+0.7461764812469482","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":"Q6093336$488434AC-D68B-44DA-8E11-4468EE9534B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76835fca7e9927865a44b9de0d8c4a7260963f93","datavalue":{"value":{"entity-type":"item","numeric-id":1365342,"id":"Q1365342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ca321213f05a1d39af506b8390bf38fb8a46e21","datavalue":{"value":{"amount":"+0.7346497774124146","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":"Q6093336$528CDC27-0094-4846-8618-6F0DE1EF2FC1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093336$99691091-DE48-497B-808F-452F4561A7F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6093336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6093336"}}}}}