7
$\begingroup$

Show that every (irreducible) quadric in $\mathbb{P}^n$ is birational to $\mathbb{P}^{n-1}?$

It is easy to work on examples, like $xt-yz=0$ in $\mathbb{P}^3$ where we first project it to $\mathbb{P}^2$ from $[0:0:0:1]$ i.e. $[x:y:z:t] \mapsto [x:y:z]$ and the inverse (dominant) rational map is given by $[x:y:z] \mapsto [x^2:xy:xz:yz],$ but I do not know how to construct the inverse map for a general quadric!

  • 0
    Over a field of characteristic not two, you can make a linear change of variables to turn every irreducible quadric into one whose equation is a sum of squares.2012-11-20

1 Answers 1

4

Over an algebraically closed field $k$ of characteristic $\neq 2$ every irreducible quadric $Q\subset \mathbb P^n_k$ has equation $q(x)=x_0x_1+x_2^2+...+x_n^2=0$ in suitable coordinates .
Projecting from $p=(1:0:0:\cdots:0)\in Q$ to the hyperplane $H\subset \mathbb P^n_k$ of equation $x_0=0$ will give the required birational isomorphism.
Explicitly, the projection is the birational map $\pi: Q--\to H:(a_0:a_1:\cdots:a_n)\mapsto (0:a_1:\cdots:a_n)$ You can compute the inverse rational map and find

$\pi^{-1}:H--\to Q:(0:a_1:\cdots:a_n) \mapsto (-(a_2^2+\cdots +a_n^2):a_1\cdot a_1:\cdots:a_1\cdot a_n)$

  • 0
    Dear Georges, as an algebraic geometer it is all too easy to forget that not every field is algebraically closed. My undergraduate students are often baffled when I excitedly inform them that every quadratic form in three variables defines a curve in the projective plane, and they try to apply this piece of wisdom in the case of $x^2+y^2+z^2 \ldots$2015-04-24