We show that the asymptotic scaling of the magnification volume cross section corresponding to an elliptic umbilic caustic surface is $\mu^{-2.5}$ in the two-image region and $\mu^{-2}$ in the four-image region, where $\mu$ is the total unsigned magnification.

We present a definition of unsigned magnification in gravitational lensing valid on arbitrary convex normal neighborhoods of time oriented Lorentzian manifolds. This definition is a function defined at any two points along a null geodesic that lie in a convex normal neighborhood, and foregoes the usual notions of lens and source planes in gravitational lensing. Rather, it makes essential use of the van Vleck determinant, which we present via the exponential map, and Etherington's definition of luminosity distance for arbitrary spacetimes. We then specialize our definition to spacetimes, like Schwarzschild's, in which the lens is compact and isolated, and show that our magnification function is monotonically increasing along any geodesic contained within a convex normal neighborhood.

We develop a unified, analytic framework for gravitational lensing by Kerr black holes. In this first paper we present a new, general lens equation and magnification formula governing lensing by a compact object. Our lens equation assumes that the source and observer are in the asymptotically flat region and does not require a small angle approximation. Furthermore, it takes into account the displacement that occurs when the light ray's tangent lines at the source and observer do not meet on the lens plane. We then explore our lens equation in the case when the compact object is a Kerr black hole. Specifically, we give an explicit expression for the displacement when the observer is in the equatorial plane of the Kerr black hole as well as for the case of spherical symmetry.

In this second paper, we develop an analytical theory of quasi-equatorial lensing by Kerr black holes. In this setting we solve perturbatively our general lens equation with displacement given in Paper I, going beyond weak-deflection Kerr lensing to third order in our expansion parameter epsilon, which is the ratio of the angular gravitational radius to the angular Einstein radius. We obtain new formulas and results for the bending angle, image positions, image magnifications, total unsigned magnification, and centroid, all to third order in epsilon and including the displacement. New results on the time delay between images are also given to second order in epsilon, again including displacement. For all lensing observables we show that the displacement begins to appear only at second order in epsilon. When there is no spin, we obtain new results on the lensing observables for Schwarzschild lensing with displacement.

We provide a geometric explanation for the existence of magnification relations for the A, D, E family of caustic singularities, which were established in recent work. In particular, it was shown that for families of general mappings between planes exhibiting any of these caustic singularities, and for any non-caustic target point, the total signed magnification of the corresponding pre-images vanishes. As an application to gravitational lensing, it was also shown that, independent of the choice of a lens model, the total signed magnification vanishes for a light source anywhere in the four-image region close to elliptic and hyperbolic umbilic caustics. This is a more global and higher-order analog of the well-known fold and cusp magnification relations. We now extend each of these mappings to weighted projective space, which is a compact orbifold, and show that magnification relations translate into a statement about the behavior of these extended mappings at infinity. This generalizes multi-dimensional residue techniques developed in previous work, and introduces weighted projective space as a new tool in the theory of caustic singularities and gravitational lensing.

In the final paper of this series, we extend our results on magnification invariants to the infinite family of A, D, E caustic singularities. We prove that for families of general mappings between planes exhibiting any caustic singularity of the A, D, E family, and for a point in the target space lying anywhere in the region giving rise to the maximum number of lensed images (real pre-images), the total signed magnification of the lensed images will always sum to zero. The proof is algebraic in nature and relies on the Euler trace formula.

We prove a theorem about magnification relations for all generic general caustic singularities up to codimension five: folds, cusps, swallowtail, elliptic umbilic, hyperbolic umbilic, butterfly, parabolic umbilic, wigwam, symbolic umbilic, 2nd elliptic umbilic, and 2nd hyperbolic umbilic. Specifically, we prove that for a generic family of general mappings between planes exhibiting any of these singularities, and for a point in the target lying anywhere in the region giving rise to the maximum number of real pre-images (lensed images), the total signed magnification of the pre-images will always sum to zero. The proof is algebraic in nature and makes repeated use of the Euler trace formula. We also prove a general algebraic result about polynomials, which we show yields an interesting corollary about Newton sums that in turn readily implies the Euler trace formula. The wide field imaging surveys slated to be conducted by the Large Synoptic Survey Telescope are expected to find observational evidence for many of these higher-order caustic singularities. Finally, since the results of the paper are for generic general mappings, not just generic lensing maps, the findings are expected to be applicable not only to gravitational lensing, but to any system in which these singularities appear.

We prove that, independent of the choice of a lens model, the total signed magnification always sums to zero for a source anywhere in the four-image regions of swallowtail, elliptic umbilic, and hyperbolic umbilic caustics. This is a more global and higher-order analog of the well-known fold and cusp magnification relations, in which the total signed magnification in the two-image region of the fold, and the three-image region of the cusp, are both always zero. As an application, we construct a lensing observable for the hyperbolic umbilic magnification relation and compare it with the corresponding observables for the cusp and fold relations using a singular isothermal ellipsoidal lens. We demonstrate the greater generality of the hyperbolic umbilic magnification relation by showing how it applies to the fold image doublets and cusp image triplets, and extends to image configurations that are neither. We show that the results are applicable to the study of substructure on galactic scales using observed quadruple images of lensed quasars. The magnification relations are also proved for generic 1-parameter families of mappings between planes, extending their potential range of applicability beyond lensing.

Gravitational lensing of a background source by a foreground galaxy lens occasionally produces four images of the source. The cusp and the fold relations impose conditions on the ratios of magnifications of these four-image lenses. In this theoretical investigation, we explore the sensitivity of these relations to the presence of substructure in the lens. Starting with a smooth lens potential, we add varying amounts of substructure, while keeping the source position fixed, and find that the fold relation is a more robust indicator of substructure than the cusp relation for the images. This robustness is independent of the detailed spatial distribution of the substructure, as well as of the ellipticity of the lensing potential and the presence of external shear.