{"entities":{"Q1319250":{"pageid":1330000,"ns":120,"title":"Item:Q1319250","lastrevid":68452845,"modified":"2026-04-12T23:48:23Z","type":"item","id":"Q1319250","labels":{"en":{"language":"en","value":"Finiteness properties of local cohomology modules (an application of \\(D\\)- modules to commutative algebra)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549680"}},"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":"Q1319250$70A8102B-EC13-4ED8-8E43-CE4E969D4409","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9279ed1478cf1e9cd9c75422c42f00d8d35faf19","datavalue":{"value":{"text":"Finiteness properties of local cohomology modules (an application of \\(D\\)- modules to commutative algebra)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1319250$B967D82C-4161-42C6-B222-E0DC3CB3F260","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e967047f7c2bb06aeae6b5e69512c95292e0073d","datavalue":{"value":"0795.13004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319250$2C2FFAAA-1784-4936-8A4B-A00805C2F1EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5be75066368cf93dc4fb7b8033a533c408c73b75","datavalue":{"value":"10.1007/BF01244301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319250$DAAAB60B-AD96-4D34-AC4E-77C64FD8851F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23a2004963ee11ee46783fa73dea4b2eab66123","datavalue":{"value":{"entity-type":"item","numeric-id":343101,"id":"Q343101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$0A165676-0A58-4BD4-8C60-E782DC68366A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$DD9E0605-1CA0-46F4-8F0A-D69752F32A04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"882cc88318cff18fdb3ed868033125dc2c5b592f","datavalue":{"value":{"time":"+1994-09-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":"Q1319250$23B43660-FFE7-4959-B5F0-5172F1C0F731","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"368c932c27b688f26dd4f15fbbf61b995e74ae22","datavalue":{"value":"https://eudml.org/doc/144121","type":"string"},"datatype":"url"},"type":"statement","id":"Q1319250$BE3F4CCF-3032-4F42-B8C6-3F72A4207D78","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ca6187eb0233422a86a83774db6c1e982b99bd0","datavalue":{"value":"Let \\(R\\) be a commutative Noetherian ring, \\(M\\) an \\(R\\)-module and \\(Y\\) a locally closed subscheme of \\(\\text{Spec} (R)\\), and write \\(H_ Y^ i (M)\\) for the \\(i\\)-th local cohomology module of \\(M\\) with support in \\(Y\\). Also, write \\(H_ I^ i (M)\\) for \\(H^ i_ Y (M)\\) for closed \\(Y\\subset \\text{Spec} (R)\\) defined by the ideal \\(I \\subset R\\). One is interested in finiteness properties of \\(\\text{Hom}_ R (R/I, H^ i_ I (M))\\). For two families \\(\\varphi\\) and \\(\\psi\\) of supports such that \\(\\varphi \\subset \\psi\\), let \\(\\Gamma_{\\psi/ \\varphi} (X,S)\\), \\(S\\) an abelian sheaf on \\(X=\\text{Spec} (R)\\), denote \\(\\Gamma_ \\psi (X,S)/ \\Gamma_ \\varphi (X,S)\\), and denote the derived functors of \\(\\Gamma_ \\psi\\) and \\(\\Gamma_{\\psi/ \\varphi}\\) by \\(H^ i_ \\psi\\) and \\(H^ i_{ \\psi/ \\varphi}\\), respectively. One has a long exact sequence  \\[ \\cdots \\to H^ i_ \\varphi (X,-) \\to H^ i_ \\psi (X,-) \\to H^ i_{\\psi/ \\varphi} (X,-) \\to H^{i+1}_ \\varphi (X,-) \\to \\cdots \\]  Let \\({\\mathcal T}\\) denote a composite functor of the form \\({\\mathcal T} = {\\mathcal T}_ 1 \\circ {\\mathcal T}_ 2 \\circ \\cdots \\circ {\\mathcal T}_ t\\), where each \\({\\mathcal T}_ j\\) is either \\(H^{i_ j}_{\\psi_ j/ \\varphi_ j} (X,-)\\) or the kernel of any arrow in the above sequence with \\(\\psi=\\psi_ j\\) and \\(\\varphi = \\varphi_ j\\) for two families \\(\\varphi_ j \\subset \\psi_ j\\) of supports on \\(X\\). In case \\(Y \\subset X\\) is locally closed, i.e. \\(Y\\) is the difference of two closed subsets \\(Y''\\) and \\(Y'\\) of \\(X\\), an analogous construction leads to an exact sequence for the local cohomology \\(H^ \\bullet_ Y\\), \\(H^ \\bullet_{Y'}\\) and \\(H^ \\bullet_ {Y''}\\), and corresponding functor \\(T\\). Here the subscripts \\(Y\\), \\(Y'\\) and \\(Y''\\) mean families \\(\\varphi_ Y\\), \\(\\varphi_{Y'}\\) and \\(\\varphi_{Y''}\\) of all closed subsetsof \\(Y\\), \\(Y'\\) and \\(Y''\\), respectively. The functors \\({\\mathcal T}\\) and \\(T\\) are additive and covariant functors on the category of \\(R\\)- modules. The main result of the paper can be stated:   Let \\(K\\) be a field of characteristic zero and let \\(R\\) be a regular \\(K\\)- algebra. Let \\(m\\) be a maximal ideal of \\(R\\). Then   (a) \\(H^ i_ m ({\\mathcal T} (R))\\) is an injective \\(R\\)-module.   (b) \\(\\text{inj}\\dim_ R ({\\mathcal T} (R)) \\leq \\dim_ R ({\\mathcal T} (R))\\). In particular, if \\(\\dim_ R ({\\mathcal T} (R))=0\\), then \\({\\mathcal T} (R)\\) is injective.   (c) For every maximal ideal \\(m\\) of \\(R\\) the set of associated primes of \\(T(R)\\) contained in \\(m\\) is finite.   (d) All the Bass numbers of \\(T(R)\\) are finite.   Similar results in characteristic \\(p>0\\) were obtained by Huneke and Sharp. As a corollary one obtains for an ideal \\(I\\) of \\(R\\): Let \\(i\\) be an integer bigger than the height of all the minimal primes of \\(I\\). Then \\(\\text{Hom}_ R (R/I, H^ i_ I (R))\\) is finitely generated if and only if \\(H^ i_ I(R)=0\\). The proof of the main result surprisingly relies on a result on \\(D=D (R,K)\\)-modules, where \\(R=K[[X_ 1, X_ 2, \\dots, X_ n]]\\), the ring of formal power series in \\(n\\) variables over \\(K\\). The finiteness of the Bass numbers leads to a new numerical invariant for local rings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319250$DA8AF5D3-3104-4582-9601-B27CD754B4A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e83b5ce1cf0094d1de599d4bd3e5e9286c17539f","datavalue":{"value":"13D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319250$164E0E84-BAFE-4110-A29A-4C8C1C82AC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac9d094f0219c3deedf59f44b76ca57465dfa072","datavalue":{"value":"14B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319250$DA92874A-D511-44BD-ABB5-38B62150A1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9dd685d198780361a1c3e1544313097f92c33bde","datavalue":{"value":"13D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319250$A4B8F7A1-414E-47CB-9961-5B352AF7CF6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee6242182aab935c20a668f9fbb734d91bff353c","datavalue":{"value":"549680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1319250$996B4B85-4644-4A12-BA11-21D9B3D48B0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fdc3a199fa12dce17aac66c893d916ff03de56a","datavalue":{"value":"characteristic \\(p\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319250$8443221F-F425-45F7-BFCB-CFA3298CDE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11d0db323c10ca6ea861eb28ff21992729eb47c3","datavalue":{"value":"\\(D\\)-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319250$8E51F5A1-E46F-4084-B67C-F79EB6BB19C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2358acd7b5659251697e62552d8a5aa68db989fe","datavalue":{"value":"injective dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319250$E52A7BA3-6C9F-4C2E-B3F6-467BB8BC114A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44798441d5ec352612e5d004af17370a6fed5f47","datavalue":{"value":"local cohomology module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319250$9601FF14-0A2D-42F2-8B73-64D5448F3848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edf209c42e9d6d110be8ed325e4f1558aee6770a","datavalue":{"value":"finiteness of the Bass numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1319250$46250F8B-9935-4364-872C-3C4DFD3152B5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"87338ed4c4ef03b7b929db88cdefad9c24ab3698","datavalue":{"value":{"entity-type":"item","numeric-id":916707,"id":"Q916707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$D8587115-E043-4A01-B684-0CBACB3CC883","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":"Q1319250$02573299-2F81-400F-B7CB-70C66B828D7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f7691fc0ef40254a6d30ff8c351eb5f088f238","datavalue":{"value":{"entity-type":"item","numeric-id":2625040,"id":"Q2625040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$9D91396C-83B3-4589-A927-AE04A6DDFF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5bcbe2b029fd79485115318d33173d7455e0bf8","datavalue":{"value":{"entity-type":"item","numeric-id":1242963,"id":"Q1242963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$21322BB8-DF96-4AB2-B241-CBDC81C00BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fae1e193057a5cb6b6ca6e465c468b93d876df","datavalue":{"value":{"entity-type":"item","numeric-id":4198866,"id":"Q4198866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$62EF7064-050C-4927-B4A0-E984C8FA9E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55943307644f35f5326b5fc2779638aca4d25005","datavalue":{"value":{"entity-type":"item","numeric-id":2539534,"id":"Q2539534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$6E9358D2-F14A-4731-A0B7-78453EC3E07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d1fa9e1663afa94a07d266cfd8c574d833bd2b","datavalue":{"value":{"entity-type":"item","numeric-id":2531212,"id":"Q2531212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$585FBE76-9DCF-4946-9B1A-6DF1E780ACE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a9c97a7b50cb41d7204befe6f3ea1172681da69","datavalue":{"value":{"entity-type":"item","numeric-id":5905808,"id":"Q5905808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$AF0795CB-090F-4EFF-93BB-D1B386033ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91d7a25d64d62794b167e32b8f010e35b488b21","datavalue":{"value":{"entity-type":"item","numeric-id":1239773,"id":"Q1239773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$B2CBAACD-F4F2-4E48-8993-50198C576C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088ddadcd015d8a6e52402d2feee1a712b7fb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":1234322,"id":"Q1234322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$9F765CFC-B94D-45BF-8B93-7E5A0241AE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"124e177fe5fe8cb5cdd88bd9b9af2fe0f728f9a5","datavalue":{"value":{"entity-type":"item","numeric-id":3986403,"id":"Q3986403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$A796478E-BDE0-4F05-9F03-8042F75D3ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9b4a9f529d016e30c85e0f5e4aedd35b4cd771","datavalue":{"value":{"entity-type":"item","numeric-id":753873,"id":"Q753873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$A1DFEA7D-3974-4057-95B3-A1B41EE294D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a069e14558bd9655448c2b25a2431ed6332efc","datavalue":{"value":{"entity-type":"item","numeric-id":3142096,"id":"Q3142096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$E4E7BA4F-EAB4-40F6-9985-C5355494AC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aade739cc67fa4e8ed3a9738d01b1a6c033c193","datavalue":{"value":{"entity-type":"item","numeric-id":1218476,"id":"Q1218476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$67908C7E-5436-4506-BBAA-141918D8E119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9978210bfc8e060ff2b9a09b54c3cbd13350e4","datavalue":{"value":{"entity-type":"item","numeric-id":1175536,"id":"Q1175536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1319250$CC7350BD-0AA8-4F10-B81F-FEFA23A690BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d798b04b18cd7f798a10600122a57ea57cf48e4","datavalue":{"value":{"entity-type":"item","numeric-id":4316772,"id":"Q4316772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806ffad94e7890a22d56e7b391569000d8dbf3c9","datavalue":{"value":{"amount":"+0.8384425044059753","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":"Q1319250$AFF96667-72E2-4A38-9F88-1DCD9424C3E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f694ad4d0e5bd3d62d120c9ab94d824b17b452c3","datavalue":{"value":{"entity-type":"item","numeric-id":1577498,"id":"Q1577498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b64cba1f18a344e8ea3f5b0d5642a530d5148db","datavalue":{"value":{"amount":"+0.8361372947692871","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":"Q1319250$23E71E81-82A9-4B4F-AF30-72BF047DFC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3838896d57a3533848473826153eb49a664319ba","datavalue":{"value":{"entity-type":"item","numeric-id":3142096,"id":"Q3142096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e04c7406736ca960174c74b6a3c19a948046c5b8","datavalue":{"value":{"amount":"+0.8311432600021362","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":"Q1319250$535C2EC9-3A2D-4440-ACFD-65DE2CEDED92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790d4f0ce93bd73864d447cfd62a1f28b1e11d84","datavalue":{"value":{"entity-type":"item","numeric-id":2234411,"id":"Q2234411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46aba7ffdd06ef7b68904d5e632df7c75637723","datavalue":{"value":{"amount":"+0.8274310231208801","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":"Q1319250$DD1EB61B-6199-4DBE-B174-1F5B93C89019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555a6994bfbd8355d819cab71be93456b0bdf600","datavalue":{"value":{"entity-type":"item","numeric-id":4364985,"id":"Q4364985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa974c0bf146619bdaf4d2efaf06614f01ddd275","datavalue":{"value":{"amount":"+0.8218669891357422","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":"Q1319250$6127D13A-A1B6-4803-B75E-F0BA2F785F98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finiteness properties of local cohomology modules (an application of \\(D\\)- modules to commutative algebra)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finiteness_properties_of_local_cohomology_modules_(an_application_of_%5C(D%5C)-_modules_to_commutative_algebra)"}}}}}