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 [66, 38] (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
. 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 this
does not automatically result in a Hilbert space. Appropriately defined subspaces of
, 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
of reduced connections and scalars is compactified to the
space
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
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 would not be a closed subset in
. 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 [66
], 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.
![]() |
http://www.livingreviews.org/lrr-2005-11 |
© Max Planck Society and the author(s)
Problems/comments to |