Thing One about LQG
nightcleaner said:
...Just like me to learn to build a paper airplane and then suggest we immediately start colonies on Mars...
We are alike in that respect, except that I would prefer the colonies to be on the Jovian moon Callisto instead of Mars.
I was thinking lately about what would be Thing One to say about LQG, in a congenial company of nonspecialists.
It occurred to me that Thing Zero would be a quote from Einstein (
Grundlage, 1916) that appears in Rovelli section 2.3.2
"The requirement of general covariance takes away from space and time the last remnant of physical objectivity."
General covariance is nowadays often called diffeomorphism invariance. Diffeomorphisms are smooth mooshings of a manifold, where smooth means infinitely differentiable. Our main goal should be to outwit the jargon and find the simple idea. Jargon is the dragon guarding the gate.
a manifold is a continuum (selfAdjoint says he likes that word better). a manifold is equipped with coordinate charts. If transposing from one chart to another is a smooth mapping then we say the manifold is smooth.
Every mathematical introduction to LQG begins the same with a compact smooth manifold M. The author will then usually say that for convenience we think of M as looking like the 3d sphere. But, it is understood, without the sphere's geometry. A limp shapeless "bag" of a 3d sphere.
So M is S
3 but deprived of its native S
3 metric geometry.
We have to begin with M as our idea of space because Einstein began his
"allgemeine Relativitaetstheorie" with such a manifold M, without a metric, and required above all that the system for finding a metric in harmony with substance should be unaltered by mooshing the manifold.
The two primal features whether of the classical or quantum theory are background independence (which means NO PRIOR METRIC) and diffeomorphism invariance (which means MOOSHING DOESNT MATTER)
And well somewhere in the first paragraph they toss in a 4d manifold you can think of as R x M, and you can assume that the same applies to it:
1. no prior metric
2. mooshing mox nix (Der Musherei macht nichts bei der Mannigfaltigkeit!)
now something cruelly unexpected is going to happen
an idea which kindly old father Newton gave us of a space that is independent of material substance, this space, as a separate entity existing of its own accord, is going to go poof
all that will be left is the Geometry that was on the space
as the smile on the cat's face remains after the cat vanishes