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

Abstract

Utilizing ultraproducts, Schoutens constructed a big Cohen-Macaulay algebra $\mathcal{B}(R)$ over a local domain $R$ essentially of finite type over $\mathbb{C}$. We show that if $R$ is normal and $Δ$ is an effective $\mathbb{Q}$-Weil divisor on $\operatorname{Spec} R$ such that $K_R+Δ$ is $\mathbb{Q}$-Cartier, then the BCM test ideal $τ_{\hat{\mathcal{B}(R)}}(\hat{R},\hatΔ)$ of $(\hat{R},\hatΔ)$ with respect to $\hat{\mathcal{B}(R)}$ coincides with the multiplier ideal $\mathcal{J}(\hat{R},\hatΔ)$ of $(\hat{R},\hatΔ)$, where $\hat{R}$ and $\hat{\mathcal{B}(R)}$ are the $\mathfrak{m}$-adic completions of $R$ and $\mathcal{B}(R)$, respectively, and $\hatΔ$ is the flat pullback of $Δ$ by the canonical morphism $\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.