{"entities":{"Q2509823":{"pageid":2520566,"ns":120,"title":"Item:Q2509823","lastrevid":73509681,"modified":"2026-04-14T16:16:22Z","type":"item","id":"Q2509823","labels":{"en":{"language":"en","value":"Hilbert-Kunz functions of \\(2\\times 2\\) determinantal rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6322992"}},"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":"Q2509823$42BF22E9-F93E-4BFB-BBB1-3344ABAD8AE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf225f90180a425f0b7e42c65cf145eec50ff4ff","datavalue":{"value":{"text":"Hilbert-Kunz functions of \\(2\\times 2\\) determinantal rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2509823$27EEFA1A-85C6-457A-A893-14BEDF06DC48","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"670a996f77a4479f11878d19a70a962efe0341f0","datavalue":{"value":"1308.13026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509823$F21D1E8A-8013-40BB-9AE2-383763F8B9DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f9820936a40ee64cce5c3ccbe96615e9ce7f5ca","datavalue":{"value":{"entity-type":"item","numeric-id":420677,"id":"Q420677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$1C7CB9F7-F21F-4B98-A9E8-0072F21EAC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dcdf5a2bbd05ae86c86f551a0c06d927a0625f5","datavalue":{"value":{"entity-type":"item","numeric-id":194489,"id":"Q194489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$DC4843B3-7196-41A6-9FC0-A08C4A2F6393","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$4C7714A3-9848-46A5-8F9D-F0A0D21BBA90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83c95c2fedc687298510b6dc5372d662004f7645","datavalue":{"value":{"time":"+2014-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2509823$50DC00FB-3425-409F-A8C4-48BD3823A266","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aba12c4a17b0978d14dc74c5e4c14499a5d07600","datavalue":{"value":"https://arxiv.org/abs/1206.1015","type":"string"},"datatype":"url"},"type":"statement","id":"Q2509823$92DA7154-0B48-4D1D-80F9-6FDB3EE8DAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1452228ef1806123efef13e365b55cfbb98c758d","datavalue":{"value":"https://projecteuclid.org/euclid.ijm/1403534495","type":"string"},"datatype":"url"},"type":"statement","id":"Q2509823$B38B89CC-2590-4305-9543-6CA1FC20D8FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7b5d440394f6b00e8e8d74a68639a8c58e66f04e","datavalue":{"value":"Let \\(R\\) be a ring of characteristic \\(p >0\\) and \\(q = p^e\\). Introduced by \\textit{E. Kunz} [Am. J. Math. 98, 999--1013 (1976; Zbl 0341.13009)], the Hilbert-Kunz function \\(\\mathrm{HK}_{M,I(q)}\\) is the \\(R\\)-module length of \\(M/I^{[q]}M\\), where \\(I\\) is a zero-dimensional ideal, \\(M\\) is a finitely generated \\(R\\)-module, and \\(I^{[q]}\\) is the ideal generated by the \\(q\\)th powers of elements of a generating set of \\(I\\). There are examples which show that the Hilbert-Kunz function is not a polynomial function. However, letting \\(d = \\dim M\\), a theorem due to \\textit{P. Monsky} [Math. Ann. 263, 43--49 (1983; Zbl 0509.13023)] says that  \\[ \\mathrm{HK}_{M,I}(q) = cq^d + O(q^{d-1}) \\]  for a real constant \\(c\\). The constant \\(c\\) is known as the Hilbert-Kunz multiplicity of \\(M\\) with respect to \\(I\\) and is denoted \\(e_{\\mathrm{HK}}(I;M)\\). The Hilbert-Kunz multiplicity is difficult to compute in general.  \\smallskip This paper studies the generalized Hilbert-Kunz function of a quotient of a polynomial ring in \\(m \\cdot n\\) variables \\(x_{i,j}\\) over a field \\(k\\) (of arbitrary characteristic) modulo the ideal \\(I_2(X)\\) generated by the \\(2 \\times 2\\) minors of the generic \\(m \\times n\\) matrix \\(X = [x_{i,j}]\\). That is, the paper studies the function  \\[ \\mathrm{HK}_{k[X]/I_2(X), \\mathfrak{m}}(q) = \\lambda \\left(\\frac{k[X]}{I_2(I) + \\mathfrak{m}^{[q]}} \\right), \\]  where \\(k[X] = k[x_{i,j} : i = 1, \\ldots, m; j = 1, \\ldots, n]\\), \\(q\\) varies over all non-negative integers, \\(\\mathfrak{m}^{[q]} = (x_{i,j}^q)\\) and \\(\\lambda\\) denotes length.  \\smallskip The authors work with special sets of monomials called \\(q\\)-stairs. Doing so they find a minimal reduced Gr\u00f6bner basis for \\(I_2(X) + \\mathfrak{m}^{[q]}\\). As a result, \\(\\mathrm{HK}_{k[X]/I_2(X), \\mathfrak{m}}(q)\\) is the number of monomials in \\(k[X]\\) that are not divisible by the leading term of any element of the Gr\u00f6bner basis of the ideal \\(I_2(X) + \\mathfrak{m}^{[q]}\\). The authors use these results to give a recursion to compute \\(\\mathrm{HK}_{k[X]/I_2(X), \\mathfrak{m}}(q)\\). One consequence of this recursion is that \\(\\mathrm{HK}_{k[X]/I_2(X), \\mathfrak{m}}(q)\\) is a polynomial in \\(q\\). The authors then provide closed formulas for \\(\\mathrm{HK}_{k[X]/I_2(X), \\mathfrak{m}}(q)\\) when \\(m \\leq 2\\). In particular, for the \\(2 \\times n\\) matrix \\(X\\) with \\(n \\geq 2\\), it is shown that  \\[ \\mathrm{HK}_{k[X]/I_2(X), \\mathfrak{m}}(q) = \\frac{nq^{n+1} - (n-2)q^n}{2} + n \\binom{n+q-1}{n+1} \\]  and that  \\[ \\displaystyle e_{\\mathrm{HK}}(k[X]/I_2(X); \\mathfrak{m}) := \\lim_{q \\rightarrow \\infty} \\frac{\\mathrm{HK}_{k[X]/I_2(X), \\mathfrak{m}}(q)}{q^{m+n-1}} = \\frac{n}{2} + \\frac{n}{(n+1)!} \\]  where \\(e_{\\mathrm{HK}}(k[X]/I_2(X); \\mathfrak{m})\\) is the (generalized) Hilbert-Kunz multiplicity of \\(k[X]/I_2(X)\\) with respect to \\(\\mathfrak{m}\\). The paper is largely computational in nature with an appendix of useful binomial formuals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509823$1CFBC124-7D96-441E-B77C-8569BF930918","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"58f52700c2499724a9f7bae2622e15528d0a0744","datavalue":{"value":{"entity-type":"item","numeric-id":593165,"id":"Q593165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$9F5BC7EE-BB53-4825-A66B-248C5FF313E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d4a4958b9ec0502bdc37c3a756325974bf4d764","datavalue":{"value":"13D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509823$2D3DE7A4-BA6E-4B16-9870-3DF49FDC44D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509823$A330795C-03C7-405D-A1A5-E7959041F261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509823$CEAFD73C-8453-4263-832E-62CF9C6181D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b0964666aa9de4434d17d9183900ad920415bee","datavalue":{"value":"13H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509823$E92A54A5-D64B-4789-B990-BFBD366AC071","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48d12adb06c7cda486a9bec51574a14f13edd161","datavalue":{"value":"6322992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2509823$EB72E8CE-CD74-4E90-995B-5509FCDD5585","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c629161c4738ca8390958ce6b53a67cac1ba026e","datavalue":{"value":"Hilbert-Kunz function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509823$4449EBE3-6F86-490C-A4CC-F0721037B709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8034574f2fb16b1af0267d29d9f672e67985dbe8","datavalue":{"value":"Hilbert-Kunz multiplicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509823$2E439AB1-BFE9-4A8E-8B70-2B2878120E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c10713bc1af9b792cbee81483e0f77dad996e500","datavalue":{"value":"determinantal rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2509823$8C9324BA-7595-4C9A-9A48-B0B2FB0C7235","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":"Q2509823$13182D3A-8470-4E01-91B4-F21703F0E334","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"743cd89cb1c801f50a7dc0d78663c084a8b1e0e1","datavalue":{"value":{"entity-type":"item","numeric-id":3491733,"id":"Q3491733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$3A287B17-651F-4D24-AE84-2A9BBD5FF740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7066330a19e59717fc23c2bf273687fa1a79d100","datavalue":{"value":{"entity-type":"item","numeric-id":1817355,"id":"Q1817355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$D8CEDCA4-9929-4F93-9851-24CD9483BE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d3fe72688168333475ff68e0dd1ada7ad9728e","datavalue":{"value":{"entity-type":"item","numeric-id":1812481,"id":"Q1812481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$3CDCBDB9-5995-47B3-ACBF-9C0FFFFE3DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0325541b89d47a0e1e469285aca1c99522541999","datavalue":{"value":{"entity-type":"item","numeric-id":4435165,"id":"Q4435165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$EB16FEE6-AC55-409A-996E-10D25D9DA030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed96799ff63808b370cbe9316704fbe22c6cace","datavalue":{"value":{"entity-type":"item","numeric-id":1874527,"id":"Q1874527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$7BE8111E-B9D8-4C7A-A1F9-0A1BD2F0BD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc05ce39356cf1e5e488465f55f65f7b5dabceb","datavalue":{"value":{"entity-type":"item","numeric-id":1320988,"id":"Q1320988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$C50FBC08-FAE4-4B27-A5FB-D75EC54BE4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a989324421b37e81981d7ec4192dfc21e2c36e5","datavalue":{"value":{"entity-type":"item","numeric-id":1884483,"id":"Q1884483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$CAA5707D-897A-4F91-9DC9-A5085B3E2078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"167f68261c73014e69db44a4e93910d3cb08a201","datavalue":{"value":{"entity-type":"item","numeric-id":4108438,"id":"Q4108438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$F75A6189-1772-461C-B34D-1494FD78F361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22bb6b358fc535181e6647f3fb5035ec58763210","datavalue":{"value":{"entity-type":"item","numeric-id":1838532,"id":"Q1838532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$9078E883-9D5E-4A20-AA9E-21E8C9E926C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eadcda11fa0162bb9f2640535923fd460fe5b671","datavalue":{"value":{"entity-type":"item","numeric-id":841557,"id":"Q841557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$E07CB0ED-9EAC-4395-93E8-F02C3FB90027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb1e46de60d18605c7bcc6360cfe45397fe65a6","datavalue":{"value":{"entity-type":"item","numeric-id":2428078,"id":"Q2428078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$608A9360-2168-4F30-A835-73AC9CDDFDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c03d0a1653acc82cd9cf6d8671ce19b651cffef","datavalue":{"value":{"entity-type":"item","numeric-id":853912,"id":"Q853912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2509823$19C1C654-8057-4DB1-9A04-D8134D93C383","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1f9f93fdf44e0737c7068aafdd2b8c87d8ef0d","datavalue":{"value":{"entity-type":"item","numeric-id":2346534,"id":"Q2346534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db16fafc03c12a79a8e5ed386dc9b61398d484c","datavalue":{"value":{"amount":"+0.944510817527771","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":"Q2509823$C79310F7-7F1E-48B7-84BA-64A9E364D4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0afd4df08396c4c7cfca03a95e96faed05954e9","datavalue":{"value":{"entity-type":"item","numeric-id":3119509,"id":"Q3119509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064eadabcc9f546a34d5de79d3a132360ec616c5","datavalue":{"value":{"amount":"+0.9149016737937928","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":"Q2509823$88A68508-7752-4006-8ECE-F98B8531B790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c605be2c35c903672b219e895ccc3aa7c64e50b0","datavalue":{"value":{"entity-type":"item","numeric-id":1320988,"id":"Q1320988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd13564a518635ac3e27647d2f33ba3ea9802d9","datavalue":{"value":{"amount":"+0.8440881967544556","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":"Q2509823$898AC4DA-D191-4407-836E-70A22C6CE1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c9b6df912a866e26cd4a830e0d291d0e42f85f","datavalue":{"value":{"entity-type":"item","numeric-id":1817355,"id":"Q1817355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a1e69e54cba0b21902e1acd0a27f966d38a08a","datavalue":{"value":{"amount":"+0.8416975736618042","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":"Q2509823$D5614965-BFEA-4540-8142-64BCD260E379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773db4806c5d7e8e20ab7dec49adce5dae49ee84","datavalue":{"value":{"entity-type":"item","numeric-id":5426304,"id":"Q5426304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a1e69e54cba0b21902e1acd0a27f966d38a08a","datavalue":{"value":{"amount":"+0.8416975736618042","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":"Q2509823$4C13D5EA-5B2A-4F93-9E89-19A8E1B38DB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hilbert-Kunz functions of \\(2\\times 2\\) determinantal rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hilbert-Kunz_functions_of_%5C(2%5Ctimes_2%5C)_determinantal_rings"}}}}}