Over at Cosmic Variance, Sean Carroll has a longer version of his review of Lee Smolin’s The Trouble With Physics in New Scientist.
There is plenty to worry or complain about when it comes to string theory, but Smolin’s concerns are not always particularly compelling. For example, there are crucially important results in string theory (such as the fundamental fact that quantum-gravitational scattering is finite, or the gauge/gravity duality mentioned above) for which rigorous proofs have not been found. But there are proofs, and there are proofs. In fact, there are almost no results in realistic quantum field theories that have been rigorously proven; physicists often take the attitude that reasonably strong arguments are enough to allow us to accept a claim, even in the absence of the kind of proof that would make a mathematician happy. Both the finiteness of stringy scattering and the equivalence of gauge theory and gravity under Maldacena’s duality are supported by extremely compelling evidence, to the point where it has become extremely hard to see how they could fail to be true.
Smolin’s favorite alternative to string theory is Loop Quantum Gravity (LQG), which has grown out of attempts to quantize general relativity directly (without exotica such as supersymmetry or extra dimensions). To most field theorists, this seems like a quixotic quest; general relativity is not well-behaved at short distances and high energies, where such new degrees of freedom are likely to play a crucial role. But Smolin makes much of one purported advantage of LQG, that the theory is background-independent. In other words, rather than picking some background spacetime and studying the propagation of strings (or whatever), LQG is formulated without reference to any specific background.
It’s unclear whether this is really such a big deal. Most approaches to string theory are indeed background-dependent (although in some cases one can quibble about definitions), but that’s presumably because we don’t understand the theory very well. This is an argument about style; in particular, how we should set about inventing new theories. Smolin wants to think big, and start with a background-independent formulation from the start. String theorists would argue that it’s okay to start with a background, since we are led to exciting new results like finite scattering and gauge/gravity duality, and a background-independent formulation will perhaps be invented some day. It’s not an argument that anyone can hope to definitively win, until the right theory is settled and we can look back on how it was invented.