Relationships between hyperelliptic functions of genus 2 and elliptic functions (Q2078967)

This paper dedicated to the memory of Victor Enolski, is devoted to the classical problems about the relationships between elliptic functions and hyperelliptic functions of genus \(2\). It contains new results, as well as a derivation from them of well-known results on these issues. The research is motivated by applications to the theory of equations and dynamical systems integrable in hyperelliptic functions of genus \(2\). The authors consider a hyperelliptic curve \(V\) of genus \(2\) which admits a morphism of degree \(2\) to an elliptic curve. Then there exist two elliptic curves \(E_i\), \(i=1,2\), and morphisms of degree \(2\) from \(V\) to \(E_i\). They construct hyperelliptic functions associated with \(V\) from the Weierstrass elliptic functions associated with \(E_i\) and describe them in terms of the fundamental hyperelliptic functions defined by the logarithmic derivatives of the two-dimensional sigma functions. The authors show that the restrictions of hyperelliptic functions associated with \(V\) to the appropriate subspaces in \(\mathbb{C}^2\) are elliptic functions and describe them in terms of the Weierstrass elliptic functions associated with \(E_i\). Further, they express the hyperelliptic functions associated with \(V\) on \(\mathbb{C}^2\) in terms of the Weierstrass elliptic functions associated with \(E_i\). They derive these results by describing the homomorphisms between the Jacobian varieties of the curves \(V\) and \(E_i\) induced by the morphisms from \(V\) to \(E_i\) explicitly. This paper is organized as follows: Section 1 is an introduction to the subject. In Section 2 the authors recall the definitions of the Jacobi elliptic functions and the sigma functions for the curves of genus \(1\) and \(2\) and give facts about them. Sections 3 deals with the curve of genus \(2\) and the elliptic curves. Section 4 is devoted to the map from \(Jac(V)\) to \(Jac(E_i)\) and Section 5 to the map from \(Jac(E_i)\) to \(Jac(V)\). Section 6 deals with a comparison of the results obtained in this paper and the results of [\textit{E. D. Belokolos} and \textit{V. Z. Enolskiĭ}, J. Math. Sci., New York 106, No. 6, 3395--3486 (2001; Zbl 1059.14044); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 71 (2000); \textit{V. M. Buchstaber} et al., Multi-dimensional Sigma-functions'', Preprint, \url{arXiv:1208.0990}; \textit{V. Z. Enolskij} and \textit{M. Salerno}, J. Phys. A, Math. Gen. 29, No. 17, L\, 425-L\, 431 (1996; Zbl 0903.35070)].