Multiplier ideals of sums via cellular resolutions

DOI10.4310/MRL.2008.V15.N2.A13MaRDI QIDQ935878zbMATH OpenFDO

Authors Shin-Yao Jow, Ezra Miller

Publication date 12 August 2008

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0703299

zbMATH Keywords

monomial idealmultiplier idealssummation formulacellular resolutionSkoda complexhomology-manifold with boundary

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Singularities of surfaces or higher-dimensional varieties (14J17)

Abstract: Fix nonzero ideal sheaves a_1,...,a_r on a normal Q-Gorenstein complex variety X. Fix any positive real number c, and consider the multiplier ideal J of the sum a_1+...+a_r with weighting coefficient c. We construct an exact sequence resolving J by sheaves over X that are direct sums of multiplier ideals for products a_1^{v_1}...a_r^{v_r} for various real vectors v such that v_1+...+v_r = c. The resolution is cellular, in the sense that its boundary maps are encoded by the algebraic chain complex of a regular CW-complex. The CW-complex is naturally expressed as a triangulation T of the simplex of nonnegative real vectors summing to c. The acyclicity of our resolution reduces to that of a cellular free resolution, supported on T, of a related monomial ideal. This acyclicity rests on a comparison between the homology of certain homology-manifolds-with-boundary and the homology of the simplicial complexes obtained by deleting collections of boundary faces from them. Our resolution implies the multiplier ideal sum formula J((a_1+...+a_r)^c) = sum_{|v|=c} J(a_1^{v_1}...a_r^{v_r}), which implicitly follows from Takagi's proof of the two-summand formula (math.AG/0410612). We recover Howald's multiplier ideal formula for monomial ideals (math.AG/0003232) as a special case. Our resolution also yields a new exactness proof for the Skoda complex.

Recommendations

• The multiplier ideals of a sum of ideals
• Multiplier ideals via Mather discrepancy
• Formulas for multiplier ideals on singular varieties
• Multiplier Ideals, Vanishing Theorem and Applications
• A subadditivity property of multiplier ideals.

Cited in

(9)

• Cellular reductions of the Pommaret-Seiler resolution for Quasi-stable ideals
• The multiplier ideals of a sum of ideals
• Cellular resolutions of cointerval ideals
• ACC for local volumes and boundedness of singularities
• Local vanishing and Hodge filtration for rational singularities
• On a conjecture of Teissier: the case of log canonical thresholds
• The exactness of a general Skoda complex
• The rank of a hypergeometric system
• Minimal free resolutions of monomial ideals and of toric rings are supported on posets

This page was built for publication: Multiplier ideals of sums via cellular resolutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q935878)