Related papers: Another proof of the almost purity theorem for per…
This paper is a subsequent paper of arXiv:2303.07672. We will continue our research on the subject of perfect algebraic spaces that is developed in arXiv:2303.07672. By means of algebraic Frobenius morphisms, we define the perfection of…
We show that practically all the properties of almost perfect rings discovered by Bazzoni and Salce in "Almost perfect domains" (Colloq. Math. 95 (2) (2003), 285-301) for commutative rings hold in the non-commutative setting.
We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$…
This note is concerned with quasi-perfect morphisms between Noetherian algebraic spaces. In particular, we study the local behavior of quasi-perfect proper morphisms. We show that quasi-perfectness of a proper morphism can be detected at…
We prove coherence of relatively quasi-free algebras over noetherian rings. Chase criterion for coherence is used.
We introduce and study graded perfectoid rings as graded analogues of Scholze's (integral) perfectoid rings. We establish a categorical equivalence between graded perfectoid rings and graded perfect prisms, extending the Bhatt-Scholze's…
We prove a relative GAGA theorem for perfect and pseudo-coherent complexes in non-archimedean analytic geometry, allowing bases given by Fredholm analytic rings, including those associated from affinoid perfectoid spaces. This answers a…
We consider smooth completion of algebraic manifolds. Having some information about its singular completions or about completions of its images we prove purity of cohohomology of the set at infinity. We deduce also some topological…
To connect arithmetic and ring-theoretic properties of rings of mixed characteristic with those of positive characteristic, we introduce monoidal maps for perfectoid towers. Using these maps, we discuss the almost integrality of perfectoid…
This paper studies Frobenius maps on injective hulls of residue fields of complete local rings with a view toward providing constructive descriptions of objects originating from the theory of tight closure. Specifically, the paper describes…
The aim of this article is to complete results of [M.00] and [B.08] and to show that they imply a rather general existence theorem for meromorphic quotient of strongly quasi-proper meromorphic equivalence relations. In this context, generic…
We develop almost ring theory, which is a domain of mathematics somewhere halfway between ring theory and category theory (whence the difficulty of finding appropriate MSC-class numbers). We apply this theory to valuation theory and to…
Two Azumaya algebras with involutions are considered over a regular local ring. It is proved that if they are isomorphic over the quotient field, then they are isomorphic too. In particular, if two quadratic spaces over such a ring are…
Fix a prime number $p$. Inspired by the notion of $F$-pure or $F$-split singularities, we study the condition that a Noetherian ring with $p$ in its Jacobson radical is pure inside some perfectoid (classical) ring, a condition we call…
In this paper, new algebraic and topological results on purely-prime ideals of a commutative ring (pure spectrum) are obtained. Especially, Grothendieck type theorem is obtained which states that there is a canonical correspondence between…
Using the Frobenius map, we introduce a new invariant for a pair $(R,\a)$ of a ring $R$ and an ideal $\a \subset R$, which we call the F-pure threshold $\mathrm{c}(\a)$ of $\a$, and study its properties. We see that the F-pure threshold…
Derived de Rham cohomology has been recently used in several contexts, as in works of Beilinson and Bhatt on p-adic periods morphisms and Morin on numerical invariants for special values of zeta functions. Inspired by some results of Morin,…
We prove Grothendieck's existence theorem for relatively perfect complexes on an algebraic stack that is proper and flat over an $I$-adically complete Noetherian ring $A$. This generalizes an earlier result of Lieblich in the setting of…
In this paper, we prove that a complete Noetherian local domain of mixed characteristic $p>0$ with perfect residue field has an integral extension that is an integrally closed, almost Cohen-Macaulay domain such that the Frobenius map is…
The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete…