The diameter of a disc filling a loop in the universal covering of a Riemannian manifold M may be measured extrinsically using the distance function on the ambient space or intrinsically using the induced length metric on the disc. Correspondingly, the diameter of a van Kampen diagram
filling a word that represents the identity in a finitely presented group 􀀀 can either be measured intrinsically in the 1–skeleton of
or extrinsically in the Cayley graph of 􀀀. We construct the first examples of closed manifolds M and finitely presented groups 􀀀 = π1M for which this choice — intrinsic versus extrinsic — gives rise to qualitatively different min–diameter filling functions.

We study the question of local and global uniqueness of completions, based on null geodesics, of Lorentzian manifolds. We show local uniqueness of such boundary extensions. We give a necessary and sufficient condition for existence of unique maximal completions. The condition is verified in several situations of interest. This leads to existence and uniqueness of maximal spacelike conformal boundaries, of maximal strongly causal boundaries, as well as uniqueness of conformal boundary extensions for asymptotically simple space-times. Examples of applications include the definition of mass, or the classification of inequivalent extensions across a Cauchy horizon of the Taub space-time.

No abstract uploaded!

We study analytic properties of harmonic maps from Riemannian polyhedra into CAT(κ) spaces for κ∈{0,1}. Locally, on each top-dimensional face of the domain, this amounts to studying harmonic maps from smooth domains into CAT(κ) spaces. We compute a target variation formula that captures the curvature bound in the target, and use it to prove an Lp Liouville-type theorem for harmonic maps from admissible polyhedra into convex CAT(κ) spaces. Another consequence we derive from the target variation formula is the Eells–Sampson Bochner formula for CAT(1) targets.

We give a complete diffeomorphism classification of 1-connected closed manifolds M with integral homology H¤(M) ∼= Z ⊕ Z ⊕ Z, provided that dim(M) 6= 4.