Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher.
Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?
Some links on this page may take you to non-federal websites. Their policies may differ from this site.
-
We use the framework of perfectoid big Cohen-Macaulay (BCM) algebras to define a class of singularities for pairs in mixed characteristic, which we call purely BCM-regular singularities, and a corresponding adjoint ideal. We prove that these satisfy adjunction and inversion of adjunction with respect to the notion of BCM-regularity and the BCM test ideal defined by the first two authors. We compare them with the existing equal characteristic purely log terminal (PLT) and purely F F -regular singularities and adjoint ideals. As an application, we obtain a uniform version of the Briançon-Skoda theorem in mixed characteristic. We also use our theory to prove that two-dimensional Kawamata log terminal singularities are BCM-regular if the residue characteristic p > 5 p>5 , which implies an inversion of adjunction for three-dimensional PLT pairs of residue characteristic p > 5 p>5 . In particular, divisorial centers of PLT pairs in dimension three are normal when p > 5 p > 5 . Furthermore, in Appendix A we provide a streamlined construction of perfectoid big Cohen-Macaulay algebras and show new functoriality properties for them using the perfectoidization functor of Bhatt and Scholze.Free, publicly-accessible full text available July 1, 2023
-
We study $F$ -signature under proper birational morphisms $\unicode[STIX]{x1D70B}:Y\rightarrow X$ , showing that $F$ -signature strictly increases for small morphisms or if $K_{Y}\leqslant \unicode[STIX]{x1D70B}^{\ast }K_{X}$ . In certain cases, we can even show that the $F$ -signature of $Y$ is at least twice as that of $X$ . We also provide examples of $F$ -signature dropping and Hilbert–Kunz multiplicity increasing under birational maps without these hypotheses.