{"entities":{"Q1125922":{"pageid":1136671,"ns":120,"title":"Item:Q1125922","lastrevid":66474330,"modified":"2026-04-12T10:18:33Z","type":"item","id":"Q1125922","labels":{"en":{"language":"en","value":"Bounds on cohomology and Castelnuovo-Mumford regularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 954776"}},"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":"Q1125922$1A42E004-7D38-49B1-93FF-CFA60B08D31F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71823835151cc67cd34cc29bf48924dc66c5ce74","datavalue":{"value":{"text":"Bounds on cohomology and Castelnuovo-Mumford regularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1125922$56B183E8-E6F1-4D70-B4EC-301F0DB802A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"967235d123fb77a020a1864adf8d88ed89756869","datavalue":{"value":"0912.13007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125922$AFB3D4B5-3C23-4D19-952F-3A0024716CE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d5ea5b6e3707c0ef2f682bf1723fdade2b4966","datavalue":{"value":{"entity-type":"item","numeric-id":314235,"id":"Q314235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125922$FE8A2829-6FF1-4658-B77F-C6CE10D18678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f330c05c3f2eb4b6c029adb0bdefaa3cdb138db7","datavalue":{"value":{"entity-type":"item","numeric-id":585284,"id":"Q585284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1125922$AC2FCB3C-0A6C-4A31-B9B6-52B88FF88D45","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":"Q1125922$472B0CB3-9335-430C-8637-A73B36A84C65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87aa739f4f9c60f4a9691a62e5d958aced72a3a1","datavalue":{"value":{"time":"+1999-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1125922$BBD80FE0-4E68-4DCE-8BB6-708A8AFC7321","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8aead99da00ab10da3c365f1eea52b327908373","datavalue":{"value":"https://arxiv.org/abs/alg-geom/9602021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1125922$D7D9D5C5-279D-4356-84A3-F5A7CB34CCEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25b4fcc07d8488dc1da71963ff8cfe0db9961098","datavalue":{"value":"Let \\(X\\subseteq \\mathbb{P}^N_K\\) be a projective scheme over an algebraically closed field \\(K\\). We denote by \\({\\mathcal I}_X\\) the ideal sheaf of \\(X\\). Then \\(X\\) is said to be \\(m\\)-regular if \\(H^i (\\mathbb{P}^N_K, {\\mathcal I}_X(m-i)) =0\\) for all \\(i\\geq 1\\). The Castelnuovo-Mumford regularity \\(\\text{reg} (X)\\) of \\(X \\subseteq \\mathbb{P}^N_K\\), first introduced by Mumford by generalizing ideas of Castelnuovo, is the least such integer \\(m\\). The interest in this concept stems partly from the well-known fact that \\(X\\) is \\(m\\)-regular if and only if for every \\(p\\geq 0\\) the minimal generators of the \\(p\\)-th syzygy module of the defining ideal \\(I\\) of \\(X \\subseteq \\mathbb{P}^N_K\\) occur in degree \\(\\leq m+p\\). There are good bounds in some cases if \\(X\\) is assumed to be smooth.   Our interest is to consider the case where \\(X\\) is locally Cohen-Macaulay and equidimensional. Under this assumption there is a nonnegative integer \\(k\\) such that  \\[ (X_0, \\dots, X_N)^k\\oplus\\Bigl[ {\\underset l\\in\\mathbb{Z} \\bigoplus} H^i\\bigl( \\mathbb{P}_K^N, {\\mathcal I}_X(l) \\bigr) \\Bigr]= 0\\quad \\text{for }1\\leq i\\leq \\dim X, \\]  where \\(\\mathbb{P}^N_K =\\text{Proj} K[X_0, \\dots, X_N]\\). In this case \\(X \\subseteq \\mathbb{P}_K^N\\) is called a \\(k\\)-Buchsbaum scheme. A refined version is a \\((k,r)\\)-Buchsbaum scheme: Let \\(k\\) and \\(r\\) be integers with \\(k\\geq 0\\) and \\(1\\leq r\\leq\\dim X\\). Then we call \\(X \\subseteq \\mathbb{P}^N_K\\) a \\((k,r)\\)-Buchsbaum scheme if, for all \\(j=0, \\dots, r-1\\), \\(X \\cap V\\) is a \\(k\\)-Buchsbaum scheme for every \\((N-j)\\)-dimensional complete intersection \\(V\\) in \\(\\mathbb{P}^N_K\\) with \\(\\dim (X\\cap V) =\\dim(X) -j\\).   In recent years upper bounds on the Castelnuovo-Mumford regularity of such a variety \\(X\\subseteq\\mathbb{P}^N_K\\) have been given by several authors in terms of \\(\\dim(X)\\), \\(\\deg(X)\\), \\(k\\), and \\(r\\). These bounds are stated as follows;  \\[ \\text{reg}(X) \\leq\\left \\lceil {\\deg(X)- 1\\over \\text{codim} (X)}\\right \\rceil + C(k,r, d), \\]  where \\(d=\\dim X\\), \\(C(k,r,d)\\) is a constant depending on \\(k, r\\), and \\(d\\), and \\(\\lceil n\\rceil\\) is the smallest integer \\(l\\geq n\\) for a rational number \\(n\\). In case \\(X\\) is arithmetically Cohen-Macaulay, that is, \\(k=0\\), it is well known that \\(C(k,r,d)\\leq 1\\). We assume \\(k\\geq 1\\). In case \\(r=1\\) it was shown that \\(C(k,1,d) \\leq {d+1 \\choose 2} k-d+1\\) and improved to \\(C(k,1,d) \\leq(2d-1) k-d+1\\). Further, a better bound \\(C(k,1,d) \\leq dk\\) was obtained \\textit{U. Nagel} and \\textit{P. Schenzel} [``Degree bounds for generators of cohomology modules and Castelnuovo-Mumford regularity'', MPI/94-31, preprint]. The general case \\(r\\geq 1\\) was first studied in \\textit{Le Tuan Hoa}, \\textit{R. M. Mir\u00f2-Roig}, \\textit{M. Rosa} and \\textit{W. Vogel} [Hiroshima Math. J. 24, No. 2, 299-316 (1994; Zbl 0822.14023)] which was improved by \\textit{L\u00ea Tu\u00e2n Hoa} and \\textit{W. Vogel} [J. Algebra 163, No. 2, 348-365 (1994; Zbl 0816.14023)] by showing that \\(C(k,r,d)\\leq(r-1)k+{d+2-r\\choose 2}k-d+1\\).   The purpose of this paper is to give bounds on \\(\\text{reg}(X)\\) in terms of \\(\\dim(X)\\), \\(\\deg(X)\\), \\(k\\), and \\(r\\), which improve some of the previous results. In the general case we show that \\(C(k,r,d) \\leq dk-r+1\\). Moreover, in case \\(k=1\\), we show that \\(C(1,r,d) \\leq \\left \\lceil {d\\over r} \\right \\rceil\\).   Our method here is to use a spectral sequence theory for graded modules developed by \\textit{C. Miyazaki} [Tokyo J. Math. 12, No. 1, 1-20 (1989; Zbl 0696.13016); J. Pure Appl. Algebra 85, No. 2, 143-161 (1993; Zbl 0773.13001); and in ``Commutative Algebra 1992 ICTP, Trieste, 164-176 (1994)] in order to get bounds on the local cohomology and the Castelnuovo-Mumford regularity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125922$F52849BE-3A7C-427F-B121-3043DBA6B2D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e83b5ce1cf0094d1de599d4bd3e5e9286c17539f","datavalue":{"value":"13D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125922$6D295841-E1B4-4981-BEC9-DDC645B35227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"514b2a5b87d3a62d72c2078d90c78d688f7823ee","datavalue":{"value":"13C14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125922$193FD547-E3AF-4176-9D97-3723817FB3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2358a0f2b56d01235884968bd2f1228a9a017341","datavalue":{"value":"14F17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125922$BF47CDDE-D499-46A4-AF7D-FEBC27E6A35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f0d4050955b7c3a87ea977aa08dcba2cfba6a66","datavalue":{"value":"14M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125922$F539EA4B-C119-447C-BE0E-FF4E68E94E49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c311f129f884186a132ed49881ec2a3ff20a61cf","datavalue":{"value":"954776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125922$28F7B302-FE12-41C8-83C4-7A805FB40A32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed679a2cfff54efa15cb81adc4947d6f27c492d9","datavalue":{"value":"equidimensional locally Cohen-Macaulay scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125922$147D3592-46B3-4C2E-A8B8-FA393F80F470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9706c36c8208de6b673c4861975c490615fc8650","datavalue":{"value":"\\((k,r)\\)-Buchsbaum scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125922$E11E05D6-104F-462F-B965-35B9B89629A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5c9d227eaaa9e34e39670e719b4c6cc5737ea23","datavalue":{"value":"Castelnuovo-Mumford regularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1125922$402B28CF-5F97-4522-ABF5-A4D837A4D85A","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":"Q1125922$063857EB-1CD1-49CB-813C-A5C0C4C463C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3fa8b9132ae0881fd451362cc1f032eca1e9e5c","datavalue":{"value":"W2036588163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125922$559E0575-4E35-4A72-AFB0-506287794389","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2eb522f72669931d5688d4c5a7e68fe0771c6000","datavalue":{"value":"10.1006/JABR.1996.0344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1125922$AFCE7699-9325-4A50-8BDC-39A812A82408","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c53c15402b1c13f892db2383c7396c1893d3fcb","datavalue":{"value":{"entity-type":"item","numeric-id":847950,"id":"Q847950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67fdae64339bede90a14784a1b941b1d62c32ded","datavalue":{"value":{"amount":"+0.96145105","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125922$1CD0556C-EBF7-4FD1-9362-22A257F05BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6a08e53060e045a3ee826c3a9d84942ac0c943","datavalue":{"value":{"entity-type":"item","numeric-id":5495318,"id":"Q5495318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33160ec5c172f82c0dd7a51547e59248e24cffcb","datavalue":{"value":{"amount":"+0.9591306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125922$B9E38277-F3EC-4E7A-9B54-E14D44A619AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e860a7f6a5d717f1fb40696cf234b72279edfe0","datavalue":{"value":{"entity-type":"item","numeric-id":2463375,"id":"Q2463375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6961f2b88617c4fc7123d35cebd60a7a64c997c4","datavalue":{"value":{"amount":"+0.94665223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125922$E22AC939-3F23-4884-82FA-8CE6E5DC8CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3b4f81c4948da1fe8f9af3c6574b4b431fcb450","datavalue":{"value":{"entity-type":"item","numeric-id":2390090,"id":"Q2390090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d150acd9e2de8a5dc0ef0a24d117832a29bd9bcc","datavalue":{"value":{"amount":"+0.9425692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125922$1C621E94-F829-4222-9271-343CE0D14FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89393628d0794d21b1ed5aaafd87d1735776c9b","datavalue":{"value":{"entity-type":"item","numeric-id":1728766,"id":"Q1728766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae64a67095b028047dbb3e91afd05e1886feed9c","datavalue":{"value":{"amount":"+0.94162923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125922$AD609AA3-5E37-457B-84D6-448CB5F93A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10092740eeda33f8904306f7d5cc1a67fe03aea8","datavalue":{"value":{"entity-type":"item","numeric-id":4271311,"id":"Q4271311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f43c388b020783ade6a70ec6c0f99ffd79555a","datavalue":{"value":{"amount":"+0.94041497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125922$0AD2FB3A-37F9-4F60-9F35-8FB9B664E6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1399367360f276dd5c13622a1188f5ee5ea419","datavalue":{"value":{"entity-type":"item","numeric-id":4267438,"id":"Q4267438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f88fa1ec9f285283f589d871dd0aa2579b0d66f2","datavalue":{"value":{"amount":"+0.93949646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125922$475CC98E-93BD-4ACE-9107-F3ECC948A330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5312715d23a7cec77103ee2689b9714bc59a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":4942855,"id":"Q4942855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a13de6a290641ca695e5640fc04c7343f6a6fb0","datavalue":{"value":{"amount":"+0.9340642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125922$D33E8915-71A2-4620-A9C5-189717D25CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495c90413e4021a77398af01bb69fca16b197ffa","datavalue":{"value":{"entity-type":"item","numeric-id":1582731,"id":"Q1582731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44857ef0b5ae265d6e5642cd1bd67fe9f69d42ca","datavalue":{"value":{"amount":"+0.93145204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125922$3BFD4168-A883-4146-9416-71EB3FD159AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc9687ddf70a3fe11893fbfa7e9769644edb121","datavalue":{"value":{"entity-type":"item","numeric-id":4295728,"id":"Q4295728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a65476071ef94dfbb7a2745313f75eb4eec4f4d","datavalue":{"value":{"amount":"+0.9310895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1125922$BBD71C71-198F-4F92-9A51-3180D8E8E85E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounds on cohomology and Castelnuovo-Mumford regularity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounds_on_cohomology_and_Castelnuovo-Mumford_regularity"}}}}}