The current understanding of structure formation in the early universe is mainly built on a magnification of quantum fluctuations in an initial vacuum state during an early phase of accelerated universe expansion. One usually describes this process by solving equations for a quantum state of matter on a given expanding background space-time, followed by decoherence arguments for the emergence of classical inhomogeneities from the quantum fluctuations. Here, we formulate the coupling of quantum matter fields to a dynamical gravitational background in an effective framework which allows the inclusion of back-reaction effects. It is shown how quantum fluctuations couple to classical inhomogeneities and can thus manage to generate cosmic structure in an evolving background. Several specific effects follow from a qualitative analysis of the back-reaction, including a likely reduction of the overall amplitude of power in the cosmic microwave background, the occurrence of small non-Gaussianities, and a possible suppression of power for odd modes on large scales without parity violation.

Effective equations often provide powerful tools to develop a systematic understanding of detailed properties of a quantum system. This is especially helpful in quantum cosmology where several conceptual and technical difficulties associated with the full quantum equations can be avoided in this way. Here, effective equations for Wheeler-DeWitt and loop quantizations of spatially flat, isotropic cosmological models sourced by a massive or interacting scalar are derived and studied. The resulting systems are remarkably different from that given for a free, massless scalar. This has implications for the coherence of evolving states and the realization of a bounce in loop quantum cosmology.

Within a perturbative cosmological regime of loop quantum gravity corrections to effective constraints are computed. This takes into account all inhomogeneous degrees of freedom relevant for scalar metric modes around flat space and results in explicit expressions for modified coefficients and of higher order terms. It also illustrates the role of different scales determining the relative magnitude of corrections. Our results demonstrate that loop quantum gravity has the correct classical limit, at least in its sector of cosmological perturbations around flat space, in the sense of perturbative effective theory.

Inhomogeneous cosmological perturbation equations are derived in loop quantum gravity, taking into account corrections in particular in gravitational parts. This provides a framework for calculating the evolution of modes in structure formation scenarios related to inflationary or bouncing models. Applications here are corrections to the Newton potential and to the evolution of large scale modes which imply non-conservation of curvature perturbations possibly noticeable in a running spectral index. These effects are sensitive to quantization procedures and test the characteristic behavior of correction terms derived from quantum gravity.

Cosmological perturbation equations are derived systematically in a canonical scheme based on Ashtekar variables. A comparison with the covariant derivation and various subtleties in the calculation and choice of gauges are pointed out. Nevertheless, the treatment is more systematic when correction terms of canonical quantum gravity are to be included. This is done throughout the paper for one characteristic modification expected from loop quantum gravity.

Effective equations are often useful to extract physical information from quantum theories without having to face all technical and conceptual difficulties. One can then describe aspects of the quantum system by equations of classical type, which correct the classical equations by modified coefficients and higher derivative terms. In gravity, for instance, one expects terms with higher powers of curvature. Such higher derivative formulations are discussed here with an emphasis on the role of degrees of freedom and on differences between Lagrangian and Hamiltonian treatments. A general scheme is then provided which allows one to compute effective equations perturbatively in a Hamiltonian formalism. Here, one can expand effective equations around any quantum state and not just a perturbative vacuum. This is particularly useful in situations of quantum gravity or cosmology where perturbations only around vacuum states would be too restrictive. The discussion also demonstrates the number of free parameters expected in effective equations, used to determine the physical situation being approximated, as well as the role of classical symmetries such as Lorentz transformation properties in effective equations. An appendix collects information on effective correction terms expected from loop quantum gravity and string theory.

In many situations, one can approximate the behavior of a quantum system, i.e. a wave function subject to a partial differential equation, by effective classical equations which are ordinary differential equations. A general method and geometrical picture is developed and shown to agree with effective action results, commonly derived through path integration, for perturbations around a harmonic oscillator ground state. The same methods are used to describe dynamical coherent states, which in turn provide means to compute quantum corrections to the symplectic structure of an effective system.