Singularities in mixed characteristic via perfectoid big Cohen-Macaulay algebras (Q2052356)

From MaRDI portal
Revision as of 21:13, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Singularities in mixed characteristic via perfectoid big Cohen-Macaulay algebras
scientific article

    Statements

    Singularities in mixed characteristic via perfectoid big Cohen-Macaulay algebras (English)
    0 references
    0 references
    0 references
    26 November 2021
    0 references
    The goal of this work is to develop tools to better understand singularities in mixed characteristic. As multiplier and test ideals have been critical to the understanding of singularities in equicharacteristic, the authors extend the big Cohen-Macaulay test ideals developed by \textit{F. Perez} and \textit{R. R.G.} [Trans. Amer. Math. Soc., Ser. B 8, 754--787 (2021; Zbl 1487.13024)] to the mixed characteristic setting. They prove that these BCM-test ideals are independent of the big Cohen-Macaulay $R^+$-algebra $B$ chosen as long as $B$ is sufficiently large. They show that the characteristic $p>0$ notions are in fact equivalent to the mixed characteristic notions and they establish relationships with characteristic $0$, which we illustrate in the following table: \begin{align*} \text{Characteristic } p>0 \qquad&\text{Mixed characteristic } (0,p) & \text{Characteristic } 0\\ F\text{-regular}\qquad& \mathrm{BCM}_B\text{-regular}& \text{KLT}\\ F\text{-rational} \qquad & \mathrm{BCM}_B\text{-rational}& \text{pseudorational} \\ \tau(R, \Delta) \qquad & \tau_B(R, \Delta)& \mathcal{J}(R, \Delta)\\ \tau(\omega_R)\qquad & \tau_B(\omega_R)& \mathcal{J}(\omega_R) \end{align*} As with (characteristic $p$) test ideals and multiplier ideals, they show that $\mathrm{BCM}_B$-test ideals are stable under small perturbations. They also show that $\mathrm{BCM}_B$-test ideals behave similar to characteristic $p$ test ideals under finite maps. As \textit{M. Hochster} and \textit{C. Huneke} [Mém. Soc. Math. Fr., Nouv. Sér. 38, 119--133 (1989; Zbl 0699.13003)] used localization to produce elements in the characteristic $p$ test ideal, localization can also help us to determine elements in the $\mathrm{BCM}_B$-test ideal $\tau_B(R, \Delta).$ They also prove that these test ideals restrict well when $R$ is a complete normal ring; in particular, if $h \in R$ such that $R/hR$ is normal; $\Delta$ is a $\mathbb{Q}$-divisor so that $K_R+ \Delta$ has index not divisible by $p$; and $\Delta$ and $V(h)$ have no common components, then for $1 > \epsilon >0$ and for every $R^+$-algebra $B$ there is an $(R/hR)^+$-algebra $C$ so that $\tau_C(R/hR, \Delta|_{R/hR}) \subseteq \tau_B(R, \Delta+(1-\epsilon) \mathrm{div}_R(h))R/hR$. They also address how $F$-rational and $F$-regular singularities vary as one varies the characteristic, including some helpful examples and pictures.
    0 references
    big Cohen-Macaulay
    0 references
    F-rational
    0 references
    F-regular
    0 references
    log terminal
    0 references
    multiplier ideal
    0 references
    perfectoid
    0 references
    rational
    0 references
    singularities
    0 references
    test ideal
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references