Skip to main content
2 of 2
added 735 characters in body
Zach Teitler
  • 6.2k
  • 3
  • 33
  • 63

In characteristic zero, a point $a$ is in $\mathcal{Q}$ if and only if $p$ vanishes identically on each line through $a$ parallel to one of the coordinate axes, i.e., all lines given by fixing all but one of the coordinates of $a$ and allowing the remaining coordinate to vary.

Indeed, the partial derivatives $\partial^i p/\partial x_k^i$ vanish at $a$ for all orders $i \geq 0$ if and only if $p$ vanishes identically on the line through $a$ parallel to the $k$th coordinate axis. (And $a \in \mathcal{Q}$ if and only if this occurs for each $k$.) This is because, when we restrict $p$ to this line and expand the resulting univariate polynomial in a Taylor series centered at $a$, the Taylor coefficients are given by the partials $\partial^i p/\partial x_k^i$, evaluated at $a$ (up to some factorial factors). So $p$ vanishes on the line if and only if its restriction to the line vanishes identically, if and only if the Taylor coefficients vanish, if and only if the pure partials of $p$ vanish at $a$.

The set $\mathcal{Q}$ can be nonempty. For example, if $p$ is any linear combination of polynomial multiples of $x_j x_k$ for $j \neq k$—that is, if $p$ is any element of the ideal generated by the $x_j x_k$, $1 \leq j < k \leq n$, in the polynomial ring—then the origin $0 \in \mathcal{Q}$. One way to see this is that in any pure derivative by, say, $x_k$ to order $i$, every term of $p$ either is killed (if it has $x_k$ to a power less than $i$) or else survives, but even then that term still involves some $x_j$, $j \neq k$. So every pure derivative of $p$ vanishes term-by-term at the origin. Another way to see it, using a touch of algebraic geometry, is that the ideal generated by the products $x_j x_k$ is exactly the ideal of polynomials that vanish on the union of the coordinate axes (left to the reader), so $p$ is in the ideal if and only if $p$ vanishes identically on the coordinate axes, which is apparently equivalent to $0 \in \mathcal{Q}$.

Conversely, if $0 \in \mathcal{Q}$, then $p$ can't have any "pure" terms $x_k^i$ (with a nonzero coefficient), otherwise $\partial^i p/\partial x_k^i$ would fail to vanish at the origin. This proves that in characteristic $0$, the origin $0 \in \mathcal{Q}$ if and only if $p$ is a linear combination of polynomials divisible by $x_j x_k$ for $j \neq k$, that is, $p$ is in the ideal generated by the $x_j x_k$, $j \neq k$. More generally, $a = (a_1,\dotsc,a_n) \in \mathcal{Q}$ if and only if $p$ is in the ideal generated by the products $(x_j-a_j)(x_k-a_k)$, $j \neq k$.

Unlike the situation in positive characteristic, in characteristic zero, $\mathcal{Q}$ can't coincide with the zero set of $p$, except if the zero set of $p$ is empty or $p=0$. This is because if the zero set of $p$ is nonempty and coincides with $\mathcal{Q}$, then $\mathcal{Q}$ contains some point; then the union of coordinate lines through the point; then the union of all the coordinate lines through those lines, which gives all the coordinate $2$-planes through the original point; then the union of all the coordinate lines through those, which gives all the coordinate $3$-planes through the original point... In the end, the zero set of $p$ is the whole space, so $p=0$.

All of the above statements hold in positive characteristic, too, if the degree of the polynomial $p$ is strictly less than the characteristic.

More generally (briefly) for $m \geq 1$ let $\mathcal{Q}_m$ be the set of points where $p$ vanishes along with all of $p$'s partial derivatives of all orders that involve at most $m$ variables. The original question and above discussion are for $m=1$. In characteristic $0$, or characteristic strictly greater than the degree of $p$, $a \in \mathcal{Q}_m$ if and only if $p$ vanishes identically on the union of the $m$-dimensional planes through $a$ that are translates of coordinate $m$-planes, i.e., spanned by standard basis vectors. The origin $0 \in \mathcal{Q}_m$ if and only if $p$ lies in the ideal generated by products of $m+1$ distinct variables, $x_{i_1} \dotsm x_{i_{m+1}}$ for $1 \leq i_1 < \dotsb < i_{m+1} \leq n$.

Zach Teitler
  • 6.2k
  • 3
  • 33
  • 63