{"id":"https://openalex.org/W7220944824","doi":"https://doi.org/10.48550/arxiv.2610.08335","title":"From Demailly's Inequality to Harbourne--Huneke Containments for General Points","display_name":"From Demailly's Inequality to Harbourne--Huneke Containments for General Points","publication_year":2026,"publication_date":"2026-10-06","ids":{"openalex":"https://openalex.org/W7220944824","doi":"https://doi.org/10.48550/arxiv.2610.08335"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.08335","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.08335","pdf_url":"https://arxiv.org/pdf/2610.08335","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.08335","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058160827","display_name":"Grzegorz Malara","orcid":"https://orcid.org/0000-0001-5077-4942","observed_orcids":["https://orcid.org/0000-0001-5077-4942"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Malara, Grzegorz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5058160827"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9556000232696533,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9556000232696533,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.03669999912381172,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.0007999999797903001,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/symbolic-power","display_name":"symbolic power","score":0.9240000247955322},{"id":"https://openalex.org/keywords/general-points","display_name":"general points","score":0.7080000042915344},{"id":"https://openalex.org/keywords/waldschmidt-constant","display_name":"Waldschmidt constant","score":0.9210000038146973},{"id":"https://openalex.org/keywords/zariski-open-sets","display_name":"Zariski open sets","score":0.6150000095367432},{"id":"https://openalex.org/keywords/projective-space","display_name":"projective space","score":0.5950000286102295},{"id":"https://openalex.org/keywords/hilbert-functions","display_name":"Hilbert functions","score":0.44699999690055847}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8378000259399414},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.6438999772071838},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.6291000247001648},{"id":"https://openalex.org/C137800194","wikidata":"https://www.wikidata.org/wiki/Q11713455","display_name":"Interpolation (computer graphics)","level":3,"score":0.6025999784469604},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.6011999845504761},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5092999935150146},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.4916999936103821},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.46639999747276306},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4553999900817871},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.4106999933719635},{"id":"https://openalex.org/C2777019822","wikidata":"https://www.wikidata.org/wiki/Q390066","display_name":"Containment (computer programming)","level":2,"score":0.39430001378059387},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3799000084400177},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.3716999888420105},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.36910000443458557},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.36079999804496765},{"id":"https://openalex.org/C202854965","wikidata":"https://www.wikidata.org/wiki/Q3044470","display_name":"Constructive proof","level":2,"score":0.3476000130176544},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.3395000100135803},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2766999900341034},{"id":"https://openalex.org/C42357961","wikidata":"https://www.wikidata.org/wiki/Q213363","display_name":"Open set","level":2,"score":0.27619999647140503},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C2778775528","wikidata":"https://www.wikidata.org/wiki/Q5135432","display_name":"Closing (real estate)","level":2,"score":0.2736000120639801},{"id":"https://openalex.org/C88080468","wikidata":"https://www.wikidata.org/wiki/Q637347","display_name":"Polynomial interpolation","level":4,"score":0.2734000086784363},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.272599995136261},{"id":"https://openalex.org/C34130140","wikidata":"https://www.wikidata.org/wiki/Q1645406","display_name":"Midpoint","level":2,"score":0.27079999446868896},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.26820001006126404},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.25380000472068787},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.08335","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.08335","pdf_url":"https://arxiv.org/pdf/2610.08335","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2610.08335","doi":"https://doi.org/10.48550/arxiv.2610.08335","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.08335","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.08335","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.08335","pdf_url":"https://arxiv.org/pdf/2610.08335","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220944824.pdf","grobid_xml":"https://content.openalex.org/works/W7220944824.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W7203687325","https://openalex.org/W7213390808"],"related_works":["https://openalex.org/W3084091914","https://openalex.org/W3018616323","https://openalex.org/W4410242444","https://openalex.org/W2963406459","https://openalex.org/W1871667075","https://openalex.org/W4393150298","https://openalex.org/W2990004125","https://openalex.org/W2923182908","https://openalex.org/W2069232227","https://openalex.org/W2062140740"],"abstract_inverted_index":{"Let":[0],"$I$":[1],"be":[2],"the":[3,25,59,64,81,97,105,126,158,181,197,201,207],"defining":[4],"ideal":[5],"of":[6,10,50,84,110,125,175],"a":[7,118,131,150,193,216,237],"general":[8,38,61,218],"set":[9,72,223],"$s$":[11],"points":[12,39],"in":[13,43,53,178,196],"projective":[14],"$N$-space":[15],"over":[16],"an":[17],"algebraically":[18],"closed":[19],"field.":[20],"Harbourne":[21],"and":[22,46,56,94,112,149,168],"Huneke":[23],"conjectured":[24],"strengthened":[26],"symbolic":[27,121,147,234],"containment":[28,160,183],"$$":[29,32],"I^{(Nr)}\\subseteq":[30],"\\mathfrak{m}^{r(N-1)}I^r":[31],"for":[33,47,73,87,145,161,165,185,225],"every":[34,146,162,166,169],"$r\\ge":[35,187],"1$.":[36,188],"For":[37],"this":[40,138],"was":[41,63],"known":[42],"low":[44],"dimension":[45,55],"small":[48],"numbers":[49],"points,":[51],"while":[52],"arbitrary":[54,57,88],"cardinality":[58],"best":[60],"result":[62],"stable":[65],"version,":[66],"valid":[67],"on":[68,206,215],"one":[69,115,139,171,221],"dense":[70,172],"Zariski-open":[71,132,173],"all":[74,186,213],"sufficiently":[75],"large":[76],"$r$.":[77,163],"We":[78],"show":[79],"that":[80,104],"recent":[82],"proof":[83],"Demailly's":[85,134],"conjecture":[86],"finite":[89,120,140,239],"point":[90],"sets":[91],"by":[92,236],"H\u00e0":[93],"Sivakumar":[95],"removes":[96],"stability":[98],"threshold.":[99],"The":[100,189,228],"key":[101],"observation":[102],"is":[103,130],"strict":[106],"generic":[107,208],"Waldschmidt":[108],"estimate":[109],"Bisui":[111],"Nguyen":[113],"allows":[114],"to":[116,142],"select":[117],"single":[119,238],"level":[122],"$m_0$.":[123],"Equality":[124],"corresponding":[127],"interpolation":[128,240],"number":[129],"condition.":[133,241],"inequality":[135],"then":[136],"propagates":[137],"condition":[141],"lower":[143],"bounds":[144,156],"power,":[148],"standard":[151],"regularity":[152],"criterion":[153],"converts":[154],"those":[155],"into":[157],"Harbourne--Huneke":[159,182],"Consequently,":[164],"$N\\ge2$":[167],"$s\\ge1$,":[170],"family":[174],"$s$-point":[176],"configurations":[177],"$\\mathbb{P}^N$":[179],"satisfies":[180],"simultaneously":[184],"argument":[190],"also":[191],"clarifies":[192],"quantifier":[194],"issue":[195],"earlier":[198],"literature:":[199],"before":[200],"full":[202],"Demailly":[203],"theorem,":[204],"estimates":[205],"fibre":[209],"naturally":[210],"yielded":[211],"either":[212],"$r$":[214],"very":[217],"set,":[219],"or":[220],"open":[222],"only":[224],"$r\\gg":[226],"0$.":[227],"new":[229],"theorem":[230],"replaces":[231],"infinitely":[232],"many":[233],"conditions":[235]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-09T00:00:00"}