3
$\begingroup$

Suppose $F\to M\stackrel{\pi}{\to} B$ is a Riemannian submersion with totally geodesic fibers, all manifolds compact. In general, unless $M=B\times F$ is a Riemannian product, the isometry groups of these manifolds is not related in any obvious way. In this direction:

Question 1. Give sufficient conditions so that the isometry group $Iso(B)$ of the base also acts by isometries on the total space $M$.

Question 2. Same for the isometry group $Iso(F)$ of the fiber.

A few remarks:

(i) In general, an isometry of the base (or of the fiber) does not extend to an isometry of the total space. Consider e.g. a Klein bottle $K$ as a $S^1$-bundle and note that any rotation of a fiber $S^1$ cannot extend to a continuous map of $K$.

(iii) By a result of Hermann (see e.g. Besse's book on Einstein mflds), since the fibers are assumeed totally geodesic, the holonomy group is a subgroup of the isometry group of the fiber.


[edit: Please disregard the following remark; see V Kapovitch's answer below.]

(ii) A possible answer for (Q1), ignoring the compactness requirement, is when $\sec_B\leq 0$ and $\pi_1(B)=1$. Note this implies $B$ diffeomorphic to the Euclidean space, hence noncompact. With these assumptions it is not hard to see that an isometry $f:B\to B$ can be lifted to an isometry $\tilde f:M\to M$ by letting $\tilde f(x)$ be the endpoint of the lift of the unique minimal geodesic from $p=\pi(x)\in B$ to $f(p)\in B$. Non-positive curvature is used to guarantee uniqueness of the minimal geodesic from $p$ to $f(p)$ and simply- connectedness is used to guarantee continuity of the lifted map. [incorrect -- see Kapovitch's answer below -- I left the text only so readers can see this previous mistake.]

$\endgroup$
4
  • $\begingroup$ Your comments could well be in the question itself! :D $\endgroup$ Commented Oct 26, 2011 at 19:54
  • 1
    $\begingroup$ In fact, I recommend that you incorporate your remarks into the question itself. It's a lot easier to read the question than the comments. $\endgroup$
    – Deane Yang
    Commented Oct 26, 2011 at 20:02
  • $\begingroup$ Answering to your requests, I've edited the question so that the remarks I made as comments are now in the body of the question. I usually like posting questions that are as short as possible since, I loose interest reading long questions myself... $\endgroup$ Commented Oct 26, 2011 at 20:34
  • $\begingroup$ Relating to Question 1: Even in the setting of principal bundles, given a continuous action on the base space, it is not always possible to lift it to the total space. Not even when the structure group of the principal bundle is a torus. In this direction there are obstructions given by Hattori and Yoshida in Lifting compact group actions in fiber bundles [ Japan. J. Math. (N.S.) 2 (1976), no. 1, 13–25, [MR0461538]](mathscinet. $\endgroup$
    – D. Corro
    Commented Apr 15, 2019 at 12:30

1 Answer 1

3
$\begingroup$

I'm not aware of any natural conditions that would ensure existence of the lifts (extensions) as you want. But I want to point out that your statement in (ii) is wrong. There is no reason to expect that the lift you construct this way will be isometric as it need not preserve the horizontal distribution. you can always construct such lifts locally so the assumption of $sec_B\le 0$ is irrelevant for local Lie group actions. In that case what you say amounts to claiming that a horizontal lift of a Killing vector field on the base remains Killing on the total space. It's easy to see that when the fibers are totally geodesic this is equivalent to the vanishing of the $A$-tensor on that vector field. This is certainly a rather strong condition which is very rarely satisfied. in particular, if the whole $A$-tensor is zero then the whole submersion is flat (locally a Riemannian product) since the $T$-tensor is also zero by your assumptions.

$\endgroup$
1
  • $\begingroup$ Thank you for pointing out those problems, I have edited my question to mention that (ii) is incorrect. $\endgroup$ Commented Nov 2, 2011 at 3:47

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .