SO(4,1) is deSitter - a close relative of Poincare
Hi! I'm having too much fun in
http://math.ucr.edu/home/baez/diary/july_2006.html#july5.06" to post much, but I'm happy to hear that Freidel is finally getting more of his work out.
marcus said:
Yes! I agree that BF can be done with any of the usual groups and what makes this special is SO(4,1). I would like to know more about the deSitter group SO(4,1) and its algebra so(4,1). Just about anything you or Kea can say would be a help---either to me or to other readers of the thread.
The main thing to realize is that SO(4,1) is the
deSitter group. In other words, it's the symmety group of a 4d spacetime called
deSitter spacetime - an exponentially expanding universe not unlike our own. The curvature of this spacetime is proportional to the cosmological constant, which is positive.
In the limit where the cosmological constant goes to zero, deSitter spacetime reduces to good old flat Minkowski spacetime - and the deSitter boils down - or
contracts, in the usual jargon - to the Poincare group.
So, you should think of SO(4,1) as a close relative of the Poincare group. To ants like us who can't see far enough to notice that spacetime is curved, there's no way to tell if the symmetry group of the universe is the Poincare group or SO(4,1).
The group SO(p,n-p) has dimension given by the triangle number n(n-1)/2. Since 4+1 = 5, SO(4,1) has dimension 5(5-1)/2 = 10:
o
oo
ooo
oooo
The Poincare group also has 10 dimensions. That should be reassuring.
Another close relative of the Poincare group is SO(3,2), which also has dimension 10. This is the symmetry group of anti-deSitter spacetime, where the cosmological constant is negative.
You may find it odd to describe a group like SO(4,1) in a way that depends on a number - the cosmological constant - and see what happens as we send this number to zero. But, it's common in physics. One of the first guys to study this limiting process was Wigner. It may have been he who invented the term
contraction for this process. For example, he noticed that the Poincare group contracts to the Galilei group as the speed of light goes to infinity. The
Galilei group is the symmetry group of Newtonian physics, generated by translations, rotations, and Galilei boosts.