{"entities":{"Q516607":{"pageid":518374,"ns":120,"title":"Item:Q516607","lastrevid":57039465,"modified":"2026-03-26T09:53:51Z","type":"item","id":"Q516607","labels":{"en":{"language":"en","value":"A remark on FI-module homology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694760"}},"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":"Q516607$418EF14E-BAC6-4F9D-B1D7-7F66EC3DF7A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f20068cd4466fac70306bd265f8a8eb56d33752d","datavalue":{"value":{"text":"A remark on FI-module homology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q516607$F03EAAF4-F77C-492D-BA3D-68B2E6A1F8E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7afc8465220a795699a747ace89e2aef4f2bf3da","datavalue":{"value":"1365.18013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516607$78823256-38CD-40A3-83CA-6FC3E0528CF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c631c9da3694c8b18a636821d6f4f486713a6c76","datavalue":{"value":{"entity-type":"item","numeric-id":462646,"id":"Q462646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516607$BA655032-9950-42A1-A530-395C4E26EA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4786c259d9f440f62fadfec4b373a77506887d5a","datavalue":{"value":{"entity-type":"item","numeric-id":315682,"id":"Q315682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516607$907F945B-5900-4BA9-A972-895089A54366","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c4c7a1f46d9894fac4cec7ad103eaed62d5731b","datavalue":{"value":{"entity-type":"item","numeric-id":227392,"id":"Q227392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516607$06063D11-B587-4E17-AFE9-A9F5874C3A91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a54c8d448e87b5c993602a9ad5f16d9e6e688422","datavalue":{"value":{"time":"+2017-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q516607$6C1E6C53-B280-4CE7-A251-207740774A4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e00775ff803950d299b5ed2cf300378b39e60c7f","datavalue":{"value":"https://arxiv.org/abs/1505.01777","type":"string"},"datatype":"url"},"type":"statement","id":"Q516607$DCC93DFF-CE5F-448D-91C5-50461B888E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"02031a6043147e66235cee1a23b615f5a2a58de2","datavalue":{"value":"https://projecteuclid.org/euclid.mmj/1480734023","type":"string"},"datatype":"url"},"type":"statement","id":"Q516607$9BE974E8-7301-4C6F-8CBF-2BE6F25EA667","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"49279d0a15153ad8662e8f3bbf7f1453a892b821","datavalue":{"value":"Let \\(R\\) be a commutative ring and \\(FI\\) be the category of finite sets and injective maps. An \\textit{\\(FI\\)-module} is a (covariant) functor from \\(FI\\) to the category of \\(R\\)-modules. \\textit{T. Church} et al. [Geom. Topol. 18, No. 5, 2951--2984 (2014; Zbl 1344.20016)] defined, for any \\(FI\\)-module \\(V\\), a complex \\(\\tilde{S}S_\\ast V\\) of \\(FI\\)-modules which is a Koszul complex [\\textit{M. Kashiwara} and \\textit{P. Schapira}, Categories and sheaves. Berlin: Springer (2006; Zbl 1118.18001)]. The same complex was also considered independently by \\textit{A. Putman} [Invent. Math. 202, No. 3, 987--1027 (2015; Zbl 1334.20045)] who called it the central stability chain complex.  The authors present a proof that the homology of the complex \\(\\tilde{S}S_\\ast V\\) is the \\(FI\\)-homology \\(H^{FI}_\\ast(V)\\) of \\(V\\). This was first stated without proof in [Church et al., loc. cit.] and its different proof was given by \\textit{T. Church} and \\textit{J. Ellenberg} in [``Homology of \\(FI\\)-modules'', Preprint, \\url{arXiv:1506.01022}]. As an application, the equality between the Castelnuovo-Mumford regularity of a finitely generated torsion \\(FI\\)-module and its degree is derived as it was conjectured by \\textit{L. Li} and \\textit{E. Ramos} [``Depth and the local cohomology of \\(FI_G\\)-modules'', Preprint, \\url{arXiv:1602.04405}].","type":"string"},"datatype":"string"},"type":"statement","id":"Q516607$F7598783-61C4-4432-A97A-FDF70B67369E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bd0f3ea1ec2b8b1fb0e8622389aac325f95fe94","datavalue":{"value":{"entity-type":"item","numeric-id":185049,"id":"Q185049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q516607$275A782B-54F5-4A0F-B4D6-8F798E6CC00D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"80acab47076e65ae1532020cf1d9ca820eab2df6","datavalue":{"value":"18G60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516607$086A61F1-9957-47ED-ADB8-884ACEF58610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"179ef5df7817b12dbe869a644d7595f569829ce3","datavalue":{"value":"13C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516607$346534D6-DCE4-493F-845F-C4093A23EE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72cd587b354cac815391f6141a61b97fce0fd980","datavalue":{"value":"18E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516607$0E04BD07-07C1-42D6-8C36-650291584972","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2ae2ece154f9837e61c761e5cc68a50b1748937","datavalue":{"value":"6694760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516607$4C620278-E9C5-4D7F-B8C6-AF0F2753184D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5c9d227eaaa9e34e39670e719b4c6cc5737ea23","datavalue":{"value":"Castelnuovo-Mumford regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q516607$F015E111-A1C1-45DC-BED6-66F3C49B51DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c08aee844446996bd625c4e99f15de7ccb67074","datavalue":{"value":"degree of an \\(FI\\)-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q516607$3FE77154-5B9A-4F9D-B57B-A19D9C917E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e58fa94f34f490845490ede161c04ecea3951992","datavalue":{"value":"FI-homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q516607$35EE5B5E-96BB-461B-AB9E-D453804F8ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"753c6b94edd27501e9f8871326f34d85d52945fe","datavalue":{"value":"FI-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q516607$D06822FF-F492-4DCE-A145-8E4AA03D7C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb746490cb68fec47cbd97b2ef95953099ba7f2c","datavalue":{"value":"Koszul complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q516607$1C9FDC58-083E-43DD-8399-B30702C56D70","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":"Q516607$B31A18BE-486E-4256-B844-895695B77EAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cf663181dc34daca88420641bb74241840a90ee","datavalue":{"value":"W2964253856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516607$72D6780E-A3D0-44C1-95E8-7424F5801932","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4de49d1d31a33a480ab0dd54f9c7219bd822c7f9","datavalue":{"value":"10.1307/MMJ/1480734023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q516607$5E652FD7-52B3-4FDC-9510-7974CFA3244D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592f2df409982dad68fd506637889ab5951b083e","datavalue":{"value":{"entity-type":"item","numeric-id":2356967,"id":"Q2356967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbe9716b132957524a91cae3d4795e14aa60523","datavalue":{"value":{"amount":"+0.8679898381233215","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":"Q516607$E0FDC93C-6E6F-4865-86D5-5D165BF8C476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8dc572c46dd1d2c26bab76653c336e7fdff0cd5","datavalue":{"value":{"entity-type":"item","numeric-id":2236795,"id":"Q2236795"},"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":"Q516607$2EE57E4D-B7B7-4E17-80C0-5762865887DC","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":"1bd658c4e315812f9172e218ae1af6918ece0754","datavalue":{"value":{"amount":"+0.8537651896476746","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":"Q516607$1DF29514-C4D3-4EB5-BFD0-D656350C0604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8324e7dd3f0a6bfd1d7b9d9f96c364fd0dee66b","datavalue":{"value":{"entity-type":"item","numeric-id":3177826,"id":"Q3177826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9087a2d61fd27f339f040c8f3ebd6badf396127f","datavalue":{"value":{"amount":"+0.8142544031143188","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":"Q516607$1357C5E0-827F-497E-ACD1-B5CE7DCADEC2","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":"847238a27bfb619e53bfb77559f3205625c7054c","datavalue":{"value":{"amount":"+0.812580943107605","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":"Q516607$94D18783-2216-4FBB-9EF0-1627479CC34F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:516607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:516607"}}}}}