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:

  1. (i)

    The curvature of M/G is bounded from above in a neighborhood of \(\bar{p}\) in the Alexandrov sense.

  2. (ii)

    A neighborhood of \(\bar{p}\) in M/G is a reflectofold.

  3. (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

$$\begin{aligned} V=\textrm{Fix}(\Gamma ')=\{v\in \mathbb {R}^n \mid gv = v \text { for all } g\in \Gamma '\}\cong \mathbb {R}^k \end{aligned}$$

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 \)