arXiv:2012.13984v4 [math.AC] 6 Sep 2021 n let valua and perfectoid for theorem 1.1. applic purity an Theorem co almost give to the local is of the aim proof calculate Our new t to [16]). a However, also only (see used action theorem. was Frobenius purity length almost normalized the the to approach Faltings’ n abrRmr.Nwltu unoratnint h prehi the to The attention algebr our of spaces. turn help us perfectoid let the Now tha with toward Gabber-Ramero. Recall rings step and perfectoid intermediate general problems. an for outstanding was theorem many rings solve valuation to perfectoid used been has n ti tl ot eolcigcasclapoce.Th approaches. purity classical almost recollecting the worth that still think is authors the it [15 that and (see is length proof normalized this the of perfe 6.6.1 of closed properties integrally Theorem fundamental absolutely and on of case 6.6.2 the to Proposition reduction [7, theory ramification eghoe auto igo akoe h otiprata important most The one. rank inte formula of independent pull-back of valuation are a which over proved, are length [7] in explicit not anrsl r given. are result main e od n phrases. and words Key h lotprt hoe sakyt ayfudtoa resul foundational many to key a is theorem purity almost The 2020 In 3.7] Theorem [14, in given is proofs different two of outline An In In 1 h rbnu noopimon (2) endomorphism Frobenius The (1) § § § ,w ieabifrve fvlainrnsadsm properti some and rings valuation of review brief a give we 2, ,w nrdc efcodvlainrnswt their with rings valuation perfectoid introduce we 4, pr almost on results Some theory. ring almost with begin we 3, ahmtc ujc Classification Subject Mathematics ntecs httebs igi efcodvlainring. Frobeniu valuation the perfectoid under a length is normalized ring Faltings’ base of the behavior that result case This the geometry. in and algebra in applications numerous Abstract. V W NTE RO FTEAMS UIYTERMFOR THEOREM PURITY ALMOST THE OF PROOF ANOTHER → eteitga lsr of closure integral the be W sfihul a n lotfiie´etale. finite almost and flat faithfully is Let e hoe 3.9. Theorem see ; h lotprt hoe scnrlt h emtyo perfe of geometry the to central is theorem purity almost The V eapreti auto ig(e ento .)wt field with 4.1) Definition (see ring valuation perfectoid a be lotprt,Foeispl-akfrua omlzdle normalized formula, pull-back Frobenius purity, Almost omlzdlength normalized HNOUEIHR N AUASHIMOMOTO KAZUMA AND ISHIRO SHINNOSUKE EFCODVLAINRINGS VALUATION PERFECTOID V 31,1A5 34,14G45. 13B40, 13A35, 13A18, : nafiiesprbeetnino fields of extension separable finite a in 1. W/pW a nrdcdi 5 n lydarl ntepofof proof the in role a played and [5] in introduced was Introduction 1 ssurjective. is ti auto ig.Ornwpofrelies proof new Our rings. valuation ctoid tutr fti ae osa follows. as goes paper this of structure e skont aesvrldffrn proofs different several have to known is map. s egv e ro yepotn the exploiting by proof new a give We et hnw nrdc h normalized the introduce we Then rest. n 1].Terao o ninclusion an for reason The [16]). and ] iainterm ntesyeo Elkik of style the in theorems aization to ftenraie eght offer to length normalized the of ation hoe a udmna importance fundamental has theorem tilts coz’ ro fteams purity almost the of proof Scholze’s inrings. tion ] hl h eodpofmksa makes proof second the while 2], oooyo eti i ig with rings big certain of homology tr fteapaac fScholze’s of appearance the of story h eto uhr’knowledge, authors’ of best the o pc scnandi the in contained is spect h eal ftepofo the of proof the of details The . h lotprt hoe for theorem purity almost the t sfrpreti pcsadit and spaces perfectoid for ts so h auto topology. valuation the of es hr h rtpofuses proof first the where , jciemdlsta are that modules ojective gh auto ring. valuation ngth, ti pcsadhas and spaces ctoid K → ffractions of L . Frobenius K , 2 S.ISHIRO AND K.SHIMOMOTO

In §5, we prove a result on the flatness of the Frobenius map on valuation rings in mixed characteristic. This result arises from the analysis of the main theorem given in §4. An open question is also formulated.

2. Valuation rings Let K be a field and V be its subring. Then V is called a valuation ring if x ∈ V or x−1 ∈ V for every nonzero element x ∈ K. As another definition of a valuation ring, one can use a valuation of K. Proposition 2.1. Suppose that V is a henselian local domain with field of fractions K, and that L/K is an algebraic extension and let W be the integral closure of V in L. Then W is a local domain.

