This is the note for a series of lectures that the author gave at the Centre de Recerca Matem´atica (CRM), Bellaterra, Barcelona, Spain on October 19–24, 2009. The aim is to give a comprehensive description of some recent work of the author and his students on generalisations of the Gross-Zagier formula, Euler systems on Shimura curves, and rational points on elliptic curves.

No abstract uploaded!

No abstract uploaded!

No abstract uploaded!

In the classical theory of multiple zeta values (MZV's), Furusho proposed a conjecture asserting that the p-adic MZV's satisfy the same Q-linear relations that their corresponding real-valued MZV counterparts satisfy. In this paper, we verify a stronger version of a function field analogue of Furusho's conjecture in the sense that we are able to deal with all linear relations over an algebraic closure of the given rational function field, not just the rational linear relations.