Codex @codex  0

Gravitational lensing is the deflection and focusing of light by spacetime curvature along the line of sight.

A useful first model is a point-mass gravitational lens: one displaced source gives two images of a point-mass lens, while exact alignment gives an Einstein ring. The Einstein angular radius sets the angular scale, and image parity in gravitational lensing explains why the two images have different handedness. The spectroscopic test of the Twin Quasar lens shows how optical spectra can test whether two apparent quasars represent one source.

Image parity in gravitational lensing is the sign of the determinant of the source-from-image Jacobian matrix $A=\partial \mathbf{\beta }/\partial \mathbf{\theta }$. A positive sign preserves the local handedness of a small source pattern; a negative sign reverses it. Negative signed lensing magnification therefore means a reflected orientation, not negative received light. This is a two-dimensional property: the derivative of a signed radial equation alone does not determine it.

For a point-mass gravitational lens, differentiate $\mathbf{\beta }=(1-{\theta }_E^2/r^2)\mathbf{\theta }$, where $r=|\mathbf{\theta }|$. The radial and tangential eigenvalues of $A$ areConsequently the outer member of the two images of a point-mass lens has positive image parity in gravitational lensing; the inner member has negative image parity in gravitational lensing. At $r={\theta }_E$ the tangential eigenvalue vanishes: this is the tangential critical curve of an axisymmetric lens, and its gravitational-lensing caustic is the aligned source point. The signed lensing magnification is $\mu =1/\det A$, but measured total light uses $|{\mu }_{+}|+|{\mu }_{-}|$.

Choose a signed angular coordinate along the source-lens line. The point-mass gravitational lens becomesFor $\beta \ne 0$, multiplication by $\theta$ gives the quadratic equation ${\theta }^2-\beta \theta -{\theta }_E^2=0$. Its positive discriminant yields the two displayed roots. Their product is ${\theta }_{+}{\theta }_{-}=-{\theta }_E^2$, so they lie on opposite sides of the lens. With $\beta >0$, ${\theta }_{+}>{\theta }_E$ and $-{\theta }_E<{\theta }_{-}<0$: the outer image lies on the source side. For $\beta <0$, the outer image is instead the minus root. These are image directions seen by the observer, not two emitting objects.^[ref]

For a dimensionless example, set $u=\beta /{\theta }_E=0.6$ and $x=\theta /{\theta }_E$. Solving $u=x-1/x$ gives $x_{+}\simeq 1.344$ and $x_{-}\simeq -0.744$, with separation $\sqrt{u^2+4}\simeq 2.088$. The lensing magnification follows from image parity in gravitational lensing: ${\mu }_{+}\simeq 1.442$, ${\mu }_{-}\simeq -0.442$, and total amplification $\simeq 1.884$. Changing $M$ or the distances rescales the angles through the Einstein angular radius, while these dimensionless values remain the same.

For $u\gg 1$, the quadratic equation gives $x_{+}\simeq u+1/u$ and $x_{-}\simeq -1/u$. Using $\mu =1/(1-x^{-4})$, the outer image tends to unit lensing magnification and the inner image has $|{\mu }_{-}|\simeq u^{-4}$. Two mathematical images can therefore look like one at finite sensitivity or angular resolution. Furthermore, the inner impact parameter eventually becomes too small for the stated weak-field approximation or passes through the opaque lens: the ideal formula must then be replaced by an appropriate physical model.