M ∩ Φ
Over at the String Coffee Table, Eric Forgy asks:
Do you ever think that maybe all this abstract mathematics is not how nature really operates? I think that physicists come to a turning point early in their careers where they need to decide on a philosophy. Are you going to try to develop theories that might describe some kind of phenomological aspect of nature, or are you going to really try to understand the true nature of the universe at the most fundamental level.
Are you pursuing this because you truly believe that nature operates according to the rules of gerbes and n-categories? It’s kind of a silly philosophical question, I suppose, but what is it that drives you?
Back in the early 1980s, vector bundles, the Atiyah-Singer Index Theorem, and basic ideas of homotopy theory were considered pretty cutting-edge1 in high-energy theory. If you used them in a seminar, you generally had to make a few apologies to your audience before proceeding. There was, shall we say, a certain resistance to incorporating highbrow mathematics. When I started applying certain techniques of algebraic geometry (in particular, coherent sheaves) to problems in string compactification, I quickly became known as “Mr. Sheaf” among my graduate student colleagues.
It’s fair to say that two decades of string theory have broken down that resistance. All sorts of highbrow math have shown up (in, sometimes, surprising ways) in string theory. Indeed, many suspect that whole new mathematical frameworks may need to be invented, in order for us to formulate string theory properly.
Subtle questions require subtle mathematical techniques to study them. K-theory — to pick one example — is essential to the formulation of the Index Theorem. But, for the applications that were of interest in the early 1980s, you really didn’t need that extra baggage. Ordinary cohomological formulæ were sufficient. Only when you start dealing with more subtle matters, like mod-2 index theorems, does the K-theoretic formulation really come into its own. The converse is also true. Subtle physics often suggests interesting new mathematics. The past two decades provide numerous examples of new mathematical developments inspired by string theory constructs.
I’ve no idea whether n-categories will eventually play an important role in string theory. (Gerbes have already made an appearance, but not in the guise the Urs seems to want for them.) So far, there doesn’t seem to be any compelling reason to think that they do.
Urs is sniffing around various branches of string theory, looking for hints that they might be reformulated in a 2-categorical form. That’s a fair endeavour. It’s not clear he will succeed. But it’s not (I think) a philosophical statement about how he “truly believe[s] that nature operates.”
If there’s anything we ought to avoid, it’s approaching Mother Nature with such philosophical preconceptions.
1 Some people, apparently, still view these as cutting-edge stuff; to them, I suggest a digital watch.