Proof. Since W is the integral closure of V in L, there exists an inductive system {Wλ}λ∈Λ of finite V -algebras such that W = lim W . Since V is a henselian , every W is a direct sum of −→ λ λ local rings by [6, Theorem 10.1.4]. Moreover, since Wλ is a domain, it is local. Since a direct limit of local rings is local, W is local. And since W is a subring of L, W is also domain.  Proposition 2.2. Let K be a field, let v be a valuation on K, let V be a valuation ring of v and let L/K be an algebraic extension. Let W be the integral closure of V in L. If w is a valuation of L that dominates v, then the valuation ring of L associated to w is isomorphic to the localization Wm for some maximal m ⊂ W . In particular, W is itself a valuation ring under the same hypothesis on V as in Proposition 2.1. Proof. See [3, Chapter VI, §8, Proposition 6] for the proof.  We recall a valuation topology on a field ([3, Chapter VI, §5]). Let K be a field and let v : K → ΓK ∪ {0} be its valuation, where ΓK is the value group of v. Set Vα := {x ∈ K | v(x) > α} for any α ∈ ΓK. Then the valuation topology on K associated to v is the topology on K for which the Vα form a fundamental system of neighborhoods of 0. The valuation ring V is called microbial if it has a height-one prime ideal. Microbial valuation rings are characterized as follows. Proposition 2.3. Let K be a field, let v be a valuation and let V be its valuation ring. Then the following are equivalent. (1) V is a microbial valuation ring. n (2) There exist a nonzero element x ∈ K such that a limit of the sequence of (x )n≥0 is 0. Such an element is called a “topologically nilpotent element”. Proof. This is well-known and the proof is found in [12, Theorem I.1.5.4].  Proposition 2.4. Let V be a microbial valuation ring. Then if ̟ ∈ K× is topologically nilpotent, 1 we have K = V [ ̟ ] and the subspace topology on V coincides with the ̟-adic topology. Proof. See [12, Theorem I.1.5.4].  Remark 2.5. By Proposition 2.4, V is complete with respect to the valuation topology defined by v if and only if V is ̟-adically complete. We often use the following notation: Let A be a ring and let M be an A-. Fix a prime p > 0 and assume that pM = 0. Then M [F ] is defined by setting M [F ] = M as additive groups and the A-module structure on M is given through the restriction of scalars via the Frobenius endomorphism on A/pA. ANOTHER PROOF OF THE ALMOST PURITY THEOREM FOR PERFECTOID VALUATION RINGS 3

3. Almost ring theory 3.1. Basic notions. Our references of almost ring theory are [7] and [9]. We call (V,I) a basic 2 setup if V is a and I is an ideal such that I = I and I ⊗V I is flat. Almost ring theory works under a basic setup (V,I). Definition 3.1. Let (V,I) be a basic setup, let R and S be V -algebras, and let M be a V -module. (1) M is called I-almost zero if IM = 0. We denote this by M ≈ 0 (2) M is called I-almost finitely generated if for every finitely generated ideal I0 ⊆ I, there exists a finitely generated V -module M0 and a V -module maps f0 : M0 → M such that both kernel and cokernel of f0 are annihilated by I0. (3) M is called I-almost finitely presented if for every finitely generated ideal I0 ⊆ I, there exists a finitely presented V -module M0 and a V -module maps f0 : M0 → M such that both kernel and cokernel of f0 are annihilated by I0. V (4) M is called I-almost flat if Tori (M,N) ≈ 0 for any V -module N and i> 0. i (5) M is called I-almost projective if ExtV (M,N) ≈ 0 for any V -module N and i> 0. (6) R → S is called I-almost unramified if S is an I-almost projective S ⊗R S-module. (7) R → S is called I-almost ´etale if it is I-almost unramified and S is an I-almost flat R- module. (8) R → S is called I-almost finite ´etale if it is I-almost ´etale and S is an I-almost finitely presented R-module. Lemma 3.2. Let (V,I) be a basic setup and let M be a V -module. Then M is an I-almost finitely generated module if and only if for every finitely generated ideal I0 ⊆ I, there exists a finitely generated submodule M0 ⊆ M such that I0M ⊆ M0. Proof. This is [7, Proposition 2.3.10].  The following proposition is an almost analogue of Nakayama’s lemma. 1 pn Proposition 3.3. Let V be a commutative ring and let I = n>0(̟ ) be an ideal of V for some S1 regular element ̟ ∈ V with a system of p-th power roots {̟ pn } (so that (V,I) is a basic setup). Let M be a V -module which is ̟-adically separated. If M/̟M is an I-almost finitely generated V/̟V -module, then M is an I-almost finitely generated V -module. Proof. Since M/̟M is I-almost finitely generated, there exists a finitely generated submodule 1 M ′ ⊆ M/̟M such that ̟ pn (M/̟M) ⊆ M ′ for any fixed n > 0 by Lemma 3.2. After writing ′ M = (V/̟V )mn1 + · · · + (V/̟V )mnr , we have 1 pn−1 pn k( pn ) ̟ M ⊆ Vmn1 + · · · + Vmnr + ̟M ⊆ Vmn1 + · · · + Vmnr + \ ̟ M, k>0 where mni is a lift of the element mni and the second inclusion follows from the first inclusion pn−1 1 k( pn ) pn repeatedly. Since M is ̟-adically separated, we have Tk>0 ̟ M = 0. So ̟ M ⊆ Vmn1 +  · · · + Vmnr , as desired. Proposition 3.4. Let (V,I) be a basic setup and let M be an I-almost finitely generated V -module. Then M is almost projective if and only if for any ǫ ∈ I, there exist n(ǫ) ∈ N and V -linear maps M −→uǫ V n(ǫ) −→vǫ M such that vǫ ◦ uǫ = ǫ idM . 4 S.ISHIRO AND K.SHIMOMOTO

