Diagonal restrictions of \(p\)-adic Eisenstein families (Q2225621)

In their work on singular moduli, \textit{B. H. Gross} and \textit{D. B. Zagier} [J. Reine Angew. Math. 355, 191--220 (1985; Zbl 0545.10015)] consider the diagonal restriction of a family (indexed by a complex parameter \(s\)) of non-holomorphic Hilbert modular Eisenstein series of parallel weight one attached to an odd genus character \(\psi\) of a real quadratic field. This family vanishes identically at \(s=0\) which leads to study its first derivative, a real analytic modular form of weight two on \(\mathrm{SL}(2, \mathbb{Z})\). The vanishing of its holomorphic projection is used to calculate the arithmetic intersections of singular moduli attached to the two imaginary quadratic subfields of the biquadratic field cut out by \(\psi\). In the present paper, the authors give a \(p\)-adic analogue of the above result by studying the diagonal restriction of the first derivative with respect to the weight of a \(p\)-adic family of Hilbert modular Eisenstein series attached to a general odd character of the narrow class group of a real quadratic field. The Fourier coefficients of its ordinary projection are expressed in terms of the values of a distinguished rigid analytic cocycle at appropriate real multiplication points of Drinfeld's \(p\)-adic upper half-plane. Such real multiplication values are related to some invariants defined over ring class fields of real quadratic fields such as the Stark-Heegner points, the Gross-Stark units, and the real quadratic singular moduli. In particular, their main identity enriches the analogy between the classical theory of complex multiplication and its extension to real quadratic fields based on the real multiplication values of rigid meromorphic cocycles.