Non-general type surfaces in P4, an update

A general algebraic surface cannot be embedded in P4.

Proving a conjecture by Hartshorne and Lichtenbaum, Ellingsrud and Peskine showed that there is a degree bound for smooth rational surfaces in P4, and in fact for surfaces not of general type.

We give a survey of the classification status and of classical and computer-aided constructions of smooth non-general type surfaces in P4.