{"entities":{"Q2509272":{"pageid":2520015,"ns":120,"title":"Item:Q2509272","lastrevid":49946323,"modified":"2026-01-12T05:47:55Z","type":"item","id":"Q2509272","labels":{"en":{"language":"en","value":"Saturation and Castelnuovo-Mumford regularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5065143"}},"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":"Q2509272$802E5F47-02DA-4EC9-8D5E-2211CB84C1BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2922a4205d305469df06b3185b9dba0dae1030d","datavalue":{"value":{"text":"Saturation and Castelnuovo-Mumford regularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2509272$B9EE7AEB-EABF-458B-9BD6-B1C8E244FA00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da183aeb4bcd6d7d4df67e4ad313e22ff64c36c6","datavalue":{"value":"1105.13010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509272$9170C7CB-73FE-457D-ABF0-8F933C75D656","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d097cf6ebda6be7ea9ac7d9f7f96729cac82c0","datavalue":{"value":{"entity-type":"item","numeric-id":220778,"id":"Q220778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$DA9CA843-34CB-4A19-AABF-4080B2A0DC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a2b082196e90b9ba50881dc9465aca887f9ae04","datavalue":{"value":{"entity-type":"item","numeric-id":220779,"id":"Q220779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$38C98FEE-D629-4F9F-8A9E-25032DF5F19B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$358C5201-FCA9-43BD-B7A8-BDC4AF4E08E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb1c73a77a4489229707cd4151cb39bc53664d9","datavalue":{"value":{"time":"+2006-10-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":"Q2509272$41524381-37B9-451D-B73A-795B3A48279C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"24784b90eb19c6c1f1280da68735c0b4b42d744a","datavalue":{"value":"Formulae for the (Castelnuovo-Mumford) regularity reg\\((I)\\) and for other cohomological invariants of a homogeneous ideal \\(I\\) of a polynomial ring over a field \\(k\\) are proven; the methods are effective, i. e. can be realized in a computer algebra system - this was done by the authors (SINGULAR) and is also explained in the paper. Bayer and Stillman have shown that, in generic coordinates, one has \\(\\text{reg}(I)=\\text{reg}(\\text{in}(I))\\) where \\(\\text{in}(I)\\) is the initial ideal of \\(I\\) with respect to reverse lexicographic order.   In this paper a monomial ideal \\(N(I)\\) is constructed (which is in general not equal to \\(\\text{in}(I)\\)) such that \\(\\text{reg}(I)=\\text{reg}(N(I));\\) depth\\((R/I)=\\text{depth}(R/N(I))=:\\text{depth}\\); \\(\\text{end}(H^{\\text{depth}}_m(R/I))=\\text{end}(H^{\\text{depth}}_m(R/(N(I)))\\); and \\(a(R/I)\\leq a(R/N(I))\\) hold (where end is the highest non-vanishing degree of a graded module, \\(m\\) is the maximal homogeneous ideal of the polynomial ring and \\(a(R/I):=\\text{end}(H^{\\dim(R/I)}_m(R/I))\\)). A class of certain monomial ideals is defined to which all \\(N(I)\\) belong (for arbitrary homogeneous ideals \\(I\\)); for ideals \\(J\\) belonging to this class formulae for \\(\\text{reg}(J)\\), \\(\\text{depth}(R/J)\\), \\(\\text{end}(H^{\\text{depth}(R/J)}_m(R/J))\\) and \\(a(R/J)\\) are proven. A combination of the results explained in the preceding paragraphs leads to formulae for \\(\\text{reg}(I)\\), \\(\\text{depth}(R/I)\\), \\(\\text{end}(H^{\\text{depth}(R/I)}_m(R/I))\\) and upper bounds for \\(a(R/I)\\) for any homogeneous ideal \\(I\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509272$9B4AC88B-0C47-48A6-B7CD-0DB16391939F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d23facc1d3a6c547370c9d8a30feed07feb43d58","datavalue":{"value":{"entity-type":"item","numeric-id":397970,"id":"Q397970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$CB9C57F2-3B80-4272-B91D-DD6B0356A940","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509272$AB393BD8-8880-4D26-99AB-C510F1FBFA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509272$DC8A1795-8CFE-4C56-ACBC-A5BF59BA3D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e83b5ce1cf0094d1de599d4bd3e5e9286c17539f","datavalue":{"value":"13D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509272$582F068B-8574-4901-AC31-E3F39A83F238","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"784573e372a38b284d44dd993923e26b2b0af6e2","datavalue":{"value":"5065143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509272$FB0D7B7A-A108-4B26-A00C-04D59F64EC03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5c9d227eaaa9e34e39670e719b4c6cc5737ea23","datavalue":{"value":"Castelnuovo-Mumford regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509272$20D32524-0171-4DB5-871E-5138E470D8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dd80be408b23443a39c5656b052028bad33fc31","datavalue":{"value":"effective methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509272$B6222A52-9822-4EFA-BC23-AE284620B2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a5d0d4cf762e7c7ba742f2943056dfb033b4f","datavalue":{"value":"depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509272$DD763919-78A5-437C-AED4-FC861587D217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f8f2a7d47e082407c3130ef4bc21d6f5f88d6a5","datavalue":{"value":"\\(a\\)-invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509272$D6740531-0488-4542-A2AA-F0A7BA0AB8AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a7ab78c11a5a96fc598f910c529b2ab4e71c73d","datavalue":{"value":{"entity-type":"item","numeric-id":13292,"id":"Q13292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$77290DA0-65E8-47E9-9C6B-6C08D5D7A8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$7C3F0051-79C5-4D0F-9CCE-41BD8FB73C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"406651a1096f2d5950fede346be1624f9ca5fb44","datavalue":{"value":{"entity-type":"item","numeric-id":22899,"id":"Q22899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$B4B7D2E6-E7FF-480A-B2BA-0D1766A1DAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c1f58b8025297b76815155d9e858d1b402d938","datavalue":{"value":{"entity-type":"item","numeric-id":12911,"id":"Q12911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$D7EEC3A1-E64F-4CD7-BB18-FC05ABE19264","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":"Q2509272$93242C74-6B43-4343-B310-4B8E04E59758","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc0b5c6895c5b6350511357f4d180d9ba9d4dfca","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2005.05.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2509272$B2666BC8-75BE-4DFC-BADE-DD8C6EE4E827","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a59c39464208b7653a59cc76946e884c3df73bd","datavalue":{"value":"W1973492265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509272$137715E4-0005-47BF-B03A-01F5DD030F17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdc8ea1e993cc8d2a02272c6d2699fd1e7004e5","datavalue":{"value":{"entity-type":"item","numeric-id":4850724,"id":"Q4850724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$B253BA0A-506D-4F24-9ED7-D0C931DFE94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca3cc6b3ad7686c307194bc8d12021b7cff726","datavalue":{"value":{"entity-type":"item","numeric-id":579329,"id":"Q579329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$ADEA25C5-0FC5-448A-B7B1-1D98C6BCDEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca6b62534e8553fbb3b073dbb316ccdfa4235e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4942895,"id":"Q4942895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$30C3311E-352C-4FB8-AEE0-C15FA284CC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d996a6588c512a4815bd4d2d335cb7eb6d82b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5951555,"id":"Q5951555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$A57787B8-B298-4886-8FC9-1B2A45520D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4ee6ec554fb5440819f6e4b3b4a8d4cca5d12a","datavalue":{"value":{"entity-type":"item","numeric-id":4317713,"id":"Q4317713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$626265A0-1355-4A67-9492-8D8220DE65FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91148e2cff2901131184c9bd5c606c5f800bce8","datavalue":{"value":{"entity-type":"item","numeric-id":788060,"id":"Q788060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$41CAB594-1430-457A-8CFF-B268A6581481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e592ceeee4c3e7f6f20f2bbdfc8a36722fb3b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5949138,"id":"Q5949138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$6168AC5B-E0A9-4AAD-B11C-F236FA39841F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5715911602bedd62a5b36a510a8717c03f3745","datavalue":{"value":{"entity-type":"item","numeric-id":4050885,"id":"Q4050885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$42A26005-3BE4-4E7D-B755-33D441E1EA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e33e7005b2524c53e5cc110e1103760e453cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4251931,"id":"Q4251931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$EFC5E444-E567-4CED-92B1-E399B485B25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab88fb4e9df0ff6844170026cd86381c1dd17473","datavalue":{"value":{"entity-type":"item","numeric-id":2781760,"id":"Q2781760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$97ADDB2A-A6FF-4C7B-BE10-4FCB5DA5BA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$63F78F72-8D7F-4BEC-B0A2-FE2CE6900459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51c2dc89b37166f3831c7e4c0ab36979a927824","datavalue":{"value":{"entity-type":"item","numeric-id":4128897,"id":"Q4128897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$7FA0E664-28C0-49C7-B7ED-1A1FA3C968CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b608cc09c391ad5d8afafba7432630fa98ce06d","datavalue":{"value":{"entity-type":"item","numeric-id":1583653,"id":"Q1583653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$90B7AAF3-98FB-4FD3-8680-4593163E9D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57beb7bfa217ffa7350f0c59d0e18b76fe69aeb7","datavalue":{"value":{"entity-type":"item","numeric-id":4528984,"id":"Q4528984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509272$09738937-612A-4EE4-AD62-2836C60CBDD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ce6cef143981476b2c610ee55831c8e941d8347","datavalue":{"value":"10.1016/J.JALGEBRA.2005.05.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509272$1E1816EE-CD28-4EA9-A5E9-E326E421E5C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4010ee453630775e510c2a43b40f212008bc6c29","datavalue":{"value":{"entity-type":"item","numeric-id":2781282,"id":"Q2781282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc1c73f80ae7e08c8b232ff8957e2ab0811da33","datavalue":{"value":{"amount":"+0.8576151728630066","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":"Q2509272$35DF4452-6C69-4BB5-9174-E146B479E3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78afb832a9b5f29b7b40502e5004b847cdeffdf6","datavalue":{"value":{"entity-type":"item","numeric-id":5389451,"id":"Q5389451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18578a50c46a36b43358a4e4b715d7cb3bcd2f1d","datavalue":{"value":{"amount":"+0.8463990092277527","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":"Q2509272$87982100-054D-474A-B36B-A1BED718053B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e5fd625b51af1effd3055a32412e8cc1000707","datavalue":{"value":{"entity-type":"item","numeric-id":4942895,"id":"Q4942895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d014ca15e1ebe7b329344edc67fb8fc5383aaf7f","datavalue":{"value":{"amount":"+0.8448613286018372","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":"Q2509272$777B4EF7-4B4B-4FF9-BBB7-9E3AB3B98F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e50aaeafe4001f6895bd429cd5e972741856fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4938527,"id":"Q4938527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f58e7e7676cea13f3d86233726ada61b9f8ed3","datavalue":{"value":{"amount":"+0.8423259258270264","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":"Q2509272$99B83811-F3A1-4FD6-AF7D-E017C675E573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a310d265660c501326144199739b97259d0d44e","datavalue":{"value":{"entity-type":"item","numeric-id":4267400,"id":"Q4267400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36fe9ed015a3f0045034f6b42caf8afb848beb35","datavalue":{"value":{"amount":"+0.8394736051559448","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":"Q2509272$D2821E01-3EBA-4049-BC95-E4408987487A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2509272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2509272"}}}}}