What are some good books, lecture notes, articles, etc. that can be used as introduction to the landscape of major results in general relativity since Einstein? In terms of the timeline, I'm thinking anything starting from around the Kerr solution and Penrose's singularity theorem.
For some context, I'm a mathematician and so am really looking for the application of differential geometry beyond basic Riemannian geometry and how other areas like topology and spinors have found their way into GR.
I would also be very interested to see literature focused on the application of GR to astrophysics. Particularly, what has been done beyond numerical analysis.