{"entities":{"Q288660":{"pageid":290427,"ns":120,"title":"Item:Q288660","lastrevid":60673593,"modified":"2026-04-10T18:26:38Z","type":"item","id":"Q288660","labels":{"en":{"language":"en","value":"On \\(F\\)-crystalline representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6586173"}},"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":"Q288660$8EDB3F3F-95AA-4C3E-82E4-DD547B9A3E92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b698436b240d83e6954e7e6e9ccfb077ace68499","datavalue":{"value":{"text":"On \\(F\\)-crystalline representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q288660$5770424E-5A29-4C85-B4B8-9E1A0E0D7E5C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42cb8c0a650e7f93ea5d867f70a5c905c5dc1a2a","datavalue":{"value":"1360.14069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288660$AF32C0B3-AD0A-46DD-A72F-30F9C9F401F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1f5d944203b8600540d799d7717f60d39094f6c","datavalue":{"value":{"entity-type":"item","numeric-id":288659,"id":"Q288659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288660$11C15A40-84BA-4EB2-942D-D41E5D116CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1640345084f3de1b8e6fa49975f5c41809265063","datavalue":{"value":{"entity-type":"item","numeric-id":230313,"id":"Q230313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q288660$A1E1D543-B703-4482-A58F-6BD1C25275C9","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":"Q288660$FF187E19-D99F-48ED-9DDA-3ECF1E3F0A89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3bea0b7db7954e7b20361e09b95af0f5516285c","datavalue":{"value":{"time":"+2016-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q288660$AA9AFD65-C058-4AE2-B420-3BF9C9E94EF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3178c74bfcb14093f6a4a00aeb8759b89c921c9e","datavalue":{"value":"https://arxiv.org/abs/1502.01604","type":"string"},"datatype":"url"},"type":"statement","id":"Q288660$DD85E72B-8046-4D93-BB0B-513CDF89B9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d29c9b53cfa9c41a5562274d4fd66baa233709f9","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/vol-21/08.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q288660$AB39CF10-80A1-4738-989C-2F7A1D061BFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fef556d874a3250155d036ec9dcfe6f4f651276b","datavalue":{"value":"14F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288660$963F255C-8D83-4178-9949-962553780D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288660$1263AC40-271D-4F09-9935-4E65B504BC17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d24c754fa815f17bf1dc25ab6559db901422248e","datavalue":{"value":"6586173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288660$4BBCE801-FD4B-48A8-932D-8AD7AFE60AA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"786187f3aa01cd563b8e635acc42dc49eb9f9e87","datavalue":{"value":"\\(F\\)-crystalline representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q288660$32D9110F-65FC-40BE-BA9D-AC481A9923EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664afaf617e82a29ed1e79924124f0bb09b2a0f4","datavalue":{"value":"Kisin modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q288660$BA37FF30-0D66-42CE-BF2D-093E095E9EFF","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":"Q288660$5C65AE06-C24D-4C5C-B9FE-CD3161D83417","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"b03d56da9b2a164881f130e07e114e72b03bcd3b","datavalue":{"value":"bafkreib47tjfam7fbqpdknxk2zcpr3yt3x7nuaiv476r5ymvjcrqublxpi","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q288660$670D395E-038B-488B-AF5D-BC61319F2626","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"70bc55a6192b63b18351b5c763f720fdac787f02","datavalue":{"value":"This paper generalizes the construction of Kisin modules to representations that are \\(F\\)-crystalline (in the sense of \\textit{M. Kisin} and \\textit{W. Ren} [Doc. Math., J. DMV 14, 441--461 (2009; Zbl 1246.11112)]).NEWLINENEWLINELet us first quickly review classical Kisin modules following \\textit{M. Kisin} [Prog. Math. 253, 457--496 (2006; Zbl 1184.11052)]. For a complete discrete valuation field \\(K\\) of mixed characteristic with perfect residue field \\(k\\), and for a uniformizer \\(\\pi_0\\), Kisin considered the infinite extension \\(K_\\infty: = K(\\pi_n; n \\geq 1)\\) for \\(\\pi_n\\) a compatible system of \\(p^n\\)th roots of \\(\\pi_0\\). For each \\(G_{K_\\infty}\\)-stable \\(\\mathbb Z_p\\)-lattice \\(T\\) in a semistable \\(G_K\\)-representation \\(V\\) with Hodge-Tate weights in \\(\\{0, \\dots, r\\}\\), Kisin defines a unique Kisin module \\(\\mathfrak M\\) of height \\(r\\) satisfying \\(T \\cong T_{\\mathfrak S}(\\mathfrak M)\\). Using this, Kisin was able to show that the restriction functor \\(V \\mapsto V|_{G_{K_\\infty}}\\) is fully faithful when restricted to the category of crystalline representations of \\(G_K\\).NEWLINENEWLINEThis paper deduces parallel results for \\(F\\)-crystalline representations. Here \\(F \\subseteq K\\) is a subfield that is finite over \\(\\mathbb Q_p\\) with residue field \\(\\mathbb F_q\\). An \\(F\\)-crystalline representation in the sense of \\textit{M. Kisin} and \\textit{W. Ren} [Doc. Math., J. DMV 14, 441--461 (2009; Zbl 1246.11112)] is a crystalline representation of \\(G_K\\) on an \\(F\\)-vector space \\(V\\) such that the Hodge-Tate filtration on \\(\\mathbb D_{\\mathrm{dR}}(V)\\) (which is a vector space over \\(K \\otimes F\\)) is trivial except possible at the factor induced by the given embedding \\(F \\to K\\). Instead of adjoining \\(p\\)-power roots of a uniformizer, the authors allow to choose a power series NEWLINE\\[NEWLINE f(u): = a_1u+a_2u^2+\\cdots \\in \\mathcal O_F[[u]] NEWLINE\\]NEWLINE such that \\(f(u) \\equiv u^q \\bmod \\mathfrak m_F\\). They set \\(\\pi_0\\) to be a uniformizer of \\(K\\) and inductively \\(\\pi_n\\) a zero of the equation \\(f(x) = \\pi_{n-1}\\); and put \\(K_{\\underline \\pi} : = \\bigcup_n K(\\pi_n)\\). Parallel to Kisin's case, the authors define \\(\\mathfrak S_F: = \\mathcal O_F \\otimes_{\\mathbb Z_p} W(k)[[u]]\\), which carries a Frobenius endomorphism \\(\\phi\\) which acts as the \\(q\\)-power Frobenius on \\(W(k)\\), acts as the identity on \\(\\mathcal O_F\\), and sends \\(u\\) to \\(f(u)\\). Their main theorem is that, for a \\(F\\)-crystalline representation with Hodge-Tate weights in \\(\\{0, \\dots, r\\}\\) and \\(T \\subset V\\) a \\(\\mathrm{Gal}(\\overline K / K_{\\underline \\pi})\\)-stable \\(\\mathcal O_F\\)-lattice, there exists (not known to be unique) a Kisin module \\(\\mathfrak M\\) of height \\(r\\) satisfying \\(T_{\\mathfrak S}(\\mathfrak M) \\cong T\\). As a corollary of this, the author deduces, under some mild technical assumptions, the restriction functor from the category of \\(F\\)-crystalline representations with Hodge-Tate weights in \\(\\{0, \\dots, r\\}\\) to the category of representations of \\(\\mathrm{Gal}(\\overline K / K_{\\underline \\pi})\\) is fully faithful. Essentially as a special case of this, the authors also prove that, if \\(v_F(a_1)>1\\), the category of Kisin modules of height \\(1\\) is equivalent to the category of \\(F\\)-Barsotti-Tate groups over \\(\\mathcal O_K\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q288660$77BC6BC5-4A7D-4B3A-98A3-E0E817D08E12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41d26b8c092a95c21297fb19191247f36df206f","datavalue":{"value":{"entity-type":"item","numeric-id":2636386,"id":"Q2636386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abd84285e2f27426180885c1be7cfd198a150fa","datavalue":{"value":{"amount":"+0.8282291889190674","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":"Q288660$004FA707-B18D-4F0A-B89E-E508A84EC781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b78969b265224cef0d0215ca1ac3df8ce79d48e2","datavalue":{"value":{"entity-type":"item","numeric-id":5439610,"id":"Q5439610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b30eb31aeaa4eac36a52d8422ab4173ca6069b","datavalue":{"value":{"amount":"+0.7916383147239685","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":"Q288660$E96FE5F7-E4A6-4A38-BD60-A55A3A0D115D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c53a6b2c3dfef38e0c7e5c7799bf2e2dec7117cd","datavalue":{"value":{"entity-type":"item","numeric-id":4267119,"id":"Q4267119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6103f6f935f34516a91acdd3ce608fd330001fc6","datavalue":{"value":{"amount":"+0.7808732986450195","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":"Q288660$5E001635-151B-4708-8581-0C08DF829097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be98cd5506d04e4b50851e8aadac1c2d2cf150e9","datavalue":{"value":{"entity-type":"item","numeric-id":2994886,"id":"Q2994886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b05663b59453b6e6379b1dd2e60be68356f1fa","datavalue":{"value":{"amount":"+0.7802981734275818","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":"Q288660$CF1F93FD-EA95-4F79-8571-0FB6A23629B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8efef28d21e917df7cd5fdf332f8654760272b","datavalue":{"value":{"entity-type":"item","numeric-id":4354611,"id":"Q4354611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc489335c6e183e95cd61cbeee73ef930affeded","datavalue":{"value":{"amount":"+0.7786726951599121","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":"Q288660$B58F9F5F-57BF-4EAD-AF09-6445BFB73C88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On \\(F\\)-crystalline representations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_%5C(F%5C)-crystalline_representations"}}}}}