{"entities":{"Q2871001":{"pageid":2881721,"ns":120,"title":"Item:Q2871001","lastrevid":58038060,"modified":"2026-04-03T13:38:07Z","type":"item","id":"Q2871001","labels":{"en":{"language":"en","value":"Are symbolic powers highly evolved?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6248752"}},"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":"Q2871001$12FD1C9B-ADAC-46E2-AF70-9A82835ADB8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8921934e0c1be787417d5cfb43b37237b2c0db9","datavalue":{"value":"1296.13018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871001$4636A373-61A4-436F-AAC7-DEB671296832","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03f290dc511e69385c444bdd53d7475632b69677","datavalue":{"value":{"entity-type":"item","numeric-id":170562,"id":"Q170562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871001$A3CF68F2-0BAF-4E02-8FB1-1DBB9C2DEB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4433b39df8e5cbcfb9bb9db54dcfbdb128ce13e7","datavalue":{"value":{"entity-type":"item","numeric-id":227472,"id":"Q227472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871001$656BC601-668D-4CC9-9EC2-5A01A7676CE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41a1e4f019ef435c314233e0481265bcc6e79494","datavalue":{"value":{"time":"+2014-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871001$08776A13-B6DC-4416-9CB9-B6148C1860AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"971832ce5c7b19b19aed55117f5b4e8f85ebe17e","datavalue":{"value":"https://arxiv.org/abs/1103.5809","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871001$6A6DF696-6478-4049-B336-00525921C49B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871001$AAFB604E-6B32-4256-AE2C-515F05099EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31461bd18eda9bff06581245073777de6a125236","datavalue":{"value":"14C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871001$376B7A72-C69F-4567-A1B9-0E5313D2E9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"086297fd475b42608bf85c8a5f4b8789b93c92cc","datavalue":{"value":"13A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871001$6EDBF633-5631-4CBA-AC30-FFFDD07779A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f44c3e05f007359b39a58b0e4e67e343748285e","datavalue":{"value":"13C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871001$7E32DEAC-9AD8-4AA5-8BB5-7ECF376B315F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"93293bd859892a483ca84cc56251afdc241ec4e7","datavalue":{"value":"14N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871001$CED96EEA-2FA8-4E15-A907-C19702CDDCCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d9cec4e36fe55dcda7099e69bdbb22bf6b824a7","datavalue":{"value":"6248752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871001$D37828B2-972C-4C1F-B6F8-19A21B813ED0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"300d62beb1a737b0fe66a64b2367e3c52d63edaf","datavalue":{"value":"evolutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871001$A161F764-F30C-484E-8B2E-D4C937C916A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c279013c42eec05e898950e9315cf786f9b5825","datavalue":{"value":"symbolic powers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871001$1E3C5281-5968-46CE-960B-4E5FCEB8906D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ab3eb52c2752f288055db211a141768aca9960f","datavalue":{"value":"fat points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871001$0C4EA607-31AD-4D6C-B085-230B5D8C5F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be9586df65725ae8df76f51fbc98bccfeacbdfcf","datavalue":{"value":"projective space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871001$A9E0AF6E-26F6-4646-A61A-60FBED859674","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":"Q2871001$417909C4-97FF-44F6-ADEB-5EF29387A928","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd9e4fb6af05cd63971a6d3d4cbae3d770b2c5b5","datavalue":{"value":{"text":"Are symbolic powers highly evolved?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871001$12853681-730E-49C2-AF83-BF0168749BF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1bcee85900ef50ef5f0f2cfafa7cc685f2eae639","datavalue":{"value":{"entity-type":"item","numeric-id":6492428,"id":"Q6492428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871001$91021841-DC9F-4706-ADB0-89F216738D7E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab5f4fe4db217a80e78262e7641cda606fd2c423","datavalue":{"value":"In this paper the authors search for structural reasons behind old results and conjectures of Chudnovksy regarding the least degree of a nonzero form in an ideal of fat points in \\(\\mathbb{P}^N\\) and make conjectures which explain them. These conjectures were also partly motivated by the Eisenbud-Mazur Conjecture on evolutions, which concerns symbolic squares of prime ideals in local rings:NEWLINENEWLINEConjecture. Let \\(P \\subset \\mathbb{C}[[x_1,\\dots,x_d]]\\) be a prime ideal. Then \\(P^{(2)} \\subseteq MP\\), where \\(M = (x_1,\\dots,x_d)\\). \\vskip0.3cm In contrast with the previous conjecture the authors consider higher symbolic powers of homogeneous ideals in polynomial rings.NEWLINENEWLINEThe paper is strictly related to the concept of fat points. As a matter of fact, in the case of defining ideals of points, symbolic powers are special cases of ideals of fat points, and their study provides a meeting ground of geometry and algebra.NEWLINENEWLINEThe symbolic power of an ideal \\(I\\) is \\(I^{(m)}=R\\cap(\\cap_P(I^m)_P)\\) where the intersections take place in the field of fractions of \\(K[\\mathbb{P}^N]\\), and the second intersection is over all associated primes \\(P\\) of \\(I\\).NEWLINENEWLINEIf \\(I\\) is a homogeneous ideal, we let \\(\\alpha(I)\\) be the least degree of a polynomial in \\(I\\). Let \\(I\\) be the radical ideal of a finite set of points in \\(\\mathbb{P}^N\\). Using complex analytic techniques, Waldschmidt and Skoda showed that NEWLINE\\[NEWLINE\\alpha(I^{(m)})/m \\geq \\alpha(I)/N NEWLINE\\]NEWLINE for every \\(m>0\\). When \\(N=2\\), Chudnovsky improved the bound of Waldschmidt and Skoda. Since only a sketch of Chudnovksy's proof is given in his paper, the authors give a new proof in this paper.NEWLINENEWLINEChudnovsky's improvement is the following. Let \\(p_1,\\dots, p_n\\in \\mathbb{P}^2\\) be distinct points and let \\(I = \\bigcap_iI(p_i)\\subset K[\\mathbb{P}^2]\\). Then NEWLINE\\[NEWLINE\\alpha(I^{(m)})/m \\geq (\\alpha(I)+1)/2.NEWLINE\\]NEWLINE This led us to the first conjecture of the authors, which gives a structural reason for the result of Chudnovsky.NEWLINENEWLINEConjecture. Let \\(I=\\bigcap_iI(p_i)^{m_i} \\subset K[\\mathbb{P}^n]\\) be any fat points ideal. Then \\(I^{(rN)} \\subset M^{r(N-1)}I^r\\) holds for all \\(r>0\\). \\vskip0.3cm The authors prove the conjecture for the cases of general points in \\(\\mathbb{P}^2\\) and stars configurations of points in \\(\\mathbb{P}^N\\).NEWLINENEWLINEIn the last section of the papers the authors introduce new conjectures.NEWLINENEWLINEConjecture (4.1.1). Let \\(I\\subset K[\\mathbb{P}^N]\\) be a homogeneous ideal. Then \\(I^{(rN-(N-1))} \\subset I^r\\) holds for all \\(r\\).NEWLINENEWLINEConjecture (4.1.4). Let \\(I \\subset K[\\mathbb{P}^2]\\) be the homogeneous radical ideal of a finite set of points. Then \\(I^{(m)} \\subset I^r\\) holds whenever \\(m/r \\geq 2\\alpha(I)/(\\alpha(I) + 1)\\).NEWLINENEWLINEConjecture (4.1.5). Let \\(I\\subset K[\\mathbb{P}^N]\\) be the ideal of a finite set of points \\(p_i \\in \\mathbb{P}^N\\). Then \\(I^{(rN-(N-1))}\\subset M^{(r-1)(N-1)}I^r\\) holds for all \\(r\\geq 1\\).NEWLINENEWLINEConjecture (4.1.8). Let \\(I\\subset K[\\mathbb{P}^N]\\) be the ideal of a finite set of points \\(p_i \\in \\mathbb{P}^N\\). Then NEWLINE\\[NEWLINE\\alpha(I^{(rN-(N-1))}) \\geq r\\alpha(I) + (r-1)(N - 1)NEWLINE\\]NEWLINE for every \\(r > 0\\).NEWLINENEWLINEMoreover the authors prove additional results based on these conjectures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871001$BD5076AB-3F7C-428C-8540-051FED128B93","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"655f4a0c804bff498289d6d3134f508e28c40fe7","datavalue":{"value":{"entity-type":"item","numeric-id":392372,"id":"Q392372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871001$E6D3ADC5-3032-4984-88ED-E3EC105C5999","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11a2623777fd3543c8194182e93dd38fd1fc3f85","datavalue":{"value":{"entity-type":"item","numeric-id":5274729,"id":"Q5274729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c996e24e58168f5f3c7b923621c0765dae0d18","datavalue":{"value":{"amount":"+0.8756572008132935","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":"Q2871001$48242536-4AC3-46B2-B820-7CD91A7530F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878b12ed5fde71c2719754afb93f380131060398","datavalue":{"value":{"entity-type":"item","numeric-id":456827,"id":"Q456827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14abbcab8f3fdf2ba6c0b3c154a897a12c6a4a4","datavalue":{"value":{"amount":"+0.8644062280654907","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":"Q2871001$C5EA4593-1D98-46CE-A4FC-62038B78D9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3459717d2ba501b2b9a6723fe5e35335ba65e2a8","datavalue":{"value":{"entity-type":"item","numeric-id":4959719,"id":"Q4959719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84dc7715ca4128316e1e8acfc202e8ef7e1227b7","datavalue":{"value":{"amount":"+0.8445133566856384","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":"Q2871001$490BE77B-399B-493D-9FB4-ED3A0B63B9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da109daccfeced7bf65e082c41615940ba0d227d","datavalue":{"value":{"entity-type":"item","numeric-id":402674,"id":"Q402674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e79fa25faaded1f484049484d259edd9fa500e","datavalue":{"value":{"amount":"+0.8363766074180603","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":"Q2871001$930A3F06-3718-4B9E-B7D4-093BBF453192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3463503f1d1fa8c25f098f31c686203cb88349","datavalue":{"value":{"entity-type":"item","numeric-id":2664591,"id":"Q2664591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a769f8d4b1022a42e3cc278981ec9d1753f1a517","datavalue":{"value":{"amount":"+0.8281456828117371","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":"Q2871001$1E21A385-01B7-42B9-81FD-84ACD3BFB7CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871001","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871001"}}}}}