Proof. We refer the reader to [7, Lemma 2.4.15] for the proof.  Let V → W be a ring extension. An element x ∈ W is called almost integral over V if there ∞ n exists a finitely generated V -submodule M ⊆ W such that Pn=0 Vx ⊆ M. We say that W is almost integral over V if every element of W is almost integral over V . Now the following lemma holds. We say that V is completely integrally closed in W if every element of W that is almost integral over V belongs to V .

1 pn Lemma 3.5. Let (V,I) be a basic setup with I = Sn>0(̟ ) for a regular element ̟ ∈ V . Suppose that W is a V -algebra such that W is an I-almost finitely generated V -module and W is ̟- ∗ ∗ free. Let (VW ) be the integral closure of V in W . Then W is almost integral over (VW ) . ∗ Proof. By taking the image of V in W , we may assume that V is a subring of W . Let (VW ) be the integral closure of V in W . Since W is an I-almost finitely generated V -module, there is a finitely generated V -module M̟ and a V -homomorphism f̟ : M̟ → W such that Ker(f̟) and Coker(f̟) 1 ∼ 1 1 are annihilated by ̟. In particular, we have M̟[ ̟ ] = W [ ̟ ] and hence W [ ̟ ] is module-finite over 1 ∗ ∗ 1 1 V [ ̟ ]. Since (VW ) is integrally closed in W , it follows that (VW ) [ ̟ ] is integrally closed in W [ ̟ ]. ∗ 1 1 ∗ So we get (VW ) [ ̟ ]= W [ ̟ ]. Note that W is still an I-almost finitely generated (VW ) -module. ∗ Now we prove that W is almost integral over (VW ) . To this aim, pick a nonzero ǫ ∈ I. Then ∗ ∗ there exist a finitely generated (VW ) -module Nǫ and a (VW ) -homomorphism fǫ : Nǫ → W such that Ker(fǫ) and Coker(fǫ) are annihilated by ǫ. This implies that for every element x ∈ W , n ∞ ∗ n ǫx ∈ Im(fǫ) and thus, (ǫx) ∈ Im(fǫ) for all n > 0. Now n=0(VW ) (ǫx) ⊂ Im(fǫ) ⊂ W , ∗ P which implies that ǫx is almost integral over (VW ) . By applying [13, Lemma 2.3], we find that 1 2 2 ∗ k k ∗ 2 pk ∗ ǫ x = ǫ(ǫx) ∈ (VW ) . Let us choose ǫ = ̟ p . Then ̟ p x ∈ (VW ) and ̟ x ∈ (VW ) . Since ∗ 1 ∗  k ≥ 0 is arbitrary and x ∈ (VW ) [ ̟ ], it follows that x is almost integral over (VW ) , as desired. Lemma 3.6. Let V be a valuation ring of rank one. If V → W is an almost integral extension and W is an , then V → W is an integral extension. Proof. Notice that Q(V ) → Q(W ) is an algebraic field extension. Let U be the integral closure of V in Q(W ) and let M-Spec(U) denote the set of all maximal ideals. Then for any m ∈ M-Spec(U), Um is a valuation ring of rank one by Proposition 2.2. Now we can write U = Tm∈M-Spec(U) Um by [11, Theorem 4.7]. Since Um is completely integrally closed in Q(Um), U is completely integrally closed in Q(W ). Since V → W is an almost integral extension and W ⊆ Q(W ), it follows that W ⊆ U. Therefore every element of W is integral over V .  3.2. Normalized length over a valuation ring of rank one. Let us briefly recall the normalized length that is defined in the of torsion modules over a valuation ring of rank one. So let V be a valuation ring of rank one with a unique maximal ideal mV , which is assumed to be either discrete or non-discrete. Denote by Mod{mV } the category of V -modules with support at the m maximal ideal { V }. For M ∈ Mod{mV }, one can define a well-behaved length

λ∞(M) ∈ R≥0 ∪ {∞}.

If M does not belong to Mod{mV }, then put λ∞(M)= ∞ for completeness of logic. Now we recall the definition and some properties. For more details, see [8], [9], [15] and [16].

First of all, we start with finitely generated torsion V -modules. Let M ∈ Mod{mV } be a finitely a generated module. Then the 0-th Fitting ideal F0(M) is well-defined ([7, Lemma 2.3.20]). And let Div(V a) be the topological group of non-zero fractional ideals of V a defined in [7, 6.1.16] and let ΓV be the completion of the value group of V with respect to some uniform structure defined in c ANOTHER PROOF OF THE ALMOST PURITY THEOREM FOR PERFECTOID VALUATION RINGS 5

