Abstract
In this chapter, we present a concise introduction to the theory of proper and isometric actions. We begin with basic definitions and a quick primer on fiber bundles, leading to the Slice Theorem 3.49 and the Tubular Neighborhood Theorem 3.57. These fundamental results are used throughout the rest of the book; in particular, to establish a strong correspondence between proper and isometric actions in Sect. 3.3. Finally, the stratification of a manifold by orbit types of a proper action is studied in Sect. 3.5.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Analogous maps can be defined for a right G-action, simply replacing μ(g, x) by μ(x, g).
- 2.
Notice that μ G is isomorphic to G only if the action μ is effective.
- 3.
For more details on this action, see Example 6.48.
- 4.
A posteriori, this condition means that the submanifold S is transverse to the orbit G(x).
- 5.
In fact, since (3.5) is a proper map between locally compact Hausdorff spaces, it is also closed, i.e., maps closed subsets to closed subsets. Thus, its image \(\mathcal{R} =\{ (x,y) \in M \times M: G(x) = G(y)\}\) is closed. As \(\rho: M \rightarrow M/G\) is an open map, \(\rho (M \times M\setminus \mathcal{R})\) is open. This is easily seen to be the complement of the diagonal in \(M/G \times M/G\), which is hence closed, proving that M∕G is Hausdorff.
- 6.
More generally, two (either left or right) actions μ 1 and μ 2 on M are said to commute if the induced transformations (3.1) on M satisfy \((\mu _{1})^{g_{1}} \circ (\mu _{2})^{g_{2}} = (\mu _{2})^{g_{2}} \circ (\mu _{1})^{g_{1}}\) for all g i ∈ G i .
- 7.
- 8.
This is a consequence of the so-called Kronecker Approximation Theorem.
- 9.
- 10.
Recall that \(\overline{\mathbb{C}P}^{2}\) denotes the complex projective plane \(\mathbb{C}P^{2}\) endowed with the orientation opposite to the standard. It is well-known that the connected sum \(\mathbb{C}P^{2}\#\overline{\mathbb{C}P}^{2}\) is the only nontrivial S 2-bundle over S 2, since such bundles are classified by \(\pi _{1}(\mathrm{Diff}(S^{2}))\mathop{\cong}\pi _{1}(\mathrm{SO}(3))\mathop{\cong}\mathbb{Z}_{2}\).
- 11.
This theorem gives a criterion for convergence of continuous maps in the compact-open topology. More precisely, a sequence of continuous functions \(\{g_{n}: K \rightarrow B\}\) between compact metric spaces K and B admits a uniformly convergent subsequence if {g n } is equicontinuous, i.e., for every \(\varepsilon > 0\) there exists δ > 0 such that \(\mathrm{dist}(g_{n}(x),g_{n}(y)) <\varepsilon\) for all dist(x, y) < δ, x, y ∈ K, \(n \in \mathbb{N}\).
- 12.
This means that any open cover of M∕G admits a locally finite refinement.
- 13.
Note that completeness can be guaranteed if, e.g., M is compact.
- 14.
Note that the assumption that γ realizes the distance between the orbits G(γ(0)) and G(γ(1)) is stronger than γ being a minimal geodesic segment between its endpoints γ(0) and γ(1).
- 15.
A metric space is a length metric space if the distance between any two points is realized by a shortest curve, called a geodesic.
- 16.
- 17.
More generally, if μ is not free, then \(\pi: M \rightarrow M/G\) is a submetry, which is a generalization of submersions to metric spaces.
- 18.
It is important to notice that singular orbits are smooth submanifolds, whose singular nature is simply to have a lower dimension.
- 19.
To our knowledge, the notion of local orbit types was introduced in Duistermaat and Kolk [79].
- 20.
If the action is isometric, this simply means that the slice representations of G x and G y are equivalent, i.e., related by an equivariant linear map \(\phi: \nu _{x}G(x) \rightarrow \nu _{y}G(y)\).
- 21.
References
M.M. Alexandrino, Desingularization of singular Riemannian foliation. Geom. Dedicata 149, 397–416 (2010)
M.M. Alexandrino, L. Biliotti, R. Pedrosa, Lectures on Isometric Actions. XV Escola de Geometria Diferencial, Publicações matemáticas (IMPA, Fortaleza, 2008)
M.M. Alexandrino, R. Briquet, D. Töben, Progress in the theory of singular Riemannian foliations. Differ. Geom. Appl. 31, 248–267 (2013)
M.M. Alexandrino, M. Radeschi, Smoothness of isometric flows on orbit spaces and applications to the theory of foliations (2014, preprint). arXiv:1301.2735
M.M. Alexandrino, T. Töben, Equifocality of singular Riemannian foliation. Proc. Am. Math. Soc. 136, 3271–3280 (2008)
G. Bredon, Introduction to Compact Transformation Groups. Pure and Applied Mathematics, vol. 46 (Academic, New York/London, 1972)
D. Burago, Y. Burago, S. Ivanov, A Course in Metric Geometry. Graduate Studies in Mathematics, vol. 33 (American Mathematical Society, Providence, 2001)
J.J. Duistermaat, J.A.C. Kolk, Lie Groups. Universitext (Springer, Berlin/New York, 2000)
K. Grove, Geometry of, and via, symmetries, in Conformal, Riemannian and Lagrangian Geometry, Knoxville, 2000. University Lecture Series, vol. 27 (American Mathematical Society, Providence, 2002), pp. 31–53
K. Kawakubo, The Theory of Transformation Groups (Oxford University Press, Oxford/New York, 1991)
B. Kleiner, Riemannian four-manifolds with nonnegative curvature and continuous symmetry, Ph.D. thesis, University of California, Berkeley (1990)
I. Moerdijk, J. Mrčun, Introduction to Foliations and Lie Groupoids. Cambridge Studies in Advanced Mathematics (Cambridge University Press, Cambridge/New York, 2003)
P. Molino, Riemannian Foliations. Progress in Mathematics, vol. 73 (Birkhäuser, Boston, 1988)
A.L. Onishchik, Transitive compact transformation groups. Johann Ambrosius Barth Verlag GmbH, Leipzig, 1994. 300 pp. ISBN: 3-335-00355-1
R.S. Palais, On the existence of slices for actions of noncompact groups. Ann. Math. 73, 295–323 (1961)
R.S. Palais, C.L. Terng, Critical Point Theory and Submanifold Geometry. Lecture Notes in Mathematics, vol. 1353 (Springer, Berlin/New York, 1988)
M.J. Pflaum, H. Posthuma, X. Tang, Geometry of orbit spaces of proper Lie groupoids. J. Reine Angew. Math. 694, 49–84 (2014)
F.L.N. Spindola, Grupos de Lie, ações próprias e a conjectura de Palais–Terng, MSc. dissertation, Universidade de São Paulo (2008)
G. Walschap, Metric Structures in Differential Geometry. Graduate Texts in Mathematics (Springer, New York, 2004)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Alexandrino, M.M., Bettiol, R.G. (2015). Proper and Isometric Actions. In: Lie Groups and Geometric Aspects of Isometric Actions. Springer, Cham. https://doi.org/10.1007/978-3-319-16613-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-16613-1_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-16612-4
Online ISBN: 978-3-319-16613-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)