{"entities":{"Q2356967":{"pageid":2367710,"ns":120,"title":"Item:Q2356967","lastrevid":57876315,"modified":"2026-04-02T22:04:19Z","type":"item","id":"Q2356967","labels":{"en":{"language":"en","value":"Homology of FI-modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6726524"}},"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":"Q2356967$1C18778C-4B23-47A9-BD1E-146AB2FD6880","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05d2924e75f7ed7560ed3242d755be77ab89ef5a","datavalue":{"value":{"text":"Homology of FI-modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2356967$128DA76D-F6E1-4B65-A5A6-5D492CA9C37E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5958e533650e67640ab23f2498034d5738a830c","datavalue":{"value":"1371.18012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2356967$285715A7-AD66-4A51-A0AC-28509F157340","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c998a4a0b92bed7afd160ff3be3fd3177050ca","datavalue":{"value":{"entity-type":"item","numeric-id":421025,"id":"Q421025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$54D8441B-0E5B-43DA-A52F-454EC4F7592D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"226da5df72df740fe0b44da3158887ccf3bfec90","datavalue":{"value":{"entity-type":"item","numeric-id":185825,"id":"Q185825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$BD862781-C4C5-4D2D-8043-DC4A4FAA58C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5f8eee6ee8695bbd9c06eea333500679f2ce6509","datavalue":{"value":{"entity-type":"item","numeric-id":258878,"id":"Q258878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$7F26E286-99AE-4A49-B871-BCE68675AB2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"702fd428ccb06cc1bd397d1e18ed79e89ad70868","datavalue":{"value":{"time":"+2017-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2356967$0423677F-53B7-4650-B71C-1C10AEE57B4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14a1df999e5bf19dc8ff6974aea7d1cd05d5f739","datavalue":{"value":"https://arxiv.org/abs/1506.01022","type":"string"},"datatype":"url"},"type":"statement","id":"Q2356967$6A277CAE-4DA8-4272-B5E7-E710DFB76220","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"45cde2f8ee47dbc1c6ca0dcdc835731d69127d1d","datavalue":{"value":"FI denotes the category of finite sets and injections; an FI-module W is a functor \\(W: FI\\longrightarrow\\mathbb Z\\text{ Mod}\\). Given a finite set \\(T\\), \\(W_T\\) stands for \\(W(T)\\). For every \\(n\\in\\mathbb N\\), \\([n]\\) stands for the set \\(\\{1,\\dots,n\\}\\) and \\(W_n\\) stands for \\(W_{[n]}=W([n])\\). This long paper contains a number of result of independent interest. The key result seems to be Theorem E:   Theorem. Let \\(M\\) be a torsion-free FI-module generated in degree at most \\(k\\), and let \\(V\\subseteq M\\) be a sub-FI-module generated in degree at most \\(d\\). Then for all \\(n > \\min(k; d)+d\\) and any \\(a \\leq n\\), \\(V_n \\cap (M_{[n]-\\{1\\}}+\\dots+M_{[n]-\\{a\\}}) = (V_{[n]-\\{1\\}}+\\dots+V_{[n]-\\{a\\}})\\).   The theorem is valid for every \\(d\\geq 0\\) and \\(k\\geq 0\\), although the cases of primary interest are when \\(k<d\\). Theorem E may be stated without \\(M\\) and it is connected to homology. The authors show that \\(M\\) is a free \\(FI\\)-module. It has a natural homological interpretation as a bound on the degree of vanishing of a certain derived functor applied to \\(M/V\\). This is how one can connect this theorem to bounds on regularity, a subject of Theorem A. The authors prove an explicit and sharp upper bound for the Castelnuovo-Mumford regularity of an FI-module in terms of the degrees of its generators and relations. This is then used to refine a result of \\textit{A. Putman} [Invent. Math. 202, No. 3, 987--1027 (2015; Zbl 1334.20045)] on the stability of homology of congruence subgroups, extending his theorem to previously excluded small characteristics and to integral homology while maintaining explicit bounds for the stable range.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2356967$7538DD6D-06D4-4BAA-B266-4AA5E042E253","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd769afa46598af86731556d0d1502291ae401d1","datavalue":{"value":"18G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2356967$3582FC4C-A025-4BEE-91B2-E6CFA22A189D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5aff02389d3918a330b0fc4c8d97ee0424df96a7","datavalue":{"value":"20C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2356967$D9BA970A-ACEA-4FE4-8532-AF2A23204993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"179ef5df7817b12dbe869a644d7595f569829ce3","datavalue":{"value":"13C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2356967$1199F9B7-FCF6-45E7-B44B-86CEF610F69C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ab907b8891806b5a91122fc45f55f0fcd04d79e","datavalue":{"value":"6726524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2356967$1C687AD4-E353-46BA-9A51-A8EA36E6726F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6f09cecae4934f4a099d0ebbc1f439ba1073cd","datavalue":{"value":"FI-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2356967$3CCE7606-50CB-43D5-BBB5-79C63E49364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d317d712471535cc86cf9605447e5d2912d60de1","datavalue":{"value":"homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2356967$2C125F22-B4D2-4A7C-84F7-2FD30B3C1932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5c9d227eaaa9e34e39670e719b4c6cc5737ea23","datavalue":{"value":"Castelnuovo-Mumford regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2356967$9EE0CDB3-6183-4F80-8E0A-CC365A44F533","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a4dc55d1e339c5a861364301a78d8def8050d67","datavalue":{"value":{"entity-type":"item","numeric-id":590893,"id":"Q590893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$5D82A344-9424-4BF7-85F1-594623DA7CC4","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":"Q2356967$460BF606-69B9-4ED4-BCD1-99B8427E30A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9a96f828f121133941c11ebb7de51f6690b208c","datavalue":{"value":"W2231551317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2356967$3D85BFE3-3AE0-4E60-B7D1-243D1438DDBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c736c8a0e7eb6260652511f483124962ed2a40cc","datavalue":{"value":{"entity-type":"item","numeric-id":2265072,"id":"Q2265072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$632A35C8-F02A-48B5-A1D9-BA2FAA0D7FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef957f2d8a543b5b0ed7e01b045e328f5c140313","datavalue":{"value":{"entity-type":"item","numeric-id":261417,"id":"Q261417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$08BCB405-AA1D-4FA5-A1AD-B4687EAEB911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103e4a2974690c51b3757e5eb3e5d68e229cfe25","datavalue":{"value":{"entity-type":"item","numeric-id":3329643,"id":"Q3329643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$57C7F9B5-525A-4DE8-85D7-3351AB5B4367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68353e32d25230eb0c4369aebc31bed087e70c7","datavalue":{"value":{"entity-type":"item","numeric-id":2354909,"id":"Q2354909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$8E1BA4ED-EC69-43F4-B134-DF5E7EDB66A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e073d34d189a0bc305b732507c268f4b425fbe6","datavalue":{"value":{"entity-type":"item","numeric-id":477456,"id":"Q477456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$2C01EC07-F131-4A2F-9ED4-4AB9A79656E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45af1243483a375815fae70dbf60b6785a3fcb78","datavalue":{"value":{"entity-type":"item","numeric-id":291013,"id":"Q291013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$EB05F8CE-B043-4EEA-AD45-ACCC9DF4B019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5ec7125169b528eee560734cc1cb9546fb53da","datavalue":{"value":{"entity-type":"item","numeric-id":516607,"id":"Q516607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$4A0B8967-5091-4604-B1FE-F7B2CA982CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97aad0c9abbc0759f51062650656561feaf06299","datavalue":{"value":{"entity-type":"item","numeric-id":729742,"id":"Q729742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$D3E56406-710F-425D-BD92-11523334FF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f404b1a3b64491f4a408602aa6677ad597443820","datavalue":{"value":{"entity-type":"item","numeric-id":896255,"id":"Q896255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$BFC0315A-CC69-4563-8935-1DB7291538C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52bacb82d298931ed9383f302d85ea79404fedd","datavalue":{"value":{"entity-type":"item","numeric-id":2941133,"id":"Q2941133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$29C3C6CB-72F2-49E6-8A99-E01BD6731670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ecd89a4c19ef6aaa5af4d60073cfbe51e6db27","datavalue":{"value":{"entity-type":"item","numeric-id":2796516,"id":"Q2796516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2356967$9421CBEA-35D0-45FF-A38B-4D28F269A8C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"742777fadc547ae0bea18a6d1d2d9b6d1f93fa6c","datavalue":{"value":"10.2140/GT.2017.21.2373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2356967$C5A33C93-BBA2-4EC7-B701-A4F8C7CC3F7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b58d74bef1389c402849d5376d64e53d6d070cf","datavalue":{"value":{"entity-type":"item","numeric-id":516607,"id":"Q516607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae387720e03b77423281354f2457417c2ea366da","datavalue":{"value":{"amount":"+0.8637570142745972","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":"Q2356967$E2FEADED-BACD-44AD-8006-8C773C0B559B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57eb765c6e16dd585cc526f635d38e0a2c93c34","datavalue":{"value":{"entity-type":"item","numeric-id":2323546,"id":"Q2323546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5162f74c984170333ddf063f9f4a373a89b6d0fa","datavalue":{"value":{"amount":"+0.8462822437286377","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":"Q2356967$A66367B6-9A01-49CD-8B28-398B250EF6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c34d3c82400cd571f2f343ffebcd76856934a7","datavalue":{"value":{"entity-type":"item","numeric-id":502173,"id":"Q502173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c365d330671c133a09103686ca101f24eff643","datavalue":{"value":{"amount":"+0.8443999886512756","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":"Q2356967$E5B5F4EE-58DA-495E-A2C4-75047C6A71CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e2dfa558a9583944ce7b5fe32ee55661f3f815","datavalue":{"value":{"entity-type":"item","numeric-id":1706239,"id":"Q1706239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab67aa0cc9f4cb224abcbddfdc8152ad3416e40c","datavalue":{"value":{"amount":"+0.8315145969390869","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":"Q2356967$6C3B4DEB-9EC1-4084-90E5-3454F1B74409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b27e4a3af761ae29961872bcdad25a28f311309","datavalue":{"value":{"entity-type":"item","numeric-id":2195009,"id":"Q2195009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4471a7a5948730eefda59e9fc5e9d9ae3bf5f12","datavalue":{"value":{"amount":"+0.8230023980140686","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":"Q2356967$18450F3E-DFC0-4A52-802C-DE026AEA4254","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2356967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2356967"}}}}}