Test ideals in mixed characteristic: a unified theory up to perturbation
Algebraic Geometry
2025-07-10 v2 Commutative Algebra
Abstract
Let be an integral scheme of finite type over a complete DVR of mixed characteristic. We provide a definition of a test ideal which agrees with the multiplier ideal after inverting , is computed from a sufficiently large alteration, agrees with previous mixed characteristic BCM test ideals after completing at any point of residue characteristic (up to small perturbation), and which satisfies the full suite of expected properties of a multiplier or test ideal. This object is obtained via the -adic Riemann-Hilbert functor.
Keywords
Cite
@article{arxiv.2401.00615,
title = {Test ideals in mixed characteristic: a unified theory up to perturbation},
author = {Bhargav Bhatt and Linquan Ma and Zsolt Patakfalvi and Karl Schwede and Kevin Tucker and Joe Waldron and Jakub Witaszek and Rankeya Datta},
journal= {arXiv preprint arXiv:2401.00615},
year = {2025}
}
Comments
117 pages, major revision, improved results (removed completeness hypothesis from base DVR, better perturbation/test elements), added appendix by Rankeya Datta, other minor changes and typos corrected, comments welcome