Abstract
In this paper, we begin to consider the problem of computing p-adic periods of certain genus 2 curves with totally split reduction, using techniques of the arithmetic–geometric mean. For this, we synthesise the work of Henniart and Mestre on a p-adic arithmetic–geometric mean in genus 1 with the work of Bost and Mestre on a real arithmetic–geometric mean in genus 2 (via the so-called Richelot isogeny). We prove that, for a certain class of p-adic genus 2 curves, the Richelot isogeny plays the same role in the genus 2 theory as the maps appearing in Henniart–Mestre, in that the Richelot isogeny squares the p-adic periods, and leads to a quadratically converging sequence of genus 2 curves. This suggests that this may provide a quadratically convergent method to compute p-adic periods for these curves, once we have a suitably explicit p-adic Tate uniformisation in genus 2.
Similar content being viewed by others
Data availibility
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
Baker, H.F.: An introduction to the theory of multiply periodic functions. Cambridge University Press, Cambridge (1907)
Borcherds, R.E.: Automorphic forms on \(O_{s+2,2}(\mathbb{R} )\) and infinite products. Invent. Math. 120, 161–213 (1995)
Bost, J.-B., Mestre, J.-F.: Moyenne arithmético-géométrique et périodes des courbes de genre 1 et 2. Gaz. Math. 38, 36–64 (1988)
Cassels, J.W.S., Flynn, E.V.: Prolegomena to a middlebrow arithmetic of curves of genus 2, LMS Lecture Note Series, vol. 230. Cambridge University Press, Cambridge (1996)
Chow, R.: The arithmetic-geometric mean and periods of curves of genus 1 and 2, PhD thesis, University of Sheffield (2018)
Cox, D.A.: The arithmetic-geometric mean of Gauss. Enseign. Math. 30, 275–330 (1984)
Cremona, J.E., Thongjunthug, T.: The complex AGM, periods of elliptic curves over \(\mathbb{C} \) and complex elliptic logarithms. J. Number Theory 133, 2813–2841 (2013)
Flynn, E.V.: Descent via isogeny in dimension 2. Acta Arith. 66, 23–43 (1994)
Grant, D.: Formal groups in genus two. J. Reine Angew. Math. 411, 96–121 (1990)
Guitart, X., Masdeu, M.: Periods of modular \(\rm GL _2\)-type abelian varieties and \(p\)-adic integration. Exp. Math. 27, 344–361 (2018)
Henniart, G., Mestre, J.-F.: Moyenne arithmético-géométrique \(p\)-adique. C. R. Acad. Sci. Paris Sér. I Math. 308, 391–395 (1989)
Hudson, R.W.H.T.: Kummer’s quartic surface. Cambridge University Press, Cambridge (1905)
Kadziela, S.: Rigid analytic uniformization of curves and the study of isogenies. Acta Appl. Math. 99, 185–204 (2007)
Manin, Y., Drinfeld, V.: Periods of \(p\)-adic Schottky groups. J. Reine Angew. Math. 262(263), 239–247 (1973)
Menezes, A., Wu, Y.-H., Zuccherato, R.: An elementary introduction to hyperelliptic curves, technical report CORR 96–19. University of Waterloo, Ontario (1996)
Miret, J., Pujolàs, J., Rio, A.: The splitting of multiplication by 2 in genus 2, preprint (2018)
Miret, J., Pujolàs, J., Thériault, N.: Bisection for genus 2 curves with a real model. Bull. Belg. Math. Soc. Simon Stevin 22, 589–602 (2015)
Morikawa, H.: Theta functions and abelian varieties over valuation fields of rank one I. Nagoya Math. J. 20, 1–27 (1962)
Morikawa, H.: Theta functions and abelian varieties over valuation fields of rank one II. Nagoya Math. J. 21, 231–250 (1962)
Mumford, D.: An analytic construction of degenerating curves over complete local rings. Compos. Math. 24, 129–174 (1972)
Mumford, D.: An analytic construction of degenerating abelian varieties over complete rings. Compos. Math. 24, 239–272 (1972)
Mumford, D.: Tata lectures on theta II, Progr. in Math. 43 (1984)
Richelot, F.: De transformatione integralium Abelianorum primi ordinis commentation. J. Reine Angew. Math. 16, 221–341 (1837)
Silverman, J.: Advanced topics in the arithmetic of elliptic curves. Springer, New York (1994)
Smith, B.: Explicit endomorphisms and correspondences, PhD thesis, University of Sydney (2005)
Tate, J.: A review of non-Archimedean elliptic functions. In: Coates, J., Yau, S.-T. (eds.) Elliptic curves, modular forms and Fermat’s last theorem, pp. 310–332. International Press, Vienna (1997)
Teitelbaum, J.: \(p\)-adic periods of genus two Mumford-Schottky curves. J. Reine Angew. Math. 385, 117–151 (1988)
Acknowledgements
We thank Tobias Berger, John Cremona, Victor Flynn, David Grant, Haluk Şengün and Michael Stoll for their interest in this project, and Jordi Pujolàs for useful discussions relating to Sect. 6 (and in particular, for providing an early draft of [16]). We also thank the anonymous referee for providing a number of useful suggestions which have improved the exposition of the paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The first author thanks the University of Sheffield for its support as a graduate student via a Graduate Teaching Assistantship. This work formed part of his thesis ([5]), supervised by the second author. The authors received no further funding from any organisation for this work. The authors have no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Chow, R., Jarvis, F. A p-adic study of the Richelot isogeny with applications to periods of certain genus 2 curves. Ramanujan J 61, 935–956 (2023). https://doi.org/10.1007/s11139-022-00697-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-022-00697-8