Abhyankar valuations, Prüfer-Manis valuations, and perfectoid Tate algebras

Let $K$ be a perfectoid field. We describe all quotient fields of the perfectoid Tate algebra\begin{equation*}T_{n,K}^{$\text{perfd}$}=K\langle X_{1}^{1/p^{\infty}},\dots, X_{n}^{1/p^{\infty}}\rangle\end{equation*}in any number $n\ge 1$ of variables in terms of (completed perfections of) the nonarchimedean fields $K_{r_1,\dots ,r_l}$ occuring in Berkovich geometry. We prove that every quotient field\begin{equation*}L=T_{n,K}^{$\text{perfd}$}/\mathfrak{m}\end{equation*}is a so-called $\mathit{\text{semi-immediate}}$ extension of $K_{r_1,\dots ,r_l}^{\text{perfd}}$ for some\begin{equation*}l\leq\min(n-$\text{ht}$(\mathfrak{m}^{\flat}\cap (T_{n,K^{\flat}})^{$\text{coperf}$}),n-1), \end{equation*}which pins down the value groups and the residue fields of the possible quotient fields $L$. Moreover, we show that if\begin{equation*}\mathfrak{m}^{\flat}\cap(T_{n,K^{\flat}})^{$\text{coperf}$}\neq 0,\end{equation*} at least one of the radii $r_i$ has to be irrational, i.e.,\begin{equation*}r_{i}\not\in\sqrt{|K^{\times}|}.\end{equation*} The main ingredient in our proof is the notion of $\mathit{\text{topologically}}\mathit{\text{simple}}$ valuations, which generalize type (IV) points in the classification of points on $\text{Spa}(K⟨T⟩)$ to the case of higher-dimensional polydisks. We also consider $\mathit{\text{rational}}\mathit{\text{Abhyankar}}$ valuations and $\mathit{\text{irrational}}\mathit{\text{Abhyankar}}$ valuations, which generalize type (II) and (III) points, respectively. We deduce our main result from a description of topologically simple absolute values and of Abhyankar absolute values on usual Tate algebra. Along the way, we also show that our topologically simple valuations are the same as Prüfer-Manis valuations in the sense of Knebusch-Zhang. Finally, we also show that all allowed possibilities for the quotient fields $L$ do indeed occur (i.e., the above bound $l\le n-1$ is optimal) by generalizing an example of Gleason.