Chan-Ho Kim, "On Gross points at infinite level"

This is work in progress. We suggest a quaternionic
analogue of the cycle \infty \to 0 on the upper half plane. It has an
application to construct the distributions related to anticyclotomic
p-adic L-functions of modular forms in an overconvergent way a la
Stevens.