A new subadditivity formula for test ideals

DOI10.1016/J.JPAA.2019.07.010MaRDI QIDQ2332124zbMATH OpenOpenAlexWikidataFDO

Authors Daniel Smolkin

Publication date 1 November 2019

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

toric varietiesCartier algebrasmultiplier idealstest ideals\(F\)-singularities

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Singularities in algebraic geometry (14B05) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Multiplier ideals (14F18)

Abstract: We exhibit a new subadditivity formula for test ideals on singular varieties using an argument similar to those of Demailly-Ein-Lazarsfeld and Hara-Yoshida. Any subadditivity formula for singular varieties must have a correction term that measures the singularities of that variety. Whereas earlier subadditivity formulas accomplished this by multiplying by the Jacobian ideal, our approach is to use the formalism of Cartier algebras. We also show that our subadditivity containment is sharper than ones shown previously by Takagi and Eisenstein. The first of these results follows from a Noether normalization technique due to Hochster and Huneke. The second of these results is obtained using ideas of Takagi and Eisenstein to show that the adjoint ideal $mathscr{J}_X(A,Z)$ reduces mod $p$ to Takagi's adjoint test ideal, even when the ambient space is singular, provided that $A$ is regular at the generic point of $X$. One difficulty of using this new subadditivity formula in practice is the computational complexity of computing its correction term. Thus, we discuss a combinatorial construction of the relevant Cartier algebra in the toric setting.

Recommendations

• Formulas for multiplier ideals on singular varieties
• A Counterexample for Subadditivity of Multiplier Ideals on Toric Varieties
• When does the subadditivity theorem for multiplier ideals hold?
• Multiplier ideals and modules on toric varieties
• A subadditivity formula for multiplier ideals associated to log pairs

Cites work

• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 2134815 (Why is no real title available?)
• A characteristic \(p\) analogue of plt singularities and adjoint ideals
• A characterization of rational singularities in terms of injectivity of Frobenius maps
• A generalization of tight closure and multiplier ideals
• A subadditivity property of multiplier ideals.
• A survey of test ideals
• Adjoint ideals along closed subvarieties of higher codimension
• Adjoint ideals and a correspondence between log canonicity and \(F\)-purity
• Centers of F-purity
• Characterizations of Regular Local Rings of Characteristic p
• Comparison of symbolic and ordinary powers of ideals.
• Diagonal splittings of toric varieties and unimodularity
• Discreteness and rationality of F-jumping numbers on singular varieties
• F-Regularity, Test Elements, and Smooth Base Change
• F-regular and F-pure rings vs. log terminal and log canonical singularities
• Formulas for multiplier ideals on singular varieties
• Frobenius splittings of toric varieties
• Geometric interpretation of tight closure and test ideals
• Integral closure of ideals, rings, and modules
• Test ideals in non-\(\mathbb {Q}\)-Gorenstein rings
• Test ideals via algebras of 𝑝^{-𝑒}-linear maps
• The multiplier ideal is a universal test ideal
• The uniform symbolic topology property for diagonally \(F\)-regular algebras
• Toric varieties
• Uniform bounds and symbolic powers on smooth varieties
• \(F\)-adjunction
• \(F\)-signature of pairs and the asymptotic behavior of Frobenius splittings
• \(p^{-1}\)-linear maps in algebra and geometry

Cited in

(10)

• The uniform symbolic topology property for diagonally \(F\)-regular algebras
• Quantifying singularities with differential operators
• Singularities of determinantal pure pairs
• On the behavior of \(F\)-signatures, splitting primes, and test modules under finite covers
• Test ideals via algebras of 𝑝^{-𝑒}-linear maps
• A subadditivity formula for multiplier ideals associated to log pairs
• On tame ramification and centers of \(F\)-purity
• Tame fundamental groups of pure pairs and Abhyankar's lemma
• Diagonal \(F\)-splitting and symbolic powers of ideals
• Formulas for multiplier ideals on singular varieties

This page was built for publication: A new subadditivity formula for test ideals

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