{"entities":{"Q2470387":{"pageid":2481130,"ns":120,"title":"Item:Q2470387","lastrevid":50274389,"modified":"2026-01-13T17:30:13Z","type":"item","id":"Q2470387","labels":{"en":{"language":"en","value":"Torsors under some group schemes of order \\(p^n\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5235110"}},"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":"Q2470387$B5E2343B-821A-49AF-A30C-79AE56022964","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97b4f04132269966664642f58f74549f34bb1d33","datavalue":{"value":{"text":"Torsors under some group schemes of order \\(p^n\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2470387$565FB08A-5C9C-4DF8-8576-B9E44B58E7FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f09c7715c952f1b65ba786facb2455c7206a3ea","datavalue":{"value":"1135.14036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470387$A6555017-47FC-4D08-B579-8619A9AD14EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed6a821d4a2af8fd9d71c8fef688c3616332aed","datavalue":{"value":{"entity-type":"item","numeric-id":284480,"id":"Q284480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$36F2AFF7-A4BD-4401-A8A4-1B3144AB7BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"691605338c681b37704e156d84a92e0316515f3d","datavalue":{"value":{"entity-type":"item","numeric-id":284481,"id":"Q284481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$42B23E75-AEB1-4F38-8BA7-3CD382D50B23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$A707881C-8788-4B39-BA72-E6B2F87FB6BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3af390bcdc6b2953e54159e2d83c5dea647d27b4","datavalue":{"value":{"time":"+2008-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2470387$CAC24F50-6A62-47B1-88C7-2EC8B2C78BC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5db33aad92dbbe57a1044eee7ba30a8cbc24e41","datavalue":{"value":"Let \\(R\\) be a complete discrete valuation ring, valuation \\(v\\), with residue field \\(k\\) of positive characteristic \\(p.\\) For any \\(\\lambda\\in R\\) one can construct a smooth commutative group scheme \\(\\mathcal{G}^{\\lambda} =\\)Spec\\(\\left( A^{\\lambda}\\right) \\), where \\(A^{\\lambda}=R\\left[ x,\\left( 1+\\lambda x\\right) ^{-1}\\right] \\) with comultiplication \\(c^{\\lambda}\\) given by \\(c^{\\lambda}\\left( x\\right) =x\\otimes1+1\\otimes x+\\lambda x\\otimes x.\\) Note that \\(\\mathcal{G}^{0}\\) is the additive group scheme \\(\\mathbf{G}_{a}\\) and if \\(\\lambda\\) is a unit in \\(R\\) then \\(\\mathcal{G}^{\\lambda}\\) is the multiplicative group scheme \\(\\mathbf{G}_{m}.\\) For any \\(n\\) with \\(v\\left( p\\right) \\geq\\phi\\left( p^{n}\\right) v\\left( \\lambda\\right) \\) there is an isogeny \\(\\varphi_{\\lambda,n}:\\mathcal{G}^{\\lambda}\\rightarrow\\mathcal{G} ^{\\left( \\lambda^{p^{n}}\\right) }\\) given by \\(x\\mapsto\\lambda^{-p^{n}}\\left( \\left( 1+\\lambda x\\right) ^{p^{n}}-1\\right) .\\) Denote the kernel of this isogeny by \\(G_{\\lambda,n}.\\) The purpose of this paper is to describe both \\(\\mathcal{G}^{\\lambda}\\)-torsors and \\(G_{\\lambda,n}\\)-torsors over an \\(R\\)-scheme \\(X\\) through the use of certain categorical equivalences.  For a given \\(\\lambda\\in R\\) and \\(R\\)-scheme \\(X,\\) let \\(\\mathfrak{CD}^{\\lambda }\\left( X\\right) \\) be the category whose objects are triples \\(\\left( L,E,\\Psi\\right) ,\\) where \\(L\\) is an invertible \\(\\mathcal{O}_{X}\\) module; \\(E\\) is an extension of \\(L\\) by \\(\\mathcal{O}_{X};\\) and \\(\\Psi:E\\rightarrow E\\) is an \\(\\mathcal{O}_{X}\\)-linear map such that its kernel \\(E_{0}\\) is \\(\\mathcal{O} _{X},\\) the induced map \\(E/E_{0}\\rightarrow E/E_{0}\\) is multiplication by \\(\\lambda\\) on \\(L,\\) and \\(E/\\Psi\\left( E\\right) \\) is an invertible \\(\\mathcal{O}_{X}\\)-module. The morphisms \\(\\left( L,E,\\Psi\\right) \\rightarrow\\left( L^{\\prime},E^{\\prime},\\Psi\\right) \\) in \\(\\mathfrak{CD} ^{\\lambda}\\left( X\\right) \\) are isomorphisms \\(E\\rightarrow E^{\\prime}\\) and \\(L\\rightarrow L^{\\prime}\\) satisfying compatibility conditions. This \\(\\mathfrak{CD}^{\\lambda}\\left( X\\right) \\) is called the category of global classifying data. The first main result is that the category of \\(\\mathcal{G} ^{\\lambda}\\)-torsors over \\(X\\) is quasi-equivalent to \\(\\mathfrak{CD}^{\\lambda }\\left( X\\right).\\) Given a \\(\\mathcal{G}^{\\lambda}\\)-torsor \\(\\pi : \\text{Spec}\\left( B\\right) \\rightarrow X\\) one has a map \\(c_{B}:B\\rightarrow B\\otimes_{\\mathcal{O}_{X}}\\left( A^{\\lambda}\\otimes_{R}\\mathcal{O} _{X}\\right) \\) giving the structure of a \\(\\mathcal{G}^{\\lambda}\\)-torsor on Spec\\(\\left( B\\right) .\\;\\)Let \\(E^{\\text{triv}}=\\mathcal{O}_{X}\\oplus \\mathcal{O}_{X}x\\subset A^{\\lambda}\\otimes_{R}\\mathcal{O}_{X}\\) and define \\(E=c_{B}^{-1}\\left( E^{\\text{triv}}\\right) \\). Let \\(L=E/\\mathcal{O}_{X}\\) and define \\(\\Psi\\) to be the unique \\(\\mathcal{O}_{X}\\)-linear map \\(E\\rightarrow E\\) such that \\(c_{B}=\\)id\\(\\otimes1+\\Psi\\otimes x.\\) This provides the global classifying data.  In the finite kernel case we construct the category \\(\\mathfrak{CD}_{\\lambda ,n}\\left( X\\right) ,\\) whose objects are of the form \\(\\left( L,E,\\Psi ,\\left\\{ U_{i},e_{i},\\alpha_{i}\\right\\} _{i\\in I}\\right) ,\\) where \\(L,E,\\Psi\\) are as before and \\(\\left\\{ U_{i}\\right\\} \\) is an open cover of \\(X\\) satisfying extra conditions involving the \\(e_{i}\\) and the \\(\\alpha_{i}.\\) This category is shown to be quasi-equivalent to the category of \\(G_{\\lambda,n}\\)-torsors over \\(X\\).  Examples when \\(\\lambda\\) is a unit and \\(\\lambda=0\\) are discussed. In the former case one can explicitly give the torsors by Kummer theory, in the latter, Artin-Schreier theory. Finally, in the case where \\(R\\) is the ring of integers of a local field, an alternate proof of a well-known theorem of Mazur and Roberts is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470387$6D82D387-8582-455D-8E62-82EEE098411F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ae8ac771025753cf4e7a4f37cda1a7ad2012f998","datavalue":{"value":{"entity-type":"item","numeric-id":210546,"id":"Q210546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$0E858894-B322-4D51-AD03-A7292EE95FDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccfe079e35ccc7e216ef944124db3b57a09e1992","datavalue":{"value":"14L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470387$8396E22E-15DD-4044-B6D5-499C56276BEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fbf5e003f7e04bf106b5f879dc5c0aadcccf7b8","datavalue":{"value":"5235110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470387$8E4524D2-A7BC-4987-B33B-927D14BF5B05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e44cbad843135965df20784df3189c3e18df8192","datavalue":{"value":"torsors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470387$5F3F06CD-E580-4C43-B882-2AE998ADD680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da93871c7d4dc5ef06ec602cb86f88900dfb8918","datavalue":{"value":"commutative finite and flat group schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470387$0EB45369-4B29-418E-9B01-2DB029D307E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9809872d3296db4d72bfe3374051416983864f10","datavalue":{"value":"Kummer and Artin-Schreier theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2470387$85B986CF-B527-49A8-A309-48CA4C41A2F2","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":"Q2470387$FA27977B-022A-4038-83D8-E07A86EEBE30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9ab7520ea4e3c5f4cdec006133f43ce8dda8216","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2007.07.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q2470387$C84EFA9F-4ED4-4D44-93AB-27EF0DC06DA1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10d17de1ec9e33b01e5b8e2b0e171137dcc4cde0","datavalue":{"value":"W2047298013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470387$AF8BA80E-FFBB-474C-8C5D-BC8CE4F7C41D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55bcab74b2e715e3aeb45f908ee7f361098bda0b","datavalue":{"value":{"entity-type":"item","numeric-id":5292406,"id":"Q5292406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$3CF146D1-78CF-47D3-9560-539F8E17A58B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a4b8cfeef917f08791349052e1fe1a87003ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1880959,"id":"Q1880959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$7A47665C-2679-4D43-814E-2ACCBCB16E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ac0cf76481f051205067ce4c964680926b4ba2","datavalue":{"value":{"entity-type":"item","numeric-id":2537901,"id":"Q2537901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$9C01E912-4080-46D5-983F-319C9C984225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a146ec1ba1bd1a1b7b62ba8957f53842121dfaa9","datavalue":{"value":{"entity-type":"item","numeric-id":3871006,"id":"Q3871006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$889080A4-F8B7-4287-A2BE-217510E08800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a571bf72e12538f4aecfdb5c4cc2d1f5f4b82c5","datavalue":{"value":{"entity-type":"item","numeric-id":4879084,"id":"Q4879084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$A985E0A0-8CF0-4D78-BE05-D431C0ED5BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00393fc7f3a1895e6ae12ca4b1f17bad95e5a808","datavalue":{"value":{"entity-type":"item","numeric-id":5592047,"id":"Q5592047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$4BC33003-C74F-4D3D-A41D-030CFAB16CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a523a3d3418c24833b362436e38f780d90fef0","datavalue":{"value":{"entity-type":"item","numeric-id":3199567,"id":"Q3199567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$90E1217B-C442-4F0B-BC22-354966F02855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388807b3011ca533c0db01855658f0cdecfc3410","datavalue":{"value":{"entity-type":"item","numeric-id":1148361,"id":"Q1148361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2470387$D45B88D1-B4A8-4327-AE8D-6FC6106FFC97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a9b630e676685a8a87340abb9419c009b4aa6c3","datavalue":{"value":"10.1016/J.JALGEBRA.2007.07.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2470387$6A2D6BAE-0F39-4350-81B3-C7B0C8D94031","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3098bf7fc53f6bce01717b38b46635324cdbf14a","datavalue":{"value":{"entity-type":"item","numeric-id":3315633,"id":"Q3315633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e97001fd3a1fa778067447444770ee49874dc07","datavalue":{"value":{"amount":"+0.802991509437561","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":"Q2470387$31BE6FB1-5472-47D9-842E-B704AA2DB690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb40e7c3044ec5d7163be4c8c997dbf22ad161a","datavalue":{"value":{"entity-type":"item","numeric-id":632474,"id":"Q632474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f70ef4f7b3142b1d2963522752d50296ef2ec9","datavalue":{"value":{"amount":"+0.7848155498504639","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":"Q2470387$8864A0F6-653B-4456-9602-F3D676C235A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedf9babd23808620843f55018b239df1b804d77","datavalue":{"value":{"entity-type":"item","numeric-id":2472508,"id":"Q2472508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ab9e16a4f44ad44a4e40154e2cc88afb1d5a95","datavalue":{"value":{"amount":"+0.7845362424850464","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":"Q2470387$8A25C496-7A3A-4778-93CE-FB070E1205F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"461eee783a4f4896d1f6fac0ba911d3d1a313780","datavalue":{"value":{"entity-type":"item","numeric-id":2152474,"id":"Q2152474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eacfe395f01b670b1e1b8cf1fd9d411a65eef85","datavalue":{"value":{"amount":"+0.7750393748283386","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":"Q2470387$B1A710B1-E5B6-4771-8288-566B91CA054E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f48c825d1c05d3c72872ea2a1cacb81f46deddb1","datavalue":{"value":{"entity-type":"item","numeric-id":3979762,"id":"Q3979762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfdfdd79d10f23ef739eaa73170fd0687971234","datavalue":{"value":{"amount":"+0.7735260725021362","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":"Q2470387$E1F6E0FA-930D-42D3-B960-4856342FA60F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2470387","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2470387"}}}}}