In this paper we prove that any birational mapping between smooth hypersurfaces of degree four is an isomorphism. Since B. Segre constructed examples of smooth unirational quartics, this leads to a negative resolution of the three-dimensional Lüroth problem. Bibliography: 13 items.
No takes yet. Share an insight, caveat, or question.
Iskovskih et al. (1971) studied this question.