{"id":"arxiv/2607.16753","url":"https://arxiv.org/abs/2607.16753","tags":["math.AG"],"score":0,"title":"Non-general type surfaces in P4, an update","domain":"math.AG","source":"arxiv","authors":["Hirotachi Abo","Kristian Ranestad","Frank-Olaf Schreyer"],"reviews":0,"subject":"math.AG","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-18","reactions":{}}