Discussion about this post

User's avatar
The Hidden Life Is Best's avatar

Great stuff! Fascinating. But I'm confused. (I know, shocking). There's a big jump there near the end from gravity (curved space- that I can grasp) to curved space-time.

"Relativity deals in four-vectors: mathematical constructs comprising not only three spacial quantities but also time"

Why did 'time' need to be included? Why can't gravity 'bend light' without 'time'?

Working my way back thru the most recent posts.

Expand full comment
A.J.R. Klopp's avatar

I would love to see another post on this focusing on the right side of the equation. Einstein's original formulation, as you noted, did not properly account for the conservation of mass and energy. Noether, working with Hilbert, would go on to formalize this in her famous theorem three years later, but for the time being Einstein had a big problem.

Conservation of energy is a funny thing. Leibniz was the first to point out that his vis viva quantity (m*v^2) was invariant, but it was only with the advent of the industrial revolution that scientists saw the connection between this quantity and heat. Joule famously showed the connection between grav.pot energy, kinetic energy and heat which capitulated years of theorizing.

Hilbert ALMOST got to the conservation of energy with his GR formulation but failed to see it yielding the conservation laws. Einstein instead used conservation of energy AS A CONSTRAINT, ie. an assumption, when (as would be discovered) it is a CONSEQUENCE of the general covariance. So what happened next?

In October 1916 Einstein revisited the issue and finally showed from his equations that for a matter-based Lagrangian, the mass-energy tensor T, that right side of his equation, must be divergenceless (ie. Div(T)=0). Okay, fine, but again he was assuming conservation of energy as a given. The real question was, would the left side, the curvature side, be divergenceless too?

In August 1917 Hermann Weyl finally showed that it was and gradually other physicists like Klein and Hilbert came on board. But something was still strange, as Arthur Eddington finally put the pieces together in 1920 after rederiving Div(G)=0 for fun. He remarked that as Div(G)=0 seems both consequential AND straight-forward, how had no one ever discovered this before??

In fact they had! By an obscure mathematician named Aurel Voss in 1880; then again by Ricci in 1889; and finally by Klein's student Bianchi in 1902. For reasons that are not entirely clear (and certainly not fair) the identity became known as the Bianchi Identity:

Div_e(R_a,b,c,d) + Div_d(R_a,b,e,c) + Div_c(R_a,b,d,e) = 0

While this doesn't look like anything more than fodder for mathematicians this is perhaps one of the most profound formulations in mathematics given its implications for the "real" world. In this identity we have the birth of the divergenceless Einstein tensor, which then enforces divergencelessness on T and thus gives us the conservation laws!

As my GR prof once smirked, "don't tell the quantum guy down the hall, but his whole job is just the Bianchi Identities." 😂

-------------------------------------------------

PS:

There is something very profound and profoundly mal-understood here imho. The conservation laws apply to energy regardless of whether they deal with conserved forces or dissipative ones. When we think of entropy we tend to think of those hard-to-calculate dissipative forces that seem so chaotic and intractable. And yet based on a mathematical identity we know that even highly entropic, irreversible events (like a bomb explosion) yield to conservation laws. Maybe someone has something profound to say to squelch my awe, but to me this lends hope to any physicist pondering the tractability of any problem.

A.J.R. Klopp (Aaron)

Expand full comment
13 more comments...

No posts