$(M,g)$ is a Riemannian manifold with non-empty boundary and $DM$ is the double of $M$, is there a Riemannian metric $G$ on $DM$ such that $g=i^*G$? ($i$ is the inclusion from $M$ to $DM$)

| cite | improve this question | | | | |

Generally there isn't a natural one, although metrics do exist. There is no such Riemann metrics if you demand $i^* G = g$ for both inclusions of $M$ in its double. For example, consider the flat disc $D^2$. Having a metric on the double $S^2$ that restricts to two flat discs would violate the Gauss-Bonnet theorem. But in the world of metric spaces, there are metrics on the double, they're just not Riemann metrics.

| cite | improve this answer | | | | |
  • $\begingroup$ But if we require only one inclusion such that $i^*G=g$, then it seems to me that we can use partition of unity to construct $G$ on $DM$. $\endgroup$ – Hezudao Sep 19 '12 at 23:21
  • $\begingroup$ Yes, it just won't be a natural metric -- by that I mean it will depend on your choice of partition of unity. $\endgroup$ – Ryan Budney Sep 20 '12 at 2:08

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.