{"entities":{"Q1799014":{"pageid":1809756,"ns":120,"title":"Item:Q1799014","lastrevid":57553236,"modified":"2026-03-31T09:18:11Z","type":"item","id":"Q1799014","labels":{"en":{"language":"en","value":"Uniform Harbourne-Huneke bounds via flat extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958048"}},"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":"Q1799014$F823F321-0816-47B2-A896-A45FE3E9392A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f81ae4aaa9cc78a9250e7938de690ad640fe405","datavalue":{"value":{"text":"Uniform Harbourne-Huneke bounds via flat extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799014$0F3D37CA-9CEE-4421-89DB-A12490182545","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96c0efcb7f5d751d36b33b5d6f532973cb4ed364","datavalue":{"value":"1401.13074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799014$80CD7B16-4706-4E74-B762-F90C5D0F2FED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"576867655c80491938d053403e562e34ed4e7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":1663525,"id":"Q1663525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$48FD8D52-4CA3-4AE0-A1C7-8ABF5B4DDEF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$249984F1-9AB9-493E-B63B-58852FD7AD04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799014$3654BB0C-9463-4496-86EC-214E2399509A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68e8c59d42ccb20c3153f5c1af5fdcbac51d07f6","datavalue":{"value":"https://arxiv.org/abs/1608.02320","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799014$03A768B4-B737-4276-A11A-AD71C340D38C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1bf6c60669ad7a8be874caedb78ee62ea1f9dba2","datavalue":{"value":"In the paper under review, the author studies the so-called containment problem from a viewpoint of the Harbourne-Huneke bound. Let us recall that a groundbreaking result of \\textit{L. Ein} et al. [Invent. Math. 144, No. 2, 241--252 (2001; Zbl 1076.13501)] in characteristic zero and \\textit{M. Hochster} and \\textit{C. Huneke} [Invent. Math. 147, No. 2, 349--369 (2002; Zbl 1061.13005)] in positive characteristic implies that the symbolic power  \\[ I^{(Nr)} \\subseteq I^{r} \\]  for all graded non-trivial ideals \\(I \\subset \\mathbb{F}[\\mathbb{P}^{N}] = \\mathbb{F}[x_{0}, \\dots, x_{N}]\\) and all integers \\(r >0\\). In particular, for \\(\\mathbb{F}[\\mathbb{P}^{2}]\\) one always has that \\(I^{(4)} \\subset I^{2}\\). In the meantime, Huneke asked whether one has \\(I^{(3)} \\subset I^{2}\\). Following this idea, Harbourne generalized Huneke's statement to  \\[ (\\star) : \\quad I^{(N(r-1)+1)} \\subseteq I^{r} \\]  for any graded non-trivial ideal \\(I \\subset \\mathbb{F}[\\mathbb{P}^{N}]\\), all \\(r\\geq 1\\), and all \\(N\\geq 2\\). However, it turned out that Harbourne-Huneke's prediction is not quite right, the first counterexample to the containment \\(I^{(3)} \\subset I^{2}\\) was found by \\textit{M. Dumnicki} et al. in [J. Algebra 393, 24--29 (2013; Zbl 1297.14008)]. In the paper under review, the author revisits the problem around the Harbourne-Huneke bound and it is shown that the containment \\((\\star)\\) holds for certain classes of ideals in certain non-regular rings. More preciesly, the author shows the following results (for needed definitions, please consult Section 2 and 3 therein).  {Theorem A}. Let \\(R_{1}, \\dots, R_{n}\\) be normal affine semigroup rings over a field \\(\\mathbb{F}\\). For each \\(1 \\leq i \\leq n\\) suppose there is an integer \\(D_{i} > 0\\) such that \\(P^{(D_{i}(r-1)+1)} \\subseteq P^{r}\\) for all \\(r>0\\) and all monomial primes \\(P \\subseteq R_{i}\\). Set \\(D = \\max \\{D_{1}, \\dots,D_{n}\\}\\). Then \\(Q^{(D(r-1)+1)} \\subseteq Q^{r}\\) for all \\(r>0\\) and any monomial prime \\(Q\\) in the normal affine semigroup ring \\(R = R_{1}\\otimes_{\\mathbb{F}} \\dots \\otimes_{\\mathbb{F}} R_{n}\\).  {Theorem B}. Let \\(S = \\mathbb{F}[x_{1}, \\dots, x_{n}]\\) for \\(n\\geq 1\\) be a polynomial ring over an arbitrary field \\(\\mathbb{F}\\) and consider the module-finite extensions of normal toric rings \\(V_{D} \\subseteq S \\subset H_{D}\\), where  i) \\(V_{D} \\subseteq S\\) is the \\(D\\)-th Veronese subring with its standard \\(\\mathbb{N}\\)-grading, and  ii) \\(H_{D} = \\mathbb{F}[z,x_{1}, \\dots, x_{n}] / (z^{D}-x_{1} - \\dots - x_{n})\\) is a hypersurface ring.  Then \\(P^{(D(r-1)+1)} \\subseteq P^{r}\\) for all \\(r>0\\), where \\(P\\) is a monomial ideal in any of the three rings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799014$98525A30-141F-479A-9711-51F6481E1D6D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"676be0f283a877c4ebd59f7cc4517b544fd46411","datavalue":{"value":{"entity-type":"item","numeric-id":407393,"id":"Q407393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$B5E9CB42-F948-409E-B770-34BEFBF138C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56ca73afe9d1ec6e8a72b978e443de5202dd5159","datavalue":{"value":"13H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799014$50AD2FE9-1ACD-4F39-955B-AB362CD0F2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31461bd18eda9bff06581245073777de6a125236","datavalue":{"value":"14C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799014$0AA9BD1C-CA13-4BEC-A1F4-A0331D8D5163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62521f8705e66591e31fc8b93ff08699c4b43a75","datavalue":{"value":"14M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799014$1188558F-C977-471C-82A2-F928BAE82F71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7635aedd61fa417f333f67ded8c198ee404e161","datavalue":{"value":"6958048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799014$9EB41625-2E7B-41EC-A084-DE098C751AB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c279013c42eec05e898950e9315cf786f9b5825","datavalue":{"value":"symbolic powers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799014$227192C1-1A2A-4281-9039-0C0BED1F2632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a0250d7a74507ce8b74e34a7b7657dac874e84","datavalue":{"value":"divisor class group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799014$71D558D9-A781-45DB-A9A4-29A84F5E4C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f31efadf2048213a2bd13b8d41b4e56824c2744","datavalue":{"value":"normal toric ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799014$C250BD46-EEC6-4563-BF71-9BB83F9B9969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82bf03d5b824298d9c6d5adb351c31568ee73d6b","datavalue":{"value":"flat extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799014$9675E185-2BD9-4CD5-92D7-607C3FFCAF92","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":"Q1799014$82230182-FFE3-4F3F-B12F-1946F26B0E41","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":"Q1799014$8DDCA5EF-4990-4804-A735-6D9B55CE989A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eda04fc74625bb5a328c5a22e4048a7ceae432db","datavalue":{"value":"W2519401284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799014$9FE00B00-A4C0-49B4-9FE2-D37C429795BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0cb05ddaebb34237d28ab68a85b6c49ad18615e","datavalue":{"value":{"entity-type":"item","numeric-id":2411396,"id":"Q2411396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$4F0363FB-CF43-451A-9A12-D88A1547FB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"844584fc79d7bb740039478191ab3b21f52f5d28","datavalue":{"value":{"entity-type":"item","numeric-id":3655314,"id":"Q3655314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$5A9BCB18-8305-48B9-BE0B-F2D3CE09AB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76142d8606c35f55af55a481df72bedebf5cb139","datavalue":{"value":{"entity-type":"item","numeric-id":3574772,"id":"Q3574772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$754280F1-E259-435A-AC05-0ADA9AA8BE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"708d808d68d2be2255012518ec16a190f0e12d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5200148,"id":"Q5200148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$63308EA1-7F11-4DDC-BCF7-69A6DF130A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"676eb13ad34fd49ff217f64a08977400115ccd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1710507,"id":"Q1710507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$4EC98C07-BB21-4B03-B0FF-314341D4DAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0489c5605e2663a4266d7be37649bd7da4f99622","datavalue":{"value":{"entity-type":"item","numeric-id":2438380,"id":"Q2438380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$BDA71A55-DDBE-49A4-8158-043FB1B150CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f44cb9bb11f377f24143700ba8b057369ae086cf","datavalue":{"value":{"entity-type":"item","numeric-id":5944888,"id":"Q5944888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$F6DC6619-2874-45C1-804D-0F2522A41C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0ac1c52306853891fce6ccf2e5fd4faebcc828","datavalue":{"value":{"entity-type":"item","numeric-id":3142877,"id":"Q3142877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$976F1B6F-21E5-4AFE-AAC1-9775FD3EA85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e6ae885a610c4e6dffcd428fcc9bac19c3016d","datavalue":{"value":{"entity-type":"item","numeric-id":479304,"id":"Q479304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$CA1933BA-8325-453A-97B5-6071F9AB37A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f629c180f6436ab6ea9a75b06b545548804bab","datavalue":{"value":{"entity-type":"item","numeric-id":4143433,"id":"Q4143433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$9CF4A790-9D4C-461F-9163-785807EF8FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8165369a610682a3f7b4417a5064b53ffe6142c0","datavalue":{"value":{"entity-type":"item","numeric-id":1608553,"id":"Q1608553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$F3E3583B-8DD2-4071-8E87-F92DF85C8569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1be3ca3a4f3d5d5172a963f18b9d2592d4f0704","datavalue":{"value":{"entity-type":"item","numeric-id":2535182,"id":"Q2535182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$0A6D9D92-7920-4A70-BE5C-F2CB47DB2D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0b9c1a0a2787f617de7231260e4b8c162ad5e8","datavalue":{"value":{"entity-type":"item","numeric-id":3992979,"id":"Q3992979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$C7AEA74E-B178-4F68-8BF4-F6CE22B7ADD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc0d58592f3be84f95263188ce7ef86b5dfff8c","datavalue":{"value":{"entity-type":"item","numeric-id":5447352,"id":"Q5447352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$7DB91C1B-6A92-41AE-B260-AFFC995AC86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bb14babb7d37dbbc68c6b23579838e0aed37955","datavalue":{"value":{"entity-type":"item","numeric-id":1676551,"id":"Q1676551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$B0F781D7-8566-47F4-8537-53C58374281A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c4f1aa5ded565cb964039019418db9e3cf6f1a","datavalue":{"value":{"entity-type":"item","numeric-id":2362698,"id":"Q2362698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$35F29733-9E62-4C95-AF45-2EB87A5DE01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea96e40dfae46e8af212b7fc43133e384b4b8787","datavalue":{"value":{"entity-type":"item","numeric-id":4577149,"id":"Q4577149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799014$F94F1386-587A-4896-B4FF-BADD41200D2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2ae4dd885effb058b0d7eb704888b46dc4bf8e4","datavalue":{"value":"10.1016/J.JALGEBRA.2018.08.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799014$63A596A1-63B9-4855-B284-D1164C9FFC76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42196de74ca23fbfda06509d56124429f7b2ec2","datavalue":{"value":{"entity-type":"item","numeric-id":4577149,"id":"Q4577149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3edbbb4c71eda5cf147e395f2c91b130b4ef224","datavalue":{"value":{"amount":"+0.8515744805335999","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":"Q1799014$8A4D3323-5A17-411F-A3CC-F4C33F586ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523d14830e63d3ea87aa9e324f2a228bb32ced0d","datavalue":{"value":{"entity-type":"item","numeric-id":2411396,"id":"Q2411396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e1c7e804a9d1ce547cf472918a5504ac2a4e57","datavalue":{"value":{"amount":"+0.8079660534858704","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":"Q1799014$C3E109A4-7EC6-4EBD-8894-7E4828D51BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83b8b4664428b0462ec8b59d246832a02040e209","datavalue":{"value":{"entity-type":"item","numeric-id":2220185,"id":"Q2220185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a801d0cf3faca165e19b61e2afdb9dfdb9c1e8","datavalue":{"value":{"amount":"+0.8065561056137085","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":"Q1799014$2A27B2AD-3BF1-495D-A30D-8149A2651FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667b33772b787bc82e59989c65588e35c7af8b83","datavalue":{"value":{"entity-type":"item","numeric-id":5864302,"id":"Q5864302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e07aa54a7b040d65f88aa67f783e34147bd8cb9","datavalue":{"value":{"amount":"+0.7991881966590881","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":"Q1799014$26061594-A5B6-4959-8D43-C21154C1CB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bc1d12f5a60226660df9b10854cb3617d090af1","datavalue":{"value":{"entity-type":"item","numeric-id":5496295,"id":"Q5496295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c902269248a4491ae2a606c76f3696ae0126e195","datavalue":{"value":{"amount":"+0.7985967993736267","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":"Q1799014$EC588BC3-70C4-45AE-BA40-938274781FAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799014"}}}}}