Schottky-Jung relations and vectorbundles on hyperelliptic curves (Q580470): Difference between revisions

The theta constants of a Jacobian of a curve satisfy all of the Schottky- Jung relations. Let (A,\(\theta)\) be any principally polarized abelian variety of dimension \(g,\) with \(\theta\) symmetric, which satisfies all S- J relations. Let X be a quartic hypersurface which contains the Kummer variety of A, K(A)\(\subset | 2\theta |\), and which is invariant with respect to the action of the Heisenberg group. We show: K(A)\(\subset Sing(X)\) iff K(P)\(\subset X\) for every Prym P of A. Here the Prym's are the ppav's of dimension g-1 given by the Schottky-Jung relations and which are, intrinsically, subvarieties of \(| 2\theta |.\) For every curve C one can map \(SU_ C(2)\), the moduli space of rank 2 bundles on C with trivial determinant, to \(| 2\theta |\). For C hyperelliptic we show that this map embeds \(SU_ C(2)/i\), where i is the hyperelliptic involution, and that the image is defined, at least as a set, by quartic polynomials. The intersection of the quadrics which contains K(Jac C) is shown to be isomorphic to the Grassmannian of all linear \({\mathbb{P}}^ g\subset Q\) of a fixed ruling of a smooth quadric \(Q\subset {\mathbb{P}}^{2g+1}\).