We quantize to completion an inflationary universe with small inhomogeneities in the framework of loop quantum cosmology. The homogeneous setting consists of a massive scalar field propagating in a closed, homogeneous scenario. We provide a complete quantum description of the system employing loop quantization techniques. After introducing small inhomogeneities as scalar perturbations, we identify the true physical degrees of freedom by means of a partial gauge fixing, removing all the local degrees of freedom except the matter perturbations. We finally combine a Fock description for the inhomogeneities with the polymeric quantization of the homogeneous background, providing the quantum Hamiltonian constraint of the composed system. Its solutions are then completely characterized, owing to the suitable choice of quantum constraint, and the physical Hilbert space is constructed. Finally, we consider the analog description for an alternate gauge and, moreover, in terms of gauge-invariant quantities. In the deparametrized model, all these descriptions are unitarily equivalent at the quantum level.

The flat, homogeneous, and isotropic universe with a massless scalar field is a paradigmatic model in loop quantum cosmology. In spite of the prominent role that the model has played in the development of this branch of physics, there still remain some aspects of its quantization which deserve a more detailed discussion. These aspects include the kinematical resolution of the cosmological singularity, the precise relation between the solutions of the densitized and nondensitized versions of the quantum Hamiltonian constraint, the possibility of identifying superselection sectors which are as simple as possible, and a clear comprehension of the Wheeler-DeWitt (WDW) limit associated with the theory in those sectors. We propose an alternative operator to represent the Hamiltonian constraint which is specially suitable to deal with all these issues in a detailed and satisfactory way. In particular, with our constraint operator, the singularity decouples in the kinematical Hilbert space and can be removed already at this level. Thanks to this fact, we can densitize the quantum Hamiltonian constraint in a well-controlled manner. Additionally, together with the physical observables, this constraint superselects simple sectors for the universe volume, with a discrete support contained in a single semiaxis of the real line and for which the basic functions that encode the information about the geometry possess optimal physical properties. Namely, they provide a no-boundary description around the cosmological singularity and admit a well-defined WDW limit in terms of standing waves. Both properties explain the presence of a generic quantum bounce replacing the classical singularity at a fundamental level, in contrast with previous studies where the bounce was proved in concrete regimes—focusing on states with a marked semiclassical behavior—or for a simplified model.

We analyze the loop quantization of the family of vacuum Bianchi I spacetimes, a gravitational system of which classical solutions describe homogeneous anisotropic cosmologies. We rigorously construct the operator that represents the Hamiltonian constraint, showing that the states of zero volume completely decouple from the rest of quantum states. This fact ensures that the classical cosmological singularity is resolved in the quantum theory. In addition, this allows us to adopt an equivalent quantum description in terms of a well-defined densitized Hamiltonian constraint. This latter constraint can be regarded in a certain sense as a difference evolution equation in an internal time provided by one of the triad components, which is polymerically quantized. Generically, this evolution equation is a relation between the projection of the quantum states in three different sections of constant internal time. Nevertheless, around the initial singularity the equation involves only the two closest sections with the same orientation of the triad. This has a double effect: on the one hand, physical states are determined just by the data on one section, on the other hand, the evolution defined in this way never crosses the singularity, without the need of any special boundary condition. Finally, we determine the inner product and the physical Hilbert space employing group averaging techniques, and we specify a complete algebra of Dirac observables. This completes the quantization program.