arXiv subjects
Publications and source records attributed to D. Lehavi.
We study a relationship between two genus 2 curves whose jacobians are isogenous with kernel equal to a maximal isotropic subspace of p-torsion points with respect to the Weil pairing. For p = 3 we find an explicit relationship between the set of Weierstrass points of the two curves extending the classical results of F. Richelot (1837) and G. Humbert (1901) in the case p = 2.
The arithmetic geometric mean algorithm for calculation of elliptic integrals of the first type was introduced by Gauss. The analog algorithm for Abelian integrals of genus 2 was introduced by Richelot (1837) and Humbert (1901). We present the analogous algorithm for Abelian integrals of genus 3.
In this paper, we present two related results on curves of genus 3. The first gives a bijection between the classes of the following objects: * Smooth non-hyperelliptic curves C of genus 3, with a choice of an element a in Jac(C)[2]-{0}, such that the cover C/|K_C+a|^* does not have an intermediate factor; up to isomorphism. * Plane curves E,Q in P^2 and an element in b' in Pic(E)[2]-{0}, where E,Q are of degrees 3,2, the curve E is smooth and Q,E intersect transversally ; up to projective transformations. We discuss the degenerations of this bijection, and give an interpretation of the bijection in terms of Abelian varieties. Next, we give an application of this correspondence: An EXPLICIT proof of the reconstructability of ANY smooth plane quartic from its bitangents.
Given a smooth non-hyperelliptic curve C of genus 3 and a maximal isotropic subgroup (w.r.t. the Weil pairing) L in Jac(C)[2], there exists a smooth curve C' s.t. Jac(C')=Jac(C)/L. This construction is symmetric. i.e. if we start with C' and the dual flag on it, we get C. A previous less explicit approach was taken by Donagi and Livne. The advantage of our construction is that it is explicit enough to describe the isomorphism H^0(C,K_C)=H^0(C',K_C').
Let F be a smooth plane curve of degree 3. Let \gb be an element in Pic(F)[2]-{0}. Let us define F':={\ol{p(p+\gb)}|p in F}\subset(P^2)^*. In this note we show that F' is a smooth embedding of F/\gb. Moreover, let \gb' be the generator of Pic(F)/\gb, and let p in F be a flex, then \ol{p(p+\gb)}+\gb' is a flex on F'. We present two proofs.