I read in a book, it is hard to formulate the theory of everything by unifying all the forces, because general relativity is a background independent theory while electromagnetism isn't. Why is this true?

  • 5
    $\begingroup$ It might help if you stated which book and what you think background independence implies. Thanks $\endgroup$ – user154420 Jun 29 '17 at 10:04
  • $\begingroup$ I read it in the book "Three Roads to Quantum Gravity" in which it was stated that in General Relativity fields, we need three sets of lines, and a point in relativity is where one of the lines of the three sets connect with the network of other lines, while in Newtonian Mechanics a point in a field has a value. $\endgroup$ – Ajinkya Naik Jun 29 '17 at 16:41
  • 2
    $\begingroup$ Are you referring to p. 22 of Three Roads to Quantum Gravity? Could you be more specific about what part of that explanation you didn't understand? $\endgroup$ – user4552 Jun 29 '17 at 17:29

I believe this to be a very important conceptual novelty of GR. Let me explain.

Electromagnetism depends on the background

Consider the action functional for the Maxwell's theory of the electromagnetic field: $$ S[A] = - \frac{1}{4} \int d^4 x\, \sqrt{-g} F_{\mu \nu} F^{\mu \nu}. $$

This action depends on the electromagnetic potential $A_{\mu}(x)$, as well as on the metric tensor $g_{\mu \nu}(x)$. However, $A_{\mu}(x)$ appears in the square brackets of $S[A]$ and $g_{\mu \nu}(x)$ doesn't.

This actually makes all the difference. We say that $A$ is a dynamical variable, while $g$ is an external parameter, the background. Maxwell's theory is thus dependent on the exact background geometry, which is usually taken to be Minkowski flat spacetime.

Gravity is background independent

Now General Relativity is given by a diffeomorphism-invariant integral $$ S[g] = \frac{1}{16 \pi G} \intop_{M} d^4 x \sqrt{-g} \,R_{\mu \nu} g^{\mu \nu}. $$

Note the profound difference: now $g$ appears in the square brackets of $S[g]$! Spacetime geometry is a dynamical variable in gravity, just as the electromagnetic field is a dynamical variable in Maxwell's theory.

We no longer have an external background spacetime, because spacetime is dynamical. The (classical) spacetime metric tensor is not given a-priori, but is a solution of Einstein's equations. That's background independence.

Diff invariance vs background independence

These concepts are very different.

Diffeomorphism invariance simply means that we are building a field theory on a spacetime manifold, and any coordinate patch is equally good for describing the theory. Note how both the Maxwell (for electromagnetism) and Einstein-Hilbert (for gravity) actions in this post are written in the diffeomorphism-invariant form.

Background independence is basically whether a theory depends on an external spacetime geometry or not. Maxwell action depends on external background geometry, while Einstein-Hilbert (and its high-energy modifications) doesn't. In simple words, it is about whether $g$ is in the square brackets of $S$.

Why should we care

First, background independent physics is very different from the "old" physics on the background. The absense of the timelike Killing vector field renders generally ill-defined such concepts as time and energy.

Second, there's a physical insight of background independence: space and time aren't some static arena inhabited by fields, but rather have the same dynamical properties that fields have.

Third, there is no place for evolution in external time in the background independent context, because there is no external time. The implications are far-reaching: no general energy conservation (except in particular solutions), no Hamiltonian, no unitarity in the quantum theory. This is known as the problem of time. This doesn't indicate that background independent theories are unphysical, however, just that we have to utilize completely different techniques in order to derive predictions. E.g. the background independent dynamics is described in terms of constraints.

Making electromagnetism background independent

It is really easy to make Maxwell's theory background independent. We just have to couple it to gravity:

$$ S[A,g] = \intop_{\mathcal{M}} d^4 x \sqrt{-g} \left( \frac{1}{16 \pi G} R_{\mu \nu} g^{\mu \nu} - \frac{1}{4} F_{\mu \nu} F^{\mu \nu} \right). $$

Anything coupled to General Relativity (or its high-energy modification) is background independent, because $g$ appears in the square brackets of the total action.

Short conclusion

Electromagnetism is a theory of an (electromagnetic) field in spacetime. Gravity is a theory of spacetime itself.

Why is it really difficult to formulate a ToE

The difficulty in formulating a ToE lies in two completely different issues:

  1. Gravity is hard to consistently quantize. This is partially related to background independence. Manifestly background independent quantization procedures exist, e.g. Loop Quantum Gravity.
  2. It is hard to establish a natural unification of gravity and Standard Model (unless you believe in compactifications). This has little to do with background independence, mostly being an issue of obtaining a complex gravity+gauge Lagrangian from some simple geometrical model.

This is my guess, basically (I self study, have pity).

From the link you gave, the answer is contained in the first paragraph. When dealing with electromagnetic phenomena, the charge and mass of an electron, for example, are free parameters.

So as we don't have a theory for these parameters, we just have to accept our measurements.

In other words, by the (latest, as I have read a few variations) definition of background independence, EM is not background independent.

Background independence, a very nice, (and long) answer by Luboš Motl is worth reading, I discovered the link after writing the above.

  • $\begingroup$ No problem, I just discovered this answer physics.stackexchange.com/questions/46062/… which I think would be very helpful (to both of us :) $\endgroup$ – user154420 Jun 29 '17 at 18:57
  • 1
    $\begingroup$ I disagree with this answer. Electromagnetism in a vacuum has no free constants, yet it is background dependent. $\endgroup$ – Javier Jun 30 '17 at 3:13
  • $\begingroup$ @Javier thanks for that, I had no idea there was so much more depth to the question. When I same the Motl post linked to in my answer, I knew the question would need far more expertise than I have. $\endgroup$ – user154420 Jun 30 '17 at 6:15
  • $\begingroup$ I am in the same stage man....I am usually not aware of the depth of question and give rough answers and therefore I am bombarded with downvotes :D, anyways we will make progress. $\endgroup$ – Ajinkya Naik Jun 30 '17 at 16:35
  • $\begingroup$ ohk...I thought you are new to this site like me, anyways I am new to this website, and have completed some 15 days or so. $\endgroup$ – Ajinkya Naik Jun 30 '17 at 16:55

It is useful to keep in mind that there does not seem to be a universally agreed upon definition of background (in)dependence.

My understanding is roughly as follows.

When we talk about background-independent theories, we mean theories that provide answers to what the space-time (background) should look like. That is, amongst its principles and derivations, the theory would contain something that would determine the geometry or stage on which the objects of the theory "dance." As an example, Einstein's theory of General Relativity does not have to say anything about space-time geometry in its postulates. Instead, the geometry comes out as a consequence of the theory.

On the other hand, if a theory is background-dependent, then it depends on a postulate about a certain geometry of space. That is, one needs to make these assumptions before he can even begin talking about the theory in question. To be specific, the electrodynamics does not contain enough information to make conclusions about the existing geometry of space(time).

  • 1
    $\begingroup$ +1 Thanks for your answer, I didn't ask the question but I definitely wanted to see other, i.e (much) more informed replies than my effort. To me, at least, Smolin's book (3 Roads to QG) needs to be twice the size it is, to even begin to explain the topic to the general public.. $\endgroup$ – user154420 Jun 30 '17 at 6:25

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.