rogerl said:
...Anyway. Is there any unification programme now where the particle is part of the background of spacetime itself somewhat like Einstein original attempt but now the particle being quantum particle that doesn't need any spacetime background at all or the particle part of quantum spacetime itself?
bapowell said:
...
Far from an expert, but I believe that there have been efforts to incorporate particles into Loop Quantum Gravity as elements of the geometry (braids maybe?)
Particle physics on fixed curved spacetime backgrounds is an important and distinct research area---bapowell was just getting into it and it would be efficient for your thread to focus on that. It's extremely interesting. (horizons, Hawking radiation, the temperature of deSitter space that arises simply due to its geometry.)
Rogerl, I would actually suggest that you have two threads, one about particle physics on a fixed spacetime geometry (dependent on specifying a prior geometry which remains fixed.)
And another thread about background independent theories---ones where no prior geometry is specified and geometry interacts with matter (its all one combined interactive thing.)
Loop Gravity could be mentioned here. Brian Powell mentioned efforts to incorporate matter. Braiding is not the primary way matter is included, but was tried by a few people until around 2008. Very little since AFAIK. Interest in braid matter could spring up again, who can say? But the prevailing way is exemplified by the December paper "Spinfoam Fermions"
http://arxiv.org/abs/1012.4719 .
There is also the followup January paper
http://arxiv.org/abs/1101.3264
"Spinfoam Fermions: PCT Symmetry, Dirac Determinant, and Correlation Functions"
These papers have no connection with the 2005-2008 braid matter gambit. I can tell you the basic idea for combining matter and geometry, but the development is still extremely rudimentary. At this point the Loop effort to combine matter with geom. should not be compared with a more thoroughly elaborated approach like Noncommutative Geometry which does manage to be a single theory (not an infinite number one can't choose among) and does recover something like the standard particle model. I'm not saying Loop is wrong (or right) here, only that the enterprise of including matter in it is just getting started and is still quite primitive.
I will try to say what the basic idea is---then you could could continue with your discussion of NON-backgroundindependent particle physics on fixed curved spacetime geometries. (There is more to say about that than there is at this point about Loop, in the matter department.)
The basic idea is simple and at the same time can be difficult to grasp. It is that a graph (also the higher dimensional analog called a cell-complex) provides a TRUNCATION or arbitrary restriction of the variables one decides to consider. It gives a way to temporarily restrict the "degrees of freedom" of a problem.
You put geometry and matter in by painting the graph. Penrose, who seems to have helped originate the idea, called it "coloring" the graph. In less colorful language it simply comes down to labeling the links and nodes of the graph with convenient mathematical critters which can represent matter, or area, or volume or angle.
The graph by itself has no geometry---everything is in the labels. In the conventional (pure gravity, matterless) spin network case the nodes are labeled with volume and the links are labeled with areas which are like the areas where adjacent volumes touch. But these are quantum---indefinite---volumes and areas. The labeled graphs belong to a Hilbertspace of quantum states. You can have superpositions. There are operators corresponding to measurements made on the geometry. So you work some uncertainty and fuzziness in this way. Adding matter basically involves more paint of different colors.
The underlying graph is a finite vehicle for getting labeled with geom.+matter.
There is a philosophical idea lurking here which is that any experiment with nature involves only a finite number of measurements and detections of events. Our information about geom+matter is finite. So working with a graph reflects this----instead of working with a continuum.
Then when you want graph-defined states to evolve you get colored foams--a foam is a "2-cell-complex" just like a graph is a "1-cell-complex". A foam is made of vertices, edges and faces. It is the one-dimension-higher analog of a graph. So it is the path along which a graph evolves from its initial to its final state.
A foam also is finite. A finite number of events and measurements and boundary restrictions on the process.
After the model is defined on these finite truncations (these simplified worlds of colored graph and foam) then to finish defining the theory there is a way to let the size of the graph go to infinity. Like letting N --> infty in an ordinary power series in calculus.
You try to do your calculation with a "cutoff" and then you remove the artificial restriction and let the complexity grow indefinitely.
It's background independent in the same way that Gen Rel is. In GR there is no fixed prior metric, the metric interacts with matter and evolves. In Loop there is no fixed prior labeling with volumes, areas etc. The labels are variable.
Also there is no standard space in which the graph is embedded. It is an abstract graph or you can picture it as flexible and stretchy so it can be mooshed around according to "diffeomorphism invariance". But I think it is cleaner to have no embedding, just a pure abstract graph. It is not "in" space, but instead it "is" space.
So much for the philosophical Loop outlook. Sorry for the interruption, since I think it is more of a footnote to the main discussion.