A Lefschetz fixed point theorem in gravitational lensing
Abstract
Topological invariants play an important role in the theory of gravitational lensing by constraining the image number. Furthermore, it is known that, for certain lens models, the image magnifications μi obey invariants of the form ∑iμi=1. In this paper, we show that this magnification invariant is the holomorphic Lefschetz number of a suitably defined complexified lensing map, and hence a topological invariant. We also provide a heat kernel proof of the holomorphic Lefschetz fixed point formula which is central to this argument, based on Kotake's proof [Commun. Pure. Appl. Math. 22, 789 (1969)] of the more general Atiyah-Bott theorem [Bull. Am. Math. Soc. 72, 245 (1966)]. Finally, we present a new astronomically motivated lens model for which this invariant holds.
- Publication:
-
Journal of Mathematical Physics
- Pub Date:
- May 2007
- DOI:
- 10.1063/1.2735443
- arXiv:
- arXiv:math-ph/0703050
- Bibcode:
- 2007JMP....48e2501W
- Keywords:
-
- 98.62.Sb;
- 95.30.Sf;
- 02.40.Pc;
- Gravitational lenses and luminous arcs;
- Relativity and gravitation;
- General topology;
- Mathematical Physics;
- Astrophysics
- E-Print:
- 14 pages. Version 2: typos corrected