13
$\begingroup$

I'm sure this is standard but I don't know where to look. Let $M$ be a contractible compact smooth $n$-manifold with boundary. Does it have to be homeomorphic to $D^n$? What about diffeomorphic?

[UPDATE: the answer is well-known to be negative as many people kindly pointed out. But actually I assume more about the manifold, namely the following:]

There is a Riemannian metric on $M$ such that every two points are connected by a unique shortest path. So $M$ can be contracted to a point $p\in M$ by sending every point along a shortest path to $p$. These paths can bend along the boundary and can merge because of this. But they are relatively nice (namely $C^{1,1}$) curves and their first derivatives depend continuously on their endpoints. Given all this, can one conclude that $M$ is a disc?

ADDED: These curves are of course gradient curves of a function (the distance to $p$) which is $C^1$ and has no critical points in the interior of $M$, except at $p$.

$\endgroup$
3
  • 3
    $\begingroup$ No. See the Wikipedia page on Mazur manifolds for examples and relevant history of your question. $\endgroup$ Mar 19, 2010 at 22:42
  • $\begingroup$ I see. By the way, are there examples bounded by the standard sphere? $\endgroup$ Mar 19, 2010 at 23:21
  • 1
    $\begingroup$ If the boundary is a standard sphere then the contractible manifold has to be the standard disc. This is an h-cobordism theorem type argument -- puncture your contractible manifold, this gives an h-cobordism, etc. $\endgroup$ Mar 19, 2010 at 23:25

3 Answers 3

3
$\begingroup$

Given a function $\psi:\mathbb R\to \mathbb R$, set $$\Psi=\psi\circ\mathrm{dist}_ {\partial M},\ \ \ \ \ f=\Psi\cdot(R-\mathrm{dist}_ p)$$ for some fixed $R>\mathrm{diam}\ M$.

Further, $$d\,f = (R-\mathrm{dist}_ p)\cdot d\,\Psi-\Psi\cdot d\,\mathrm{dist}_ p$$

Thus, we may choose smooth increasing $\psi$, such that $\psi(0)=0$ and it is constant outside of little nbhd of $0$ so that $\Psi$ is smooth. (It is possible since the function $\mathrm{dist}_ {\partial M}$ is smooth and has no critical points in a small neighborhood of $\partial M$.) Note that $d\,\Psi$ is positive muliple of $d\,\mathrm{dist}_ {\partial M}$. Thus $d_x\,f=0$ means that geodesic from $x$ to $p$ goes directly in the direction of minimizing geodesic from $x$ to $\partial M$, which can not happen.

Now we can apply Morse theory for $f$...

$\endgroup$
5
  • 1
    $\begingroup$ Is $\Phi$ needed here? I don't see why. $\endgroup$ Mar 27, 2010 at 18:37
  • $\begingroup$ ОЙ, right, I'll remove it :) $\endgroup$ Mar 27, 2010 at 19:08
  • $\begingroup$ I know I am very late to the party, but I have some questions about this answer and maybe someone can clarify: 1) $d_x \Psi $ only is a positive multiple of $d_x \mathrm{dist}_{\partial M}$ for $x$ in a small tube around $\partial M$ (for otherwise $\psi'$ might vanish), isn't that problematic? 2) What is wrong with a geodesic from $x$ to $p$ hitting $\partial M$ at the point closest $x$? In a standard Euclidean disk there are always points like that, unless $p$ lies in the centre. Does it mean you have to choose $p$ carefully here to make the argument work? $\endgroup$
    – Jan Bohr
    Jul 28, 2020 at 9:40
  • $\begingroup$ @JanBohr 1) i do not see a problem here --- explain more 2) the geodesic must hit $\partial M$ before $p$ --- that is a problem. $\endgroup$ Jul 29, 2020 at 18:44
  • 1
    $\begingroup$ @AntonPetrunin: OK, I think I understand it now: $p$ is any point in the interior and the neighbourhood $U$ of $\partial M$ is chosen small enough to not include $p$ and such that for $x\in U$ and $v\in S_xM$ with $d \mathrm{dist}_{\partial M}(v)\le 0$ the adapted geodesic $\gamma_{x,v}$ hits the boundary before it can reach $p$. Then critical points $x\neq p$ of $f$ must necessarily lie in $U$ (as $d\Psi$ vanishes outside of $U$, but $d \mathrm{dist}_p$ does not) and everything works out. $\endgroup$
    – Jan Bohr
    Jul 31, 2020 at 8:37
6
$\begingroup$

If $M$ is contractible and the boundary of $M$ is simply-connected and $n\ge 6$ then $M$ is diffeomorphic to $D^n$. See Milnor's "Lectures on the h-cobordism theorem".

$\endgroup$
6
$\begingroup$

Sergei, there are lots of compact contractible smooth manifolds; see e.g. my answer here.

I am a bit confused about what you say next. Are you claiming that any compact contractible manifold admits the metric as you describe?

You might be interested in a paper of Ancel-Guilbaut who put a negatively curved (in the comparison sense) metric on the interior of any compact contractible manifold; see also discussion of this paper on the bottom of page 4 of the paper by Alexander-Bishop here.

$\endgroup$
6
  • $\begingroup$ No the metric is assumed to exist and this implies that the manifold is contractible. $\endgroup$ Mar 19, 2010 at 22:47
  • $\begingroup$ Since you have a $C^1$ function with no critical points outside $p$, should not the standard arguments (like in the Soul Theorem) imply that the manifold is smoothly a disk. $\endgroup$ Mar 19, 2010 at 23:06
  • $\begingroup$ Formally no, because you can remove any subregion and the function is still there. The fact that the gradient never points outwards could help but I don't know how. $\endgroup$ Mar 19, 2010 at 23:19
  • $\begingroup$ Am I correct that when you start with a small metric sphere around $p$ and flow it by the gradient flow, it stays a topological sphere for a while, and then it hits the boundary and possibly gets messed up, and stops beings a topological sphere, and this is what makes you unsure the manifold is a disk? $\endgroup$ Mar 19, 2010 at 23:43
  • $\begingroup$ Yes. And actually there is no gradient flow away from p, only towards p. $\endgroup$ Mar 20, 2010 at 8:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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