The mixed Hodge structure on the fundamental groups of the Collino surfaces

Abstract

Collino proved that the fundamental group of a certain Zariski open set of the symmetric square of a hyperelliptic curve is isomorphic to the integral Heisenberg group. We compute the mixed Hodge structure on this fundamental group, and show that the second extension class is expressed by the Abel-Jacobi invariant of the canonical class and the marked points of the hyperelliptic curve, together with a certain F_2-linear map.