Abstract
New constructions in group homology allow us to manufacture high-dimensional manifolds with controlled simplicial volume. We prove that for every dimension bigger than 3 the set of simplicial volumes of orientable closed connected manifolds is dense in \(\mathbb {R}_{\ge 0}\). In dimension 4 we prove that every non-negative rational number is the simplicial volume of some orientable closed connected 4-manifold. Our group theoretic results relate stable commutator length to the \(l^1\)-semi-norm of certain singular homology classes in degree 2. The output of these results is translated into manifold constructions using cross-products and Thom realisation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The simplicial volume \(\Vert M \Vert \) of an orientable closed connected (occ) manifold M is a homotopy invariant that captures the complexity of representing fundamental classes by singular cycles with real coefficients (see Sect. 2 for a precise definition and basic terminology). Simplicial volume is known to be positive in the presence of enough negative curvature [35, 46, 48, 56] and known to vanish in the presence of enough amenability [13, 35, 44, 59]. Moreover, it provides a topological lower bound for the minimal Riemannian volume (suitably normalised) in the case of smooth manifolds [35].
Until now, for large dimensions d, very little was known about the precise structure of the set \({{\,\mathrm{SV}\,}}(d) \subset \mathbb {R}_{\ge 0}\) of simplicial volumes of occ d-manifolds. The set \({{\,\mathrm{SV}\,}}(d)\) is countable and closed under addition (Remark 2.3). However, the set of simplicial volumes is fully understood only in dimensions 2 and 3 with \({{\,\mathrm{SV}\,}}(2) = \mathbb {N}[4]\) (Example 2.4) and \({{\,\mathrm{SV}\,}}(3)= \mathbb {N}[\frac{{{\,\mathrm{vol}\,}}(M)}{v} \mid M]\), where M ranges over all complete finite-volume hyperbolic 3-manifolds with toroidal boundary and where \(v>0\) is a constant (Example 2.5).
This reveals that there is a gap of simplicial volume in dimensions 2 and 3: For \(d \in \{2,3\}\) there is a constant \(C_d>0\) such that the simplicial volume of an occ d-manifold either vanishes or is at least \(C_d\). It was an open question [53, p. 550] whether such a gap exists in higher dimensions. For example, until now the lowest known simplicial volume of an occ 4-manifold has been 24 [4] (Example 2.6).
In the present paper, we show that dimensions 2 and 3 are the only dimensions with such a gap.
Theorem A
(No-gap; Sect. 8.2) Let \(d \ge 4\) be an integer. For every \(\epsilon > 0\) there is an orientable closed connected d-manifold M such that \({0<\Vert M \Vert \le \epsilon }\). Hence, the set of simplicial volumes of orientable closed connected d-manifolds is dense in \(\mathbb {R}_{\ge 0}\).
In dimension 4, we get the following refinement of Theorem A.
Theorem B
(Rational realisation; Sect. 8.3) For every \(q \in \mathbb {Q}_{\ge 0}\) there is an orientable closed connected 4-manifold \(M_q\) with \(\Vert M_q \Vert =q\).
1.1 Method
We first compute the \(l^1\)-semi-norm of certain integral 2-classes in finitely presented groups by relating these semi-norms to stable commutator length.
To formulate this connection, we recall some definitions. For a group G and a class \(\alpha \in H_d(G;\mathbb {R})\), the \(l^1\)-semi-norm \(\Vert \alpha \Vert _1\) of \(\alpha \) is the semi-norm induced by the \(l^1\)-norm of chains in the singular chain complex of any model of BG (Sect. 2.1). The class \(\alpha \) is integral if it lies in the image under the change of coefficients map map induced by \(\mathbb {Z}\rightarrow \mathbb {R}\).
For an element \(g \in [G,G]\) in the commutator subgroup of G, the commutator length \({{\,\mathrm{cl}\,}}_G g\) of g is the minimal number of commutators in G needed to express g as their product. The stable commutator length (scl) of g is the limit \({{\,\mathrm{scl}\,}}_G g := \lim _{n \rightarrow \infty } {{\,\mathrm{cl}\,}}_G(g^n) /n\). Stable commutator length is now well-understood for many classes of groups thanks largely to Calegari and others [18].
Theorem C
(Corollary 6.16) Let G be a finitely presented group with \(H_2(G;\mathbb {R}) \cong 0\) and let \(g \in [G,G]\) be an element of infinite order. Then there is a finitely presented group D(G, g) and an integral class \(\alpha _g \in H_2(D(G,g);\mathbb {R})\) such that
We apply Theorem C to the universal central extension E of Thompson’s group T. Recall that T is the group of piecewise linear homeomorphisms of the circle with dyadic breakpoints and whose slopes are integer powers of 2. In Propostion 5.1, we show that the universal central extension E of T is a finitely presented group with \(H_2(E;\mathbb {R}) \cong 0\) and that every non-negative rational number may be realised by the stable commutator length of some element in E. Using Theorem C this shows:
Theorem D
(Corollary 6.17) For every \(q \in \mathbb {Q}_{\ge 0}\) there is a finitely presented group \(G_q\) and an integral class \(\alpha _q \in H_2(G_q;\mathbb {R})\) such that \(\Vert \alpha _q \Vert _1 = q\). In particular, for every \(\epsilon > 0\) there is a finitely presented group \(G_\epsilon \) and an integral class \(\alpha _\epsilon \in H_2(G_\epsilon ;\mathbb {R})\) such that \(0 < \Vert \alpha _\epsilon \Vert _1 \le \epsilon \).
We can now take cross-products in homology to obtain integral classes in degree greater than 3 with crude norm control. An application of a normed version of Thom realisation (Theorem 8.1) proves Theorem A.
In dimension 4, we refine this construction by taking products with surfaces and using an exact computation of the product norm. This generalises a result of Bucher [4]. Theorem B will follow from these computations.
Theorem E
(Corollary 7.2) Let G be a group, let \(\alpha \in H_2(G;\mathbb {R})\), and let \(\Gamma _g\) be the fundamental group of the oriented closed connected surface \(\Sigma _g\) of genus \(g \ge 2\) with fundamental class \([\Sigma _g]_\mathbb {R}\in H_2(\Gamma _g;\mathbb {R})\). Then the \(l^1\)-semi-norm of \(\alpha \times [\Sigma _g]_\mathbb {R}\in H_4(G \times \Gamma _g;\mathbb {R})\) satisfies
In particular, we establish the following connection between stable commutator length and simplicial volume in dimension 4:
Theorem F
(Corollary 8.3) Let G be a finitely presented group that satisfies \(H_2(G;\mathbb {R}) \cong 0\) and let \(g \in [G,G]\) be an element in the commutator subgroup. Then there is an orientable closed connected 4-manifold \(M_g\) with
1.2 Organisation of this article
Sections 2, 3, and 4 recall basic properties and known results on simplicial volume, bounded cohomology and stable commutator length, respectively.
In Sect. 5 we compute \({{\,\mathrm{scl}\,}}\) on the universal central extension E of Thompson’s group T (Proposition 5.1). This will be used in Sect. 6 to construct integral 2-classes with controlled \(l^1\)-semi-norms. There we also show Theorems C and D.
In Sect. 7 we get the refinement for dimension 4 in group homology: We compute the \(l^1\)-semi-norm of cross-products of general 2-classes with certain Euler-extremal 2-classes (Theorem 7.1). As a corollary we obtain Theorem E.
All manifolds constructed in this article will arise via a suitable version of Thom’s realisation theorem in Sect. 8. This allows us to manufacture manifolds with controlled simplicial volume and to prove Theorems A, B, and F.
A discussion of related problems may be found in Sect. 8.4.
2 Simplicial volume
We recall the \(l^1\)-semi-norm on homology and simplicial volume and establish some notation. In particular, we collect basic properties related to classes in degree 2.
2.1 The \(l^1\)-semi-norm and simplicial volume
The notion of simplicial volume of manifolds is based on the \(l^1\)-semi-norm on singular homology. More precisely: Let X be a topological space and let \(d \in \mathbb {N}\). Then the \(l^1\)-semi-norm on \(H_d(X;\mathbb {R})\) is
here, \(C_d(X;\mathbb {R})\) is the singular chain module of X in degree d with \(\mathbb {R}\)-coefficients and \(|\cdot |_1\) denotes the \(l^1\)-norm on \(C_d(X;\mathbb {R})\) associated with the basis of singular simplices. More generally, if \(A \subset X\) is a subspace, one can also consider the relative \(l^1\)-semi-norm on \(H_d(X,A;\mathbb {R})\) induced by the \(l^1\)-semi-norm on \(C_d(X;\mathbb {R})\).
The \(l^1\)-semi-norm is a functorial semi-norm in the sense of Gromov [36, p. 302]:
Remark 2.1
If \(f :X \rightarrow Y\) is continuous, \(d \in \mathbb {N}\), and \(\alpha \in H_d(X;\mathbb {R})\), then
Definition 2.2
(Simplicial volume [35]) Let M be an oriented closed connected d-dimensional manifold. Then the simplicial volume of M is defined by
where \([M]_\mathbb {R}\in H_d(M;\mathbb {R})\) denotes the \(\mathbb {R}\)-fundamental class of M.
More generally, if \((M,\partial M)\) is an oriented compact connected d-manifold with boundary, then one defines the relative simplicial volume of \((M,\partial M)\) by
where \([M,\partial M]_\mathbb {R}\in H_d(M,\partial M;\mathbb {R})\) denotes the relative \(\mathbb {R}\)-fundamental class of \((M,\partial M)\).
Because the definition of simplicial volume is independent of the chosen orientation, we will also speak of the simplicial volume of orientable manifolds.
On the one hand, simplicial volume clearly is a topological invariant of (orientable) compact manifolds that is compatible with mapping degrees. On the other hand, simplicial volume is related in a non-trivial way to Riemannian volume, e.g., in the case of hyperbolic manifolds [35, 56]. Therefore, simplicial volume is a useful invariant in the study of rigidity properties of manifolds.
Basic examples of simplicial volumes are listed in Examples 2.4, 2.5, and 2.6. In addition to geometric arguments, a key tool for working with simplicial volume is bounded cohomology (see Proposition 3.4 below).
2.2 Simplicial volume in low dimensions and gaps
We collect the low-dimensional examples of simplicial volume as stated in the introduction. Recall that for \(d\in \mathbb {N}\) we define \({{\,\mathrm{SV}\,}}(d) \subset \mathbb {R}_{\ge 0}\) via
Remark 2.3
As there are only countably many homotopy types of orientable closed connected (occ) manifolds [49], the set \({{\,\mathrm{SV}\,}}(d)\) is countable for every \(d \in \mathbb {N}\).
The set \({{\,\mathrm{SV}\,}}(d)\) is also closed under addition. For \(d \ge 3\), this follows from the additivity of simplicial volume under connected sums [35] [31, Corollary 7.7] and for \(d=2\) this follows from the explicit computation of \({{\,\mathrm{SV}\,}}(2)\) as seen in Example 2.4.
Clearly, \({{\,\mathrm{SV}\,}}(0) = \{1\}\) (the only relevant manifold being a single point) and \({{\,\mathrm{SV}\,}}(1) = \{0\}\) (the only manifold being the circle).
Example 2.4
(Dimension 2) For an orientable closed connected surface \(\Sigma _g\) of genus \(g \ge 1\) we have \(\Vert \Sigma _g \Vert = 2 \cdot \bigl |\chi (\Sigma _g)\bigr | = 4 \cdot (g-1)\) [7, 35] [31, Corollary 7.5]. Hence,
We observe that the gap in simplicial volume of dimension 2 is 4.
Example 2.5
(Dimension 3) We have [35, 54] [31, Corollary 7.8]
and where \(v_3\) is the maximal volume of an ideal simplex in \(\mathbb {H}^3\). This shows that there is a gap of simplicial volume in dimension 3, namely \(w/v_3 \approx 0.928\dots \), where w is the volume of the Weeks manifold [38]. Moreover, the set \({{\,\mathrm{SV}\,}}(3)\) has countably many accumulation points (because the set of hypbolic volumes has the order type \(\omega ^\omega \) [56]).
Example 2.6
(Dimension 4) The smallest known Riemannian volume \({{\,\mathrm{vol}\,}}(M)\) of an occ hyperbolic 4-manifold is \(64 \cdot \pi ^2/3\) [24]. In view of the computation of the simplicial volume of hyperbolic manifolds [35, 56] [31, Chapter 7.3] this means that the smallest known simplicial volume of a hyperbolic occ 4-manifold is \(\frac{64 \cdot \pi ^2}{3 \cdot v_4} \in [700,800]\) where \(v_4\) is the maximal volume of an ideal 4-simplex in \(\mathbb {H}^4\).
If \(\Sigma _g\), \(\Sigma _h\) are orientable closed connected surfaces of genus \(g,h \ge 1\), respectively, then Bucher [4] showed that \(\Vert \Sigma _g \times \Sigma _h\Vert = \frac{3}{2} \cdot \Vert \Sigma _g\Vert \cdot \Vert \Sigma _h\Vert \). Hence, \(\Vert \Sigma _2 \times \Sigma _2 \Vert = 24\). This has been the smallest known non-trival simplicial volume of a 4-manifold. More general surface bundles over surfaces do not yield lower estimates [2, 43]. Also the recent computations/estimates for mapping tori in dimension 4 [3] do not produce improved gap bounds.
2.3 The \(l^1\)-semi-norm in degree 2
As classes in degree 2 will play an important role in our constructions, we collect some basic properties concerning the \(l^1\)-semi-norm in degree 2.
Proposition 2.7
(\(l^1\)-semi-norm in degree 2; [25, Proposition 2.4]) Let X be a topological space and let \(\alpha \in H_2(X;\mathbb {R})\). Then
Remark 2.8
Let X be a path-connected topological space, let \(\alpha \in H_2(X;\mathbb {Z})\), and let \(\alpha _\mathbb {R}\in H_2(X;\mathbb {R})\) be the image of \(\alpha \) under the change of coefficients map \(\mathbb {Z}\rightarrow \mathbb {R}\). Then the description of \(\Vert \alpha _\mathbb {R}\Vert _1\) from Proposition 2.7 simplifies as follows: We have
where \(\Sigma (\alpha )\) is the class of all pairs \((f,\Sigma )\) consisting of an oriented closed connected surface \(\Sigma \) of genus \(g(\Sigma ) \ge 1\) and a continuous map \(f :\Sigma \rightarrow X\) with \(H_2(f;\mathbb {Z})[\Sigma ] = n(f,\Sigma ) \cdot \alpha \) in \(H_2(X;\mathbb {Z})\) for some integer \(n(f,\Sigma ) \in \mathbb {Z}\).
In Sect. 6, we will relate \(l^1\)-semi-norms of relative classes in degree 2 to filling invariants and stable commutator length.
2.4 Simplicial volume of products
We recall basic results on \(l^1\)-semi-norms of homological cross-products.
Proposition 2.9
Let X, Y be topological spaces, let \(m,n \in \mathbb {N}\), and let \(\alpha \in H_m(X;\mathbb {R})\), \(\beta \in H_n(Y;\mathbb {R})\). Then the cross-product \(\alpha \times \beta \in H_{m+n}(X\times Y;\mathbb {R})\) satisfies
Proof
The lower estimate follows from the duality principle (Proposition 3.4) and an explicit description of the cohomological cross-product (in bounded cohomology), the upper estimate follows from an explicit description of the homological cross-product [35] [7, Theorem F.2.5] (this classical argument works also for general homology classes, not only for fundamental classes of manifolds). \(\square \)
However, in general, it seems to be a hard problem to compute the exact values of \(l^1\)-semi-norms of products. One of the few known cases are products of two orientable closed connected surfaces, whose simplicial volumes have been computed by Bucher:
Theorem 2.10
( [4, Corollary 3]) Let \(\Sigma _g, \Sigma _h\) be orientable closed connected surfaces of genus \(g,h \in \mathbb {N}_{\ge 1}\). Then
We will generalise this theorem in Sect. 7. For now, let us note that in combination with the description of the \(l^1\)-semi-norm in degree 2 in terms of surfaces, we obtain the following general, improved, upper bound:
Corollary 2.11
Let X and Y be path-connected topological spaces and let \(\alpha \in H_2(X;\mathbb {R})\), \(\beta \in H_2(Y;\mathbb {R})\). Then
Proof
We use the description of \(\Vert \alpha \Vert _1\) and \(\Vert \beta \Vert _1\) from Proposition 2.7. Let
be surface presentations of \(\alpha \) and \(\beta \) as in Proposition 2.7. Then
and so \( \alpha \times \beta = \sum _{i=1}^k \sum _{j=1}^m a_i \cdot b_j \cdot H_2(f_i \times g_j;\mathbb {R})[\Sigma _{(i)} \times \Pi _{(j)}]_\mathbb {R}. \) Therefore, by applying the triangle inequality, functoriality (Remark 2.1), and Theorem 2.10, we have
By Proposition 2.7, taking the infimum over all such surface presentations of \(\alpha \) and \(\beta \), we obtain \(\Vert \alpha \times \beta \Vert _1 \le 3/2 \cdot \Vert \alpha \Vert _1 \cdot \Vert \beta \Vert _1. \) \(\square \)
3 Bounded cohomology
Bounded cohomology of discrete groups and topological spaces was first systematically studied by Gromov [35]. Gromov established the fundamental properties of bounded cohomology using so-called multicomplexes. Later, Ivanov developed a more algebraic framework via resolutions [44, 45].
The reference to this introduction is the recent book by Frigerio [31]. Having applications to stable commutator length and the \(l^1\)-semi-norm in mind we will only define bounded cohomology for trivial real and integer coefficients.
Sections 3.1, 3.2 and 3.3 discuss the (relationships between) bounded cohomology of groups and topological spaces. In Sect. 3.4 we state the duality principle, which allows us to compute the \(l^1\)-semi-norm. In Sect. 3.6 we define the Euler class.
3.1 Bounded cohomology of groups
Let V be \(\mathbb {R}\) or \(\mathbb {Z}\) and let G be a group. We will define the bounded cohomology \(H^n_b(G;V)\) of G using the homogeneous resolution. There is also an inhomogeneous resolution, which is useful in low dimensions. We use this resolution only in Sect. 5 for central extensions and refer to the literature [31, Chapter 1.7] for the definition.
Let \(C^n(G;V) := {{\,\mathrm{map}\,}}(G^{n+1}, V)\) be the set of set-theoretic maps from \(G^{n+1}\) to V. The group G acts on \(C^n(G;V)\) via \(g \cdot \phi (g_0, \ldots , g_n) = \phi (g^{-1} \cdot g_0, \ldots , g^{-1} \cdot g_n)\). We denote by \(C^n(G;V)^G\) the subset of elements in \(C^n(G;V)\) that are invariant under this action. Let \(\Vert \cdot \Vert _\infty \) be the \(l^\infty \)-norm on \(C^n(G;V)\) and let \(C^n_b(G;V)\) be the corresponding subspaces of bounded functions.
Define the simplicial coboundary maps \(\delta ^n :C^n(G;V) \rightarrow C^{n+1}(G;V)\) via
where \(\alpha (g_0, \ldots , \widehat{g_i}, \ldots , g_{n+1})\) means that the i-th coordinate is omitted. Then \(\delta ^n\) restricts to a map \(C^n_b(G;V) \rightarrow C^{n+1}_b(G;V)\). The cohomology of the cochain complex \((C^{\bullet }(G;V)^G, \delta ^\bullet )\) is the group cohomology of G with coefficients in V and denoted by \(H^\bullet (G;V)\). Similarly, the cohomology of the cochain complex \((C_b^{\bullet }(G;V)^G, \delta ^\bullet )\) is the bounded cohomology of G with coefficients in V and denoted by \(H_b^\bullet (G;V)\). The embedding \(C_b^{\bullet }(G;\mathbb {R}) \hookrightarrow C^{\bullet }(G;\mathbb {R})\) induces a map \(c^{\bullet } :H_b^{\bullet }(G;V) \rightarrow H^{\bullet }(G;V)\), the comparison map.
Bounded cohomology carries additional structure, the semi-norm induced by \(\Vert \cdot \Vert _\infty \): For an element \(\alpha \in H^n_b(G;V)\), we set
Bounded cohomology is functorial in both the group and the coefficients.
3.2 Bounded cohomology of spaces
Let X be a topological space and let \(S_n(X)\) be the set of singular n-simplices in X. Moreover, let \(C^n(X;V)\) be the set of maps from \(S_n(X)\) to V. For an element \(\alpha \in C^n(X;V)\) we set
and let \(C^n_b(X;V) \subset C^n(X;V)\) be the subset of elements that are bounded with respect to this norm. Let \(\delta ^n :C^n_b(X;V) \rightarrow C^{n+1}_b(X;V)\) be the restriction of the singular coboundary map to bounded cochains. Then the bounded cohomology \(H^{\bullet }_b(X;V)\) of X with coefficients in V is the cohomology of the complex \((C^\bullet _b(X;V), \delta ^\bullet )\) and denoted by \(H^{\bullet }_b(X;V)\). For \(\alpha \in H^n_b(X;V)\) we define
and observe that \(\Vert \cdot \Vert _\infty \) is a semi-norm on \(H^n_b(X;V)\). The bounded cohomology of spaces is also functorial in both spaces and coefficients.
3.3 Relationship between bounded cohomology of groups and spaces
Analogously to ordinary group cohomology, bounded cohomology of groups may also be computed using classifying spaces (and thus, we will freely switch between these descriptions).
Theorem 3.1
( [31, Theorem 5.5]) Let X be a model of the classifying space BG of the group G. Then \(H^\bullet _b(X;\mathbb {R})\) is canonically isometrically isomorphic to \(H^\bullet _b(G;\mathbb {R})\).
Remarkably, this statement holds true much more generally: every topological space with the correct fundamental group can be used to compute bounded cohomology of groups; moreover, bounded cohomology ignores amenable kernels [35]:
Theorem 3.2
( [31, Theorem 5.8] [45]) Let X be a path-connected space. Then \(H^\bullet _b(X;\mathbb {R})\) is canonically isometrically isomorphic to \(H^\bullet _b(\pi _1(X);\mathbb {R})\).
Theorem 3.3
(Mapping theorem [31, Corollary 5.11] [45]) Let \(f :X \rightarrow Y\) be a continuous map between path-connected topological spaces. If the induced homomorphism \(\pi _1(f) :\pi _1(X) \rightarrow \pi _1(Y)\) is surjective and has amenable kernel, then \(H^{\bullet }_b(f;\mathbb {R}) :H^{\bullet }_b(Y;\mathbb {R}) \rightarrow H^{\bullet }_b(X;\mathbb {R})\) is an isometric isomorphism.
3.4 Duality
Bounded cohomology of groups and spaces may be used to compute the \(l^1\)-semi-norm of homology classes. For what follows, let \(\langle \cdot , \cdot \rangle :H^n_b(X;V) \times H_n(X;V) \rightarrow V\) be the map given by evaluation of cochains on chains.
Proposition 3.4
(Duality principle [31, Lemma 6.1]) Let X be a topological space and let \(\alpha \in H_n(X; \mathbb {R})\). Then
Moreover, the supremum is achieved.
Cocycles \(\beta \in C^n_b(X,\mathbb {R})\) that satisfy \(\Vert \beta \Vert _\infty = 1\) and \(\langle [\beta ], \alpha \rangle = \Vert \alpha \Vert _1\) are called extremal for \(\alpha \).
Corollary 3.5
(Mapping theorem for the \(l^1\)-semi-norm) Let \(f:X \rightarrow Y\) be a continuous map between path-connected topological spaces. If the induced homomorphism \(\pi _1(f) :\pi _1(X) \rightarrow \pi _1(Y)\) is surjective and has amenable kernel, then \(H_{\bullet }(f;\mathbb {R}) :H_{\bullet }(X;\mathbb {R}) \rightarrow H_{\bullet }(Y;\mathbb {R})\) is isometric with respect to the \(l^1\)-semi-norm.
Proof
We only need to combine the duality principle (Proposition 3.4) with the mapping theorem in bounded cohomology (Theorem 3.3). \(\square \)
3.5 Alternating cochains
Recall that V denotes \(\mathbb {R}\) or \(\mathbb {Z}\) and let \(\alpha \in C^n_b(G;V)\) be a bounded homogeneous cochain. We say that \(\alpha \) is alternating, if for every \(g_0, \ldots , g_n \in G\) and every permutation \(\sigma \in S_{n+1}\) we have that
Every (bounded) cochain \(\alpha \in C^n_b(G;\mathbb {R})\) has an associated alternating (bounded) cochain \(\mathrm {alt}^n(\alpha )\) defined via
Observe that \(\Vert \mathrm {alt}^n(\alpha ) \Vert _\infty \le \Vert \alpha \Vert _{\infty }\). The subcomplex of alternating cochains is denoted by \(C^n_{b, \mathrm {alt}}(G;V)\). It is well-known that one can compute real bounded cohomology using alternating cochains:
Proposition 3.6
( [31, Proposition 4.26]) Let G be a group. The complex \(C^\bullet _{b, \mathrm {alt}}(G,\mathbb {R})\) isometrically computes the bounded cohomology with real coefficients. Moreover, for every \(\alpha \in C^n_b(G,\mathbb {R})\) the cocycle \(\mathrm {alt}^n_b(\alpha )\) represents the same class as \(\alpha \) in \(H^n_b(G;\mathbb {R})\).
3.6 Euler class and the orientation cocycle
We describe the Euler class associated to a circle action. For details we refer to the literature [12, 34].
For three points \(x_1,x_2,x_3 \in S^1\) on the circle let \(\mathrm {Or}(x_1,x_2,x_3) \in \{ -1, 0, 1 \}\) be the (respective) circular order. The group \(\mathrm {Homeo}^+(S^1)\) of orientation preserving homeomorphisms on the circle preserves \(\mathrm {Or}\in C_b^2(S^1;\mathbb {Z}) \subset C^2(S^1;\mathbb {Z})\) and satisfies a (homogeneous) cocycle condition. Hence, \(\mathrm {Or}\) induces a (bounded) cocycle on \(\mathrm {Homeo}^+(S^1)\): For \(\xi \in S^1\), the map
is a cocycle in \(C^2_b(\mathrm {Homeo}^+(S^1);\mathbb {Z})\) and the bounded cohomology class is independent of the choice of the point \(\xi \). It turns out that this class is divisible by 2, i.e., there is a cocycle \({{\,\mathrm{Eu}\,}}\in C_b^2(\mathrm {Homeo}^+(S^1);\mathbb {Z})\), called Euler cocycle, with \(-2 \cdot [{{\,\mathrm{Eu}\,}}] = [\mathrm {Or}] \) in \(H_b^2(\mathrm {Homeo}^+(S^1);\mathbb {Z})\).
Remark 3.7
Let \(H := \mathrm {Homeo}^+(S^1)\). For Euler classes (and the orientation cocycle) we will use the following notation: Capital letters (\({{\,\mathrm{Eu}\,}}\)) denote cocycles and lower case letters (\(\mathrm {eu}\)) denote classes. The classes \(\mathrm {eu}^{\mathbb {Z}} \in H^2(H; \mathbb {Z})\), \(\mathrm {eu}^{\mathbb {R}} \in H^2(H; \mathbb {R})\), \({}^{}\mathrm {eu}_b^{\mathbb {Z}} \in H^2_b(H;\mathbb {Z})\) and \({}^{}\mathrm {eu}_b^{\mathbb {R}} \in H_b^2(H;\mathbb {R})\) are the ones represented by \({{\,\mathrm{Eu}\,}}\) in the corresponding cohomology groups. If a group G acts on the circle by \(\rho :G \rightarrow \mathrm {Homeo}^+(S^1)\), and \(\alpha \) is a class or a cocycle defined on \(\mathrm {Homeo}^+(S^1)\) then \(\rho ^* \alpha \) will be the pullback of \(\alpha \) via \(\rho \). If \(\Gamma < \mathrm {Homeo}^+(S^1)\) is a subgroup of \(\mathrm {Homeo}^+(S^1)\), then we will denote the restriction of a class or a cocycle \(\alpha \) to \(\Gamma \) by \(^{\Gamma } \alpha \). Hence, for example, \({}^{\Gamma }\mathrm {eu}_b^{\mathbb {R}}\in H^2_b(\Gamma ; \mathbb {R})\) denotes the restriction of the real bounded Euler class to \(\Gamma \).
Let G be a group with a circle action \(\rho :G \rightarrow \mathrm {Homeo}^+(S^1)\). Then \(\rho ^*\mathrm {eu}^{\mathbb {Z}} \in H^2(G;\mathbb {Z})\) is called the Euler class associated to the action \(\rho \). The Euler class induces a central extension
of G by \(\mathbb {Z}\), the associated Euler extension \(\widetilde{G}\). This group has the following explicit description. It is the group defined on the set \(\mathbb {Z}\times G\) with multiplication \((z,g) \cdot (z',g') = (z+z'+ \rho ^*{{\,\mathrm{Eu}\,}}(1,g,g \cdot g'),g \cdot g')\). Euler extensions are useful for constructing groups with controlled stable commutator length; see Section 5.
We note that \(\rho ^*\mathrm {Or}^{\mathbb {R}}\) is extremal (in the sense of Proposition 3.4) for surface groups:
Example 3.8
Let \(g \in \mathbb {N}_{\ge 2}\) and let \(\Sigma _g\) be an oriented closed connected surface of genus \(g \in \mathbb {N}_{\ge 2}\). Recall that \(\Vert [\Sigma _g]_\mathbb {R}\Vert _1 = \Vert \Sigma _g \Vert = 4g-4\), where \([\Sigma _g]_\mathbb {R}\in H_2(\Gamma _g;\mathbb {Z})\) denotes the fundamental class and \(\Gamma _g = \pi _1(\Sigma _g)\). Then \(\Gamma _g\) induces an action on its boundary. By identifying \(\partial \Gamma _g \cong S^1\), we obtain a circle action \(\rho :\Gamma _g \rightarrow \mathrm {Homeo}^+(S^1)\) and
i.e., \(\rho ^*\mathrm {Or}\in C^2_b(\Gamma _g; \mathbb {R})\) is an extremal cocycle for the fundamental class \([\Sigma _g]_\mathbb {R}\). Indeed, it is the renormalised volume cocycle of ideal simplices in \(\mathbb {H}^2\); see [4].
4 Stable commutator length
In recent years the topic of stable commutator length (\({{\,\mathrm{scl}\,}}\)) has seen a vast developemet thanks largely to Calegari et al. [18]. In this section, we will only give a brief overview of \({{\,\mathrm{scl}\,}}\). The definition and basic properties will be given in Sect. 4.1. A useful tool to compute \({{\,\mathrm{scl}\,}}\) is Bavard’s duality theorem, described in Sect. 4.2. We discuss examples and general properties of \({{\,\mathrm{scl}\,}}\) in Sect. 4.3.
4.1 Definition and basic properties
For a group G let \(G'\) be its commutator subgroup. The commutator length \({{\,\mathrm{cl}\,}}_G g \) of an element \(g \in G'\) is defined as
where \([x,y] := xyx^{-1}y^{-1}\). The stable commutator length of g in G is defined as
If \(g_1, \ldots , g_m \in G\) are such that \(g_1 \cdots g_m \in G'\), we will call \(g_1 + \cdots + g_m\) a chain and define the corresponding (stable) commutator length on chains by
If \(\varphi :G \rightarrow H\) is a group homomorphism, then \({{\,\mathrm{scl}\,}}_G g \ge {{\,\mathrm{scl}\,}}_H \varphi (g)\) for all \(g \in G'\); the analogous result holds for chains. In particular, \({{\,\mathrm{scl}\,}}\) is invariant under automorphisms, whence under conjugation. Thus, \({{\,\mathrm{scl}\,}}\) on single chains agrees with the usual definition of stable commutator length.
Stable commutator length has the following geometric interpretation: If X is a connected topological space and \(\gamma :S^1 \rightarrow X\) is a loop, then the stable commutator length of the associated element \([\gamma ] \in \pi _1(X)\) measures the least complexity of the surface needed to bound \(\gamma \) (we will not use this interpretation in this paper). In Section 6.2, we will describe yet another interpretation of \({{\,\mathrm{scl}\,}}\), namely as a topological stable-filling invariant.
4.2 Bavard’s duality theorem and bounded cohomology
Let G be a group. A map \(\phi :G \rightarrow \mathbb {R}\) is called a quasimorphism if there is a constant \(C > 0\) such that
The smallest such C is called the defect of \(\phi \) and is denoted by \(D(\phi )\). A quasimorphism \(\phi \) is homogeneous if in addition we have that \(\phi (g^n) = n \cdot \phi (g)\) for all \(g \in G\), \(n \in \mathbb {Z}\). Every quasimorphism \(\phi :G \rightarrow \mathbb {R}\) is in bounded distance to a unique homogeneous quasimorphism \(\bar{\phi } :G \rightarrow \mathbb {R}\), defined by setting
for every \(g \in G\). Moreover, it is well-known that \(D(\bar{\phi }) \le 2 \cdot D(\phi )\) [18, Lemma 2.58]. Analogously to the duality principle (Proposition 3.4) we may compute \({{\,\mathrm{scl}\,}}\) using homogeneous quasimorphisms:
Theorem 4.1
(Bavard’s duality theorem [1]) Let G be a group and let \(g \in G'\). Then
where the supremum is taken over all homogeneous quasimorphisms \(\phi :G \rightarrow \mathbb {R}\). Moreover, this supremum is achieved by an extremal quasimorphism.
Remark 4.2
(Homogeneous) quasimorphisms are intimately related to second bounded real cohomology. Using the inhomogeneous resolution, it can be seen that the kernel of \(c^2_G :H^2_b(G;\mathbb {R}) \rightarrow H^2(G;\mathbb {R})\) corresponds to the space of homogeneous quasimorphisms modulo \({{\,\mathrm{Hom}\,}}(G,\mathbb {R})\). It follows then from Bavard’s dualtiy theorem that the comparison map \(c^2_G :H^2_b(G;\mathbb {R}) \rightarrow H^2(G;\mathbb {R})\) is injective if and only if \({{\,\mathrm{scl}\,}}_G\) vanishes on G.
It is well known that \(H^2_b(G ; \mathbb {R})\) vanishes if G is abelian [35]. Thus every homogeneous quasimorphism on an abelian group is an honest homomorphism.
4.3 Examples
We collect some known results for stable commutator length.
In Sects. 6 and 8 we will promote \({{\,\mathrm{scl}\,}}\) in a finitely presented group G to the simplicial volume of manifolds in higher dimension. For this we need to assert that \(H_2(G;\mathbb {R})\) vanishes. Thus, we will have a particular emphasis on this condition in the examples.
4.3.1 Vanishing
An element \(g \in G'\) may satisfy that \({{\,\mathrm{scl}\,}}_G g =0\) for “trivial” reasons, such as if g is torsion or if g is conjugate to its inverse. There are many classes of groups where—besides these trivial reasons—stable commutator length vanishes on the whole group. Recall that this is equivalent to the injectivity of the comparison map \(c^2_G :H^2_b(G;\mathbb {R}) \rightarrow H^2(G;\mathbb {R})\). Examples include:
-
Amenable groups: This follows from the vanishing of \(H^2_b(G;\mathbb {R})\) for every amenable group G by a result of Trauber [35],
-
irreducible lattices in semisimple Lie groups of rank at least 2 [9], and
-
subgroups of the group \(\mathrm {PL}^+(I)\) of piecewise linear transformations of the interval [15].
4.3.2 Non-abelian free groups
In contrast, Duncan and Howie [29] showed that every element \(g \in F'{\setminus }\{e\}\) in the commutator subgroup of a non-abelian free group F satisfies \({{\,\mathrm{scl}\,}}_F g \ge 1/2\). In a sequence of papers [19, 21] Calegari showed that stable commutator length is rational in free groups and that every rational number mod 1 is realised as the stable commutator length of some element in the free group. Moreover, he gave an explicit, polynomial time algorithm to compute stable commutator length in free groups. This revealed a surprising distribution of those values. We note that these results generalise to free products of cyclic groups [57] and that all these groups G satisfy \(H_2(G;\mathbb {R})\cong 0\).
4.3.3 Gaps and groups of non-positive curvature
A group G has a gap in \({{\,\mathrm{scl}\,}}\) if there is a constant \(C>0\) such that for every group element g, we have \({{\,\mathrm{scl}\,}}_G g \ge C\) unless \({{\,\mathrm{scl}\,}}_G g =0\) for “trivial” reasons such as torsion or if g is conjugate to its inverse.
In the previous example, we already have seen that non-abelian free groups have a gap in stable commutator length of 1/2. This result has recently been generalised to right-angled Artin groups [40]. Many classes of non-positively curved groups have a gap in \({{\,\mathrm{scl}\,}}\), though this gap may not be uniform in the whole class of groups. Prominent examples include hyperbolic groups [20], mapping class groups [10], free products of torsion-free groups [22] and amalgamated free products [23, 28, 40].
4.3.4 Hyperelliptic mapping class groups
Let \(g\in \mathbb {N}\), let \(\iota \in \mathcal {M}_{g}\) be the mapping class of a hyperelliptic involution of the orientable closed connected surface \(\Sigma _g\) of genus g, and let
be the hyperelliptic mapping class group of \(\Sigma _g\). The group \(\mathcal {H}_{g}\) is finitely presented [8] and satisfies \(H_2(\mathcal {H}_{g};\mathbb {R}) \cong 0\) [47, Corollary 3.3] [6, Theorem 1.1] [11]. We now let \(g\ge 2\). Let \(t \in \mathcal {H}_{g}\) be a Dehn twist about a \(\iota \)-invariant non-separating curve on \(\Sigma _g\). Then we have
the first estimate is a computation by Monden [50, Theorem 1.2] (similar estimates also appear in the work of Endo and Kotschick [30, proof of Corollary 8]), the second estimate is due to Calegari et al. [26, Theorem 1.7].
5 The universal central extension of Thompson’s group T
Thompson’s group T was introduced in 1965 by Richard Thompson as the first example of an infinite but finitely presented simple group. It is the subgroup of \({{\,\mathrm{PL}\,}}^+(S^1)\) which maps dyadic rationals to dyadic rationals, with dyadic breakpoints and where each derivative—if defined—is an integer power of 2 (here, we identify \(\mathbb {R}/ \mathbb {Z}\cong S^1\)) [27].
Stable commutator length on Thompsons’s group T vanishes [18, Chapter 5], but interesting values for stable commutator length arise on the central extensions of T and its generalisations associated to the Euler class [60] (for the definition of the Euler extension, see Sect. 3.6).
In this section, we extend these results about stable commutator length on these extensions to the universal central extension E of T. For a perfect group G the universal central extension \(\widetilde{G}\) is the unique group that is a Schur covering group of G. It satisfies that \(H_1(\widetilde{G};\mathbb {Z}) \cong 0\) and \(H_2(\widetilde{G};\mathbb {Z}) \cong 0\) and there is an explicit construction of \(\tilde{G}\) in terms of G and \(H^2(\tilde{G};\mathbb {Z})\) (which we recall during the proof of Proposition 5.1).
Proposition 5.1
The universal central extension E of Thompson’s group T is finitely presented and satisfies that \(H_1(E;\mathbb {Z}) \cong 0 \cong H_2(E;\mathbb {Z})\). For every non-negative rational number \(q \in \mathbb {Q}_{\ge 0}\), there is an element \(e_q \in E\) with \({{\,\mathrm{scl}\,}}_E e_q =q\).
In Sect. 5.1, we recall results of Zhuang [60], which describe stable commutator length on the central extension \(\widetilde{T}\) of T associated to the Euler class. Using information on the (bounded) 2-cohomology of Thompson’s group T (Sect. 5.2), we reduce stable commutator length on E to stable commutator length on \(\widetilde{T}\) and show Proposition 5.1 (Sect. 5.3).
5.1 The Euler central extension of Thompson’s group T
We recall the connection between stable commutator length and rotation number. This connection has been established by Barge and Ghys [5] and has been used by Zhuang [60] to construct finitely presented groups with transcendental stable commutator length.
Theorem 5.2
( [5, 60]) Let \(\widetilde{T}\) be the central extension of Thompson’s group T associated to the Euler class \(^T\mathrm {eu}^\mathbb {Z}\in H^2(T;\mathbb {Z})\). Then there is a homogeneous quasimorphism \({{\,\mathrm{rot}\,}}:\widetilde{T} \rightarrow \mathbb {R}\) of defect 1, called rotation number, that generates the space of homogeneous quasimorphisms. Hence, for all \(\widetilde{t} \in \widetilde{T}\),
The rotation number is well studied and has a geometric meaning [12]. Hence, one obtains the full spectrum of stable commutator length for \(\widetilde{T}\).
Corollary 5.3
( [18]) Let \(\widetilde{T}\) be the central extension of Thompson’s group T by the Euler class. Then the image of stable commutator length on \(\widetilde{T}\) is \(\mathbb {Q}_{\ge 0}\).
Proof
Ghys and Sergiescu [37] showed that the rotation number on \(\widetilde{T}\) is rational. Moreover, it is well known that every rational number is realised as such a rotation number. To see this observe that for every integer \(n \in \mathbb {N}\) there is an element \(t_n \in T\) with a periodic orbit of size n that cyclically permutes the elements of this orbit. An appropriate lift \(\widetilde{t}_n\) of this element to \(\widetilde{T}\) will satisfy \({{\,\mathrm{rot}\,}}\widetilde{t}_n = 1/n\). By taking powers of such elements we may realise every rational as a rotation number in \(\widetilde{T}\). \(\square \)
However, Ghys and Sergiescu [37] showed that \(H_2( \widetilde{T};\mathbb {Z}) \cong \mathbb {Z}\). Thus, we cannot apply Theorem C to the group \(\widetilde{T}\).
5.2 (Bounded) 2-cohomology of Thompson’s group T
The cohomology of Thompson’s group T was computed by Ghys and Sergiescu [37]. Ghys and Sergiescu showed that the 2-cohomology \(H^2(T;\mathbb {Z})\) is generated by the Euler class \(^{T}\mathrm {eu}^{\mathbb {Z}}\) (see Sect. 3.6) and another class \(\alpha \), which has the following combinatorial description.
For a function \(\phi :S^1 \rightarrow \mathbb {R}\) that admits limits on both sides at every point in \(S^1\), let \(\phi (x_+)\) be the right and let \(\phi (x_-)\) be the left limit at \(x\in S^1\). In this case, set \(\Delta \phi (x) := \phi (x_+) - \phi (x_-)\). Moreover, for an element \(u \in T\) we denote by \(u'_r(x)\) the right derivative of u at \(x \in S^1\), i.e., \(u'_r(x) = u'(x_+)\).
Definition 5.4
(Discrete Godbillon–Vey cocycle [37, Theorem E]) The discrete Godbillon–Vey cocycle \(\overline{\mathrm {gv}}:T \times T \rightarrow \mathbb {Z}\) is defined as
where the (finite) sum runs over all \(x \in S^1\) that are breakpoints of v, u or \(u \circ v\).
The map \(\overline{\mathrm {gv}}\) is an inhomogeneous cocycle. In this section only we will use inhomogeneous cocycles as they are better to work with in the context of central extensions; the precise definition can for instance be found in Frigerio’s book [31, Chapter 1.7].
Theorem 5.5
( [37, Corollary C, Theorem E]) Thompson’s group T satisfies that \(H^2(T; \mathbb {Z}) \cong \mathbb {Z}\oplus \mathbb {Z}\). Free generators are the Euler class \(^{T}\mathrm {eu}^{\mathbb {Z}}\) and a class \(\alpha \). This class satisfies that \(2 \cdot \alpha = [\overline{\mathrm {gv}}] \in H^2(G;\mathbb {Z})\), where \(\overline{\mathrm {gv}}\) is the discrete Godbillon-Vey cocycle (Definition 5.4).
For what follows we will also need to compute the bounded cohomology of T in degree 2.
Proposition 5.6
The class \(\alpha \in H^2(T;\mathbb {Z})\) from Theorem 5.5 cannot be represented by a bounded cocycle, i.e., \(\alpha \) is not in the image of the comparison map \(H^2_b(T;\mathbb {Z}) \rightarrow H^2(T;\mathbb {Z})\). In particular, we have that
generated by the Euler class.
Proof
Note that it is enough to show the unboundedness statement for \([\overline{\mathrm {gv}}]\) as \(2 \cdot \alpha = [\overline{\mathrm {gv}}]\) (Theorem 5.5). We will show the proposition by evaluating \(\overline{\mathrm {gv}}\) on the subgroup \(\mathbb {Z}^2 \cong \langle a,b \rangle _T \subset T\), where a and b are the elements depicted in Fig. 1.
Claim 5.7
The cocycle \(\overline{\mathrm {gv}}\) restricts on \(\langle a, b \rangle _T\) to a cocycle representing a non-trivial element of \(H^2(\mathbb {Z}^2;\mathbb {Z}) \cong \mathbb {Z}\).
Proof of Claim 5.7
This claim is implicitly stated in the work of Ghys and Sergiescu [37, proof of Lemma 4.6]. For the convenience of the reader we provide an explicit proof here.
Observe that \((i,i') \mapsto \overline{\mathrm {gv}}(a^i,a^{i'})\) is a (inhomogeneous) 2-cocycle on \(\mathbb {Z}\). Since \(H^2(\mathbb {Z};\mathbb {Z})\cong 0\), we see that there is a function \(f :\mathbb {Z}\rightarrow \mathbb {Z}\) such that \(\overline{\mathrm {gv}}(a^i,a^{i'})=f(i)+f(i')-f(i+i')\) for all \(i,i' \in \mathbb {Z}\). Similarly, we see that there is a function \(g :\mathbb {Z}\rightarrow \mathbb {Z}\) such that \(\overline{\mathrm {gv}}(b^{j},b^{j'})=g(j)+g(j')-g(j+j')\). Observe that we have
for any \(x \in [0, 1/2)\) and that
This way we see that
for all \(i,j,i',j' \in \mathbb {Z}\). Similarly, we see that
We moreover calculate
Putting the above calculations together, we can now compute the restriction of \(\overline{\mathrm {gv}}\) to \(\langle a, b \rangle _T\). For all \(i,j,i',j' \in \mathbb {Z}\) we see that
where \(f_0(i,j):=f(i)\) and \(g_0(i,j):=g(j)\). Hence, evaluating \(\overline{\mathrm {gv}}\) on a fundamental cycle shows that \(\overline{\mathrm {gv}}\) restricted to \(\langle a, b \rangle _T\) represents twice a generator of \(H^2(\mathbb {Z}^2;\mathbb {Z}) \cong \mathbb {Z}\). This proves Claim 5.7. \(\square \)
It is well-known that non-trivial elements of \(H^2(\mathbb {Z}^2;\mathbb {Z})\) cannot be represented by a bounded cocycle (\(\mathbb {Z}^2\) is amenable). Hence, also \([\overline{\mathrm {gv}}]\) cannot be represented by a bounded cocycle, which proves the first part of Proposition 5.6.
Stable commutator length vanishes on T (Example 4.3.1) and so the comparison map \(c^2_T :H^2_b(T;\mathbb {R}) \rightarrow H^2(T;\mathbb {R})\) is injective (Remark 4.2). We now assume for a contradiction that \(\lambda \cdot {}^{T}\mathrm {eu}^{\mathbb {R}} + \mu \cdot \alpha \in H^2(T;\mathbb {R})\) lies in the image of the comparison map \(c^2_T :H^2_b(T;\mathbb {R}) \rightarrow H^2(T;\mathbb {R})\) and \(\mu \not = 0\). As \({}^{T}\mathrm {eu}^{\mathbb {R}}\) is bounded and \(\langle a, b \rangle _T\) is amenable, \({}^{T}\mathrm {eu}^{\mathbb {R}}\) restricts to a trivial class on \(\langle a, b \rangle _T\). Thus \(\lambda \cdot {}^{T}\mathrm {eu}^{\mathbb {R}} + \mu \cdot \alpha \) restricts to \(\mu \cdot \alpha \) on \(\langle a, b \rangle _T\) and generates \(H^2(\mathbb {Z}^2;\mathbb {R})\) (by Claim 5.7). This is a contradiction as these classes are not bounded. Hence, the only classes in the image of \(c^2_T\) are multiples of \({}^{T}\mathrm {eu}^{\mathbb {R}}\). We conclude that
generated by the Euler class. This completes the proof of Proposition 5.6. \(\square \)
5.3 Proof of Proposition 5.1
We will now prove Proposition 5.1 by explicitly computing the quasimorphisms on E and then invoking Bavard’s duality theorem. We note that there is an alternative proof using diagrams by applying Gromov’s mapping theorem. A variation of this may be found in the forthcoming paper [42, Section 3.3].
Proof of Proposition 5.1
As E arises as a group extension of finitely presented groups it is itself finitely presented. The group T is simple [27] and thus in particular perfect. The universal central extension E of a perfect group T always satisfies that \(H_1(E;\mathbb {Z}) \cong 0 \cong H_2(E;\mathbb {Z})\) [58, Chapter 6.9].
It remains to show that every rational number \(q \in \mathbb {Q}\) is the stable commutator length of some element \(e_q \in E\). For this note that E may be explicitly described as the group on the set \(\mathbb {Z}^2 \times T\) with multiplication
where \(^{T}{{\,\mathrm{Eu}\,}}\) (resp. \(\mathrm {A}\)) is an inhomogeneous cocycle representing \(^{T} \mathrm {eu}^{\mathbb {Z}} \in H^2(T;\mathbb {Z})\) (resp. \(\alpha \in H^2(T;\mathbb {Z})\)). Similarly \(\widetilde{T}\) may be described as the set \(\mathbb {Z}\times T\) with group multiplication \((i,t) \times (i',t') \mapsto (i+i'+ ^{T}{{\,\mathrm{Eu}\,}}(t,t'), t \cdot t')\).
Claim 5.8
For every \((i_0,t_0) \in \widetilde{T}\), we have that \({{\,\mathrm{scl}\,}}_{\widetilde{T}}(i_0,t_0) = {{\,\mathrm{scl}\,}}_E\bigl ( \left( {\begin{matrix} i_0 \\ 0 \end{matrix}} \right) , t_0\bigr )\).
Proof of Claim 5.8
The homomorphism \(\kappa :E \rightarrow \widetilde{T}\) defined by \(\kappa :\bigl ( \left( {\begin{matrix} i \\ j \end{matrix}} \right) , t\bigr ) \mapsto (i,t)\) shows by monotonicity of \({{\,\mathrm{scl}\,}}\) that \({{\,\mathrm{scl}\,}}_E\bigl ( \left( {\begin{matrix} i_0 \\ 0 \end{matrix}} \right) , t_0\bigr ) \ge {{\,\mathrm{scl}\,}}_{\widetilde{T}} \kappa \bigl ( \left( {\begin{matrix} i_0 \\ 0 \end{matrix}} \right) , t_0\bigr ) = {{\,\mathrm{scl}\,}}_{\widetilde{T}} (i_0,t_0)\). We now prove the converse inequality.
Let \(\phi :E \rightarrow \mathbb {R}\) be a homogeneous extremal quasimorphism to the element \( \bigl (\left( {\begin{matrix} i_0 \\ 0 \end{matrix}} \right) , t_0\bigr ) \). Then \(\phi \) restricted to the centre of E is a homogeneous quasimorphism on an abelian group, and thus a homomorphism; see Remark 4.2. Thus there are constants \(\lambda _{{}{{\,\mathrm{Eu}\,}}{}}, \lambda _{\mathrm {A}} \in \mathbb {R}\) such that \(\phi \bigl (\left( {\begin{matrix} i \\ j \end{matrix}} \right) , {{\,\mathrm{id}\,}}\bigr ) = \lambda _{{{\,\mathrm{Eu}\,}}} \cdot i + \lambda _\mathrm {A}\cdot j\) for all \(i,j \in \mathbb {Z}\).
We will first show that \(\lambda _{\mathrm {A}}=0\). For every element z in the centre and an element \(e \in E\), the group \(\langle z, e \rangle \) generated by z and e is abelian and hence \(\phi \) restricts to a homomorphism on \(\langle z, e \rangle \) by again using Remark 4.2. Hence we have \(\phi (z \cdot e) = \phi (z) + \phi (e)\) for all z in the centre and \(e \in E\). We define \(\Delta \in C^2(T;\mathbb {R})\) as \( \Delta (t,t') := \delta ^1 \phi \bigl ( \bigl ( \left( {\begin{matrix} 0 \\ 0 \end{matrix}} \right) , t\bigr ) , \bigl ( \left( {\begin{matrix} 0 \\ 0 \end{matrix}} \right) , t' \bigr ) \bigr ) \) for all \(t,t' \in T\). Then \(\Delta \) is uniformly bounded, because \(\phi \) is a quasimorphism. We compute
for all \(t, t' \in T\) and for \(\psi :T \rightarrow \mathbb {R}\) defined via \(\psi :t \mapsto \phi (\left( {\begin{matrix} 0 \\ 0 \end{matrix}} \right) , t)\). Thus
and hence \(\lambda _{\mathrm {A}} \cdot \mathrm {A}- \delta ^1 \psi \) defines a bounded cocycle as the right hand side is uniformly bounded. If \(\lambda _{\mathrm {A}} \not = 0\), then this would imply that \(\alpha \) may be represented by a bounded cocycle, which would contradict Proposition 5.6. Thus \(\lambda _{\mathrm {A}}=0\).
Define a quasimorphism \(\phi _{\widetilde{T}}\) on \(\widetilde{T}\) by setting \(\phi _{\widetilde{T}}(i,t) = \phi (\left( {\begin{matrix} i \\ 0 \end{matrix}} \right) , t) \) and observe that \(\phi _{\widetilde{T}}\) is homogeneous as well and that \( \phi _{\widetilde{T}}(i_0,t_0) = \phi ( \left( {\begin{matrix} i_0 \\ 0 \end{matrix}} \right) ,t_0)) \). For all \(i,i',j,j' \in \mathbb {Z}\), \(t,t' \in T\) we compute that
and thus \(D(\phi ) = D(\phi _{\widetilde{T}})\).
Using Bavard’s duality theorem we compute
This proves the other inequality and thus finishes the proof of Claim 5.8. \(\square \)
We may now finish the proof of Proposition 5.1. Every \(q \in \mathbb {Q}_{\ge 0}\) is the stable commutator length of some element \(t_q \in \widetilde{T}\) by Corollary 5.3. Using Claim 5.8, we may construct an element \(e_q \in E\) with \({{\,\mathrm{scl}\,}}_E e_q = {{\,\mathrm{scl}\,}}_{\tilde{T}} t_q = q\). \(\square \)
6 Fillings
Stable commutator length can be interpreted as a homological filling norm (Sect. 6.2). After recalling the basic notions and properties, we will use this interpretation to compute the \(l^1\)-semi-norm of classes related to decomposable relators and thus prove Theorem C (Sect. 6.3). This will allow us to establish the group-theoretic version of the no-gap theorem (Theorem D); for the proof of Theorems C and D, we will only need the filling norm in dimension 2, as already considered by Bavard [1] and Calegari [18, Chapter 2.5/2.6]. Moreover, we will explain how in the higher-dimensional case the simplicial volume of manifolds can also be viewed as a filling norm (Sect. 6.4).
6.1 Stable filling norms
We first recall the stable filling norm for the bar complex. We will then extend this notion to topological spaces and higher degrees. For a group G, the bar complex \(C_{\bullet }(G;\mathbb {R})\) (computing \(H_{\bullet }(G;\mathbb {R})\)) has the following form in low degrees: We have \(C_1(G;\mathbb {R}) = \mathbb {R}[G]\) and \(\partial _1 = 0\) as well as \(C_2(G;\mathbb {R}) = \mathbb {R}[G]^2\) and
Moreover, the chain modules of \(C_{\bullet }(G;\mathbb {R})\) are endowed with the \(l^1\)-norm corresponding to the bar bases.
Definition 6.1
((Stable) filling norm) Let G be a group.
-
If \(c \in \partial C_2(G;\mathbb {R})\), the filling norm of c is defined as
$$\begin{aligned} {{\,\mathrm{fill}\,}}_G c := \inf \bigl \{ |b|_1 \bigm | b \in C_2(G;\mathbb {R}),\ \partial b = c \bigr \}. \end{aligned}$$ -
Let \(m \in \mathbb {N}\) and let \(r_1,\dots , r_m \in G'\). The stable filling norm of \(r_1 + \dots + r_m\) is defined as
$$\begin{aligned} {{\,\mathrm{sfill}\,}}_G (r_1 + \dots + r_m) := \lim _{n \rightarrow \infty } \frac{1}{n} \cdot {{\,\mathrm{fill}\,}}_G (r_1^n + \dots + r_m^n). \end{aligned}$$
Notice that the limit in the definition of the stable filling norm indeed exists [18, p. 34].
For the generalisation to topological spaces, we replace group elements by loops (or maps from simplicial spheres) and we replace taking powers of group elements by composition with self-maps of spheres of the corresponding degree.
Definition 6.2
(Topological (stable) filling norms) Let \(d\in \mathbb {N}\), let X be a topological space, and let \(\sigma :\partial \Delta ^d \rightarrow X\) be continuous.
-
If \(c \in \partial (C_d(X;\mathbb {R}))\), the filling norm of c is defined as
$$\begin{aligned} {{\,\mathrm{fill}\,}}_X c := \inf \bigl \{ |b|_1 \bigm | b \in C_d(X;\mathbb {R}),\ \partial b = c \bigr \}. \end{aligned}$$ -
The filling norm of \(\sigma \) is then defined as
$$\begin{aligned} {{\,\mathrm{fill}\,}}_X \sigma := {{\,\mathrm{fill}\,}}_X c_\sigma = \inf \bigl \{ |b|_1 \bigm | b \in C_d(X;\mathbb {R}),\ \partial b = c_\sigma \bigr \}, \end{aligned}$$where \(c_\sigma := C_{d-1}(\sigma ;\mathbb {R})(\partial {{\,\mathrm{id}\,}}_{\Delta ^d}) \in C_{d-1}(X;\mathbb {R})\) is the canonical singular cycle associated with \(\sigma \).
-
The stable filling norm of \(\sigma \) is defined as
$$\begin{aligned} {{\,\mathrm{sfill}\,}}_X \sigma := \lim _{n \rightarrow \infty } \frac{{{\,\mathrm{fill}\,}}_X \sigma [n]}{n}, \end{aligned}$$where for \(n \in \mathbb {N}\), we write \(w_n:\partial \Delta ^d \rightarrow \partial \Delta ^d\) for “the” standard self-map of \(\partial \Delta ^d \cong S^{d-1}\) of degree n and \(\sigma [n] := \sigma \circ w_n\).
-
If \(m \in \mathbb {N}\) and \(\sigma _1, \dots , \sigma _m :\partial \Delta ^d \rightarrow X\) are continuous maps, then we define
$$\begin{aligned} {{\,\mathrm{fill}\,}}_X (\sigma _1 + \cdots + \sigma _m)&:= {{\,\mathrm{fill}\,}}_X (c_{\sigma _1} + \cdots + c_{\sigma _m}) \\ {{\,\mathrm{sfill}\,}}_X (\sigma _1 + \cdots + \sigma _n)&:= \lim _{n \rightarrow \infty } \frac{1}{n} \cdot {{\,\mathrm{fill}\,}}_X \bigl (\sigma _1[n] + \dots + \sigma _m[n]\bigr ) \end{aligned}$$
Remark 6.3
(Existence of the stabilisation limit) The limits in the situation of the definition above indeed exist: For notational convenience, we only prove the existence in the case of \({{\,\mathrm{sfill}\,}}_X \sigma \); the general case can be proved in the same way (with additional indices). The argument is similar to the one for the stable filling norm in the bar complex. The only complication is that, in order to compare different “powers”, we will need to use the uniform boundary condition for \(C_{\bullet }(\partial \Delta ^d;\mathbb {R})\).
Because \(\pi _1(\partial \Delta ^d)\) is amenable, there exists a constant \(K \in \mathbb {R}_{>0}\) with the following property [32, 51]: For every \(z \in \partial (C_d(\partial \Delta ^d;\mathbb {R}))\) there is a \(b \in C_d( \partial \Delta ^d;\mathbb {R})\) with
If \(n,m \in \mathbb {N}\), then the chains \(c_{w_n} + c_{w_m}\) and \(c_{w_{n+m}}\) are homologous in the complex \(C_{\bullet }(\partial \Delta ^d;\mathbb {R})\) (because \(\deg w_n + \deg w_m = n + m = \deg w_{n+m}\)). Thus, there exists a chain \(b_{n,m} \in C_d(\partial \Delta ^d;\mathbb {R})\) such that
Hence, for every continuous map \(\sigma :\partial \Delta ^d \rightarrow X\) we obtain
and so
Now elementary analysis shows that the limit \(\lim _{n\rightarrow \infty } 1/n \cdot {{\,\mathrm{fill}\,}}_X\sigma [n]\) does exist.
Remark 6.4
(Change of the self-maps) The map \(w_n\) is only unique up to homotopy, but homotopic choices for \(w_n\) lead to the same stable filling norm; this can be seen using the uniform boundary condition as in the proof of the existence of the stable filling limits (Remark 6.3). Therefore, this ambiguity will be of no consequence for us.
Remark 6.5
(Change of the singular models) In the situation of Definition 6.2, we could choose other singular cycle models of \(\sigma \) than \(c_\sigma \): If \(c' \in C_{d-1}(\partial \Delta ^{d};\mathbb {R})\) is a fundamental cycle of \(\partial \Delta ^d\), if \(b' \in C_d(\partial \Delta ^d;\mathbb {R})\) satisfies \(\partial b' = c' - c\), and if \(c'_\sigma := C_{d-1}(\sigma ;\mathbb {R})(c')\), then
For the second equality, we use that \(|C_d(\sigma [n];\mathbb {R})(b')|_1 \le |b'|_1\) holds for all \(n \in \mathbb {N}\) (so that the difference in norm is negligible when taking \(n \rightarrow \infty \)).
Remark 6.6
(Bar filling vs. topological filling) Let G be a group, let \(m \in \mathbb {N}\), and let \(r_1, \dots , r_m \in G'\). If X is a model of BG and \(\sigma _1, \dots , \sigma _m :\partial \Delta ^2 \rightarrow X\) are loops representing \(r_1,\dots , r_m\), respectively, then
This can be seen as follows: The standard constructions produce chain maps \(\varphi :C_{\bullet }(G;\mathbb {R}) \rightarrow C_{\bullet }(X;\mathbb {R})\) (choosing paths in \(\widetilde{X}\) for each group element and inductively filling the simplices) and \(\psi :C_{\bullet }(X;\mathbb {R}) \rightarrow C_{\bullet }(G;\mathbb {R})\) (choosing a set-theoretic fundamental domain D for the deck transformation action on \(\widetilde{X}\) and looking at the translates of D that contain the vertices of the lifted simplices) with the following properties:
-
\(\psi \circ \varphi = {{\,\mathrm{id}\,}}_{C_{\bullet }(G;\mathbb {R})}\),
-
\(\varphi \circ \psi \simeq {{\,\mathrm{id}\,}}_{C_{\bullet }(X;\mathbb {R})}\) through a chain homotopy h that is bounded in every degree,
-
\(\Vert \varphi \Vert \le 1\) and \(\Vert \psi \Vert \le 1\).
The first and third conditions easily imply that
moreover, we have \(\psi (\sigma _j[n]) =r_j^n\) for all \(j \in \{1,\dots ,m\}\) and all \(n \in \mathbb {N}\). Hence,
Conversely, if \(b \in C_2(G;\mathbb {R})\) satisfies \(\partial b = r_1 + \cdots + r_m\), then
satisfies
Thus, \( {{\,\mathrm{fill}\,}}_X (\sigma _1 + \cdots + \sigma _m ) \le |\overline{b}|_1 \le |b|_1 + \Vert h \Vert \cdot m. \) Taking the infimum over all such b results in
Passing to the stabilisation limit, we obtain
6.2 Stable commutator length as filling invariant
The fact that every commutator consists of four pieces has the following generalisation in terms of filling norms:
Lemma 6.7
(\({{\,\mathrm{scl}\,}}\) as filling invariant) Let G be a group, let \(m \in \mathbb {N}\), and let \(r_1, \dots , r_m \in G'\). Then
Proof
In the case of a single relator, this observation goes back to Bavard [1, Proposition 3.2] [18, Lemma 2.69]. Calegari extended this equality to the case of linear combinations [18, Lemma 2.77].\(\square \)
Furthermore, as Calegari [17] puts it: “One can interpret stable commutator length as the infimum of the \(L^1\) norm (suitably normalized) on chains representing a certain (relative) class in group homology.” We will prove this statement in Corollary 6.9 as a special case of the following generalisation:
Proposition 6.8
(Relative ł\(^1\)-semi-norm as filling invariant) Let Z be a CW-complex, let \(m \in \mathbb {N}_{>0}\), \(d \in \mathbb {N}_{\ge 2}\), let \(\partial Z \subset Z\) be a subspace that is homeomorphic to \(\coprod _m \partial \Delta ^d\) and such that the inclusions \(\sigma _1 ,\dots , \sigma _m :\partial \Delta ^d \rightarrow Z\) of the m components of \(\partial Z\) into Z are \(\pi _1\)-injective (this is automatic if \(d \ge 3\)).
-
1.
If \(\beta \in H_d(Z,\partial Z;\mathbb {R})\) with \(\partial \beta = [\partial Z]_\mathbb {R}\), then
$$\begin{aligned} \Vert \beta \Vert _1 \ge {{\,\mathrm{sfill}\,}}_Z (\sigma _1 + \cdots + \sigma _m). \end{aligned}$$ -
2.
If the connecting homomorphism \(\partial :H_d(Z,\partial Z;\mathbb {R}) \rightarrow H_{d-1} (\partial Z ;\mathbb {R})\) is an isomorphism and if \(\beta \in H_d(Z ,\partial Z;\mathbb {R})\) is the class with \(\partial \beta = [\partial Z]_\mathbb {R}\), then
$$\begin{aligned} \Vert \beta \Vert _1 = {{\,\mathrm{sfill}\,}}_Z (\sigma _1 + \cdots + \sigma _m). \end{aligned}$$
Proof
We first show the estimate \({{\,\mathrm{sfill}\,}}_{Z} (\sigma _1 + \dots + \sigma _m) \le \Vert \beta \Vert _1\): Clearly, the group \(\pi _1(\partial \Delta ^d)\) is amenable; because \(\sigma _1,\dots , \sigma _m\) are \(\pi _1\)-injective, the equivalence theorem [35] [14, Corollary 6] ensures that for every \(\epsilon \in \mathbb {R}_{>0}\) there exists a relative cycle \(c \in C_d(Z;\mathbb {R})\) representing \(\beta \) in \(H_d(Z,\partial Z;\mathbb {R})\) with
Moreover, because the fundamental group of the m components of \(\partial Z\) are amenable, there exists a constant \(K \in \mathbb {R}_{>0}\) implementing the uniform boundary condition [51]: For every \(z \in \partial (C_d(\partial Z;\mathbb {R}))\) there is a \(b \in C_d(\partial Z;\mathbb {R})\) with
Let \(\epsilon \in \mathbb {R}_{>0}\), let c be a relative cycle as in (1), and let \(n \in \mathbb {N}\) with \(n \ge 1/\epsilon \). Then \(z := \partial c - 1/n \cdot (c_{\sigma _1[n]} + \dots + c_{\sigma _m[n]}) \in C_{d-1}(\partial Z;\mathbb {R})\) is a boundary (both summands are fundamental cycles of \(\partial Z\)). Hence, there exists a \(b \in C_d(\partial Z;\mathbb {R})\) with
The chain \(n \cdot (c - b) \in C_d(Z;\mathbb {R})\) then witnesses that
Taking first \(n\rightarrow \infty \) and then \(\epsilon \rightarrow 0\) shows that \({{\,\mathrm{sfill}\,}}_{Z} (\sigma _1 + \cdots + \sigma _m) \le \Vert \beta \Vert _1\).
Conversely, we will now prove that \(\Vert \beta \Vert _1 \le {{\,\mathrm{sfill}\,}}_{Z} (\sigma _1 + \cdots + \sigma _m)\) under the additional assumption that \(\partial :H_d(Z,\partial Z;\mathbb {R}) \rightarrow H_{d-1}(\partial Z;\mathbb {R})\) is an isomorphism: Let \(n \in \mathbb {N}_{>0}\) and let \(b \in C_d(Z;\mathbb {R})\) with \(\partial b = c_{\sigma _1[n]} + \cdots + c_{\sigma _m[n]}\). In particular, b is a relative cycle for \((Z, \partial Z)\); moreover, \(1/n \cdot b\) represents \(\beta \) (because \(\partial (1/n \cdot b) = 1/n \cdot (c_{\sigma _1[n]} + \cdots + c_{\sigma _m[n]})\) is a fundamental cycle of \(\partial Z\)). Hence,
Taking first the infimum over all such b and then \(n \rightarrow \infty \) yields the desired estimate \(\Vert \beta \Vert _1 \le {{\,\mathrm{sfill}\,}}_{Z} (\sigma _1 + \cdots + \sigma _m)\). \(\square \)
Corollary 6.9
(\({{\,\mathrm{scl}\,}}\) as relative \(l^1\)-semi-norm) Let G be a group that satisfies \(H_2(G;\mathbb {R}) \cong 0\), let \(m \in \mathbb {N}\), let \(r_1,\dots , r_m \in G'\) be elements of infinite order, and let X be a model of BG. Let
be the mapping cylinder associated with (loops \(\gamma _1,\dots , \gamma _r\) in X representing) the elements \(r_1,\dots , r_m\), and let \(\partial Z := \coprod _m S^1 \times \{1\} \subset Z\). Then there exists a unique relative homology class \(\beta \in H_2(Z,\partial Z;\mathbb {R})\) whose boundary class \(\partial \beta \) is the fundamental class of \(\coprod _m S^1\); the class \(\beta \) satisfies
Proof
The long exact homology sequence of the pair \((Z,\partial Z)\) shows that the connecting homomorphism \(\partial :H_2(Z,\partial Z;\mathbb {R}) \rightarrow H_1(\partial Z;\mathbb {R})\) is an isomorphism (by hypothesis, \(H_2(Z;\mathbb {R}) \cong H_2(X;\mathbb {R}) \cong H_2(G;\mathbb {R}) \cong 0\), and the inclusion \(\partial Z \hookrightarrow Z\) induces the trivial homomorphism on \(H_1(\;\cdot \;;\mathbb {R})\) because \(r_1, \dots , r_m\) are in the commutator subgroup of G). This shows the existence of \(\beta \).
Because \(r_1, \dots , r_m \in G'\) all have infinite order, the corresponding inclusions \(\sigma _1,\dots , \sigma _m :\partial \Delta ^2 \rightarrow Z\) of the components of \(\partial Z\) into Z are \(\pi _1\)-injective.
Applying Proposition 6.8 (using \(S^1 \cong \partial \Delta ^2\)), we obtain
In combination with Remark 6.6 and Lemma 6.7, this shows that
\(\square \)
Corollary 6.10
(\({{\,\mathrm{scl}\,}}\) as relative \(l^1\)-semi-norm; free groups) Let S be a set, let \(m \in \mathbb {N}\), let \(r_1,\dots , r_m \in F(S)'\) be non-trivial, let
be the mapping cylinder associated with (loops \(\gamma _1,\dots , \gamma _r\) representing) \(r_1,\dots , r_m\), and let \(\partial Z := \coprod _m S^1 \times \{1\} \subset Z\). Moreover, let \(\beta \in H_2(Z, \partial Z ;\mathbb {R})\) be the relative homology class whose boundary class \(\partial \beta \) is the fundamental class of \(\coprod _m S^1\). Then
Proof
Clearly, \(\bigvee _S S^1\) is a model of BF(S) and \(H_2(F(S);\mathbb {R}) \cong 0\). Therefore, we can apply Corollary 6.9. \(\square \)
6.3 Decomposable relators
The filling view allows us to compute the \(l^1\)-semi-norm for certain classes in degree 2 associated to “decomposable relators” in terms of stable commutator length. Let us first describe these homology classes:
Setup 6.11
(Decomposable relators I) Let \(G_1\) and \(G_2\) be groups that satisfy \(H_2(G_1;\mathbb {R}) \cong 0\) and \(H_2(G_2;\mathbb {R}) \cong 0\) and let \(r_1 \in G_1'\), \(r_2 \in G_2'\) be elements of infinite order. We then consider the glued group
where the amalgamation homomorphisms \(\mathbb {Z}\rightarrow G_1\) and \(\mathbb {Z}\rightarrow G_2\) are given by \(r_1\) and \(r_2^{-1}\), respectively.
Associated with this situation, there is a canonical homology class \(\alpha \in H_2(D(G_1,G_2,r_1,r_2);\mathbb {R})\): Let \(X_1\) and \(X_2\) be classifying spaces for \(G_1\) and \(G_2\), respectively. We consider the cylinder spaces
for the relators \(r_1\) and \(r_2\), respectively. Then
is a CW-complex such that the canonical maps \(Z_1 \rightarrow P\) and \(Z_2 \rightarrow P\) induce an isomorphism \(\pi _1(P) \cong D(G_1,G_2,r_1,r_2) =: G\).
Let \(\beta _1 \in H_2(Z_1, S^1 \times \{1\};\mathbb {R})\) and \(\beta _2 \in H_2(Z_2,S^1 \times \{1\};\mathbb {R})\) be the relative classes whose boundaries are fundamental classes of \(S^1 \times \{1\}\) (corresponding to the relators \(r_1\) and \(r_2\), respectively). Moreover, let \(\widetilde{\alpha } \in H_2(P;\mathbb {R})\) be the class obtained by glueing \(\beta _1\) and \(\beta _2\). Then, we define \(\alpha \in H_2(G;\mathbb {R})\) as the image of \(\widetilde{\alpha }\) under the classifying map \(P \rightarrow BG\) (which is induced by the canonical maps \(Z_1 \rightarrow P\) and \(Z_2 \rightarrow P\)).
Remark 6.12
(Integrality of the canonical class) In the situation of Setup 6.11, the canonical homology class \(\alpha \) is integral: It suffices to show that \(\widetilde{\alpha } \in H_2(P;\mathbb {R})\) is integral. Comparing the long exact sequences of \((Z_1,\partial Z_1)\) with \(\mathbb {Z}\)- and \(\mathbb {R}\)-coefficients shows that \(\beta _1 \in H_2(Z_1,\partial Z_1;\mathbb {R})\) is an integral class. Analogously, \(\beta _2\) is integral. Thus, also the glued class \(\widetilde{\alpha }\) is integral.
Setup 6.13
(Decomposable relators II) Let \(G_1\) be a group with \(H_2(G_1;\mathbb {R}) \cong 0\) and let \(r_1, r_2 \in G_1'\) be elements of infinite order. We then consider the group
where t is a fresh generator of \(\langle t \rangle \cong \mathbb {Z}\).
Also here, there is a canonical homology class \(\alpha \in H_2(T(G_1,r_1,r_2);\mathbb {R})\), which is defined as follows: Let \(X_1\) be a model of \(BG_1\) and let
be the cylinder space associated with \(r_1\) and \(r_2\). Let \(\beta \in H_2(Z,\partial Z;\mathbb {R})\) be the relative “fundamental” class as in Corollary 6.9. Glueing the two cylindrical ends of Z by an orientation reversing homeomorphism leads to a CW-complex P such that \(\pi _1(P) \cong T(G_1,r_1,r_2) =: G\) in the obvious way (the additional generator t corresponds to the loop \(\{1\} \times ([0,1] \sqcup _{s \sim s} [0,1])\) in the looped cylinder. Let \(\widetilde{\alpha } \in H_2(P;\mathbb {R})\) be the class obtained by glueing \(\beta \) to itself via the cylinder. Then we define \(\alpha \in H_2(G;\mathbb {R})\) as the image of \(\widetilde{\alpha }\) under the classifying map \(P \rightarrow BG\) (which is induced by the canonical map \(X_1 \rightarrow P\) and the cylinder loop).
Theorem 6.14
(Decomposable relators) Let \(G_1\) be a group with \(H_2(G_1;\mathbb {R}) \cong 0\) and let \(r_1 \in G_1'\) be an element of infinite order.
-
1.
Let \(G_2\) also be a group with \(H_2(G_2;\mathbb {R}) \cong 0\), let \(r_2 \in G_2'\) be an element of infinite order, and let \(\alpha \in H_2(D(G_1,G_2,r_1,r_2);\mathbb {R})\) be the canonical homology class (Setup 6.11). Then
$$\begin{aligned} \Vert \alpha \Vert _1 = 4 \cdot ({{\,\mathrm{scl}\,}}_{G_1} r_1 + {{\,\mathrm{scl}\,}}_{G_2} r_2 ) = 4 \cdot \Bigl ({{\,\mathrm{scl}\,}}_{G_1 * G_2} (r_1 \cdot r_2) - \frac{1}{2} \Bigr ). \end{aligned}$$ -
2.
Let \(r_2 \in G_1'\) be an element of infinite order, let \(\alpha \in H_2(T(G_1,r_1,r_2);\mathbb {R})\) be the canonical class (Setup 6.13), and let t be the fresh letter in \(T(G_1,r_1,r_2)\). Then
$$\begin{aligned} \Vert \alpha \Vert _1 = 4 \cdot {{\,\mathrm{scl}\,}}_{G_1} (r_1 + r_2) = 4 \cdot \Bigl ( {{\,\mathrm{scl}\,}}_{G_1 * \langle t \rangle } (r_1 \cdot t \cdot r_2 \cdot t^{-1}) - \frac{1}{2}\Bigr ). \end{aligned}$$
Proof
In both cases, we will use that the stable commutator length and the canonical CW-complexes of decomposable relators can be expressed in terms of the stable commutator lengths and cylinder complexes of the sub-relators.
Ad 1 It is known that [18, Proposition 2.99]
We will now show that \(\Vert \alpha \Vert _1\) equals \(4 \cdot ({{\,\mathrm{scl}\,}}_{G_1} r_1 + {{\,\mathrm{scl}\,}}_{G_2} r_2)\). In the following, we will use the notation from Setup 6.11. By construction, we have
where \(c :P \rightarrow BD(G_1,G_2,r_1,r_2)\) is the classifying map of P. The mapping theorem (Corollary 3.5) shows that \(\Vert \alpha \Vert _1 = \Vert \widetilde{\alpha }\Vert _1\). Therefore, it suffices to compute \(\Vert \widetilde{\alpha }\Vert _1\).
Because \(r_1\) and \(r_2\) have infinite order, the inclusions of \(S^1 \times \{1\}\) into \(Z_1\) and \(Z_2\), respectively, are \(\pi _1\)-injective. As \(\pi _1(S^1 \times \{1\}) \cong \mathbb {Z}\) is amenable, the amenable glueing theorem [14, Section 6] shows that
the proofs of Bucher et al. carry over from the manifold case to this setting, because they established the necessary tools in bounded cohomology in this full generality. Moreover, we know that (Corollary 6.9)
Putting it all together, we obtain \(\Vert \alpha \Vert _1 = \Vert \widetilde{\alpha }\Vert _1 = 4 \cdot ({{\,\mathrm{scl}\,}}_{G_1}r_1 + {{\,\mathrm{scl}\,}}_{G_2} r_2) \), as claimed.
Ad 2 We argue in a similar way as in the first part: In this situation, it is known that [18, Theorem 2.101]
We will now use the notation from Setup 6.13. The classifying map \(c :P \rightarrow BT(G_1,r_1,r_2)\) maps \(\widetilde{\alpha }\) to the canonical class \(\alpha \in H_2(G;\mathbb {R})\) and the mapping theorem (Corollary 3.5) shows that \(\Vert \alpha \Vert _1 = \Vert \widetilde{\alpha }\Vert _1\).
Because \(r_1\) and \(r_2\) have infinite order, we can again use the amenable glueing theorem to deduce that
Moreover, Corollary 6.9 shows that
Therefore, we obtain \(\Vert \alpha \Vert _1 = \Vert \widetilde{\alpha }_1\Vert _1 = 4 \cdot {{\,\mathrm{scl}\,}}_{G_1}(r_1 + r_2)\). \(\square \)
In the case that \(G_1\) and \(G_2\) are free groups, statements of this type are also contained in arguments of Calegari [16, p. 2004].
Unfortunately, there does not seem to be an easy way to remove the condition \(H_2(G_1;\mathbb {R}) \cong 0\) in Theorem 6.14: Without this condition, we have too much ambiguity in the proof of Proposition 6.8 to ensure integrality and norm control simultaneously.
6.4 Simplicial volume as filling invariant
We mention that also simplicial volume of higher-dimensional manifolds admits a description as a filling invariant (this result will not be used in the rest of the paper):
Theorem 6.15
(Simplicial volume as filling invariant) Let \(d \in \mathbb {N}_{\ge 2}\), let M be an orientable closed connected d-manifold, let \(\tau :\Delta ^d \rightarrow M\) be an embedding of the standard d-simplex into M (i.e., \(\tau \) is a homeomorphism onto its image), let \(\Delta := \tau (\Delta ^d) \subset M\), and let \(\sigma := \tau |_{\partial \Delta ^d} :\partial \Delta ^d \rightarrow M\).
-
1.
Then \(\Vert M {\setminus }\Delta ^\circ , \partial \Delta \Vert = {{\,\mathrm{sfill}\,}}_{M {\setminus }\Delta ^\circ } \sigma \).
-
2.
If \(d \ge 3\), then \(\Vert M\Vert = {{\,\mathrm{sfill}\,}}_{M \setminus \Delta ^\circ } \sigma \).
-
3.
If \(d = 2\) and \(M \not \simeq S^2\), then \(\Vert M\Vert = {{\,\mathrm{sfill}\,}}_{M \setminus \Delta ^\circ } \sigma - 2\).
Proof
Ad 1 This is a special case of Proposition 6.8: We consider \(Z := M \setminus \Delta ^\circ \). The map \(\sigma :\partial \Delta ^d \rightarrow M \setminus \Delta ^\circ = Z\) is \(\pi _1\)-injective (if \(d \ge 3\), then \(\pi _1(\partial \Delta ^d)\) is trivial; if \(d = 2\), this holds by the classification of surfaces and the assumption \(M \not \simeq S^2\)). In view of Poincaré duality, the hypothesis on \(H_d(Z,\partial Z;\mathbb {R})\) is satisfied. We therefore can apply Proposition 6.8 to obtain
Ad 2 In view of the first part, it suffices to show that \(\Vert M\Vert = \Vert M \setminus \Delta ^\circ , \partial \Delta \Vert \). The amenable glueing theorem for simplicial volume [14, 33, 35] shows that
(because \(d\ge 3\), both inclusions \(\partial \Delta \rightarrow M \setminus \Delta ^\circ \) and \(\partial \Delta \rightarrow \Delta \) are \(\pi _1\)-injective). Moreover, \(\Vert \Delta ^d, \partial \Delta ^d\Vert = 0\) [35]. Hence, we obtain \(\Vert M\Vert = \Vert M\setminus \Delta ^\circ , \partial \Delta \Vert \).
Ad 3 Again, in view of the first part, it suffices to show that \(\Vert M\Vert = \Vert M \setminus \Delta ^\circ , \partial \Delta \Vert - 2\). In this, two-dimensional, case, this equality follows from the classification of compact surfaces and the computation of the (relative) simplicial volume of compact surfaces in terms of their genus [35, 56]. \(\square \)
6.5 Proof of Theorems C and D
Theorem C is a special case of Theorem 6.14 with the decomposable relators of Setup 6.11. Let G be a group that satisfies \(H_2(G;\mathbb {R}) \cong 0\) and let \(r \in G'\) be an element of infinite order. Then we define the double D(G, r) of G and r by setting
where \(G_{\text {left}}\) and \(G_{\text {right}}\) are isomorphic copies of G and \(r_{\text {right}} \in G_{\text {right}}\), \(r_{\text {left}} \in G_{\text {left}}\) are the elements corresponding to \(r \in G\). Observe that if G is finitely presented, then so is D(G, r). As in Setup 6.11 there is a canonical integral class \(\alpha \in H_2(D(G,r);\mathbb {R})\).
Corollary 6.16
(Theorem C) Let G be a group with \(H_2(G;\mathbb {R}) \cong 0\) and let \(r \in G'\) be of infinite order. Then the canonical integral class \(\alpha \in H_2(D(G,r);\mathbb {R})\) satisfies
Proof
This is an immediate corollary of Theorem 6.14 (1). \(\square \)
Applying Theorem C to the universal central extension E of Thompson’s group T, we deduce Theorem D:
Corollary 6.17
(Theorem D) For every \(q \in \mathbb {Q}_{\ge 0}\), there is a finitely presented group \(G_q\) and an integral class \(\alpha _q \in H_2(G_q;\mathbb {R})\) such that \(\Vert \alpha _q \Vert _1 = q\). In particular, for every \(\epsilon > 0\) there is a finitely presented group \(G_\epsilon \) and an integral class \(\alpha _\epsilon \in H_2(G_\epsilon ;\mathbb {R})\) such that \(0 < \Vert \alpha _\epsilon \Vert _1 \le \epsilon \).
Proof
Let \(q \in \mathbb {Q}_{\ge 0}\). For \(q=0\) we can take the zero class of the trivial group (or any integral 2-class in any finitely presented amenable group).
For \(q > 0\), let \(r_q \in E\) be an element in the universal central extension E of Thompson’s group T with \({{\,\mathrm{scl}\,}}_E r_q = q/8\). Proposition 5.1 asserts that such an element exists, that E is finitely presented and that \(H_2(E;\mathbb {Z})\cong 0\) and hence \(H_2(E;\mathbb {R})\cong 0\). As \({{\,\mathrm{scl}\,}}_E r_q > 0\) the element \(r_q \in E\) has infinite order.
Let \(G_q := D(E,r_q)\) be the double and let \(\alpha _q \in H_2(G_q;\mathbb {R})\) be the associated integral 2-class. Theorem C shows that
\(\square \)
We note that one can prove the second part of Theorem D also via previously known examples of stable commutator length (Example 4.3.4).
7 The \(l^1\)-semi-norm of products with surfaces: Proof of Theorem E
Bucher [4] computed the simplicial volume of the product of two surfaces (see Theorem 2.10). We will use her techniques to generalise this statement to the product of more general 2-classes. This will allow us to construct integral 4-classes whose \(l^1\)-semi-norm can be expressed in terms of the \(l^1\)-semi-norm of 2-classes. Theorem E will be a corollary (Corollary 7.2) of these constructions.
Theorem 7.1
Let G and \(\Gamma \) be groups, let \(\alpha \in H_2(G;\mathbb {R})\), and \(\beta \in H_2(\Gamma ;\mathbb {R})\). Furthermore, let \(\rho :\Gamma \rightarrow \mathrm {Homeo}^+(S^1)\) be a circle action of \(\Gamma \). Assume furthermore that \(\rho ^* \mathrm {Or}\in C^2_b(\Gamma ;\mathbb {R})\) is an extremal cocycle for \(\beta \); see Sect. 3.6. Then the class \(\alpha \times \beta \in H_4(G \times \Gamma ;\mathbb {R})\) satisfies
Theorem 7.1 is a strict generalisation of Bucher’s result [4] and our proof follows the outline of Bucher’s work. Recall that for \(g \ge 2\) we denote the oriented closed connected surface of genus g by \(\Sigma _g\), its fundamental group by \(\Gamma _g\), and its fundamental class by \([\Sigma _g]_\mathbb {R}\in H_2(\Sigma _g;\mathbb {R}) \cong H_2(\Gamma _g;\mathbb {R})\). Fix a hyperbolic structure on \(\Sigma _g\) and let \(\rho :\Gamma _g \rightarrow \mathrm {Homeo}^+(S^1)\) be the corresponding action on the boundary \(\partial \Gamma _g \cong S^1\). The cocycle \(\rho ^*\mathrm {Or}\in C^2_b(\Gamma _g;\mathbb {R})\) is extremal to \([\Sigma _g]_\mathbb {R}\) (see Sect. 3.6) and satisfies
Therefore, we obtain the following immediate corollary to Theorem 7.1:
Corollary 7.2
(Theorem E) Let \(g \ge 2\), let G be a group, let \(\alpha \in H_2(G;\mathbb {R})\) and let \(\Gamma _g\) and \([\Sigma _g]_\mathbb {R}\in H_2(\Gamma _g;\mathbb {R})\) be as above. Then the class \(\alpha \times [\Sigma _g]_\mathbb {R}\in H_4(G \times \Gamma _g;\mathbb {R})\) satisfies
Proof of Theorem 7.1
In this proof, all cocycles will be given in the homogeneous resolution. The upper bound holds for all classes in degree 2 (Corollary 2.11). For the lower bound we will use duality (Proposition 3.4):
Let \({}^{\Gamma }\mathrm {or}_b^{\mathbb {R}}:= [\rho ^*\mathrm {Or}]^\mathbb {R}= -2 \cdot {}^{\Gamma }\mathrm {eu}_b^{\mathbb {R}}\in H^2_b(\Gamma ; \mathbb {R})\) be the orientation class for the given action \(\rho :\Gamma \rightarrow \mathrm {Homeo}^+(S^1)\). Moreover, let \(\omega \in C^2_b(G;\mathbb {R})\) be an extremal cocycle for \(\alpha \in H_2(G;\mathbb {R})\) in the homogeneous resolution; see Proposition 3.4. By possibly replacing \(\omega \) by \(\mathrm {alt}^2_b(\omega )\), we may assume that \(\omega \) is alternating; see Sect. 3.5. By assumption, \(\Vert \omega \Vert _\infty \le 1\) and
The cross-product \( \omega \times \rho ^*\mathrm {Or}\in C^4_b(G \times \Gamma ; \mathbb {R})\) of \(\omega \) and \(\rho ^*\mathrm {Or}\) is defined via
and satisfies
This recovers the estimate \(\Vert \alpha \Vert _1 \cdot \Vert \beta \Vert _1 \le \Vert \alpha \times \beta \Vert _1\) as seen in Proposition 2.9.
Claim 7.3
Let \(\Theta := \mathrm {alt}^4_b(\omega \times \rho ^*\mathrm {Or})\) be the associated alternating cocycle of \(\omega \times \rho ^*\mathrm {Or}\); see Sect. 3.5. Then \(\Vert \Theta \Vert _\infty \le 2/3\).
Once Claim 7.3 is established, we can argue as follows: Recall that \(\Theta \) and \(\omega \times \rho ^*\mathrm {Or}\) represent the same class in \(H^4_b(G \times \Gamma ;\mathbb {R})\) by Proposition 3.6. Hence, \(\langle \Theta , \alpha \times \beta \rangle = \Vert \alpha \Vert _1 \cdot \Vert \beta \Vert _1\). Moreover by the claim we have that \(\Vert \frac{3}{2} \cdot \Theta \Vert _\infty \le 1\) and by duality we conclude that \(\frac{3}{2} \cdot \Vert \alpha \Vert _1 \cdot \Vert \beta \Vert _1 \le \Vert \alpha \times \beta \Vert _1\). Putting both estimates together, we will obtain
as claimed in Theorem 7.1. To complete the proof, it thus only remains to show Claim 7.3. \(\square \)
Proof of Claim 7.3
We will follow the outline of Bucher’s proof [4, Proposition 7], quoting parts of the proof verbatim. Let \(g_0, \ldots , g_4 \in G\) and \(\gamma _0, \ldots , \gamma _4 \in \Gamma \). Moreover, let \(\xi \in S^1\) be a point to define \(\mathrm {Or}\) and set \(x_i := \rho (\gamma _i).\xi \) for all \(i \in \{0, \ldots , 4 \}\). We will give upper bounds to \(|\Theta ((g_0, \gamma _0), \ldots , (g_4, \gamma _4))|\) in different cases. By construction,
may be written as
where \(\mathrm {Or}\) is the orientation; see Sect. 3.6. Every permutation \(\sigma \in S_5\) may be written uniquely as \(\sigma = (\text{0 } \text{1 } \text{2 } \text{3 } \text{4 })^k \circ \upsilon \), where \(k \in \{0,\ldots ,4 \}\) and \(\upsilon \in S_5\) is a permutation with \(\upsilon (2)=0\). Using that both \(\mathrm {Or}\) and \(\omega \) are alternating we obtain that
where
for \(\tau = (\text{0 } \text{1 } \text{2 } \text{3 } \text{4 })^k\). Observe also that we may assume that the \(x_i\) are cyclically ordered, as \(\Theta \) is alternating.
In what follows we will estimate the terms A(k), depending on the relative position of the \(x_i\):
-
All \(x_0, \ldots , x_4\) are distinct. As all \(\mathrm {Or}\)-terms in A(k) equal 1 we have
$$\begin{aligned} A(k)&= \omega (g_{\tau (0)}, g_{\tau (1)}, g_{\tau (2)})+ \omega (g_{\tau (0)}, g_{\tau (3)}, g_{\tau (4)}) \\&\quad - \, \omega (g_{\tau (0)}, g_{\tau (1)}, g_{\tau (3)}) - \omega (g_{\tau (0)}, g_{\tau (2)}, g_{\tau (4)}) \\&\quad + \, \omega (g_{\tau (0)}, g_{\tau (1)}, g_{\tau (4)}) + \omega (g_{\tau (0)}, g_{\tau (2)}, g_{\tau (3)}) \\&= \omega (g_{\tau (2)}, g_{\tau (3)}, g_{\tau (4)})+ \omega (g_{\tau (0)}, g_{\tau (1)}, g_{\tau (2)}) \\&\quad - \, \omega (g_{\tau (0)}, g_{\tau (1)}, g_{\tau (3)}) + \omega (g_{\tau (0)}, g_{\tau (1)}, g_{\tau (4)}) \end{aligned}$$for \(\tau = (\text{0 } \text{1 } \text{2 } \text{3 } \text{4 })^k\), where in the last equation we used that
$$\begin{aligned} 0&= \delta ^2 \omega (g_{\tau (0)}, g_{\tau (2)}, g_{\tau (3)}, g_{\tau (4)}) \\&= \omega (g_{\tau (2)}, g_{\tau (3)}, g_{\tau (4)}) - \omega (g_{\tau (0)}, g_{\tau (3)}, g_{\tau (4)}) \\&\quad + \, \omega (g_{\tau (0)}, g_{\tau (2)}, g_{\tau (4)}) - \omega (g_{\tau (0)}, g_{\tau (2)}, g_{\tau (3)}) \end{aligned}$$by the cocycle condition. In particular, we see that \(|A(k)| \le 4\) as \(\Vert \omega \Vert _\infty \le 1\). Hence,
$$\begin{aligned} \bigl | \Theta ((g_1,\gamma _1), \ldots , (g_5,\gamma _5)) \bigr | \le \frac{1}{30} \cdot \sum _{k=0}^4 |A(k)| \le \frac{20}{30} = \frac{2}{3}. \end{aligned}$$ -
Two of the \(x_i\) are identical and the others are distinct. Without loss of generality assume that \(x_0=x_1\). Observe that in this case \(\mathrm {Or}(x_i,x_j,x_k)=0\) whenever two of the \(x_i, x_j, x_k\) are equal to \(x_0\) or \(x_1\). We will estimate |A(k)| in different cases:
-
\(k=0\): Then \(A(0) = \omega (g_0, g_1, g_2) - \omega (g_{0}, g_{1}, g_{3}) + \omega (g_{0}, g_{1}, g_{4})\) and hence \(|A(0)|\le 3\).
-
\(k=1\): Then \(A(1) = \omega (g_1, g_4, g_0) -\omega (g_1, g_3, g_0) +\omega (g_1, g_2, g_0)\) and hence \(|A(1)|\le 3\).
-
\(k=2\): Then
$$\begin{aligned} A(2)&= \omega (g_2, g_0, g_1) -\omega (g_{2}, g_{3}, g_{0}) -\omega (g_{2}, g_{4}, g_{1}) \\&\quad +\, \omega (g_{2}, g_{3}, g_{1}) +\omega (g_{2}, g_{4}, g_{0}). \end{aligned}$$By the cocycle condition, it follows that
$$\begin{aligned} 0&= \delta ^2 \omega (g_2,g_4,g_0,g_1) \\&= \omega (g_4,g_0,g_1)-\omega (g_2,g_0,g_1)+\omega (g_2,g_4,g_1)-\omega (g_2,g_4,g_0). \end{aligned}$$Therefore, \(A(2) = \omega (g_4,g_0,g_1) -\omega (g_{2}, g_{3}, g_{0}) +\omega (g_{2}, g_{3}, g_{1}) \) and so \(|A(2)|\le 3\).
-
\(k=3\): Then
$$\begin{aligned} A(3)&= \omega (g_3, g_4, g_0) +\omega (g_3, g_1, g_2) -\omega (g_3, g_4, g_1) \\&\quad -\,\omega (g_3, g_0, g_2) +\omega (g_3, g_0, g_1) \end{aligned}$$and hence \(|A(3)|\le 5\).
-
\(k=4\): Then
$$\begin{aligned} A(4)&= \omega (g_4, g_0, g_1) -\omega (g_4, g_0, g_2) -\omega (g_4, g_1, g_3) \\&\quad +\,\omega (g_4, g_0, g_3) +\omega (g_4, g_1, g_2) \end{aligned}$$and hence \(|A(4)| \le 5\).
Putting things together we see that
$$\begin{aligned} \bigl |\Theta ((g_1,\gamma _1), \ldots , (g_5,\gamma _5))\big | \le \frac{1}{30} \sum _{k=0}^4 |A(k)| \le \frac{19}{30} < \frac{2}{3}. \end{aligned}$$ -
-
Three of the \(x_i\) are identical, the other ones are different. As \(\Theta \) is alternating we may assume that \(x_0=x_1=x_2\). A permutation \(\sigma \in S_5\) for which the \(\mathrm {Or}(x_{\sigma (2)}, x_{\sigma (3)}, x_{\sigma (4)})\) term in Eq. (2) is non-trivial has to map exactly one of the elements in \(\{2,3,4 \}\) to one of the elements \(\{0,1,2 \}\), and has to map the remaining two elements of \(\{2,3,4\}\) to \(\{3,4\}\). We then have two more choices for \(\sigma (0)\) and \(\sigma (1)\). We compute that the total number of such permutations is 36. For all other permutations, the \(\mathrm {Or}\)-term in Eq. (2) will vanish. We may then estimate
$$\begin{aligned} \bigl |\Theta ((g_0,\gamma _0), \ldots , (g_4,\gamma _4))\bigr | \le \frac{36}{5!} = \frac{36}{120} < \frac{2}{3}. \end{aligned}$$ -
Two pairs are identical and one element is different from these pairs. Assume without loss of generality that \(x_0=x_1\), \(x_2=x_3\). A permutation \(\sigma \in S_5\) for which the \(\mathrm {Or}(x_{\sigma (2)}, x_{\sigma (3)}, x_{\sigma (4)})\)-term in Equation (2) is non-trivial has to map each of \(\{2,3,4 \}\) to different sets \(\{0,1 \}\), \(\{ 2,3 \}\), and \(\{5 \}\). Moreover, there are two choices for the two elements that get mapped to the sets with two elements. Again, there are two more choices for \(\sigma (0)\) and \(\sigma (1)\). We compute that there are a total of 48 such permutations. For all other permutations the \(\mathrm {Or}\)-term in Eq. (2) will vanish. We may then estimate
$$\begin{aligned} \bigl |\Theta ((g_0,\gamma _0), \ldots , (g_4,\gamma _4))\bigr | \le \frac{48}{5!} = \frac{48}{120}< \frac{2}{3}. \end{aligned}$$ -
If more than three of the \(x_i\) are identical or if exactly three of the \(x_i\) are identical and the two remaining \(x_i\) are identical, then the \(\mathrm {Or}\)-term in Eq. (2) always vanishes and we get that
$$\begin{aligned} \bigl |\Theta ((g_0,\gamma _0), \ldots , (g_4,\gamma _4))\bigr | = 0 < \frac{2}{3}. \end{aligned}$$
In summary, in each case we have seen that
and hence \(\Vert \Theta \Vert _\infty \le \frac{2}{3}\). This finishes the proof of Claim 7.3 (and also the proof of Theorem 7.1). \(\square \)
8 Manufacturing manifolds with controlled simplicial volumes
The computation of \(\ell ^1\)-semi-norms of 2-classes in group homology allows us to construct manifolds with controlled simplicial volume.
This construction will involve a normed version of Thom’s realisation theorem, which we recall in Sect. 8.1. Theorem A is proven in Sect. 8.2 and the theorems for dimension 4 (Theorems B and F) are proven in Sect. 8.3. Finally, in Sect. 8.4 we discuss related problems and further research topics.
8.1 Thom’s realisation theorem
In order to turn classes in group homology into manifolds with controlled simplicial volume, we will use the following normed version of Thom’s realisation theorem:
Theorem 8.1
(Normed Thom realisation) For each \(d \in \mathbb {N}_{\ge 4}\), there exists a constant \(K_d \in \mathbb {N}_{>0}\) with the following property: If G is a finitely presented group (with model X of BG) and \(\alpha \in H_d(X;\mathbb {R})\) is an integral homology class, then there is an oriented closed connected (smooth) d-manifold M, a continuous map \(f :M \rightarrow X\) and a number \(m \in \{1,\dots , K_d\}\) with
Moreover, one can choose \(K_4 = 1\) and \(K_5 = 1\).
Proof
Everything except for the condition on the simplicial volume is contained in Thom’s classical realisation theorems [52, Theorems III.3, III.4]. (Thom’s original theorems apply to X because every singular homology class of X is supported on a finite subcomplex; as G is finitely presented, we can choose the subcomplex in such a way that the inclusion into X induces a \(\pi _1\)-isomorphism.) One can then apply surgery to obtain a manifold representation of \(\alpha \), where \(f :M \rightarrow X\) in addition is a \(\pi _1\)-isomorphism [25, (proof of) Theorem 3.1] (this will not touch the multiplier m). Therefore, the mapping theorem for the \(l^1\)-semi-norm (Corollary 3.5) shows that
\(\square \)
8.2 No gaps in higher dimensions: Proof of Theorem A
We promote the computations of \(l^1\)-semi-norms in degree 2 to higher dimensions using cross-products. The manifolds will then be provided by the normed Thom realisation (Theorem 8.1).
Proof of Theorem A
Let \(d \in \mathbb {N}_{\ge 4}\). We fix an oriented closed connected hyperbolic \((d-2)\)-manifold \(N_d\); in particular, \(\Vert N_d\Vert > 0\). Moreover, let \(K_d \in \mathbb {N}\) be the constant provided by Thom’s realisation theorem (Theorem 8.1).
Let \(\epsilon \in \mathbb {R}_{>0}\). By Theorem D, there exists a finitely presented group G and an integral class \(\alpha \in H_2(G;\mathbb {R})\) with \(0 < \Vert \alpha \Vert _1 \le \epsilon . \) Let X be a model of BG. Then the product class
is integral and satisfies (by Proposition 2.9)
The normed version of Thom’s realisation theorem (Theorem 8.1) provides an orientable closed connected d-manifold M and a number \(m \in \{1,\dots , K_d\}\) with
We conclude that
As the constants on the right hand side just depend on d, this shows that there is no gap at 0 in \({{\,\mathrm{SV}\,}}(d)\), the set of simplicial volumes of orientable closed connected d-manifolds. By additivity (Remark 2.3), the set \({{\,\mathrm{SV}\,}}(d)\) is also dense in \(\mathbb {R}_{\ge 0}\). \(\square \)
8.3 Dimension 4: Proofs of Theorems B and F
In dimension 4, we have more control on the \(l^1\)-norm of integral 4-classes in group homology (Theorem E). This allows us to prove Theorems B and F.
Proposition 8.2
Let G be a finitely presented group and let \(\alpha \in H_2(G;\mathbb {R})\) be an integral class. Then there exists an orientable closed connected 4-manifold \(M_\alpha \) with
Proof
We proceed as in the proof of Theorem A and consider the product class
of \(\alpha \) with the fundamental class \([\Sigma _2]_{\mathbb {R}}\) of a surface of genus 2. Observe that \(\alpha '\) is also integral. Then the normed Thom realisation (Theorem 8.1) shows that there exists an orientable closed connected 4-manifold \(M_\alpha \) with \(\Vert M_\alpha \Vert = \Vert \alpha '\Vert _1\). We now apply the norm computation from Corollary 7.2 and obtain
\(\square \)
Proof of Theorem B
We only need to combine Theorem D (which allows to realise any non-negative rational number as \(l^1\)-semi-norm of an integral 2-class of a finitely presented group) with Proposition 8.2. \(\square \)
Moreover, we can summarise the relation between stable commutator length and simplicial volumes in dimension 4 as follows:
Corollary 8.3
(Theorem F, dimension 4, exact values via \({{\,\mathrm{scl}\,}}\)) Let G be a finitely presented group with \(H_2(G;\mathbb {R}) \cong 0\) and let \(g \in G'\) be an element in the commutator subgroup. Then there exists an orientable closed connected 4-manifold \(M_g\) with
Proof
We may assume without loss of generality that \(r=g\) has infinite order (otherwise we can just take \(M = S^4\)). We again consider the doubled group D(G, r) (as in Corollary 6.16) and the canonical homology class \(\alpha \in H_2(D(G,r);\mathbb {R})\), which is integral (Remark 6.12); as G is finitely presented, also D(G, r) is finitely presented. Applying Corollary 6.16 shows that
In combination with Proposition 8.2, we therefore obtain an orientable closed connected 4-manifold M with
\(\square \)
Remark 8.4
The concrete example manifolds in the proof of Theorem B, in general, might have different fundamental group; however, by construction, their first Betti numbers are uniformly bounded: For each \(q\in \mathbb {Q}\), we have
8.4 Related problems
The techniques of this paper may be adopted to construct 4-manifolds with transcendental simplicial volume. Theorem F reduces this problem to finding an appropriate finitely presented group with transcendental stable commutator length. By constructing such groups explicitly, we could show that there are 4-manifolds with arbitrarily small transcendental simplicial volume [42, Theorem A]. Moreover, we could also show that the set of simplicial volumes is contained in the (countable) set \(\text{ RC}^{\ge 0}\) of non-negative right-computable numbers [42, Theorem B]. It is unkown which real numbers arise as the stable commutator length of elements in the class of finitely presented groups. However, it is known [39] that for the class of recursively presented groups this set is exactly \(\text{ RC}^{\ge 0}\).
Our techniques for manufacturing manifolds with controlled simplicial volumes are based on group-theoretic methods and not on genuine manifold-geometric constructions. One might wonder whether Theorem A also holds under additional topological or geometric conditions such as asphericity or curvature conditions.
Originally, we set out to study simplicial volume of one-relator groups and its relation with stable commutator length. However, we then realised that some of the techniques applied in a much broader context (with a weak homological condition). We discuss a connection between the \(l^1\)-semi-norm of the relator-class in one-relator groups with the stable commutator length of the relator in the free group in a separate article [41].
References
Bavard, C.: Longueur stable des commutateurs. Enseign. Math. (2) 37(1–2), 109–150 (1991)
Bucher, M: Simplicial volume of products and fiber bundles. In: Dekimpe, K., Igodt, P., Valette, A. (eds.) Discrete Groups and Geometric Structures. Contemporary Mathematics, vol. 501, pp. 79–86. American Mathematical Society, Providence (2009)
Bucher, M., Neofytidis, C.: The simplicial volume of mapping tori of \(3\)-manifolds. Math. Ann. 376(3–4), 1429–1447 (2020)
Bucher-Karlsson, M.: The simplicial volume of closed manifolds covered by \({\mathbb{H}}^2\times {\mathbb{H}}^2\). J. Topol. 1(3), 584–602 (2008)
Barge, J., Ghys, É.: Surfaces et cohomologie bornée. Invent. Math. 92(3), 509–526 (1988)
Benson, D.J., Cohen, F.R.: Mapping class groups of low genus and their cohomology. Mem. Am. Math. Soc. 90(443), iv+104 (1991)
Benedetti, R., Petronio, C.: Lectures on Hyperbolic Geometry. Universitext. Springer, Berlin (1992)
Birman, J.S., Hilden, H.M.: On the mapping class groups of closed surfaces as covering spaces. Ann. Math. Stud. 66, 81–115 (1971)
Burger, M., Monod, N.: Continuous bounded cohomology and applications to rigidity theory. Geom. Funct. Anal. 12(2), 219–280 (2002)
Bestvina, M., Bromberg, K., Fujiwara, K.: Stable commutator length on mapping class groups. Ann. Inst. Fourier (Grenoble) 66(3), 871–898 (2016)
Bödigheimer,, C.-F., Cohen, F.R., Peim, M.D.: Mapping class groups and function spaces. In: Greenlees, J.P.C., Bruner, R.R., Kuhn, N. (eds.) Homotopy Methods in Algebraic Topology (Boulder, CO, 1999). Contemporary Mathematics, vol. 271, pp. 17–39. American Mathematical Society, Providence (2001)
Bucher, M., Frigerio, R., Hartnick, T.: A note on semi-conjugacy for circle actions. Enseign. Math. 62(3–4), 317–360 (2016)
Bucher, M., Connell, C., Lafont, J.-F.: Vanishing simplicial volume for certain affine manifolds. Proc. Am. Math. Soc. 146(3), 1287–1294 (2018)
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)
Calegari, D.: Stable commutator length in subgroups of \({\rm PL}^+(I)\). Pac. J. Math. 232(2), 257–262 (2007)
Calegari, D.: Surface subgroups from homology. Geom. Topol. 12(4), 1995–2007 (2008)
Calegari, D.: What is \(\ldots \) stable commutator length? Not. Am. Math. Soc. 55(9), 1100–1101 (2008)
Calegari, D.: scl. MSJ Memoirs, vol. 20. Mathematical Society of Japan, Tokyo (2009)
Calegari, D.: Stable commutator length is rational in free groups. J. Am. Math. Soc. 22(4), 941–961 (2009)
Calegari, D., Fujiwara, K.: Stable commutator length in word-hyperbolic groups. Groups Geom. Dyn. 4(1), 59–90 (2010)
Calegari, D.: scl, sails, and surgery. J. Topol. 4(2), 305–326 (2011)
Chen, L.: Scl in free products. Algebr. Geom. Topol. 18(6), 3279–3313 (2018)
Chen, L., Heuer, N.: Spectral gap of scl in graphs of groups and \(3\)-manifolds. arXiv:1910.14146 [math.GT] (2019)
Conder, M., Maclachlan, C.: Compact hyperbolic \(4\)-manifolds of small volume. Proc. Am. Math. Soc. 133(8), 2469–2476 (2005)
Crowley, D., Löh, C.: Functorial seminorms on singular homology and (in)flexible manifolds. Algebr. Geom. Topol. 15(3), 1453–1499 (2015)
Calegari, D., Monden, N., Sato, M.: On stable commutator length in hyperelliptic mapping class groups. Pac. J. Math. 272(2), 323–351 (2014)
Cannon, J.W., Floyd, W.J., Parry, W.R.: Introductory notes on Richard Thompson’s groups. Enseign. Math. (2) 42(3–4), 215–256 (1996)
Clay, M., Forester, M., Louwsma, J.: Stable commutator length in Baumslag–Solitar groups and quasimorphisms for tree actions. Trans. Am. Math. Soc. 368(7), 4751–4785 (2016)
Duncan, A.J., Howie, J.: The genus problem for one-relator products of locally indicable groups. Math. Z. 208(2), 225–237 (1991)
Endo, H., Kotschick, D.: Bounded cohomology and non-uniform perfection of mapping class groups. Invent. Math. 144(1), 169–175 (2001)
Frigerio, R.: Bounded Cohomology of Discrete Groups. Mathematical Surveys and Monographs, vol. 227. American Mathematical Society, Providence (2017)
Fauser, D., Löh, C.: Variations on the theme of the uniform boundary condition. J. Topol. Anal. (2019). https://doi.org/10.1142/S1793525320500090
Frigerio, R., Moraschini, M.: Gromov’s theory of multicomplexes with applications to bounded cohomology and simplicial volume. Mem. Am. Math. Soc. (2018) (to appear). arXiv:1808.07307 [math.GT]
Ghys, É.: Groupes d’homéomorphismes du cercle et cohomologie bornée. In: The Lefschetz Centennial Conference, Part III (Mexico City, 1984), volume 58 of Contemporary Mathematics, pp. 81–106. American Mathematical Society, Providence (1987)
Gromov, M.: Volume and bounded cohomology. Inst. Hautes Études Sci. Publ. Math. 56, 5–99 (1982)
Gromov, M.: Metric Structures for Riemannian and Non-Riemannian Spaces, volume 152 of Progress in Mathematics. Birkhäuser Boston, Inc., Boston, MA, 1999. Based on the 1981 French original, With appendices by M. Katz, P. Pansu and S. Semmes, Translated from the French by Sean Michael Bates
Ghys, É., Sergiescu, V.: Sur un groupe remarquable de difféomorphismes du cercle. Comment. Math. Helv. 62(2), 185–239 (1987)
Gabai, D., Meyerhoff, R., Milley, P.: Minimum volume cusped hyperbolic three-manifolds. J. Am. Math. Soc. 22(4), 1157–1215 (2009)
Heuer, N.: The full spectrum of scl on recursively presented groups. arXiv:1909.01309 [math.GR] (2019)
Heuer, N.: Gaps in scl for amalgamated free products and RAAGs. Geom. Funct. Anal. 29(1), 198–237 (2019)
Heuer, N., Löh, C.: Simplicial volume of one-relator groups and stable commutator length. arXiv:1911.02470 [math.GT] (2019)
Heuer, N., Löh, C.: Transcendental simplicial volumes. arXiv:1911.06386 [math.GT] (2019)
Hoster, M., Kotschick, D.: On the simplicial volumes of fiber bundles. Proc. Am. Math. Soc. 129(4), 1229–1232 (2001)
Ivanov, N.V.: Foundations of the theory of bounded cohomology. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 143:69–109, 177–178 (1985). Studies in topology, V
Ivanov, N.V.: Notes on the bounded cohomology theory. arXiv:1708.05150 [math.AT] (2017)
Inoue, H., Yano, K.: The Gromov invariant of negatively curved manifolds. Topology 21(1), 83–89 (1982)
Kawazumi, N.: Homology of hyperelliptic mapping class groups for surfaces. Topol. Appl. 76(3), 203–216 (1997)
Lafont, J.-F., Schmidt, B.: Simplicial volume of closed locally symmetric spaces of non-compact type. Acta Math. 197(1), 129–143 (2006)
Mather, M.: Counting homotopy types of manifolds. Topology 3, 93–94 (1965)
Monden, N.: On upper bounds on stable commutator lengths in mapping class groups. Topol. Appl. 159(4), 1085–1091 (2012)
Matsumoto, S., Morita, S.: Bounded cohomology of certain groups of homeomorphisms. Proc. Am. Math. Soc. 94(3), 539–544 (1985)
Novikov, S.P., Taimanov, I.A. (eds).: Topological Library. Part 1: Cobordisms and Their Applications, volume 39 of Series on Knots and Everything. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2007. Chapter 2: Translation of the original paper [55] by V. O. Manturov
Sambusetti, A.: Minimal entropy and simplicial volume. Manuscr. Math. 99(4), 541–560 (1999)
Soma, T.: The Gromov invariant of links. Invent. Math. 64(3), 445–454 (1981)
Thom, R.: Quelques propriétés globales des variétés différentiables. Comment. Math. Helv. 28, 17–86 (1954)
Thurston, W.P.: Three-Dimensional Geometry and Topology. Vol. 1, volume 35 of Princeton Mathematical Series. Princeton University Press, Princeton (1997). Edited by Silvio Levy
Walker, A.: Stable commutator length in free products of cyclic groups. Exp. Math. 22(3), 282–298 (2013)
Weibel, C.A.: An Introduction to Homological Algebra. Cambridge Studies in Advanced Mathematics, vol. 38. Cambridge University Press, Cambridge (1994)
Yano, K.: Gromov invariant and \(S^{1}\)-actions. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 29(3), 493–501 (1982)
Zhuang, D.: Irrational stable commutator length in finitely presented groups. J. Mod. Dyn. 2(3), 499–507 (2008)
Acknowledgements
The authors are grateful to the anonymous referee for carefully reading the paper and for many constructive suggestions. The authors would also like to thank Roberto Frigerio for pointing out an inconsistent use of the Euler cocycle in a previous version of this article. The first author would like to thank Martin Bridson for his invaluable support and very helpful discussions. He would further like to thank Lvzhou (Joe) Chen for many helpful discussions on stable commutator length.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
© N. Heuer, C. Löh 2019. This work was supported by the CRC 1085 Higher Invariants (Universität Regensburg, funded by the DFG).
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/.