English

Big Cohen-Macaulay test ideals in equal characteristic zero via ultraproducts

Commutative Algebra 2023-02-13 v3 Algebraic Geometry

Abstract

Utilizing ultraproducts, Schoutens constructed a big Cohen-Macaulay algebra B(R)\mathcal{B}(R) over a local domain RR essentially of finite type over C\mathbb{C}. We show that if RR is normal and Δ\Delta is an effective Q\mathbb{Q}-Weil divisor on SpecR\operatorname{Spec} R such that KR+ΔK_R+\Delta is Q\mathbb{Q}-Cartier, then the BCM test ideal τB(R)^(R^,Δ^)\tau_{\hat{\mathcal{B}(R)}}(\hat{R},\hat{\Delta}) of (R^,Δ^)(\hat{R},\hat{\Delta}) with respect to B(R)^\hat{\mathcal{B}(R)} coincides with the multiplier ideal J(R^,Δ^)\mathcal{J}(\hat{R},\hat{\Delta}) of (R^,Δ^)(\hat{R},\hat{\Delta}), where R^\hat{R} and B(R)^\hat{\mathcal{B}(R)} are the m\mathfrak{m}-adic completions of RR and B(R)\mathcal{B}(R), respectively, and Δ^\hat{\Delta} is the flat pullback of Δ\Delta by the canonical morphism SpecR^SpecR\operatorname{Spec} \hat{R}\to \operatorname{Spec} R. As an application, we obtain a result on the behavior of multiplier ideals under pure ring extensions.

Keywords

Cite

@article{arxiv.2207.04247,
  title  = {Big Cohen-Macaulay test ideals in equal characteristic zero via ultraproducts},
  author = {Tatsuki Yamaguchi},
  journal= {arXiv preprint arXiv:2207.04247},
  year   = {2023}
}

Comments

29 pages;Some definitions and remarks added