Is it true that a subextension of a purely transcendental extension is itself purely transcendental?

In symbols, suppose we have field extensions $M/L/K$, with $M/K$ purely transcendental. Must $L/K$ be purely transcendental?

  • 5
    $\begingroup$ No, that is not true. This was a conjecture of Lueroth (I do not know how to make the umlaut in comments). The first counterexamples were found by Clemens-Griffiths, with further counterexamples discovered shortly thereafter by Iskovskikh-Manin, Artin-Mumford, etc. $\endgroup$ – Jason Starr Sep 4 '17 at 7:14
  • 5
    $\begingroup$ A small history point: this was not conjectured by Lüroth — Lüroth only proved the case of transcendence degree 1. Actually I do not think it was ever conjectured: the italian geometers proposed quite early a number of possible counter-examples, unfortunately with unsufficiently rigorous arguments. I do not know (and I'd be interested to know) who first called it the "Lüroth problem". $\endgroup$ – abx Sep 4 '17 at 7:24
  • $\begingroup$ @abx. Thank you for the explanation. I always thought this was a conjecture. I am glad to learn the true history. $\endgroup$ – Jason Starr Sep 4 '17 at 7:28
  • $\begingroup$ Ah, very interesting, thanks! Where can I find the proof of the degree one case? $\endgroup$ – Sean Eberhard Sep 4 '17 at 8:20
  • 3
    $\begingroup$ @potentially dense: well, only if $K$ is algebraically closed — otherwise there are easy counter-examples. $\endgroup$ – abx Sep 4 '17 at 12:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.