The spectrum of simplicial volume

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 R≥0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R}_{\ge 0}$$\end{document}. 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 l1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$l^1$$\end{document}-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.


Introduction
The simplicial volume M 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 SV(d) ⊂ R ≥0 of simplicial volumes of occ d-manifolds. This reveals that there is a gap of simplicial volume in dimensions 2 and 3: For d ∈ {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 ≥ 4 be an integer. For every > 0 there is an orientable closed connected d-manifold M such that 0 < M ≤ . Hence, the set of simplicial volumes of orientable closed connected d-manifolds is dense in R ≥0 .
In dimension 4, we get the following refinement of Theorem A.
Theorem B (Rational realisation; Sect. 8.3) For every q ∈ Q ≥0 there is an orientable closed connected 4-manifold M q with M q = q.

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 α ∈ H d (G; R), the l 1 -semi-norm α 1 of α 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 α is integral if it lies in the image under the change of coefficients map map induced by Z → R.
For an element g ∈ [G, G] in the commutator subgroup of G, the commutator length 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 scl G g := lim n→∞ 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; R) ∼ = 0 and let g ∈ [G, G] be an element of infinite order. Then there is a finitely presented group D(G, g) and an integral class α g ∈ H 2 (D(G, g); 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; R) ∼ = 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 ∈ Q ≥0 there is a finitely presented group G q and an integral class α q ∈ H 2 (G q ; R) such that α q 1 = q. In particular, for every > 0 there is a finitely presented group G and an integral class α ∈ H 2 (G ; R) such that 0 < α 1 ≤ .
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.
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; R) ∼ = 0 and let g ∈ [G, G] be an element in the commutator subgroup. Then there is an orientable closed connected 4-manifold M g with M g = 48 · scl G g.

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 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. can also consider the relative l 1 -semi-norm on H d (X, A; R) induced by the l 1 -semi-norm on C d (X ; R).
The l 1 -semi-norm is a functorial semi-norm in the sense of Gromov [36, p. 302]: 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).

Simplicial volume in low dimensions and gaps
We M is a complete hyperbolic 3-manifold with toroidal boundary and finite volume and where v 3 is the maximal volume of an ideal simplex in H 3 . This shows that there is a gap of simplicial volume in dimension 3, namely w/v 3 ≈ 0.928 . . . , where w is the volume of the Weeks manifold [38]. Moreover, the set SV(3) has countably many accumulation points (because the set of hypbolic volumes has the order type ω ω [56]).
Example 2.6 (Dimension 4) The smallest known Riemannian volume vol(M) of an occ hyperbolic 4-manifold is 64 · π 2 /3 [24]. In view of the computation of the simplicial volume of hyperbolic manifolds [35,56] If g , h are orientable closed connected surfaces of genus g, h ≥ 1, respectively, then Bucher [4] showed that g × h = 3 2 · g · h . Hence, 2 × 2 = 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.

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 α ∈ H 2 (X ; R). Then , . . . , (k) oriented closed connected surfaces, Remark 2.8 Let X be a path-connected topological space, let α ∈ H 2 (X ; Z), and let α R ∈ H 2 (X ; R) be the image of α under the change of coefficients map Z → R. Then the description of α R 1 from Proposition 2.7 simplifies as follows: We have where (α) is the class of all pairs ( f, ) consisting of an oriented closed connected surface of genus g( ) ≥ 1 and a continuous map f : In Sect. 6, we will relate l 1 -semi-norms of relative classes in degree 2 to filling invariants and stable commutator length.

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 ∈ N, and let α ∈ H m (X ; R), β ∈ H n (Y ; R). Then the cross-product α × β ∈ H m+n (X × Y ; 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).
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 g , h be orientable closed connected surfaces of genus g, h ∈ N ≥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
Proof We use the description of α 1 and β 1 from Proposition 2.7. Let be surface presentations of α and β as in Proposition 2.7. Then 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 α and β, we obtain α × β 1 ≤ 3/2 · α 1 · β 1 .

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.

