The convexity theorem of Atiyah and Guillemin-Sternberg says that any connected compact manifold with Hamiltonian torus action has a moment map whose image is the convex hull of the image of the fixed point set. Sjamaar-Lerman proved that the Marsden-Weinstein reduction of a connected Hamitonian G -manifold is a stratified symplectic space. Suppose $1\ra A\ra G\ra T\ra 1$ is an exact sequence of compact Lie groups and T is a torus. Then the reduction of a Hamiltonian G -manifold with respect to A yields a Hamiltonian T -space. We show that if the A -moment map is proper, then the convexity theorem holds for such a Hamiltonian T -space, even when it is singular. We also prove that if, furthermore, the T -space has dimension 2dimT and T acts effectively, then the moment polytope is sufficient to essentially distinguish their homeomorphism type, though not their diffeomorphism types. This generalizes a theorem of Delzant in the smooth case.

On the manifoldM(M) of all Riemannian metrics on a compact manifold M, one can consider the natural L2-metric as described first by [11]. In this paper we consider variants of this metric, which in general are of higher order. We derive the geodesic equations; we show that they are well-posed under some conditions and induce a locally diffeomorphic geodesic exponential mapping. We give a condition when Ricci flow is a gradient flow for one of these metrics.

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.

No abstract uploaded!

We provide a refinement of the Poincaré inequality on the torus $\mathbb{T}^{d}$ : there exists a set $\mathcal{B} \subset \mathbb{T} ^{d}$ of directions such that for every $\alpha \in \mathcal{B}$ there is a $c_{\alpha } > 0$ with $$\begin{aligned} \|\nabla f\|_{L^{2}(\mathbb{T}^{d})}^{d-1} \| \langle \nabla f, \alpha \rangle \|_{L^{2}(\mathbb{T}^{d})} \geq c_{\alpha }\|f\| _{L^{2}(\mathbb{T}^{d})}^{d} \quad \mbox{for all}~f\in H^{1}\bigl( \mathbb{T}^{d}\bigr)~ \mbox{with mean 0.} \end{aligned}$$ The derivative $\langle \nabla f, \alpha \rangle $ does not detect any oscillation in directions orthogonal to $\alpha $ , however, for certain $\alpha $ the geodesic flow in direction $\alpha $ is sufficiently mixing to compensate for that defect. On the two-dimensional torus $\mathbb{T}^{2}$ the inequality holds for $\alpha = (1, \sqrt{2})$ but is not true for $\alpha = (1,e)$ . Similar results should hold at a great level of generality on very general domains.