The jacobian and formal group of a curve of genus 2 over an arbitrary ground field

We present an explicit model of the Jacobian variety, and give a set of quadratic defining equations. We develop constructively the theory of formal groups for genus 2, including an explicit pair of local parameters which induce a formal group law defined over the same ring as the coefficients of th...