2
$\begingroup$

Let $K$ be a finite extension of $Q_p$. Let $q$ be the size of the residue field of $K$, and let $\pi$ be a uniformizer of $K$. Then $q/\pi$ is some power of $\pi$ up to a unit $u$ in $K$, say $q/\pi = u\pi^n$. The question is does there exist a power series or even a Laurent series $f(X)$ with coefficients in $K$ such that $f$ takes $(q/\pi)^i$ to $\pi^i$ for each $i \ge 0$? If such $f$ exists then it is essentially acting as an $n$-th root function on certain values in the maximal ideal of $\mathcal{O}_K$.

If it is not the case that such $f$ exists then we can relax the conditions a little and ask a similar question: for each $N > 0$ does there exist $f_N(X)$ such that $f_N((q/\pi)^i) = \pi^i$ for all $i \le N$? A positive answer to this question would be just as useful to me as a positive answer to the first question.

I have tried to find such functions by taking $\text{exp}_p(\frac{1}{n}\text{log}_p(1+X))$, the only issue with doing this is that it only allows for taking $n$-th roots on principal units, while I need to take $n$-th roots of values in the maximal ideal.

$\endgroup$
2
  • 1
    $\begingroup$ "Then $q/\pi$ is some power of $\pi$", why is that? The two could differ by a unit. $\endgroup$
    – Wojowu
    Commented Oct 11, 2021 at 15:36
  • $\begingroup$ Thank you for noticing. I am looking for series which take on the values as described, so we're not quite taking nth roots unless we make the assumption they don't differ by a unit. If making that assumption makes the proof any easier though, it could be a good starting point. $\endgroup$
    – user474
    Commented Oct 11, 2021 at 17:21

0

You must log in to answer this question.