show/hide this revision's text 2 added 106 characters in body

In general, for any non-zero degree map from one closed negatively curved manifold to another, there is a canonical map (due to Besson-Courtois-Gallot) called the "natural map". However, it's only known to be pointwise volume decreasing, not necessarily contracting. They call this the "real Schwarz-Lemma". Applying the Schwarz lemma for Riemann surfaces I think gives the contracting map in this case for branched covers. Think of the induced map on the universal cover, which is the unit disk, or $\mathbb{H}^2$. The Schwarz lemma says that any conformal map from the disk to the disk is contracting, unless it's an isometry.

I thought of one (not very explicit) example in 3-D. Take two simplices in hyperbolic space. There is a canonical affine map (say in the Lorentzian model) taking one simplex to the other. This will be a contracting map for the hyperbolic metric if one simplex sits inside the other [Edit: actually I'm not sure about this now, but in the example below there exists a contracting map]. There are finitely many tetrahedra in $\mathbb{H}^3$ which give rise to fundamental domains for discrete reflection groups (see Ratcliffe). Two of these have one dihedral angle $\pi/5$, with opposite edge angle $\pi/2$ and $\pi/4$, respectively, and all other angles the same. There is a 1-parameter family of polyhedra interpolating between these (basically, just "push" the two faces closer together along the dihedral angle $\pi/5$ edge) which decreases distances. Also, the orbifold fundamental group (i.e. reflection group) from the $\pi/4$ one maps to that of the $\pi/2$ one. So there's a distance decreasing map from one orbifold to the other. Using Selberg's lemma, one may find finite-sheeted manifold covers with the same property.

show/hide this revision's text 1

In general, for any non-zero degree map from one closed negatively curved manifold to another, there is a canonical map (due to Besson-Courtois-Gallot) called the "natural map". However, it's only known to be pointwise volume decreasing, not necessarily contracting. They call this the "real Schwarz-Lemma". Applying the Schwarz lemma for Riemann surfaces I think gives the contracting map in this case for branched covers. Think of the induced map on the universal cover, which is the unit disk, or $\mathbb{H}^2$. The Schwarz lemma says that any conformal map from the disk to the disk is contracting, unless it's an isometry.

I thought of one (not very explicit) example in 3-D. Take two simplices in hyperbolic space. There is a canonical affine map (say in the Lorentzian model) taking one simplex to the other. This will be a contracting map for the hyperbolic metric if one simplex sits inside the other. There are finitely many tetrahedra in $\mathbb{H}^3$ which give rise to fundamental domains for discrete reflection groups (see Ratcliffe). Two of these have one dihedral angle $\pi/5$, with opposite edge angle $\pi/2$ and $\pi/4$, respectively, and all other angles the same. There is a 1-parameter family of polyhedra interpolating between these (basically, just "push" the two faces closer together along the dihedral angle $\pi/5$ edge) which decreases distances. Also, the orbifold fundamental group (i.e. reflection group) from the $\pi/4$ one maps to that of the $\pi/2$ one. So there's a distance decreasing map from one orbifold to the other. Using Selberg's lemma, one may find finite-sheeted manifold covers with the same property.