Can I use Affine cones for calculating singularities on projective quadrics

algebraic-geometryprojective-spacequadratic-forms

So I wanted to calculate the singularities of a quadric in the projective space. For example if you have the quadric

$$
Q=V(X_0^2+X_1^2+…+X_r^2), r<=n
$$

Which lives in the projective space $\mathbb{P} ^n $.

My idea was to use the affine maps, intersect each of them with Q. Then Q is the union of these intersections and then I can calculate the singularities of the affine varieties with the jacobian criterion.

The other idea I had, was to somehow use the affine cone of the Quadric Q, but I don’t know the argument why I can use the cone.

Can anybody help me? 🙂

Best Answer

Yes, you can use the affine cone to check singularities. The key step is to prove the projective Jacobian criterion:

Projective Jacobian criterion: Let $Y\subset\Bbb P^n$ be a projective variety of dimension $r$ with homogeneous ideal generated by $f_1,\dots,f_t\in S=k[x_0,\cdots,x_n]$. If $P\in Y$ is a point with homogeneous coordinates $(a_0,\dots,a_n)$, $Y$ is nonsingular at $P$ if and only if the rank of the matrix $|\frac{\partial f_i}{\partial x_j}(a_0,\dots,a_n)|$ is $n-r$.

With this result, it's immediate that the affine cone on $Y$ (the variety in $\Bbb A^{n+1}$ with coordinates $x_0,\dots,x_n$ cut out by $f_1,\dots,f_t$) is nonsingular away from the vertex if and only if the projective variety is nonsingular, since the projective Jacobian criterion is exactly the usual affine Jacobian criterion for the cone away from the vertex.


I think it's probably better if you prove the projective Jacobian criterion for yourself than if I do it for you. Here's an outline to follow:

  • The projective Jacobian doesn't depend on the representation of $P$ as $(a_0,\dots,a_n)$.
  • Relate the projective Jacobian to the affine Jacobian by passing to one of the standard affine opens $U_i=D_+(x_i)$ and dehomogenizing.
  • Use Euler's lemma (if $f$ is a homogeneous polynomial of degree $a$ in $k[x_0,\cdots,x_n]$ then $\sum x_i\frac{\partial f}{\partial x_i} = af$) to deal with the extra row in the projective Jacobian matrix.

Feel free to leave a comment if you run in to trouble.

Related Question