{"entities":{"Q5937273":{"pageid":8114075,"ns":120,"title":"Item:Q5937273","lastrevid":47638756,"modified":"2026-01-02T07:03:21Z","type":"item","id":"Q5937273","labels":{"en":{"language":"en","value":"Hilbert-Kunz multiplicity, McKay correspondence and good ideals in two-dimensional rational singularities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1618841"}},"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":"Q5937273$03EF7D2B-E744-4D2F-B7DC-4E415044903E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7354ee1159c79c067824140f09d46ae988b2f44","datavalue":{"value":{"text":"Hilbert-Kunz multiplicity, McKay correspondence and good ideals in two-dimensional rational singularities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937273$8194E508-5679-49B5-B586-F7DFEE2BAFA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dc7a3cd202ab3af8f4094815948fe47cff04ef6","datavalue":{"value":"1013.13008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937273$50D6A6B6-B35C-4EA4-9717-FF2A8FAED8C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adb69fb4f861984aa1916f2a5366832132b9b37c","datavalue":{"value":{"entity-type":"item","numeric-id":1113916,"id":"Q1113916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937273$504296A3-B54D-4D6C-9229-D1404CA9305B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf8e2ecde3cb7ec6d013bc57fed8d90c54de0a6","datavalue":{"value":{"entity-type":"item","numeric-id":189051,"id":"Q189051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937273$6828F09C-22D3-4FFA-80A9-645394E4B9FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937273$0D4F562A-3E0D-445B-9623-FA5B726CF563","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a38975041f86da1577e5d885ab135820354c02a8","datavalue":{"value":{"time":"+2003-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937273$48FEED56-0568-4FEB-BA8D-9BE816BFD344","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"57988a5c86211de7a03ca797440aa80d0444be5d","datavalue":{"value":"The Hilbert-Kunz multiplicity \\(e_{HK}(I)\\) [see \\textit{E. Kunz}, Am. J. Math. 91, 772-784 (1969; Zbl 0188.33702)], respectively \\textit{P. Monsky} [Math. Ann. 263, 43-49 (1983; Zbl 0509.13023)], of an \\(\\mathfrak m\\)-primary ideal \\(I\\) in a local ring \\((A, \\mathfrak m)\\) of characteristic \\(p > 0\\) defined by the Frobenius morphism is known to be a rather mysterious invariant. The notion of a good ideal was introduced by \\textit{S. Goto, S.-I. Iai} and \\textit{K.-I. Watanabe} [see Trans. Am. Math. Soc. 353, No. 6, 2309-2346 (2001; Zbl 0966.13002)], as an ideal \\(I\\) in a local ring such that its associated graded ring \\(\\text{gr}_I(A)\\) is a Gorenstein ring with \\(a\\)-invariant \\(a(\\text{gr}_I(A)) = 1-d.\\) In the two-dimensional case it follows that \\(I\\) is good in \\(A\\) if and only if \\(I\\) is an integrally closed ideal represented on the minimal resolution \\(f : X \\to \\text{Spec} A.\\) The main result of the paper is a nice formula for the Hilbert-Kunz multiplicity for certain ideals \\(I:\\)    Let \\(A\\) be a two dimensional F-finite rational Gorenstein local ring such that \\(A\\) is a pure subring of a regular ring \\(B\\) which is a finite \\(A\\)-module of rank \\(N.\\) Let \\(I = H^0(X, \\mathcal O_X(-Z))\\) be a good ideal such that \\(I\\mathcal O_X = \\mathcal O_X(-Z)\\) with \\(Z = \\sum_{i=1}^r a_iE_i,\\) where \\(E_1, \\ldots, E_r\\) are irreducible exceptional curves on a minimal resolution of the singularity. Then  \\[  e_{HK}(I) - \\text{Length}_A (A/I) = \\left(\\sum_{i=1}^r a_in_i\\right) \\Biggl/N,  \\]  where the \\(n_i\\) is determined by the fundamental cycle \\(Z_0 = \\sum_{i=1}^r n_iE_i\\) on \\(X.\\) Moreover  \\[  e_{HK}(I) - \\text{Length}_A (A/I) = e_{HK}(\\widetilde{I}) - \\text{Length}_A (A/\\widetilde{I}),  \\]  where \\(\\widetilde{I}\\) denotes the good closure of \\(I,\\) that is the minimal good ideal containing \\(I.\\) In the case \\(A\\) the completion of \\(k[x,y]^G\\), \\(G\\) a finite subgroup of \\(SL(2,k),\\) one can apply the result. So there is a description of \\(e_{HK}(I)\\) of any good ideal in terms of the dual graph of \\(X.\\) For the proof of their main results the authors use the McKay correspondance and the Riemann-Roch formula. The paper is completed by several lists of good ideals in two-dimensional rational singularities. By virtue of their main result there are calculations of \\(e_{HK}(I)\\) using its dual graph. So they provide a lot of new samples of the Hilbert-Kunz multiplicities of certain ideal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937273$FEEBB4F1-8DEC-4474-9393-E821BCE16272","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1dc149818915cc1107568882a3b15d36b98f7a44","datavalue":{"value":{"entity-type":"item","numeric-id":308146,"id":"Q308146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937273$77413D86-6102-4D3E-A3C6-19B21E85538D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937273$8A8C5FFA-7647-4793-B20F-3ED3D41B68EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbba9dff550bdc725cd59863edc6ed8158931b04","datavalue":{"value":"13A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937273$118B797B-18A3-489B-AACF-80E795E93A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bee2219fe30255f9156dce33d9cc4f518c0cf995","datavalue":{"value":"14B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937273$0BA523C5-B2EF-4E90-BB75-F99A4144B8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ad74462de1e15a0170734306cd8c6384753cfdb","datavalue":{"value":"14C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937273$BE374052-558D-4670-95A8-CE2FD7A8E328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6977e67d13c1632dad4d67efb049598324555248","datavalue":{"value":"1618841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937273$0510826B-CE18-4832-A4E4-2875F73E300A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74e044b2b5e078133a003bac155eb35baf6721a0","datavalue":{"value":"Hilbert Kunz multiplicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937273$B04509C1-7303-4A59-B1A4-7F0E760CE0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d6ecea27630abe1c55f43f1ced8518a22b77cd3","datavalue":{"value":"McKay correspondance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937273$426EEC6E-0AF6-46F6-A34C-368CFE8A2644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b636c469fdf318327d62fd8feafd0ab6372614d0","datavalue":{"value":"good ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937273$1BE6E4EA-3327-4C85-A946-465189379FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6a8fcb99d8d8d62f76bd13a756484a45357ccf","datavalue":{"value":"two-dimensional F-finite rational ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937273$4290011D-0847-4760-8BDA-80FEEF54BC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb3609c2822ca5473898f3c8e79d956293cd5885","datavalue":{"value":"Frobenius morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937273$9FFB125A-70AA-4970-910B-AE2C1C34574A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fdc3a199fa12dce17aac66c893d916ff03de56a","datavalue":{"value":"characteristic \\(p\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937273$873BBD0F-1B7F-467A-8CC5-B070D194C653","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":"Q5937273$E1CAFF48-DF9A-48F5-BC3B-A7AA24FA445A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"615f00c383ee886fc22584e37a7228ffd826e946","datavalue":{"value":"https://doi.org/10.1007/s002290170026","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937273$3335E680-4747-49C7-A007-83E889F6929F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"637cc1209a7341a210ffc31b2f283bbc728f5934","datavalue":{"value":"W2068285619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937273$454EAA47-573B-44FB-9002-661B3140C94B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"988253ee288fdf4aa2ecca4738cc710db5ce7077","datavalue":{"value":"10.1007/S002290170026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937273$EAA51C45-E652-440A-AEF3-BF0E045D63EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c2665ac96d57b495225be860ad0d587b54489a","datavalue":{"value":{"entity-type":"item","numeric-id":3644174,"id":"Q3644174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf06c9bf927934a1e48ef4432a5c0b8ed9ddeb40","datavalue":{"value":{"amount":"+0.8338351845741272","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":"Q5937273$690F91DC-9557-4603-B228-D6CBA4670726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92c8c3538c83d91014acccece237baf1d768f6f","datavalue":{"value":{"entity-type":"item","numeric-id":2731032,"id":"Q2731032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba96d351f323c92047146e30fdebce3fa62bb88","datavalue":{"value":{"amount":"+0.8192528486251831","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":"Q5937273$B615904B-A928-4953-8BBC-47EC0F5AA315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b620b8a276717a708a61b65f1b1f9f11746736","datavalue":{"value":{"entity-type":"item","numeric-id":1400184,"id":"Q1400184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51c7261ce9d3137a66033bda72f4a47fad1cc731","datavalue":{"value":{"amount":"+0.8186579346656799","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":"Q5937273$539F8E0F-73C5-42E7-B9FE-CD400C60324E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41803d1a1bc86225c01b1cf39d2bed4d96ea79f2","datavalue":{"value":{"entity-type":"item","numeric-id":4948282,"id":"Q4948282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0d655baadd60846ed78eb6d435d1481b9638fa","datavalue":{"value":{"amount":"+0.8135351538658142","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":"Q5937273$A2AC11D9-5403-42D8-9F49-F0FDCD50BCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ee9a538d651321edcc612a0cf8a8639b85f696","datavalue":{"value":{"entity-type":"item","numeric-id":816958,"id":"Q816958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef11fff753ae5167a6b94bab5db6952f27c88ec3","datavalue":{"value":{"amount":"+0.8126980662345886","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":"Q5937273$4586BCF2-4725-4993-B249-8FC476C6C977","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5937273","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5937273"}}}}}