In B. Bhatt's lecture notes[1], Remark 4.2.5 says
... $\operatorname{Ext}_R^2(k,R)$ is non-zero if $K$ is not spherically complete.
which amounts to the following pure algebraic question.
Statement I want to prove: Let $K$ be a non-Archimedean complete valued field with rank 1 valuation (i.e. the value group is an ordered subgroup of $\mathbb{R}$ or equivalently its absolute value on $K$ is real-valued function, see notes[2] ). $R$ be its valuation ring with $R:=\{x\in K, |x|\leq1\}$, and $\mathfrak{m}$ be the maximal ideal, $k:=R/\mathfrak{m}$ is the residue field. The above assertion becomes if $K$ is not spherically complete, then the group $\operatorname{Ext}_R^2(k,R)\neq0$.
I'm wondering how to show the above proposition. Obviously from the long exact sequence obtained from $0\to\mathfrak{m}\to R\to k\to0$ one may identify $\operatorname{Ext}_R^2(k,R)=\operatorname{Ext}_R^1(\mathfrak{m},R)$ where the later corresponds to the equivalent classes of extensions of $\mathfrak{m}$ by $R$ (i.e. short exact sequence $0\to R\to X\to\mathfrak{m}\to0$ with $X$ an $R$-module to be determined).
Some clues of mine:
If R is a discrete valuation ring then complete=spherically complete there's nothing to prove. So it remains only the case where $\mathfrak{m}$ is infinitely generated, $R$ is non-noetherian.
In this survey[3] (see 6.1-6.3) and reference there, one knows for a rank 1 complete valuation ring, spherically complete=maximally complete=maximal=almost maximal=linearly compact.
And in this paper[4], theorem 9 establishes the equivalence of the following two conditions:
- $R$ is a maximal valuation ring.
- $\operatorname{Ext}_R^1(A,S)$ for $A$ any torsion-free module and $S$ any torsion-free module of rank 1 (hence is isomorphic to $R$ as a module).
So if $R$ is maximal valuation ring, we have $\operatorname{Ext}_R^1(\mathfrak{m},R)=0$ for free by condition 2. While I'm trying to figure out if $\operatorname{Ext}_R^1(\mathfrak{m},R)=0$ implies $\operatorname{Ext}_R^1(A,R)$ for any torsion-free module $A$ but have trouble getting over it.
Also I'm wondering whether a nontrivial immediate extension of $K$ gives a nontrivial extension of $\mathfrak{m}$ by $R$. Or whether a unsolvable pairwise solvable congruence equations gives rise to a nontrivial extension.
[1]Bhatt. Lecture notes for perfectoid spaces, 2017.
[2]Conrad. Lecture notes on space of valuations.
[3]Angel Barría Comicheo, Khodr Shamseddine. Summary on non-Archimedean valued fields, Contemp. Math., 704 , 1–36. 2018.
[4]Matlis, E. Injective Modules Over Prufer Rings. Nagoya Mathematical Journal, 15, 57-69. 1959.