The 2-Erlangen Program and Mach’s Principle

This summer I’ve had two visitors: John Baez and Julian Barbour.

My discussions with John and Julian were different, but there were also some eerie parallels, even beyond them having the same initials. With each of them, I spent time discussing math and physics in various cafés in downtown Erlangen. My conversations with each of them, appropriately for the location, centered on aspects of Felix’s Klein’s Erlangen Program. And with each of them, I discussed some alternative theory of gravity whose conceptual foundations differ from those of Einstein’s general relativity.

Julian Barbour: Shape dynamics, Machianism and Kleinianism

I had never met Julian Barbour until he arrived in Erlangen, but we had some great discussions during his brief visit. Here’s a picture of us talking at a café near the Schlossgarten:

Julian is interested in quantum gravity, but his approach involves serious rethinking of classical gravity. This is an attitude I can really relate to. I’m not necessarily convinced by any of the best developed approaches to quantum gravity, though I like aspects of several approaches. My feeling is that progress in quantum gravity may ultimately require some conceptual revision of classical gravity, or quantum field theory, or both.

So, it’s great talking to Julian Barbour. He has a deep understanding of general relativity and its historical and philosophical roots. But his research on foundational issues calls into question some ideas modern relativists take for granted.

Julian’s current research is on what he calls “shape dynamics”. To see what that’s about, I recommend first reading this nice short article:

Julian Barbour and Niall Ó Murchadha, “Conformal Superspace: the configuration space of general relativity.” arXiv:1009.3559.

Then, if this whets your appetite, Julian has a new expository introduction:

Julian Barbour, “Shape Dynamics. An Introduction.” arXiv:1105.0183.

This paper also lists all of the technical papers where you can go for more details.

But briefly, what is this theory is about? First of all, you can think of shape dynmaics as one way to realize Wheeler’s idea of geometrodynamics: the description of gravity as “evolving spatial geometry”, rather than as “spacetime geometry”. Here’s how Wheeler himself described this idea:

Give the fields that generate mass-energy, and their time-rates of change, and give the 3-geometry of space and its time-rate of change, all at one time, and solve for the 4-geometry of spacetime at that one time … And only then let one’s equations for geometrodynamics and field dynamics go on to predict for all time … both the spacetime geometry and the flow of mass-energy throughout this spacetime. (Misner, Thorne, and Wheeler, Gravitation (p. 484))

The now standard realization of geometrodynamics is the ADM formulation of general relativity, in which spacetime is equipped with spacelike foliation, and the Einstein equations split accordingly into a part that describes the geometry of space and a part that describes the time evolution of that geometry. Shape dynamics is related to ADM, but there are some key differences.

The first way that shape dynamics differs from the ADM picture, and indeed from the geometrodynamics picture as stated in Wheeler’s quote above, is that in shape dynamics there is no time. Or at least, time is not put in from the outset, but is rather a derived concept. The elimination of time is part of Barbour’s pursuit of a completely Machian theory.

Why is that? You might think of “Mach’s principle” as the assumption that a lone body in an otherwise empty universe cannot experience acceleration or angular momentum; that these concepts make sense only in relation to other material bodies. And indeed, this is something like what Einstein had in mind when he coined the term “Mach’s principle” for one of his guiding ideas in developing general relativity.

But in Barbour’s view, there are really two “Mach’s principles”: one for space and one for time. He quotes Ernst Mach himself on the temporal version:

It is utterly beyond our power to measure the changes of things by time. Quite the contrary, time is an abstraction at which we arrive by means of the changes of things.

In shape dynamics, one initially uses an arbitarily parameterized path in configuration space. Time then becomes a particular choice of parameter that is selected by the theory itself. In Barbour’s words, “The universe is its own clock!

The other main way that shape dynamics differs significantly from the ADM formulation of general relativity is in what is meant by “spatial geometry”. Again, we can refer to Mach’s principle—this time in its more familiar “spatial” incarnation. I’ll pretend the following is a direct quote of Mach; it isn’t, but it matches his ideas, and it is the logical parallel of his quote above, obtained simply by trading spatial for temporal notions:

It is utterly beyond our power to measure the positions of things in space. Quite the contrary, space is an abstraction at which we arrive by means of the relative positions of things.

If there were perfect symmetry between the temporal and spatial aspects, I would now say “in shape dynamics, there is no space.” But this is stretching the truth. What I can say is that the “space” of shape dynamics starts out as something much less rigid than its ADM analog. While the ADM formulation is about evolving Riemannian geometry of space, in shape dynamics, space starts out with only a conformal geometry. The basic objects in shape dynamics are “shapes of the universe,” by which one technically means diffeomorphism classes of conformal structures on a fixed manifold representing space.

I’d like to say more about shape dynamics, and specifically about how both “time” and a more rigid “space” emerge from an initially timeless setup with spatial conformal symmetry. But for now, I just want to say just a bit about what Julian and I are actually discussing. In particular, I so far haven’t said anything about what our conversations in Erlangen had to do with Klein’s Erlangen program, as I mentioned at the beginning of this article.

