Let A be a modular abelian variety over a totally real field F. For a CM quadratic extension K/F satisfying the "Heegner hypothesis" for A, the theory of Heegner points produces points on A over the ring class fields of K. We give an introduction to the setup and describe certain results on the non-triviality of Heegner points.