{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6597490","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q6597490","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q6597490","kernelVersion":"v1","immutable":true,"modified":"2026-02-17T21:58:58Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q6597490","name":"A formula for symbolic powers","headline":"A formula for symbolic powers","description":"scientific article; zbMATH DE number 7905957","url":"https://portal.mardi4nfdi.de/entity/Q6597490","datePublished":"2024-09-03","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q521353"},{"@id":"https://portal.mardi4nfdi.de/entity/Q276748"},{"@id":"https://portal.mardi4nfdi.de/entity/Q324210"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q161561"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1016/J.JALGEBRA.2024.05.053","url":"https://doi.org/10.1016/J.JALGEBRA.2024.05.053"},"sameAs":["https://doi.org/10.1016/J.JALGEBRA.2024.05.053"],"comment":"Let \\(S\\) be a Cohen-Macaulay ring which is local or standard graded over a field. Let \\(I\\) be an unmixed ideal that is generically a complete intersection. In a very broad variety of settings, both algebraic and geometric, it is of interest to understand the symbolic powers \\(I^{(m)}\\) of \\(I\\). From a geometric viewpoint, when \\(S\\) is a polynomial ring then \\(I^{(m)}\\) consists of all of the hypersurfaces passing at least \\(m\\) times through each point of the variety \\(V(I)\\). Algebraically, \\(I^{(m)} = I^m S_W \\cap S\\) where \\(W \\subset S\\) is the multiplicative set of all \\(S/I\\)-regular elements. In this paper the authors give various results in the direction of checking when an ideal is a symbolic power. First, they give a characterization of when an unmixed subideal \\(J \\subseteq I^{(m)}\\) is equal to \\(I^{(m)}\\). Second, they give a saturation-type formula to compute \\(I^{(m)}\\) and to check when \\(I^{(m)} = I^m\\) (which is an important question in the theory). Third, the prove an explicit linear bound on the exponent that makes the saturation formula effective. They prove a generalized version of a conjecture of Eisenbud and Mazur about \\(\\hbox{ann}_S(I^{(m)}/I^m)\\) and propose a conjecture connecting the symbolic defect of an ideal to Jacobian ideals.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2193205"},{"@id":"https://portal.mardi4nfdi.de/entity/Q6143522"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5119190"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1710507"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1984339"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5944888"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3804831"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4729909"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4317713"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1341272"},{"@id":"https://portal.mardi4nfdi.de/entity/Q754922"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4342588"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1730895"},{"@id":"https://portal.mardi4nfdi.de/entity/Q880230"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2871001"},{"@id":"https://portal.mardi4nfdi.de/entity/Q869844"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1608553"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1273133"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1099218"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5147439"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3992979"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1265645"},{"@id":"https://portal.mardi4nfdi.de/entity/Q403801"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5732721"}]},"provenance":{"prov:generatedAtTime":"2026-02-17T21:58:58Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}