In fact, “Machianism” in physics and “Kleinianism” in mathematics have a lot in common. Kleinian geometry is all about the duality between structure and symmetry. One studies the structure of a homogeneous space by studying the symmetries that preserve that structure, and conversely. Machian physics, on the other hand, especially in the extreme taken by Barbour, is all about tension between things and relationships between things. We arrive at abstract concepts like space and time as a way of describing the relationships between things. But these abstractions, to whatever extent they “really” exist, are viewed as floppy, bendable, stretchable entities—indeed, highly symmetric entities—that only acquire some kind of rigidity because of the “physical things” that inhabit them and give them structure.

So, part of the discussion Julian and I are now in the midst of concerns the question “what is structure?“—from both mathematical and physical standpoints. I’ve discussed the mathematical side of this question repeatedly with Jim Dolan. Julian, on the other hand, has thought about this question from a more physical perspective than Jim and I. So, it was interesting to discover that we have similar ideas about the answer. I’m visiting Julian next week, in part to continue talking about this.

That’s all I’ll say at least until after my trip to see Julian, since we’ve really just gotten started on some topics that we want to dig deeper into.

But hold on a moment! Did I just say Mach’s principle was about “things” …

… and “relationships” …

between things? Hmm. That starts to look a lot like category theory, no?

Indeed, my discussions with Julian are leading us into parts of category theory as well, which, after all, can be viewed as some kind of generalization of Klein geometry. Just to mention one way that category theory shows up in our discussion, there are very precise categorical ways of describing “stuff, structure, and properties“, thanks to an idea of Jim Dolan.

In fact, after talking to Julian for a while, I could tell that he already loves category theory … he just doesn’t know it yet! Should I try to prove to him that he likes it, or just use it as my secret weapon in our discussions?

John Baez: Klein 2-geometry and teleparallelism

Just a couple of weeks before Julian’s visit, John Baez was here. This was great: I hadn’t seen John in some time, until the conference in Zürich the week before, and now we had a week to sit around in cafés in Erlangen and talk about math and physics.

As usual, we talked about lots of different stuff. But one of our discussions really took off, and we’re now writing a couple of papers. A draft of the first one is available here:

John Baez and Derek Wise, Teleparallel gravity as a higher gauge theory I (Draft version)

This project is turning out to be a lot of fun, partly because several ideas that John and I have discussed over the years all seem to converge here.

For one thing, John and I have both been interested for some time in categorifying Klein’s Erlangen Program. So, John’s visit to Erlangen seemed like the perfect occasion to finally pursue the “2-Erlangen Program” in earnest … at least for a few days.

The idea here is that, just as spaces (sets with certain structure) have groups of symmetries, “2-spaces” (categories with certain structure) have “2-groups” of symmetries and “2-symmetries”, or symmetries of symmetries. And just as the Erlangen Program is about describing homogeneous spaces as quotients of groups, there should be some “2-Erlangen Program” in which “homogeneous 2-spaces” are described as “quotients” of 2-groups.

In fact, we’ve long been interested in carrying this idea further to categorify Cartan geometry. Cartan generalized Klein’s Erlangen Program in a powerful way to consider spaces that only look “infinitesimally” like homogeneous spaces. Lots of spaces don’t have much global symmetry, but can still be treated as “infinitesimally modeled on” homogeneous spaces, using Cartan geometry. Similarly, lots of 2-spaces don’t have much global 2-symmetry, but might still be viewed as “infinitesimally” like homogeneous 2-spaces. So there should be not only “Klein 2-geometry”, but also “Cartan 2-geometry.”

But actually, even though we had the idea of 2-geometry in the backs of our minds, that’s not how we got into this project. Rather, we were thinking about one particular 2-group—the Poincaré 2-group.

John discovered the Poincaré 2-group long ago, when he first got interested in the idea of higher gauge theory. One place to read about this 2-group is in the introdution to our book on 2-group representation theory. But, despite having worked together on this 2-group, its representations and potential physical applications, we still didn’t know of any convincing way it shows up in higher gauge theory. And, despite the Poincaré 2-group being related to the ordinary Poincaré group, we still didn’t know of any convincing way it shows up in established physics.

So, during John’s visit, we were happy to realize that “2-connections” for the Poincaré 2-group actually have a very nice geometric interpretation in terms of flat connections with torsion. This got us thinking about one place where a flat connection with torsion—and hence a Poincaré 2-connection—plays a key role: teleparallel gravity.

I’ve been intrigued by teleparallel gravity ever since the discussions on the newsgroup sci.physics.research that led up to what John wrote about it in TWF 176. John and I have talked about teleparallism off and on since then, partly because there are some nice things to say about teleparallel gravity and Cartan geometry which I should write up some day. (This is perhaps no surprise, given that Cartan himself invented most of the mathematics needed for teleparallel gravity.)

We never expected teleparallel gravity to involve Cartan 2-geometry. But, that is the conclusion we seem to have reached after a couple of months of working on this stuff.

