Most people will have see a geometric "explanation" of the addition law on elliptic curves given by embedding it as a cubic in the projective plane and cutting it with lines.


Is there a similar explicit, geometric definition of the addition law on (a family of?) abelian surfaces?


So the question is really: Give a nice embedding of abelian surfaces into projective space and then define the addition law using this embedding - if not for all abelian surfaces, at least for some non trivial family. In fact, it would be really nice if we could do this for the embedding that realizes the surface as a degree 10 variety using the Horrocks-Mumford bundle.



A geometric definition of the addition law on abelian surfaces
Jacobians of genus-2 curves - and abelian surfaces in general, I suppose - can be realized as the variety of lines on the intersection of two quadrics in $\mathbb{P}^5$ (once you've chosen a line to act as the neutral element). This is analogous to seeing an elliptic curve as the variety of 0-dimensional spaces (i.e. points) on the intersection of two quadrics in $\mathbb{P}^3$ (which is sometimes called the "Jacobi" model of an elliptic curve). The group law has a really nice geometric expression.


This is covered at length in Chapter 17 ("A neoclassical approach") of Cassels and Flynn's *Prolegomena to a middlebrow arithmetic of curves of genus 2*, and in even more length in Chapter 6 of *Principles of algebraic geometry* by Griffiths and Harris (specifically Section 6.3, "Lines on the quadric line complex").


Edit (bonus): If you're interested in higher dimensions, then let $X$ be the intersection of two quadrics in $\mathbb{P}^{2g+1}$, and let $S$ be the variety of $(g-1)$-planes in $X$. Then $S$ is a homogeneous space under the Jacobian of a hyperelliptic curve $C$ of genus $g$. The relationship between $X$, $S$, and $C$ (and the action of $\mathrm{Jac}(C)$ on $S$) is very explicit. Chapter 4 of Miles Reid's PhD thesis (*The complete intersection of two or more quadrics*) has the details.


