A new subadditivity formula for test ideals

DOI10.1016/J.JPAA.2019.07.010zbMATH Open1423.13051arXiv1805.08739OpenAlexW2963432927WikidataQ127489784 ScholiaQ127489784MaRDI QIDQ2332124FDOQ2332124

Authors: Daniel Smolkin 

Publication date: 1 November 2019

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

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.

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

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

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)

Cites Work

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

Cited In (10)

• The uniform symbolic topology property for diagonally \(F\)-regular algebras
• Quantifying singularities with differential operators
• Singularities of determinantal pure pairs
• Test ideals via algebras of 𝑝^{-𝑒}-linear maps
• On the behavior of \(F\)-signatures, splitting primes, and test modules under finite covers
• 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)