20

In Special Relativity, the Lorentz Group is the set of matrices that preserve the metric, i.e. $\Lambda \eta \Lambda^T=\eta$.

Is there any equivalent in General Relativity, like: $\Lambda g \Lambda^T=g$?

(We could at least take locally $g\approx\eta$, so we recover the Lorentz group, but I don't know whether we could extend this property globally.)

Why does Group Theory have much less importance in General Relativity than in QFT and particle physics?

jinawee
  • 12,675
  • 7
  • 60
  • 102

3 Answers3

17

As you point out, the Minkowski metric $\eta = \mathrm{diag}(-1,+1, \dots, +1)$ in $d+1$ dimensions possesses a global Lorentz symmetry. A highbrow way of saying this is that the (global) isometry group of the metric is the Lorentz group. Well, translations are also isometries of Minkowski, so the full isometry group is the Poincare group.

The general notion of isometry that applies to arbitrary spacetimes is defined as follows. Let $(M,g)$ be a semi-Riemannian manifold, then any diffeomorphism $f:M\to M$ (coordinate transformation essentially) that leaves the metric invariant is called an isometry of this manifold.

A closely related notion that is often useful in relation to isometries is that of Killing vectors. Intuitively a killing vector of a metric generates an "infinitesimal" isometry of a given metric. Intuitively this means that they change very little under the action of the transformations generated by the Killing vectors.

Isometries and Killing vectors are a big reason for which group theory is relevant in GR. Killing vectors often satisfy vector field commutator relations that form a Lie algebra of some Lie Group.

Addendum (May 28, 2013). Remarks on symmetric spaces and physics.

One can show that in $D$ dimensions, a metric can posses at most $D(D+1)/2$ independent killing vectors. Any metric that has this maximum number of killing vectors is said to be maximally symmetric.

Example. Consider $4$-dimensional Minkowski space $\mathbb R^{3,1}$. The isometry group of this space, the Poincare group, has dimension $10$ since there are $4$ translations, $3$ rotations, and $3$ boosts. On the other hand, in this case we have $D=4$ so that the maximum number of independent killing vectors is $4(4+1)/2 = 10$. It turns out, in fact, that each rotation, translation, and boost gives rise to an independent Killing vector field, so that Minkowski is maximally symmetric.

One can in fact show that there are (up to isometry) precisely three distinct maximally symmetric spacetimes: $\mathrm{AdS}_{d+1}, \mathbb R^{d,1}, \mathrm{dS}_{d+1}$ called anti de-Sitter space, Minkowski space, and de-Sitter space respectively, and that these spacetimes all have constant negative, zero and positive curvature respectively. The isometry groups of these spacetimes are well-studied, and these spacetimes form the backbone of a lot of physics. In particular, the whole edifice of $\mathrm{AdS}/\mathrm{CFT}$ relies on the fact that $\mathrm{AdS}$ has a special isometry group that is related to the conformal group of Minkowski space.

joshphysics
  • 58,991
7

Symmetry is just as important in General Relativity as it is in Special Relativity.

In SR the symmetry is the Poincare Group which is the group of mappings of space-time to itself that preserves the metric formula between events given by $d^2 = \Delta{x}^2+\Delta{y}^2 + \Delta{z}^2 - c^2\Delta{t}^2$ The Poincare group is an extension of the Lorentz group that also includes translations.

These group transformations are isometries of the fixed metric. The theory of isometries in GR on fixed backgrounds is described by Killing vector fields as in the answer by joshphysics. They form a Lie algebra using the Lie derivative and this generates the group of isometries, but this group is non-trivial only in special cases. Killing vectors are important for some applications but there is a larger symmetry in GR that is a symmetry of the full equations including a dynamic metric rather than a static background metric.

In GR the full symmetry is the diffeomorphism group of the manifold which is the group of all continuous and differentiable mappings (bijections) of the manifold to itself ("differentiable" means that functions of co-ordinates in patches are differentiable) The group is different for manifolds of different topologies but this is often overlooked. If the topology of the manifold is $ \mathbb{R}^4$ then you can embed the Poincare group into the diffeomorphism group in infinitely many ways.

The full equations describing physics in general relativity must be covariant under this diffeomorphism invariance. This is the case when you include the gravitational field equations as well as the equations of motion for matter. This is a much larger symmetry than the one in SR because the diffeomorphism group is infinite dimensional whereas the Poincare group is just ten dimensional.

3

Group theory does play an important role in general relativity, and I'm aware of three different types of relevant symmetries:

First, there are the physical symmetries of specific solutions to the field equations, formalized by Killing fields, the generators of one-parameter groups of local isometries.

Second, there's general covariance. Mathematically, this means that general relativity needs to be formulated in terms of natural bundles where spacetime diffeomorphisms lift to bundle automorphisms called general covariant transformations. It's a type of gauge symmetry, but different from the one familiar from Yang-Mills-theory (the latter symmetry transformations are vertical and leave spacetime alone).

There's a third class of symmetries relevant in gauge gravity, the structural symmetries. If we start with an oriented spacetime, its tangent bundle is a vector bundle associated to a principal bundle with structure group $GL^+(4,\mathbb R)$. The pseudo-Riemannian metric is a classical Higgs field that breaks this symmetry by reduction to $SO(1,3)$. This symmetry can be further reduced to $SO(3)$, which yields space-time-decompositions as seen by physical observers.

Christoph
  • 14,001