Go to previous page Go up Go to next page

6.1 Symmetric states

One can imagine to construct states that are invariant under a given action of a symmetry group on space by starting with a general state and naively summing over all its possible translates by elements of the symmetry group. For instance on spin network states, the symmetry group acts by moving the graph underlying the spin network, keeping the labels fixed. Since states with different graphs are orthogonal to each other, the sum over uncountably many different translates cannot be normalizable. In simple cases, such as for graphs with a single edge along a symmetry generator, one can easily make sense of the sum as a distribution. But this is not clear for arbitrary states, in particular for states whose graphs have vertices, which on the other hand would be needed for sufficient generality. A further problem is that any such action of a symmetry group is a subgroup of the diffeomorphism group. At least on compact space manifolds where there are no asymptotic conditions for diffeomorphisms in the gauge group, it then seems that any group averaged diffeomorphism invariant state would already be symmetric with respect to arbitrary symmetries, which is obviously not sensible.

In fact, symmetries and (gauge) diffeomorphisms are conceptually very different, even though mathematically they are both expressed by group actions on a space manifold. Gauge diffeomorphisms are generated by first class constraints of the theory, which in canonical quantum gravity are imposed in the Dirac manner [105] or following refined algebraic quantization [28], conveniently done by group averaging [153]. Symmetries, however, are additional conditions imposed on a given theory to extract a particular sector of special interest. They can also be formulated as constraints added to the theory, but these constraints must be second class for a well defined framework: One obtains a consistent reduced theory, e.g., with a non-degenerate symplectic structure, only if configuration and momentum variables are required to be symmetric in the same (or dual) way.

In the case of gravity in Ashtekar variables, the symmetry type determines, along the lines of Appendix A the form of invariant connections and densitized triads defining the phase space of the reduced model. At the quantum level, however, one cannot keep connections and triads on the same footing since a polarization is required. One usually uses the connection representation in loop quantum gravity such that states are functionals on the space of connections. In a minisuperspace quantization of the classically reduced model states would then be functionals only of invariant connections for the given symmetry type. This suggests to define symmetric states in the full theory to be those states whose support contains invariant connections as a dense subset [66Jump To The Next Citation Point38] (one requires only a dense subset because possible generalized connections must be allowed for). As such, they must necessarily be distributional, as already expected from the naive attempt at construction. Symmetric states thus form a subset of the distributional space Cyl*. In this manner, only the reduced degrees of freedom are relevant, i.e., the reduction is complete, and all of them are indeed realized, i.e., the reduction is not too strong. Moreover, an “averaging” map from a non-symmetric state to a symmetric one can easily be defined by restricting the non-symmetric state to the space of invariant connections and requiring it to vanish everywhere else.

This procedure defines states as functionals, but since there is no inner product on the full Cyl* this does not automatically result in a Hilbert space. Appropriately defined subspaces of * Cyl, nevertheless, often carry natural inner products, which is also the case here. In fact, since the reduced space of invariant connections can be treated by the same mathematical techniques as the full space, it carries an analog of the full Ashtekar-Lewandowski measure and this is indeed induced from the unique representation of the full theory. The only difference is that in general an invariant connection is not only determined by a reduced connection but also by scalar fields (see Appendix A). As in the full theory, this space Ainv of reduced connections and scalars is compactified to the space -- Ainv of generalized invariant connections on which the reduced Hilbert space is defined. One thus arrives at the same Hilbert space for the subset of symmetric states in Cyl* as used before for reduced models, e.g., using the Bohr compactification in isotropic models. The new ingredient now is that these states have meaning in the full theory as distributions, whose evaluation on normalizable states depends on the symmetry type and partial background structure used.

That the symmetric Hilbert space obtained in this manner is identical to the reduced loop quantization of Section 5 does not happen by definition but is a result of the procedure. The support of a distribution is by definition a closed subset of the configuration space, and would thus be larger than just the set of generalized invariant connections if -- Ainv would not be a closed subset in -- A. In such a case, the reduction at the quantum level would give rise to more degrees of freedom than a loop quantization of the classically reduced model. As shown in [66Jump To The Next Citation Point], however, the set of invariant connections is a closed subset of the full space of connections such that loop quantum cosmology can be interpreted as a minisuperspace quantization.

  Go to previous page Go up Go to next page