We review the study of inhomogeneous perturbations about a homogeneous and isotropic background cosmology. We adopt a coordinate based approach, but give geometrical interpretations of metric perturbations in terms of the expansion, shear and curvatu
re of constant-time hypersurfaces and the orthogonal timelike vector field. We give the gauge transformation rules for metric and matter variables at first and second order. We show how gauge invariant variables are constructed by identifying geometric or matter variables in physically-defined coordinate systems, and give the relations between many commonly used gauge-invariant variables. In particular we show how the Einstein equations or energy-momentum conservation can be used to obtain simple evolution equations at linear order, and discuss extensions to non-linear order. We present evolution equations for systems with multiple interacting fluids and scalar fields, identifying adiabatic and entropy perturbations. As an application we consider the origin of primordial curvature and isocurvature perturbations from field perturbations during inflation in the very early universe.
We give a concise, self-contained introduction to perturbation theory in cosmology at linear and second order, striking a balance between mathematical rigour and usability. In particular we discuss gauge issues and the active and passive approach to
calculating gauge transformations. We also construct gauge-invariant variables, including the second order tensor perturbation on uniform curvature hypersurfaces.
Oscillating moduli fields can support a cosmological scaling solution in the presence of a perfect fluid when the scalar field potential satisfies appropriate conditions. We examine when such conditions arise in higher-dimensional, non-linear sigma-m
odels that are reduced to four dimensions under a generalized Scherk-Schwarz compactification. We show explicitly that scaling behaviour is possible when the higher-dimensional action exhibits a global SL(n,R) or O(2,2) symmetry. These underlying symmetries can be exploited to generate non-trivial scaling solutions when the moduli fields have non-canonical kinetic energy. We also consider the compactification of eleven-dimensional vacuum Einstein gravity on an elliptic twisted torus.
