An explicit formula for the genus 3 AGM
Algebraic Geometry
2007-05-23 v2
Abstract
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').
Cite
@article{arxiv.math/0111273,
title = {An explicit formula for the genus 3 AGM},
author = {D. Lehavi},
journal= {arXiv preprint arXiv:math/0111273},
year = {2007}
}
Comments
13 pages, LaTeX 2e amsart, xypic. New version includes explicit identification of the differentials