[7, 6.1.18]. Then for every non-zero ideal I ∈ Div(V a), there exist some filtered ordered set S and principal ideals {Ji | i ∈ S}, which converge to I. Let γi be the value of a generator of Ji. Then {γi} converge to some elementγ ˆ ∈ ΓV . So assigning I 7→ |I| :=γ ˆ, we obtain the homomorphism a c of topological groups | · | : Div(V ) → ΓV . Moreover, this homomorphism | · | cis an isomorphism by [7, Lemma 6.1.19]. Now remarking a a F0(M) ∈ Div(V ), we can define a λ∞(M) := |F0(M) |∈ log ΓV , c where log ΓV is the group regarding the multiplicative group ΓV as the additive group. Fix an c →֒ embedding log ΓV ֒→ R≥0 (Since V is a rank one valuation ring, there exists an embedding ΓV c R≥0). Then we define the function λ∞(M) ∈ R≥0.

Next let M ∈ Mod{mV } be an arbitrary module. Since we have the inequality λ∞(N) ≤ λ∞(M) for a finitely generated submodule N ⊆ M, we define the function λ∞(M) ∈ R≥0 as follows: λ∞(M) := sup λ∞(N) N ⊆ M is a finitely generated V -module ∈ R≥0 ∪ {∞}.

The normalized length has the following properties. Proposition 3.7. The following assertions hold.

(1) Let 0 → L → M → N → 0 be a short exact sequence of V -modules in Mod{mV}. Then

λ∞(M)= λ∞(L)+ λ∞(N).

(2) For the above short exact sequence and a, b ∈ mV ,

λ∞(abM) ≤ λ∞(aL)+ λ∞(bN).

(3) If λ∞(M) = 0, then M is mV -almost zero, and if M is contained in a finitely presented

V -module in Mod{mV}, then M = 0. m (4) If a V -module M is an V -almost finitely generated module in Mod{mV}, then λ∞(bM) < ∞ for any b ∈ mV . Proof. (1) is [9, Proposition 14.5.12], (2) is [9, Lemma 14.5.80], (3) is [9, Proposition 14.5.12] and [9, Theorem 14.5.75], and (4) is [9, Lemma 14.5.83]. 

Remark 3.8. Even if λ∞(M) = 0, it may not be true that M = 0. Such an example is provided by M = V/mV . The most important part of normalized length is contained in the following theorem. Theorem 3.9 (Frobenius pull-back formula). Suppose that M is a V/pV -module. Then 1 λ (M [F ])= · λ (M). ∞ p ∞ Here, M [F ] is regarded as a V -module through the restriction of scalars via the Frobenius endomor- phism on V/pV . Proof. This is [8, Proposition 4.3.15].  Proposition 3.10. Assume that V is a valuation ring of rank one with field of fractions K and a basic setup (V,I). Let W be the integral closure of V in a finite separable extension of K. Then W is an I-almost finitely presented V -module. Proof. The proof uses only basic properties of trace mapping and Fitting ideals. For details, we refer the reader to [7, Proposition 6.3.8].  6 S.ISHIRO AND K.SHIMOMOTO

4. The almost purity theorem in perfectoid valuation ring 4.1. Perfectoid valuation rings. We introduce perfectoid valuation rings. Definition 4.1. Let p > 0 be a prime and let V be a valuation ring such that pV 6= V . We say that V is a perfectoid valuation ring if the following hold: (1) The valuation of V is of rank one and not discrete. (2) V is complete in the valuation topology. (3) The Frobenius endomorphism on V/pV is surjective.

The definition includes the case Fp ⊂ V , in which case V is a perfect valuation ring. Remark that (V, mV ) is a basic setup. The following proposition follows from [14, Lemma 3.2] Proposition 4.2. Let V be a perfectoid valuation ring. Then the followings are hold. (1) There exists an element ̟ ∈ V such that ̟p = pu for some u ∈ V ×. (2) For an element ̟ ∈ V as in (1), V is ̟-adically complete and separated . Next we define the tilt for a ring. Definition 4.3. Let V be a ring and let p> 0 be a prime number. Then F F V ♭ := lim{· · · −−→V V/pV −−→V V/pV } ←− is called the tilt of V , where FV is the Frobenius endomorphism on V/pV . The tilting operation is well-behaved for perfectoid valuation rings. See [14, Lemma 3.4] for the next proposition. Proposition 4.4. Let V be a perfectoid valuation ring and let ̟ ∈ V be an element as in Propo- sition 4.2. The following assertions hold. (1) There exists an isomorphism lim V =∼ V ♭ as multiplicative monoids. Moreover, for ←−x7→xp an element ̟ ∈ V as in Proposition 4.2, one can choose a compatible system of elements 1 1 n ♭ ♭ {̟ p }n≥0 in V such that ̟ := (..., ̟ p , ̟, 0) ∈ V is well-defined. (2) V ♭ is a perfectoid valuation ring and ̟♭-adically complete and separated, where ̟♭ is an element defined as in (1). (3) We have an isomorphism F F V ♭ ∼ lim{· · · −−→V V/̟V −−→V V/̟V }. = ←− (4) There is a short exact sequence

