{"entities":{"Q462464":{"pageid":464231,"ns":120,"title":"Item:Q462464","lastrevid":56992710,"modified":"2026-03-25T13:46:29Z","type":"item","id":"Q462464","labels":{"en":{"language":"en","value":"The local cohomology of the Jacobian ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6358802"}},"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":"Q462464$AC9E321E-7916-4DFB-A64F-C66568E5D34B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfe17e14b5a9a1b1aa7794a61f85d51c0652f2df","datavalue":{"value":{"text":"The local cohomology of the Jacobian ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q462464$AFA83343-CFB6-4A25-B22F-14BA97FF615A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d14627c18a277cd076e63b59c93596bc0c36ae1","datavalue":{"value":"1314.14089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462464$B38781DF-4C2A-492B-8905-E5A0F43F478F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9172b1b3b0a31b1cba9904f115dfddd6267ed76a","datavalue":{"value":{"entity-type":"item","numeric-id":462463,"id":"Q462463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462464$AD634F29-D97D-4677-AE8C-84EB66FFD069","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462464$C15B9FD4-325A-423D-9B65-85F42DDD12E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"808f6bb4b9d5080e5d4668c53f28970905e173e5","datavalue":{"value":{"time":"+2014-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q462464$0604B531-A608-47DA-AB27-3CF8F00A2C7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f896809ba18d633365b8dc96d79ee6c8e2d1ae04","datavalue":{"value":"https://arxiv.org/abs/1306.3736","type":"string"},"datatype":"url"},"type":"statement","id":"Q462464$F5909320-1274-488F-9E7A-3951111F226C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"586abdc85d5e57f6049d935ba038221ee5d3dfdf","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/vol-19/17.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q462464$ACA443C5-1152-4DFB-B7C1-A3A7C586406A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fb5899bdb9e28234169ebfc0b05ad83923b62bd7","datavalue":{"value":{"entity-type":"item","numeric-id":589895,"id":"Q589895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462464$A5621623-1D9A-42AD-A8BB-AD89653D96B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"772082e871ed0e82560d016b0787f046e0945aff","datavalue":{"value":"14J70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462464$AF854FFA-CD6D-45A5-8605-3D941E52B661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac9d094f0219c3deedf59f44b76ca57465dfa072","datavalue":{"value":"14B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462464$991216A3-EFB4-4191-AC3B-BF5CCBAD918A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9fdd264f16c544ba55592749e4857f5e9077fc96","datavalue":{"value":"14C34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462464$36DFCC2B-E888-41B0-9471-B7C5F6CEE75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e132555e979eaf8987511b51676aa8ab9b3151e9","datavalue":{"value":"32S05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462464$18497C41-7EB8-40FC-8ACB-B77740E48DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5e1286426a113fca3e950e9f4b009df1ff9c35d5","datavalue":{"value":"32S35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462464$74415BDA-B43C-4C83-A4C2-BDEEF88FBD24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dafb5472ec8a39b8844bd5443fc35c6a6e48f421","datavalue":{"value":"6358802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462464$A2C1A32E-6694-49B4-8660-ADE477AB6602","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63d5d342f84582dbc7e2f6ac8c579f78841666ca","datavalue":{"value":"hypersurfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$632DBAF9-4985-447F-96C1-8D7C9A691C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199bfe91e203c4353c5fa45a06ac6efecab4de6e","datavalue":{"value":"local cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$6DAB4D0A-500E-44A3-9ECB-6380F02D8D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1376a9b11642bb5450a9a2a768daef04d90417ae","datavalue":{"value":"Jacobian ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$72CB4DB1-18D5-4C65-89E6-906FE76C80B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3ccaf055e8e5ff333b91266488264c6844594f8","datavalue":{"value":"logarithmic vector fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$FEE0A05C-6F2D-4F57-A72E-10FEDE350D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba24022f7465e754c295c082cd6dcd1aa18f3099","datavalue":{"value":"logarithmic differential forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$9B2B2EC4-65D1-4B98-A906-55F0AA0968E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78030a915d78f421aeaece9240ac158f0a79155d","datavalue":{"value":"free divisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$13226072-2673-4360-BE98-60095C52BB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6481cb6d25ed50dead290f16a401956381c61dab","datavalue":{"value":"Hodge decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$279BFC43-7619-42A8-9B44-B59545067309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7cecde627ab359fa8eb9141cf341001bacb1e8","datavalue":{"value":"Torelli type theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$C28C4705-4E98-43D8-AD52-BDE5742B87CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe2d043832add1b213924bad226f643afd9689f","datavalue":{"value":"Macaulay's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$0D030E88-1551-464D-9B58-6BAACBE52403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a2b6b8d6e657d4f9359d473f1ef78ef8c332085","datavalue":{"value":"stable vector bundles","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$8D56EF16-FA12-407E-B681-84E6D5B81431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fc09f497b352425cb1bb0e06f42fa5e590be732","datavalue":{"value":"arrangements of hyperplanes","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$524C8170-1B08-47BB-A1FA-3F6D4FE68C9A","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":"Q462464$16E7BC07-A901-48A6-8A4E-999E0A720DDA","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":"Q462464$91C120EA-0B54-4375-A0E8-577EB0B4E327","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"f9cb8e19d47a2320ea11711328da93f486872020","datavalue":{"value":"bafkreiatxq4hjqjlqbouj7asxxdg7phgclwvfyfwxfzohxonljm4ujqhxa","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462464$2C9A5B98-E6DB-441C-BD17-31E0A6E17A7D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d0a8b1f11bdae47affff95590ef3cfe8f733314c","datavalue":{"value":"Let \\(S = \\mathbb C[z_0,\\dots, z_n]\\), \\(n\\geq 2,\\) be the graded polynomial ring in \\(n+1\\) variables with complex coefficients and let \\(\\mathfrak m\\) be the irrelevant maximal ideal of \\(S\\). Given a reduced homogeneous polynomial \\(f\\in S,\\) let \\(X\\subset \\mathbb P^n\\) denote the corresponding projective hypersurface, \\(J_f = (\\partial f/\\partial z_0, \\dots, \\partial f/\\partial z_n)\\) the Jacobian ideal of \\(f\\) in \\(S\\) and \\(Q_f = P/J_f\\) the Milnor algebra of the function \\(f\\). By using the basic properties of the sheaf \\(\\text{Der}(\\log X)\\) of logarithmic vector fields and the sheaves \\(\\Omega_{\\mathbb P^n}^p(\\log X)\\) of logarithmic differential forms along \\(X\\), the author studies the local cohomology module \\(H^0_{\\mathfrak m}(Q_f)\\), describes the Hodge decomposition for strictly normal crossing divisors, discusses some Torelli type questions for \\(H^0_{\\mathfrak m}(Q_f)\\), etc. Among other things he proves that if \\(X\\) has at most isolated singularities then \\(H^0_{\\mathfrak m}(Q_f)\\) is a self-dual finite-dimensional vector space over the ground field. In addition, the author computes many examples with the help of the Macaulay-2 system for algebraic computations. NEWLINENEWLINENEWLINE NEWLINEFollowing the line of reasoning of [\\textit{A. G. Aleksandrov}, in: Theory of singularities and its applications, Adv. Sov. Math. 1, 211--246 (1990; Zbl 0731.32005)], one can clarify the author's results and related computations in the following way. Let \\(D\\) be the affine cone over \\(X\\) in \\(\\mathbb C^{n+1}.\\) Then \\(Q_f\\cong \\Omega^{n+1}_D\\). If \\(X\\) is smooth then the cone \\(D\\) is an affine reduced divisor with an isolated singularity at the vertex, \\(H^0_{\\mathfrak m}(\\Omega^{n+1}_D)\\cong \\Omega^{n+1}_D \\cong Q_f\\), \\(\\dim_{\\mathbb C} Q_f = \\mu(D)\\) is the Milnor number and the author's self-duality is, in fact, the classical Macaulay's duality for artinian complete intersections. If \\(X\\) has isolated singularities only then the divisor \\(D\\) has one-dimensional singular locus. Moreover if \\(D\\) is normal, i.e. \\(\\text{codim}(\\text{Sing\\,}D, D) \\geqslant 2\\), then \\(H^0_{\\mathfrak m}(Q_f)\\cong Q_f\\). However, if \\(\\text{codim}(\\text{Sing\\,}D, D) = 1\\), then, as a rule, the group \\(H^0_{\\mathfrak m}(Q_f)\\) vanishes. For example, this is true for Saito free divisors with non-isolated singularities because \\(Q_f\\) is a Cohen-Macaulay ring of positive dimension. NEWLINEOn the other hand, for any reduced divisor the basic properties of logarithmic differential forms yield natural isomorphisms \\(H^0_J(\\Omega^p_D) \\cong \\text{Tors}(\\Omega^p_D)\\cong f\\,\\Omega_{\\mathbb C^{n+1}}^p(\\log D)\\), where \\(J=J_f\\). Thus, \\(H^0_{\\mathfrak m}(\\Omega^p_D) \\subseteq H^0_J(\\Omega^p_D)\\) for all \\(p \\geqslant 0\\), \\(H^0_J(\\Omega^p_D) = 0\\) for \\(p = 0, \\dots, c-1\\), \\(H^0_J(\\Omega^{n+1}_D)\\cong Q_f\\) is never zero, and so on. NEWLINENEWLINENEWLINENEWLINELet us now suppose that \\((\\text{Sing\\,}D)_{\\text{red}}\\) is a Cohen-Macaulay germ of codimension \\(c\\geqslant 1\\) in \\(D\\). Then there is a series of perfect pairings of Grothendieck's type between infinite-dimensional \\(\\mathbb C\\)-vector spaces \\(H^0_J(\\Omega^p_D)\\) and \\(\\text{Ext}^p_{{\\mathcal O}_D}(\\Omega^p_D, {\\mathcal O}_D)\\) where \\(p \\geqslant c\\).NEWLINEIn the graded case every pairing provides these vector spaces as well as the corresponding Poincar\u00e9 series with nice symmetries of different kinds. As a result, the self-duality, described in the paper under review, can be naturally produced from a suitable pairing in view of the following evident relations: \\(H^0_{\\mathfrak m}(Q_f) \\cong H^0_{\\mathfrak m}(\\Omega^{n+1}_D) \\subseteq H^0_J(\\Omega^{n+1}_D)\\cong Q_f \\cong \\text{Ext}^1_{{\\mathcal O}_D}(\\Omega^1_D, {\\mathcal O}_D)\\cong \\text{Ext}^p_{{\\mathcal O}_D}(\\Omega^p_D, {\\mathcal O}_D).\\) Next, in a similar manner we can analyze the Hodge decomposition for divisors with non-isolated singularities of various types (see [\\textit{A. G. Aleksandrov}, Funct. Anal. Appl. 47, No. 4, 247--260 (2013); translation from Funkts. Anal. Prilozh. 47, No. 4, 1--17 (2013; Zbl 1311.14004)]).","type":"string"},"datatype":"string"},"type":"statement","id":"Q462464$22E8E6C0-D39F-4732-8A12-81782C072C89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5568270a6998dbdfef454c51e8ed1d2903837bd","datavalue":{"value":{"entity-type":"item","numeric-id":2024938,"id":"Q2024938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e9767f9d6073116d0c7224012d3028ac2a2957","datavalue":{"value":{"amount":"+0.8470737934112549","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":"Q462464$D268C799-11FF-4B3D-BB5A-25C0E7231D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efd7df93d63a6f0906a65fbe69b59ca994826239","datavalue":{"value":{"entity-type":"item","numeric-id":855360,"id":"Q855360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652ace03ddf475e3d35eee79610755306005e8b0","datavalue":{"value":{"amount":"+0.7656064033508301","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":"Q462464$3C8203A0-8EBF-47B5-9323-C97BD025A72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a02d774655c895019e6081ee7e161e772787a2a","datavalue":{"value":{"entity-type":"item","numeric-id":381163,"id":"Q381163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b81d8b470f910c7d08939a37cb77d61c2d6f11","datavalue":{"value":{"amount":"+0.7551550269126892","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":"Q462464$F4E2C3F5-BB8E-437A-B428-ADB85FCC9849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60c237069a2e4b67d0fd0a7e8ebc5755cc43288","datavalue":{"value":{"entity-type":"item","numeric-id":5469043,"id":"Q5469043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d101cfd5ec9eab4f39fa9ce2070756d8baba47a","datavalue":{"value":{"amount":"+0.7469939589500427","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":"Q462464$6FE8DE46-3FED-41D9-873F-5237E8ED5788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0232e4c560f0954c7e71d392310ba8142cfcf36f","datavalue":{"value":{"entity-type":"item","numeric-id":1075397,"id":"Q1075397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea6b8da227d057961cd61b1bd047b2fbb2101daa","datavalue":{"value":{"amount":"+0.7432395815849304","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":"Q462464$C7D39018-47D9-4D74-92FE-E0834957A74C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:462464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:462464"}}}}}