Bounded cohomology of groups
Let V be R or 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 ) := 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 · φ(g 0 , . . . , g n ) = φ(g −1 · g 0 , . . . , g −1 · 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 · ∞ be the l ∞ -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 δ n : where α(g 0 , . . . , g i , . . . , g n+1 ) means that the i-th coordinate is omitted. Then δ n restricts to a map C n b (G; V ) → C n+1 b (G; V ). The cohomology of the cochain complex (C • (G; V ) G , δ • ) is the group cohomology of G with coefficients in V and denoted by H • (G; V ). Similarly, the cohomology of the cochain complex Bounded cohomology carries additional structure, the semi-norm induced by · ∞ : For an element α ∈ H n b (G; V ), we set Bounded cohomology is functorial in both the group and the coefficients.

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 α ∈ C n (X ; V ) we set and let C n b (X ; V ) ⊂ C n (X ; V ) be the subset of elements that are bounded with respect to this norm. Let δ n : C n b (X ; V ) → C n+1 b (X ; V ) be the restriction of the singular coboundary map to bounded cochains. Then the bounded and observe that · ∞ is a semi-norm on H n b (X ; V ). The bounded cohomology of spaces is also functorial in both spaces and coefficients.

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). 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]:

Duality
Bounded cohomology of groups and spaces may be used to compute the l 1semi-norm of homology classes. For what follows, let ·, · : H n b (X ; V ) × H n (X ; V ) → V be the map given by evaluation of cochains on chains.
Moreover, the supremum is achieved.
Every (bounded) cochain α ∈ C n b (G; R) has an associated alternating (bounded) cochain alt n (α) defined via Observe that alt n (α) ∞ ≤ α ∞ . The subcomplex of alternating cochains is denoted by C n b,alt (G; V ). It is well-known that one can compute real bounded cohomology using alternating cochains:

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 ∈ S 1 on the circle let Or(x 1 , x 2 , x 3 ) ∈ {−1, 0, 1} be the (respective) circular order. The group Homeo + (S 1 ) of orientation preserving homeomorphisms on the circle preserves Or ∈ C 2 b (S 1 ; Z) ⊂ C 2 (S 1 ; Z) and satisfies a (homogeneous) cocycle condition. Hence, Or induces a (bounded) cocycle on Homeo + (S 1 ): For ξ ∈ S 1 , the map ; Z) and the bounded cohomology class is independent of the choice of the point ξ . It turns out that this class is divisible by 2, i.e., there is a cocycle Eu Remark 3.7 Let H := Homeo + (S 1 ). For Euler classes (and the orientation cocycle) we will use the following notation: Capital letters (Eu) denote cocycles and lower case letters (eu) denote classes. The classes eu Z ∈ H 2 (H ; Z), are the ones represented by Eu in the corresponding cohomology groups. If a group G acts on the circle by ρ : G → Homeo + (S 1 ), and α is a class or a cocycle defined on Homeo + (S 1 ) then ρ * α will be the pullback of α via ρ. If < Homeo + (S 1 ) is a subgroup of Homeo + (S 1 ), then we will denote the restriction of a class or a cocycle α to by α. Hence, for example, eu R b ∈ H 2 b ( ; R) denotes the restriction of the real bounded Euler class to .
Let G be a group with a circle action ρ : G → Homeo + (S 1 ). Then ρ * eu Z ∈ H 2 (G; Z) is called the Euler class associated to the action ρ. The Euler class induces a central extension of G by Z, the associated Euler extension G. This group has the following explicit description. It is the group defined on the set Z× G with multiplication . Euler extensions are useful for constructing groups with controlled stable commutator length; see Section 5. We note that ρ * Or R is extremal (in the sense of Proposition 3.4) for surface groups: Example 3.8 Let g ∈ N ≥2 and let g be an oriented closed connected surface of genus g ∈ N ≥2 . Recall that denotes the fundamental class and g = π 1 ( g ). Then g induces an action on its boundary. By identifying ∂ g ∼ = S 1 , we obtain a circle action ρ : g → Homeo + (S 1 ) and is an extremal cocycle for the fundamental class [ g ] R . Indeed, it is the renormalised volume cocycle of ideal simplices in H 2 ; see [4].

Stable commutator length
In recent years the topic of stable commutator length (scl) has seen a vast developemet thanks largely to Calegari et al. [18]. In this section, we will only give a brief overview of scl. The definition and basic properties will be given in Sect. 4.1. A useful tool to compute scl is Bavard's duality theorem, described in Sect. 4.2. We discuss examples and general properties of scl in Sect. 4.3.

