Rank one sheaves over quaternion algebras on Enriques surfaces (Q2075168): Difference between revisions

The Brauer group \(\mathrm{Br}(X)\) of a complex Enriques surface \(X\) is isomorphic to \(\mathbb{Z}/2\), and hence \(X\) admits a unique non-trivial Brauer class \(b_X\). Since \(b_X\) has order \(2\), \(b_X\) can be represented by a quaternion algebra \(\mathcal{A}\) on \(X\). The paper under review studies the properties of the projective moduli scheme \(\mathcal{M}_{\mathcal{A}/X}\) of torsion-free \(\mathcal{A}\)-modules generically of rank \(1\), in the case when the Enriques surface \(X\) is very general. The author shows that in this case \(\mathcal{M}_{\mathcal{A}/X}\) is smooth, and that the locus parametrizing locally projective \(\mathcal{A}\)-modules is dense in \(\mathcal{M}_{\mathcal{A}/X}\). Finally, for fixed Chern classes \(c_1\) and \(c_2\), the moduli scheme \(\mathcal{M}_{\mathcal{A}/X,c_1,c_2}\) is realized as an étale double cover of a Lagrangian submanifold \(\mathcal{L}\) of \(\mathcal{M}_{\overline{\mathcal{A}}/\overline{X},\overline{c_1},\overline{c_2}}\), where \(\overline{X}\) is the \(K3\) cover of \(X\) and \(\overline{\mathcal{A}}\) is the pullback of the quaternion algebra \(\mathcal{A}\) to \(\overline{X}\).