6
$\begingroup$

Let $F$ be an infinite field and $f$ a homogeneous form on $F$ such that $f$ has no non-trivial zero in $F$. Let $F'$ be a finite extension of $F$ such that $f$ has a non-trivial zero in $F'$. Is it true there exists a simple extension of $F$ of the form $F(\alpha)$ contained in $F'$ which contains a non-trivial zero of $f$?

$\endgroup$
5
  • $\begingroup$ Isn't every finite separable extension $F'$ of $F$ of the form $F'=F(\alpha)$ for some $\alpha\in F'$ ? $\endgroup$ Mar 31, 2013 at 6:15
  • $\begingroup$ @Dalawat: Ofcourse but in our case $F'$ is not necessarily separable. $\endgroup$
    – Jana
    Mar 31, 2013 at 7:01
  • $\begingroup$ $x^p+sy^p+tz^p \in \mathbb{F}_p(s,t)[x,y,z]$? $\endgroup$
    – M P
    Mar 31, 2013 at 11:05
  • $\begingroup$ @MP: if I've understood correctly then adjoining a $p$th root $\tau$ of $-t$ would be enough to give you the point $[\tau:0:1]$ so this doesn't look like a counterexample to me unless I've misunderstood what you're suggesting. $\endgroup$
    – user30035
    Mar 31, 2013 at 15:03
  • $\begingroup$ @wccanard: you have interpreted my comment correctly, and I was wrong! $\endgroup$
    – M P
    Mar 31, 2013 at 16:52

1 Answer 1

5
$\begingroup$

I believe the following is a negative example: Let $s,t,u,v$ be variables over $\mathbb F_p$. Set $F=\mathbb F_p(s,t,u,v)$ and $F'=F(\sigma,\tau)$ with $\sigma^p=s$, $\tau^p=t$.

Set $$f(X,Y,Z)=(X^p-sZ^p)u+(Y^p-tZ^p)v.$$

Then $f(\sigma,\tau,1)=0$.

We show that any solution of $f=0$ over $F'$ has this form up to a scalar factor: Let $x,y,z\in F'$ with $f(x,y,z)=0$. As $F'=\mathbb F_p(u,v,\sigma,\tau)$, we get $$x^p-sz^p, y^p-tz^p\in\mathbb F_p(u^p,v^p,\sigma^p,\tau^p)=\mathbb F_p(u^p,v^p,s,t),$$ hence $$A(u^p,v^p,s,t)u+B(u^p,v^p,s,t)v=0$$ for rational functions $A,B$ over $\mathbb F_p$ with $x^p-sz^p=A(u^p,v^p,s,t)$ and $y^p-tz^p=B(u^p,v^p,s,t)$.

This implies $A(u^p,v^p,s,t)=0$, for otherwise $u$ were a rational function in $u^p$. For the same reason $B(u^p,v^p,s,t)=0$. We get $x^p-tz^p=0=y^p-tz^p$, and the claim follows.

$\endgroup$
3
  • $\begingroup$ May I ask how one sees that $x^p-sz^p$ equals $A(u^p, v^p,\sigma,\tau)$ for some $A$ over $\mathbf F_p$? $\endgroup$ Mar 31, 2013 at 23:35
  • $\begingroup$ I extended the answer, hope it is clearer now. $\endgroup$ Apr 1, 2013 at 8:12
  • $\begingroup$ This is very nice, I must say! If I understand correctly, you show that for the polynomial $f$ we must add at least $two$ elements to $F$ to get a root of $f$ inside $F^\prime$. I think, but I might be wrong, that one can slightly alter your construction (by adding more variables, and writing down $F$, $f$ and $F^\prime$ analogous to your construction) to obtain examples where one must add at least $n$ (with $n$ fixed, but arbitrarily large) variables to $F$ to obtain a root of $f$ within $F^\prime$. $\endgroup$ Apr 1, 2013 at 17:21

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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