By restricting ourselves to one fixed orbit bundle we fix an isotropy subgroup up to
conjugacy, and we require that the action of
on
is such that the orbits are given by
for all
. This will be the case if
is compact but also in most other cases of
physical interest. Moreover, we will have to assume later on that the coset space
is
reductive [138
, 139
], i.e., that
can be written as a direct sum
with
. If
is semisimple,
is the orthogonal complement of
with respect to
the Cartan-Killing metric on
. Further examples are provided by freely acting symmetry
groups, in which case we have
, and semidirect products of the form
,
where
. The latter cases are relevant for homogeneous and isotropic cosmological
models.
The base manifold can be decomposed as where
is the base manifold
of the orbit bundle and can be realized as a submanifold
of
via a section in this bundle. As already
noted in the main text, the action of a symmetry group on space introduces a partial background into the
model. In particular, full diffeomorphism invariance is not preserved but reduced to diffeomorphisms only
on the reduced manifold
. To see what kind of partial background we have in a model
it is helpful to contrast the mathematical definition of symmetry actions with the physical
picture.
To specify an action of a group on a manifold one has to give, for each group element, a map between space points satisfying certain conditions. Mathematically, each point is uniquely determined by labels, usually by coordinates in a chosen (local) coordinate system. The group action can then be written down in terms of maps of the coordinate charts, and there are compatibility conditions for maps expressed in different charts to ensure that the ensuing map on the manifold is coordinate independent. If we have active diffeomorphism invariance, however, individual points in space are not well-defined. This leads to the common view that geometrical observables such as the area of a surface are, for physical purposes, not actually defined by integrating over a submanifold simply in parameter form, but over subsets of space defined by the values of matter fields [171, 169]. Since matter fields are subject to diffeomorphisms just as the metric, area defined in such a manner is diffeomorphism invariant.
Similarly, orbits of the group action are not to be regarded as fixed submanifolds, but as being deformed
by diffeomorphisms. Fixing a class of orbits filling the space manifold corresponds to selecting a special
coordinate system adapted to the symmetry. For instance, in a spherically symmetric situation one usually
chooses spherical coordinates
, where
labels the orbits and
and
are angular
coordinates and can be identified with some parameters of the symmetry group SO(3). In a Euclidean space
the orbits can be embedded as spheres
of constant curvature. Applying a diffeomorphism,
however, will deform the spheres and they are in general only topological
. Physically, the
orbits can be specified as level surfaces of matter fields, similar to specifying space points. This
concept allows us to distinguish in a diffeomorphism invariant manner between curves (such
as edges of spin networks) that are tangential and curves that are transversal to the group
orbits.
It is, however, not possible to label single points in a given orbit in such a physical manner, simply
because we could not introduce the necessary matter fields without destroying the symmetry. Thus we have
to use the action of the symmetry group, which provides us with additional structure, to label the
points, e.g., by using the angular coordinates in the example above. A similar role is played
by the embedding of the reduced manifold into
by choosing a section of the orbit
bundle, which provides a base point for each orbit (a north pole in the example of spherical
symmetry). This amounts to a partial fixing of the diffeomorphism invariance by allowing only
diffeomorphisms that respect the additional structure. The reduced diffeomorphism constraint
will then in general require only invariance with respect to diffeomorphisms of the manifold
.
In a reduced model, a partial fixing of the diffeomorphism invariance does not cause problems because all fields are constant along the orbits anyway. However, if we study symmetric states as generalized states of the full theory, as in Section 6, we inevitably have to break partially the diffeomorphism invariance. The distributional evaluation of symmetric states and the dual action of basic operators thus depends on the partial background provided by the symmetry.
![]() |
http://www.livingreviews.org/lrr-2005-11 |
© Max Planck Society and the author(s)
Problems/comments to |