×̟♭ pr 0 → V ♭ −−−→ V ♭ −−→V V/̟V → 0,

where prV is the projection onto the first factor. Moreover, this short exact sequence gives an isomorphism V/̟V =∼ V ♭/̟♭V ♭. 4.2. Proof of the main theorem. We recall that a ring map f : A → B is weakly ´etale if both A → B and the diagonal map µB : B ⊗A B → B are flat (The latter is called weakly unramified).

Lemma 4.5. ([7, Theorem 3.5.13.]) Let f : A → B be a ring map of Fp-algebras. If the map f is [F ] [F ] weakly ´etale, then FB/A : A ⊗A B → B is an isomorphism. Proof. This is [7, Theorem 3.5.13].  ANOTHER PROOF OF THE ALMOST PURITY THEOREM FOR PERFECTOID VALUATION RINGS 7

Lemma 4.6. Let f : A → B be a ring homomorphism. Then f is surjective if and only if there exists a faithfully flat A-algebra C such that C → C ⊗A B is surjective. Proof. If f is surjective, we just take C = A. If there exists a faithfully flat A-algebra C such that C → C ⊗A B is surjective, C ⊗A Coker f = 0. Since C is faithfully flat, we have Coker f = 0.  Lemma 4.7. Let (V,I) be a basic setup as in Proposition 3.3 and let M be an almost finitely generated V -module. If M is an almost projective module, then the following holds. Assume that φ : N → M is a homomorphism of V -modules such that Coker φ is killed by ̟α for a fixed positive rational number α ∈ Q>0. Then for any k > 0, there exists g : M → N such that 1 k +2α φ ◦ g = ̟ p idM . Proof. Take the exact sequence N → M → Coker φ → 0. Let M ′ be the image of φ. Then we obtain the short exact sequence 0 → K → N → M ′ → 0, which induces the long exact sequence ′ ′ ′ ′ 1 ′ 0 → HomV (M , K) → HomV (M ,N) → HomV (M , M ) → ExtV (M , K) →··· . Next we take 0 → M ′ → M → M/M ′ → 0 and it induces the long exact sequence 1 1 ′ 2 ′ ···→ ExtV (M, K) → ExtV (M , K) → ExtV (M/M , K) →··· . 1 pk 1 α 2 ′ Then ̟ ExtV (M, K) = 0 for any k > 0 by assumption and ̟ ExtV (M/M , K) = 0. So we 1 +α pk 1 ′ obtain ̟ ExtV (M , K) = 0. Considering the first long exact sequence, we can find an element 1 +α ′ pk α ′ α f ∈ HomV (M ,N) such that φ ◦ f = ̟ idM ′ . Finally, since ̟ M ⊂ M , we obtain g = f ◦ ̟ , as desired.  Proposition 4.8. Let (V,I) be a basic setup as in Proposition 3.3 and let M be an almost finitely generated V -module such that M/̟nM is an almost projective V/̟nV -module for any n > 0. Suppose that M and V are ̟-adically complete. Then M is an almost projective V -module. Proof. Since M is almost finitely generated by assumption, we can find a V -module homomorphism 1 n pn : Pn → M for any n > 0 such that Pn is a finite free module and ̟ p Coker pn = 0. Remark that Pn is ̟-adically complete. Fix an integer k > 0. Since M/̟M is almost projective, there is a V/̟V -module map sn1 : M/̟M → Pn/̟Pn such that 2 + 1 pn pk (4.1) (pn mod ̟) ◦ sn1 = ̟ idM/̟M 2 2 by Lemma 4.7. We will construct an almost splitting sn2 : M/̟ M → Pn/̟ Pn out of sn1 . Set −1 N2 := π (Im(sn1 )), where π : Pn → Pn/̟Pn. Then N2 is a submodule of Pn and the induced 2 2 map N2 → M induces t1 : N2/̟N2 → M/̟M and t2 : N2/̟ N2 → M/̟ M. By (4.1), we 2 1 2 1 pn + k pn + k obtain ̟ p Coker t1 = 0. Since Coker t2/̟ Coker t2 =∼ Coker t1, we obtain ̟ p Coker t2 = ̟ Coker t2. By using this identity repeatedly, we get 2 1 2 1 pn + k l−(l−1) pn + k ̟ p Coker t2 = ̟ p  Coker t2. 2 1 n + 2 1 p pk 2 Since l − (l − 1) pn + pk  ≥ 2 for l ≫ 0, we have ̟ Coker t2 = 0. Since M/̟ M is 2 2 2 2 an almost projective V/̟ V -module, there is a V/̟ V -module map g : M/̟ M → N2/̟ N2 4 3 n + p pk such that t2 ◦ g = ̟ idM/̟2M by Lemma 4.7. Then the composition of g with the natural 2 2 map N2/̟ N → Pn/̟ Pn will yield sn2 . In a similar manner, we can construct snl+1 from snl inductively. Finally, P and M are ̟-adically complete, so we obtain s = lim s such that n n l>0 nl 4 3 ←− pn + k pn ◦ sn = ̟ p idM . As n, k are chosen arbitrarily, we conclude that M is almost projective.  8 S.ISHIRO AND K.SHIMOMOTO

