reference for the slice theorem for Banach Lie group actions on Banach manifolds - MathOverflow most recent 30 from http://mathoverflow.net2013-05-25T09:15:43Zhttp://mathoverflow.net/feeds/question/76412http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/76412/reference-for-the-slice-theorem-for-banach-lie-group-actions-on-banach-manifoldsreference for the slice theorem for Banach Lie group actions on Banach manifoldsOrbicular2011-09-26T12:27:42Z2011-10-12T14:22:13Z
<p>I am looking for a reference treating the slice theorem for Banach Lie group actions on Banach manifolds, i.e. proving that a smooth, free and proper action of a Banach Lie group $G$ on a Banach manifold $M$ with embedded orbits ensures that the quotient $M/G$ inherits the structure of a Banach manifold, s.t. $M\rightarrow M/G$ becomes a $G$-principal bundle.</p>
<p>I know this is briefly treated in Bourbaki's "Lie groups and Lie algebras". Unfortunately, in the proof they refer to the Bourbaki book "differentiable and analytic manifolds" which is not available to me.</p>
<p>Could anyone please provide me with a reference?</p>
http://mathoverflow.net/questions/76412/reference-for-the-slice-theorem-for-banach-lie-group-actions-on-banach-manifolds/76637#76637Answer by Giuseppe for reference for the slice theorem for Banach Lie group actions on Banach manifoldsGiuseppe2011-09-28T13:16:49Z2011-09-28T13:25:44Z<p>Dear Orbicular the theorem on the existence of slices is stated without proof as Theorem 5.2.6 in Critical Point Theory and Submanifold Geometry, LNM 1353, of Palais and Terng (for example see <a href="http://vmm.math.uci.edu/CriticalPointTheory.pdf" rel="nofollow">here</a>).<br>
The proof should be adapted without difficulty from that in the finite-dimensional case.<br>
For this case you can look at ``On the existence of slices for actions of non-compact groups'' by Palais (for example see <a href="http://vmm.math.uci.edu/ExistenceOfSlices.pdf" rel="nofollow">here</a>).</p>