Homeomorphic to the disk implies existence of fixed point common to all isometries?

Contrary to our intuition the answer is negative: There are smooth actions of compact groups $G\times D^n\to D^n$ (even finite groups) on closed $n$-disk $D^n$ (for $n$ sufficiently large) so that the action is isometric with respect to some Riemannian metric on $D^n$ and has no point in $D^n$ fixed by the group $G$. By considering the distance function defined by the Riemannian metric, one obtains actions of compact groups of isometries of the resulting metric space, which do not have a fixed point in $D^n$.

Here is where the examples are coming from:

  1. Given a smooth manifold $M$ (possibly with boundary) and a smooth action of a compact group $G$ on $M$, denoted $G\times M\to M$, there exists a $G$-invaraint Riemannian metric $ds^2$ on $M$. This standard fact is proven by taking an arbitrary Riemannian metric $ds_o^2$ on $M$ and averaging it under the action of the group $G$. If $G$ is finite, the averaging procedures is just $$ ds^2= \frac{1}{|G|} \sum_{g\in G} g^*(ds_o^2). $$ If $G$ is compact one replaces the sum with the integral over the Haar measure of $G$.

  2. Thus, it remains to find compact groups acting smoothly on $D^n$ without a fixed point. The first examples of this type were constructed by Conner and Richardson, in the case when $G$ is the icosahedral group, i.e., the group $I$ of orientation preserving symmetries of the regular 3-dimensional icosahedron. Later on, Oliver constructed an example of a smooth action of $SO(3)$ on $D^8$ which does not have a fixed point (in particular, the subgroup $I<SO(3)$ does not fix a point in $D^8$). You can find a detailed description of Oliver's example, references and further information in the survey:

M.Davis, A survey of results in higher dimensions, In "The Smith Conjecture", (editors: J. W. Morgan and H. Bass), Academic Press, New York, 1984, https://people.math.osu.edu/davis.12/old_papers/survey.pdf

On the positive side, if you equip $D^n$ with a Riemannian metric of nonpositive curvature $ds^2$, so that the boundary is convex, then the isometry group of $(D^n, ds^2)$ does have a fixed point in $D^n$: This is a corollary of Cartan's Fixed Point theorem. You can find a proof of the latter for instance in Petersen's "Riemannian Geometry" book. I think, Kirill in his answer was trying to reproduce the proof of Cartan's theorem, without the nonpositive curvature assumption (which, of course, cannot be done).


This is only probably correct wrong. I'm going to assume the manifold is a Riemannian manifold, diffeomorphic to an $n$-disk, I'm not sure if this makes much difference to you. I think there is a problem with this if $M$ has more than one minimal geodesic between some pairs of points.

Consider the function "mean squared distance from a given point": $$ f(x) = \int_M d(x,y)^2\,dy. $$

Given a vector $v$ tangent to $M$ at $x$ and another point $y$ on $M$, we know that $\partial_v d(x,y) = 0$ when $v$ is orthogonal to $t$, the unit tangent vector to the minimal geodesic going from $x$ to $y$, and that $\partial_t d(x,y) = -1$.

Thus for an arbitrary vector $v$ tangent at $x$, $\partial_v d(x,y) = -(v,t)$, and so: $$ \partial_v f(x) = -2\int_M dy\,d(x,y)(v,t), $$ where $t\in TM_x$ is a function of the variable of integration $y$, and the Hessian of $f$ is $$ H(w,v) = \partial_w \partial_v f(x) = 2\int_M dy\,(w,t)(v,t), $$ $$ H = 2\int_M t^*\otimes t^*. $$

This Hessian is positive definite everywhere on $M$, and so $f$ has no degenerate critical points on $M$, and is thus a Morse function. Morse theory implies that if $m_k$ is the number of critical points of $f$ of index $k$ (index of a critical point is the number of decreasing directions), we have $$ \sum_{0\leq k\leq n} (-1)^k m_k = \chi(M), $$ where $\chi(M)$ is the Euler characteristic of $M$ (the alternating sum of its Betti numbers).

Finally, $H$ is positive definite, so $m_k = 0$ for $k>0$, and $\chi(M)=1$ because $M$ is diffeomorphic to the unit disk. Therefore $$ m_0 = 1, $$ and so $f$ achieves its minimum at precisely one point, which must be invariant under all isometries because it is a level set of $f$, which is a function invariant under isometries.