Published online by Cambridge University Press: 20 November 2018
Darmon cycles are a higher weight analogue of Stark–Heegner points. They yield local cohomology classes in the Deligne representation associated with a cuspidal form on ${{\Gamma }_{0}}\left( N \right)$ of even weight ${{k}_{0}}\,\ge \,2$. They are conjectured to be the restriction of global cohomology classes in the Bloch–Kato Selmer group defined over narrow ring class fields attached to a real quadratic field. We show that suitable linear combinations of them obtained by genus characters satisfy these conjectures. We also prove $p$-adic Gross–Zagier type formulas, relating the derivatives of $p$-adic $L$-functions of the weight variable attached to imaginary (resp. real) quadratic fields to Heegner cycles (resp. Darmon cycles). Finally we express the second derivative of the Mazur– Kitagawa $p$-adic $L$-function of the weight variable in terms of a global cycle defined over a quadratic extension of $\mathbb{Q}$.