6

Let $F$ be an algebraic function field in one variable over the finite field $\mathbb{F}_{p}$. In particular, $F$ is not perfect. Let $a \in F-F^p$ and $$f(Y)=Y^p - a \in F[Y]$$ be a purely inseparable (and irreducible) polynomial. Let $\mathcal{P}$ be a place of $F$, so we can consider the $\mathcal{P}$-adic distance.

I have two related questions:

1) Could a $\mathcal{P}$-adic element (an element of the completion of $F$ at $\mathcal{P}$) be a root of $f$? Hensel's lemma does not apply here since $f' \equiv 0$ in characteristic $p$.

2) If not, how well can an element of $F$ approximate a root of $f$ with respect to some choice of distance?

The quantity I am interested in is $$\max_{x \in F_{\mathcal{P}}} \quad \upsilon_{\mathcal{P}}(x^p-a)$$

Can we say something about $\max_{x \in F_{\mathcal{P}}} \upsilon_{\mathcal{P}}(x^p-a)$ for "most" places $\mathcal{P}$? After all, for most places $\mathcal{P}$, $\upsilon_{\mathcal{P}}(a)=0$, so let us ignore the finitely many places that are zeros or poles of $a$.

BharatRam
  • 2,577
  • I just saw this question today, and will try to think about it. Can you answer the question in the very simplest case, where $F=\Bbb F_p(t)$, rational function field? – Lubin Dec 15 '16 at 15:26

1 Answers1

2

A nice question.

The answer to (1) is No. You have a global field over the constant field $\Bbb F_p$, and I’ll call it $K$ instead of $F$ if you don’t mind. In adjoining a (the) root of the inseparable polynomial $f(Y)=Y^p-a$, you are adjoining the $p$-th root of $a$, and your field is a (pure) inseparable extension of degree $p$, and thus is $K^{1/p}$. In asking whether an element of any completion of $K$ could be a (the) root of $f$, you are asking whether $a$ itself is a $p$-th power in any completion of $K$. In other words, you are asking whether, in a completion $K_{\mathcal P}$, $a$ can possibly be a $p$-th power, in other words an element of $(K_{\mathcal P})^p$.

We may as well agree what a field $K_{\mathcal P}$ looks like: it’ll be Laurent series in a uniformizer $t$, but with coefficients from the residue field of $\mathcal P$, necessarily a finite extension of $\Bbb F_p$, and so some finite field $\kappa$. Of course $t$ may be taken to be an element of $K$. Now consider the two inseparable extensions $K\supset K^p$ and $K_{\mathcal P}\supset(K_{\mathcal P})^p$, both of degree $p$. For the latter extension, $\{1,t,t^2,\cdots,t^{p-1}\}$ is certainly a good basis, and indeed it’s a good basis for $K$ over $K^p$ as well, since $t\notin K^p$. Since $a\notin K^p$, when we express it as a linear combination of the basis elements $t^i$ with coefficients in $K^p$, say $$a=\sum_{i=0}^{p-1}\alpha_it^i\,,$$ at least one of the $\alpha_i$ with $1\le i<p$ must be nonzero (otherwise we would have $a\in K^p$).

Now, just as $K_{\mathcal P}=\kappa((t))$, so $(K_{\mathcal P})^p=\kappa((t^p))$, using perfectness of $\kappa$. The $\alpha_i$ from above are also in $(K_{\mathcal P})^p$, so that my displayed equation above can also be read as a statement in the local fields. But notice that $\alpha_it^i$ is a series in which all terms are of degree $\equiv i\pmod p$, because $\alpha_i\in\kappa((t^p))$ and its series has all terms of degree $\equiv0\pmod p$. Conclusion? Since some $\alpha_i$ with $1\le i<p$ is nonzero, the $t$-series for $a$ is not a $p$-th power. That answers your first question negatively.

For your second question, I’m not sure I can give a satisfactory answer. It seems to me that, depending on $a$, you may have elements of at least one completion very close to $a^{1/p}$, simply because you may have elements of $K$ very close to $a^{1/p}$. Indeed, suppose that $K=\Bbb F_p(t)$, and use the $t$-adic valuation. In case $a=1+t^N$ for $N$ a large integer prime to $p$. Then at that particular valuation, $v_t\bigl((1+t^N)-1\bigr)=N$ and $v_t\bigl((1+t^N)^{1/p}-1\bigr)=N/p$, which may be as big as you like.

I hope this was of some help.

Lubin
  • 65,209
  • Thank you Sir. That was very helpful. Sorry for such a late reply since I was travelling and wasn't online much. – BharatRam Jan 03 '17 at 11:40