This is an introduction to loop quantum cosmology (LQC) reviewing mini- and midisuperspace models as well as homogeneous and inhomogeneous effective dynamics

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.