Chapter I of Kobayashi's Transformation Groups in Differential Geometry contains a very general theorem on transformation groups, due to Palais. I have some questions about its proof (which I attach below, highlighting the unclear points):

  • Is the local action that the author is referring to with $f$ really an action? I.e. do we have $f(e^X,f(e^Y,p))=f(e^X e^Y,p)$ for small $X,Y$? If this is assumed in the rest of the proof, how can one prove it? This seems to be a local version of Lie-Palais theorem and is not trivial to me.
  • How do we deduce, in Lemma 1, that $(\exp tZ)p=(\exp X)(\exp tY)(\exp -X)p$ out of $e^{tZ}=e^X e^{tY} e^{-X}$? An affirmative answer to the preceding question would clear up this doubt (at least for small $X$). A similar question arises for Lemma 3.
  • Why is $\mathfrak{G}^*$ a Lie group? It is not a subgroup of the abstract, simply-connected auxiliary group, but rather a subgroup of the original one (the one in the statement). Is the author implicitly extending the local action $f$ to a global action of the abstract, simply-connected group? (Again, if this is the case, I do not see how this is achieved.)




Your Answer

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

Browse other questions tagged or ask your own question.