[Math] Show that any quadric in $\mathbb{P}^3$ is isomorphic to $\mathbb{P}^1 \times \mathbb{P}^1$

algebraic-geometryprojective-geometryprojective-spacequadrics

Show that any non-singular irreducible quadric in $\mathbb{P}^3$ is isomorphic to $\mathbb{P}^1 \times \mathbb{P}^1$

I know that every non-singular and irreducible quadric in $\mathbb{P}^3$ can be written in the form $xy=zw$ after a suitable change of homogeneous coordinates.

So it is sufficient to prove that $Q=Z(xy-zw)$ is isomorphic to $\mathbb{P}^1 \times \mathbb{P}^1$.

$\mathbb{P}^1 \times \mathbb{P}^1 \cong \sigma(\mathbb{P}^1 \times \mathbb{P}^1)$ where $\sigma$ is the Segre embedding.

So we now want to prove that $Q=\sigma(\mathbb{P}^1 \times \mathbb{P}^1)$.

I have some difficulties to prove it. And I don't know if I'm on the right way. Some help would be appreciated.

Thanks.

Best Answer

Observe, in the Segre embedding $\mathbb{P}\times\mathbb{P}\rightarrow\mathbb{P}^3$, we have $$ (x_0:x_1)\times(y_0:y_1)\mapsto(x_0y_0,x_0y_1,x_1y_0,x_1y_1). $$

If we choose the coordinates on $\mathbb{P}^3$ to be $(x,z,w,y)$, we see that $xy=zw$ on this surface.