Covariant Conservation of the Stress-Energy Tensor

1. The Continuity Equation: An Intuitive Starting Point

Before diving into the formal derivations, let's build our intuition. The statement ${\nabla }_{\mu }{T}^{\mu \nu }=0$ is a set of four equations (one for each value of $\nu$). The $\nu =0$ component relates the rate of change of energy density to the divergence of energy flux, while the $\nu =i$ components relate the rate of change of momentum density to the divergence of momentum flux (i.e., stress). This is a direct generalization of familiar continuity equations like $\frac{\partial \rho }{\partial t}+\nabla \cdot \mathbf{J}=0$.

The following video provides an excellent, component-based argument for this continuity equation in flat spacetime and then motivates its generalization to the covariant form needed for General Relativity.

This intuitive picture is a great guide. Now, let's derive the result with the full rigor of our new mathematical tools.

2. Two Paths to Covariant Conservation

There are two powerful and elegant ways to derive ${\nabla }_{\mu }{T}^{\mu \nu }=0$. One is from the geometric side of the eventual Einstein equations, and the other is from the matter side. Your background in Lagrangian mechanics and interest in fundamental principles makes exploring both paths particularly valuable.

Path A: The Geometric Constraint (The Bianchi Identity)

Let's anticipate the form of the Einstein Field Equations (EFE):
$G_{\mu \nu }=\kappa T_{\mu \nu }$
Here, $G_{\mu \nu }$ is a tensor constructed purely from the metric and its derivatives (i.e., from geometry), and $\kappa$ is a constant we will determine later. The most natural candidate for $G_{\mu \nu }$ is the Einstein tensor, which is built from the Ricci tensor $R_{\mu \nu }$ and Ricci scalar $R$:
$G_{\mu \nu }\equiv R_{\mu \nu }-\frac{1}{2}R{g}_{\mu \nu }$
This tensor has a remarkable, purely geometric property known as the contracted Bianchi identity: its covariant divergence is identically zero.
${\nabla }^{\mu }{G}_{\mu \nu }=0$
This identity is not an equation of motion; it is a mathematical fact about the geometry of any spacetime, just like $\nabla \cdot (\nabla \times \mathbf{A})=0$ is a mathematical identity in vector calculus.

The following video provides a concise derivation of this crucial identity. While we will cover the Bianchi identities in more detail in the next module, seeing this derivation now is essential for understanding the structure of the EFE.

The implication of this is immediate and profound. If the Einstein Field Equations $G_{\mu \nu }=\kappa T_{\mu \nu }$ are to hold, then the right-hand side must have the same property as the left-hand side.
Since ${\nabla }^{\mu }{G}_{\mu \nu }=0$ is a geometric identity, it must be that
${\nabla }^{\mu }(\kappa T_{\mu \nu })=0⟹{\nabla }^{\mu }{T}_{\mu \nu }=0$
(assuming the indices are properly raised/lowered).

From this perspective, the covariant conservation of the stress-energy tensor is a consistency condition. The very geometry of spacetime, through the Bianchi identity, dictates that any valid source for gravity must be covariantly conserved.

Path B: Diffeomorphism Invariance of the Matter Action

Now let's derive the same law from a completely different starting point: the fundamental symmetries of matter. This approach is an application of Noether's second theorem and is arguably more fundamental.

In the last lesson, we introduced the definition of the stress-energy tensor via the variation of the matter action $S_{\text{matter}}$ with respect to the metric:
$T_{\mu \nu }\equiv \frac{2}{\sqrt{-g}}\frac{\delta S_{\text{matter}}}{\delta g^{\mu \nu }}$
The action $S_{\text{matter}}$ is a scalar, meaning it is invariant under general coordinate transformations. This property is called diffeomorphism invariance or general covariance. It means that if we "drag" the fields and the metric across the manifold in a smooth way (a diffeomorphism), the value of the action integral does not change.

This invariance is a type of gauge symmetry. Just as gauge invariance in electromagnetism leads to charge conservation (${\partial }_{\mu }{J}^{\mu }=0$), diffeomorphism invariance in GR leads to the covariant conservation of the stress-energy tensor.

The derivation involves considering an infinitesimal diffeomorphism generated by a vector field ${\xi }^{\nu }$. The change in the matter action $\delta S_{\text{matter}}$ under this transformation must be zero. By carefully relating the variation of the fields to the variation of the metric, one can show that this invariance directly implies ${\nabla }_{\mu }{T}^{\mu \nu }=0$, provided the matter fields obey their own equations of motion.

The following resource provides a rigorous and clear derivation based on this principle.

From this perspective, the law ${\nabla }_{\mu }{T}^{\mu \nu }=0$ arises from the fundamental symmetries of our matter fields. Any physically reasonable field theory described by a generally covariant action will automatically possess a covariantly conserved stress-energy tensor.

3. Synthesis: Why Both Paths Lead to the Same Result

