The Hilbert modular surface for the ideal (\(\sqrt{5})\) and the Horrocks- Mumford bundle (Q1115932)

It is known that after normalizing its symmetries, every abelian surface in \({\mathbb{P}}_ 4\) arises as a zero set \(X_ s=\{s=0\}\) for a general section \(0\neq s\in \Gamma (F)\) of the Horrocks-Mumford bundle F. On the other hand, abelian surfaces with real multiplication by the ring of integers \({\mathfrak O}\) of \({\mathbb{Q}}(\sqrt{5})\) are parametrized by the Hilbert modular surface Y(5). In general they carry a canonical very ample (1,5)-polarization, leading to an embedding of such surfaces in \({\mathbb{P}}_ 4\). Let \(\Gamma\) ' be the principal congruence subgroup of Sl(2,0) attached to the ideal generated by \(\sqrt{5}\) in \({\mathfrak O}\) and define Y(5,\(\sqrt{5}):={\mathbb{H}}^ 2/\Gamma '\). This is a Galois covering of Y(5) with Galois group isomorphic to the icosahedral group \(A_ 5\). Denote by \(Y_{\sigma}(5,\sqrt{5})\) the corresponding symmetric quotient. The authors \textit{construct} a map \(\phi:\quad Y_{\sigma}(5,\sqrt{5})\to {\mathbb{P}}\Gamma\) which extends to an embedding \({\bar \phi}:\quad Y_{\sigma}(5,\sqrt{5})\to {\mathbb{P}}\Gamma\) and determine its image. This turns out to be isomorphic to the unique \(A_ 5\)-invariant cubic surface \({\mathbb{F}}\) contained in \({\mathbb{P}}\Gamma\), namely the Clebsch cubic. Its 27 lines are also described in terms of special Horrocks-Mumford surfaces.