{"entities":{"Q2435287":{"pageid":2446030,"ns":120,"title":"Item:Q2435287","lastrevid":57916953,"modified":"2026-04-03T02:05:11Z","type":"item","id":"Q2435287","labels":{"en":{"language":"en","value":"Multiplicities associated to graded families of ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6254614"}},"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":"Q2435287$270772BB-A844-440F-A8CE-E78DC9CD0FF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"421e080cee4fb621fbee4f2d85a704091d5d76d1","datavalue":{"value":{"text":"Multiplicities associated to graded families of ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2435287$D431CF06-BA3F-4C75-900F-CC7840650938","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"002a3104e9a334fae527584ac9d6ba24c43e8d3c","datavalue":{"value":"1315.13040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435287$BD4E8526-6C97-484E-971D-317F8747C580","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435287$570D2E9F-6DD4-4D9B-BC07-EBB02119B1B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"573aae04e7f36d2701ee1fde6b6eae8b7ceab41a","datavalue":{"value":{"time":"+2014-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2435287$C3BB599E-34BD-4BAE-A39C-9B30CCE87251","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67b1e684a11a28a699abc06fec4da17ec546404d","datavalue":{"value":"https://arxiv.org/abs/1206.4077","type":"string"},"datatype":"url"},"type":"statement","id":"Q2435287$810535F1-2DA5-4330-A9BE-263E10B45D29","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"207a2d435070a3a68a6eb7faec046d2144ed0912","datavalue":{"value":"Let \\((R,\\mathfrak{m})\\) be a Noetherian local ring of dimension \\(d\\). A graded family of \\(\\mathfrak{m}\\)-primary ideals \\(\\{I_n\\}\\) is a family of ideals indexed by the natural numbers such that \\(I_0=R\\) and \\(I_n\\) is \\(\\mathfrak{m}\\)-primary for \\(n>0\\) and \\(I_nI_m\\subset I_{n+m}\\) for all \\(n\\) and \\(m\\). Let \\(\\ell_R(N)\\) denote the length of an \\(R\\)-module \\(N\\). In this paper it is proved that if \\(d>0\\) and \\(R\\) is analytically unramified and equicharacteristic with perfect residue field, or if \\(d>0\\) and \\(R\\) is regular then the limit  \\[ \\lim_{n\\rightarrow\\infty}\\frac{\\ell_R(R/I_n)}{n^d/d!}\\;\\;(*) \\]  exists and is equal to  \\[ \\lim_{p\\rightarrow\\infty}\\frac{1}{p^d}\\Big(\\lim_{k\\rightarrow\\infty}\\frac{\\ell_R(R/I_p^k)}{k^d/d!}\\Big)\\;\\;(**). \\]  Formerly, the equality of the limits given in \\((*)\\) and \\((**)\\) had only been proved in certain particular cases in [\\textit{L. Ein} et al., Am. J. Math. 125, No. 2, 409--440 (2003; Zbl 1033.14030)], [\\textit{M. Musta\u0163\u01ce}, J. Algebra 256, No. 1, 229--249 (2002; Zbl 1076.13500)] and [\\textit{R. Lazarsfeld} and \\textit{M. Musta\u0163\u0103}, Ann. Sci. \u00c9c. Norm. Sup\u00e9r. (4) 42, No. 5, 783--835 (2009; Zbl 1182.14004)].  The proof for the existence of the limit in~\\((*)\\) involves reducing to the case of a complete domain and then finding a suitable valuation of the quotient field of \\(R\\) of rational rank \\(d\\) that dominates \\(R\\). This valuation is then used to construct semigroups \\(\\Gamma^\\prime\\subset\\mathbb{N}^{d+1}\\) and \\(\\Gamma\\subset\\mathbb{N}^{d+1}\\) corresponding to \\(R\\) and the family \\(\\{I_n\\}\\), respectively, in such a way that  \\[ \\ell_R(R/I_n)=\\left[\\#\\left(\\Gamma^\\prime\\cap(\\mathbb{N}^d\\times\\{n\\})\\right)\\right]-\\left[\\#\\left(\\Gamma\\cap(\\mathbb{N}^d\\times\\{n\\})\\right)\\right]. \\]  The existence of the limit in~\\((*)\\) then follows from a result of \\textit{A. Okounkov} [Prog. Math. 213, 329--347 (2003; Zbl 1063.22024)], subsequently developed in [Zbl 1182.14004], stating that under appropriate conditions (satisfied by both \\(\\Gamma^\\prime\\) and \\(\\Gamma\\) here):  \\[ \\lim_{n\\rightarrow\\infty}\\frac{\\#\\left(\\Gamma^\\prime\\cap(\\mathbb{N}^d\\times\\{n\\})\\right)}{n^d}=\\text{vol}(\\Delta(\\Gamma^\\prime))\\;\\;(\\mathrm{and:}\\;\\;\\lim_{n\\rightarrow\\infty}\\frac{\\#\\left(\\Gamma\\cap(\\mathbb{N}^d\\times\\{n\\})\\right)}{n^d}=\\text{vol}(\\Delta(\\Gamma))). \\]  Here \\(\\Delta(\\Gamma^\\prime):=\\Sigma(\\Gamma^\\prime)\\cap(\\mathbb{R}^d\\times\\{1\\})\\) and \\(\\Delta(\\Gamma):=\\Sigma(\\Gamma)\\cap(\\mathbb{R}^d\\times\\{1\\})\\) are so called \\textit{Okounkov bodies}, where \\(\\Sigma(\\Gamma^\\prime)\\) and \\(\\Sigma(\\Gamma)\\) are the closed convex cones of \\(\\Gamma^\\prime\\) and \\(\\Gamma\\) in \\(\\mathbb{R}^{d+1}\\), respectively.  A number of applications are given, including an asymptotic additivity formula for multiplicities of an arbitrary graded family of ideals, and proof that the epsilon multiplicity of \\textit{B. Ulrich} and \\textit{J. Validashti} [Math. Proc. Camb. Philos. Soc. 151, No. 1, 95--102 (2011; Zbl 1220.13006)], defined as a lim sup, is actually a limit in some new cases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435287$67691351-92A8-4FBB-83FA-083A2644E302","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f883742873f51a540bf256a7b2d4ed473ee3e83a","datavalue":{"value":{"entity-type":"item","numeric-id":664759,"id":"Q664759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435287$4A3D0AC3-867B-4CE2-9125-93D392EF4ED9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b0964666aa9de4434d17d9183900ad920415bee","datavalue":{"value":"13H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435287$56D4C384-E25D-407B-991B-E835C2B9DBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bee2219fe30255f9156dce33d9cc4f518c0cf995","datavalue":{"value":"14B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435287$A8D46DC7-E1CA-44D6-B3C1-AEDEFC651333","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d73f16f0217f6a6f300e608a72c6289043323b2","datavalue":{"value":"6254614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435287$302E7B36-450A-4385-A142-C92F8E59427B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8a0db09a63aeb1f72747bd60b79d4765e8a3932","datavalue":{"value":"multiplicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435287$E14882CC-E3E4-4793-806E-5B542B437C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c0809fc7068900478df392bc6a58566fa0bb6d","datavalue":{"value":"graded family of ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435287$D6B3DA2D-6311-4886-9BCE-5CED2FFB4FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90089457fd1199a9dc8f010d6d12ff9368eef669","datavalue":{"value":"Okounkov body","type":"string"},"datatype":"string"},"type":"statement","id":"Q2435287$BA9F4A12-8636-42F9-AEFE-A8DB625D3A82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b5db038aa7332b9bd2602a231afd117b6f483d","datavalue":{"value":{"entity-type":"item","numeric-id":217370,"id":"Q217370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2435287$DD68E07B-69D9-486D-9E5A-73FB578446DF","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":"Q2435287$302232C9-6F79-4D07-B219-470013A1DC12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3e0908894e4d1f48f29bb6f45b4446d6d10294b","datavalue":{"value":"W2594715782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435287$58A3E3D3-C318-4D80-9AA2-B76007435BD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffe556f9dfa0a39fd815f99fbcb7df591306a641","datavalue":{"value":"10.2140/ANT.2013.7.2059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2435287$B7428BBE-1770-4838-9222-4024A59D6D1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c62b8a4a85c137a1a88fdf1e00bc2705fc9963","datavalue":{"value":{"entity-type":"item","numeric-id":4915766,"id":"Q4915766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf771ec03df89435a04e2656c84006a6f1aa642","datavalue":{"value":{"amount":"+0.78726244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2435287$09840F34-D054-45DB-9262-A7461E9C03D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a15004730e3af2f1fcf82e83e6c1940e42c1f79","datavalue":{"value":{"entity-type":"item","numeric-id":350807,"id":"Q350807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de18eece2d756f73ddb4d924f0c48783177f2cff","datavalue":{"value":{"amount":"+0.77180964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2435287$C6E7DFF9-D86B-4980-93A8-CBB3C722E582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a07c17bbb913e64e790687c676dc0c50a2c607f","datavalue":{"value":{"entity-type":"item","numeric-id":1383614,"id":"Q1383614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d8bfccbfcc66dc8bb3981409f5124835ab046f","datavalue":{"value":{"amount":"+0.7658445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2435287$828D79C2-9EAB-4BB5-90F6-5B413219D238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4dea567a460db38de88ea1aa36ec6a1657c5b9a","datavalue":{"value":{"entity-type":"item","numeric-id":400975,"id":"Q400975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5544907171cc7912f97094737fb944df1af3eaa2","datavalue":{"value":{"amount":"+0.7621167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2435287$B6CB43FB-7CF8-4373-B317-39CB42E148C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ae5463acc21b021fd02dc806403ce7f7a9ef38","datavalue":{"value":{"entity-type":"item","numeric-id":1735478,"id":"Q1735478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107f633c94469baac5bae3e5ccc084e2417cc53d","datavalue":{"value":{"amount":"+0.7483775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2435287$81458A48-DA95-4676-A043-F5C0BC199779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"392dff1f583bd8440a51ce5505d3960b0f3959f3","datavalue":{"value":{"entity-type":"item","numeric-id":498644,"id":"Q498644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24838b980765da19c608c81956882d1a430bd5e","datavalue":{"value":{"amount":"+0.74535924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2435287$A8D96FC8-9BC7-4B22-AAC2-2CA107B7802A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa109060ce116a5f101585da8278980dedeeb7f","datavalue":{"value":{"entity-type":"item","numeric-id":2295381,"id":"Q2295381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae331f934a86d6024978fec25c4de85c76dd5d8d","datavalue":{"value":{"amount":"+0.7285585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2435287$AD771093-2AF3-4F04-9C03-39E36CD3BB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0aa688d105c7bc186928727352ddfac922a5b16","datavalue":{"value":{"entity-type":"item","numeric-id":5379448,"id":"Q5379448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496da25d09f14ec503701a5de27d02f29e317953","datavalue":{"value":{"amount":"+0.7279215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2435287$9B38B958-4D18-4C48-96D6-B02F8BC98F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a691d23ab3f663eeb2a21e6835f252e3432409e","datavalue":{"value":{"entity-type":"item","numeric-id":745169,"id":"Q745169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3b9a091262feed40ccb791bfe282280b9248dd","datavalue":{"value":{"amount":"+0.7243113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2435287$0B7B791A-0ECD-4B53-8DF5-2AFA5FA31819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32c1226b16437a2c77f2b2575b50528505fc495","datavalue":{"value":{"entity-type":"item","numeric-id":985693,"id":"Q985693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ce03b116b299a6b512d26ef4b71de9c4705087","datavalue":{"value":{"amount":"+0.72322774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2435287$5C379282-04CA-4006-8CCE-BA3FA30FB61B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2435287","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2435287"}}}}}