Introduction To General Relativity And Cosmology

The most profound truths in the universe often arrive disguised as mathematical errors. When a calculation predicts an infinite density packed into an infinitely small point, our first instinct is to dismiss it as a failure of the model—a sign that the equations have broken. We see it as a dead end, a place where physics ceases to apply. But this is a failure of perspective, not physics. These mathematical oddities, these so-called singularities, are features of our cosmic software. They are signposts pointing directly toward a deeper, more bizarre reality than our classical intuition can handle. The universe is telling us our imagination is too small.

This exact intellectual confrontation is what drew Christian G. Böhmer to the field. He recognized that the most jarring predictions of General Relativity—the infinitely dense hearts of black holes or the very beginning of the universe itself—were gateways to a more complete understanding. As a mathematician and theoretical physicist specializing in the very structure of spacetime, he saw that students and enthusiasts were often taught to sidestep these paradoxes. He wrote "Introduction To General Relativity And Cosmology" to guide readers directly into the beautiful, unsettling friction where our current theories seem to break down, because that is precisely where the next generation of discovery begins.

Module 1: The Language of Geometry

Before we can understand gravity, we need a new language to describe the stage it plays on: spacetime. This module lays the mathematical foundation, moving from familiar concepts to the powerful tools of differential geometry.

The first step is to see the world through a new lens. Physical laws must be independent of the coordinate system you choose. This is a core principle. The outcome of an experiment shouldn't change whether you use Cartesian or polar coordinates. The underlying reality is the same. Böhmer uses the cautionary tale of NASA's Mars Climate Orbiter, which was lost due to a simple mix-up between Imperial and metric units. This was a coordinate system failure. It underscores the need for a mathematical language that separates the physical truth from the arbitrary labels we use to measure it. Vectors, defined as abstract objects with magnitude and direction, provide this independence.

So how do we work with these abstract objects, especially on curved surfaces? We can't just draw straight arrows anymore. Vectors on a curved space are defined in a flat tangent space at a single point. Think of the Earth. An arrow drawn from London to New York through the Earth's core isn't a vector on the surface. A true surface vector is something like an airplane's velocity at Heathrow Airport. It exists in a flat plane that just touches the globe at that one point. This concept is crucial. It means that any curved space, viewed up close, looks flat. This "local flatness" allows us to use the familiar rules of vector math, but only at an infinitesimal level.

Now, let's turn to the next challenge. If every point has its own local flat space, how do we compare a vector at one point to a vector at another? The standard derivative we learned in calculus fails here. The covariant derivative is the proper tool for differentiation in curved space. When you move a vector from one point to another along a path, a process called parallel transport, its components change because the coordinate system's basis vectors are changing. The covariant derivative accounts for this. It uses correction terms called Christoffel symbols, which are derived from the metric tensor—the object that defines all distances and angles in the space. This new type of derivative ensures our physical laws remain consistent as we move across a curved manifold.

Building on that idea, we can redefine what a "straight line" means. Geodesics are the straightest possible paths in a curved space. In flat space, a geodesic is just a straight line. On the curved surface of the Earth, a geodesic is a great circle, like the equator or a line of longitude. These are the shortest paths between two points. The geodesic equation, which uses those Christoffel symbols, describes the trajectory of an object moving freely under the influence of geometry alone. This is a profound shift. We now have an object following the straightest possible path through a curved spacetime. The "force" is now part of the geometry.

Finally, we need a way to measure this geometry. How curved is it? The Riemann curvature tensor measures the failure of parallel transport to be path-independent. Imagine walking on a sphere. You start at the equator, walk north to the pole, turn 90 degrees, walk south to the equator, turn 90 degrees again, and walk back to your start. You've made three 90-degree turns, but you're back where you started, facing a different direction. Your orientation has changed. The Riemann tensor precisely quantifies this change. It tells us how much vectors twist when moved around a closed loop. If the Riemann tensor is zero everywhere, the space is flat. If it's non-zero, the space is curved. This tensor is the ultimate measure of gravity in Einstein's theory.