{"entities":{"Q6099461":{"pageid":13233768,"ns":120,"title":"Item:Q6099461","lastrevid":47862766,"modified":"2026-01-02T22:09:51Z","type":"item","id":"Q6099461","labels":{"en":{"language":"en","value":"On \\(\\pi \\)-divisible \\(\\mathcal{O} \\)-modules over fields of characteristic \\(p\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7698129"}},"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":"Q6099461$3B3374FA-46A2-42DE-864E-C42D86134E38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa8b0175f435d40cbe3879d79bd9577bc277908b","datavalue":{"value":{"text":"On \\(\\pi \\)-divisible \\(\\mathcal{O} \\)-modules over fields of characteristic \\(p\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6099461$9C6600FA-5C89-4D86-8994-D870DE56AE8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f57007779dc41b39d36c2b6651af7dd04a634588","datavalue":{"value":"1519.14043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099461$7A24F8E1-CBFD-4629-9690-CA25F80B319F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb4f1a5bc0aef61cfb551708703e26e3be950a2","datavalue":{"value":{"entity-type":"item","numeric-id":279728,"id":"Q279728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6099461$4A292E49-7938-47BC-85CF-EA0B25E3D67D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6fe50e98b0aa99209fa6db00abb40af0a8c01ca9","datavalue":{"value":{"entity-type":"item","numeric-id":170982,"id":"Q170982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6099461$70120233-3FB2-4526-B438-6AC209CF9802","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b82aa14f69973fa1b25911e00f92c9fe2c2cbee","datavalue":{"value":{"time":"+2023-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6099461$68C19BD9-A89F-4F35-BB9C-2C042FD69A7A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"39d98f6fa4bac33faa69d4707d5c6dc1b0229a55","datavalue":{"value":"In this paper, the author constructs a Dieudonn\u00e9 theory for \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-modules over a perfect field of characteristic \\(p\\). The author classified \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-modules over a perfect fields of characteristic \\(p\\), proved the existence of slope filtration of \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-modules over an integral normal Noetherian base, explained the determination of minimal \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-modules over algebraically closed fields of characteristic \\(p\\) by their \\(\\pi\\)-torsion parts, and proved Traverso's isogeny conjecture in this context.  The first result of the paper is a decomposition structure theorem for \\(f\\)-\\(\\mathcal{O}\\)-isocrystal over \\(k\\).  Theorem. Assume that \\(k\\) is perfect. Let \\((N,V)\\) be an \\(f\\)-\\(\\mathcal{O}\\)-isocrystal over \\(k\\) with first Newton slope \\(\\lambda\\). There exist uniquely determined sub-\\(\\mathcal{O}\\)-isocrystals \\((N_i,V_i)\\) with \\(\\mathrm{Newton}(N_i,V_i) = \\lambda_i\\) such that \\((N,V) = \\bigoplus_{i=1}^r(N_i,V_i)\\) and \\(\\lambda = \\lambda_1 < \\lambda_2 < \\cdots < \\lambda_r\\).  When \\(k\\) is algebraically closed, it is possible to further decompose each isoclinic \\(f\\)-\\(\\mathcal{O}\\)-isocrystal \\((N_i,V_i)\\) as a direct sum of proper sub-\\(\\mathcal{O}\\)-isocrystal \\(N_{r_i,s_i}\\).  Using a classification of \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-modules via \\(\\mathcal{O}\\)-display, the author proves the following slope filtration theorem for \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-modules.  Theorem. A \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-module over an integral, normal, Noetherian \\(\\mathbb{F}\\)-scheme \\(S\\) with constant Newton polygon is isogenous to a \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-module over \\(S\\) that admits a slope filtration.  The author also generalizes of minimal \\(p\\)-divisible groups (in the sense of Oort) to minimal \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-modules. For any Newton polygon \\(\\beta\\) with slopes in \\([0,1]\\), a \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-module \\(H(\\beta) = \\bigoplus_i H_{m_i,m_i+n_i}^{r_i}\\) where each \\(H_{m_i,m_i+n_i}\\) is defined using a combinatorial formula on a basis of the free \\(W_{\\mathcal{O}}(\\mathbb{F})\\)-module with Newton slope \\(m_i/(m_i+n_i)\\). A \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-module \\(X\\) is called minimal if there exists a Newton polygon \\(\\beta\\) and an isomorphism \\(X_k \\cong H(\\beta)_k\\).  Theorem. Let \\(k\\) be an \\(\\mathcal{O}\\)-algebra and an algebraically closed field of characteristic \\(p\\). Let \\(X\\) be a minimal \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-module over \\(k\\). If \\(Y\\) is another \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-module over \\(k\\) such that \\(X[\\pi]=Y[\\pi]\\), then \\(X \\cong Y\\).  If \\(k\\) is an \\(\\mathcal{O}\\)-algebra and an algebraically closed field of characteristic \\(p\\), then the isomorphism classes of \\(X\\) is determined by a truncation \\(X[\\pi^{n_X}]\\) of \\(X\\). This implies that there exists a minimal natural number \\(b_X\\) such that the isogeny classes of \\(X\\) is determined by \\(X[\\pi^{b_X}]\\). This number \\(b_X\\) is called the isogeny cutoff of \\(X\\). The author proves the following Traverso's isogeny conjecture.  Theorem. Let \\(k\\) be an \\(\\mathcal{O}\\)-algebra and an algebraically closed field of characteristic \\(p\\). Let \\(X\\) be a \\(\\pi\\)-divisible \\(\\mathcal{O}\\)-module over \\(k\\). Assume that \\(X\\) has height \\(h\\) and dimension \\(d\\), then \\(b_X \\leq \\lceil \\frac{d(h-d)}{h} \\rceil\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099461$6AA46CAD-950B-44BD-AB80-4A6A5E1BAD5E","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":"Q6099461$61B7802C-9E03-4CAA-AE38-5FD1344AC7E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099461$AB71D247-4FF4-4AC6-B698-05B276FBB451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccfe079e35ccc7e216ef944124db3b57a09e1992","datavalue":{"value":"14L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099461$0BEDBC52-5000-433F-A255-B13E66B5B2DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1858544c4efe513a05a62722f34634a9f7faf1dc","datavalue":{"value":"7698129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099461$3E607649-0B66-446A-8795-979A39A83151","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6766e33ecd54524e4dd37990686816a3cf42b2b","datavalue":{"value":"\\( \\mathcal{O} \\)-isocrystal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099461$2AB51A55-80BD-42A3-9E74-E37E852FF3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2ce127d4388bf6bf13dbdb97686840854026061","datavalue":{"value":"\\( \\mathcal{O} \\)-crystal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099461$7432432C-561E-4AF7-B00B-B9E9F3F11571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"250cfcb6ce454ac48644fb9dee0d9808c7035bf5","datavalue":{"value":"Dieudonn\u00e9 \\(\\mathcal{O} \\)-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099461$5646EC99-4294-44F5-8A0A-2941755596B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2140251502fcd2e66873faa14dd8bbafa155762","datavalue":{"value":"\\( \\pi \\)-divisible \\(\\mathcal{O} \\)-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099461$5C63C0CD-FA84-46DA-95C7-EC59D23AF5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ab93d7f3c8b47b536bde74d2f81cd78c45eb0b","datavalue":{"value":"completely slope divisible \\(\\mathcal{O} \\)-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099461$AF0C6FA9-77C9-4DBE-BAEB-DA5B0626A5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e887d4b6178818f81b42be23a5c6cf2f2c4b8df2","datavalue":{"value":"slope filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099461$44103BF6-B767-4A89-B169-C2E981B62F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac51229d5746d1b908964705b17bac83502a96f","datavalue":{"value":"Oort filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099461$F06ACD3C-0948-4F14-86F7-74FAB42F10ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"115343e4e73e0e1f2a9a64dd319c5319f0225bff","datavalue":{"value":"Traverso's isogeny conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099461$83BDCD7D-6E2E-40BA-9B3F-6E1660EEFB0D","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":"Q6099461$EA257EB7-5A13-4411-8A37-E57E9A759FD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f36dc2d6147a5d98f610b3a0f287c3731e833df","datavalue":{"value":"https://doi.org/10.4310/ajm.2023.v27.n1.a1","type":"string"},"datatype":"url"},"type":"statement","id":"Q6099461$B47C09E9-FEB5-4A14-BDF9-DED2095D6736","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45bac7078ea19ae21e9e85dad5ce4cb4731d2680","datavalue":{"value":"W4380875134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099461$82BB1CCF-252B-41CD-842C-40A7F9963564","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a15c174d10b6f4af00949966542fc0bce54e7b7f","datavalue":{"value":"10.4310/AJM.2023.V27.N1.A1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099461$DBCE9535-3D76-4384-9B53-D1CBD6B761F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf020519eb5e3292d122e77253264dc420bf5ea2","datavalue":{"value":{"entity-type":"item","numeric-id":1045214,"id":"Q1045214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc0c1fd9b1b487ab41e2375c8e48cfb9f51fcdc","datavalue":{"value":{"amount":"+0.7739043831825256","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":"Q6099461$26385BCA-3226-4411-B7A5-AB111DDA2C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021777c9c1171155bc3b3b53d7135f9b211dfac6","datavalue":{"value":{"entity-type":"item","numeric-id":4588229,"id":"Q4588229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b828ecb88d934acd490f30136afe0677d2339aca","datavalue":{"value":{"amount":"+0.7549851536750793","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":"Q6099461$7049CF02-8B3D-4820-9376-78F34718D1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d74d4c6038c101fbc73fdbf03fa2513e43953b","datavalue":{"value":{"entity-type":"item","numeric-id":957945,"id":"Q957945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243abbdc0189b5608b7709a818fe076955c05c69","datavalue":{"value":{"amount":"+0.7510364651679993","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":"Q6099461$2ED74FA6-7EDD-4E85-A0EF-9D456511FE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"595df0c093eed3d5de2e62a04f170a190bcae7b1","datavalue":{"value":{"entity-type":"item","numeric-id":2324845,"id":"Q2324845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19226e1d703abbe80c5f9c66e1cb9f2858535a60","datavalue":{"value":{"amount":"+0.7479647397994995","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":"Q6099461$04183D03-85C1-42AD-99D2-34EF138B2892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6099461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6099461"}}}}}