2025/09/11 by Hassan, Hazem
#FOS: Mathematics #Number Theory (math.NT)
paper · doi:10.48550/arxiv.2509.09446
Heegner cycles are higher weight analogues of Heegner points. Their arithmetic intersection numbers also appear as Fourier coefficients of modular forms and often belong to abelian extensions of imaginary-quadratic fields. Rotger and Seveso propose a precise recipe for the p-adic Abel-Jacobi images of cycle classes whose existence is predicted by conjectures of Bloch and Beilinson and which would be a real-quadratic analogue to Heegner cycles: the Stark-Heegner cycles of the title. In this paper, we generalize Darmon-Vonk's theory of rigid meromorphic cocycles to higher weight, producing a higher Green's pairing of real-quadratic divisors on the p-adic upper half-plane, which seems to be the real-quadratic analogue of the pairing of Heegner cycles. Computation of these values for "principal cycles'' gives evidence that they lie in abelian extensions of real-quadratic fields. The algebraicity of certain values of the higher Green's function is indirect evidence for the existence of algebraic Stark-Heegner cycles.