Definition and basic properties
For a group G let G be its commutator subgroup. The commutator length cl G g of an element g ∈ G is defined as where [x, y] := x yx −1 y −1 . The stable commutator length of g in G is defined as n .
If g 1 , . . . , g m ∈ G are such that g 1 · · · g m ∈ G , we will call g 1 + · · · + g m a chain and define the corresponding (stable) commutator length on chains by If ϕ : G → H is a group homomorphism, then scl G g ≥ scl H ϕ(g) for all g ∈ G ; the analogous result holds for chains. In particular, scl is invariant under automorphisms, whence under conjugation. Thus, 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 γ : S 1 → X is a loop, then the stable commutator length of the associated element [γ ] ∈ π 1 (X ) measures the least complexity of the surface needed to bound γ (we will not use this interpretation in this paper). In Section 6.2, we will describe yet another interpretation of scl, namely as a topological stable-filling invariant.

Bavard's duality theorem and bounded cohomology
The smallest such C is called the defect of φ and is denoted by D(φ). A quasimorphism φ is homogeneous if in addition we have that φ(g n ) = n ·φ(g) for all g ∈ G, n ∈ Z. Every quasimorphism φ : G → R is in bounded distance to a unique homogeneous quasimorphismφ : G → R, defined by settinḡ Lemma 2.58]. Analogously to the duality principle (Proposition 3.4) we may compute scl using homogeneous quasimorphisms: Theorem 4.1 (Bavard's duality theorem [1]) Let G be a group and let g ∈ G . Then where the supremum is taken over all homogeneous quasimorphisms φ : G → 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 corresponds to the space of homogeneous quasimorphisms modulo Hom(G, R). It follows then from Bavard's dualtiy theorem that the comparison map c 2 It is well known that H 2 b (G; R) vanishes if G is abelian [35]. Thus every homogeneous quasimorphism on an abelian group is an honest homomorphism.

Examples
We collect some known results for stable commutator length.
In Sects. 6 and 8 we will promote 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; R) vanishes. Thus, we will have a particular emphasis on this condition in the examples.

Vanishing
An element g ∈ G may satisfy that 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 . Examples include: • Amenable groups: This follows from the vanishing of H 2 b (G; 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 PL + (I ) of piecewise linear transformations of the interval [15].

Non-abelian free groups
In contrast, Duncan and Howie [29] showed that every element g ∈ F \{e} in the commutator subgroup of a non-abelian free group F satisfies scl F g ≥ 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; R) ∼ = 0.

Gaps and groups of non-positive curvature
A group G has a gap in scl if there is a constant C > 0 such that for every group element g, we have scl G g ≥ C unless 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 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].

