No label defined (Q3972634)

[For the entire collection see Zbl 0711.00011.] Consider algebraic curves of genus 3 in positive characteristic which are hyperelliptic, and whose Jacobian is a supersingular abelian variety. The main result of this paper is: Every component of this locus in the moduli space has dimension one. This is a particular case of a general expectation: Consider two subsets of a moduli space both given by properties of the objects in consideration. If these properties are ``of a different nature'', ``do not imply each other'', then one could try to show that the intersection of those subsets is as transversal as possible. In the case we consider, \(g = 3\), the moduli space of curves, and of polarized abelian varieties has dimension \(3g - 3 = {1 \over 2} g(g + 1) = 6\), the hyperelliptic locus \({\mathcal B}\) has dimension \(2g + 2 - 3 = 5\), and the supersingular locus \({\mathcal S}\) has dimension \([g^ 2/4] = 2\), and we expect \(\dim ({\mathcal B} \cap {\mathcal S}) = 5 + 2 - 6 = 1\). We have not been able to solve the problem directly. But we could obtain enough information on \({\mathcal H}\) and on \({\mathcal B}\) (almost formally smooth in characteristic \(p\neq 2)\), and on \({\mathcal S}\) (every component has one very singular point), in order to be able to conclude the expected transversality. In characteristic \(p=2\) we finish by two explicit computations.