We present the first examples of cosmological solutions to four-dimensional heterotic models which include an evolving bundle modulus. The particular bundle modulus we consider corresponds to the width of a gauge five brane. As such our solutions can be used to describe the evolution in one of these models after a small instanton transition. We find that certain properties are generic to these solutions, regardless of initial conditions. This enables us to make some definite statements about the dynamics subsequent to a small instanton transition despite the fact that we cannot microscopically describe the process itself. We also show that an effective description of the small instanton transition by a continuous matching of fields and their first derivatives is precluded by the form of the respective low-energy theories before and after the transition.

We develop a gauge-invariant formalism to describe metric perturbations in five-dimensional brane-world theories. In particular, this formalism applies to models originating from heterotic M-theory. We introduce a generalized longitudinal gauge for scalar perturbations. As an application, we discuss some aspects of the evolution of fluctuations on the brane. Moreover, we show how the five-dimensional formalism can be matched to the known four-dimensional one in the limit where an effective four-dimensional description is appropriate.

We discuss simple cosmological solutions of Horava-Witten theory describing the strongly coupled heterotic string. At energies below the grand-unified scale, the effective theory is five- not four-dimensional, where the additional coordinate parameterizes a S^1/Z_2 orbifold. Furthermore, it admits no homogeneous solutions. Rather, the vacuum state, appropriate for a reduction to four-dimensional supersymmetric models, is a BPS domain wall. Relevant cosmological solutions are those associated with this BPS state. In particular, such solutions must be inhomogeneous, depending on the orbifold coordinate as well as on time. We present two examples of this new type of cosmological solution, obtained by separation of variables rather that by exchange of time and radius coordinate applied to a brane solution, as in previous work. The first example represents the analog of a rolling radii solution with the radii specifying the geometry of the domain wall. This is generalized in the second example to include a nontrivial ``Ramond-Ramond'' scalar.