Return to Revisions

There is a slightly different proof which works over any field $k$ (of characteristic different from 2 and 3). The first field is just $k(x,y)$. As Rita indicated, if it is isomorphic to the second field as $k$-extension, than there exists a birational map $f: \mathbb P^2\to E$. This birational map induces a birational map over the algebraic closure of $k$, so we can suppose $k$ is algebraically closed. By two arbitrary points $p, q$ where $f$ is defined, it passes a line $L$. As $E$ is not rational, by Lurôth $f|_L$ is constant. So $f$ is constant, contradiction. More quickly, one can say that the existence of $f$ implies that $E$ is unirational and this is impossible.