Black Hole Geometry
I have not managed to write as often this summer as I would've liked but not because I have been idle. While my friends have been traveling in Europe and what not, I have spent the entire time within a twenty minute walking radius of my campus apartment. This is not as depressing as it sounds. I got a lot of math done and read some very interesting books.
Apart from a couple of posts about black holes and quantum entanglement, I have usually shied away from writing about my research. This is because most of it is highly technical. Recently I proved a result which seems to me to be straight forward enough to explicate here. The proof was so charmingly simple that I am sure a sharp 12-year-old can grasp it. Let's begin without further ado! [See glossary of technical terms in italics below.]
Black holes
Regular readers may recall that I work in black hole geometries. These are highly symmetrical solutions to Einstein's field equations. At first, these were regarded as curiosities but now we have evidence of hundreds of black holes. The current consensus is that there is a supermassive black hole at the center of very galaxy, of which there are billions in the observable universe alone. A recent development has been the visual detection of a black hole swallowing a red giant.
The no hair theorem guarantees that a black hole located at the origin in a flat Minkowski background, is completely characterized by 3 parameters: mass (M), angular momentum (a), and electric charge (e). The basic case is Schwarzschild geometry, which is a non-rotating black-hole without charge: a=e=0. This is just a special case of Kerr geometry, the more realistic rotating case, which is itself a special case of Kerr-Newman geometry: a charged, rotating black hole. As it turns out, this last generalization is trivial to handle: one adjusts the function $latex {\Delta:=r^2-2Mr+a^2}$ by adding the magnetic and electric monopole moments $latex {\Delta:=r^2-2Mr+a^2+P^2+Q^2}$ and the expressions look exactly the same otherwise. Therefore, there is no loss of generality in working in Kerr geometry.
A Schwarzschild black hole is algebraically simple to handle but a bit boring. The metric in this case is diagonal which means what manipulating tensors and other quantities that live on this geometry is relatively straight forward. It has a singularity located at the center and an event horizon at r=2M. No particle–not even a photon–can escape once it passes through the event horizon, which is why it's called a black hole. This solution is spherically symmetric, which means that one can work on the equatorial plane without loss of generality.
On the other hand, the more physical Kerr solution has a very interesting structure. Instead of a point singularity like Schwarzschild, it has a ring singularity. Imagine cutting out a circle from a plane. And instead of a single horizon, there are two: the event horizon and the Killing horizon. The event horizon is the hypersurface of infinite red-shift, just like the Schwarzschild case. The Killing horizon is an oblate hypersurface that touches the event horizon at the poles but extends out towards the equator. The region between these two horizons is called the ergoregion. Strange things happen here. In the ergoregion, the vector $latex {\partial_{t}}$ becomes spacelike and it is $latex \partial_r$ that is timelike. This means that it is r that measures time inside the Killing horizon. Moreover, frame dragging in this region is extremal: you have to co-rotate with the black hole, it takes infinite energy to counter-rotate.
Note that Kerr geometry is only axisymmetric. The axis of symmetry is the axis around which the black hole is rotating. An additional symmetry is flipping the black hole like an omelette that leaves the equatorial plane fixed, effected though the coordinate change that sends $latex {\theta\longrightarrow\pi-\theta}$ leaving $latex {t, r, \varphi}$ the same. Reducing to this plane of symmetry is not without loss of generality.
Photons in the vicinity of a Kerr black hole
A basic question is what happens to a photon as it propagates in the vicinity of a black hole. Indeed, knowing the history of every single light ray we basically know the entire "history" of the spacetime. But apart from the orbit of a photon we are also interested in its internal degrees of freedom. This is the phenomena of spin. Photons are spin-1 particles. This means that there is just a circle's worth of freedom once we have specified the 4-momenta. This has to do with the representation theory of the Lorentz group, the group of local isometries of any spacetime. In fact, every particle–all particles of the same kind being absolutely identical–corresponds to a distinct irreducible representation of this group. A representation is a map from the group to a vector space $latex {\rho:G\longrightarrow V}$. If the group law is ab=c, then $latex {\rho(a)\rho(b)=\rho(c)}$, so the action maps the group structure onto V. Irreducible representations are the ones that cannot be decomposed into a direct sum of other representations. Whence, they are the fundamental building blocks of the group structure. The connection to fundamental particles goes very deep and lies at the heart of quantum field theory. But I digress.
The polarization of a photon is given by a vector ƒ that is orthogonal to the photon 4-momentum k. One needs a transport law to figure out what happens to this vector as the photon propagates. This transport law is given by parallel propagation. One can then compare the polarization vector at two events (as seen by observers there), and calculate the Faraday rotation, which is the rotation of the polarization vector induced by the curvature of spacetime.
One therefore needs to solve the equations of parallel transport:
$latex {\nabla_{k} f}=0$
Here $latex {\nabla}$ is the covariant derivative operator, which is just regular derivatives plus correction terms for the curvature of spacetime $latex {\nabla_b X_a:=\partial_b X_a + X_c\Gamma^c_{\phantom{c}ab}}$. Now, these equations are straight forward to solve in Minkowski spacetime and even Schwarzschild, but a nightmare in Kerr geometry. So much so in fact that it has only been done in the weak field limit, i.e., far from the black hole. My work this summer has been focused on figuring out how to do this in the general case, in terms of what observers actually see. This has taken me into deep hidden symmetries of Kerr geometry captured by Killing-Yano theory. That is some non-trivial math and I won't go into that, but I have managed to obtain a very simple proof of the following proposition which I can elaborate here.
Theorem
Consider a photon and an observer confined to the plane of symmetry in the Kerr exterior. Such an observer will not detect any Faraday rotation.
Proof. The proof essentially boils down to the fact that the unit vector normal to the plane of symmetry $latex {\omega}$ is parallel propagated along any vector field confined to the plane. This is easy enough to check explicitly:
$latex {\nabla_u\omega=0}$
Now, what does the observer see at an event $latex (t, r, \theta, \varphi)$? For that, we need to decompose the 4-vector $latex {\omega}$ into a timelike component and a spatial 3-vector $latex {(\omega^0,\overset{\rightharpoondown}{\omega})}$. Then the observer sees:
Now, $latex {\overset{\rightharpoondown}{\omega}\cdot\overset{\rightharpoondown}{k} = 0}$ so that $latex {\overset{\rightharpoondown}{\omega}}$ is a unit vector in the plane of polarization that can serve as a basis vector along with its orthogonal complement. Since both ƒ and $latex {\omega}$ are parallel propagated along k, and $latex {\omega}$ is parallel propagated along the observer's worldline, the angle between their corresponding 3-vectors–in the frame of the observer–remains constant. Whence, there can be no detection of Faraday rotation on the equatorial plane. §
Of course, this being differential geometry, I had to calculate multiple cases and get frustrated about finding zero Faraday rotation on the equatorial plane for a month before attempting to prove the proposition. The proof turned out to be surprisingly simple. What took months of hard slogging was being able to imagine that such a proposition could hold. There was no a priori reason to suppose that this physically measurable effect would vanish on the plane of symmetry. One suspects that this is true of any sub-manifold which is a spacetime in its own right. That is, a totally geodesic sub-manifold. Being the set of fixed points of the discrete symmetry $latex {\theta\longrightarrow\pi-\theta}$, the equatorial plane is guaranteed to be totally geodesic. This is also the case for the axis of rotation $latex {\theta=0}$.
In practice, all the explicit work is done on the equatorial plane because away from it stuff gets complicated in a hurry:
I hope you enjoyed reading that. If something is unclear, by all means shoot me a comment. I am in the middle of Kindleberger's classic Manias, Panics, and Crashes. Perhaps I will write a review of that along with a few others I have read recently.
Glossary
Spacelike: A vector pointing in the spatial direction as seen by an observer, one that points to events that cannot even be reached at the speed of light.
Timelike: A vector tangent to a curve appropriate to a massive particle, one that points to events that can be reached at subluminal speeds.
Frame dragging: Observers carry orthonormal frames with them. In curved spacetimes, these axes get distorted because of the differential between the gravitational force at nearby points. For instance, the gravitational force on your feet when you are standing up is marginally greater than that felt on your head. In the vicinity of a black hole, such effects become extreme.
Parallel propagation: A way of carrying the local geometry infinitesimally along a curve, allowing one to identify vector spaces at nearby events. This may be highly non-trivial on a curved space. For instance, one may not return to the same vector: