Classically, the reduction of phase-space functions is simply done by pull back to the reduced phase space. The flow generated by the reduced functions then necessarily stays in the reduced phase space and defines canonical transformations for the model. An analogous statement in the corresponding quantum theory would mean that the reduced state space would be fixed by full operators such that their action (or dual action on distributions) could directly be used in the model without further work. This, however, is not the case with the reduction performed so far. We have considered only connections in the reduction of states; and also classically a reduction to a subspace , where connections are invariant but not triads, would be incomplete. First, this would not define a phase space of its own with a non-degenerate symplectic structure. More important in this context is the fact that this subspace would not be preserved by the flow of reduced functions.
As an example (see also  for a different discussion in the spherically-symmetric model) we consider a diagonal homogeneous model, such as Bianchi I for simplicity, with connections of the form and look at the flow generated by the full volume . It is straightforward to evaluate the Poisson bracket
already used in Equation (13). A point on characterized by and an arbitrary triad thus changes infinitesimally by
which does not preserve the invariant form. First, on the right-hand side we have arbitrary fields such that is not homogeneous. Second, even if we would restrict ourselves to homogeneous , would not be of the original diagonal form. This is the case only if , since only the are canonical variables. The latter condition is satisfied only if
vanishes, which is not the case in general. This condition is true only if , i.e., if we restrict the triads to be of diagonal homogeneous form, just as the connections.
A reduction of only one part of the canonical variables is thus incomplete and leads to a situation in which most phase-space functions generate a flow that does not stay in the reduced space. Analogously, the dual action of full operators on symmetric distributional states does not in general map this space to itself. Thus, an arbitrary full operator maps a symmetric state to a non-symmetric one and cannot be used to define the reduced operator. In general, one needs a second reduction step that implements invariant triads at the level of operators by an appropriate projection of its action back to the symmetric space. This can be quite complicated, and fortunately there are special full operators adapted to the symmetry for which this step is not necessary.
From the above example it is clear that those operators must be linear in the momenta , for otherwise, one would have a triad remaining after evaluating the Poisson bracket, which on would not be symmetric everywhere. Fluxes are linear in the momenta, so we can try where is a surface in the -plane at position in the -direction. By choosing a surface along symmetry generators and this expression is adapted to the symmetry, even though it is not fully symmetric yet since the position has to be chosen. Again, we compute the Poisson bracket
Here, also, the right-hand side is not homogeneous, but we have such that the diagonal form is preserved. The violation of homogeneity is expected since the flux is not homogeneous. This can easily be remedied by “averaging” the flux in the -direction to
where is the coordinate length of the -direction if it is compact. For any finite the expression is well defined and can directly be quantized, and the limit can be performed in a well-defined manner at the quantum level of the full theory.
Most importantly, the resulting operator preserves the form of symmetric states for the diagonal homogeneous model in its dual action, corresponding to the flux operator of the reduced model as used before. In averaging the full operator the partial background provided by the group action has been used, which is responsible for the degeneracy between edge length and spin in one reduced flux label. Similarly, one can obtain holonomy operators along the -direction, which preserve the form of symmetric states after averaging them along the and directions (in such a way that the edge length is variable in the averaging limit). Thus, the dual action of full operators is sufficient to derive all basic operators of the model from the full theory . (See  for a simpler illustration of the reduction from anisotropic to isotropic models.) The representation of states and basic operators, which was seen to be responsible for most effects in loop quantum cosmology, is thus directly linked to the full theory. An elaboration of this algebraic version of the symmetry reduction can be found in [207, 208], which also shows promise in extending the reduction to non-basic operators such as the Hamiltonian constraint. This, then, defines the cosmological sector of loop quantum gravity.
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 Germany License.