Theorem 4.9. Let V be a perfectoid valuation ring with field of fractions K, and let W be the integral closure of V in a finite ´etale extension K → L. (1) W is also a perfectoid valuation ring. (2) V → W is faithfully flat and almost finite ´etale.

Proof. First we prove the both assertions in the prime characteristic p> 0 case. Remark that W is a valuation ring of rank one and its valuation is induced by the valuation of V . In order to prove the completeness of W , it suffices to prove that W is complete and separated in the ̟-adic topology, where ̟ ∈ V is an element that defines the adic topology of V . Since ̟ is topologically nilpotent in W , W is equipped with the ̟-adic topology. Applying [13, Proposition 4.1], we find that W is also ̟-adically complete and separated. Finally, since K is perfect and K ֒→ L is a finite ´etale extension, it follows that L is perfect and W is thus perfect. The Frobenius endomorphism on W/pW is surjective. So (1) holds. Next, since V → W is flat and local, it is faithfully flat. So it suffices to show that V → W is almost unramified. Since V and W are microbial valuation rings, 1 1 we have K = V [ ̟ ] and L = W [ ̟ ]. There are several ways for proving the almost unramifiedness of V → W , which we briefly mention below and indicate the sources. • The almost purity theorem in prime characteristic. The proof of this fact uses only basic facts on the trace maps. The details are found in [7, Theorem 3.5.28]. • Ramification theory and differentials. This proof seems to work for only valuation rings. The proof is found in [7, Proposition 6.6.2]. • Galois theory of commutative rings. This idea was suggested in Andr´e’s paper (see [1, Proposition 3.4.2]). So the theorem is proved in the equal characteristic p> 0 case in an elementary way. Henceforth, we assume that K has characteristic 0. (1): By the same reasoning as in the characteristic p > 0 case, W is a non- of rank one and complete in the valuation topology. So it suffices to prove that the Frobenius endomorphism on W/pW is surjective. First, note that the Frobenius surjectivity on V/pV implies that the residue field of V is perfect. Noting that the strict henselization V → V sh is an ind-´etale sh ′ sh local extension, V is a valuation ring of rank one and FV sh is surjective. Put W := V ⊗V W . Then W ′ is a reduced and normal ring such that W → W ′ is ind-´etale. In particular, the relative Frobenius map

[F ] ′ ′ ′ ′ [F ] (4.2) (W/pW ) ⊗W/pW W /pW → (W /pW )

′ ′ is an isomorphism. So Q(W ) =∼ L1 ×···× Ln for some n> 0 and W =∼ W1 ×···× Wn, where each sh sh sh Wi is the integral closure of V in Li. Noticing the Frobenius surjectivity on V /pV , suppose ′ that we have proved that the Frobenius endomorphism FWi is surjective. Then FW is surjective and in view of Lemma 4.6 and (4.2), FW is surjective. So after replacing V by the completion V sh, we may assume that the residue field of V is algebraically closed. Let ̟ be the element of V providedd by Proposition 4.4. Set

A := V/̟V, B := W/̟W and C := W/pW.

Then the Frobenius endomorphism on C induces an injection B ֒→ C[F ], and this injection induces the exact sequence of A-modules:

F (4.3) 0 → B −−→W C[F ] → N → 0, ANOTHER PROOF OF THE ALMOST PURITY THEOREM FOR PERFECTOID VALUATION RINGS 9

1 where N is the cokernel of F W . Our goal is to show that N is almost zero. To this aim, let us p [F ] fix an arbitrary element b ∈ mV . Then F W restricts to an injection bB → (b C) , which gives another exact sequence:

F W p [F ] (4.4) 0 → bB −−→ (b C) → Nb → 0 with Nb its cokernel. Combining (4.3) and (4.4), we obtain a commutative diagram:

F W p [F ] 0 −−−−→ bB −−−−→ (b C) −−−−→ Nb −−−−→ 0       y y y F 0 −−−−→ B −−−−→W C[F ] −−−−→ N −−−−→ 0 whose vertical maps in the left and in the center are natural injections. By the snake lemme, it follows that the kernel and cokernel of the A-module map Nb → N are annihilated by b. Remark m that we have B ∈ Mod{mV } and λ∞(bB) < ∞ for any b ∈ V by Proposition 3.7 and Proposition 3.10. Taking the length, we get p [F ] (4.5) λ∞((b C) )= λ∞(bB)+ λ∞(Nb). It follow from Theorem 3.9 that p [F ] −1 p (4.6) λ∞((b C) )= p · λ∞(b C). Since C admits a filtration given by Fil•(W ) := (̟kC | 0 ≤ k ≤ p), each of whose graded component of the associated graded module gr•(C) is isomorphic to B, we deduce from Proposition 3.7 that p (4.7) λ∞(b C) ≤ p · λ∞(bB). Combining (4.6) and (4.7), we obtain p [F ] λ∞((b C) ) ≤ λ∞(bB).

