A quaternionic construction of \(p\)-adic singular moduli (Q2042087)

\textit{H. Darmon} and \textit{J. Vonk} [Duke Math. J. 170, No. 1, 23--93 (2021; Zbl 1486.11137)] had introduced rigid meromorphic cocycles 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, the authors 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 they conjecture that the corresponding values lie in algebraic extensions of \(K\). They also report on extensive numerical evidence for this algebraicity conjecture.