{"entities":{"Q1434156":{"pageid":1444896,"ns":120,"title":"Item:Q1434156","lastrevid":67424484,"modified":"2026-04-12T17:35:29Z","type":"item","id":"Q1434156","labels":{"en":{"language":"en","value":"The intersection homology \\(D\\)-module in finite characteristic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2078024"}},"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":"Q1434156$8829638D-C27F-4F31-B8E5-6B24B6F9379E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef19bb8090d735816170392f5cbf85a8c39a3335","datavalue":{"value":{"text":"The intersection homology \\(D\\)-module in finite characteristic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1434156$D03D2BFF-94D6-419B-96A8-D80056A327BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2acf1f5b5d16000ae8c0866cb43f3e82333d9f7e","datavalue":{"value":"1065.14006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434156$E6D6CE7F-306B-45FD-B272-DF3F8E126BCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24131fe1427f88d724ca74aed5174defc120f861","datavalue":{"value":{"entity-type":"item","numeric-id":188278,"id":"Q188278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434156$12AB4F3D-0FFC-4064-A69C-74363259C498","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1434156$C8936DE6-D758-4E6D-BDB4-24853315F117","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f1c91819e1068c0617e66c7ecdafdccd99ae8ff","datavalue":{"value":{"time":"+2004-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1434156$DDBC63CD-880D-4C88-8774-9B419BF85E82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"519c0329ffa5a7b07aaf572706e91bbd658082dc","datavalue":{"value":"https://arxiv.org/abs/math/0210145","type":"string"},"datatype":"url"},"type":"statement","id":"Q1434156$D03E9BD6-3DEE-4125-930E-FB2A1442E2F8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e2173566cda5285cc5adaaab6c4f60258a61100","datavalue":{"value":"Let \\(X\\) be an irreducible smooth scheme over a perfect field, and let \\(Y\\) be a closed irreducible subscheme of codimension \\(c.\\) The author proves that \\(H^c_Y(X, O_X)\\) has a unique simple \\(D_X\\)-submodule \\(L(Y,X)\\) which agrees with \\(H^c_Y(X, O_X)\\) on the complement of any closed set containing the singular locus of \\(Y.\\) In the case of \\(\\mathbb C\\)-varieties a highly formal proof of such result was earlier obtained by \\textit{J. L. Brylinski} and \\textit{M. Kashiwara} [Invent. Math. 64, 387--410 (1981; Zbl 0473.22009)].   In the paper under review the author presents an elegant proof which does not depend on characteristic of the base field; his proof is a direct consequence of the following fact: \\(H^c_Y(X, O_X)\\) has finite length as a \\(D_X\\)-module. In characteristic zero it is guaranteed by holonomicity while in the case of positive characteristic it follows from results by \\textit{G. Lyubeznik} [J. Reine Angew. Math. 491, 65--130 (1997; Zbl 0904.13003)].  The author also underlines that even in the case of characteristic zero it is very difficult to determine \\(L(Y,X)\\) explicitly. Nevertheless, making use of his method based on the theory of tight closure he describes a clear local construction of \\(L(Y,X)\\) in general case and obtains a criterion for the \\(D_X\\)-simplicity of \\(H^c_Y(X, O_X).\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434156$6682EF7E-CD03-4A83-A14D-B2CB16781E76","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":"Q1434156$665AF278-9A09-43C6-9655-8772F40B8208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac9d094f0219c3deedf59f44b76ca57465dfa072","datavalue":{"value":"14B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434156$CA2E082B-AC7D-4BAF-9737-0992ED8CD450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb218609bb348fdd327631b73dea60728afa1930","datavalue":{"value":"13N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434156$8932BDB7-B3CD-4510-A61F-A771D3AB0015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"630a82a371ad84fa1117bcd32461226e0183986d","datavalue":{"value":"14L30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434156$3D8FAC39-4B8D-4318-B9CB-9405F786617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e83b5ce1cf0094d1de599d4bd3e5e9286c17539f","datavalue":{"value":"13D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434156$D12A65E1-A3F0-4FEC-94F1-2327DAAEB6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbba9dff550bdc725cd59863edc6ed8158931b04","datavalue":{"value":"13A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434156$BF8D5BDC-BA25-46B7-8289-3CE3E1A441D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7879e42e20b29db9c334897fbdfacb3091816904","datavalue":{"value":"14F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434156$F88B2919-C3F5-410C-9B22-E53133B41592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73c4b6a469ae737c42c748863667f796b26b910a","datavalue":{"value":"2078024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434156$39446779-107F-4C32-A7E8-7E6EA19B7F81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5865ecf5fda52f8708cbb702c6bcfd8410b90d6f","datavalue":{"value":"holonomic \\(D\\)-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434156$2CEFF17F-DBBD-4FBE-A68B-3697CAB97237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e502df90c085e68648f937e0f21aba611c3a85d8","datavalue":{"value":"tight closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434156$C527FF71-C659-4069-BCDA-2AEDE3114BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9ddb3550268b6e978feac414574899b44e6efcd","datavalue":{"value":"Frobenius map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434156$EB94981A-874E-4E12-A8C5-7D7E62FAD9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bc8f8d453f2bb4c207e603476973f3448f44ced","datavalue":{"value":"Matlis duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434156$A12C8E11-A0C6-4ACF-AFB8-C7FB44575B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199bfe91e203c4353c5fa45a06ac6efecab4de6e","datavalue":{"value":"local cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434156$73F729EA-1CB0-42DC-AAA8-2E8E18B067B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af00f0036be09a1fce5a21366be0ea6bdd97143","datavalue":{"value":"intersection homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434156$D17B225D-5E2F-4E93-B107-10AE0964F8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"328d53be92fdde410d5a1beec205d9c03182f2f6","datavalue":{"value":"isolated singularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434156$77863560-4FE7-408B-B6A3-E224128663FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9617c87c6cee91ba5cc72cce0a7a81bf90a9b190","datavalue":{"value":"Cohen-Macaulay local rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434156$79D1688B-23F5-40C7-A66C-2694105FFECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cf85ae01925d8f57a2f66fced0c4647727dfe36","datavalue":{"value":"Riemann-Hilbert correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434156$4EBCC7C5-7D15-4B48-A8D6-FF48252416C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2e75ad4ecd9f714146e7ee6198566a5645ec1f","datavalue":{"value":"middle perversity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1434156$9D7CA875-D2A6-4E64-A057-723BD1D10A9F","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":"Q1434156$33340B47-5BC7-4036-824E-4D4C78AAF7F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ebab71e9b2fb084600523cfa08d9aaa955b10b2","datavalue":{"value":"W2040875850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434156$703A774F-E315-41F3-92D1-AF4146379F62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc610f206e89f0cdf81a586956a2bc0edbaa8549","datavalue":{"value":"10.1007/S00208-003-0492-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1434156$23517ED5-9E24-4024-BC79-EDCD0E553C6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640db62b4ec89fb262853e9b33de309468eb8e33","datavalue":{"value":{"entity-type":"item","numeric-id":5483281,"id":"Q5483281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adab1b1c803d4155ed44907b5b9ad578676b8eb5","datavalue":{"value":{"amount":"+0.901193618774414","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":"Q1434156$5D593ED4-C8A3-4F2A-BD79-B3BDFFA8A898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb8089477cbbc11f134dc5ca8e3668cc3878b8c","datavalue":{"value":{"entity-type":"item","numeric-id":1108339,"id":"Q1108339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1302125002ed0bb22b5204be0c9836e1ec5ea2b7","datavalue":{"value":{"amount":"+0.8196755647659302","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":"Q1434156$FF6F12D9-FF9C-4961-9DE7-381A7FE1583E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a04732be0b5fbf50a34320b9f8371ba5c5d30fc","datavalue":{"value":{"entity-type":"item","numeric-id":1066216,"id":"Q1066216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d560176ce15de22cf3e03c51f2e988eacf14fc0f","datavalue":{"value":{"amount":"+0.7785994410514832","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":"Q1434156$6C983B9C-2C26-46C3-8A03-B089542B6E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdbb341c71bf9a94e8606dfb699ecb018970cff7","datavalue":{"value":{"entity-type":"item","numeric-id":2219011,"id":"Q2219011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e988c20dbd381dad681c076bbfba30bfc1659b99","datavalue":{"value":{"amount":"+0.7518789172172546","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":"Q1434156$3D9580F7-540E-49A7-9706-06E33EB3D9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"403627412671cd46148259a42e64cde4a88ff07d","datavalue":{"value":{"entity-type":"item","numeric-id":4272889,"id":"Q4272889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ca310dd70b7cbdad458648484c692c3f497274","datavalue":{"value":{"amount":"+0.7456361055374146","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":"Q1434156$C52005EF-37D0-4617-B475-95CF9878B85A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The intersection homology \\(D\\)-module in finite characteristic","badges":[]}}}}}