Abstract
Let M be an oriented complete hyperbolic n-manifold of finite volume. Using the definition of volume of a representation previously given by the authors in [3] we show that the volume of a representation \(\rho :\pi _1(M)\rightarrow \mathrm {Isom}^+({{\mathbb {H}}}^n)\), properly normalized, takes integer values if n is even and \(\ge 4\). If M is not compact and 3-dimensional, it is known that the volume is not locally constant. In this case we give explicit examples of representations with volume as arbitrary as the volume of hyperbolic manifolds obtained from M via Dehn fillings.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let M be a connected oriented complete hyperbolic manifold of finite volume, which we represent as the quotient \(M=\Gamma \backslash {{\mathbb {H}}}^n\) of real hyperbolic n-space \({{\mathbb {H}}}^n\) by a torsion-free lattice \(\Gamma <\mathrm {Isom}^+({{\mathbb {H}}}^n)\) in the group of orientation preserving isometries of \({{\mathbb {H}}}^n\).
Given a representation \(\rho :\Gamma \rightarrow \mathrm {Isom}^+({{\mathbb {H}}}^n)\), our central object of study is the volume \({{\text {Vol}}}(\rho )\) of \(\rho \) as defined in [6] for \(n=2\) and in general in [3]. This notion extends the classical one introduced in [15] for M compact and, as it was shown in [20], if M is of finite volume it coincides with definitions introduced by other authors [10, 12, 19].
We refer to Sect. 4.2 for the definition of \({{\text {Vol}}}(\rho )\) and content ourselves with listing some of its main properties.
-
(1)
The volume function is uniformly bounded on the representation variety
\(Hom (\Gamma ,\mathrm {Isom}^+({{\mathbb {H}}}^n))\), that is
$$\begin{aligned} |{{\text {Vol}}}(\rho )|\le {{\text {Vol}}}(M) \end{aligned}$$and
$$\begin{aligned} {{\text {Vol}}}({{\text {Id}}}_\Gamma )={{\text {Vol}}}(M)\,, \end{aligned}$$where \({{\text {Id}}}_\Gamma :\Gamma \hookrightarrow \mathrm {Isom}^+({{\mathbb {H}}}^n)\) is the canonical injection.
-
(2)
(Rigidity) There is equality
$$\begin{aligned} {{\text {Vol}}}(\rho )={{\text {Vol}}}(M) \end{aligned}$$if and only if either:
-
(3)
The volume function is continuous on \(Hom (\Gamma ,\mathrm {Isom}^+({{\mathbb {H}}}^n))\) (see Proposition A.1 in Appendix A).
-
(4)
If either M is compact and \(n\ge 2\) [29] (see also [9]) or M has finite volume and \(n\ge 4\) [20], the volume is constant on connected components of the representation variety. As a consequence it takes only finitely many values.
-
(5)
If M is a non-compact surface, the range of \({{\text {Vol}}}\) coincides with the interval \([-\chi (M),\chi (M)]\), where \(\chi (M)\) is the Euler characteristic of M.
-
(6)
If M is compact and n is even, then
$$\begin{aligned} \frac{2{{\text {Vol}}}(\rho )}{{{\text {Vol}}}(S^{n})}\in {{\mathbb {Z}}}\,, \end{aligned}$$where here and in the sequel, \({{\text {Vol}}}(S^{n})\) is the volume of the n-sphere \(S^{n}\) of constant curvature 1.
Our main result is a generalization of the integrality property (6) to the case in which M is not compact, and n is even and \(\ge 4\). We remark that this is in sharp contrast with (5).
Theorem 1.1
Let \(\Gamma < \mathrm {Isom}^+({\mathbb {H}}^{2m})\) be a torsion-free lattice and let \(\rho :\Gamma \rightarrow \mathrm {Isom}^+({\mathbb {H}}^{2m})\) be a representation. Assume that \(2m\ge 4\).
-
(1)
If the manifold \(M=\Gamma {\setminus } {\mathbb {H}}^{2m}\) has only toric cusps, then
$$\begin{aligned} \frac{2 {{\text {Vol}}}(\rho )}{{{\text {Vol}}}(S^{2m})}\in {{\mathbb {Z}}}\,. \end{aligned}$$ -
(2)
In general
$$\begin{aligned} \frac{2 {{\text {Vol}}}(\rho )}{{{\text {Vol}}}(S^{2m})}\in \frac{1}{B_{2m-1}}\cdot {{\mathbb {Z}}}\,, \end{aligned}$$where \(B_{2m-1}\) is the Bieberbach number in dimension \(2m-1\).
We recall that the Bieberbach number is the smallest integer \(B_d\) such that any compact flat d-manifold has a covering of degree \(B_d\) that is a torus. Such d-manifolds occur as connected components of the boundary of a compact core. Recall in fact that, in the context of hyperbolic geometry a compact core N of M is a compact submanifold that is obtained as the quotient by \(\Gamma \) of the complement in \({{\mathbb {H}}}^{d+1}\) of a \(\Gamma \)-invariant family of pairwise disjoint open horoballs centered at the cusps.
The strategy of the proof of Theorem 1.1 builds on results in [6], where the authors studied the case in which \(\dim M=2\) and established congruence relations for \({{\text {Vol}}}(\rho )\). In order to implement this strategy, we show that the continuous bounded class
defined by the volume form on \({{\mathbb {H}}}^{2m}\), has a canonical representative
in the bounded Borel cohomology of \({\text {SO}}(2m,1)^\circ \) that, under the change of coefficients \({{\mathbb {Z}}}\rightarrow {{\mathbb {R}}}\), corresponds to \((-1)^m\frac{2}{{{\text {Vol}}}(S^{2m})}\omega _{2m}^{\mathrm {b}}\). For \(2m=2\), \(\varepsilon _{2}^{\mathrm {b}}\) coincides with the classical bounded Euler class as defined in [13]. Then we establish a congruence relation modulo \({{\mathbb {Z}}}\) for \((-1)^m\frac{2}{{{\text {Vol}}}(S^{2m})}{{\text {Vol}}}(\rho )\) in terms of invariants attached to the boundary components of N that are now assumed to be \((2m-1)\)-tori. If \(T_i\) is a component of \(\partial N\) and \(\rho _i:{{\mathbb {Z}}}^{2m-1}\rightarrow {\text {SO}}(2m,1)^\circ \) is the restriction of \(\rho \) to \(\pi _1(T_i)\simeq {{\mathbb {Z}}}^{2m-1}\), then the invariant attached to \(T_i\) is
In the case in which \(m=1\), \(\rho _i^*(\varepsilon _2^{\mathrm {b}})\) coincides with the negative of the rotation number of \(\rho _i^*(1)\in {\text {SO}}(2,1)^\circ \) and we show in § 5 that, if \(m\ge 2\), \(\rho _i^*(\varepsilon _{2m}^{\mathrm {b}})\) always vanishes.
Remark
In general \(\Gamma \) has always a subgroup of finite index all whose cusps are toric. However little is known about which collections of compact flat \((2m-1)\)-manifolds N are the components of the boundary of a compact core as above. If \(\dim M=4\), it is known that there are compact flat 3-manifolds that are not diffeomorphic to \(\partial N\), [23, Corollary 1.4], while on the positive side there are hyperbolic 4-manifolds with \(\partial N\) that is a 3-torus, [22]. Which leads to the following:
Question
If \(\Lambda \) is the fundamental group of a compact flat \((2m-1)\)-manifold and \(\rho :\Lambda \rightarrow {\text {SO}}(2m,1)^\circ \) is any representation, does \(\rho ^*(\varepsilon _{2m}^{\mathrm {b}})\) vanish for \(2m\ge 4\)?
Thus it is really in all odd dimensions that the nature of the values of \({{\text {Vol}}}\) remain mysterious, though, according to the results in [20], for \(n\ge 4\) there are only finitely many possibilities.
We end this introduction by giving a result in dimension 3. In this case, the character variety of \(\Gamma <\mathrm {Isom}^+({{\mathbb {H}}}^3)\) is smooth near \({{\text {Id}}}_\Gamma \), and its complex dimension near \({{\text {Id}}}_\Gamma \) equals the number h of cusps of M [31]. As a consequence of the volume rigidity theorem and the continuity of \({{\text {Vol}}}\), the image of \({{\text {Vol}}}\) contains at least an interval \([{{\text {Vol}}}(M)-\epsilon ,{{\text {Vol}}}(M)]\) for some \(\epsilon >0\). Special points in the character variety of \(\Gamma \) come from Dehn fillings of M. Let \(M_\tau \) denote the compact manifold obtained from M by Dehn surgery along a choice of h simple closed loops \(\tau =\{\tau _1,\dots ,\tau _h\}\). If the length of each geodesic loop \(\tau _j\) is larger than \(2\pi \), \(M_\tau \) admits a hyperbolic structure [31] and an analytic formula for \({{\text {Vol}}}(M_\tau )\) depending on the length of the \(\tau _j\) has been given in [27].
Proposition 1.2
Let \(M_\tau \) be the compact 3-manifold obtained by Dehn filling from the hyperbolic 3-manifold M. If \(\rho _\tau :\pi _1(M)\rightarrow \mathrm {Isom}^+({{\mathbb {H}}}^3)\) is the representation obtained from the composition of the quotient homomorphism \(\pi _1(M)\rightarrow \pi _1(M_\tau )\) with the holonomy representation of the hyperbolic structure on \(M_\tau \), then
Thus with our cohomological definition, \({{\text {Vol}}}(\rho )\) gives a continuous interpolation between the special values \({{\text {Vol}}}(M_\tau )\). A natural question here is whether \({{\text {Vol}}}\) is real analytic.
The structure of the paper is as follows. In § 2 we summarize the main facts about various group cohomology theories used in this paper. In § 3 we define a Borel cohomology class \(\varepsilon _{2m}\in \mathrm{H}_\mathrm {B}^{2m}({\text {SO}}(2m,1),{{\mathbb {Z}}}_\epsilon )\) with coefficients (see § 2) and relate it to an explicit multiple of the class \(\omega _{2m}\in \mathrm{H}_\mathrm {B}^{2m}({\text {SO}}(2m,1),{{\mathbb {R}}}_\epsilon )\) defined by the volume form on \({{\mathbb {H}}}^{2m}\) (see (3.1)). In § 4 we first show that \(\varepsilon _{2m}\) has a unique bounded representative \(\varepsilon _{2m}^\mathrm {b}\in \mathrm{H}_{\mathrm {B,b}}^{2m}({\text {SO}}(2m,1),{{\mathbb {Z}}}_\epsilon )\) (Proposition 4.2); in § 4.2 we proceed to define the volume \({{\text {Vol}}}(\rho )\) of a representation \(\rho :\pi _1(M)\rightarrow \mathrm {Isom}^+({{\mathbb {H}}}^{2m})={\text {SO}}(2m,1)^\circ \) and use the bounded integral class \(\varepsilon _{2m}^\mathrm {b}\) to establish a congruence relation for \({{\text {Vol}}}(\rho )\) (Theorem 4.4). In § 5, which is the core of the paper, we show that the contributions from the various boundary components of a compact core of M to the congruence relation all vanish for \(2m\ge 4\). In § 6 we relate the volume of the representations of \(\pi _1(M)\) obtained by Dehn surgery to the volumes of the corresponding manifolds. In the Appendix we prove the continuity of the map \(\rho \mapsto {{\text {Vol}}}(\rho )\).
2 Various cohomology theories
We collect in this section cohomological results that will be used throughout the paper.
Given a locally compact second countable group G, we consider \({{\mathbb {Z}}}\), \({{\mathbb {R}}}\) and \({{\mathbb {R}}}/{{\mathbb {Z}}}\) as trivial modules. If \(\epsilon :G\rightarrow \{-1,+1\}\) is a continuous homomorphism, we denote by \({{\mathbb {Z}}}_\epsilon \) and \({{\mathbb {R}}}_\epsilon \) the corresponding coefficient G-modules, where \(g_*t=\epsilon (g) t\) for \(t\in {{\mathbb {Z}}}, {{\mathbb {R}}}\) and by \({{\mathbb {R}}}_\epsilon /{{\mathbb {Z}}}_\epsilon \) the corresponding quotient module.
If A is any of the above G-modules, \(\mathrm{H}_\mathrm {B}^\bullet (G,A)\) denotes the cohomology of the complex of Borel measurable A-valued cochains on G. If \(A={{\mathbb {R}}},{{\mathbb {R}}}_\epsilon \), we will also need the continuous cohomology \(\mathrm{H}_{\mathrm{c}}^\bullet (G,A)\) with coefficients in A and we will use that for \(A={{\mathbb {R}}},{{\mathbb {R}}}_\epsilon \) the comparison map
is an isomorphism [1, Theorem A].
To compute the continuous cohomology of G we use repeatedly that if \(G\times V\rightarrow V\) is a proper smooth action of a Lie group G on a smooth manifold V, there is an isomorphism
with the cohomology of the complex \(\Omega ^\bullet (V)^G\) of G-invariant differential forms on V, [17, Theorem 6.1]. If V is a symmetric space G/K, then
since every G-invariant differential form on G/K is closed.
Another result we will use is Wigner’s isomorphism [32], or rather a special case thereof [1, Theorem E]: namely if \(A={{\mathbb {Z}}}\) or \(A={{\mathbb {Z}}}_\epsilon \), there is a natural isomorphism
where BG is the classifying space of G and \(\mathrm{H}_\mathrm {sing}^\bullet \) refers to singular cohomology.
A vanishing theorem that is often used states that if L is compact, then
for all \(k\ge 1\).
Turning to bounded cohomology, \(\mathrm{H}_\mathrm {B,b}^\bullet (G,A)\) denotes the cohomology of bounded A-valued Borel cochains on G. An important point is that if \(A={{\mathbb {R}}}\) or \(A={{\mathbb {R}}}_\epsilon \), the comparison map from continuous bounded to Borel bounded cohomology induces an isomorphism
as can be readily verified using the regularization operators defined in [7, § 4].
Analogously to the vanishing of the continuous cohomology for compact groups, if P is amenable, then
for all \(k\ge 1\).
Consider now the two short exact sequences of coefficients
and
Using that \({{\mathbb {R}}}\rightarrow {{\mathbb {R}}}/{{\mathbb {Z}}}\) admits a bounded Borel section, one obtains readily, both for the trivial and the nontrivial modules, long exact sequences in Borel and in bounded Borel cohomology with commutative squares coming from the comparison maps \(c_{{{\mathbb {Z}}}}\) and \({{\text {c}}}_{{{\mathbb {R}}}}\) between these two cohomology theories:
and
where \(\delta \) and \(\delta ^\mathrm {b}\) are the connecting homomorphisms.
3 Proportionality between volume and Euler class
Let \(\mathrm {Isom}({{\mathbb {H}}}^n)\) be the full group of isometries of real hyperbolic spaces \({{\mathbb {H}}}^n\), let \(\epsilon :\mathrm {Isom}({{\mathbb {H}}}^n)\rightarrow \{-1,1\}\) denote the homomorphism with kernel \(\mathrm {Isom}^+({{\mathbb {H}}}^n)\) and let \({{\mathbb {Z}}}_\epsilon \subset {{\mathbb {R}}}_\epsilon \) the corresponding modules. Using (2.1), [3, Proposition 2.1] and (2.3), we have isomorphisms
and denote by \(\omega _n\in \mathrm{H}_\mathrm {B}^n(\mathrm {Isom}({{\mathbb {H}}}^n),{{\mathbb {R}}}_\epsilon )\) the generator corresponding to the volume form on \({{\mathbb {H}}}^n\).
If \(n=2m\) is even, we can identify \(\mathrm {Isom}({{\mathbb {H}}}^{2m})\) with \({\text {SO}}(2m,1)\). The diagram of injections
realizes \(O (2m)\) as a maximal compact subgroup of both \({\text {SO}}(2m,1)\) and \({\text {GL}}(2m,{{\mathbb {R}}})\) and induces homotopy equivalences
The homomorphism
that to a matrix associates the sign of its determinant, coincides on \(O (2m)\) with the restriction of \(\epsilon \) and will be denoted by \(\epsilon \). Thus we obtain isomorphisms
The (universal) Euler class \(\varepsilon _{2m}^\mathrm {univ}\in \mathrm{H}^{2m}_\mathrm {sing}(B\mathrm {GL}^+(2m,{{\mathbb {R}}}),{{\mathbb {Z}}})\) is a singular class in the integral cohomology of the classifying space \(B\mathrm {GL}^+(2m,{{\mathbb {R}}})\) of oriented \({{\mathbb {R}}}^{2m}\)-vector bundles (see [25, § 9]). It is the obstruction to the existence of a nowhere vanishing section. As it changes sign when the orientation is reversed, it extends to a class \(\varepsilon _{2m}^\mathrm {univ}\in \mathrm{H}^{2m}_\mathrm {sing}(B\mathrm {GL}(2m,{{\mathbb {R}}}),{{\mathbb {Z}}}_\epsilon )\). Furthermore, if M is a closed oriented 2m-dimensional manifold, its tangent bundle is classified by a (unique up to homotopy) classifying map
inducing a map
and thus
Now we use Wigner’s isomorphism (2.4)
and call Euler class the group cohomology class
corresponding to \(\varepsilon _{2m}^\mathrm {univ}\) under the composition of the isomorphisms in (3.2) and (3.4).
Since \(\mathrm{H}^{2m}_\mathrm {B}(\mathrm {SO}(2m,1),{{\mathbb {R}}}_\epsilon )\) is one dimensional by (3.2), the image of \(\varepsilon _{2m}\) under the change of coefficients \({{\mathbb {Z}}}_\epsilon \hookrightarrow {{\mathbb {R}}}_\epsilon \) is a multiple of the volume class \(\omega _{2m}\). We show now that this multiple is given by
Indeed, let M be a closed oriented hyperbolic manifold. The lattice embedding \(i:\pi _1(M)\hookrightarrow \mathrm {SO}(2m,1)\) induces classifying maps
Set \(\Gamma =i(\pi _1(M))\). The orthonormal frame bundle over M is naturally identified with
Extending the principal group structure from \(\mathrm {O}(2m)\) to \(\mathrm {SO}(2m,1)\) gives the principal \(\mathrm {SO}(2m,1)\)-bundle
The latter is isomorphic to
which is the flat principal \(\mathrm {SO}(2m,1)\)-bundle associated to the lattice embedding \(i:\pi _1(M)\hookrightarrow \mathrm {SO}(2m,1)\). It follows that the composition from (3.6)
classifies the tangent bundle TM. As a consequence,
Thus, by the naturality of Wigner’s isomorphism, the following diagram commutes:
We deduce that
Moreover, the hyperbolic volume of M is obviously given by
The Chern–Gauss–Bonnet Theorem [30, Chapter 13, Theorem 26] implies that if M is a hyperbolic (2m)-dimensional manifolds then
where the proportionality constant is up to the sign \((-1)^m\) the quotient between the Euler characteristic and the volume of the compact dual of hyperbolic space, namely the (2m)-sphere of constant curvature \(+1\). Finally, since the lattice embedding induces an injection
we obtain the value of the proportionality constant in (3.5).
Remark 3.1
Recall that the orientation cocycle
assigns the value \(\pm 1\) to distinct triple of points according to their orientation, and 0 otherwise. Identifying \(S^1\) with \(\partial {{\mathbb {H}}}^2\) we obtain by evaluation a Borel cocycle and a cohomology class
Since the area of ideal hyperbolic triangles in \({{\mathbb {H}}}^2\) is \(\pm \pi \) depending on the orientation, this cocycle represents \((1/\pi )\omega _2=-2\varepsilon _2\), where the last equality comes from (3.5). Thus the Euler class \(\varepsilon _2\) is represented by \(-\frac{1}{2}\mathrm {Or}\), [18, Lemma 2.1] and [8, Proposition 8.4].
4 The bounded Euler class
In this section we recall that the volume class of hyperbolic n-space admits a unique bounded representative and establish for n even the analogous result for the Euler class, which leads to the definition of the bounded Euler class in Proposition 4.2. In § 4.2 we define the volume of a representation and use the existence of the bounded Euler class in even dimensions to prove in Theorem 4.4 a congruence relation for the volume of a representation.
4.1 Bounded volume and Euler classes
Lemma 4.1
Let \(G:=\mathrm {Isom}({{\mathbb {H}}}^n)\). In the commuting diagram
the vertical maps are isomorphisms .
Proof
The fact that \(c_{{\mathbb {R}}}\) is an isomorphism follows from [3, Proposition 2.1] and the identifications between the (bounded) Borel and the (bounded) continuous cohomology.
To show that \(c_{{\mathbb {Z}}}\) is an isomorphism, we will do diagram chases in (2.10).
Surjectivity of \(c_{{\mathbb {Z}}}\): Let \(\alpha \in \mathrm{H}_{\mathrm{B}}^{n}(G,{{\mathbb {Z}}}_\epsilon )\). Denote by \(\alpha _{{\mathbb {R}}}\in \mathrm{H}_{\mathrm{B}}^{n}(G,{{\mathbb {R}}}_\epsilon )\) its image under the change of coefficients and \(\alpha _{{\mathbb {R}}}^{\mathrm b}=(c_{{\mathbb {R}}})^{-1}(\alpha _{{\mathbb {R}}})\in \mathrm{H}_{\mathrm{B,b}}^{n}(G,{{\mathbb {R}}}_\epsilon )\). By exactness of the lines in (2.10), the image of \(\alpha _{{\mathbb {R}}}\) in \(\mathrm{H}_{\mathrm{B}}^{n}(G,{{\mathbb {R}}}_\epsilon /{{\mathbb {Z}}}_\epsilon )\) vanishes. And thus the same holds for the image of \(\alpha _{{\mathbb {R}}}^{\mathrm b}\). Thus there is \(\beta \in \mathrm{H}_\mathrm {B}^{n}(G,{{\mathbb {Z}}}_\epsilon )\) with image \(\alpha _{{\mathbb {R}}}^{\mathrm b}\). But \({{\text {c}}}_{{\mathbb {Z}}}(\beta )-\alpha \) goes to zero in \(\mathrm{H}_{\mathrm{B}}^{n}(G,{{\mathbb {R}}}_\epsilon )\), hence \({{\text {c}}}_{{\mathbb {Z}}}(\beta )-\alpha =\delta (\eta )\) for some \(\eta \in \mathrm{H}_{\mathrm{B}}^{n-1}(G,{{\mathbb {R}}}_\epsilon /{{\mathbb {Z}}}_\epsilon )\). Thus \(c_{{\mathbb {Z}}}(\beta +\delta ^{\mathrm {b}}(\eta ))=\alpha \).
Injectivity of \(c_{{\mathbb {Z}}}\): Observe that \(\mathrm{H}_\mathrm {B}^{n-1}(G,{{\mathbb {R}}}_\epsilon )=\mathrm{H}_{\mathrm{c}}^{n-1}(G,{{\mathbb {R}}}_\epsilon )=0\). Indeed this group injects into \(\mathrm{H}_{\mathrm{c}}^{n-1}(G^\circ ,{{\mathbb {R}}})\) by restriction, and the latter vanishes, taking into account (2.2), since there are no \({\text {SO}}(n)\)-invariant \((n-1)\)-forms on \({{\mathbb {R}}}^n\) and hence no \(G^\circ \)-invariant differential \((n-1)\)-forms on \({{\mathbb {H}}}^{n}\).
Let now \(\alpha \in \mathrm{H}_{\mathrm{B,b}}^{n}(G,{{\mathbb {Z}}}_\epsilon )\) with \(c_{{\mathbb {Z}}}(\alpha )=0\). Since \(c_{{\mathbb {R}}}\) is an isomorphism, we have that the image \(\alpha _{{\mathbb {R}}}\in \mathrm{H}_\mathrm {B,b}^{n}(G,{{\mathbb {R}}}_\epsilon )\) vanishes. Hence there is \(\beta \in \mathrm{H}_\mathrm {B}^{n-1}(G,{{\mathbb {R}}}_\epsilon /{{\mathbb {Z}}}_\epsilon )\) with \(\delta ^{\mathrm {b}}(\beta )=\alpha \). But then \(\delta (\beta )=c_{{\mathbb {Z}}}(\alpha )=0\). By exactness, this implies that \(\beta \) is in the image of \(\mathrm{H}_\mathrm {B}^{n-1}(G,{{\mathbb {R}}}_\epsilon )\). Since \(\mathrm{H}_\mathrm {B}^{n-1}(G,{{\mathbb {R}}}_\epsilon )=0\), then \(\beta =0\), which finally implies that \(\alpha =0\). \(\square \)
As a consequence of the fact that \(c_{{\mathbb {R}}}\) is an isomorphism and that the volume of geodesic simplices in hyperbolic n-space is bounded, the volume cocycle defines also a bounded Borel class
corresponding to the volume class \(\omega _n\).
As an immediate consequence of Lemma 4.1 and the correspondence (3.5) we obtain:
Proposition 4.2
Let \(G=\mathrm {Isom}({{\mathbb {H}}}^{2m})\). The Euler class \(\varepsilon _{2m}\in \mathrm{H}_{\mathrm{B}}^{2m}(G,{{\mathbb {Z}}}_\epsilon )\) has a bounded representative \(\varepsilon _{2m}^{\mathrm {b}}\in \mathrm{H}_{\mathrm{B,b}}^{2m}(G,{{\mathbb {Z}}}_\epsilon )\) that has the following properties:
-
(1)
it is unique, and
-
(2)
under the change of coefficients \({{\mathbb {Z}}}_\epsilon \rightarrow {{\mathbb {R}}}_\epsilon \) it corresponds to
$$\begin{aligned} (-1)^m\frac{2}{{{\text {Vol}}}(S^{2m})}\omega _{2m}^{\mathrm {b}}\in \mathrm{H}_{\mathrm{B,b}}^{2m}(G,{{\mathbb {R}}}_\epsilon )\,. \end{aligned}$$
Remark 4.3
-
(1)
With a slight abuse of notation we denote equally by \(\varepsilon _{2m}^{\mathrm {b}}\in \mathrm{H}_{\mathrm{B,b}}^{2m}(O (2m),{{\mathbb {Z}}}_\epsilon )\) and by \(\varepsilon _{2m}^{\mathrm {b}}\in \mathrm{H}_{\mathrm{B,b}}^{2m}({\text {SO}}(2m),{{\mathbb {Z}}})\) the restriction of \(\varepsilon _{2m}^{\mathrm {b}}\) respectively to \(O (2m)\) and to \({\text {SO}}(2m)\).
-
(2)
If \(m=1\) and with the usual slight abuse of notation, the restriction \(\varepsilon _2^\mathrm {b}\in \mathrm{H}_{\mathrm{B,b}}^2(\mathrm {Isom}({{\mathbb {H}}}^{2})^\circ ,{{\mathbb {Z}}})\) is the usual bounded Euler class, where \(\mathrm {Isom}({{\mathbb {H}}}^{2})^\circ \) is considered as a group of orientation preserving homeomorphisms of the circle.
4.2 Definition of volume and congruence relations
Let M be a complete finite volume hyperbolic n-dimensional manifold and let \(\rho :\pi _1(M)\rightarrow \mathrm {Isom}^+({{\mathbb {H}}}^n)\) be a homomorphism. Given a compact core N of M we consider \(\rho \) as a representation of \(\pi _1(N)\) and use the pullback via \(\rho \) in bounded cohomology together with the isomorphism
to obtain a bounded singular class in \(\mathrm{H}_{\mathrm{b}}^n(N,{{\mathbb {R}}})\), denoted \(\rho ^*(\omega _n^\mathrm {b})\) by abuse of notation. Using the isometric isomorphism
[2, Theorem 1.2], the volume of \(\rho \) is defined by
If \(n=2m\), by the same abuse of notation, and by considering again the pullback in bounded cohomology via \(\rho \), this time together with the isomorphism
we obtain a class \(\rho ^*(\varepsilon _{2m}^{\mathrm {b}})\in \mathrm{H}_{\mathrm{b}}^{2m}(N,{{\mathbb {Z}}})\), which is a bounded singular integral class. Thus, denoting by \(\delta ^\mathrm {b}\) the connecting homomorphism in the long exact sequence in bounded singular cohomology
(which is in fact an isomorphism), we have:
Theorem 4.4
Let M be a complete hyperbolic manifold of finite volume and even dimension \(n=2m\) and N a compact core of M. If \(\rho :\pi _1(M)\rightarrow \mathrm {Isom}^+({{\mathbb {H}}}^{2m})\), then
Proof
In fact, (4.1) and (4.2) are part of the following diagram
where the rows are obtained from the long exact sequence
with \(X=\partial N\) and \(X=N\), induced by the change of coefficients in (2.8) and from the fact that \(\mathrm{H}_{\mathrm{b}}^\bullet (\partial N,{{\mathbb {R}}})=0\) since \(\pi _1(\partial N)\) is amenable; the columns on the other hand follow from the long exact sequence in relative bounded cohomology associated to the inclusion of pairs \((N,\varnothing )\hookrightarrow (N,\partial N)\) (see [6, § 2.2]).
Let z be a \({{\mathbb {Z}}}\)-valued singular bounded cocycle representing \(\rho ^*(\varepsilon _{2m}^{\mathrm {b}})\in \mathrm{H}_{\mathrm{b}}^{2m}(N,{{\mathbb {Z}}})\). Restricting z to the boundary \(\partial N\) we obtain a \({{\mathbb {Z}}}\)-valued singular bounded cocycle \(z|_{\partial N}\), which we know is a coboundary when considered as a \({{\mathbb {R}}}\)-valued cocycle since \(\mathrm{H}_{\mathrm{b}}^{2m}(\partial N,{{\mathbb {R}}})=0\). Thus there must exist a bounded \({{\mathbb {R}}}\)-valued singular \((2m-1)\)-cochain b on \(\partial N\) such that
where d is the differential operator on (bounded \({{\mathbb {R}}}\)-valued) singular cochains.
On the one hand, we note that since db is \({{\mathbb {Z}}}\)-valued, the cochain \(b\,\mathrm {mod}\, {{\mathbb {Z}}}\) is a \({{\mathbb {R}}}/{{\mathbb {Z}}}\)-valued \((2m-1)\)-cocycle on \(\partial N\) whose cohomology class is mapped to
by the connecting homomorphism \(\delta ^{\mathrm {b}}\) in (4.2). On the other hand, define a bounded \({{\mathbb {R}}}\)-valued singular \((2m-1)\)-cochain \(\overline{b}\) on N by extending b to N,
Then \([z_{{\mathbb {R}}}-d \overline{b}]=[z_{{\mathbb {R}}}]\in \mathrm{H}_{\mathrm{b}}^{2m}(N,{{\mathbb {R}}})\) and, since \(z_{{\mathbb {R}}}-d\overline{b}\) vanishes on \(\partial N\), we have actually constructed a cocycle representing the relative bounded class \(j^{-1}((\rho ^*(\varepsilon _{2m}^{\mathrm {b}}))_{{\mathbb {R}}})\in \mathrm{H}_{\mathrm{b}}^{2m}(N,\partial N,{{\mathbb {R}}})\).
It remains to evaluate \(j^{-1}((\rho ^*(\varepsilon _{2m}^{\mathrm {b}}))_{{\mathbb {R}}})\) on \([N,\partial N]\) by using this specific cocycle. Let t be a singular chain representing the relative fundamental class \([N,\partial N]\) over \({{\mathbb {Z}}}\). In particular, \(\partial t\) is a cycle representing the fundamental class \([\partial N]\). Then we obtain
\(\square \)
5 Vanishing of the bounded Euler class on tori and the proof of Theorem 1.1
The goal of this section is to prove Theorem 1.1. From Theorem 4.4, we know that \((-1)^m2/\mathrm {Vol}(S^{2m})\) times the volume of a representation is determined, \(\,\mathrm {mod}\, {{\mathbb {Z}}}\), by the restriction to the cusps of the pullback of the bounded Euler class. The main result of this section will be to prove, in Theorem 5.1, that the pullback of the bounded Euler class by any representation \( \rho :{{\mathbb {Z}}}^{2m-1}\rightarrow {\text {SO}}(2m,1)^\circ \) is identically zero for \(m\ge 2\). We conclude the section by showing how Theorems 4.4 and 5.1 imply Theorem 1.1.
The bounded class \(\varepsilon _{2m}^{\mathrm {b}}\in \mathrm{H}_{\mathrm{B,b}}^{2m}({\text {SO}}(2m,1),{{\mathbb {Z}}}_\epsilon )\) defined in the previous section restricts to a class on \({\text {SO}}(2m,1)^\circ \) with trivial \({{\mathbb {Z}}}\)-coefficients. If \(m=1\) and
is a homomorphism, then \(\rho ^*(\varepsilon _2^{\mathrm {b}})\in \mathrm{H}_{\mathrm{b}}^2({{\mathbb {Z}}},{{\mathbb {Z}}})\cong {{\mathbb {R}}}/{{\mathbb {Z}}}\) is the negative of the rotation number of \(\rho (1)\), [13]. In contrast to this, in higher dimension we have the following:
Theorem 5.1
Let \(m\ge 2\) and let \(\rho :{{\mathbb {Z}}}^{2m-1}\rightarrow {\text {SO}}(2m,1)^\circ \) be a homomorphism. Then \(\rho ^*(\varepsilon _{2m}^{\mathrm {b}})\) vanishes in \(\mathrm{H}_{\mathrm{b}}^{2m}({{\mathbb {Z}}}^{2m-1},{{\mathbb {Z}}})\).
Before proving the theorem we need some information about Abelian subgroups of \({\text {SO}}(2m,1)^\circ \). To fix the notation, recall that
Then the maximal compact subgroup \(K<{\text {SO}}(2m,1)\) is the image of \(O (2m)\) under the homomorphism
and the image \(K^\circ \) of \({\text {SO}}(2m)\) is the maximal compact subgroup of \({\text {SO}}(2m,1)^\circ \). If T is the image of
we define
Since \({\text {SO}}(2m,1)^\circ \) preserves each connected component of the two-sheeted hyperboloid
the parabolic subgroup \(P={\text {Stab}}_{{\text {SO}}(2m,1)^\circ }({{\mathbb {R}}}(e_1-e_{2m+1}))\) admits the decomposition \(P=MAN\), where
and
We can now outline the proof of Theorem 5.1. According to Lemma 5.2 below, there are up to conjugation two cases to consider for \(\rho :{{\mathbb {Z}}}^{2m-1}\rightarrow {\text {SO}}(2m,1)^\circ \):
-
(1)
\(\rho \) takes values in P: then, building on Lemma 5.4, Lemma 5.5 shows that \(\varepsilon _{2m}^\mathrm {b}|_P\in \mathrm{H}_{\mathrm {B,b}}^{2m}(P,{{\mathbb {Z}}})\) vanishes and this implies Theorem 5.1 in this case.
-
(2)
\(\rho \) takes values in \(T_0\): this case splits into two subcases, namely \(\rho ({{\mathbb {Z}}}^{2m-1})\not \subset T^\circ \), which is dealt with in Lemma 5.6, and \(\rho ({{\mathbb {Z}}}^{2m-1})\subset T^\circ \). In the latter case we represent \(\varepsilon _{2m}^\mathrm {b}|_{{\text {SO}}(2)^{2m}}\) as the image under the connecting homomorphism of an explicit class in \(\mathrm{H}_\mathrm {B}^{2m-1}({\text {SO}}(2)^{2m},{{\mathbb {R}}}/{{\mathbb {Z}}})\) whose pullback via \(\rho \) we evaluate in Lemma 5.8 on an explicit cycle representing the fundamental class \([{{\mathbb {Z}}}^{2m-1}]\) of \(\mathrm{H}_{2m-1}({{\mathbb {Z}}}^{2m-1},{{\mathbb {Z}}})\) constructed in Lemma 5.7.
Lemma 5.2
Let \(B<{\text {SO}}(2m,1)^\circ \) be an Abelian group. Then up to conjugation one of the following holds:
-
(1)
\(B<P\);
-
(2)
\(B<T_0\).
Proof
Since B is Abelian, it is elementary [28, Lemma 1, § 5.5], that is, it is either of elliptic type or of parabolic type or of hyperbolic type.
-
(i)
If B is of parabolic type, it fixes a point in \(\partial {{\mathbb {H}}}^{2m}\) [28, Theorem 5.5.1] and thus it can be conjugated into P.
-
(ii))
If B is of elliptic type it fixes a point in \({{\mathbb {H}}}^{2m}\) [28, Theorem 5.5.3] and hence it can be conjugated into \(K^\circ \cong {\text {SO}}(2m)\). Since it is Abelian, it can be simultaneously reduced to a diagonal \(2\times 2\) bloc form and hence can be conjugated into \(T_0\).
-
(iii)
If B is of hyperbolic type, every union of finite orbits in \(\overline{{{\mathbb {H}}}^{2m}}\) consists of two points, [28, Theorem 5.5.6]. Thus there is a geodesic \(g\in {{\mathbb {H}}}^{2m}\) that is left setwise invariant by B. If \(\{g_-,g_+\}\) are its endpoints, then either \(Bg_+=g_+\) and we are in case (i) above, or there is \(b\in B\) with \(bg_+=g_-\). But then B fixes the unique b-fixed point \(g_0\in g\), hence we are in case (ii).\(\square \)
Remark 5.3
Since Theorems 5.5.1, 5.5.3 and 5.5.6 in [28] are characterizations respectively of elliptic, parabolic and hyperbolic groups of isometries, it follows from Lemma 5.2 that an Abelian group \(B<{\text {SO}}(2m,1)^\circ \) cannot be hyperbolic.
Lemma 5.4
Let \(P<{\text {SO}}(2m,1)^\circ \) be the minimal parabolic subgroup as above. Then:
for \(k=2m-1\) and \(k=2m\).
Proof
Combining (2.1) and (2.2), we show the vanishing assertion by showing the vanishing of the cohomology of P-invariant differential forms on \(M\backslash P\) in degrees 2m and \(2m-1\). This follows if we establish the following:
Claim
\(\Omega ^{2m-1}(M\backslash P)^P={{\mathbb {R}}}\alpha \), where \(\alpha \) is an explicit \((2m-1)\) form with \(d\alpha \ne 0\).
Let us first see how the claim implies the vanishing. It follows from the claim that
is injective, which implies the vanishing in degree \(2m-1\). Since P acts transitively on \(M\backslash P\) and \(\dim (M\backslash P)=2m\), then \(\dim \Omega ^{2m}(M\backslash P)^P\le 1\). But then \(d\alpha \ne 0\) implies that \(\dim \Omega ^{2m}(M\backslash P)^P=1\) and the image of d is \(\Omega ^{2m}(M\backslash P)^P\), which implies the vanishing in degree 2m.
We now prove the claim. Observe that
where \(\Lambda ^{*(2m-1)}T_{x_0}(M\backslash P)^M\) denotes the space of M-invariant \((2m-1)\)-multilinear forms on the tangent space to \(M\backslash P\) at the basepoint \(x_0=[M]\in M\backslash P\).
Under the identification
the point \(x_0\) corresponds to (0, 0), so that
and the M-action on \(T_{x_0}(M\backslash P)\) corresponds to the action on \({{\mathbb {R}}}\times {{\mathbb {R}}}^{2m-1}\) via \({{\text {Id}}}\times {\text {SO}}(2m-1)\)
Let \(\{e_0,e_1,\dots ,e_{2m-1}\}\) be the canonical basis of \({{\mathbb {R}}}\times {{\mathbb {R}}}^{2m-1}\) (with \(e_0\) spanning \({{\mathbb {R}}}\)) and let \(\{e_0^*,e_1^*,\dots ,e_{2m-1}^*\}\) be the dual basis. Every \((2m-1)\)-multilinear form \(\alpha \) has a canonical decomposition
where \(\beta \) is a \((2m-2)\)-multilinear form on \({{\mathbb {R}}}^{2m-1}\) and \(\omega \) is the pullback to \({{\mathbb {R}}}\times {{\mathbb {R}}}^{2m-1}\) of a \((2m-1)\)-multilinear form on \({{\mathbb {R}}}^{2m-1}\). By uniqueness of the decomposition, \(\alpha \) is \({{\text {Id}}}\times {\text {SO}}(2m-1)\)-invariant if and only if \(\beta \) and \(\omega \) are \({\text {SO}}(2m-1)\)-invariant. Thus \(\omega \) is a multiple of the determinant
and if we show that there are no \({\text {SO}}(2m-1)\)-invariant \((2m-2)\)-multilinear forms on \({{\mathbb {R}}}^{2m-1}\) we will have shown that \(\Omega ^{2m-1}(M\backslash P)^P\) is one-dimensional.
The fact that \(\Lambda ^{*{2m-1}}({{\mathbb {R}}}^{2m-1})\) is one-dimensional and the pairing
show that there is an isomorphism
that is \({\text {SO}}(2m-1)\)-equivariant. Since the \({\text {SO}}(2m-1)\)-action on \(({{\mathbb {R}}}^{2m-1})^*\) is irreducible, there are no \({\text {SO}}(2m-1)\)-invariant \((2m-2)\)-multilinear forms on \({{\mathbb {R}}}^{2m-1}\), thus showing that \(\Omega ^{2m-1}(M\backslash P)^P\) is one-dimensional.
We show now that the exterior derivative on \(\Omega ^{2m-1}(M\backslash P)^P\) does not vanish. With the identification (5.1), the right translation \(R_{(t,x)}\) by an element m(U)a(t)n(x) is given by
In fact
In particular
so that \(\omega \in \Omega ^{2m-1}({{\mathbb {R}}}\times {{\mathbb {R}}}^{2m-1})\) can be extended to a P-invariant differential \((2m-1)\)-form
for \((s_j,t_j)\in {{\mathbb {R}}}\times {{\mathbb {R}}}^{2m-1}\simeq T_{(0,0)}({{\mathbb {R}}}\times {{\mathbb {R}}}^{2m-1})\), \(j=1,\dots ,2m-1\).
Since
then
so that
is not vanishing. This shows the claim and completes the proof of the lemma. \(\square \)
Lemma 5.5
If \(m\ge 2\) then the restriction
vanishes.
Proof
Considering the long exact sequence in bounded and in ordinary cohomology associated to (2.8), and taking into account Lemma 5.4 and the vanishing of bounded real cohomology of P (2.7), we obtain the diagram
where we used Lemma 5.4 in the bottom row and the vanishing of bounded cohomology with real coefficients in the top row. Thus \(\mathrm{H}_{\mathrm{B,b}}^{2m}(P,{{\mathbb {Z}}})\cong \mathrm{H}_{\mathrm{B}}^{2m}(P,{{\mathbb {Z}}})\). If we show that \(\varepsilon _{2m}|_P=0\), this will imply that \(\varepsilon _{2m}^{\mathrm {b}}|_P=0\).
To see that \(\varepsilon _{2m}|_P=0\), by naturality of Wigner’s isomorphism (2.4) and the fact that M is maximal compact in P, the restriction to M induces an isomorphism \(\mathrm{H}_{\mathrm{B}}^{2m}(P,{{\mathbb {Z}}})\cong \mathrm{H}_{\mathrm{B}}^{2m}(M,{{\mathbb {Z}}})\). Since however the Euler class \(\varepsilon _{2m}\) of \({\text {SO}}(2m)\) restricted to \(\left\{ \begin{pmatrix}1&{}0\\ 0&{}U\end{pmatrix}:\,U\in {\text {SO}}(2m-1)\right\} \) vanishes, we conclude that \(\varepsilon _{2m}|_P=0\). \(\square \)
We deduce then using Lemma 5.5 that Theorem 5.1 holds if the image of \(\rho \) is contained in P. We must therefore turn to the case in which \(\rho ({{\mathbb {Z}}}^{2m-1})\) lies in \(T_0\). Let then
be the projection on the i-th factor of T and let
where \(\varepsilon _2\) and \(\varepsilon _2^{\mathrm {b}}\) are respectively the Euler class and the bounded Euler class of \(O (2)\). Observe that if L is compact, the long exact sequence (2.10) gives
Since the ordinary Euler class is a characteristic class and T is a product, we have
hence it follows from (5.2) that
Observe that the image of \({\text {SO}}(2)^m\) in T is its connected component \(T^\circ \).
Lemma 5.6
If \(\rho :{{\mathbb {Z}}}^{2m-1}\rightarrow T_0\) does not take values in \(T^\circ \), then \(\rho ^*(\varepsilon _{2m}^{\mathrm {b}})=0\).
Proof
An Abelian subgroup of \(O (2)\) not contained in \({\text {SO}}(2)\) is of the form \(\{1,\sigma \}\), with \(\sigma ^2=e\). Thus if \(\rho ({{\mathbb {Z}}}^{2m-1})\not \subset T^\circ \), there is \(\pi _i\) such that \(\pi _i\rho ({{\mathbb {Z}}}^{2m-1})\subset \{1,\sigma \}\). Since \(\mathrm{H}_{\mathrm{b}}^2(\{1,\sigma \},{{\mathbb {Z}}}_\epsilon )=0\), then \(\varepsilon _2^\mathrm {b}\) vanishes on \(\{1,\sigma \}\), and hence \(\rho ^*(\varepsilon _{2m}^{\mathrm {b}})=0\) by (5.4). \(\square \)
Thus we are reduced to analyze homomorphisms
As before, since \({\text {SO}}(2)^m\) is compact and hence amenable, the connecting homomorphism
is an isomorphism. We fix the orientation preserving identification
and, for \(m=1\), we define the homogeneous 1-cocycle
and
the corresponding class. Then \(\delta ^\mathrm {b}([\mathrm {Rot}])=\varepsilon _2^\mathrm {b}\) and from this we deduce that if
then \(\delta ^\mathrm {b}\) maps the class to the class . As a result, it follows from the commutativity of the square
that
In order to prove the vanishing of the left hand side, we are going to show that . To this end we use that the pairing
is an isomorphism, where \([{{\mathbb {Z}}}^{2m-1}]\in \mathrm{H}_{2m-1}({{\mathbb {Z}}}^{2m-1},{{\mathbb {Z}}})\cong {{\mathbb {Z}}}\) denotes the fundamental class.
We will need the following
Lemma 5.7
Let n be even and \(n\ge 2\) and let \(e_1,\dots ,e_n\) be the canonical basis of \({{\mathbb {Z}}}^n\). Then the group chain
is a representative of the fundamental class \([{{\mathbb {Z}}}^n]\in \mathrm{H}_n({{\mathbb {Z}}}^n,{{\mathbb {Z}}})\cong {{\mathbb {Z}}}\).
Proof
We first check that \(\partial z=0\) so that z is indeed a cycle. Let
Observe that, for \(1\le i\le n-1\), the sum of each of the i-th faces of the simplices appearing in z over all permutations of \(\sigma \in \mathrm {Sym}(n)\) vanishes since
is invariant under the odd transposition \(\tau _i:=(\sigma (i),\sigma (i+1))\). Indeed if \(1\le i\le n-1\),
which hence implies that \(\sum _{\sigma \in \mathrm {Sym}(n)}\mathrm {sign}(\sigma )\partial _is_\sigma =0\). Thus
and it remains to see that the 0-th and n-th face cancel each other. By \({{\mathbb {Z}}}^n\)-invariance,
where \(\tau =(1,2,\dots ,n)\) is the cyclic permutation of signature \(\mathrm {sign}(\tau )=(-1)^{n-1}\). From (5.8) and (5.9) it follows that
since n is even.
Let \(\omega _{{{\mathbb {R}}}^n}\in \mathrm{H}^n({{\mathbb {Z}}}^n,{{\mathbb {R}}})\) be the Euclidean volume class. Note that the volume class evaluates to 1 on the fundamental class, as the n-torus generated by the canonical basis has volume 1. A cocycle representing \(\omega _{{{\mathbb {R}}}^n}\) is given by \(V_n:({{\mathbb {Z}}}^n)^{n+1}\rightarrow {{\mathbb {R}}}\) sending \(v_0,v_1,\dots ,v_n\) to the signed volume of the affine simplex with vertices in the lattice \({{\mathbb {Z}}}^n\subset {{\mathbb {R}}}^n\), that is
In order to show that
we need to evaluate \(V_n\) on each summand of z. By definition,
where we have used for the second equality the fact that the determinant is alternating with respect to line permutations. Summing up, we obtain
thus proving the lemma. \(\square \)
Lemma 5.8
Let \(m\ge 2\). Then
Proof
We use as a representative of \(\varepsilon _2\in \mathrm{H}^2(\mathrm {SO}(2),{{\mathbb {Z}}})\) the multiple \(-\frac{1}{2}\) of the orientation cocycle (see Remark 3.1). This cocycle takes values in \(\frac{1}{2}{\mathbb {Z}}\) but represents an integral class and in particular evaluates to an integer on a fundamental class. Hence a representative for is given by the cocycle mapping \(g_0,\dots ,g_{2m-1}\in {\text {SO}}(2)^m \) to the product
where \(\mathrm {Rot}_1\) denotes the pullback to \({\text {SO}}(2)^m\) via the first projection \(\pi _1\) of the homogeneous 1-cocycle \(\mathrm {Rot}\) defined in (5.5), while \(\mathrm {Or}_j\) denotes the pullback to \({\text {SO}}(2)^m\) via \(\pi _j\) of the orientation cocycle
We now evaluate the pullback \(\rho ^*(\kappa )\) on the cycle z of Lemma 5.7 and, writing \(f_i=\rho (e_i)\in {\text {SO}}(2)^m\), we obtain
To prove that this expression vanishes first observe that
holds for any \(f_1,f_2,f_3\) in \({\text {SO}}(2)\) (but not in \({\text {SL}}(2,{\mathbb {R}})\)). Specializing to \(f_1=g^{-1}\), \(f_2=\mathrm {Id}\), \(f_3=h\) and using that \(\mathrm {Or}\) is alternating gives
for any g, h in \({\text {SO}}(2)\). Finally, using the invariance of \(\mathrm {Or}\), we can multiply the variables on the left hand side of the latter equality by fg, and the variables on the right hand side by fh to obtain
for any f, g, h in \({\text {SO}}(2)\).
Thus from (5.10) and (5.11) and with \(\tau _2=(2 3)\), we obtain the asserted vanishing as
\(\square \)
Proof of Theorem 5.1
Let \(\rho :{{\mathbb {Z}}}^{2m-1}\rightarrow {\text {SO}}(2m,1)^\circ \) be a homomorphism. By Lemma 5.2 either \(\rho ({{\mathbb {Z}}}^{2m-1})<P\) up to conjugation and then \(\rho ^*(\varepsilon _{2m}^{\mathrm {b}})=0\) by Lemma 5.5 or \(\rho ^*({{\mathbb {Z}}}^{2m-1})<T_0\) up to conjugacy. Then either \(\rho ({{\mathbb {Z}}}^{2m-1})\not \subset T^\circ \) and the vanishing follows from Lemma 5.6 or \(\rho ({{\mathbb {Z}}}^{2m-1})<T^\circ \), in which case Lemma 5.8 and (5.6) imply that and hence \(\rho ^*(\varepsilon _{2m}^{\mathrm {b}})=0\) by (5.7). \(\square \)
Proof of Theorem 1.1
Let N be a compact core of M and let \(C_1,\dots ,C_h\) the connected components of the boundary of \(\partial N\). It follows from Theorem 4.4 that
with the usual abuse of notation that \(\rho ^*(\varepsilon _{2m}^{\mathrm {b}})|_{C_i}\) refers to the element in \(\mathrm{H}_{\mathrm{b}}^{2m}(C_i,{{\mathbb {Z}}})\) corresponding to \((\rho |_{\pi _1(C_i)})^*(\varepsilon _{2m}^{\mathrm {b}})\in \mathrm{H}_{\mathrm{b}}^{2m}(\pi _1(C_i),{{\mathbb {Z}}})\).
If now all the \(C_i\)’s are tori, the above congruence relation and Theorem 5.1 imply that \((-1)^m\frac{2}{{{\text {Vol}}}(S^{2m})}{{\text {Vol}}}(\rho )\in {{\mathbb {Z}}}\).
In the general case, let \(p_i:C'_i\rightarrow C_i\) be a covering of degree \(B_{2m-1}\) that is a torus. Then
Now observe that \(p_i^*(\rho ^*(\varepsilon _{2m}^{\mathrm {b}})|_{C_i})\in \mathrm{H}_{\mathrm{b}}^{2m}(C'_i,{{\mathbb {Z}}})\) corresponds to the class
which vanishes by Theorem 5.1. \(\square \)
6 Examples of nontrivial and non-maximal representations
In this section we give examples of volumes of representations. More precisely:
-
In § 6.1 we set ourselves in dimension 3. Here we show in particular that the volume of a Dehn filling of a finite volume hyperbolic manifold coincides with the volume of the filling representation. In fact Proposition 6.1 deals with a more general case.
-
In § 6.2, by glueing appropriately copies of a hyperbolic manifold of arbitrary dimensions with totally geodesic boundary, we construct manifolds \(M_k\) and representations of \(\pi _1(M_k)\) whose volume is a rational multiple of \({{\text {Vol}}}(M_k)\).
6.1 Dimension 3: representations given by Dehn filling
Let M be a complete finite volume hyperbolic 3-manifold, which, for simplicity, we assume has only one cusp. If N is a compact core of M, its boundary \(\partial N\) is Euclidean with the induced metric and hence there is an isometry \(\varphi :\partial N\rightarrow {{\mathbb {T}}}^2\) to a two-dimensional torus for an appropriate flat metric on \({{\mathbb {T}}}^2\). We obtain then a decomposition of M as a connected sum
where the identification is via \(\varphi \). We are now going to fill in a solid two-torus to obtain a compact manifold. To this end, let \(\tau \subset \partial N\) be a simple closed geodesic and let us choose a diffeomorphism \(\varphi _\tau :\partial N\rightarrow S^1\times S^1\), in such a way that \(\varphi _\tau (\tau )=S^1\times \{*\}\). Then \(M_\tau \) is the connected sum
identified via \(\varphi _\tau \).
Denote by \(j_\tau :N\hookrightarrow M_\tau \) the canonical inclusion and by \(p:M\rightarrow N\) the canonical projection given by the cusp retraction \({{\mathbb {T}}}^2\times {{\mathbb {R}}}_{>0} \rightarrow {{\mathbb {T}}}^2 \). The composition
induces a map
between the fundamental groups \(\Gamma =\pi _1(M)\) and \(\Gamma _\tau =\pi _1(M_\tau )\).
Proposition 6.1
Let \(M_\tau \) be the compact 3-manifold obtained by Dehn filling from the hyperbolic 3-manifold M with one cusp. Let \(\rho :\Gamma _\tau \rightarrow \mathrm {SO}(3,1)\) be any representation of \(\Gamma _\tau \) and let \(\rho _\tau :=\rho \circ f_\tau :\Gamma \rightarrow \mathrm {SO}(3,1)\). Then
By Gromov–Thurston’s \((2\pi )\)-Theorem [16], for all geodesic curves \(\tau \) for which the induced length is greater than \(2\pi \) in the induced Euclidean metric on \(\partial N\), the compact manifold \(M_\tau \) admits a hyperbolic structure. Proposition 1.2 is then an immediate consequence of Proposition 6.1.
To prove the proposition, recall that by definition, the volume of the representation \(\rho _\tau \) is equal to
where all maps involved can be read in the diagram below. We will start by defining a map \(F:\mathrm{H}^3(M_\tau )\rightarrow \mathrm{H}^3(N,\partial N)\) that will turn the diagram below into a commutative diagram (Lemma 6.3) and which will induce a canonical isomorphism (Lemma 6.2).
The inclusions
induce the following homology and cohomology maps
and
Lemma 6.2
In degree 3 the maps in (6.2) and (6.3) are canonical isomorphisms and the composition
maps the dual \(\beta _{M_\tau }\) of the fundamental class of \(M_\tau \) to the dual \(\beta _{[N,\partial N]}\) of the fundamental class of \((N,\partial N)\).
Proof
It is enough to show the statement in homology where we show that fundamental classes are mapped to each other by showing the existence of a compatible triangulation of the three manifolds. Start with a triangulation of the boundary torus \(S^1\times S^1 =\partial N\), extend it on the one hand to the filled torus \({\mathbb {D}}^2\times S^1\) and on the other hand to N, [26, Theorem 10.6]. This produces compatible triangulations representing \([M_\tau ]\), \([M_\tau ,{\mathbb {D}}^2\times S^1]\) and \([N,\partial N]\). \(\square \)
Lemma 6.3
The diagram (6.1) commutes.
Proof
We only need to show that the right rectangle commutes. For this, we will decompose the diagram in subdiagrams as follows:
Since by naturality, all subdiagrams commute, the lemma follows. \(\square \)
Proof of Proposition 6.1
Using the commutativity of the diagram (6.1) and the fact that \( c (\omega _3^{\mathrm b})= \omega _3\) and \(g\circ \rho ^*(\omega _3)={{\text {Vol}}}(\rho ) \cdot \beta _{M_\tau }\) we compute
It is immediate that
which finishes the proof of the proposition. \(\square \)
6.2 Representations giving rational multiples of the maximal representation
Let M be a n-dimensional hyperbolic manifold with nonempy totally geodesic boundary (possibly with cusps) (see for example [24]). Suppose that the boundary of M has at least two connected components, which can be achieved by taking appropriate coverings of a manifold with a connected boundary. Decompose \(\partial M=C_0 \sqcup C_1\). Let \(M'\) be the double of M along \(C_1\). Observe that \(M'\) has as boundary two copies of \(C_0\) with opposite orientation. Glueing these two copies, we obtain a complete hyperbolic manifold \(M_1\). We can repeat the procedure as follows: Take k copies of \(M'\), glue the two copies of \(C_0\) two by two so as to obtain a connected closed hyperbolic manifold \(M_k\). Observe that \({{\text {Vol}}}(M_k)=2k\,{{\text {Vol}}}(M)\).
For any even \(0<\ell <k\), there are degree one maps \(f:M_k \rightarrow M_{k-\ell }\) obtained by folding \(\ell \) copies of \(M'\) in \(M_k\) along its boundary. These maps send the last \(\ell +1\) copies of \(M'\) inside \(M_k\) to the last copy of \(M'\) in \(M_{k-\ell }\) as illustrated in the following picture for \(\ell =2\):
The induced representation of \(\pi _1(M_k)\) obtained by the induced map on fundamental groups composed with the lattice embedding of \(\pi _1(M_{k-\ell })\) in \(\mathrm {Isom}({\mathbb {H}}^n)\) has volume equal to the volume of \(M_{k-\ell }\), that is \((k-\ell )/k\) times the volume of the maximal representation.
References
Austin, T., Moore, C.C.: Continuity properties of measurable group cohomology. Math. Ann. 356(3), 885–937 (2013)
Bucher, M., Burger, M., Frigerio, R., Iozzi, A., Pagliantini, C., Pozzetti, M.B.: Isometric embeddings in bounded cohomology. J. Topol. Anal. 6(1), 1–25 (2014)
Bucher, M., Burger, M., Iozzi, A.: A dual interpretation of the Gromov-Thurston proof of rigidity and volume rigidity for representations of In: Trends in harmonic analysis, volume 3 of Springer INdAM Ser., pages 47–76. Springer, Milan, (2013)
Besson, G., Courtois, G., Gallot, S.: Inégalités de Milnor-Wood géométriques. Comment. Math. Helv. 82(4), 753–803 (2007)
Burger, M., Iozzi, A.: Bounded differential forms, generalized Milnor-Wood and an application to deformation rigidity. Geom. Dedicata 125, 1–23 (2007)
Burger, M., Iozzi, A., Wienhard, A.: Surface group representations with maximal Toledo invariant. Ann. Math. (2) 172(1), 517–566 (2010)
Blanc, Ph: Sur la cohomologie continue des groupes localement compacts. Ann. Sci. École Norm. Sup. (4) 12(2), 137–168 (1979)
Bucher, M., Monod, N.: The norm of the Euler class. Math. Ann. 353(2), 523–544 (2012)
Derbez, P., Liu, Y., Sun, H., Wang, S.: Volume of representations and mapping degree. Adv. Math. 351, 570–613 (2019)
Dunfield, N.M.: Cyclic surgery, degrees of maps of character curves, and volume rigidity for hyperbolic manifolds. Invent. Math. 136(3), 623–657 (1999)
Francaviglia, S., Klaff, B.: Maximal volume representations are Fuchsian. Geom. Dedicata 117, 111–124 (2006)
Francaviglia, S.: Hyperbolic volume of representations of fundamental groups of cusped 3-manifolds. Int. Math. Res. Not. 9, 425–459 (2004)
Ghys, É.: Groupes d’homéomorphismes du cercle et cohomologie bornée. In: The Lefschetz centennial conference, Part III (Mexico City, 1984), volume 58 of Contemp. Math., pages 81–106. Amer. Math. Soc., Providence, RI, (1987)
Goldman, W.M. : DISCONTINUOUS GROUPS AND THE EULER CLASS. ProQuest LLC, Ann Arbor, MI, (1980). Thesis (Ph.D.)–University of California, Berkeley
Goldman, W.M.: Characteristic classes and representations of discrete subgroups of Lie groups. Bull. Am. Math. Soc. (N.S.) 6(1), 91–94 (1982)
Gromov, M., Thurston, W.: Pinching constants for hyperbolic manifolds. Invent. Math. 89(1), 1–12 (1987)
Hochschild, G., Mostow, G.D.: Cohomology of Lie groups. Illinois J. Math. 6, 367–401 (1962)
Iozzi, Al.: Bounded cohomology, boundary maps, and rigidity of representations into \({\rm Homeo}_+({\bf S}^1)\) and \({\rm SU}(1,n)\). In Rigidity in dynamics and geometry (Cambridge, 2000), pages 237–260. Springer, Berlin, (2002)
Kim, I., Kim, S.: Volume invariant and maximal representations of discrete subgroups of lie groups. Math. Z. 276, 1189–1213 (2014)
Kim, I., Kim, S.: On deformation spaces of nonuniform hyperbolic lattices. Math. Proc. Cambridge Philos. Soc. 161, 283–303 (2016)
Koziarz, V., Maubon, J.: Harmonic maps and representations of non-uniform lattices of \({\rm PU}(m,1)\). Ann. Inst. Fourier (Grenoble) 58(2), 507–558 (2008)
Kolpakov, A., Martelli, B.: Hyperbolic four-manifolds with one cusp. Geom. Funct. Anal. 23(6), 1903–1933 (2013)
Long, D.D., Reid, A.W.: On the geometric boundaries of hyperbolic \(4\)-manifolds. Geom. Topol. 4, 171–178 (2000)
Millson, J.J.: On the first Betti number of a constant negatively curved manifold. Ann. Math. (2) 104(2), 235–247 (1976)
Milnor, J.W., Stasheff, J.D.: Characteristic classes. Princeton University Press, Princeton, N. J.; University of Tokyo Press, Tokyo, Annals of Mathematics Studies, No. 76 (1974)
Munkres, J.R.: Elementary differential topology. Lectures given at Massachusetts Institute of Technology, vol. 1961. Fall. Princeton University Press, Princeton, N.J. (1966)
Neumann, W.D., Zagier, D.: Volumes of hyperbolic three-manifolds. Topology 24(3), 307–332 (1985)
Ratcliffe, J.G.: Foundations of hyperbolic manifolds. Graduate Texts in Mathematics, vol. 149. Springer-Verlag, New York (1994)
Reznikov, A.: Rationality of secondary classes. J. Differ. Geom. 43(3), 674–692 (1996)
Spivak, M.: A comprehensive introduction to differential geometry, vol. V, second edn. Publish or Perish Inc, Wilmington Del (1979)
Thurston, W.: Geometry and topology of 3-manifolds. Notes from Princeton University, Princeton (1978)
Wigner, D.: Algebraic cohomology of topological groups. Trans. Am. Math. Soc. 178, 83–93 (1973)
Acknowledgements
Open access funding provided by Swiss Federal Institute of Technology Zurich.
Funding
Open access funding provided by Swiss Federal Institute of Technology Zurich.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Thomas Schick.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Michelle Bucher was partially supported by Swiss National Science Foundation projects PP00P2-128309/1, 200020-178828/1 and 200021-169685, Alessandra Iozzi was partial supported by the Swiss National Science Foundation projects 2000021-127016/2 and 200020-144373 and Marc Burger was partially supported by the Swiss National Science Foundation project 200020-144373. The authors thank the Institute Mittag-Leffler in Djursholm, Sweden, and the Institute for Advances Studies in Princeton, NJ, for their warm hospitality during the preparation of this paper.
Appendix A. On the continuity of the volume of a representation
Appendix A. On the continuity of the volume of a representation
The goal of this section is to prove the following:
Proposition A.1
Let \(\Gamma <\mathrm {Isom}({{\mathbb {H}}}^n)\) be any torsion-free lattice. The function
is continuous.
We begin with some preliminaries. Let G be a locally compact group, \(\Gamma <G\) a lattice and L a locally compact group. We denote by \(\mathrm {C}_\mathrm {b}(X)\) the continuous bounded real valued functions on a topological space X. We define a map
where
We endow \(\mathrm {C}_\mathrm {b}(L^{n+1})\) with the topology of uniform convergence and \(\mathrm {C}_\mathrm {b}(\Gamma ^{n+1})\) with the topology of pointwise convergence with control of norms: in other words \(\alpha _n\rightarrow \alpha \) in \(\mathrm {C}_\mathrm {b}(\Gamma ^{n+1})\) if it converges pointwise and \(\sup _n\Vert \alpha _n\Vert _\infty <\infty \). With these topologies and with the pointwise convergence topology on \(\mathrm {Rep}(\Gamma ,L)\) the above map is continuous.
We proceed to implement the transfer from \(\Gamma \) to G. For this, let \(s:\Gamma {\setminus } G\rightarrow G\) be a Borel section and \(r:G\rightarrow \Gamma \) be defined by
where \(p:G\rightarrow \Gamma {\setminus } G\) denotes the canonical projection. Given a \(\Gamma \)-invariant cochain \(\alpha \in \mathrm {C}_\mathrm {b}(\Gamma ^{n+1})^\Gamma \), define
where \(\mu \) is the Haar measure on G normalized so that \(\mu (\Gamma {\setminus } G)=1\).
Proposition A.2
Suppose that the Borel section has the property that images of compact subsets are precompact. Then
-
(1)
\(T\alpha \) is continuous, hence \(T\alpha \in \mathrm {C}_\mathrm {b}(G^{n+1})^G\),
-
(2)
\(T:\mathrm {C}_\mathrm {b}(\Gamma ^{n+1})^\Gamma \rightarrow \mathrm {C}_\mathrm {b}(G^{n+1})^G\) is continuous for pointwise convergence on \(\Gamma \) with control of norms and uniform convergence on compact sets on \(G^{n+1}\).
Proof
Let \(D=s(\Gamma {\setminus } G)\). Choose \(\epsilon >0\) and \(C\subset D\) compact with \(\mu (D{\setminus } C)<\epsilon \). Then
Now we write
Before we continue with the proof of the proposition, we need to show that for every compact subset \(K\subset G\) the number \(F_K\) of translates of the fundamental domain D that K intersects is finite:
Lemma A.3
For any compact subset \(K\subset G\), the set
is finite.
Note that the lemma is wrong for arbitrary fundamental domains, even for cocompact \(\Gamma \). Indeed, start by writing the standard fundamental domain (0, 1] of \({{\mathbb {Z}}}\) in \({{\mathbb {R}}}\) as
and perturb it by translating each of the disjoint interval of \(D_0\) by a different translation, for example obtaining the new fundamental domain
Take as compact set the closed interval \(C=[0,1]\). Then for every \(-n\le 0\), the intersection \(C\cap (-n+D)\) is nonempty.
Proof
Set \(F:=\cup _{\eta \in \Gamma } \eta K\) and observe that \(F\cap D=s(p(F))\) is relatively compact by our choice of Borel section. Since \(\gamma K \cap D= \gamma K \cap (F\cap D)\) and K and \(F\cap D\) are relatively compact, the lemma follows by the discreteness of \(\Gamma \). \(\square \)
Going back to the proof of the proposition, fix compact subsets \(C_0,\dots ,C_n\) of G such that \(g_i\in C_i\). Observe that \(F_{Cg_i}\subset F_{CC_i}\) and if \(\gamma _i\in F_{CC_i}{\setminus } F_{Cg_i}\) then the measure of \(C\cap \gamma _0Dg_0^{-1}\cap \dots \cap \gamma _n Dg_n^{-1}\) is zero. We can thus rewrite the above sum as
for any \((g_0,\dots ,g_n)\in C_0\times \dots C_n\).
The point (2) of Proposition follows since if \(\alpha _n\rightarrow \alpha \) with pointwise convergence and \(\sup _n \Vert \alpha _n\Vert _\infty < +\infty \) then \(T\alpha _n\rightarrow T\alpha \) uniformly on compact sets.
Finally, we show (1) by showing that the function
is continuous. To estimate the difference
we introduce the notation
for any \(x_0,\dots , x_n\in G\). The above difference thus becomes
which we rewrite as a telescopic sum
Setting
the telescopic sum becomes
Using the simple set theoretical inequality valid for any sets \(B,E,E'\)
we obtain for each summand the estimate
Thus
The continuity of the right regular action of G on \(L^1(G)\) concludes the proof of the proposition. \(\square \)
Proof of Proposition A.1
Consider \(\Gamma \) as a lattice in the full isometry group \(\mathrm {Isom}({\mathbb {H}}^n)\) and denote by \(\varepsilon :\mathrm {Isom}({\mathbb {H}}^n)\rightarrow \{-1,+1\}\) the homomorphism sending an isometry to \(+1\) if it preserves orientation and \(-1\) otherwise. By what precedes, the cohomology class \(\mathrm {transf}(\rho ^*(\omega _{{\mathbb {H}}^n}))\) can be represented by the continuous cocycle sending \((g_0,\dots ,g_n)\in \mathrm {Isom}({\mathbb {H}}^n)^{n+1}\) to
Note that the cocycle stays continues after transferring from \(\mathrm {Isom}^+({\mathbb {H}}^n)\) to \(\mathrm {Isom}({\mathbb {H}}^n)\). Integrating over a maximal compact subgroup K in \(\mathrm {Isom}({\mathbb {H}}^n)\) we obtain a continuous cocycle \(({\mathbb {H}}^n)^{n+1}\rightarrow {{\mathbb {R}}}\) that sends an \((n+1)\)-tuple of points \(g_0K,\dots ,g_nK\in \mathrm {Isom}({\mathbb {H}}^n)/K\cong {\mathbb {H}}^n\) to
We showed in [3, Proposition 3.3] that
Since there are no coboundaries in degree n for \(\mathrm {Isom}({\mathbb {H}}^n)\)-equivariant continuous bounded cochains on \({\mathbb {H}}^n\), this implies that we have a strict equality between (6.4) and
Since (6.4) varies continuously in \(\rho \), so does \({{\text {Vol}}}(\rho )\). \(\square \)
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
Bucher, M., Burger, M. & Iozzi, A. Integrality of volumes of representations. Math. Ann. 381, 209–242 (2021). https://doi.org/10.1007/s00208-020-02047-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-020-02047-9