So what is teleparallel gravity? On first sight, it looks radically different from general relativity. For example:

  • In general relativity, there is no canonical way to compare vectors at different points; in teleparallelism there is—this is the origin of the term teleparallelism, or “distant parallelism”.
  • In general relativity, Einstein elegantly replaced the Newtonian concept of “gravitational force” with a geometric notion: spacetime curvature; In teleparallel gravity, we “flatten” spacetime back out, and bring the gravitational force back from the grave!

But the most shocking thing about teleparallel gravity is that, as reactionary as it might sound, it is locally isomorphic to general relativity!

So how did we get from teleparallel gravity to Cartan 2-geometry? That’s part of the second paper we’re writing. There are some hints in the cliffhanger ending of the current draft of our first paper. You can also get some hints by reading the nice blog article John already wrote about our work:

John Baez, Klein 2-Geometry XII

and by reading the comments. Some people are starting to guess parts of the answer in the comments section of John’s blog post. But, anyway, I won’t say more right now, since you can already read the draft of the first paper, and right now I’d rather spend time actually finishing the second paper than telling you about what’s going to be in it!

General relativity, teleparallelism, shapes …

Sometimes alternatives to general relativity can really challenge deeply ingrained conceptions about how gravity is to be understood.

Shape dynamics arose out of Julian Barbour’s long quest for a completely Machian, or completely “relational” theory, and out of his conclusion that time does not exist. This theory makes both “duration” and “size” relative concepts, and so is more “generally relative” than general relativity. Teleparallel gravity on the other hand, first explored long ago by Einstein, Cartan and others, seems like a total Machian heresy! It reintroduces in particular the “absolute” concept of distant parallelism.

Yet both teleparallel gravity and shape dynamics are equivalent, at least under certain certain conditions, to general relativity. You can read about the equivalence of general relativity and shape dynamics in these papers by Barbour’s recent collaborators:

Henrique Gomes, Sean Gryb, and Tim Koslowski, Einstein gravity as a 3D conformally invariant theory

Henrique Gomes and Tim Koslowski, The link between general relativity and shape dynamics

The equivalence of general relativity with teleparallel gravity is a bit more direct. But, it is interesting to think about how the rest of physics fits into the teleparallel philosophy. For this, I suggest:

H.I. Arcos and J. G. Pereira Torsion gravity: a reappraisal

So far, to me, both of these theories fall under the heading “fun things to think about.” I find fascinating the wide variety of conceptual stories one can tell and end up with theories that would be hard to tell apart experimentally. Personally, teleparallel gravity seems less likely to me to lead us to any fundamental truths than some of Barbour’s ideas. But I don’t necessarily “believe in” either teleparallel gravity or shape dynamics. So far.

Maybe Julian will persuade me further when I visit.

Tags: , , ,

6 Responses to “The 2-Erlangen Program and Mach’s Principle”

  1. David Corfield Says:

    Great to see your new blog.

    Indeed, my discussions with Julian are leading us into parts of category theory as well, which, after all, can be viewed as some kind of generalization of Klein geometry.

    That’s the premise of Jean-Pierre Marquis’s book From a Geometrical Point of View. Chapter 1 is ‘Category Theory and Klein’s Erlangen Program’.

    • Derek Wise Says:

      Hi David. Thanks for pointing out this book; I wasn’t aware of it! Years ago, Jim Dolan told me something Mac Lane had said (hmmm… or was it Eilenberg?) about Klein geometry being one of the original motivations in creating category theory. I’ve thought of category theory as a generalization of Klein geometry ever since then, especially in discussions with Jim, but unfortunately have never taken the time to find out what other people have written on this subject. I should check out Marquis’s book.

      I should ask Jim again about the quote he was referring to, since my memory of what he actually told me doesn’t seem to be very good. Anyone out there know some precise quote along these lines?

    • Derek Wise Says:

      OK, so looking at the first few lines of the book David cited answers my question. Here’s a quote from the original paper of Eilenberg and Mac Lane:

      This may be regarded as a continuation of the Klein Erlanger Programm, in the sense that a geometrical space with its group of transformations is generalized to a category with its algebra of mappings.

      So, this proves I should go back and read their paper!
      I should also get hold of a hard copy of Marquis’s book—it looks like there’s some very nice stuff in there.

  2. Explaining Cartan geometry « Simplicity Says:

    […] Simplicity « The 2-Erlangen Program and Mach’s Principle […]

  3. Sam Alexander Says:

    Hey, congratulations on the new blog. This looks like very interesting ground, so I’ll be following you (I’ve been following Dr. Baez for some time– it seems everybody he touches becomes an internet superstar? heh) I like reading about how your discussion lead to the joint preprint… more of that, please: all too often, it’s tempting to forget that all these brilliant papers are born of simple conversations between two or more great minds (this kind of, almost, fits into the “simplicity” theme of the blog!)

    • Derek Wise Says:

      Sam Alexander – Thanks! I don’t know about becoming an “internet superstar”, but I enjoy explaining stuff I find interesting, and a blog seems like a good place to do it. I’m glad you liked that first article.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: