{"entities":{"Q1957987":{"pageid":1968729,"ns":120,"title":"Item:Q1957987","lastrevid":82174352,"modified":"2026-05-06T20:16:51Z","type":"item","id":"Q1957987","labels":{"en":{"language":"en","value":"On the Cartier duality of certain finite group schemes of type \\((p^n, p^n)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5792243"}},"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":"Q1957987$19702899-D714-4738-8B71-720CE18FB00A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b414fce0065d5810d04fee4d6ed9115a156d9910","datavalue":{"value":{"text":"On the Cartier duality of certain finite group schemes of type \\((p^n, p^n)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1957987$73E9B1D9-578D-49D2-8CC5-EC904488F9C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad661de7ee78df213846c2af12cfa941d9423013","datavalue":{"value":"1204.14020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957987$9B9B02AF-5931-4A45-AE6B-0616AAE8B9E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1874d1c4c5d893d30e1a44ccc0f94c820b04d2ab","datavalue":{"value":{"entity-type":"item","numeric-id":533728,"id":"Q533728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1957987$6D5F5041-3B11-4159-AF26-0DAB282B4EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58945859748ee9658bb2788f3b9331f1cd8f917f","datavalue":{"value":{"entity-type":"item","numeric-id":989202,"id":"Q989202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1957987$A20FB80E-E1DE-43ED-9A97-0CCFA210A1D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4644ee9c6c93e22a4aa2641411a372d7ea43bad8","datavalue":{"value":{"entity-type":"item","numeric-id":180651,"id":"Q180651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1957987$412E7DE8-591B-48FE-B4A2-858B6FAB9743","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daff666a7c16c147050cdecb8791dad2810ef77e","datavalue":{"value":{"time":"+2010-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1957987$FA876FE3-FA6F-4E70-A213-0DC3EDD320AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3519dba089854b53dc5bef5b65599461b4a011a9","datavalue":{"value":"https://projecteuclid.org/euclid.tkbjm/1283967406","type":"string"},"datatype":"url"},"type":"statement","id":"Q1957987$293FE206-A392-44D9-AE81-25C047377826","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c62ba5612936133c912b8046bbf743a4c167cf5f","datavalue":{"value":"Let \\(p\\) be a prime number and let \\(l\\geq 1\\) be an integer. Let \\(A\\) be a commutative ring with unity, let \\(\\lambda\\) be a non-zero element of \\(A\\), and let \\(X\\) be an indeterminate. Then there are \\(A\\)-Hopf algebras \\(A[X,(1+\\lambda X)^{-1}]\\) and \\(A[X,(1+\\lambda^{p^l}X)^{-1}]\\), corresponding to \\(A\\)-group schemes \\({\\mathcal G}^{(\\lambda)}:= \\text{Spec}\\;A[X,(1+\\lambda X)^{-1}]=\\text{Hom}_{A-alg}(A[X,(1+\\lambda X)^{-1}],-)\\) and \\({\\mathcal G}^{(\\lambda^{p^l})}:= \\text{Spec}\\;A[X,(1+\\lambda^{p^l}X)^{-1}]=\\text{Hom}_{A-alg}(A[X,(1+\\lambda^{p^l}X)^{-1}],-)\\).  There is a homomorphism of \\(A\\)-Hopf algebras \\(\\phi: A[X,(1+\\lambda^{p^l}X)^{-1}]\\rightarrow A[X,(1+\\lambda X)^{-1}]\\) defined as \\(\\phi(X)=\\lambda^{-{p^l}}((1+\\lambda X)^{p^l}-1)\\). Consequently, there is a homomorphism of group schemes \\(\\psi^{(l)}: {\\mathcal G}^{(\\lambda)}\\rightarrow {\\mathcal G}^{(\\lambda^{p^l})}\\) defined as follows: for an \\(A\\)-algebra \\(B\\), and element \\(f\\in {\\mathcal G}^{(\\lambda)}(B)\\), one has \\(\\psi^{(l)}(f)(X)=f(\\phi(X))\\).  For an affine group scheme \\(G\\), let \\(\\hat G\\) denote the completion of \\(G\\) along the zero section. Then the homomorphism \\(\\psi^{(l)}\\) above extends to a homomorphism \\(\\psi^{(l)}: \\widehat{\\mathcal G}^{(\\lambda)}\\rightarrow \\widehat{\\mathcal G}^{(\\lambda^{p^l})}\\).  Now assume that \\(A\\) has characteristic \\(p\\). Let \\(N_l=\\text{ker}(\\psi^{(l)})\\) and let \\(N_l^D\\) be its Cartier dual. In a previous paper [Tokyo J. Math. 33, No. 1, 117--127 (2010; Zbl 1204.14021)] one of the coauthors here \\textit{M. Amano} shows the following: Let \\(W_A\\) denote the group scheme of Witt vectors over \\(A\\), let \\(W_{l,A}\\) be the Witt ring scheme of length \\(l\\) over \\(A\\) and let \\(F: W_{l,A}\\rightarrow W_{l,A}\\) denote the Frobenius endomorphism of \\(W_{l,A}\\). Let \\([\\lambda]\\) denote the Teichm\u00fcller lifting of \\(\\lambda\\). Then \\(N_l^D\\) is canonically isomorphic to the kernel of the homomorphism \\(F^{(\\lambda)}:=F-[\\lambda^{p-1}]: W_{l,A}\\rightarrow W_{l,A}\\).  In the paper under review M. Amano and coauthor N. Aki extend this result as follows. Let \\(\\lambda\\), \\(\\mu\\) be elements of \\(A\\), and let \\(X,Y\\) be indeterminates. Let \\({\\mathcal E}^{(\\lambda,\\mu,Q)}=\\text{Spec}\\;A[X,Y,(1+\\lambda X)^{-1}, (Q(X)+\\mu Y)^{-1}]\\) and \\({\\mathcal E}^{(\\lambda^{p^l},\\mu^{p^l},Q')}=\\text{Spec}\\;A[X,Y,(1+\\lambda^{p^l} X)^{-1}, (Q'(X)+\\mu^{p^l} Y)^{-1}]\\) be \\(A\\)-group schemes (here \\(Q,Q'\\) are certain deformations of the Artin-Hasse exponential series). Let \\(\\widehat {\\mathcal E}^{(\\lambda,\\mu,Q)}\\); \\(\\widehat {\\mathcal E}^{(\\lambda^{p^l},\\mu^{p^l},Q')}\\) denote their completions. Then there is a surjective group scheme homomorphism \\(\\psi_2^{(l)}: \\widehat {\\mathcal E}^{(\\lambda,\\mu,Q)}\\rightarrow \\widehat {\\mathcal E}^{(\\lambda^{p^l},\\mu^{p^l},Q')}\\) defined by \\((x,y)\\mapsto (x^{p^l},y^{p^l})\\). Let \\(N_{2,l}=\\text{ker}(\\psi_2^{(l)})\\). The authors show that the Cartier dual \\(N_{2,l}^D\\) is canonically isomorphic to the kernel of the homomorphism \\(U_l: W^2_{l,A}\\rightarrow W^2_{l,A}\\) where \\(U_l\\) is the restriction to \\(W^2_{l,A}\\) of a certain endomorphism \\(U\\) of \\(W_A^2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1957987$9A9B7790-7E97-44A3-AFE1-78497E5B6456","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccfe079e35ccc7e216ef944124db3b57a09e1992","datavalue":{"value":"14L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957987$32347921-491E-4C28-9998-9183CA2554AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e00fc5cbaaabb1075ca555556dea147469ada1a","datavalue":{"value":"13F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957987$8DCDB4FC-C011-4AB5-A046-D97A39C2B7EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92c5ca2500df67b1dfbbc1ee2fc4e55d7b443993","datavalue":{"value":"5792243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957987$DE05ECCB-C308-450E-804B-98275C1ABA1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7be4899b6c2d692d4a78fdf337e44a06eea8b885","datavalue":{"value":"finite group scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1957987$6A3EF511-4D6F-4DE9-94BF-4BD649BCCD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da31680456f702bbcfa1e3bfcbf89c345797b5cd","datavalue":{"value":"Cartier dual","type":"string"},"datatype":"string"},"type":"statement","id":"Q1957987$FAB6ECBB-ABB0-4652-9CE0-701AB3C6D46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4a333fb3ef3c6ac736e8e4a20f4d3c9ca434bf7","datavalue":{"value":"Witt vectors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1957987$5CC083E1-0984-4773-92D1-99C030FAA5D8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b80774e8af06b0b5fa04d1644eee6cb45a8ff655","datavalue":{"value":{"entity-type":"item","numeric-id":398522,"id":"Q398522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1957987$17608C11-3823-4A6D-AF93-CC68BAE6CA8E","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":"Q1957987$0B479DB1-8311-4F6A-B726-73D40C7BEFB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddc80792d8c6c20946266d1996512e48df87d898","datavalue":{"value":"W4251588868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957987$E3033B3B-162E-4AC6-BC70-6141E0E1555B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32d8328b184312aacffe1b7249212e5401b246b2","datavalue":{"value":"10.21099/TKBJM/1283967406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1957987$BC061059-66FE-4149-84DD-66CFA4431CA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b274dbccc9bf49a7288a5cea3a48e7721e6d737b","datavalue":{"value":{"entity-type":"item","numeric-id":1953357,"id":"Q1953357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1391375b7475c425f062fd425e307f7eaea14fdd","datavalue":{"value":{"amount":"+0.8262528777122498","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":"Q1957987$E5F3853A-38A5-4498-AE90-2CC41EA9E733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc3e9ab17a097a81b2848f5110755e336342643","datavalue":{"value":{"entity-type":"item","numeric-id":3824338,"id":"Q3824338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df400740cccf99643254675bd63be4fbc44f6dd","datavalue":{"value":{"amount":"+0.8095079660415649","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":"Q1957987$9DA5AEC5-5AD5-4559-83D6-BEC00D907885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d99ebb5bafea55e9ce41053b90b7f1e16e2790","datavalue":{"value":{"entity-type":"item","numeric-id":4375247,"id":"Q4375247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955048ec23516bfa84126b07544f41779af4a5ef","datavalue":{"value":{"amount":"+0.7731091976165771","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":"Q1957987$87239D8E-DF35-4900-876D-A7376EA2B061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc47b2af404efb03e1e8eb87a13e1153bc83cd25","datavalue":{"value":{"entity-type":"item","numeric-id":1352291,"id":"Q1352291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955048ec23516bfa84126b07544f41779af4a5ef","datavalue":{"value":{"amount":"+0.7731091976165771","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":"Q1957987$BFBEBB7F-C108-4561-89AF-C600884F9E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad582b56f0304d794c1114156d2d30f27b73e4c","datavalue":{"value":{"entity-type":"item","numeric-id":3451453,"id":"Q3451453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc090bbb52338982da96db8b6762d29dad5c0fdd","datavalue":{"value":{"amount":"+0.7726979851722717","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":"Q1957987$B0ECAD26-3D47-4B96-BFF4-9EFB22096B22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Cartier duality of certain finite group schemes of type \\((p^n, p^n)\\)","badges":[]}}}}}