18

5

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.

flag
What's your method that works for finite fields? – AndrĂ© Henriques Nov 18 2010 at 17:03
2 
I think you should add "in characteristic 2" to the title – Ewan Delanoy Nov 18 2010 at 17:05
11 
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. – Tim Dokchitser Nov 18 2010 at 17:44
@ Tim Sure, let $Y=X/b$ then you get $Y^2+Y+c/b^2=0$. How do I solve this one now? – Bugs Bunny Nov 18 2010 at 20:58
2 
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? – BCnrd Nov 19 2010 at 1:00
show 3 more comments

2 Answers

13

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.

link|flag
4

Here is a paper that might help

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

link|flag

Your Answer

Get an OpenID
or

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