1
$\begingroup$

Let $\Omega$ be the completion of an algebraic closure of $\mathbb F_q\left(\left(\frac1T\right)\right)$ for the topology induced by the valuation $-\deg$ on $\mathbb F_q(T)$.

Let $x,y\in\overline{\mathbb F_q(T)}$ with degree less than $0$. Does there exist $u\in{\overline{\mathbb F_q(T)}}$ with degree less than 0 such that $x$ and $y$ belong to $\mathbb F_{q'}\left(\left(u\right)\right)\subset\Omega$, where $\mathbb F_{q'}$ is a finite extension of $\mathbb F_q$.

Since $\mathbb F_q\left(\left(\frac1T\right)\right)$ is a local field and $x$ and $y$ are algebraic over $\mathbb F_q(T)$, the field $\mathbb F_q\left(\left(\frac1T\right)\right)(x,y)$ is a local field. By classification of local fields, there exists $q'$ and $u$ algebraic over $\mathbb F_q\left(\left(\frac1T\right)\right)$ such that $\mathbb F_q\left(\left(\frac1T\right)\right)(x,y)=\mathbb F_{q'}((u))$. But i do not know if one can choose $u$ algebraic over $\mathbb F_q(T)$ and moreover if we can choose it with degree less than $0$.

Thanks in advance for any answer.

$\endgroup$
0

1 Answer 1

4
$\begingroup$

Yes.

The missing ingredient here is the field $\mathbb F_q(x,y)$. The field $\mathbb F_q((\frac{1}{T})) (x,y)$ contains $\mathbb F_q(x,y)$, is complete (being a finite extension of $\mathbb F_q((\frac{1}{T}))$), and $\mathbb F_q(x,y)$ is dense in it (since $\mathbb F_q(T)$ is dense in $\frac{1}{T}$ and $\mathbb F_q(x,y)$ generates $\mathbb F_q((\frac{1}{T})) (x,y)$ as a $\mathbb F_q((\frac{1}{T})) $-vector space), so $\mathbb F_q((\frac{1}{T})) (x,y)$ is the completion of $\mathbb F_q(x,y)$ with respect to a valuation $v$ given by restricting the valuation on $\mathbb F_q((\frac{1}{T})) (x,y)$.

If we take $u$ to be any element admitting the minimal positive valuation with respect to $v$, i.e. a uniformizer of the discrete valuation ring consisting of elements of $\mathbb F_q(x,y)$ with nonnegative valuation under $v$, and $\mathbb F_{q'}$ to be the residue field of this discrete valuation ring, then the classification says $\mathbb F_{q'} ((u)) \cong \mathbb F_q((\frac{1}{T})) (x,y)$. (The only thing to check here is that $\mathbb F_{q'}$ actually lies in $\mathbb F_q((\frac{1}{T})) (x,y)$. Once an embedding it's fixed, it's straightforward to represent any element of $\mathbb F_q((\frac{1}{T})) (x,y)$ as a Laurent series in $u$ using the fact that $u$ generates the maximal ideal of the discrete valuation ring.

By the degree, I agree you mean the unique extension of the function $\deg$ whose negation is the valuation on $\Omega$. In this case, since $u$ has positive valuation, it automatically has negative degree.

$\endgroup$
0

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.