{"entities":{"Q273426":{"pageid":275193,"ns":120,"title":"Item:Q273426","lastrevid":60694641,"modified":"2026-04-10T18:34:04Z","type":"item","id":"Q273426","labels":{"en":{"language":"en","value":"Tannakian properties of unit Frobenius-modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6572123"}},"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":"Q273426$409FB887-BAA6-4748-A83F-5DC7B4970B19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b146afcc914f3fddefe00509c47f36105a6cba57","datavalue":{"value":{"text":"Tannakian properties of unit Frobenius-modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q273426$16CE9797-4C59-4C18-8AEA-C47538C99D48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"269e13d25a489e43edc3c647abf80dc80bbc4605","datavalue":{"value":"1372.14012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q273426$1F0FE3DF-F3CC-4BEB-9E2E-72950672E8B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"169def3e9495831e3a24303ecef4dd187af018e6","datavalue":{"value":{"entity-type":"item","numeric-id":273425,"id":"Q273425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q273426$51EB60DB-014C-4B1A-B380-BD65BE84E58C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q273426$ABB2F0A6-9FD1-4845-8CA6-4BCD29AC5CDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2f92bc506e92058516177f3ba9f4af4822c6db1","datavalue":{"value":{"time":"+2016-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q273426$06424E20-D545-44C5-AD22-D91F5F013B8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"026a52f818b8a712801204e85e526979d3973aa3","datavalue":{"value":"https://arxiv.org/abs/1507.08517","type":"string"},"datatype":"url"},"type":"statement","id":"Q273426$35F4E16F-5595-4624-806B-42A69A346287","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fef556d874a3250155d036ec9dcfe6f4f651276b","datavalue":{"value":"14F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q273426$1729E96C-7DCB-45B0-AA68-B467B87C56B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e93be51ca4a8cf8588ed10d171d63a4564b84a1","datavalue":{"value":"14F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q273426$CB9211F0-6A96-4B5C-9119-E45364707E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"528f7a48d12c334e1e8f805dbb30c6a6e0ed15e9","datavalue":{"value":"14G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q273426$C870BEE7-0C3E-4D2B-8804-27CD561889D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fdd9acb81641973e2df472f5940ad34136cf91a","datavalue":{"value":"6572123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q273426$5DD014C5-CED5-4C6A-A1A5-C3C00B808961","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87db767c2f1361b6e2af38021de924e0eaf428a8","datavalue":{"value":"\\(\\Lambda\\)-crystals","type":"string"},"datatype":"string"},"type":"statement","id":"Q273426$683C6BF5-ACB5-4734-86A4-E926A1F99EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368c8cf4e82ba54fc446552ffddc6992de36da8","datavalue":{"value":"unit \\(\\mathcal{O}_{F,X}^{\\Lambda}\\)-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q273426$8E86137B-6FCC-45D2-8D29-4B52FE85ACDD","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":"Q273426$52C5955B-C176-44D8-B2AB-A7D90B5BD718","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d2322f8494fd7a75c14abeab883c3db06eff55f","datavalue":{"value":"W1621467609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q273426$E2CB1E06-D3EE-43DB-8691-E31753648139","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13249e5ec869db5e1179ecd9a9f292fda76bea5e","datavalue":{"value":{"entity-type":"item","numeric-id":731482,"id":"Q731482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q273426$D102E931-E2C0-4172-B68A-651DAC922F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c521e624401f4091dbde59af68fa04d68261033","datavalue":{"value":{"entity-type":"item","numeric-id":3338359,"id":"Q3338359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q273426$E025D9AF-E27B-449F-AC61-7A31492F7634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1014c14ea51b2965ad6b882963a9a9c347a7c632","datavalue":{"value":{"entity-type":"item","numeric-id":3349023,"id":"Q3349023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q273426$28ADFD9D-7FC2-4F7F-BB4A-EA7257967F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b4148f8780c204a874f6182a6518fefac221e1","datavalue":{"value":{"entity-type":"item","numeric-id":4827465,"id":"Q4827465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q273426$7F3B1DEF-22FE-4121-B1B1-3DAFFDEF3D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343770784850680a0b8d4757e928036e1d058d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3215315,"id":"Q3215315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q273426$B3C6C16A-1E8A-4F99-9650-E854FA07DECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e41f7b7e1e8c66207138286962e05233121e107","datavalue":{"value":{"entity-type":"item","numeric-id":5582358,"id":"Q5582358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q273426$DEC03BB6-417E-48A9-B147-38996A4BEA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"506293b319e94912e63d4244f28fd182fadb2754","datavalue":{"value":{"entity-type":"item","numeric-id":838463,"id":"Q838463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q273426$C58F4667-C9C0-4C0E-8DE4-137D0D33075D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c47ee7f92b708ab7783d6f6dd5ac8fc41cdbbb0","datavalue":{"value":"10.1016/J.JNT.2016.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q273426$922EE978-5EC5-42CD-980D-A8D44138F7ED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"553f1fee35ac6fe269cffd9e785322d139359cd3","datavalue":{"value":"This paper proves that the unit \\(\\mathcal O_{F,X}^\\Lambda\\)-modules of \\textit{M. Emerton} and \\textit{M. Kisin} [The Riemann-Hilbert correspondence for unit \\(F\\)-crystals. Paris: Soci\u00e9t\u00e9 Math\u00e9matique de France (2004; Zbl 1056.14025)] form a Tannakian category if the coefficient algebra is a field.NEWLINENEWLINELet us first explain the motivation of this work, as laid out in the introduction of this paper. Let \\(\\mathbb F_q\\) be a finite field, and we take the coefficient ring \\(\\Lambda\\) be an \\(\\mathbb F_q\\)-algebra. Let \\(X\\) be a noetherian separated \\(\\mathbb F_q\\)-scheme. When \\(\\Lambda\\) is of finite dimensional over \\(\\mathbb F_q\\), a result of \\textit{N. M. Katz} [Lect. Notes Math. 350, 69--190 (1973; Zbl 0271.10033)] shows that there is a natural equivalence of categories \\(U(X, \\Lambda) \\rightarrow{\\;\\cong \\;} \\mathrm{Loc}(X, \\Lambda)\\) between the category of unit \\(\\mathcal O_{F, X}^\\Lambda\\)-modules and the category of locally constant sheaves on \\(X_{\\text{\u00e9t}}\\). The latter category is further equivalent to the category of \\(\\Lambda\\)-module representations of the fundamental group of \\(X\\) (when \\(X\\) is connected). \\textit{G. B\u00f6ckle} and \\textit{R. Pink} [Cohomological theory of crystals over function fields. Z\u00fcrich: European Mathematical Society (EMS) (2009; Zbl 1186.14002)] extended this to a natural equivalence of categories \\( \\mathrm{Crys}(X, \\Lambda) \\rightarrow{\\;\\cong \\;} \\mathrm{Sh}(X_{\\text{\u00e9t}}, \\Lambda) \\) between the category of \\(\\Lambda\\)-crystals on \\(X\\) and the category of constructible sheaves on \\(X_{\\text{\u00e9t}}\\).NEWLINENEWLINEThis paper concerns the case when \\(\\Lambda\\) is no longer finite dimensional over \\(\\mathbb F_q\\), in which case the category of constructible sheaves and local systems are not well-behaved. It then makes sense to use \\(U(X, \\Lambda)\\) as a substitute of \\(\\mathrm{Loc}(X, \\Lambda)\\) for various purposes. The main theorem of this paper says that, when \\(\\Lambda\\) is a field and when \\(X\\) is connected and locally noetherian, the category \\(U(X, \\Lambda)\\) is \\(\\Lambda\\)-linear Tannakian with respect to a rigid monoidal structure inherited from \\(\\mathrm{Crys}(X, \\Lambda)\\). The paper leaves open an interesting and important question: what is the Tannakian-dual group of this Tannakian category? As an intermediate step proving the theorem above, the author also proves that if a unit \\(\\mathcal O_{F, X}^\\Lambda\\)-module is locally of finite presentation as an \\(\\mathcal O_X^\\Lambda\\)-module then it is \\(\\mathcal O_X\\)-flat.","type":"string"},"datatype":"string"},"type":"statement","id":"Q273426$71F77CF6-4F90-4E09-8905-C74BD816B600","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893c0681cbc199c3ff9f27b632a01543fd8bb7b7","datavalue":{"value":{"entity-type":"item","numeric-id":4827465,"id":"Q4827465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe634e5d15668f1cc1a1eefb2a9d47766e05718","datavalue":{"value":{"amount":"+0.7144600749015808","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":"Q273426$39967257-704D-49A8-92B8-86C84E61D49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab30021709732777038ed319656faa03af1e849","datavalue":{"value":{"entity-type":"item","numeric-id":2462021,"id":"Q2462021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c5af806e3d9096b3c5b2a1192e14544b6d5673","datavalue":{"value":{"amount":"+0.7132272124290466","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":"Q273426$06317DF1-1454-4B82-A556-18A4BE3383EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e78e753908e6a37bee14ab07968a1d6d6165adc","datavalue":{"value":{"entity-type":"item","numeric-id":1374007,"id":"Q1374007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54cf21c1a501b8d828772eea349f02b48c8153cc","datavalue":{"value":{"amount":"+0.707701563835144","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":"Q273426$4FF2C49E-8826-4067-8F2C-F18F7AA1CB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f886b784781b1cf27d9dbf754c09db1eca5606","datavalue":{"value":{"entity-type":"item","numeric-id":4039221,"id":"Q4039221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191ad22e5973117e05ca5005e2cde80864473d99","datavalue":{"value":{"amount":"+0.7059912085533142","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":"Q273426$54381C42-C82D-44F6-9E68-6FB3A10D1F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15aabb4d8feb820ebc99a34c3cbbce9e8b8b6354","datavalue":{"value":{"entity-type":"item","numeric-id":4221286,"id":"Q4221286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e730bd67e7c494fbfaaf2df2c750cb6779a55125","datavalue":{"value":{"amount":"+0.7050279378890991","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":"Q273426$DBAAD61E-A8AE-4313-8CFE-437E7674756E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tannakian properties of unit Frobenius-modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tannakian_properties_of_unit_Frobenius-modules"}}}}}