Abstract
We characterize Riemannian orbifolds with an upper curvature bound in the Alexandrov sense as reflectofolds, i.e., Riemannian orbifolds all of whose local groups are generated by reflections, with the same upper bound on the sectional curvature. Combined with a result by Lytchak–Thorbergsson this implies that a quotient of a Riemannian manifold by a closed group of isometries has locally bounded curvature (from above) in the Alexandrov sense if and only if it is a reflectofold.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let M be a Riemannian manifold and let G be a closed group of isometries of M. Then, the quotient space M/G is a metric space whose metric properties are often related to properties of the action in an interesting way, see, e.g., [12, 13, 20]. Usually, this quotient is not a Riemannian manifold, but an Alexandrov space with curvature locally bounded from below. Nevertheless, it is stratified by Riemannian manifolds and the so-called principal stratum is open and dense [2]. Lytchak and Thorbergsson have shown that the sectional curvature of this principal stratum is bounded from above in the neighborhood of a point if and only if this neighborhood in M/G is a Riemannian orbifold, i.e., a metric space which is locally isometric to the quotient of a Riemannian manifold by an isometric action of a finite group [20, Theorem 1.1]. However, the curvature of such a quotient is in general still locally unbounded from above in the Alexandrov sense. For instance, the quotient of \(\mathbb {R}^2\) by a finite cyclic group of rotations around the origin is isometric to the Euclidean cone over a circle of radius \(2\pi /k\) for some \(k>1\) and exhibits infinite positive curvature at the tip of the cone. Infinitesimally, the only exceptions of this phenomenon one can think of are quotients of \(\mathbb {R}^n\) by finite reflection groups [15]. In this case, the quotient is isometric to a Weyl chamber of the corresponding reflection group and thus flat. Globally, these examples correspond to so-called reflectofolds, i.e., Riemannian orbifolds all of whose local groups are reflection groups [9]. In particular, reflectofolds are Riemannian manifolds in their interior. In fact, metric spaces with two-sided curvature bounds are always Riemannian manifolds (perhaps of low regularity) in their interior [4], cf. [7, Theorem 10.10.13]. Here, we confirm that for the whole quotient space no other examples than reflectofolds locally have a two-sided curvature bound.
Theorem 1.1
The curvature of a Riemannian orbifold is locally bounded from above in the Alexandrov sense if and only if it is a reflectofold. In this case, locally, the curvature is bounded from above by k in the Alexandrov sense if and only if the sectional curvature is bounded from above by k.
In the manifold case, this statement is due to Alexandrov [3] based on earlier work by Cartan [8]. Our proof of Theorem 1.1 works by induction on the dimension and uses the fact that tangent spaces of metric spaces with curvature bounded from above are CAT(0), see Theorem 2.2. The main step is to prove Lemma 2.3 which characterizes CAT(0) spaces among quotient spaces \(\mathbb {R}^n/\Gamma \) for finite subgroups \(\Gamma <\textrm{O}(n)\). Namely, such a quotient is CAT(0) if and only if \(\Gamma \) is generated by reflections, in which case the quotient is isometric to a Weyl chamber of \(\Gamma \) if \(\Gamma \) is nontrivial. The strategy of the proof is related to the one in [17, Section 4] and [18, Lemma 4.17].
Based on the result by Lytchak–Thorbergsson [20, Theorem 1.1], we state the following corollary.
Corollary 1.2
Let M be a Riemannian manifold and let G be a closed group of isometries of M. Let \(p \in M\) be a point with isotropy \(G_p\). Set \(\bar{p}=Gp \in M/G\). Then, the following are equivalent:
-
(i)
The curvature of M/G is bounded from above in a neighborhood of \(\bar{p}\) in the Alexandrov sense.
-
(ii)
A neighborhood of \(\bar{p}\) in M/G is a reflectofold.
-
(iii)
The action of \(G_p\) on \(T_pM\) is polar and the corresponding polar group \(\Pi \) is generated by reflections.
Here, the action of \(G_p\) on \(T_pM\) is called polar if there exists a subspace \(\Sigma \subseteq T_pM\) that meets all orbits of the \(G_p\)-action and meets them always orthogonally. The polar group \(\Pi \) is defined to be the quotient of the subgroup that leaves \(\Sigma \) invariant modulo the subgroup that fixes \(\Sigma \) pointwise. It acts naturally on \(\Sigma \). In particular, condition (iii) is satisfied if \(G_p\) is connected [14, Proposition 1.4], and if \(G_p\) is Coxeter polar like the isotropy representations of a symmetric space. For more details on polar action, we refer to the survey [14].
2 Quotients with Upper Curvature Bounds
2.1 Spaces with Upper Curvature Bounds
We say that a metric space X is D-geodesic for some \(D>0\) if all points of distance less than D are connected by a geodesic. Let \(D_k\) be the diameter of the complete model plane of constant curvature k. We say that X is CAT(k) if it is \(D_k\)-geodesic and all geodesic triangles in X of perimeter less than \(2D_k\) satisfy the CAT(k) comparison condition, see [5, II.1]. We say that X has curvature bounded from above by k in the Alexandrov sense if it is locally CAT(k). This definition is motivated by the following result of Alexandrov. A proof can also be found in [5, Theorem 1A.6].
Theorem 2.1
(Alexandrov, [3]) A Riemannian manifold has curvature bounded from above by k in the Alexandrov sense if and only if its sectional curvature is bounded from above by k.
For a metric space X with curvature bounded from above in the Alexandrov sense we denote the (completion of the) space of directions at a point \(p\in X\) by \(\Sigma _p X\) and the tangent cone of X at p, which is isometric to the Euclidean cone over the space of directions \(\Sigma _p X\), by \(T_pX\), cf. [5, II 3]. A proof of the following statement, first outlined by Kleiner and Leeb [16], can be found in [5, II 3.19].
Theorem 2.2
[Nikolaev, [21]] If a metric space has curvature bounded from above in the Alexandrov sense, then all spaces of directions are \(\textrm{CAT}(1)\) and all tangent spaces are \(\textrm{CAT}(0)\).
2.2 Riemannian Orbifolds
A Riemannian n-orbifold \(\mathcal {O}\) can be defined as a length space which is locally isometric to the quotient of a Riemannian n-manifold by an isometric action of a finite group [19]. The isotropy group of the preimage of a point \(p\in \mathcal {O}\) in such a manifold chart under the finite group action is uniquely defined up to conjugation in \(\textrm{O}(n)\), and it is called the local group of \(\mathcal {O}\) at p. The set of points with trivial local group is called the regular part of \(\mathcal {O}\). From the local model, it is easy to see that the regular part is open and dense. Hence, if the curvature of a Riemannian orbifold is bounded from above by k in the Alexandrov sense, then the sectional curvature of its regular part must satisfy the same curvature bound by Theorem 2.1. Moreover, since the regular part is dense, the sectional curvature bound must be satisfied everywhere.
2.3 Proof of Theorem 1.1 and Corollary 1.2
The space of directions of a Riemannian orbifold \(\mathcal {O}\) at a point \(p\in \mathcal {O}\) with local group \(\Gamma _p\) is isometric to \(S^{n-1}/\Gamma _p\), where \(S^{n-1}\) denotes the unit sphere in \(\mathbb {R}^n\), and the tangent cone of \(\mathcal {O}\) at p is isometric to \(\mathbb {R}^n/\Gamma _p\). Therefore, the statement in Theorem 1.1 that local groups are generated by reflections if the curvature is bounded from above in the Alexandrov sense is a consequence of the following lemma.
Lemma 2.3
Let \(\Gamma < \textrm{O}(n)\) be a finite subgroup such that \(\mathbb {R}^n/\Gamma \) is \(\textrm{CAT}(0)\). Then, \(\Gamma \) is generated by reflections.
Proof
We prove the claim by induction on n. For \(n=1\), the claim is obvious.
Assume that the claim holds for some \(n \in \mathbb {N}\) and let \(\Gamma < \textrm{O}(n+1)\) be a finite subgroup such that \(\mathbb {R}^{n+1}/\Gamma \) is CAT(0). Then \(\Sigma _{\overline{0}}(\mathbb {R}^{n+1}/\Gamma )=S^n/\Gamma \) is CAT(1) by Theorem 2.2. Hence, for any \(v\in S^n\) we have that \(T_{\overline{v}}(S^{n}/\Gamma )=T_v S^n/\Gamma _v=\mathbb {R}^n/\Gamma _v\) is CAT(0) and so for any \(v\in S^n\) the isotropy group \(\Gamma _v\) is generated by reflections by our induction assumption.
We set \(\Gamma ' = \left\langle \Gamma _v \mid v \in S^n \right\rangle \). By construction, \(\Gamma '\) is a normal subgroup of \(\Gamma \) generated by reflections. The induced action of \(\Gamma /\Gamma '\) on \(S^n/\Gamma '\) is isometric and free, see [18, Lemma 4.16].
We first suppose that \(\Gamma '\) is nontrivial. In this case, \(\mathbb {R}^{n+1}/\Gamma '\) is isometric to a Weyl chamber [15] and so the quotient \(S^n/\Gamma '\) is contractible. This implies \(\Gamma =\Gamma '\) since a nontrivial finite group cannot act freely on a contractible finite-dimensional complex, see [6, Section II.3 and Proposition II.4.1] (although it can act without fixed points [22]). Alternatively, we can also argue geometrically as follows. The group \(\Gamma \) leaves the subspace
and its orthogonal complement invariant. Since \(\Gamma '\) is nontrivial we have that \(k<n\). Then \(\Delta =S^{n-k}/\Gamma '\) is a (strictly convex) spherical simplex [15]. The join splitting \(S^n=S^{k-1} * S^{n-k}\) induces a splitting \(S^n/\Gamma '=S^{k-1} *\Delta \) of its \(\Gamma '\)-quotient whose subspaces \(S^{k-1}\) and \(\Delta \) are invariant under the \(\Gamma /\Gamma '\) action. Since the barycenter of \(\Delta \) is fixed by \(\Gamma /\Gamma '\), we again conclude that \(\Gamma =\Gamma '\).
Hence, we can assume that \(\Gamma '\) is trivial. In this case, \(\Gamma \) acts freely on \(S^n\). Any \(g\in \Gamma \) preserves a two-dimensional subspace of \(\mathbb {R}^{n+1}\). The intersection of such a subspace with \(S^n\) is a closed geodesic of \(S^n\) which is also preserved by g. If g is nontrivial, then such an invariant geodesic projects onto a periodic geodesic of \(S^n/\Gamma \) of length \(<2\pi \), because the action of \(\Gamma \) on \(S^n\) is free. Since such a geodesic does not exist in a CAT(1) space, see [1, Proposition 2.2.7], we conclude that \(\Gamma \) has to be trivial as well in this case. The claim follows. \(\square \)
This completes the proof of the only direction of Theorem 1.1. The proof of the if direction is based on the fact that the quotient \(\mathbb {R}^n/\Gamma \) of \(\mathbb {R}^n\) by a reflection group \(\Gamma <\textrm{O}(n)\) is isometric to a Weyl chamber in \(\mathbb {R}^n\) [15]. If a finite group \(\Gamma _p\) acts isometrically on a Riemannian manifold M fixing a point \(p\in M\) such that the induced action of \(\Gamma _p\) on \(T_pM\) is generated by reflections, then a small r-neighborhood of the image of p in \(M/\Gamma _p\) is isometric to the image under the exponential map \(\exp _p: T_pM \rightarrow M\) of the intersection of a corresponding Weyl chamber with a small r-neighborhood of \(0\in T_pM\). The claim now follows from the observation that for sufficiently small \(r>0\) this image is a convex subset of M since each of its faces is totally geodesic and minimizing geodesics in M are locally unique [10].
Proof of Corollary
1.2 By Theorem 2.1 an upper curvature bound in the Alexandrov sense for a neighborhood U in M/G implies an upper bound on the sectional curvature on the intersection of U with the principal stratum of M/G. In this case, U is a Riemannian orbifold by [20, Theorem 1.1] and hence a reflectofold by Theorem 1.1. This proves the implication \((i)\Rightarrow (ii)\) of Corollary 1.2. The reverse implication also follows from Theorem 1.1.
Moreover, assuming (i) or (ii) [20, Theorem 1.1] implies that the action of \(G_p\) on \(T_pM\) is polar. Since the quotient \(T_pM / G_p\) is isometric to both the quotient \(\Sigma /\Pi \) of a section \(\Sigma \) of the polar action of \(G_p\) on \(T_pM\) modulo the polar group \(\Pi \) and to the tangent cone of the orbifold M/G at \(\overline{p}\), the polar group \(\Pi \) is generated by reflections as a neighborhood of \(\overline{p}\) in M/G is a reflectofold by assumption. Conversely, if the action of \(G_p\) on \(T_pM\) is polar, then M/G is a Riemannian orbifold in a neighborhood of \(\overline{p}\) by [20, Theorem 1.1]. By possibly shrinking the neighborhood of \(\overline{p}\) we can assume that it is a global quotient of a Riemannian manifold N by an effective isometric action of a finite group \(\Gamma \) that fixes a preimage of \(\overline{p}\) in N. As the tangent cone of M/G is isometric to both \(T_{\overline{p}}N / \Gamma _{\overline{p}}\) and to the quotient \(\Sigma /\Pi \) of a section \(\Sigma \) of the polar action of \(G_p\) on \(T_pM\) modulo the polar group \(\Pi \), we see that \(\Gamma _{\overline{p}}\) is generated by reflections if the polar group is generated by reflections. Now also the last implication follows because the exponential map defines an \(\Gamma _{\overline{p}}\)-equivariant diffeomorphisms from a neighborhood of the origin in \(T_{\overline{p}}N\) onto a neighborhood in N and as isotropy groups of finite reflection groups are again generated by reflections [15, Theorem 1.12].\(\square \)
References
Alexander, S., Kapovitch, V., Petrunin, A.: An invitation to Alexandrov geometry. CAT(0) spaces. Springer Briefs in Mathematics. Springer, Cham, xii+88 pp. (2019)
Alexandrino, M., Bettiol, R.: Lie groups and geometric aspects of isometric actions. Springer, Cham. x+213 pp. (2015)
Alexandrov, A.D.: A theorem on triangles in a metric space and some of its applications. (Russian) Trudy Mat. Inst. Steklov. 38, 5–23.Izdat. Akad. Nauk SSSR, Moscow. (1951)
Berestovskij, V.N., Nikolaev, I.G.: Multidimensional generalized Riemannian spaces. Geometry, IV, 165–243, 245–250, Encyclopaedia Math. Sci., 70, Springer, Berlin, (1993)
Bridson, M.R., Haefliger, A.: Metric spaces of non-positive curvature. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 319. Springer-Verlag, Berlin, xxii+643 pp. (1999)
Brown, K.S.: Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, (1994)
Burago, D., Burago, Y., Ivanov, S.: A course in metric geometry. Graduate Studies in Mathematics, 33. American Mathematical Society, Providence, RI, (2001)
Cartan, É.: Leçons sur la géom’etrie des espaces de Riemann. Gauthier–Villars, Paris, 1928, 2nd edition (1951)
Davis, M.W.: Lectures on orbifolds and reflection groups. In: Transformation groups and moduli spaces of curves, 63–93, Adv. Lect. Math. (ALM), 16, Int. Press, Somerville, MA, (2011)
do Carmo, M. P., Riemannian geometry, translated from the second Portuguese edition by Francis Flaherty, Mathematics: Theory & Applications, Birkhäuser Boston, Boston, MA, 1992
Gorodski, C., Lytchak, A.: Representations whose minimal reduction has a toric identity component. Proc. Amer. Math. Soc. 143(1), 379–386 (2015)
Gorodski, C., Lange, C., Lytchak, A., Mendes, R.A.E.: A diameter gap for quotients of the unit sphere. J. Eur. Math. Soc. (2022). https://doi.org/10.4171/JEMS/1272
Gorodski, C., Lytchak, A.: Isometric actions on spheres with an orbifold quotient. Math. Ann. 365(3–4), 1041–1067 (2016)
Grove, K., Ziller, W.: Polar manifolds and actions. J. Fixed Point Theory Appl. 11(2), 279–313 (2012)
Humphreys, J.E.: Reflection groups and Coxeter groups. Cambridge Studies in Advanced Mathematics, vol. 29, Cambridge University Press, Cambridge, (1990)
Kleiner, B., Leeb, B.: Rigidity of quasi-isometries for symmetric spaces and Euclidean buildings. Inst. Hautes Études Sci. Publ. Math. No. 86, 115–197 (1997)
Lange, C.: Characterization of finite groups generated by reflections and rotations. J. Topol. 9(4), 1109–1129 (2016)
Lange, C.: When is the underlying space of an orbifold a manifold? Trans. Amer. Math. Soc. 372(4), 2799–2828 (2019)
Lange, C.: Orbifolds from a metric viewpoint. Geom. Dedicata 209, 43–57 (2020)
Lytchak, A., Thorbergsson, G.: Curvature explosion in quotients and applications. J. Differential Geom. 85(1), 117–139 (2010)
Nikolaev, I.: The tangent cone of an Aleksandrov space of curvature \(\le k\). Manuscripta Math. 86(2), 137–147 (1995)
Floyd, E., Richardson, R.W.: An action of a finite group on an n-cell without stationary points. Bull. Amer. Math. Soc. 65, 73–76 (1959)
Acknowledgements
The author thanks Claudio Gorodski for discussions about polar actions and the members of the LMU geometry seminar for useful questions and comments.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lange, C. Orbifolds and Manifold Quotients with Upper Curvature Bounds. Transformation Groups (2024). https://doi.org/10.1007/s00031-024-09841-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00031-024-09841-8