Go to previous page Go up Go to next page

A.1 Partial backgrounds

To describe a theory of connections we need to fix a principal fiber bundle P(S, G, p) over the analytic base manifold S with compact structure group G. Let S < Aut(P ) be a Lie symmetry subgroup of bundle automorphisms acting on the principal fiber bundle P. Using the bundle projection p: P --> S we get a symmetry operation of S on S. For simplicity we will assume that all orbits of S are of the same type. If necessary we will have to decompose the base manifold into several orbit bundles S(F ) < S, where F ~= S x is the isotropy subgroup of S consisting of elements fixing a point x of the orbit bundle S(F ) (isotropy subgroups for different points in S(F ) are not identical but conjugate to each other). This amounts to a special treatment of possible symmetry axes or centers.

By restricting ourselves to one fixed orbit bundle we fix an isotropy subgroup F < S up to conjugacy, and we require that the action of S on S is such that the orbits are given by ~ S(x) = S/F for all x (- S. This will be the case if S is compact but also in most other cases of physical interest. Moreover, we will have to assume later on that the coset space S/F is reductive [138Jump To The Next Citation Point139Jump To The Next Citation Point], i.e., that LS can be written as a direct sum LS = LF o+ LF_ L with AdF (LF_ L ) < LF_ L. If S is semisimple, LF_L is the orthogonal complement of LF with respect to the Cartan-Killing metric on LS. Further examples are provided by freely acting symmetry groups, in which case we have F = {1}, and semidirect products of the form S = N ><| F, where LF_ L = LN. The latter cases are relevant for homogeneous and isotropic cosmological models.

The base manifold can be decomposed as S ~= S/S × S/F where S/S ~= B < S is the base manifold of the orbit bundle and can be realized as a submanifold B of S 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 B. 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 [171169]. 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 S corresponds to selecting a special coordinate system adapted to the symmetry. For instance, in a spherically symmetric situation one usually chooses spherical coordinates (r,h, f), where r > 0 labels the orbits and h and f 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 S2 of constant curvature. Applying a diffeomorphism, however, will deform the spheres and they are in general only topological S2. 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 B into S 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 B.

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.

  Go to previous page Go up Go to next page