Related papers: Perfectoid towers generated from prisms
We prove that every perfectoid tower can be decomposed into a fiber product of perfectoid towers that are either $p$-torsion free or perfect of characteristic $p$. As an application, we show that separated perfectoid towers are reduced. We…
The aim of this article is to study basic structures and interrelations of $\delta$-rings, perfectoid towers, and lim Cohen-Macaulay sequences over Noetherian rings in positive or mixed characteristic. Then we discuss some methods for…
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…
We characterize perfectoid towers in terms of conormal cones rather than torsion parts. This result is deduced from a refined study of the relationship between torsion with respect to a principal ideal and the associated conormal cone,…
The notion of a Frobenius coring is introduced, and it is shown that any such coring produces a tower of Frobenius corings and Frobenius extensions. This establishes a one-to-one correspondence between Frobenius corings and extensions.
To initiate a systematic study on the applications of perfectoid methods to Noetherian rings, we introduce the notions of perfectoid towers and their tilts. We mainly show that the tilting operation preserves several homological invariants…
We prove a mixed-characteristic analogue of Kunz's theorem in terms of perfectoid towers: a Noetherian local ring of residue characteristic $p$ is regular if and only if it admits a flat map to a Noetherian ring that extends to a perfectoid…
Necessary and sufficient conditions for some deformation algebras to provide formal Frobenius structures are given. Also, examples of formal Frobenius structures with fundamental tensor that is not of the deformation type and examples of…
The purpose of this note is to relate certain ring-theoretic properties of rings in mixed and positive characteristics that are related to each other by a tilting operation used in perfectoid geometry. To this aim, we exploit the…
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 introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and…
We construct and study a graded version of absolute perfectoidization for $G$-graded adic rings. As a main geometric application, we show that the absolute perfectoidization of the structure sheaf of a projective-type formal scheme admits…
We construct Frobenius structures on the $\mathbb{C}^{\times}$-bundle of the complement of a toric arrangement associated with a root system, by making use of a one-parameter family of torsion free and flat connections on it. This gives…
We give a construction and equations for good recursive towers over any finite field $\mathbf{F}_q$ with $q \ne 2$ and $3$.
Certain towers of function fields with complete splitting of rational places at each stage are constructed. Also, families oof towers with positive N/g ratios are described.
We describe a generalization of most-perfect magic squares, called type-p most-perfect squares, and in prime-power orders we give a linear construction of these squares reminiscent of de la Loubere's classical magic square construction…
We describe a class of fixed polyominoes called $k$-omino towers that are created by stacking rectangular blocks of size $k\times 1$ on a convex base composed of these same $k$-omino blocks. By applying a partition to the set of $k$-omino…
A perfect prismatoid is a convex polytope $P$ such that for every its facet $F$ the set $vert(P) \setminus vert(F)$ belongs to a supporting hyperplane $\alpha \parallel F$. We prove that every perfect prismatoid is affinely equivalent to…
Consider a meromorphic connection on P^1 over a p-adic field. In many cases, such as those arising from Picard-Fuchs equations or Gauss-Manin connections, this connection admits a Frobenius structure defined over a suitable rigid analytic…
It is known that the Frobenius algebra of the injective hull of the residue field of a complete Stanley--Reisner ring (i.e. a formal power series ring modulo a squarefree monomial ideal) can be only principally generated or infinitely…