Geodesic Deviation
Show that for Schwarzschild spacetime that geodesics diverge locally everywhere.
If that is true, how do we get multiple images of stars? Must be some global property converging them again.
Guass-Bonnet