We prove a 2-categorical analogue of a classical result of Drinfeld: there is a one-to-one correspondence between connected, simply connected Poisson Lie 2-groups and Lie 2-bialgebras. In fact, we also prove that there is a one-to-one correspondence between connected, simply connected quasi-Poisson 2-groups and quasi-Lie 2-bialgebras. Our approach relies on a “universal lifting theorem” for Lie 2-groups: an isomorphism between the graded Lie algebras of multiplicative polyvector fields on the Lie 2-group on one hand and of polydifferentials on the corresponding Lie 2-algebra on the other hand.

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 study the isoperimetric structure of asymptotically flat Riemannian 3-manifolds (M, g) that are C0-asymptotic to Schwarzschild of mass m > 0. Refining an argument due to H. Bray, we obtain an effective volume comparison theorem in Schwarzschild. We use it to show that isoperimetric regions exist in (M, g) for all sufficiently large volumes, and that they are close to centered coordinate spheres. This implies that the volume-preserving stable constant mean curvature spheres constructed by G. Huisken and S.-T. Yau as well as R. Ye as perturbations of large centered coordinate spheres minimize area among all competing surfaces that enclose the same volume. This confirms a conjecture of H. Bray. Our results are consistent with the uniqueness results for volumepreserving stable constant mean curvature surfaces in initial data sets obtained by G. Huisken and S.-T. Yau and strengthened by J. Qing and G. Tian. The additional hypotheses that the surfaces be spherical and far out in the asymptotic region in their results are not necessary in our work.

We consider complex projective space with its Fubini–Study metric and the X-ray transform defined by integration over its geodesics. We identify the kernel of this transform acting on symmetric tensor fields.

In the first paper of this series, “Electrodynamics and the Gauss Linking Integral on the 3-sphere and in Hyperbolic 3-space,” we developed a steady-state version of classical electrodynamics in these two spaces, including explicit formulas for the vector-valued Green’s operator, explicit formulas of Biot-Savart type for the magnetic field, and a corresponding Amp`ere’s Law contained in Maxwell’s equations, and then used these to obtain explicit inte- gral formulas for the linking number of two disjoint closed curves. In this second paper, we obtain integral formulas for twisting, writhing, and helicity, and prove that link = twist + writhe on the 3-sphere and in hyperbolic 3-space. We then use these results to derive upper bounds for the helicity of vector fields and lower bounds for the first eigenvalue of the curl operator on subdomains of these two spaces. An announcement of these results, and a hint of their proofs, can be found in the Math ArXiv, math.GT/0406276, while an expanded version of the first paper, with full proofs, can be found at math.GT/0510388.