Tilting and untilting for ideals in perfectoid rings

For an (integral) perfectoid ring $R$ of characteristic $0$ with tilt $R^{\flat}$, we introduce and study a tilting map $(-)^{\flat}$ from the set of $p$-adically closed ideals of $R$ to the set of ideals of $R^{\flat}$ and an untilting map $(-)^{\sharp}$ from the set of radical ideals of $R^{\flat}$ to the set of ideals of $R$. The untilting map $(-)^{\sharp}$ is defined purely algebraically and generalizes the analytically defined untilting map on closed radical ideals of a perfectoid Tate ring of characteristic $p$ introduced by the first author. We prove that these two maps, $(-)^{\flat}$ and $(-)^{\sharp}$, define an inclusion-preserving bijection between the set of ideals $J$ of $R$ such that the quotient $R/J$ is perfectoid and the set of $p^{\flat}$-adically closed radical ideals of $R^{\flat}$, where $p^{\flat}\in R^{\flat}$ corresponds to a compatible system of $p$-power roots of a unit multiple of $p$ in $R$. Furthermore, we prove that the maps send (closed) prime ideals to prime ideals and thus define a homeomorphism between the subspace of the spectrum of $R$ consisting of prime ideals $\mathfrak{p}$ of $R$ such that $R/\mathfrak{p}$ is perfectoid and the subspace of the spectrum of $R^{\flat}$ consisting of $p^{\flat}$-adically closed prime ideals of $R^{\flat}$. In particular, we obtain a generalization and a new proof of the main result of the first author's previous research which concerned prime ideals in perfectoid Tate rings.

