Singularities in mixed characteristic via perfectoid big Cohen-Macaulay algebras (Q2052356): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: 1806.09567 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The direct factor conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abhyankar's perfectoid lemma / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weak functoriality of Cohen-Macaulay algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the direct summand conjecture and its derived variant / rank
 
Normal rank
Property / cites work
 
Property / cites work: F-singularities via alterations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4274969 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Singularities on normal varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Big Cohen-Macaulay algebras and seeds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Singularités rationnelles et déformations / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Frobenius structure of local cohomology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023663 / rank
 
Normal rank
Property / cites work
 
Property / cites work: F-Purity and Rational Singularity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3973359 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Die Sätze von Bertini für lokale Ringe / rank
 
Normal rank
Property / cites work
 
Property / cites work: Almost ring theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A characterization of rational singularities in terms of injectivity of Frobenius maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Geometric interpretation of tight closure and test ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a generalization of test ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: F-regular and F-pure rings vs. log terminal and log canonical singularities / rank
 
Normal rank
Property / cites work
 
Property / cites work: A generalization of tight closure and multiplier ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2717178 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Big Cohen-Macaulay algebras and the vanishing conjecture for maps of Tor in mixed characteristic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4055756 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4295722 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Big Cohen-Macaulay algebras in dimension three via Heitmann's theorem. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tight closure and strong F-regularity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tight Closure, Invariant Theory, and the Briancon-Skoda Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite integral extensions and big Cohen-Macaulay algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Applications of the existence of big Cohen-Macaulay algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: On different notions of tameness in arithmetic geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4212603 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An elementary proof of Cohen-Gabber theorem in the equal characteristic \(p>0\) case / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4650504 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The vanishing conjecture for maps of Tor and derived splinters / rank
 
Normal rank
Property / cites work
 
Property / cites work: Perfectoid multiplier/test ideals in regular rings and bounds on symbolic powers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Frobenius splitting and cohomology vanishing for Schubert varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: A characterization of rational singularities / rank
 
Normal rank
Property / cites work
 
Property / cites work: $F$-singularities in families / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3027142 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Perfectoid spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: A refinement of sharply \(F\)-pure and strongly \(F\)-regular pairs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Globally \(F\)-regular and log Fano varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the behavior of test ideals under finite morphisms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Integral perfectoid big Cohen-Macaulay algebras via André's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: 3-FOLD LOG FLIPS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tight closure of parameter ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Test Ideals in Local Rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: F-rational rings have rational singularities / rank
 
Normal rank
Property / cites work
 
Property / cites work: The multiplier ideal is a universal test ideal / rank
 
Normal rank
Property / cites work
 
Property / cites work: An interpretation of multiplier ideals via tight closure / rank
 
Normal rank
Property / cites work
 
Property / cites work: A characteristic \(p\) analogue of plt singularities and adjoint ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Log canonical thresholds in positive characteristic / rank
 
Normal rank

Latest revision as of 07:32, 27 July 2024

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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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