4
$\begingroup$

I encountered this notation in a paper by Carron:

When X = $\Gamma{\setminus}\mathbb{H}^n$ is a real hyperbolic manifold, ...

$\Gamma$ is a discrete torsion free subgroup of SO$(n,1)$. My question is narrow: what is the meaning of the backslash notation? It is specifically used without spaces, i.e., not $\Gamma \setminus \mathbb{H}^n$. Thanks for clarifying!

  • 0
    @J.M.: Gilles Carron, "Rigidity and $L^2$ cohomology of hyperbolic manifolds," _Ann. Inst. Fourier_, 60(7) 2010.2011-11-30

1 Answers 1

7

This notation means that $\Gamma$ acts on $\mathbb{H}^n$ and $X$ is the quotient space for this action, i.e, the space of orbits.

Since $\Gamma \subset SO(n,1)$, the action is by isometries. Hence $X$ inherits a metric such that the canonical projection $\mathbb{H}^n \to X$ is a local isometry and therefore $X$ has constant negative curvature (justifying the name "real hyperbolic manifold").

The notation $\Gamma \backslash \mathbb{H}^n$ is justified by the fact that $\Gamma$ acts on $\mathbb{H}^n$ on the left. This is a standard notation for the orbit space of an action: if G acts on Y on the left the space of orbits is $G \backslash Y$ and if it acts on the right the notation is $Y/G$.

  • 0
    Thanks so much, Lucas! I should have intuited the "acting on the left" aspect.2011-11-30