{"entities":{"Q1295529":{"pageid":1306279,"ns":120,"title":"Item:Q1295529","lastrevid":46837767,"modified":"2025-12-25T16:58:34Z","type":"item","id":"Q1295529","labels":{"en":{"language":"en","value":"The Artinian conjecture for \\(I^{\\otimes 2}\\). With an appendix by Lionel Schwartz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308180"}},"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":"Q1295529$6C566A5D-FE3B-452B-8ED4-F52C00A99A92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49a9491ba0052e0c83bb149fde7855c9d803f376","datavalue":{"value":{"text":"The Artinian conjecture for \\(I^{\\otimes 2}\\). With an appendix by Lionel Schwartz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295529$33937C7D-0060-4AF8-9B84-D1C74AE14315","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b90f0b3fa72b7c9e31a3586b68ae325408ee0856","datavalue":{"value":"0928.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295529$1D504845-C11C-424E-87AC-99A8E06BE2F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa6e809754e703212610f9be439675e69055b35b","datavalue":{"value":"10.1016/S0022-4049(97)00054-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295529$1C195BC4-B408-4F1D-9B31-3E469ACBA148","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25b6a03f4910a1e12818cbc6f0a47c049bb3a340","datavalue":{"value":{"entity-type":"item","numeric-id":740175,"id":"Q740175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$97EBB9A6-22B6-4A1D-924D-14A4EAC5BD33","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$15925113-F446-4BD7-BA28-CE58B1177361","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c8655680bfd79de85fc3b27d4412f09e07e944d","datavalue":{"value":{"time":"+1999-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295529$A9468081-B26A-42B3-88D1-C84C64DF1302","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a2c202dcf3dc87a10aea0cb361a8a954d62fff13","datavalue":{"value":"Consider the (abelian) category \\(\\mathcal{F}\\) of functors from \\(\\mathcal{E}_f\\) to \\(\\mathcal{E}\\), where \\(\\mathcal{E}\\) is the category of \\(\\mathbb F\\)-vector spaces, with \\(\\mathbb F=\\mathbb F_2\\) the field with two elements, and \\(\\mathcal{E}_f\\) the sub-category of finite-dimensional spaces. The injective object \\(I_V\\), for \\(V\\in \\mathcal{E}_f\\), is defined by the co-representing property: \\(\\Hom_{\\mathcal{F}}(F,I_V) \\cong F(V^*)^*\\), where \\((\\;)^*\\) denotes the vector space dual. Recall that an object \\(F\\in\\mathcal{F}\\) is said to be Artinian if every descending sequence of sub-objects of \\(F\\) stabilizes. The ``Artinian conjecture'' of Kuhn, Lannes and Schwartz, states that: the functors \\(I_V\\) are Artinian. The main result of the paper under review is that the functor \\(I_{{\\mathbb F}^2}\\cong I^{\\otimes 2}\\) is Artinian (where \\(I=I_{\\mathbb F}\\)). This result is the first non-trivial case of the Artinian conjecture.    In fact the author shows a stronger result, namely: the functor \\(I^{\\otimes 2}\\) is Artinian of type 2 (a functor is said simple Artinian of type \\(0\\) if it is a finite simple functor. Then a functor \\(F\\) is simple Artinian of type \\(n\\) if every proper subobject of \\(F\\) has Artinian type strictly less than \\(n\\) and \\(F\\) is said to be Artinian of type \\(n\\) if it admits a finite filtration of which the sub-quotients are simple Artinian of type \\(\\leq n\\)). The proof of the conjecture in this case follows by reducing the problem to showing that certain ``smaller functors'', related to the decomposition of \\(I^{\\otimes 2}\\), are Artinian (and more precisely simple Artinian of type 2). The method of proof exploits the polynomial filtration of the difference functor \\(\\Delta : \\mathcal F \\to \\mathcal F\\) and the study of co-Weyl objects in the category \\(\\mathcal F\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295529$05F9293D-4C1E-46F0-85D2-D8E06FE7D579","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a66268416d30361a1a93ca0f8a2fd6eb35edbab5","datavalue":{"value":{"entity-type":"item","numeric-id":700294,"id":"Q700294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$776E39A3-121F-4E61-8442-C0C5DBF273FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ab82a73b1a87efe2ffd619938c9fe2897943f8b","datavalue":{"value":"18G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295529$164D2CFE-DC03-4473-90ED-73038477D22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5476b296ff705bf744a6dd2bffe7489190353eb9","datavalue":{"value":"20G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295529$A8548EDF-6FE7-495A-9F14-3FB22D92FE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0be2e4a354543d42b3c05ee10dfcb8dbf0ef1162","datavalue":{"value":"55S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295529$6EA0BB20-1110-482B-B711-56F98257315B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b24e3944855acc31da2159728643cb9d9d21daec","datavalue":{"value":"1308180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295529$AE4A2711-EB13-4D04-8138-9FABE13C83A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5d1b7ce9e041c295a981c2161b8c9700c89b998","datavalue":{"value":"Artinian conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295529$50388B8C-BDBC-4504-B17F-468DCB465C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18a35d2f56ac23c184a9dae288352b9094900db9","datavalue":{"value":"co-Weyl object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295529$3C22611A-89E4-45A0-88CC-5C189572171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e30115d16c96a0c391abd1263380946165365058","datavalue":{"value":"analytic functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295529$1CA1C14D-123E-4401-8907-22E934CFB976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9704107972c64b7df66e8e424d94c62d2d10b331","datavalue":{"value":"simple functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295529$34821F9F-0BA2-4820-B926-28D9B9A498F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df7936be409041f075e94f103cd4bc853be48439","datavalue":{"value":"Artinian object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295529$57C265FD-3AD1-473C-95E8-EB14C75D9367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04477afe3fa08688535be2e5a04e9512ff0450ec","datavalue":{"value":"Artinian type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295529$F704F69C-226C-46F0-A2BD-0F8A5CB07BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc98b49976d5464ff5eef6bd2c01e60719635c3","datavalue":{"value":"category of generic representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295529$2B0758CA-720B-497B-9675-59AB1F93EB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1612ca175a2ec44b33f57ec4e0b6e9b8f7809c1b","datavalue":{"value":"polynomial filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295529$5CDF3915-691B-4FD7-95FD-792E64FA6EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b8ee3a44c4af1c86534bb96e8adbbed37f4c6ba","datavalue":{"value":"difference functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295529$269FD53B-56BF-48A9-B141-82982C9535E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a868ef93c67cf48dd2a9654b1828c597a8f653","datavalue":{"value":"injective object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295529$77363D1E-D8AF-4211-93E7-059D2441401E","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":"Q1295529$BD36F12D-43AC-48A8-8C61-491C662D7C62","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"28709255c041810e54eb58bc20ee25a8ed050c9c","datavalue":{"value":"Q123119336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295529$8CA111DF-0F44-4280-88CB-1F489760A75D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf1103531f54490891b393e2b8f8290ad3b9675","datavalue":{"value":{"entity-type":"item","numeric-id":1906475,"id":"Q1906475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$BFE75252-B2C5-41A6-92F8-BF2DE228B78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6588aa0360d3ceba93b35c8c30a77952efe60bba","datavalue":{"value":{"entity-type":"item","numeric-id":1320497,"id":"Q1320497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$F9BFD37E-5445-4FA3-846D-C67ACB15EBBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f0d7081a4ce5a67c5b25410e440d00c86d71b7","datavalue":{"value":{"entity-type":"item","numeric-id":3211979,"id":"Q3211979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$E0F414CE-58B2-475C-9B19-D79B502C1AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a236861033056dd8528ef5e24be3338beb5c90","datavalue":{"value":{"entity-type":"item","numeric-id":4204803,"id":"Q4204803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$C67FD49E-0EA4-4B11-A701-8DD144662C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224b3608b23bfd4c1af48b9ce89e1e4871bba41d","datavalue":{"value":{"entity-type":"item","numeric-id":4288909,"id":"Q4288909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$AE325510-0975-44B8-A72E-E91364196665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43490d28cf4ac6b2e1b12e642de73bffaf2db38a","datavalue":{"value":{"entity-type":"item","numeric-id":2644751,"id":"Q2644751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$8D9FD3DA-95AD-4B1F-A160-8C6D102EDA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507cd1e3d10f097fffb5b18781942cce4358fe19","datavalue":{"value":{"entity-type":"item","numeric-id":4292698,"id":"Q4292698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$B7511836-CC4A-4533-998D-BCD32F759EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab3263c34c87cbd3ef8ae75a19df76ff5fa8310","datavalue":{"value":{"entity-type":"item","numeric-id":1337450,"id":"Q1337450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$37A781C6-BCBC-486E-ADD7-1D331CF3807E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40aaf523aa8055b88b8fec9a36a9635ace704889","datavalue":{"value":{"entity-type":"item","numeric-id":1897329,"id":"Q1897329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$493CD6D4-7ABB-4782-AF31-FF4926986282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61186f13a5e2391f8abbea734aecb1f68b22e42a","datavalue":{"value":{"entity-type":"item","numeric-id":1208102,"id":"Q1208102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$89A4F5CD-B6A4-4037-ABC6-D0290BFC1CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5058ea62137a14c75a2ecdb66f861bdcbefc6deb","datavalue":{"value":{"entity-type":"item","numeric-id":4875306,"id":"Q4875306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295529$A32C7333-AD0D-49B8-80EA-5CD1831E3876","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bb6e489c55a76ef3340dbed95b5abe48e5d67a","datavalue":{"value":{"entity-type":"item","numeric-id":1572632,"id":"Q1572632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6d14d411bae5fd6436e07d65fe668fc1abca5f3","datavalue":{"value":{"amount":"+0.880229651927948","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":"Q1295529$27F077FD-0805-44E6-8FD4-A0C377EE0B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40c2606a6a5929d998f19d375140eee2e381b74","datavalue":{"value":{"entity-type":"item","numeric-id":1365012,"id":"Q1365012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db28a4feb5f1fa60312f207fdb0ab8614e93909","datavalue":{"value":{"amount":"+0.8751757740974426","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":"Q1295529$D1A03AC0-6B5D-41C8-B43D-BB1A0D085E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca08cc7964d249acde8a4b85bef0ad87f00c298b","datavalue":{"value":{"entity-type":"item","numeric-id":2702068,"id":"Q2702068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01c5b7db718a5fd28126e06580d199c6fbfc74a","datavalue":{"value":{"amount":"+0.8740888833999634","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":"Q1295529$52864FDE-2D5D-4FF5-81C3-FF402C57313C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1295529","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1295529"}}}}}