Hyperelliptic mapping class groups
Let g ∈ N, let ι ∈ M g be the mapping class of a hyperelliptic involution of the orientable closed connected surface g of genus g, and let be the hyperelliptic mapping class group of g . The group H g is finitely presented [8] and satisfies H 2 (H g ; R) ∼ = 0 [47, Corollary 3.3][6, Theorem 1.1] [11]. We now let g ≥ 2. Let t ∈ H g be a Dehn twist about a ι-invariant non-separating curve on g . Then we have the first estimate is a computation by Monden [

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 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 R/Z ∼ = 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 G is the unique group that is a Schur covering group of G. It satisfies that H 1 ( G; Z) ∼ = 0 and H 2 ( G; Z) ∼ = 0 and there is an explicit construction ofG in terms of G and H 2 (G; 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
. For every non-negative rational number q ∈ Q ≥0 , there is an element e q ∈ E with scl E e q = q.
In Sect. 5.1, we recall results of Zhuang [60], which describe stable commutator length on the central extension 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 T and show Proposition 5.1 (Sect. 5.3).

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 T be the central extension of Thompson's group T associated to the Euler class
. Then there is a homogeneous quasimorphism rot : T → R of defect 1, called rotation number, that generates the space of homogeneous quasimorphisms. Hence, for all t ∈ T , The rotation number is well studied and has a geometric meaning [12]. Hence, one obtains the full spectrum of stable commutator length for T .

Corollary 5.3 ([18]) Let T be the central extension of Thompson's group T by the Euler class. Then the image of stable commutator length on T is Q ≥0 .
Proof Ghys and Sergiescu [37] showed that the rotation number on 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 ∈ N there is an element t n ∈ T with a periodic orbit of size n that cyclically permutes the elements of this orbit. An appropriate lift t n of this element to T will satisfy rot t n = 1/n. By taking powers of such elements we may realise every rational as a rotation number in T .
However, Ghys and Sergiescu [37] showed that H 2 ( T ; Z) ∼ = Z. Thus, we cannot apply Theorem C to the group T .

(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 ; Z) is generated by the Euler class T eu Z (see Sect. 3.6) and another class α, which has the following combinatorial description.
For a function φ : S 1 → R that admits limits on both sides at every point in S 1 , let φ(x + ) be the right and let φ(x − ) be the left limit at x ∈ S 1 . In this case, set φ(x) := φ(x + ) − φ(x − ). Moreover, for an element u ∈ T we denote by u r (x) the right derivative of u at x ∈ S 1 , i.e., u r (x) = u (x + ).  where the (finite) sum runs over all x ∈ S 1 that are breakpoints of v, u or u • v.
The map 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]. For what follows we will also need to compute the bounded cohomology of T in degree 2.
for any x ∈ [0, 1/2) and that This way we see that for all i, j, i , j ∈ Z. Similarly, we see that We moreover calculate Putting the above calculations together, we can now compute the restriction of gv to a, b T . For all i, j, i , j ∈ Z we see that where f 0 (i, j) := f (i) and g 0 (i, j) := g( j). Hence, evaluating gv on a fundamental cycle shows that gv restricted to a, b T represents twice a generator of H 2 (Z 2 ; Z) ∼ = Z. This proves Claim 5.7.
It is well-known that non-trivial elements of H 2 (Z 2 ; Z) cannot be represented by a bounded cocycle (Z 2 is amenable). Hence, also [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 . We now assume for a contradiction that λ · T eu R + μ · α ∈ H 2 (T ; R) lies in the image of the comparison map c 2 T : H 2 b (T ; R) → H 2 (T ; R) and μ = 0. As T eu R is bounded and a, b T is amenable, T eu R restricts to a trivial class on a, b T . Thus λ · T eu R + μ · α restricts to μ · α on a, b T and generates H 2 (Z 2 ; 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 eu R . We conclude that generated by the Euler class. This completes the proof of Proposition 5.6.

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; Z) ∼ = 0 ∼ = H 2 (E; Z) [58, Chapter 6.9].
It remains to show that every rational number q ∈ Q is the stable commutator length of some element e q ∈ E. For this note that E may be explicitly described as the group on the set Z 2 × T with multiplication where T Eu (resp. A) is an inhomogeneous cocycle representing T eu Z ∈ H 2 (T ; Z) (resp. α ∈ H 2 (T ; Z)). Similarly T may be described as the set

Claim 5.8 For every
. We now prove the converse inequality.
Let φ : E → R be a homogeneous extremal quasimorphism to the element i 0 0 , t 0 . Then φ 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 λ Eu , We will first show that λ A = 0. For every element z in the centre and an element e ∈ E, the group z, e generated by z and e is abelian and hence φ restricts to a homomorphism on z, e by again using Remark 4.2. Hence we have φ(z · e) = φ(z) + φ(e) for all z in the centre and e ∈ E. We define ∈ C 2 (T ; R) as (t, t ) := δ 1 φ 0 0 , t , 0 0 , t for all t, t ∈ T . Then is uniformly bounded, because φ is a quasimorphism. We compute for all t, t ∈ T and for ψ : and hence λ A · A − δ 1 ψ defines a bounded cocycle as the right hand side is uniformly bounded. If λ A = 0, then this would imply that α may be represented by a bounded cocycle, which would contradict Proposition 5.6. Thus λ A = 0. Define a quasimorphism φ T on T by setting φ T (i, t) = φ( i 0 , t) and observe that φ T is homogeneous as well and that φ T (i 0 , t 0 ) = φ( i 0 0 , t 0 )). For all i, i , j, j ∈ Z, t, t ∈ T we compute that

and thus D(φ) = D(φ T ).
Using Bavard's duality theorem we compute This proves the other inequality and thus finishes the proof of Claim 5.8.
We may now finish the proof of Proposition 5.1. Every q ∈ Q ≥0 is the stable commutator length of some element t q ∈ T by Corollary 5.3. Using Claim 5.8, we may construct an element e q ∈ E with scl E e q = sclT t q = q.

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

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 • (G; R) (computing H • (G; R)) has the following form in low degrees: We have C 1 (G; R) = R[G] and ∂ 1 = 0 as well as C 2 (G; R) = R[G] 2 and Moreover, the chain modules of C • (G; R) are endowed with the l 1 -norm corresponding to the bar bases. • If c ∈ ∂C 2 (G; R), the filling norm of c is defined as • Let m ∈ N and let r 1 , . . . , r m ∈ G . The stable filling norm of r 1 +· · ·+r m is defined as sfill G (r 1 + · · · + r m ) := lim n→∞ 1 n · fill G (r n 1 + · · · + r n m ).
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 ∈ N, let X be a topological space, and let σ : ∂ d → X be continuous.
• If c ∈ ∂(C d (X ; R)), the filling norm of c is defined as • The filling norm of σ is then defined as is the canonical singular cycle associated with σ .
• The stable filling norm of σ is defined as where for n ∈ N, we write w n : ∂ d → ∂ d for "the" standard self-map of ∂ d ∼ = S d−1 of degree n and σ [n] := σ • w n . • If m ∈ N and σ 1 , . . . , σ m : ∂ d → X are continuous maps, then we define fill X (σ 1 + · · · + σ m ) := fill X (c σ 1 + · · · + c σ m ) sfill X (σ 1 + · · · + σ n ) := lim n→∞ 1 n · fill X σ 1 [n] + · · · + σ m [n] 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 sfill X σ ; 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 • (∂ d ; R). Because π 1 (∂ d ) is amenable, there exists a constant K ∈ R >0 with the following property [32,51]: If n, m ∈ N, then the chains c w n + c w m and c w n+m are homologous in the complex Hence, for every continuous map σ : Now elementary analysis shows that the limit lim n→∞ 1/n · fill X σ [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 σ than c σ : If For the second equality, we use that |C d (σ [n]; R)(b )| 1 ≤ |b | 1 holds for all n ∈ N (so that the difference in norm is negligible when taking n → ∞).
This can be seen as follows: The standard constructions produce chain maps ϕ : C • (G; R) → C • (X ; R) (choosing paths in X for each group element and inductively filling the simplices) and ψ : C • (X ; R) → C • (G; R) (choosing a set-theoretic fundamental domain D for the deck transformation action on X and looking at the translates of D that contain the vertices of the lifted simplices) with the following properties: through a chain homotopy h that is bounded in every degree, • ϕ ≤ 1 and ψ ≤ 1.

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 (scl as filling invariant) Let G be a group, let m ∈ N, and let r 1 , . . . , r m ∈ G . Then scl G (r 1 + · · · + r m ) = 1 4 · sfill G (r 1 + · · · + r m ). 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: Proof We first show the estimate sfill Z (σ 1 + · · · + σ m ) ≤ β 1 : Clearly, the group π 1 (∂ d ) is amenable; because σ 1 , . . . , σ m are π 1 -injective, the equivalence theorem [35][14, Corollary 6] ensures that for every ∈ R >0 there exists a relative cycle c ∈ C d (Z ; R) representing β in H d (Z , ∂ Z ; R) with Moreover, because the fundamental group of the m components of ∂ Z are amenable, there exists a constant K ∈ R >0 implementing the uniform boundary condition [51]: Let ∈ R >0 , let c be a relative cycle as in (1), and let n ∈ N with n ≥ 1/ .
Proof Clearly, S S 1 is a model of B F(S) and H 2 (F(S); R) ∼ = 0. Therefore, we can apply Corollary 6.9.

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 ; R) ∼ = 0 and H 2 (G 2 ; R) ∼ = 0 and let r 1 ∈ G 1 , r 2 ∈ G 2 be elements of infinite order. We then consider the glued group where the amalgamation homomorphisms Z → G 1 and Z → G 2 are given by r 1 and r −1 2 , respectively. Associated with this situation, there is a canonical homology class α ∈ H 2 (D(G 1 , G 2 , r 1 , r 2 ); 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 → P and Z 2 → P induce an isomorphism π 1 (P) ∼ = D(G 1 , G 2 , r 1 , r 2 ) =: G.
Let β 1 ∈ H 2 (Z 1 , S 1 × {1}; R) and β 2 ∈ H 2 (Z 2 , S 1 × {1}; R) be the relative classes whose boundaries are fundamental classes of S 1 × {1} (corresponding to the relators r 1 and r 2 , respectively). Moreover, let α ∈ H 2 (P; R) be the class obtained by glueing β 1 and β 2 . Then, we define α ∈ H 2 (G; R) as the image of α under the classifying map P → BG (which is induced by the canonical maps Z 1 → P and Z 2 → P). Remark 6.12 (Integrality of the canonical class) In the situation of Setup 6.11, the canonical homology class α is integral: It suffices to show that α ∈ H 2 (P; R) is integral. Comparing the long exact sequences of (Z 1 , ∂ Z 1 ) with Zand R-coefficients shows that β 1 ∈ H 2 (Z 1 , ∂ Z 1 ; R) is an integral class. Analogously, β 2 is integral. Thus, also the glued class α is integral. Setup 6.13 (Decomposable relators II) Let G 1 be a group with H 2 (G 1 ; R) ∼ = 0 and let r 1 , r 2 ∈ G 1 be elements of infinite order. We then consider the group where t is a fresh generator of t ∼ = Z.
Also here, there is a canonical homology class α ∈ H 2 (T (G 1 , r 1 , r 2 ); 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 β ∈ H 2 (Z , ∂ Z ; 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 π 1 (P) ∼ = T (G 1 , r 1 , r 2 ) =: G in the obvious way (the additional generator t corresponds to the loop {1} × ([0, 1] s∼s [0, 1]) in the looped cylinder. Let α ∈ H 2 (P; R) be the class obtained by glueing β to itself via the cylinder. Then we define α ∈ H 2 (G; R) as the image of α under the classifying map P → BG (which is induced by the canonical map X 1 → P and the cylinder loop). Theorem 6.14 (Decomposable relators) Let G 1 be a group with H 2 (G 1 ; R) ∼ = 0 and let r 1 ∈ G 1 be an element of infinite order.
1. Let G 2 also be a group with H 2 (G 2 ; R) ∼ = 0, let r 2 ∈ G 2 be an element of infinite order, and let α ∈ H 2 (D(G 1 , G 2 , r 1 , r 2 ); R) be the canonical homology class (Setup 6.11). Then 2. Let r 2 ∈ G 1 be an element of infinite order, let α ∈ H 2 (T (G 1 , r 1 , r 2 ); R) be the canonical class (Setup 6.13), and let t be the fresh letter in T (G 1 , r 1 , r 2 ). Then 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 α 1 equals 4 · (scl G 1 r 1 + scl G 2 r 2 ). In the following, we will use the notation from Setup 6.11. By construction, we have where c : P → B D(G 1 , G 2 , r 1 , r 2 ) is the classifying map of P. The mapping theorem (Corollary 3.5) shows that α 1 = α 1 . Therefore, it suffices to compute α 1 .
Because r 1 and r 2 have infinite order, the inclusions of S 1 × {1} into Z 1 and Z 2 , respectively, are π 1 -injective. As π 1 (S 1 × {1}) ∼ = 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 α 1 = α 1 = 4 · (scl G 1 r 1 + scl G 2 r 2 ), as claimed.
We will now use the notation from Setup 6.13. The classifying map c : P → BT (G 1 , r 1 , r 2 ) maps α to the canonical class α ∈ H 2 (G; R) and the mapping theorem (Corollary 3.5) shows that α 1 = α 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 α 1 = α 1 1 = 4 · scl G 1 (r 1 + r 2 ).
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 ; R) ∼ = 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.

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

Then M\
Proof Ad 1 This is a special case of Proposition 6.8: We consider Z := M \ • . The map σ : , this holds by the classification of surfaces and the assumption M S 2 ). In view of Poincaré duality, the hypothesis on H d (Z , ∂ Z ; 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 M = M \ • , ∂ . The amenable glueing theorem for simplicial volume [14,33,35] shows that [35]. Hence, we obtain M = M \ • , ∂ . Ad 3 Again, in view of the first part, it suffices to show that M = M \ • , ∂ − 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].

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; R) ∼ = 0 and let r ∈ G be an element of infinite order. Then we define the double D(G, r ) of G and r by setting where G left and G right are isomorphic copies of G and r right ∈ G right , r left ∈ G left are the elements corresponding to r ∈ 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 α ∈ H 2 (D(G, r ); R). Corollary 6.16 (Theorem C) Let G be a group with H 2 (G; R) ∼ = 0 and let r ∈ G be of infinite order. Then the canonical integral class α ∈ H 2 (D(G, r ); R) satisfies Proof This is an immediate corollary of Theorem 6.14 (1).
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 ∈ Q ≥0 , there is a finitely presented group G q and an integral class α q ∈ H 2 (G q ; R) such that α q 1 = q. In particular, for every > 0 there is a finitely presented group G and an integral class α ∈ H 2 (G ; R) such that 0 < α 1 ≤ .
Proof Let q ∈ Q ≥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 ∈ E be an element in the universal central extension E of Thompson's group T with 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; Z) ∼ = 0 and hence H 2 (E; R) ∼ = 0. As scl E r q > 0 the element r q ∈ E has infinite order.
Let G q := D(E, r q ) be the double and let α q ∈ H 2 (G q ; R) be the associated integral 2-class. Theorem C shows that 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).
Putting things together we see that • Three of the x i are identical, the other ones are different. As is alternating we may assume that x 0 = x 1 = x 2 . A permutation σ ∈ S 5 for which the Or(x σ (2) , x σ (3) , x σ (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 σ (0) and σ (1). We compute that the total number of such permutations is 36. For all other permutations, the Or-term in Eq.
(2) will vanish. We may then estimate • 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 σ ∈ S 5 for which the Or(x σ (2) , x σ (3) , x σ (4) )-term in Equation (2)  • 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 Or-term in Eq. (2) always vanishes and we get that In summary, in each case we have seen that ((g 0 , γ 0 ), . . . , (g 4 , γ 4 )) ≤ 2 3 and hence ∞ ≤ 2 3 . This finishes the proof of Claim 7.3 (and also the proof of Theorem 7.1).

Manufacturing manifolds with controlled simplicial volumes
The computation of 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.

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: 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 π 1isomorphism.) One can then apply surgery to obtain a manifold representation of α, where f : M → X in addition is a π 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

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 ∈ N ≥4 . We fix an oriented closed connected hyperbolic (d − 2)-manifold N d ; in particular, N d > 0. Moreover, let K d ∈ N be the constant provided by Thom's realisation theorem (Theorem 8.1).
Let ∈ R >0 . By Theorem D, there exists a finitely presented group G and an integral class α ∈ H 2 (G; R) with 0 < α 1 ≤ . 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 ∈ {1, . . . , K d } with M = m · α 1 .
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 SV(d), the set of simplicial volumes of orientable closed connected d-manifolds. By additivity (Remark 2.3), the set SV(d) is also dense in R ≥0 .

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 α ∈ H 2 (G; R) be an integral class. Then there exists an orientable closed connected 4manifold M α with M α = 6 · α 1 .
Proof We proceed as in the proof of Theorem A and consider the product class of α with the fundamental class [ 2 ] R of a surface of genus 2. Observe that α is also integral. Then the normed Thom realisation (Theorem 8.1) shows that there exists an orientable closed connected 4-manifold M α with M α = α 1 . We now apply the norm computation from Corollary 7.2 and obtain M α = α 1 = 6 · α 1 .

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.
Moreover, we can summarise the relation between stable commutator length and simplicial volumes in dimension 4 as follows: 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 α ∈ H 2 (D(G, r ); 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 α 1 = 8 · scl G r.
In combination with Proposition 8.2, we therefore obtain an orientable closed connected 4-manifold M with M = 6 · α 1 = 48 · scl G r. 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 ∈ Q, we have b 1 (M q ; Q) ≤ rk π 1 (M q ) = rk π 1 D(E, e q ) × 2 ≤ 2 · rk E + 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 RC ≥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 RC ≥0 .
Our techniques for manufacturing manifolds with controlled simplicial volumes are based on group-theoretic methods and not on genuine manifoldgeometric 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 relatorclass in one-relator groups with the stable commutator length of the relator in the free group in a separate article [41].
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/.