We have two seemingly independent derivations. Why do they agree? This is a testament to the beautiful consistency of General Relativity.

• Path A (Geometry): The structure of curved spacetime, encapsulated in the Bianchi identity, demands that the source of gravity be conserved.
• Path B (Matter): The fundamental principle of general covariance (diffeomorphism invariance) for matter fields ensures that the stress-energy tensor is conserved.

Einstein's genius was in constructing an equation, $G_{\mu \nu }=\kappa T_{\mu \nu }$, that connects a geometrically conserved quantity on the left with a physically conserved quantity on the right.

For a concise summary that ties these two threads together, the following article is ideal.

4. Physical Content: The Equations of Motion

What does ${\nabla }_{\mu }{T}^{\mu \nu }=0$ physically mean? It's not just an abstract statement. It contains the equations of motion for the matter distribution. Let's demonstrate this for the perfect fluid we defined in the last lesson: $T^{\mu \nu }=(\rho +p)u^{\mu }{u}^{\nu }+p{g}^{\mu \nu }$.

The conservation law is ${\nabla }_{\mu }{T}^{\mu \nu }=0$. Let's expand this:
${\nabla }_{\mu }[(\rho +p)u^{\mu }{u}^{\nu }+p{g}^{\mu \nu }]=u^{\nu }{\nabla }_{\mu }[(\rho +p)u^{\mu }]+(\rho +p)u^{\mu }{\nabla }_{\mu }{u}^{\nu }+g^{\mu \nu }{\nabla }_{\mu }p=0$
This is a vector equation. To extract its physical meaning, we can project it along the fluid's four-velocity $u_{\nu }$ and orthogonal to it.

Projection along $u_{\nu }$:
Multiplying by $u_{\nu }$ and using $u_{\nu }{u}^{\nu }=-1$ and $u_{\nu }{\nabla }_{\mu }{u}^{\nu }=0$ (which follows from differentiating $u_{\nu }{u}^{\nu }=-1$), we get:
$-{\nabla }_{\mu }[(\rho +p)u^{\mu }]+(\rho +p)u^{\mu }(u_{\nu }{\nabla }_{\mu }{u}^{\nu })+u^{\nu }{\nabla }_{\nu }p=0$
$-{\nabla }_{\mu }[(\rho +p)u^{\mu }]+u^{\mu }{\partial }_{\mu }p=0$
Expanding the first term and rearranging gives:
$u^{\mu }{\partial }_{\mu }\rho +(\rho +p){\nabla }_{\mu }{u}^{\mu }=0$
This is the relativistic continuity equation, governing the conservation of energy.

Projection orthogonal to $u_{\nu }$:
This is slightly more involved, but it yields:
$(\rho +p)u^{\mu }{\nabla }_{\mu }{u}^{\nu }=-({\partial }^{\nu }p+u^{\nu }{u}^{\mu }{\partial }_{\mu }p)$
The term on the left is mass-energy times acceleration ($a^{\nu }=u^{\mu }{\nabla }_{\mu }{u}^{\nu }$). The term on the right is the spatial gradient of pressure. This is the relativistic Euler equation, the equation of motion for a perfect fluid.

Thus, the abstract conservation law ${\nabla }_{\mu }{T}^{\mu \nu }=0$ is incredibly powerful: it dictates how matter and energy must move in a curved spacetime.

Conclusion

In this lesson, we have established a cornerstone of General Relativity: the covariant conservation of the stress-energy tensor, ${\nabla }_{\mu }{T}^{\mu \nu }=0$.

Key Takeaways:

• The conservation of energy and momentum in curved spacetime is expressed by the covariant law ${\nabla }_{\mu }{T}^{\mu \nu }=0$.
• This law can be derived in two complementary ways:
  1. As a geometric necessity: The Einstein tensor $G_{\mu \nu }$ is automatically conserved (${\nabla }_{\mu }{G}^{\mu \nu }=0$, the Bianchi identity), so any source $T_{\mu \nu }$ it couples to must also be.
  2. As a consequence of fundamental symmetry: Any matter action that is invariant under diffeomorphisms (a basic requirement of GR) will produce a stress-energy tensor that is covariantly conserved.
• This law is not just a bookkeeping rule; it contains the equations of motion for the matter fields, such as the relativistic Euler and continuity equations for a perfect fluid.

We now have all the conceptual ingredients in hand. We have the object describing curvature ($G_{\mu \nu }$), the object describing the source ($T_{\mu \nu }$), and the crucial conservation law (${\nabla }_{\mu }{T}^{\mu \nu }=0$) that connects them.

Preview of Next Lesson:
The stage is set. In the next lesson, we will finally derive the full Einstein Field Equations. We will do this using the elegant principle of least action, formulating the Einstein-Hilbert action for gravity itself and varying it with respect to the metric to find the equations that govern spacetime dynamics.