25
$\begingroup$

What do I do if I have to solve the usual quadratic equation $X^2+bX+c=0$ where $b,c$ are in a field of characteristic 2? As pointed in the comments, it can be reduced to $X^2+X+c=0$ with $c\neq 0$.

Usual completion of square breaks. For a finite field there is Chen Formula that roughly looks like $X=\sum_{m} c^{4^m}$. I am more interested in the local field $F((z))$ or actually an arbitrary field of characteristic 2.

$\endgroup$
8
  • $\begingroup$ What's your method that works for finite fields? $\endgroup$ – André Henriques Nov 18 '10 at 17:03
  • 2
    $\begingroup$ I think you should add "in characteristic 2" to the title $\endgroup$ – Ewan Delanoy Nov 18 '10 at 17:05
  • 12
    $\begingroup$ Actually, over any field, either $b=0$ or the quadratic reduces to an Artin-Schreier equation $x^2+x+c=0$. If the field is finite, it is soluble if and only the trace of $c$ to ${\mathbb F}_2$ is 0, if I remember correctly. $\endgroup$ – Tim Dokchitser Nov 18 '10 at 17:44
  • $\begingroup$ @ Tim Sure, let $Y=X/b$ then you get $Y^2+Y+c/b^2=0$. How do I solve this one now? $\endgroup$ – Bugs Bunny Nov 18 '10 at 20:58
  • 3
    $\begingroup$ Dear Bugs: Is your aim a criterion (for interesting $K$ of characteristic $p > 0$, at least for $p = 2$) which detects when $x^p - x - a \in K[x]$ is irreducible or not? For local function fields there's a criterion using residues of 1-forms (in Artin-Tate). For global function fields there's an adelic analogue (in Artin-Tate). If $Y$ is a normal affine variety (geom. conn'd) over a finite field $k$ and $a \in k[Y]$, then $x^p - x - a$ is reducible over $k(Y)$ iff has solution in $k(y)$ for closed pts $y$ off a proper closed subset (prove using Lang-Weil). Is it useful for you? $\endgroup$ – BCnrd Nov 19 '10 at 1:00
15
$\begingroup$

I think this solves $X^2+X+c=0$ over $F((t))$:

I want to assume that $c\in F[[t]]$. If not, say $c=at^{-m}+...$, then the quadratic has no solutions when $m$ is odd or $a$ is not a square, and otherwise the substitution $X\mapsto X+\sqrt{a}t^{-m/2}$ gives a new equation with smaller $m$. So, after finitely many steps $c=c_0+c_1t+...$ is integral.

Because $X^2+X+c$ has derivative $1$, by Hensel's lemma the equation has a solution if and only the constant term $c_0$ is of the form $d^2+d$ for some $d$ in $F$. And if it is, Hensel's approximations are obtained by starting with an approximate solution $x_0=d$ and recursively computing $x_{m+1}=x_m-f(x_m)/f'(x_m)=x_m^2+c$. This gives $$ x = d + \sum_{n=0}^\infty (c-c_0)^{2^n} $$ as the solution (the partial sums are the $x_m$). Actually, the approach seems to work over any complete field, reducing the problem to the residue field. Hope this helps.

$\endgroup$
1
  • $\begingroup$ Isn't a complete valued field of characteristic $2$ necessarily of the form $F((t))$ for some field $F$? $\endgroup$ – LSpice Apr 17 '17 at 16:28
5
$\begingroup$

Here is a paper that might help

http://www.raco.cat/index.php/PublicacionsMatematiques/article/viewFile/37927/40412

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.