3
$\begingroup$

I have encountered a problem in Shafarevich's book and I have no clue:

Let $X$ be a hypersurface given by the equation $f_{m-1}(x_1,\cdots, x_n) + f_m(x_1,\cdots, x_n) = 0$ where $f_{m-1}$ and $f_m$ are non-zero homogeneous polynomials of degrees $m-1$ and $m$, respectively. Prove that if $X$ is irreducible, it is rational. (Shafarevich, Problem I.3.5.)

  • 0
    I think you can set $x_2=t_1x_1,x_3=t_2x_1,\cdots,x_n=t_{n-1}x_1$, and the rest is easy.2012-10-16

1 Answers 1

6

Why don't you try a concrete example first?

The curve $y^2 -x^3 = 0$ is an example of the kind of hypersurface that Shafarevic is considering. If you consider the intersection of the line $y = tx$ with this curve, you get $t^2 x^2 = x^3,$ which has the unique non-zero solution $x = t^2$. In this way one obtains the rational parameterization $t \mapsto (t^2,t^3)$ of the original curve. Can you see how to generalize this?