Overconvergent cohomology and quaternionic Darmon points
arXiv:1307.2556 · doi:10.1112/jlms/jdu036
Abstract
We develop the (co)homological tools that make effective the construction of the quaternionic Darmon points introduced by Matthew Greenberg. In addition, we use the overconvergent cohomology techniques of Pollack--Pollack to allow for the efficient calculation of such points. Finally, we provide the first numerical evidence supporting the conjectures on their rationality.
Fixed some minor typos, added authors' affiliation