4
$\begingroup$

Let $k$ be a field, and consider an irreducible polynomial $f \in k[x,y]$. Let $S(f)$ denote the singular points of $f$ (points that are simultaneously zero on $f$, the $x$-derivative of $f$, and the $y$-derivative of $f$.)

If $k$ is algebraically closed, then I can prove $S(f)$ is finite. Also, I can prove that if the field has characteristic $0$, then $S(f)$ is finite.

But what if the field has characteristic $p$ and is not algebraically closed? Is it true that $S(f)$ is finite?

I asked this question to my algebraic geometry professor last semester and stumped him! Hopefully one of you can think of a counterexample or proof.

$\endgroup$
0

3 Answers 3

8
$\begingroup$

What do you mean by irreducible and what do you mean by $S(f)$?

Does irreducible mean absolutely irreducible (ie irreducible over the algebraic closure of $k$)? Is $S(f)$ considered as a scheme or as a set of rational points? If the latter, then is $S(f) := \{ (a,b) \in k^2: f(a,b) = 0 = \frac{\partial f}{\partial x}(a,b) = \frac{\partial f}{\partial y}(a,b) \}$? Or is it the set of singular points over the algebraic closure of $k$?

If by irreducible, you mean absolutely irreducible, then as Douglas Zare suggests, you can pass to the algebraic closure and prove that $S(f)$ is finite.

If irreducible is to be read over $k$, but you are considering $S(f)$ scheme theoretically or are evaluating the points in the algebraic closure of $k$, then the assertion is false. Consider for instance $k$ of characteristic $p$ with $a \in k$ a non-$p^\mathrm{th}$ power and $f(x,y) = x^p + y^p + a$.

Finally, if by $S(f)$ you mean the $k$-rational points, then if $S(f)(k)$ were infinite, then the set of $k$-rational points on the curve defined by $f$ would be infinite and $f$ would then be absolutely irreducible so that by the first case considered, $S(f)$ would be finite.

$\endgroup$
1
  • $\begingroup$ Do you know what happened to Douglas Zare's comment? $\endgroup$ Apr 6, 2010 at 3:11
4
$\begingroup$

Dear Charles, here is a more general statement:

Let $R$ be a reduced affine algebra over $k$ of dimension 1. Then the set of singular points of $Spec(R)$ is finite.

Proof: Let $V$ be the set of singular point, i.e $V=\{p \| R_p \text{is singular} \}$. Then V does not contain any minimal prime of $R$, since $R$ localize at them are fields (as $R$ is reduced). So $\dim V=0$, and $V$ is closed, therefor $V=Spec(R/J)$ with $dim R/J=0$. But it is well known that an Artinian ring has only finitely many primes.

In your situation, let $R=k[x,y]/(f)$. Since $f$ is irreducible, $R$ is a domain and therefore reduced (reducedness = $f$ has no repeated factors which is weaker then irreducible). Any point that is $0$ on $f,f_x,f_y$ will give a maximal singular point in $Spec(R)$. So $S(f)$ is finite.

$\endgroup$
1
  • $\begingroup$ I think my second paragraph needs more work. Specifically, I believe the italic claim is right, but to show that a k-point which is 0 on $f,f_x,f_y$ gives a maximal ideal which becomes singular when localizing might be more complicated than I thought. I am trying to fix it. $\endgroup$ Apr 6, 2010 at 3:02
0
$\begingroup$

Even though there are two complete answers, I would like to point out a proof which in my opinion is the most elementary. Let $R$ be an integral domain and $R[x]$ be the ring of polynomials in one variable over $R$. Then for every pair of polynomials $f, g \in R[x]$, one can define the resultant $R(f,g)$ of $f$ and $g$ (if necessary, see e.g. Griffiths' "Introduction to algebraic curves" for a very elementary treatment of resultants). The only properties you need is that if $f$ and $g$ are nonzero polynomials (and if at least one of them is a "real polynomial", i.e. does not belong to $R$), then $R(f,g)$ is a nonzero element of $R$ and there exist $p, q \in R[x]$ such that $R(f,g) = pf + qg$.

Now let us get back to your scenario. Let $R = k[x]$. Then $f \in R[y]$. If $f \in R$, then it is trivial to check that $S(f)$ is finite. So assume $f \not\in R$. Then $g := \partial f/\partial y \neq 0 \in R[y]$, which implies that $h := R(f, g)$ is a nonzero element of $k[x]$. Since $h$ is a linear combination of $f$ and $\partial f/\partial y$, it follows that for all $(x,y) \in S(f)$, $h(x) = 0$. But $h$ has only finitely many roots - voila!

$\endgroup$

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.