Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$(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$)

share|cite|improve this question
up vote 6 down vote accepted

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.

share|cite|improve this answer
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$. – Hezudao Sep 19 '12 at 23:21
Yes, it just won't be a natural metric -- by that I mean it will depend on your choice of partition of unity. – Ryan Budney Sep 20 '12 at 2:08

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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