Then this together with (4.5) implies that λ∞(Nb) = 0. That is to say, mV Nb = 0. On the other hand, both kernel and cokernel of Nb → N are annihilated by b and b ∈ mV is arbitrary, we find that mV N = 0. Since V/mV is algebraically closed and the unique maximal ideal of W is mV W (this follows from the fact that the valuation of V is non-discrete of rank one), it follows that V/mV → W/mV W is a trivial extension. In other words,

(4.8) W = mV W + V.

Pick an arbitrary element c ∈ W . Then (4.8) gives us an element d ∈ V such that c − d ∈ mV W . Let c − d be the image of c − d under W ։ W/pW . Then since mV N = 0, it follows that c − d is contained in the subring Im(FW ) ⊂ W/pW . However, as the Frobenius endomorphism on V/pV is surjective, we have d ∈ V/pV ⊂ Im(FW ). Hence c ∈ Im(FW ) and Im(FW )= W/pW , as desired. (2): By the same reasoning as in the positive characteristic case, it is true that V → W is faithfully flat. And by Proposition 3.10, W is an almost finitely presented V -module. Hence it suffices to show that V → W is almost unramified. By the assertion (1) and Proposition 4.4 (3), we have (4.9) V/̟V =∼ V ♭/̟♭V ♭ and W/̟W =∼ W ♭/̟♭W ♭. Then using (4.9), we see that V ♭/̟♭V ♭ → W ♭/̟♭W ♭ is almost finitely generated as a V ♭-module homomorphism. So V ♭ → W ♭ is almost finitely generated by Proposition 3.3. We claim that

1One can also show that N is almost zero by Proposition 5.1. See §5. 10 S.ISHIRO AND K.SHIMOMOTO

♭ ♭ ♭ ∗ ♭ ♭ V → W is an integral extension. To this aim, let (VW ♭ ) be the integral closure of V in W . ♭ ∗ ♭ ♭ ♭ Then (VW ♭ ) is an integrally closed domain. Since V is ̟ -adically complete, it is ̟ -adically ♭ ∗ ♭ ♭ ∗ Henselian and it follows that (VW ♭ ) is a local domain that is integral over V . Thus, (VW ♭ ) is a ♭ ∗ ♭ valuation ring of rank one and (VW ♭ ) → W is almost finitely generated. It follows from Lemma ♭ ∗ ♭ 3.5 that (VW ♭ ) → W is almost integral. Thus, it is an integral extension by Lemma 3.6. We conclude that V ♭ → W ♭ is integral. ♭ ♭ ♭ As V is a perfect Fp-algebra, Q(V ) → Q(W ) is finite separable. Moreover, we remark that W ♭ is the integral closure of V ♭ in Q(W ♭) since W ♭ is a valuation ring, hence normal. Then the discussion in the beginning of the proof gives that V ♭ → W ♭ is almost finite ´etale. This fact, combined with (4.9), implies that W/̟W ⊗V/̟V W/̟W → W/̟W is almost projective. On the n n other hand, the almost finite generatedness of V → W implies that W/̟ W ⊗V/̟nV W/̟ W → W/̟nW is almost finitely presented for n > 0. By [7, Proposition 2.4.18 and Theorem 5.2.12(i)], n n n 2 W/̟ ⊗V/̟n W/̟ → W/̟ is almost projective for any n > 0. Applying [13, Proposition 4.1], we find that W ⊗V W is ̟-adically complete and separated, so W is an almost projective W ⊗V W -module in view of Proposition 4.8. It implies that W is almost unramified over V , as desired. 

5. Frobenius map on valuation rings

One of the main results of the paper [4] states that if V is a valuation domain such that Fp ⊂ V , then the Frobenius endomorphism on V is faithfully flat. We remark that any perfect Fp-algebra has this property. In the mixed characteristic case, we have the following result. Proposition 5.1. Let V be a valuation domain of mixed characteristic p> 0. Assume that there is an element ̟ ∈ V together with an element u ∈ V × such that ̟p = pu. Then the Frobenius endomorphism on V/pV induces a faithfully flat map V/̟V → (V/pV )[F ].

Before the proof, we apply this for Theorem 4.9(1), in particular the cokernel N of FW as in Theorem 4.9(1) is almost zero. Keeping notation as in Theorem 4.9, we know that A → B → C[F ] [F ] [F ] p [F ] is flat, so that we have bA ⊗A C = bC = (b C) . By applying base change to (4.3), we have p [F ] an exact sequence 0 → bB → (b C) → bA ⊗A N → 0, and the length computation yields that bA ⊗A N and hence N are almost zero. Proof of Proposition 5.1. This proof is inspired by [8, Lemma 4.3.9]. Let I ⊂ V be an arbitrary nonzero finitely generated ideal. By [7, Remark 6.1.12(i)], we may assume that I = aV , where V/̟V [F ] ̟V ⊂ aV . By [11, Theorem 7.8], it suffices to show that Tor1 V/I, (V/pV )  = 0. Then the short exact sequence 0 → a(V/̟V ) → V/̟V → V/aV → 0 induces an exact sequence:

