We reconsider the consistency constraints on a free massless symmetric, rank 2, tensor field in a background and confirm that they uniquely require it to be the linear deviation about (cosmological) Einstein gravity. Neither adding non-minimal higher derivative terms nor changing the gauge transformations by allowing terms non-analytic in the cosmological constant alters this fact.

We show that the cosmological constant may be reduced by thermal production of membranes by the cosmological horizon, analogous to a particle ``going over the top of the potential barrier", rather than tunneling through it. The membranes are endowed with charge associated with the gauge invariance of an antisymmetric gauge potential. In this new process, the membrane collapses into a black hole, thus the net effect is to produce black holes out of the vacuum energy associated with the cosmological constant. We study here the corresponding Euclidean configurations ("thermalons"), and calculate the probability for the process in the leading semiclassical approximation.

It is shown in detail that the dynamics of the Einstein-dilaton-p-form system in the vicinity of a spacelike singularity can be asymptotically described, at a generic spatial point, as a billiard motion in a region of Lobachevskii space (realized as an hyperboloid in the space of logarithmic scale factors). This is done within the Hamiltonian formalism, and for an arbitrary number of spacetime dimensions $D \geq 4$. A key role in the derivation is played by the Iwasawa decomposition of the spatial metric, and by the fact that the off-diagonal degrees of freedom, as well as the p-form degrees of freedom, get ``asymptotically frozen'' in this description. For those models admitting a Kac-Moody theoretic interpretation of the billiard dynamics we outline how to set up an asymptotically equivalent description in terms of a one-dimensional non-linear sigma-model formally invariant under the corresponding Kac-Moody group.

It is shown that the never ending oscillatory behaviour of the generic solution, near a cosmological singularity, of the massless bosonic sector of superstring theory can be described as a billiard motion within a simplex in 9-dimensional hyperbolic space. The Coxeter group of reflections of this billiard is discrete and is the Weyl group of the hyperbolic Kac-Moody algebra E$_{10}$ (for type II) or BE$_{10}$ (for type I or heterotic), which are both arithmetic. These results lead to a proof of the chaotic (``Anosov'') nature of the classical cosmological oscillations, and suggest a ``chaotic quantum billiard'' scenario of vacuum selection in string theory.

Some time ago, it was found that the never-ending oscillatory chaotic behaviour discovered by Belinsky, Khalatnikov and Lifshitz (BKL) for the generic solution of the vacuum Einstein equations in the vicinity of a spacelike ("cosmological") singularity disappears in spacetime dimensions $D= d+1>10$. Recently, a study of the generalization of the BKL chaotic behaviour to the superstring effective Lagrangians has revealed that this chaos is rooted in the structure of the fundamental Weyl chamber of some underlying hyperbolic Kac-Moody algebra. In this letter, we show that the same connection applies to pure gravity in any spacetime dimension $\geq 4$, where the relevant algebras are $AE_d$. In this way the disappearance of chaos in pure gravity models in $D > 10$ dimensions becomes linked to the fact that the Kac-Moody algebras $AE_d$ are no longer hyperbolic for $d > 9$.

Some spatially homogeneous Bianchi type I cosmological models filled with homogeneous ``electric'' $p$-form fields are shown to mimic the never-ending oscillatory behaviour of generic string cosmologies established recently. The validity of the ``Kasner-free-flights plus collisions-on-potential-walls'' picture is also illustrated in the case of known, non-chaotic, superstring solutions.

It is shown that the general solution near a spacelike singularity of the Einstein-dilaton-p-form field equations relevant to superstring theories and M-theory exhibits an oscillatory behaviour of the Belinskii-Khalatnikov-Lifshitz type. String dualities play a significant role in the analysis.