For a simply connected solvable Lie group G with a cocompact discrete subgroup 􀀀, we consider the space of differential forms on the solvmanifold G/􀀀 with values in a certain flat bundle so that this space has a structure of a differential graded algebra (DGA). We construct Sullivan’s minimal model of this DGA. This result is an extension of Nomizu’s theorem for ordinary coefficients in the nilpotent case. By using this result, we refine Hasegawa’s result of formality of nilmanifolds and Benson-Gordon’s result of hard Lefschetz properties of nilmanifolds.

We give a description of the completion of the manifold of all smooth Riemannian metrics on a fixed smooth, closed, finitedimensional, orientable manifold with respect to a natural metric called the L2 metric. The primary motivation for studying this problem comes from Teichm¨uller theory, where similar considerations lead to a completion of the well-known Weil-Petersson metric. We give an application of the main theorem to the completions of Teichm¨uller space with respect to a class of metrics that generalize the Weil-Petersson metric.

This paper extends our earlier results to higher dimensions using a different approach, based on the rigidity of complex structures on certain domains. We prove a “low energy” result in all dimensions, in the sense that if normalized energy in a large ball is small enough, then the normalized energy in any interior ball must also be small.

We obtain an estimate for the volumes of neighborhoods of sets of large curvature in three-dimensional K¨ahler-Einstein manifolds. The key technical step is to prove that a version of monotonicity for L2 energy holds as long as the underlying region does not “carry homology” (in the sense that the normalized energy in a ball controls the normalized energy in an interior ball).

A Riemannian or Finsler metric on a compact manifoldM gives rise to a length function on the free loop space M, whose critical points are the closed geodesics in the given metric. If X is a homology class on M, the “minimax” critical level cr(X) is a critical value. Let M be a sphere of dimension > 2, and fix a metric g and a coefficient field G. We prove that the limit as deg(X) goes to infinity of cr(X)/ deg(X) exists. We call this limit = (M, g,G) the global mean frequency of M. As a consequence we derive resonance statements for closed geodesics on spheres; in particular either all homology on  of sufficiently high degreee lies hanging on closed geodesics of mean frequency (length/average index) , or there is a sequence of infinitely many closed geodesics whose mean frequencies converge to . The proof uses the ChasSullivan product and results of Goresky-Hingston [7].