V/̟V [F ] [F ] φ [F ] 0 → Tor1 V/aV, (V/pV )  → a(V/̟V ) ⊗V/̟V (V/pV ) −→ (V/pV ) [F ] → V/aV ⊗V/̟V (V/pV ) → 0. Therefore, it suffices to show that the map φ is injective. In other words, we show that the natural map [F ] [F ] ∼ p [F ] (5.1) a(V/̟V ) ⊗V/̟V (V/pV ) → a(V/pV ) = (a V/pV )

2 One could alternatively apply [7, Theorem 5.2.12(ii)]. However, almost finite presentedness of W ⊗V W → W allows us to use [7, Theorem 5.2.12(i)] whose proof is relatively simple. ANOTHER PROOF OF THE ALMOST PURITY THEOREM FOR PERFECTOID VALUATION RINGS 11 is an isomorphism. Since ̟V ⊂ aV , there is an element b ∈ V for which ̟ = ab. Then the natural a surjection V −→ a(V/̟V ) yields an isomorphism V/bV =∼ a(V/̟V ). In view of the identities ̟p = apbp and ̟p = pu with u ∈ V ×, we get [F ] ∼ [F ] ∼ [F ] [F ] a(V/̟V ) ⊗V/̟V (V/pV ) = V/bV ⊗V/̟V (V/pV ) = (V/pV ) /b(V/pV ) =∼ (V/bpV )[F ] =∼ (apV/pV )[F ], which is (5.1). 

This proposition is partly inspired by [10, Theorem 3.2] which discusses the regularity of Noe- therian rings via the Frobenius map. Indeed, Proposition 5.1 would follow if one knows that V can be written as a colimit of regular subrings. This is expected to be true in general, as it is known as a consequence of Zariski’s uniformization theorem. In [17], Zariski proved that any valuation ring containing Q is described as a colimit of smooth Q-subalgebras. See also [2]. Suppose that V = lim A , where A are regular. Without loss of generality, we may even assume −→ i i that ̟ ∈ Ai. But then the Frobenius induces a faithfully flat map Ai/̟Ai → Ai/pAi in view of [10, Theorem 3.2]. The same holds for lim A /̟A → lim A /pA . Therefore, V/̟V → V/pV is −→ i i −→ i i faithfully flat. Finally we end this article with the following question.

Question 1. Is there a distinguished class of (non-Noetherian) rings V for which the conclusion of Proposition 5.1 holds, other than the case that V is a regular ring, a valuation ring, or a ring whose p-adic completion is an integral perfectoid ring?

Acknowledgement . The authors are grateful to the referee for reading the paper very carefully and providing many constructive comments. The second author was partially supported by JSPS Grant-in-Aid for Scientific Research(C) 18K03257.

References [1] Y. Andr´e, Le lemme d’Abhyankar perfectoide, Publ. Math. I.H.E.S. 127 (2018), 1–70. [2] B. Antieau and R. Datta, Valuation rings are derived splinters, to appear in Math. Zeitschrift. [3] N. Bourbaki, Commutative Algebra, Chapter 1–7, Hermann, 1972. [4] R. Datta and K. Smith, Frobenius and valuation rings, Algebra & Number Theory 10 (2016), 1057–1090. [5] G. Faltings, Almost ´etale extensions, Cohomologies p-adiques et applications arithm´etiques, II. Ast´erisque 279 (2002), 185–270. [6] T. J. Ford, Separable algebras, Graduate Studies in Mathematics 183, American Math. Society. [7] O. Gabber and L. Ramero, Almost ring theory, Lecture Notes in Mathematics 1800, Springer. [8] O. Gabber and L. Ramero, Foundations of p-adic Hodge theory–Second Release, arXiv:math/0409584v3. [9] O. Gabber and L. Ramero, Foundations for almost ring theory, arXiv:math/0409584. [10] J. Lurie, Level Structures on Elliptic Curves, available at https://www.math.ias.edu/~lurie/. [11] H. Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics 8, Cambridge University Press, Cambridge (1986). [12] S. Morel, Adic spaces, lecture notes available at http://perso.ens-lyon.fr/sophie.morel/. [13] K. Nakazato and K. Shimomoto, Finite ´etale extension of Tate rings and decomposition of perfectoid algebras, arXiv:math/2002.03511. [14] P. Scholze, Perfectoid spaces, Publ. Math. de l’IHES´ 116 (2012), 245–313. [15] P. Scholze, p-adic Hodge theory for rigid-analytic varieties, Forum of Mathematics, Pi, 1, e1, 2013. [16] K. Shimomoto, The Frobenius action on local cohomology modules in mixed characteristic, Compositio Math. 143 (2007), 1478–1492. [17] O. Zariski, Local uniformization on algebraic varieties, Ann. of Math. 41 (1940), 852–896. 12 S.ISHIRO AND K.SHIMOMOTO

Department of Mathematics, College of Humanities and Sciences, Nihon University, Setagaya-ku, Tokyo 156-8550, Japan Email address: [email protected]

Department of Mathematics, College of Humanities and Sciences, Nihon University, Setagaya-ku, Tokyo 156-8550, Japan Email address: [email protected]