Christophe Cornut - 15h30 - Proof(s) of the non-triviality of the Euler System of Heegner points. (Ajourné d'un mois à cause du Covid)

I will sketch the proof of a conjecture of B. Mazur: Heegner
points always yield a non-trivial contribution to the growth
of Mordell-Weil groups along anti-cyclotomic towers.