39
$\begingroup$

Suppose a finite-dimensional Lie group $G$ is given. Does there exist a connected manifold $M$ and a Riemannian metric $g$, such that $G$ is the full isometry group of $(M,g)$?

For example if I try to do this for a connected $G$, then I often get a bigger group as the full isometry group, which includes e.g. the orientation reversing isometries. (Maybe one has to take a non--orientable space for that?)

Even if I try to realize $\mathbb R$ as a full isometry group, I fail. (One could take the full isometry group of $\mathbb R$ with the standard metric, which is given by $\mathbb R \rtimes \mathbb Z_2$ and divide out the $\mathbb Z_2$ action. But this leads to a fixpoint and the quotient is therefore not a manifold any more.)

There is an article of J. de Groot1 which proves that every abstract group can be realized as an isometry group of some metric space, but it is not clear to me, if this is true in the category of Lie groups and Riemannian manifolds.

1de Groot, J. "Groups represented by homeomorphism groups." Math. Ann. 138 (1959) 80–102. MR119193 doi:10.1007/BF01369667</a

$\endgroup$
3
  • $\begingroup$ I expect that you assume that $M$ is connected, but not $G$? $\endgroup$
    – YCor
    Oct 24, 2017 at 7:50
  • $\begingroup$ Yes! edited the question. $\endgroup$ Oct 24, 2017 at 8:46
  • $\begingroup$ About $G$, a necessary condition is that $G/G^0$ is countable. I don't know if the OP is interested in the case when $G/G^0$ is infinite countable (this encompasses all countable discrete groups). $\endgroup$
    – YCor
    Jul 5, 2021 at 8:21

3 Answers 3

37
$\begingroup$

The article of de Groot is the one cited here: What kind group can be realized as a Isometry group of some space?

That every compact group is the full isometry group of a compact Riemannian manifold is shown in:

Saerens, Rita; Zame, William R., The isometry groups of manifolds and the automorphism groups of domains, Trans. Am. Math. Soc. 301, 413-429 (1987). ZBL0621.32025. (such an isometry group must be compact priori).

Winkelmann, Jörg, Realizing connected Lie groups as automorphism groups of complex manifolds, Comment. Math. Helv. 79, No. 2, 285-299 (2004). ZBL1056.32022. shows that every connected real lie group is the full automorphism group of a complete, hyperbolic (in the sense of Kobayashi) complex manifold.

$\endgroup$
2
  • 4
    $\begingroup$ The case of non-compact groups seems still to be unanswered. $\endgroup$ Oct 24, 2017 at 9:21
  • 1
    $\begingroup$ @PanagiotisKonstantis: Not only that, even the case of noncompact connected Lie groups is unanswered. I think, you accepted this answer too early. $\endgroup$ Apr 20, 2020 at 19:23
20
$\begingroup$

The group $\mathbb R$ can be realized as full isometry group of $(\mathbb R\times\mathbb S^1 ,g)$. Choose a generic periodic one parameter family of quadratic forms $h(t)$ on $\mathbb R^2$. Consider metric $g(x,y)=h(y)$ on $\mathbb R\times\mathbb S^1$.

Why: Note that each fiber $\mathbb R\times u$ maps to it-self. Note that orthogonal fibration $\mathcal{F}$ is preserved. Go along $\mathcal{F}$ once around $\mathbb S^1$. Since $h$ is generic you will not get to the same point. Therefore each isometry preserves the orientaion of $\mathbb R$-fibers.

This idea seems to work in general. Consider metric $g$ on $G\times \mathbb T^2$ which is invariant w.r.t. left $G$-translations and such that $g(e,t)=h(t)$ is a generic family of quadratic forms on $T_{(e,t)}$; here $t\in \mathbb T^2$.

Why: This way you get a holonomy map from $G\to G$ for any loop in $\mathbb T^2$. For generic $h(t)$ you may assume that there is no automorphism of $G$ which preserve this holonomy.

$\endgroup$
8
  • $\begingroup$ Anton -- a "generic one parameter family of metrics" on what? $\endgroup$
    – algori
    Jan 31, 2012 at 0:21
  • $\begingroup$ @algori: hope it is clear now. $\endgroup$ Jan 31, 2012 at 0:39
  • 1
    $\begingroup$ Isn't the map $(x,y)\mapsto(-x,y)$ an isometry of your $\mathbb R^2$? $\endgroup$ Jan 31, 2012 at 1:42
  • $\begingroup$ @Mariano: formally NO, but you are right after changing coordinates --- I will update my answer. $\endgroup$ Jan 31, 2012 at 2:44
  • 2
    $\begingroup$ @Anton: Sorry, I don't understand two things concerning your example with $\mathbb R$. First I don't see why there shouldn't be any other (e.g. discrete) symmetries, despite the genericity of $h$. And second I don't get your argument about the isometries in $\mathbb R$-directions. Why is this proving that there is no orientation reversing symmetry? I guess I'm just blind not to see that. $\endgroup$ Jan 31, 2012 at 11:25
3
$\begingroup$

Maybe this is the same as the idea of Anton, but I thought I post it anyway for its visualization. I think something like this will have full isometry group $=\Bbb R$: a periodically winding "rope" with a generic surface structure.

[![enter image description here][1]][1] [1]: https://i.stack.imgur.com/9Vv5n.png

In formulas, if $h:\Bbb S^1\to\Bbb R$ is generic, then above figure can be given by a parametric description

$$(\theta,z)\quad\mapsto\quad (1+h(\theta+\alpha z))\begin{pmatrix}\cos(\theta)\\\sin(\theta)\\0\end{pmatrix} + \begin{pmatrix} 0\\0\\z \end{pmatrix}$$

with some parameter $\alpha$.

$\endgroup$

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.