6
$\begingroup$

Say $K$ is a complete nonarchimedean extension of $\mathbf{Q}_p$, i.e., it is the fraction field of a $p$-adically complete and $p$-torsionfree rank $1$ valuation ring. Assume that the residue field of $K$ is perfect, and that one of the following two conditions holds:

a) $\mu_{p^\infty} \in K$.
b) $p$ admits a compatible system of $p$-power roots in $K$.

Is $K$ perfectoid?

Improve this question
$\endgroup$

1 Answer 1

Reset to default
1
$\begingroup$

Not necessarily. For example, if you take any perfectoid field $K$, the $p$-adic completion of the field $K(T)$ won't be perfectoid.

Improve this answer
$\endgroup$
2
  • $\begingroup$ Thanks! Can you clarify what you mean by the $p$-adic completion of $K(T)$? In particular, what is the valuation ring? $\endgroup$
    – clueless
    Commented May 12, 2018 at 15:13
  • $\begingroup$ The $p$-adic completion of $K(T)$ will include power series such that the coefficients converge to 0 $p$-adically. For example, something like $\sum_0^\infty p^nT^n$ will be there. The valuation ring will depend on the topology you put on $K(T)$. If you put the $p$-adic topology on, it'll be the $p$-adic completion of $\mathcal O_K(T)$. In particular, things like $1/T$ will be in the valuation ring. If you put the $(p,T)$-adic topology on, it'll be the $p$-adic completion of $\mathcal O_K[T]$. $\endgroup$
    – user124375
    Commented May 13, 2018 at 16:22

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .