Abstract
Rigid meromorphic cocycles were introduced by Darmon and Vonk as a conjectural p-adic extension of the theory of singular moduli to real quadratic base fields. They are certain cohomology classes of \({{\,\mathrm{SL}\,}}_2(\mathbb {Z}[1/p])\) which can be evaluated at real quadratic irrationalities, and the values thus obtained are conjectured to lie in algebraic extensions of the base field. In this article, we present a construction of cohomology classes inspired by that of Darmon–Vonk, in which \({{\,\mathrm{SL}\,}}_2(\mathbb {Z}[1/p])\) is replaced by an order in an indefinite quaternion algebra over a totally real number field F. These quaternionic cohomology classes can be evaluated at elements in almost totally complex extensions K of F, and we conjecture that the corresponding values lie in algebraic extensions of K. We also report on extensive numerical evidence for this algebraicity conjecture.
Similar content being viewed by others
Notes
i.e., when p belongs to the set \(\{2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, 71 \}\)
we will assume that \(c\ne 0\), as this can always be achieved by replacing \(\psi \) by a conjugate if necessary
Available at https://github.com/mmasdeu/darmonvonk
Maintained by the second named author at https://github.com/mmasdeu/darmonpoints
References
Dasgupta, S., Teitelbaum, J.: The \(p\)-adic upper half plane, \(p\)-adic geometry. In: University Lecture Series, 45, AMS, Providence, pp. 65–121 (2008)
Darmon, H., Vonk, J.: Arithmetic intersections of modular geodesics. In: Proceedings of the First JNT Biennial Conference in Cetraro (2020)
Darmon, H., Vonk, J.: Singular moduli for real quadratic fields: a rigid analytic approach. Duke Math. J. 170(1), 23–93 (2021)
Gehrmann, L.: On quaternionic rigid meromorphic cocyles. Math. Res. Lett. (accepted) (2021)
Guitart, X., Masdeu, M.: Overconvergent cohomology and quaternionic Darmon points. J. Lond. Math. Soc. 90(2), 495–524 (2014)
Guitart, X., Masdeu, M., Sengün, M.H.: Darmon points on elliptic curves over number fields of arbitrary signature. Proc. Lond. Math. Soc. 111(2), 484–518 (2015)
Greenberg, M.: Stark-Heegner points and the cohomology of quaternionic Shimura varieties. Duke Math. J. 147(3), 541–575 (2009)
Stein, W.A., et al.: Sage Mathematics Software (Version 9.1). The Sage Development Team (2020). http://www.sagemath.org
Voight, J.: Computing fundamental domains for Fuchsian groups. J. Theor. Nombres Bordeaux 21(2), 469–491 (2009)
Voight, J.: Quaternion algebras. In: Graduate Texts in Mathematics, vol. 288, 1st edn., p. 885. Springer International Publishing (2021). https://doi.org/10.1007/978-3-030-56694-4
Acknowledgements
We thank Jan Vonk and Henri Darmon for illuminating conversations about their work and for sharing with us the code used in their original calculations. We also thank them for suggesting to us the interest of the numerical verification that we present in Sect. 8.3. Guitart was partially funded by project PID2019-107297GB-I00. Xarles was partially supported by project MTM2016-75980-P. This work has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 682152).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Guitart, X., Masdeu, M. & Xarles, X. A quaternionic construction of p-adic singular moduli. Res Math Sci 8, 45 (2021). https://doi.org/10.1007/s40687-021-00274-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-021-00274-3