Towers of 2-covers of hyperelliptic curves

In this article, we give a way of constructing an unramified Galois cover of a hyperelliptic curve. The geometric Galois-group is an elementary abelian 2-group. The construction does not make use of the embedding of the curve in its Jacobian and it readily displays all subcovers. We show that the cover we construct is isomorphic to the pullback along the multiplication-by-2 map of an embedding of the curve in its Jacobian. We show that the constructed cover has an abundance of elliptic and hyperelliptic subcovers. This makes this cover especially suited for covering techniques employed for determining the rational points on curves. Especially the hyperelliptic subcovers give a chance for applying the method iteratively, thus creating towers of elementary abelian 2-covers of hyperelliptic curves. As an application, we determine the rational points on the genus 2 curve arising from the question whether the sum of the first n fourth powers can ever be a square. For this curve, a simple covering step fails, but a second step succeeds