Since their first appearance in Scholze's thesis [Sch12], perfectoid algebras and spaces have revolutionized both p-adic geometry and mixedcharacteristic commutative algebra, leading, among many other applications, to André's proof of the direct summand conjecture [And18a;And18b].In the realm of commutative algebra, there is also the notion of (integral) perfectoid rings, introduced in [BMS18, Definition 3.5].The class of (integral) perfectoid rings includes not only rings of power-bounded elements of perfectoid algebras in the sense of [Sch12] (and, more generally, of perfectoid Tate rings in the sense of [Fon13]) but also contains some rings which need not even be p-torsion-free.
In [Din22], one of the authors proved that, for a perfectoid Tate ring A with tilt A ♭ , there is a homeomorphism between the space of so-called spectrally reduced prime ideals of the Tate ring A (by a theorem of Bhatt and Scholze, these coincide with the prime ideals p of A such that the quotient A/p is again a perfectoid Tate ring, see [Din22,Theorem 4.4]) and the space of closed radical ideals of A ♭ , the two spaces being endowed with their respective Zariski topologies ([Din22, Theorem 4.16]).In particular, a perfectoid Tate ring is an integral domain if and only if its tilt is an integral domain.In this paper, we use algebraic techniques (in particular, a purely algebraic definition of the untilting operation, see Definition 3.2) to generalize the main notions and results of [Din22] from the case of perfectoid Tate rings to perfectoid rings in the sense of [BMS18].
In this paper, we use perfectoid rings in the sense of [BMS18].For any perfectoid ring R of characteristic 0, we fix some unit multiple vp of p which admits a compatible system of p-power roots of vp in R (by [BMS18, Lemma 3.9], such a unit multiple of p always exists) and we fix an element p ♭ ∈ R ♭ of the tilt R ♭ ∼ = lim ← −F R of R corresponding to a compatible system of p-power roots of vp (it is adapted to the notation used in [CS23]. Note that a compatible system of p-power roots of p does not necessarily exist).
Then our main result can be stated as follows.The tilting operation (−) ♭ for rings and ideals is defined in Definition 3.1 and Definition 3.2.
Main Theorem A (Theorem 3.5 and Theorem 5.5).Let R be a perfectoid ring of characteristic 0. Then the map is an inclusion-preserving bijection between the set of ideals J of R such that the quotient R/J is a perfectoid ring and the set of p ♭ -adically closed radical ideals of R ♭ .
Furthermore, the restriction of this bijection yields a homeomorphism between the subspace of Spec(R) consisting of prime ideals p of R such that the quotient R/p is perfectoid and the subspace of Spec(R ♭ ) consisting of p ♭ -adically closed prime ideals of R ♭ .
As a consequence of the above theorem, we obtain a new and purely algebraic proof of the main theorem of [Din22] (namely, [Din22,Theorem 4.16]).This proof does not make use of the homeomorphism between the Berkovich spectrum of a perfectoid Tate ring and the Berkovich spectrum of its tilt.
Notation 1.1.For any element t ∈ R in a ring R and any R-module M we denote by M [t ∞ ] the t-power-torsion submodule of M ; that is, Note that, for any M and t, the quotient Let R be a ring and let a be an element of R.An ideal I of R is a-adically closed if it is a closed subset of the a-adically topological ring R with respect to the subspace topology.
An ideal I of R is derived a-complete if it is derived a-complete as an R-module.
Let A 0 be a ring and t ∈ A 0 be any element.For a perfectoid ring R (in the sense of [BMS18, Definition 3.5]), we call an element π ∈ R a perfectoid element if R is π-adically complete and π p divides p in R. Such an element always exists in any perfectoid ring, by definition, but it is not unique.
in the sense of Fontaine [Fon13] (recall that every complete Tate ring A can be endowed with a norm Banach ring in the sense of [Fon13]).
Assume that R is a perfectoid ring of characteristic 0. Let us write (W (R ♭ ), (ξ)) for the perfect prism corresponding to the perfectoid ring R via [BS22, Theorem 3.10], where ξ is a distinguished element of W (R ♭ ) with Witt vector coordinates (ξ 0 , ξ 1 , . . .).By [BMS18, Lemma 3.9], there exists some unit multiple vp ∈ R of p such that vp has a compatible system of p-power roots {(vp) 1/p n } n≥0 in R. Furthermore, one can adjust the choice of ξ so that p ♭ = ξ 0 where p ♭ := ((vp) For every perfectoid ring R of characteristic 0, we fix an element p ♭ ∈ R ♭ and a distinguished element ξ ∈ W (R ♭ ) as above throughout this paper (in particular, we always assume that ξ is chosen in such a way that ξ 0 = p ♭ ) and we consider R (respectively, R ♭ ) as topological rings equipped with the p-adic (respectively, the p ♭ -adic) topology.

Perfectoid Ideals
In this section, we work with the following notion of perfectoid ideals.
Definition 2.1.For any perfectoid ring R, an ideal J of R is called a perfectoid ideal if the quotient R/J is a perfectoid ring.Any perfectoid ideal is p-adically closed and derived p-complete since any perfectoid ring is p-adically complete.
Recall from [BS22] that a semiperfectoid ring S is a derived p-complete ring that can be written as a quotient of some perfectoid ring R. Recall also from loc. cit., Corollary 7.3, that, for every semiperfectoid ring S, there exists an initial object S → S perfd in the category of perfectoid S-algebras; the ring S perfd is called the perfectoidization of S. Lemma 2.2.Assume that R is a perfectoid ring and J is a derived p-complete ideal of R. Then J is a perfectoid ideal if and only if J = J perfd where J perfd := ker(R → (R/J) perfd ).
Proof.Since J is derived p-complete, R/J is a semiperfectoid ring and thus the perfectoidization (R/J) perfd is a universal perfectoid ring over R/J.By [BS22, Theorem 7.4], the canonical map R → (R/J) perfd is surjective.
To check the perfectoid property of rings and ideals, we can sometimes use the following lemma.
Lemma 2.3.Let R be a semiperfectoid ring and suppose that there exists a perfectoid ring R ′ and an injective map R ֒→ R ′ .Then R is a perfectoid ring.
In particular, if a derived p-complete ideal J in a perfectoid ring R can be written as an intersection of perfectoid ideals, then J is also a perfectoid ideal.
Proof.We first deduce the second assertion of the lemma from the first.So, let J be a derived p-complete ideal in a perfectoid ring R which can be written as an intersection of a family (J i ) i of perfectoid ideals.Any product of perfectoid rings is again perfectoid ([BIM19, Example 3.8(8)]).In particular, i R/J i is a perfectoid ring, so the canonical map R/J ֒→ i R/J i shows that the second assertion of the lemma is a consequence of the first.Now let R be a semiperfectoid ring admitting an injection R ֒→ R ′ into a perfectoid ring R ′ .By the universal property of perfectoidization, the injective map R ֒→ R ′ factors through the canonical map R → R perfd .It follows that the canonical map R → R perfd is injective.But R → R perfd is also surjective by [BS22,Theorem 7.4].
In Lemma 2.7 we will clarify the relationship between the above notion of perfectoid ideals and the notion of spectrally reduced ideals in a seminormed ring as introduced in [Din22].To do this, we define the notion of spectrally reduced ideals in the setting of Tate rings and explain how this definition relates to the previous one for seminormed rings.
Definition 2.4 (cf.[Din22, Definition 2.16]).For a Tate ring A, we call an ideal J A spectrally reduced if where φ ranges over the continuous multiplicative seminorms on A with ker(φ) ⊇ J .
Remark 2.5.By [Din22, Remark 2.19], an ideal J of a Tate ring A is spectrally reduced in the above sense if and only if J is a spectrally reduced ideal of the seminormed ring (A, • ) in the sense of [Din22, Definition 2.16], for some (or, equivalently, any) seminorm • defining the topology on A such that A admits a topologically nilpotent unit which is multiplicative with respect to the seminorm • (for the latter condition, see also [Din22, Remark 2.13]).
For example, if (A 0 , (t)) is a pair of definition of a Tate ring A, then, by definition, t is a topologically nilpotent unit of A which is multiplicative with respect to the canonical extension • A to A of the t-adic seminorm on A 0 (see [NS22, Lemma 2.27]).
In the proof of Lemma 2.7 and in Section 4, we use the t-saturation of ideals: Definition 2.6.Let R be a ring, t ∈ R and let J be an ideal of R. The t-saturation J t of J is the ideal defined by Lemma 2.7.Let R be a perfectoid ring of characteristic 0, let π ∈ R be a perfectoid element in R and let J be a derived p-complete ideal of R such that π / ∈ J.If J is a perfectoid ideal, then the ideal J[1/π] of the perfectoid Tate ring R[1/π] is spectrally reduced, and, if we assume that R/J is π-torsion-free, the converse is also true.

In general, J is a perfectoid ideal if and only if J is a radical ideal and the ideal J[1/π]
of the perfectoid Tate ring R[1/π] is spectrally reduced.
Proof.First suppose that J is a perfectoid ideal of R. By definition, the quotient R/J is a perfectoid ring and thus the Tate ring (R/J)[1/π] is a perfectoid Tate ring.Note that Since every perfectoid Tate ring is uniform, we deduce that Conversely, first we assume that R/J is π-torsion-free and J[1/π] is spectrally reduced.
In the general case, suppose that J is a derived p-complete radical ideal of R such that shows that (R/ J π )[1/π] is complete (in fact, we know that it is a perfectoid Tate ring, by [Din22, Theorem 4.4]).Consequently, since the complete Tate ring (R/ J π )[1/π] has the pair of definition (R/ J π , (π)), the quotient ring R/ J π is classically π-adically complete.
Since, by the definition of a perfectoid element, we have pR ⊆ π p R ⊆ πR, this entails that R/ J π is classically p-adically complete by [Sta,090T]; a fortiori, R/ J π is derived p-complete.It follows that the ideal J π is also derived p-complete.Hence we can apply the assertion of the lemma in the π-torsion-free case to see that the ideal J π is perfectoid.
On the other hand, since J is a radical ideal, it can be written as an intersection where q ranges over the prime ideals of R which contain J but do not contain J π .For such a prime ideal q, let x ∈ J π be an element which does not belong to q.Then we can choose an integer n > 0 such that π n x ∈ J ⊆ q.Since q is prime, we conclude that π ∈ q and therefore p ∈ q.But this implies that every prime ideal q as above is perfectoid by Proposition 2.8 below.It follows that J is perfectoid, by Lemma 2.3 above.
In the positive characteristic case, perfectoid ideals are more simple objects.Proposition 2.8 (cf.[Din22, Remark 2.21]).Let R be a perfectoid ring and J be an ideal of R. Assume that p ∈ J. Then J is a perfectoid ideal if and only if it is a radical ideal.
Assume that R is a perfect(oid) ring of positive characteristic p and t ∈ R is an element such that R is t-adically complete.Assume further that t / ∈ J. Then the ideal

Tilting and Untilting of Ideals
In this section, we define the tilting and untilting of ideals, which produces a correspondence between the set of perfectoid ideals of R and the set of p ♭ -adically closed radical ideals of R ♭ for any perfectoid ring R of characteristic 0. To do this, we start with some constructions related to perfectoid rings.
Definition 3.1.For any ring R, we can define the tilt of this ring, where F denotes the Frobenius on R/pR.If R is p-adically complete, the underlying multiplicative monoid of R ♭ is isomorphic to lim ← −x →x p R as monoids, and then lim ← −x →x p R has a natural ring structure induced from R ♭ by [BMS18, Lemma 3.2].The isomorphism is defined by For any ideal J of R, we have a theta map If the Frobenius map on (R/J)/p(R/J) is surjective, then θ R/J is surjective.
Next, we define the tilting and untilting of ideals as follows.
Definition 3.2.Let R be a classically p-adically complete ring.We identify the underlying multiplicative monoid of the tilt for all n ∈ Z ≥0 .Note that under this identification we have x ♯ = x (0) for any x ∈ R ♭ .For any subset J of R, we define a subset We call J ♭ the tilt of the subset (respectively, of the p-adically closed ideal) J of R. Remark that this operation (−) ♭ maps prime ideals of R to prime ideals of R ♭ by simple observations.
Conversely, if R is a perfectoid ring and I is an ideal of R ♭ , we define a subset of which is well-defined by the unique representation.In particular, if I is a radical ideal of and thus W (I) is an ideal of W (R ♭ ).Then we can define an ideal of R (3.5) because of the surjectivity of θ R .We call it the untilt of I.
In the next section (Proposition 4.7), we will show that (−) ♯ maps p ♭ -adically closed prime ideals of R ♭ to prime ideals of R for any perfectoid ring R of characteristic 0, but we do not use this fact in this section.
One of the important properties of these operations is the following.Roughly speaking, the tilting and untilting operations preserve the perfectoid property of ideals under some topologically closed assumptions.
Lemma 3.3.For any p-adically complete ring R and any p-adically closed ideal J of R, the tilt J ♭ of J is equal to the kernel of the homomorphism If R is a perfectoid ring of characteristic 0 and J is a perfectoid ideal of R, then ϕ ♭ induces an isomorphism R ♭ /J ♭ ∼ = − → (R/J) ♭ .In particular, the tilt J ♭ of any perfectoid ideal Conversely, for any perfectoid ring R of characteristic 0 and any p ♭ -adically closed radical (and thus perfectoid) ideal I of R ♭ , the untilt I ♯ is also a perfectoid ideal of R.
For a p ♭ -adically closed radical ideal surjective by topological Nakayama's lemma and the kernel is given by W (I) by definition.
Then we have Since I is a p ♭ -adically closed radical ideal of R ♭ , the quotient R ♭ /I is a p ♭ -adically complete1 perfect(oid) R ♭ -algebra.Then R/I ♯ is a perfectoid R-algebra by [CS23, Proposition 2.1.9]or [Dos23, Thèoréme 2.10].
Remark 3.4.The assumption that the ideal I in Lemma 3.3 be p ♭ -adically closed is not automatic: Indeed, we show in Remark 5.8 that there exists a perfectoid ring R of characteristic 0 such that not all prime ideals of R ♭ are p ♭ -adically closed.Furthermore, the assumption that I be p ♭ -adically closed is also necessary for the assertion of Lemma 3.3 and the fact that ker(θ R ) and ker(θ R/J ) are generated by the same ξ show that J ♭♯ = J.
Conversely, if I is a p ♭ -adically closed radical ideal of R ♭ , we have canonically and thus I = I ♯♭ .
We deduce from the above theorem a corollary which ensures that the theorem also stays true when the role of p is taken on by another perfectoid element of R. Recall that for any perfectoid element π in a perfectoid ring R of characteristic 0, [BMS18, Lemma 3.9] entails that there exists a unit u ∈ R × such that uπ admits a compatible system of p-power roots in R, i.e., there exists an element π ♭ ∈ R ♭ such that π ♭♯ is a unit multiple of π in R.
Corollary 3.6.Let R be a perfectoid ring of characteristic 0, let π ∈ R be a perfectoid element and let π ♭ ∈ R ♭ be an element such that π ♭♯ is a unit multiple of π in R. Then a radical ideal I of R ♭ is p ♭ = ξ 0 -adically closed if and only if it is π ♭ -adically closed.

Correspondence of Prime Ideals
For any perfectoid ring R, the tilt of a p-adically closed prime ideal of R is a prime ideal of R ♭ .This can be shown easily.However, the stability of (closed) prime ideals under the untilting operation (−) ♯ is not quite obvious.We show this fact by using an idea that appeared in the proof of [Din22, Theorem 4.16].
Definition 4.1 (cf.[Din22, Definition 3.13]).Let A be a Tate ring and let J be an ideal of A which is not dense in A. The spectral radical J sp of J is the smallest spectrally reduced ideal of A containing J .That is, where φ ranges over the continuous multiplicative seminorms φ : A → R ≥0 with the property that ker(φ) ⊇ J .
Remark 4.2.Since any Tate ring can be equipped with a seminorm defining its topology (see Notation 1.1 or [NS22, Lemma 2.27]), every non-dense ideal is contained in some ideal of the form ker(φ) for a continuous multiplicative seminorm: This is a consequence of the fact that the Berkovich spectrum of any seminormed ring is non-empty (see [Din22, Lemma 3.12]).This shows that the above notion of the spectral radical is well-defined.
Furthermore, the spectral radical J sp in the sense of the above definition agrees with the spectral radical of the seminormed ring (A, • ) if • is some (or, equivalently, any) seminorm defining the topology of the Tate ring A and admitting a multiplicative topologically nilpotent unit t (see [Din22,Remark 2.19] or Remark 2.5).For example, we could let • be the seminorm defined by some pair of definition (A 0 , (t)) of A.
The following lemma shows the relationship between (−) perfd and (−) sp .
Lemma 4.3.Let R be a perfectoid ring of characteristic 0 and J be a derived p-complete ideal of R. Then the p-saturation J perfd of J perfd in R is equal to the inverse image of the Proof.Since J is derived p-complete, we can apply [Ish23, Theorem 5.2] for R/J.Then we have and the last term is equal to (J[1/p]) sp because of the definition of the spectral radical and of the uniform completion [IS23, Remark 5.7].
Lemma 4.4.Let I and J be derived p-complete ideals of a perfectoid ring R of characteristic 0. Then we have Proof.The intersection I ∩ J is derived p-complete since it is the kernel of the map of derived p-complete rings R → (R/I) × (R/J).Therefore, the assertion follows from Lemma 4.3 and the fact that the map (−) sp on ideals of a perfectoid Tate ring commutes with intersections.
Lemma 4.5.Let J be a perfectoid ideal of a perfectoid ring R. Then the p-saturation J of J in R is also a perfectoid ideal.
Proof.Note that an element f of R is in J if and only if the image of f in R/J is p-power torsion.That is, R/ J is the quotient of R/J by its p-power torsion part (R/J)[p ∞ ].By [CS23, 2.1.3]or [Dos23, Proposition 2.19], we see that J is a perfectoid ideal.
Lemma 4.6.Let I and J be ideals of a t-adically separated ring R for some element t ∈ R. Let us denote by a t the (topological) closure of an ideal a of R with respect to the t-adic topology of R. Then we have Proof.Let f be an element of Proposition 4.7.Let R be a perfectoid ring of characteristic 0 and let q be a p ♭ -adically closed prime ideal of R ♭ .Then the untilt q ♯ is a prime ideal of R.
Proof.In view of the canonical isomorphism R/pR ∼ = R ♭ /p ♭ R ♭ , the assertion is clear if p ♭ ∈ q (or equivalently, if p ∈ q ♯ ).Hence we may assume that p ♭ / ∈ q.We proceed as in the proof of [Din22,Theorem 4.16].So, let I and J be ideals of R with IJ ⊆ q ♯ and it suffices to show that either I or J is contained in q ♯ .By Lemma 3.3, the untilt q ♯ is a perfectoid ideal of R. Then q ♯ is a radical ideal by the reduced property of perfectoid rings (see [CS23, 2.1.3])and the inclusion IJ ⊆ q ♯ implies I ∩ J ⊆ q ♯ .Since any perfectoid ideal of R is p-adically closed in R, we have where I ∩ J p is the (topological) closure of I ∩ J with respect to the p-adic topology of R.
By Lemma 4.6, we have By Lemma 4.4, we see that Since the map (−) ♭ from subsets of R to subsets of R ♭ preserves inclusions and intersections, this means that By the definition of the tilting operation (3.3), if f ∈ ( q ♯ ) ♭ , then p n f ♯ ∈ q ♯ for some n ≥ 0.
Using the fact that p n = ((p ♭ ) n ) ♯ ∈ R and Theorem 3.5, we have (p ♭ ) n f ∈ q ♯♭ = q and thus f ∈ q because of the assumption that p ♭ / ∈ q.This shows that Since q is a prime ideal of R ♭ , we see that either On the other hand, Lemma 4.5 ensures that (I p ) perfd and (J p ) perfd are perfectoid ideals of R. Applying the inclusion-preserving map (−) ♯ and using Theorem 3.5, we conclude that as desired.

The Perfectoid Spectrum
We will show that the one-to-one correspondence in Theorem 3.5 induces a homeomorphism between a certain subspace of the spectrum of R and a certain subspace of the spectrum of R ♭ .
Definition 5.1.For a perfectoid ring R of characteristic 0, the perfectoid spectrum of R is the subspace of Spec(R) endowed with the subspace topology induced from the Zariski topology on Spec(R).The perfectoid spectrum of R ♭ is the subspace of Spec(R ♭ ), again with the subspace topology induced from the Zariski topology.
We recall a variant of the notion of the topological spectrum from [Din22].We note that, by [Din22, Remark 2.19], for any seminorm • defining the topology on A such that there exists a topologically nilpotent unit t ∈ A multiplicative with respect to • , the topological spectrum of A defined as above is equal to the topological spectrum of the seminormed ring (A, • ) in the sense of [Din22, Definition 2.18].First, we record the following observations about the perfectoid spectrum and the topological spectrum.
Lemma 5.3.Let R be a perfectoid ring of characteristic 0, let π be a perfectoid element of R and let π ♭ be an element of R ♭ such that π ♭♯ is a unit multiple of π in R (by [BMS18,Lemma 3.9], such an element π ♭ always exists).Then Spec Proof.By Corollary 3.6 a prime ideal of R ♭ is π ♭ -adically closed if and only if it is p ♭adically closed.Hence the assertion follows from Lemma 2.7 and Proposition 2.8.Combining Theorem 3.5 and Proposition 4.7, we obtain a correspondence (Theorem 5.5 below) between perfectoid prime ideals of a perfectoid ring R of characteristic 0 and p ♭adically closed prime ideals of R ♭ .This correspondence is indeed a homeomorphism, not only a bijection.To prove this, we record the following lemma.
Lemma 5.4.Let R be a perfect(oid) ring of characteristic p and let I, J be ideals of R. If J is a radical ideal, then so is J I , the closure of J with respect to the I-adic topology on R.
Proof.The quotient R/J I is the I-adic completion of the perfect ring R/J, so the lemma follows from [Die07, Lemma 3.6].
Theorem 5.5.Let R be a perfectoid ring of characteristic 0. Then the tilting map (3.3) whose inverse is given by the untilting map q → q ♯ defined in (3.5).
Proof.It is readily seen that the map J → J ♭ takes (p-adically closed) prime ideals of R to prime ideals of R ♭ .By Proposition 4.7, the map I → I ♯ also takes (p ♭ -adically closed) prime ideals of R ♭ to (perfectoid) prime ideals of R. By Theorem 3.5, the two maps J → J ♭ and I → I ♯ are inverse to each other, so we obtain a bijection Spec perfd (R) ≃ − → Spec perfd (R ♭ ).To see that this bijection is a homeomorphism, note that a perfectoid prime ideal p of R contains an ideal J if and only if it contains the perfectoid ideal (J p ) perfd : Indeed, if J ⊆ p, we have J p ⊆ p since perfectoid ideals are p-adically closed, and then the map of semiperfectoid rings R/J p → R/p factors through R/(J p ) perfd by the universal property of perfectoidization.Hence every closed subset of Spec perfd (R) is of the form for some perfectoid ideal J of R.
Using Lemma 5.4, every closed subset of Spec perfd (R ♭ ) is of the form V Spec perfd (R ♭ ) (I) for some p ♭ -adically closed radical ideal I of R ♭ .Since the mutually inverse maps J → J ♭ and I → I ♯ are inclusion-preserving, we see that and for any perfectoid ideal J of R and any p ♭ -adically closed radical ideal I of R ♭ .It follows that the map is a homeomorphism and its inverse map is q → q ♯ .
Let us discuss the relationship between the above theorem and the main result of [Din22].
Recall that the Berkovich spectrum M(A) of a seminormed ring (A, • ) (introduced for Banach rings in [Ber12]) is the topological space of bounded multiplicative seminorms φ : A → R ≥0 on A, endowed with the weakest topology making each of the maps We note that if there is a topologically nilpotent unit t ∈ A which is multiplicative with respect to the seminorm on A, then, by [Din22, Lemma 2.11], for every continuous multiplicative seminorm φ : A → R ≥0 , there exists s ∈ (0, 1) such that φ s ∈ M(A) (in fact, if the seminorm φ satisfies φ(t) = t , then φ ∈ M(A), see the proof of loc.cit.).
If A is a perfectoid Tate ring, viewed as a uniform Banach ring by choosing a powermultiplicative norm defining the topology on A, then we have a canonical map where the seminorm φ ♭ : Proposition 5.6.Let R be a perfectoid ring of characteristic 0, let π be a perfectoid element of R and choose an element π ♭ of R ♭ such that π ♭♯ is a unit multiple of π in R (this is always possible by [BMS18, Lemma 3.9]).Let I be a p ♭ -adically closed (or, equivalently, π ♭ -adically closed, see Corollary with a power-multiplicative norm • defining its topology such that the element π Proof.By [Din22, Proposition 4.9], for any spectrally reduced ideal I of (R[1/π]) ♭ , the map is inverse to the map J → J ♭ from the set of perfectoid ideals of R to the set of p ♭ -adically closed radical ideals of R ♭ : Indeed, the tilt of the right hand side is equal to the inverse by the above arguments and the inverse image is I because R ♭ /I is π ♭ -torsion-free.By Theorem 3.5, the map I → I ♯ is also inverse to J → J ♭ .
The assertion follows.
Remark 5.7.Note that the space Spec perfd (R ♭ ) of p ♭ -adically closed (or, by Corollary 3.6, of π ♭ -adically closed) prime ideals of R ♭ can be written as If we restrict the tilting map (−) ♭ to Spec of characteristic 0, choose a topologically nilpotent unit π of A such that π p divides p in A • and then apply the above arguments to the perfectoid ring R = A • and its perfectoid element π ∈ A • .We note that this new proof of loc.cit., Theorem 4.16, is more algebraic in nature in that, unlike the previous proof, it does not make use of the homeomorphism of Berkovich spectra from [KL15, Theorem 3.3.7(c)],or the homeomorphism of adic spectra Remark 5.8 (cf.[Kap47] and [Din22]).There exist perfectoid rings R of characteristic 0 such that Spec perfd (R) is not equal to Spec(R) and Spec perfd (R ♭ ) is not equal to Spec(R ♭ ).
An example is as follows.
Let K be a perfectoid field with pseudo-uniformizer π and let X be an infinite totally disconnected compact Hausdorff space.Consider the Banach ring C(X, K) of continuous K-valued functions on X whose topology is defined by uniform convergence on all of X.Then C(X, K) is a perfectoid Tate ring whose pseudo-uniformizer is the constant function x → π which we also denote π and C(X, K) • = C(X, K • ) is a perfectoid ring.Moreover, any closed prime ideal of C(X, K) is maximal by [Kap47, Theorem 29] but C(X, K) has a prime ideal p which is not a maximal one by the example after the proof of [Kap47, Theorem 30].Thus p is a non-closed ideal of C(X, K), in which case is a prime ideal of the perfectoid ring C(X, K • ) which is not closed with respect to the subspace topology induced from C(X, K • ) (if p • was closed, then the quotient C(X, K • )/p • would be π-adically separated and then the quotient Tate ring C(X, K)/p = (C(X, K • )/p • )[1/π] would be Hausdorff, which is a contradiction).If the perfectoid field K is of characteristic 0 and contains Q p , we can choose p as π and then C(X, K • ) is equipped with the p-adic topology.This shows that C(X, K • )/p • is not p-adically complete and, in particular, p • is not perfectoid.
Similarly, in the above situation we can let q be a non-closed prime ideal in the perfect(oid) Tate ring C(X, K ♭ ) and then q • := q ∩ C(X, K ♭• ) is a prime ideal in the perfect(oid) ring C(X, K ♭• ) of characteristic p which is not p ♭ -adically closed.
As an application, we show that a perfectoid ring (not a perfectoid Tate ring) is an integral domain if and only if its tilt is an integral domain.This contains (and is equivalent to) a previous result about perfectoid Tate rings ([Din22, Corollary 4.17]).
Corollary 5.9.Let R be a perfectoid ring of characteristic 0, let π be a perfectoid element in R and let π ♭ ∈ R ♭ be such that π ♭♯ is a unit multiple of π in R. Then R/R[π ∞ ] is an integral domain if and only if R ♭ /R ♭ [(π ♭ ) ∞ ] is an integral domain.In particular, R is an integral domain if and only if its tilt R ♭ is an integral domain.
Proof.By [CS23, 2.1.3],the π ♭ -torsion-free quotient R ♭ /R ♭ [(π ♭ ) ∞ ] is the tilt of the perfectoid ring R/R[π ∞ ].Hence it suffices to prove the assertion in the case when R is π-torsion-free (and thus R ♭ is π ♭ -torsion-free).Since the zero ideal of R is a perfectoid ideal, the assertion follows from Theorem 5.5.
Remark 5.10.Actually, the above corollary is a direct consequence of the previous result [Din22, Corollary 4.17].In fact, as we saw in the proof of Corollary 5.9, it suffices to prove the corollary in the case when R is π-torsion-free (and R ♭ is π ♭ -torsion-free).In this case, we have injective maps R ֒→ R[1/π] and R ♭ ֒→ R ♭ [1/π ♭ ] and we can apply the previous result to conclude.However, our proof does not rely on the results of [Din22].In particular, we obtain a new proof of loc.cit., Corollary 4.17, which is more algebraic in nature in the sense that it does not use homeomorphisms between Berkovich spectra or adic spectra.
is a perfectoid Tate ring, by a theorem of Bhatt and Scholze (see [Din22, Theorem 4.4]).By the proof of loc.cit., (R/J) perfd [1/π] is equal to the uniform completion of (R/J)[1/π].Since perfectoid Tate rings are uniform, we conclude that the map is a perfectoid ring, then, by [BS22, Theorem 3.10], the pair (W (R ♭ /I), (ξ)) is a perfect prism.By loc.cit., Lemma 3.8(2), this entails that W (R ♭ /I) is classically (p, ξ)-adically complete.But then R ♭ /I = W (R ♭ /I)/(p) is classically ξ 0 = p ♭ -adically complete and thus I must be p ♭ -adically closed.Using the above observations, we can show the following one-to-one correspondence between the sets of perfectoid ideals and p ♭ -adically closed radical ideals.Theorem 3.5.Let R be a perfectoid ring of characteristic 0. Then the tilting and untilting operations (−) ♭ and (−) ♯ define a one-to-one correspondence between the set of perfectoid ideals of R and the set of p ♭ -adically closed radical ideals of R ♭ .Proof.By Lemma 3.3, it suffices to show that the maps (−) ♭ and (−) ♯ are inverse to each other.Take any perfectoid ideal J of R. The perfectoid R-algebra R/J is the form W ((R/J) ♭ )/ξW ((R/J) ♭ ) by [CS23, Proposition 2.1.9]or [Dos23, Théorème 2.10].Then the commutative diagram

Definition 5. 2
(cf. [Din22, Definition 2.18]).The topological spectrum of a Tate ring A is the subspace Spec Top (A) := {p ∈ Spec(A) | p is spectrally reduced} of Spec(A), where the topology on Spec Top (A) is the subspace topology induced from the Zariski topology on Spec(A).

[ KL15 ,
Theorem 3.3.7(c)](which is an analogue for Berkovich spectra of [Sch12, Corollary 6.7(iii)]), this map is a homeomorphism M(A) ≃ − → M(A ♭ ), for every perfectoid Tate ring A; we denote by φ → φ ♯ its inverse.The following proposition shows that the untilting operation (−) ♯ introduced in this paper (3.5) generalizes the analytically defined untilting operation (denoted by the same symbol) which was introduced in the context of perfectoid Tate rings in [Din22, Section 4].
by Lemma 5.3.Moreover, by Proposition 5.6, the analogous restriction of the inverse map (−) ♯ is the same as the map (−) ♯ defined in [Din22, Section 4], and thus Theorem 5.5 provides a new proof of the main result of [Din22] (loc.cit., Theorem 4.16): For a perfectoid Tate ring A