On subcanonical surfaces of \(\mathbb P^4\) (Q2571395)

\textit{G. Horrocks} and \textit{D. Mumford} [Topology 12, 63--81 (1973; Zbl 0255.14017)] gave the only known example of a subcanonical surface in \(\mathbb P^4\) which is not the complete intersection of two hypersurfaces. It is conjectured that every subcanonical surface in \(\mathbb P^4\), except Horrocks and Mumford's surface, is a complete intersection or, which amounts to be equivalent (thanks to the Serre correspondence between surfaces and rank 2 vector bundles), that there is only one indecomposable rank 2 vector bundle on \(\mathbb P^4\). The paper by Ellia and Franco gives a contribution to this problem. In fact they prove that every subcanonical smooth irreducible surface \(S\) in \(\mathbb P^4\) with \(h^0(I_S(4))\neq 0\) is the complete intersection of two hypersurfaces. Their proof is based on the Serre correspondence and a fine study of the minimal surface of the bundle corresponding to \(S\).