Simplicial volume

From Manifold Atlas
Revision as of 14:22, 23 March 2012 by Diarmuid Crowley (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

An earlier version of this page was published in the Bulletin of the Manifold Atlas: screen, print.

You may view the version used for publication as of 09:51, 1 April 2011 and the changes since publication.

The user responsible for this page is Clara Löh. No other user may edit this page at present.

Contents

1 Definition and history

Simplicial volume is a homotopy invariant of oriented closed connected manifolds that was introduced by Gromov in his proof of Mostow rigidity [Munkholm1980][Gromov1982]. Intuitively, simplicial volume measures how difficult it is to describe the manifold in question in terms of simplices (with real coefficients):

Definition (Simplicial volume) 1.1. Let M be an oriented closed connected manifold of dimension n. Then the simplicial volume of M (also called the Gromov norm of M) is defined as

\displaystyle \|M\| := \bigl\| [M] \bigr\|_1 = \inf \bigl\{ |c|_1 \bigm| \text{$c \in C_n(M;\mathbb{R})$ is a fundamental cycle of $M$}  \bigr\} \in \mathbb{R}_{\geq 0},

where [M] \in H_n(M;\mathbb{R}) is the fundamental class of M with real coefficients.

  • Here, |\cdot|_1 denotes the \ell^1-norm on the singular chain complex C_*(\,\cdot\,;\mathbb{R}) with real coefficients induced from the (unordered) basis given by all singular simplices, i.e.: for a topological space X and a chain c = \sum_{j=0}^{k} a_j \cdot \sigma_j \in C_*(X;\mathbb{R}) (in reduced form), the \ell^1-norm of c is given by
\displaystyle  |c|_1 := \sum_{j=0}^k |a_j|.
  • Moreover, \|\cdot\|_1 denotes the \ell^1-semi-norm on singular homology H_*(\,\cdot\,;\mathbb{R}) with real coefficients, which is induced by |\cdot|_1. More explicitly, if X is a topological space and \alpha \in H_*(X;\mathbb{R}), then
\displaystyle  \|\alpha\|_1 := \inf \bigl\{ |c|_1 \bigm| \text{$c \in C_*(X;\mathbb{R})$ is a cycle representing~$\alpha$}\bigr\}.

Convention 1.2. In the following, if not explicitly stated otherwise, all manifolds are topological manifolds and are of non-zero dimension.

2 Functoriality and elementary examples

The \ell^1-semi-norm is functorial in the following sense [Gromov1999, Section 5.34]:

Proposition (Functoriality of the \ell^1-semi-norm) 2.1. If f \colon X \longrightarrow Y is a continuous map of topological spaces and \alpha \in H_*(X;\mathbb{R}), then

\displaystyle  \bigl\| H_*(f;\mathbb{R}) (\alpha) \bigr\|_1 \leq \|\alpha\|_1,

as can be seen by inspecting the definition of H_*(f;\mathbb{R}) = H_*(C_*(f;\mathbb{R})) and of \|\cdot\|_1.

Corollary 2.2.

  • Let f \colon M\longrightarrow N be a map of oriented closed connected manifolds of the same dimension. Then
\displaystyle  |\deg f| \cdot \|N\| \leq \|M\|.
  • Because homotopy equivalences of oriented closed connected manifolds have degree -1 or 1, it follows that simplicial volume indeed is a homotopy invariant of oriented closed connected manifolds.

Hence, all oriented closed connected manifolds admitting a self-map of non-trivial degree (i.e., not equal to -1, 0, or 1) have vanishing simplicial volume; for instance, the simplicial volume of all

  • spheres
  • tori
  • (odd-dimensional) real projective spaces
  • complex projective spaces

is zero. Similarly, any oriented closed connected smooth manifold that admits a non-trivial smooth S^1-action has vanishing simplicial volume [Yano1982].

3 "Computing" simplicial volume

In most cases, trying to compute simplicial volume by inspecting the definition proves to be futile; the two main sources for non-trivial estimates and inheritance properties of simplicial volume are:

  • Geometric approach: The connection between simplicial volume and Riemannian geometry (see below).
  • Algebraic approach: The connection between simplicial volume and bounded cohomology (see below).

3.1 Simplicial volume and Riemannian geometry

A fascinating aspect of simplicial volume is that it is a homotopy invariant encoding non-trivial information about the Riemannian volume. The most fundamental result of this type is Gromov's Main Inequality [Gromov1982, Section 0.5] and the resulting lower bound of the minimal volume in terms of the simplicial volume [Gromov1982, Section 0.5] (the improved upper bound is due to Besson, Courtois, and Gallot [Besson&Courtois&Gallot1991, Théorème D]):

Theorem (Main Inequality) 3.1. For all oriented closed connected Riemannian n-manifolds M whose Ricci curvature is bounded from below by -1/(n-1) we have

\displaystyle  \|M\| < n! \cdot \vol(M).

Theorem (Simplicial volume and minimal volume) 3.2. For all oriented closed connected smooth n-manifolds M we have

\displaystyle  \|M\| \leq \frac{(n-1)^n \cdot n!}{n^{n/2}} \cdot \mathop{\mathrm{minvol}}(M).

The minimal volume [Gromov1982] of a complete smooth manifold M is defined as

\displaystyle  \mathop{\mathrm{minvol}}(M) := \inf \bigl\{ \vol(M,g) \bigm| \text{$g$ is a Riemannian metric on~$M$ with~$|\mathop{\mathrm{sec}}(g)| \leq 1$}\bigr\}.

Conversely, in the presence of negative curvature, the simplicial volume is bounded from below by the Riemannian volume [Gromov1982, Section 0.3][Thurston1978, Theorem 6.2][Inoue&Yano1982]:

Theorem (Simplicial volume and negative sectional curvature) 3.3.

  • The simplicial volume of oriented closed connected Riemannian manifolds of negative sectional curvature is non-zero. More precisely: For every n \in \mathbb{N} there is a constant C_n \in \mathbb{R}_{>0} such that the following holds: If M is an oriented closed connected Riemannian n-manifold whose sectional curvature is bounded from above by \delta \in \mathbb{R}_{<0}, then
\displaystyle  \|M\| > C_n \cdot |\delta|^{n/2} \cdot \vol(M).
  • Let M be an oriented closed connected hyperbolic n-manifold. Then \|M\| = \vol(M)/v_n, where v_n is the supremal volume of all geodesic n-simplices in hyperbolic n-space (indeed, v_n is finite [Thurston1978, Proposition 6.1.4]).

The proof of the lower bound \|\cdot\| \geq \mathop{\mathrm{const}} \cdot \vol(\,\cdot\,) consists of "straightening" fundamental cycles to cycles consisting only of singular simplices whose lifts to the Riemannian universal covering are geodesic.

It is well known that v_2=\pi [Thurston1978, p. 6.3], and hence, for any oriented closed connected surface S_g of genus g\in \mathbb{N}_{\geq 1} we have \|S_g\| = 4\cdot g - 4.

Generalisations of Theorem 3.3 are:

  • The proportionality principle for simplicial volume (Theorem 4.4);
  • the non-vanishing of the simplicial volume of oriented closed connected locally symmetric spaces of non-compact type [Lafont&Schmidt2006] (which is obtained by a combination of a generalised straightening using estimates of Connell and Farb [Connell&Farb2003] and the proportionality principle);
  • non-vanishing results for certain manifolds with negatively curved fundamental group (see below);
  • the construction of (aspherical) oriented closed connected manifolds of non-zero simplicial volume via (relative) hyperbolisation techniques [Belegradek2006].

3.2 Simplicial volume and bounded cohomology

A more algebraic approach to simplicial volume is based on the following observation [Gromov1982, p. 17][Benedetti&Petronio1992, F.2.2] (see below for an explanation of the notation):

Proposition (Duality principle) 3.4. Let X be a topological space, let n \in \mathbb{N}, and let \alpha \in H_n(X;\mathbb{R}). Then

\displaystyle \begin{aligned}\|\alpha\|_1 &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty}  \Bigm| \varphi \in H^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\} \\ &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty} \Bigm| \varphi \in H_b^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\}.\end{aligned}

Corollary 3.5. Let M be an oriented closed connected n-manifold. Then (where [M]^* \in H^n(M;\mathbb{R}) denotes the cohomology class dual to the real fundamental class of M):

\displaystyle \begin{aligned}  \| M \| & = \frac{1}{\bigl\| [M]^* \bigr\|_\infty}\\              & = \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty}                       \Bigm|  \varphi \in H_b^n(M;\mathbb{R}),~c_M(\varphi) = [M]^*                       \Bigr\}.   \end{aligned}

For the sake of completeness, we review the definition of bounded cohomology of topological spaces:

Definition (Bounded cohomology) 3.6. Let X be a topological space, and let n \in \mathbb{N}.

  • If f \in C^n(X;\mathbb{R}) is a cochain, then we write
    \displaystyle  |f|_\infty := \sup_{\sigma \in \mathop{\mathrm{map}} (\Delta^n,X)} |f(\sigma)|                   \in \mathbb{R}_{\geq 0} \cup \{\infty\}.

    If |f|_\infty < \infty, then f is a bounded cochain.

  • We write C_b^n(X;\mathbb{R}) := \bigl\{ f \bigm| f \in C^n(X;\mathbb{R}),~|f|_\infty < \infty\bigr\} for the subspace of bounded cochains. Notice that C_b^*(X;\mathbb{R}) is a subcomplex of the singular cochain complex, called the bounded cochain complex of X.
  • The cohomology H^*_b(X;\mathbb{R}) of C^*_b(X;\mathbb{R}) is the bounded cohomology of X. (It is not difficult to see that every continuous map induces a homomorphism on the level of bounded cohomology; turning H^*_b(\cdot;\mathbb{R}) into a contravariant functor).
  • The norm |\cdot|_\infty on the bounded cochain complex induces a semi-norm on bounded cohomology: If \varphi \in H^n_b(X;\mathbb{R}), then
\displaystyle   \|\varphi\|_\infty := \inf\bigl\{ |f|_\infty                           \bigm| \text{$f \in C^n_b(X;\mathbb{R})$ is a cocycle representing~$\varphi$}                           \bigr\}.
  • The natural inclusion C_b^*(X;\mathbb{R}) \hookrightarrow C^*(X;\mathbb{R}) induces a natural homomorphism c_X \colon H^*_b(X;\mathbb{R}) \longrightarrow H^*(X;\mathbb{R}), the comparison map.

Bounded cohomology was originally introduced by Trauber. Gromov further developed bounded cohomology and studied its relation with the (Riemannian) volume of manifolds [Gromov1982]. A more algebraic approach to bounded cohomology was subsequently developed by Brooks [Brooks1978], Ivanov [Ivanov1985], Noskov [Noskov1990], Monod [Monod2001][Monod2006], and Bühler [Bühler2008].

In the context of simplicial volume, bounded cohomology contributed to establish vanishing results in the presence of amenable fundamental groups, non-vanishing results in the presence of certain types of negative curvature, and inheritance properties with respect to products, connected sums and shared Riemannian coverings.

4 Inheritance properties

4.1 Finite Coverings

Simplicial volume is multiplicative with respect to finite coverings:

Proposition (Simplicial volume and finite coverings) 4.1. Let p \colon M \longrightarrow N be a covering map of oriented closed connected manifolds, and let d be the (finite!) number of sheets of p. Then

\displaystyle  \|M\| = d \cdot \|N\|.

For the proof notice that d = |\deg p| and that \|M\| \geq |\deg p| \cdot \|N\| by functoriality (Corollary 2.2); to show the converse inequality \|M\| \leq d \cdot \|N\| one can use the transfer on singular chains.

4.2 Products

Simplicial volume is almost multiplicative with respect to direct products of manifolds [Gromov1982, p. 10][Benedetti&Petronio1992, Theorem F.2.5]:

Theorem (Simplicial volume and products) 4.2. Let M and N be oriented closed connected manifolds. Then

\displaystyle  \|M\| \cdot \|N\| \leq \| M \times N\|                       \leq {\dim(M) + \dim(N) \choose \dim(M)} \cdot \|M\| \cdot \|N\|.

A proof of the right hand estimate can be given by looking at the concrete description of [M \times N] = [M] \times [N] in terms of the cross-product of singular chains; a proof of the left hand estimate can be obtained by using the duality principle (Corollary 3.5) and the fact that the norm \|\cdot\|_\infty is submultiplicative with respect to the cross-product of (bounded) singular cochains.

Notice that simplicial volume in general is not multiplicative: Bucher-Karlsson [Bucher-Karlsson2008, Corollary 2] proved that \| S \times S'\| = 3/2 \cdot \|S\| \cdot \|S'\| holds for all oriented closed connected surfaces S, S' of genus at least 2 (and \|S\| \neq 0 \neq \|S'\| (see above)).

4.3 Connected sums

Simplicial volume is additive with respect to connected sums in the following sense [Gromov1982, p. 10]:

Theorem (Simplicial volume and connected sums) 4.3. Let M and N be oriented closed connected manifolds of dimension at least 3. Then

\displaystyle  \| M \mathbin{\#} N \| = \|M\| + \|N\|.

Notice that simplicial volume in general is not additive with respect to connected sums in dimension 2: The simplicial volume of the torus is zero (see above), but the simplicial volume of an oriented closed connected surface of genus 2 is non-zero (see above) is non-zero.

The proof of Theorem 4.3 is based on the mapping theorem in bounded cohomology (Theorem 5.1) and a careful analysis of so-called tree-like complexes [Gromov1982, Section 3.5]. Generalising these arguments, it can be seen that also additivity for simplicial volume with respect to certain "amenable" gluings holds [Kuessner2001].

4.4 Fibre bundles

  • In low dimensions, there is a relation between the simplicial volume of the total space of a fibre bundle of oriented closed connected manifolds and the product of the simplicial volume of base and fibre [Hoster&Kotschick2001][Bucher-Karlsson2009].
  • However, in general, the simplicial volume of a fibre bundle of oriented closed connected manifolds is not related in an obvious way to the simplicial volume of base and fibre [Hoster&Kotschick2001]: There exist oriented closed connected hyperbolic 3-manifolds that fibre over the circle. However, the circle has simplicial volume equal to zero, while the simplicial volume of the hyperbolic 3-manifold in question is non-zero (Theorem 3.3).
  • In certain cases, amenable fibres force the simplicial volume to vanish (see below).

4.5 Proportionality principle

For hyperbolic manifolds the simplicial volume is proportional to the Riemannian volume. Gromov and Thurston generalised this result suitably to cover all Riemannian manifolds:

Theorem (Proportionality principle) 4.4. Let M and N be oriented closed connected Riemannian manifolds that have isometric Riemannian universal coverings. Then

\displaystyle  \frac{\|M\|}{\vol(M)} = \frac{\|N\|}{\vol(N)}.

Both Gromov's and Thurston's proof of this result make use of an averaging process. More precisely:

  • Gromov's strategy: Use the duality principle (Corollary 3.5) and average (bounded) continuous singular cochains over the isometry group of the Riemannian universal covering modulo the fundamental group; this requires a careful analysis of the relation between (bounded) continuous singular cohomology and (bounded) singular cohomology [Gromov1982, Section 2.3][Bucher-Karlsson2008a][Frigerio2009].
  • Thurston's strategy: Replace singular homology by measure homology, and average/smear measure chains over the isometry group of the Riemannian universal covering; this requires a careful analysis of the relation between measure homology and singular homology [Thurston1978, p. 6.9][Löh2005][Löh2006].

5 Simplicial volume and the fundamental group

In view of the duality principle (Corollary 3.5) we can interpret simplicial volume in terms of bounded cohomology. The key to deducing interesting consequences for simplicial volume from bounded cohomology is the relation of bounded cohomology to the fundamental group via the mapping theorem (Theorem 5.1), and the relation of bounded cohomology to geometric group theory (see below).

5.1 Background: Mapping theorem in bounded cohomology

One of the most fundamental (and most surprising) features of bounded cohomology is that it cannot detect amenable groups in the homotopy groups of a space [Gromov1982, Section 3.1][Ivanov1985]:

Theorem (Mapping theorem in bounded cohomology) 5.1. Let f \colon X \longrightarrow Y be a (base-point preserving) continuous map between connected countable CW-complexes such that \pi_1(f) \colon \pi_1(X) \longrightarrow \pi_1(Y) is surjective and has amenable kernel.

  • Then the induced map H^*_b(f;\mathbb{R}) \colon H^*_b(Y;\mathbb{R}) \longrightarrow H^*_b(X;\mathbb{R}) in bounded cohomology is an isometric isomorphism.
  • In particular, the map H_*(f;\mathbb{R}) \colon H_*(X;\mathbb{R}) \longrightarrow H_*(Y;\mathbb{R}) is isometric with respect to the \ell^1-semi-norm \|\cdot\|_1. (In general, this does not say anything about injectivity/surjectivity of H_*(f;\mathbb{R})).

Notice however that simplicial volume does not depend only on the fundamental group, but rather on the classifying map to B\pi_1(\cdot); for instance, any oriented closed connected hyperbolic manifold M satisfies

\displaystyle  \|M\| \neq 0 = 0 \cdot \| M\| = \|S^2 \times M\|     \qquad\text{and}\qquad \pi_1(M) \cong \pi_1(S^2 \times M).

More generally, if M is an oriented closed connected n-manifold whose fundamental group has (rational) cohomological dimension less than n, then \|M\| =0.

5.2 Amenability and vanishing results

Direct consequences of the mapping theorem for bounded cohomology (Theorem 5.1) are:

  • The simplicial volume of oriented closed connected manifolds with amenable fundamental group is zero;
  • this includes, in particular, the case of trivial, Abelian, solvable, and nilpotent fundamental groups.
  • Let M be an oriented closed connected manifold that is the total space of a fibration whose base and fibre are oriented closed connected manifolds (of non-zero dimension), and where the fibre has amenable fundamental group. Then \|M\|=0 [Lück2002, Exercise 14.15 and p. 556].

More generally: A stronger vanishing result for the comparison map H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R}) for spaces with amenable coverings of small multiplicity, [Gromov1982, Vanishing Finiteness Theorem on p. 58][Ivanov1985, Corollary 6.3], leads to the following statement: If M is an oriented closed connected n-manifold that admits a covering by amenable open subsets of multiplicity at most n, then \|M\|=0.

5.3 Hyperbolicity and non-vanishing results

The non-vanishing of the simplicial volume of Riemannian manifolds with negative sectional curvature (Theorem 3.3) together with the duality principle implies that the cohomological fundamental class of such a manifold lies in the image of the comparison map H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R}). More generally, Mineyev showed that (in the case of rationally essential manifolds) the condition of negative sectional curvature can be relaxed to word hyperbolicity of the fundamental group [Mineyev2001][Mineyev2002]:

Theorem (Bounded cohomology and word hyperbolic groups) 5.2. Let G be a finitely presented group. Then the following are equivalent:

  • The group G is word hyperbolic.
  • The comparison map H_b^*(BG;V) \longrightarrow H^*(BG;V) is surjective for all k \in \mathbb{N}_{\geq2} and all Banach G-modules V.

Corollary (Simplicial volume and word hyperbolic fundamental groups) 5.3. Let M be an oriented closed connected manifold of dimension at least 2 that is rationally essential (e.g., aspherical). If the fundamental group of M is word hyperbolic, then \|M\| >0.

6 Variations of simplicial volume

For simplicity, in the previous sections we only considered the case that all manifolds in question were orientable and closed (and connected). In the following, we briefly list possible extensions of the definition of simplicial volume to larger classes of manifolds.

6.1 Simplicial volume of manifolds with boundary

For oriented connected compact n-manifolds (M, \partial M) with boundary, the relative simplicial volume \|M,\partial M\| is defined as the \ell^1-semi-norm on relative singular homology H_n(M,\partial M;\mathbb{R}) of the relative fundamental class [M,\partial M] \in H_n(M,\partial M;\mathbb{R}) [Gromov1982][Kuessner2001]; the extension of simplicial volume to manifolds with boundary plays an important role in the theory of 3-manifolds (see below).

6.2 Simplicial volume of non-compact manifolds

Non-compact, oriented, connected manifolds have a fundamental class in locally finite homology; notice that there is a (possibly infinite) \ell^1-semi-norm on locally finite homology with real coefficients. There are two main flavours of simplicial volumes of non-compact manifolds -- a topological one and a geometric one (where a Lipschitz condition is imposed on the fundamental cycles):

  • Topological version [Gromov1982]: Let M be an oriented connected n-manifold without boundary, and let [M] \in H^{\text{lf}}_n(M;\mathbb{R}) be its locally finite fundamental class (with real coefficients). Then the simplicial volume \|M\| of M is defined as the \ell^1-semi-norm of [M].
    • For all proper continuous maps f \colon M \to N between oriented connected manifolds without boundary of the same dimension we have the inequality |\deg f| \cdot \|N\| \leq \|M\|.
    • Notice that the simplicial volume of non-compact manifolds can be infinite; e.g., \|\mathbb{R}\| = \infty. In particular, if (W,\partial W) is an oriented compact connected manifold with boundary, then in general the simplicial volume of the interior W^\circ and the relative simplicial volume of (W,\partial W) (which is always finite) do not coincide; the finiteness of \|W^\circ\| can be characterised in terms of \ell^1-homology [Löh2008].
    • However, the simplicial volume of non-compact manifolds vanishes for many interesting manifolds [Gromov1982, p. 58f][Löh&Sauer2009], and it does not behave well with respect to taking products: for instance, \|\mathbb{R}\| = \infty, but \| \mathbb{R} \times \mathbb{R}\| =0 [Gromov1982, p. 8f][Löh2008].
  • Geometric version [Gromov1982, Section 4.4f][Löh&Sauer2009]: Let M be an oriented connected Riemannian n-manifold. Then the Lipschitz simplicial volume of M is defined by
    \displaystyle  \|M\|_{\text{Lip}} := \inf \bigl\{ |c|_1 \bigm| \text{$c \in C^{\text{lf}}_n(M;\mathbb{R})$ is a fundamental cycle of~$M$ with $\mathrm{Lip}(c) < \infty$} \bigr\} \in [0,\infty],

    where, \mathrm{Lip}(c) is the supremum of the Lipschitz constants of all singular simplices occurring in c.

    • Lipschitz simplicial volume is functorial with respect to proper Lipschitz maps between Riemannian manifolds of the same dimension (so, one application of the Lipschitz simplicial volume are degree theorems for proper Lipschitz maps between non-compact manifolds [Löh&Sauer2009]).
    • The Lipschitz simplicial volume is (up to a dimension constant) a lower bound for the minimal volume [Gromov1982].
    • The Lipschitz simplicial volume of locally symmetric spaces of finite volume and non-compact type is non-zero [Löh&Sauer2009].
    • The Lipschitz simplicial volume of Hilbert modular varieties coincides with the simplicial volume [Löh&Sauer2009a].
    • The Lipschitz simplicial volume behaves better than the topologically defined simplicial volume with respect to taking products [Löh&Sauer2009], and there is a version of the proportionality principle for the Lipschitz simplicial volume [Gromov1982, p. 80][Löh&Sauer2009].

6.3 Simplicial volume of non-orientable manifolds

The simplicial volume of a connected non-orientable manifold M is defined as 1/2\cdot \|\overline M\|, where \overline M is the orientation double covering of M; in view of the multiplicativity of the simplicial volume (of oriented manifolds) with respect to finite coverings, this definition is reasonable.

7 Applications

Typically, simplicial volume is used as a tool to establish topological rigidity properties of the Riemannian volume or non-vanishing of the minimal volume of certain manifolds. Two prominent examples are Gromov's proof of Mostow rigidity and degree theorems.

7.1 Mostow rigidity

Hyperbolic manifolds are completely determined by their homotopy type, i.e., hyperbolic manifolds are rigid in the following sense [Mostow1968]:

Theorem (Mostow rigidity) 7.1. Let M and N be oriented closed connected hyperbolic manifolds of the same dimension \geq 3. If f \colon M \longrightarrow N is a homotopy equivalence, then there is an isometry M \longrightarrow N homotopic to f. In particular, any oriented closed connected smooth manifold of dimension at least 3 can admit at most one hyperbolic structure.

One decisive step in Gromov's proof [Munkholm1980][Benedetti&Petronio1992, Chapter C][Ratcliffe1994, Chapter 11] of Mostow rigidity is to show that if two oriented closed connected hyperbolic manifolds are homotopy equivalent, they have to have the same volume; Gromov introduced simplicial volume in this context as it provides an elegant way of establishing this fact (using the relation to the hyperbolic volume (Theorem 3.3) and the functoriality of the simplicial volume (Corollary 2.2)).

7.2 Degree theorems

A degree theorem is a theorem of the following form:

Metatheorem (Degree theorem) 7.2. Let D and T be certain suitable classes of Riemannian manifolds of the same dimension -- the domain manifolds and the target manifolds. Then there is a constant c \in \mathbb{R}_{>0} with the following property: For all M \in D, all N \in T and all continuous maps f \colon M \longrightarrow N we have

\displaystyle  |\deg f| \leq c \cdot \frac{\vol(M)}{\vol(N)}.

The art is to find suitable classes of domain and target manifolds. The functoriality of simplicial volume (Corollary 2.2) and the relationship between the Riemannian volume of closed hyperbolic manifolds and the simplicial volume (Theorem 3.3) combine to give a degree theorem for hyperbolic manifolds:

Degree theorem for hyperbolic manifolds 7.3. Let M and N be oriented closed connected hyperbolic manifolds of the same dimension. Then

\displaystyle  |\deg f| \leq \frac{\vol(M)}{\vol(N)}

holds for any continuous map f \colon M \longrightarrow N.

In a similar way, non-vanishing results for simplicial volume together with Gromov's estimate of the minimal volume in terms of the simplicial volume give rise to more general degree theorems [Gromov1982, Section 0.5][Lafont&Schmidt2006] (complementing and extending the original degree theorem in higher rank by Connell and Farb [Connell&Farb2003]), and parallel results for the Lipschitz simplicial volume of non-compact Riemannian manifolds lead to degree theorems for proper Lipschitz maps between certain non-compact manifolds [Löh&Sauer2009] (complementing and extending the degree theorem by Connell and Farb [Connell&Farb2003]).

7.3 Dehn fillings and Riemannian volume

Using the relation between the simplicial volume of hyperbolic manifolds and the hyperbolic volume (a generalised version that also covers non-compact manifolds and manifolds with boundary), Thurston proved that hyperbolic Dehn fillings of complete hyperbolic 3-manifolds of finite volume decrease the Riemannian volume [Thurston1978, Theorem 6.5.6].

7.4 Recognising graph manifolds

Simplicial volume recognises graph manifolds:

  • The gluing formula for gluings along tori [Gromov1982][Kuessner2001], the fact that the simplicial volume of hyperbolic manifolds is proportional to the Riemannian volume, and the fact that the simplicial volume of Seifert 3-manifolds is zero show that the simplicial volume of a 3-manifold (possibly with boundary) that has a geometric decomposition is proportional to the sum of the volumes of the hyperbolic pieces in such a decomposition. Therefore, a 3-manifold that has a geometric decomposition is a graph manifold if and only if it has zero simplicial volume. (Together with Perelman's proof of geometrisation for 3-manifolds this means that a 3-manifold is a graph manifold if and only if it has zero simplicial volume.)
  • In a similar spirit, one can show the following: Let M be a Haken 3-manifold whose boundary is a union of tori such that any manifold obtained from M by Dehn fillings has simplicial volume equal to zero. Then M is a graph manifold [Boileau&Leeb&Porti2005, Proposition 10.17][Boileau&Maillot&Porti2003, Proposition 9.36]. This result is used in an alternative proof [Bessières&Besson&Boileau&Maillot&Porti2007] of the last step in Perelman's proof of the Geometrisation Conjecture for aspherical 3-manifolds.

7.5 A conjecture on the simplicial volume of knot complements

H. Murakami and J. Murakami conjectured, similar to the volume conjecture for knots [Kashaev1997], that the simplicial volume of a knot complement should be related to the asymptotic growth rate of the coloured Jones polynomials of the knot in question [Murakami&Murakami2001, Conjecture 5.1]; if this conjecture holds, then the (finite type) Vassiliev invariants are able to detect triviality of a knot [Murakami&Murakami2001].

8 References

9 External Links

$, it follows that simplicial volume indeed is a homotopy invariant of oriented closed connected manifolds. {{Endthm}} Hence, all oriented closed connected manifolds admitting a self-map of non-trivial degree (i.e., not equal to $-1$, be an oriented closed connected manifold of dimension n. Then the simplicial volume of M (also called the Gromov norm of M) is defined as

\displaystyle \|M\| := \bigl\| [M] \bigr\|_1 = \inf \bigl\{ |c|_1 \bigm| \text{$c \in C_n(M;\mathbb{R})$ is a fundamental cycle of $M$}  \bigr\} \in \mathbb{R}_{\geq 0},

where [M] \in H_n(M;\mathbb{R}) is the fundamental class of M with real coefficients.

  • Here, |\cdot|_1 denotes the \ell^1-norm on the singular chain complex C_*(\,\cdot\,;\mathbb{R}) with real coefficients induced from the (unordered) basis given by all singular simplices, i.e.: for a topological space X and a chain c = \sum_{j=0}^{k} a_j \cdot \sigma_j \in C_*(X;\mathbb{R}) (in reduced form), the \ell^1-norm of c is given by
\displaystyle  |c|_1 := \sum_{j=0}^k |a_j|.
  • Moreover, \|\cdot\|_1 denotes the \ell^1-semi-norm on singular homology H_*(\,\cdot\,;\mathbb{R}) with real coefficients, which is induced by |\cdot|_1. More explicitly, if X is a topological space and \alpha \in H_*(X;\mathbb{R}), then
\displaystyle  \|\alpha\|_1 := \inf \bigl\{ |c|_1 \bigm| \text{$c \in C_*(X;\mathbb{R})$ is a cycle representing~$\alpha$}\bigr\}.

Convention 1.2. In the following, if not explicitly stated otherwise, all manifolds are topological manifolds and are of non-zero dimension.

2 Functoriality and elementary examples

The \ell^1-semi-norm is functorial in the following sense [Gromov1999, Section 5.34]:

Proposition (Functoriality of the \ell^1-semi-norm) 2.1. If f \colon X \longrightarrow Y is a continuous map of topological spaces and \alpha \in H_*(X;\mathbb{R}), then

\displaystyle  \bigl\| H_*(f;\mathbb{R}) (\alpha) \bigr\|_1 \leq \|\alpha\|_1,

as can be seen by inspecting the definition of H_*(f;\mathbb{R}) = H_*(C_*(f;\mathbb{R})) and of \|\cdot\|_1.

Corollary 2.2.

  • Let f \colon M\longrightarrow N be a map of oriented closed connected manifolds of the same dimension. Then
\displaystyle  |\deg f| \cdot \|N\| \leq \|M\|.
  • Because homotopy equivalences of oriented closed connected manifolds have degree -1 or 1, it follows that simplicial volume indeed is a homotopy invariant of oriented closed connected manifolds.

Hence, all oriented closed connected manifolds admitting a self-map of non-trivial degree (i.e., not equal to -1, 0, or 1) have vanishing simplicial volume; for instance, the simplicial volume of all

is zero. Similarly, any oriented closed connected smooth manifold that admits a non-trivial smooth S^1-action has vanishing simplicial volume [Yano1982].

3 "Computing" simplicial volume

In most cases, trying to compute simplicial volume by inspecting the definition proves to be futile; the two main sources for non-trivial estimates and inheritance properties of simplicial volume are:

3.1 Simplicial volume and Riemannian geometry

A fascinating aspect of simplicial volume is that it is a homotopy invariant encoding non-trivial information about the Riemannian volume. The most fundamental result of this type is Gromov's Main Inequality [Gromov1982, Section 0.5] and the resulting lower bound of the minimal volume in terms of the simplicial volume [Gromov1982, Section 0.5] (the improved upper bound is due to Besson, Courtois, and Gallot [Besson&Courtois&Gallot1991, Théorème D]):

Theorem (Main Inequality) 3.1. For all oriented closed connected Riemannian n-manifolds M whose Ricci curvature is bounded from below by -1/(n-1) we have

\displaystyle  \|M\| < n! \cdot \vol(M).

Theorem (Simplicial volume and minimal volume) 3.2. For all oriented closed connected smooth n-manifolds M we have

\displaystyle  \|M\| \leq \frac{(n-1)^n \cdot n!}{n^{n/2}} \cdot \mathop{\mathrm{minvol}}(M).

The minimal volume [Gromov1982] of a complete smooth manifold M is defined as

\displaystyle  \mathop{\mathrm{minvol}}(M) := \inf \bigl\{ \vol(M,g) \bigm| \text{$g$ is a Riemannian metric on~$M$ with~$|\mathop{\mathrm{sec}}(g)| \leq 1$}\bigr\}.

Conversely, in the presence of negative curvature, the simplicial volume is bounded from below by the Riemannian volume [Gromov1982, Section 0.3][Thurston1978, Theorem 6.2][Inoue&Yano1982]:

Theorem (Simplicial volume and negative sectional curvature) 3.3.

  • The simplicial volume of oriented closed connected Riemannian manifolds of negative sectional curvature is non-zero. More precisely: For every n \in \mathbb{N} there is a constant C_n \in \mathbb{R}_{>0} such that the following holds: If M is an oriented closed connected Riemannian n-manifold whose sectional curvature is bounded from above by \delta \in \mathbb{R}_{<0}, then
\displaystyle  \|M\| > C_n \cdot |\delta|^{n/2} \cdot \vol(M).
  • Let M be an oriented closed connected hyperbolic n-manifold. Then \|M\| = \vol(M)/v_n, where v_n is the supremal volume of all geodesic n-simplices in hyperbolic n-space (indeed, v_n is finite [Thurston1978, Proposition 6.1.4]).

The proof of the lower bound \|\cdot\| \geq \mathop{\mathrm{const}} \cdot \vol(\,\cdot\,) consists of "straightening" fundamental cycles to cycles consisting only of singular simplices whose lifts to the Riemannian universal covering are geodesic.

It is well known that v_2=\pi [Thurston1978, p. 6.3], and hence, for any oriented closed connected surface S_g of genus g\in \mathbb{N}_{\geq 1} we have \|S_g\| = 4\cdot g - 4.

Generalisations of Theorem 3.3 are:

3.2 Simplicial volume and bounded cohomology

A more algebraic approach to simplicial volume is based on the following observation [Gromov1982, p. 17][Benedetti&Petronio1992, F.2.2] (see below for an explanation of the notation):

Proposition (Duality principle) 3.4. Let X be a topological space, let n \in \mathbb{N}, and let \alpha \in H_n(X;\mathbb{R}). Then

\displaystyle \begin{aligned}\|\alpha\|_1 &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty}  \Bigm| \varphi \in H^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\} \\ &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty} \Bigm| \varphi \in H_b^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\}.\end{aligned}

Corollary 3.5. Let M be an oriented closed connected n-manifold. Then (where [M]^* \in H^n(M;\mathbb{R}) denotes the cohomology class dual to the real fundamental class of M):

\displaystyle \begin{aligned}  \| M \| & = \frac{1}{\bigl\| [M]^* \bigr\|_\infty}\\              & = \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty}                       \Bigm|  \varphi \in H_b^n(M;\mathbb{R}),~c_M(\varphi) = [M]^*                       \Bigr\}.   \end{aligned}

For the sake of completeness, we review the definition of bounded cohomology of topological spaces:

Definition (Bounded cohomology) 3.6. Let X be a topological space, and let n \in \mathbb{N}.

  • If f \in C^n(X;\mathbb{R}) is a cochain, then we write
    \displaystyle  |f|_\infty := \sup_{\sigma \in \mathop{\mathrm{map}} (\Delta^n,X)} |f(\sigma)|                   \in \mathbb{R}_{\geq 0} \cup \{\infty\}.

    If |f|_\infty < \infty, then f is a bounded cochain.

  • We write C_b^n(X;\mathbb{R}) := \bigl\{ f \bigm| f \in C^n(X;\mathbb{R}),~|f|_\infty < \infty\bigr\} for the subspace of bounded cochains. Notice that C_b^*(X;\mathbb{R}) is a subcomplex of the singular cochain complex, called the bounded cochain complex of X.
  • The cohomology H^*_b(X;\mathbb{R}) of C^*_b(X;\mathbb{R}) is the bounded cohomology of X. (It is not difficult to see that every continuous map induces a homomorphism on the level of bounded cohomology; turning H^*_b(\cdot;\mathbb{R}) into a contravariant functor).
  • The norm |\cdot|_\infty on the bounded cochain complex induces a semi-norm on bounded cohomology: If \varphi \in H^n_b(X;\mathbb{R}), then
\displaystyle   \|\varphi\|_\infty := \inf\bigl\{ |f|_\infty                           \bigm| \text{$f \in C^n_b(X;\mathbb{R})$ is a cocycle representing~$\varphi$}                           \bigr\}.
  • The natural inclusion C_b^*(X;\mathbb{R}) \hookrightarrow C^*(X;\mathbb{R}) induces a natural homomorphism c_X \colon H^*_b(X;\mathbb{R}) \longrightarrow H^*(X;\mathbb{R}), the comparison map.

Bounded cohomology was originally introduced by Trauber. Gromov further developed bounded cohomology and studied its relation with the (Riemannian) volume of manifolds [Gromov1982]. A more algebraic approach to bounded cohomology was subsequently developed by Brooks [Brooks1978], Ivanov [Ivanov1985], Noskov [Noskov1990], Monod [Monod2001][Monod2006], and Bühler [Bühler2008].

In the context of simplicial volume, bounded cohomology contributed to establish vanishing results in the presence of amenable fundamental groups, non-vanishing results in the presence of certain types of negative curvature, and inheritance properties with respect to products, connected sums and shared Riemannian coverings.

4 Inheritance properties

4.1 Finite Coverings

Simplicial volume is multiplicative with respect to finite coverings:

Proposition (Simplicial volume and finite coverings) 4.1. Let p \colon M \longrightarrow N be a covering map of oriented closed connected manifolds, and let d be the (finite!) number of sheets of p. Then

\displaystyle  \|M\| = d \cdot \|N\|.

For the proof notice that d = |\deg p| and that \|M\| \geq |\deg p| \cdot \|N\| by functoriality (Corollary 2.2); to show the converse inequality \|M\| \leq d \cdot \|N\| one can use the transfer on singular chains.

4.2 Products

Simplicial volume is almost multiplicative with respect to direct products of manifolds [Gromov1982, p. 10][Benedetti&Petronio1992, Theorem F.2.5]:

Theorem (Simplicial volume and products) 4.2. Let M and N be oriented closed connected manifolds. Then

\displaystyle  \|M\| \cdot \|N\| \leq \| M \times N\|                       \leq {\dim(M) + \dim(N) \choose \dim(M)} \cdot \|M\| \cdot \|N\|.

A proof of the right hand estimate can be given by looking at the concrete description of [M \times N] = [M] \times [N] in terms of the cross-product of singular chains; a proof of the left hand estimate can be obtained by using the duality principle (Corollary 3.5) and the fact that the norm \|\cdot\|_\infty is submultiplicative with respect to the cross-product of (bounded) singular cochains.

Notice that simplicial volume in general is not multiplicative: Bucher-Karlsson [Bucher-Karlsson2008, Corollary 2] proved that \| S \times S'\| = 3/2 \cdot \|S\| \cdot \|S'\| holds for all oriented closed connected surfaces S, S' of genus at least 2 (and \|S\| \neq 0 \neq \|S'\| (see above)).

4.3 Connected sums

Simplicial volume is additive with respect to connected sums in the following sense [Gromov1982, p. 10]:

Theorem (Simplicial volume and connected sums) 4.3. Let M and N be oriented closed connected manifolds of dimension at least 3. Then

\displaystyle  \| M \mathbin{\#} N \| = \|M\| + \|N\|.

Notice that simplicial volume in general is not additive with respect to connected sums in dimension 2: The simplicial volume of the torus is zero (see above), but the simplicial volume of an oriented closed connected surface of genus 2 is non-zero (see above) is non-zero.

The proof of Theorem 4.3 is based on the mapping theorem in bounded cohomology (Theorem 5.1) and a careful analysis of so-called tree-like complexes [Gromov1982, Section 3.5]. Generalising these arguments, it can be seen that also additivity for simplicial volume with respect to certain "amenable" gluings holds [Kuessner2001].

4.4 Fibre bundles

4.5 Proportionality principle

For hyperbolic manifolds the simplicial volume is proportional to the Riemannian volume. Gromov and Thurston generalised this result suitably to cover all Riemannian manifolds:

Theorem (Proportionality principle) 4.4. Let M and N be oriented closed connected Riemannian manifolds that have isometric Riemannian universal coverings. Then

\displaystyle  \frac{\|M\|}{\vol(M)} = \frac{\|N\|}{\vol(N)}.

Both Gromov's and Thurston's proof of this result make use of an averaging process. More precisely:

5 Simplicial volume and the fundamental group

In view of the duality principle (Corollary 3.5) we can interpret simplicial volume in terms of bounded cohomology. The key to deducing interesting consequences for simplicial volume from bounded cohomology is the relation of bounded cohomology to the fundamental group via the mapping theorem (Theorem 5.1), and the relation of bounded cohomology to geometric group theory (see below).

5.1 Background: Mapping theorem in bounded cohomology

One of the most fundamental (and most surprising) features of bounded cohomology is that it cannot detect amenable groups in the homotopy groups of a space [Gromov1982, Section 3.1][Ivanov1985]:

Theorem (Mapping theorem in bounded cohomology) 5.1. Let f \colon X \longrightarrow Y be a (base-point preserving) continuous map between connected countable CW-complexes such that \pi_1(f) \colon \pi_1(X) \longrightarrow \pi_1(Y) is surjective and has amenable kernel.

  • Then the induced map H^*_b(f;\mathbb{R}) \colon H^*_b(Y;\mathbb{R}) \longrightarrow H^*_b(X;\mathbb{R}) in bounded cohomology is an isometric isomorphism.
  • In particular, the map H_*(f;\mathbb{R}) \colon H_*(X;\mathbb{R}) \longrightarrow H_*(Y;\mathbb{R}) is isometric with respect to the \ell^1-semi-norm \|\cdot\|_1. (In general, this does not say anything about injectivity/surjectivity of H_*(f;\mathbb{R})).

Notice however that simplicial volume does not depend only on the fundamental group, but rather on the classifying map to B\pi_1(\cdot); for instance, any oriented closed connected hyperbolic manifold M satisfies

\displaystyle  \|M\| \neq 0 = 0 \cdot \| M\| = \|S^2 \times M\|     \qquad\text{and}\qquad \pi_1(M) \cong \pi_1(S^2 \times M).

More generally, if M is an oriented closed connected n-manifold whose fundamental group has (rational) cohomological dimension less than n, then \|M\| =0.

5.2 Amenability and vanishing results

Direct consequences of the mapping theorem for bounded cohomology (Theorem 5.1) are:

More generally: A stronger vanishing result for the comparison map H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R}) for spaces with amenable coverings of small multiplicity, [Gromov1982, Vanishing Finiteness Theorem on p. 58][Ivanov1985, Corollary 6.3], leads to the following statement: If M is an oriented closed connected n-manifold that admits a covering by amenable open subsets of multiplicity at most n, then \|M\|=0.

5.3 Hyperbolicity and non-vanishing results

The non-vanishing of the simplicial volume of Riemannian manifolds with negative sectional curvature (Theorem 3.3) together with the duality principle implies that the cohomological fundamental class of such a manifold lies in the image of the comparison map H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R}). More generally, Mineyev showed that (in the case of rationally essential manifolds) the condition of negative sectional curvature can be relaxed to word hyperbolicity of the fundamental group [Mineyev2001][Mineyev2002]:

Theorem (Bounded cohomology and word hyperbolic groups) 5.2. Let G be a finitely presented group. Then the following are equivalent:

  • The group G is word hyperbolic.
  • The comparison map H_b^*(BG;V) \longrightarrow H^*(BG;V) is surjective for all k \in \mathbb{N}_{\geq2} and all Banach G-modules V.

Corollary (Simplicial volume and word hyperbolic fundamental groups) 5.3. Let M be an oriented closed connected manifold of dimension at least 2 that is rationally essential (e.g., aspherical). If the fundamental group of M is word hyperbolic, then \|M\| >0.

6 Variations of simplicial volume

For simplicity, in the previous sections we only considered the case that all manifolds in question were orientable and closed (and connected). In the following, we briefly list possible extensions of the definition of simplicial volume to larger classes of manifolds.

6.1 Simplicial volume of manifolds with boundary

For oriented connected compact n-manifolds (M, \partial M) with boundary, the relative simplicial volume \|M,\partial M\| is defined as the \ell^1-semi-norm on relative singular homology H_n(M,\partial M;\mathbb{R}) of the relative fundamental class [M,\partial M] \in H_n(M,\partial M;\mathbb{R}) [Gromov1982][Kuessner2001]; the extension of simplicial volume to manifolds with boundary plays an important role in the theory of 3-manifolds (see below).

6.2 Simplicial volume of non-compact manifolds

Non-compact, oriented, connected manifolds have a fundamental class in locally finite homology; notice that there is a (possibly infinite) \ell^1-semi-norm on locally finite homology with real coefficients. There are two main flavours of simplicial volumes of non-compact manifolds -- a topological one and a geometric one (where a Lipschitz condition is imposed on the fundamental cycles):

6.3 Simplicial volume of non-orientable manifolds

The simplicial volume of a connected non-orientable manifold M is defined as 1/2\cdot \|\overline M\|, where \overline M is the orientation double covering of M; in view of the multiplicativity of the simplicial volume (of oriented manifolds) with respect to finite coverings, this definition is reasonable.

7 Applications

Typically, simplicial volume is used as a tool to establish topological rigidity properties of the Riemannian volume or non-vanishing of the minimal volume of certain manifolds. Two prominent examples are Gromov's proof of Mostow rigidity and degree theorems.

7.1 Mostow rigidity

Hyperbolic manifolds are completely determined by their homotopy type, i.e., hyperbolic manifolds are rigid in the following sense [Mostow1968]:

Theorem (Mostow rigidity) 7.1. Let M and N be oriented closed connected hyperbolic manifolds of the same dimension \geq 3. If f \colon M \longrightarrow N is a homotopy equivalence, then there is an isometry M \longrightarrow N homotopic to f. In particular, any oriented closed connected smooth manifold of dimension at least 3 can admit at most one hyperbolic structure.

One decisive step in Gromov's proof [Munkholm1980][Benedetti&Petronio1992, Chapter C][Ratcliffe1994, Chapter 11] of Mostow rigidity is to show that if two oriented closed connected hyperbolic manifolds are homotopy equivalent, they have to have the same volume; Gromov introduced simplicial volume in this context as it provides an elegant way of establishing this fact (using the relation to the hyperbolic volume (Theorem 3.3) and the functoriality of the simplicial volume (Corollary 2.2)).

7.2 Degree theorems

A degree theorem is a theorem of the following form:

Metatheorem (Degree theorem) 7.2. Let D and T be certain suitable classes of Riemannian manifolds of the same dimension -- the domain manifolds and the target manifolds. Then there is a constant c \in \mathbb{R}_{>0} with the following property: For all M \in D, all N \in T and all continuous maps f \colon M \longrightarrow N we have

\displaystyle  |\deg f| \leq c \cdot \frac{\vol(M)}{\vol(N)}.

The art is to find suitable classes of domain and target manifolds. The functoriality of simplicial volume (Corollary 2.2) and the relationship between the Riemannian volume of closed hyperbolic manifolds and the simplicial volume (Theorem 3.3) combine to give a degree theorem for hyperbolic manifolds:

Degree theorem for hyperbolic manifolds 7.3. Let M and N be oriented closed connected hyperbolic manifolds of the same dimension. Then

\displaystyle  |\deg f| \leq \frac{\vol(M)}{\vol(N)}

holds for any continuous map f \colon M \longrightarrow N.

In a similar way, non-vanishing results for simplicial volume together with Gromov's estimate of the minimal volume in terms of the simplicial volume give rise to more general degree theorems [Gromov1982, Section 0.5][Lafont&Schmidt2006] (complementing and extending the original degree theorem in higher rank by Connell and Farb [Connell&Farb2003]), and parallel results for the Lipschitz simplicial volume of non-compact Riemannian manifolds lead to degree theorems for proper Lipschitz maps between certain non-compact manifolds [Löh&Sauer2009] (complementing and extending the degree theorem by Connell and Farb [Connell&Farb2003]).

7.3 Dehn fillings and Riemannian volume

Using the relation between the simplicial volume of hyperbolic manifolds and the hyperbolic volume (a generalised version that also covers non-compact manifolds and manifolds with boundary), Thurston proved that hyperbolic Dehn fillings of complete hyperbolic 3-manifolds of finite volume decrease the Riemannian volume [Thurston1978, Theorem 6.5.6].

7.4 Recognising graph manifolds

Simplicial volume recognises graph manifolds:

7.5 A conjecture on the simplicial volume of knot complements

H. Murakami and J. Murakami conjectured, similar to the volume conjecture for knots [Kashaev1997], that the simplicial volume of a knot complement should be related to the asymptotic growth rate of the coloured Jones polynomials of the knot in question [Murakami&Murakami2001, Conjecture 5.1]; if this conjecture holds, then the (finite type) Vassiliev invariants are able to detect triviality of a knot [Murakami&Murakami2001].

8 References

9 External Links

$, or M be an oriented closed connected manifold of dimension n. Then the simplicial volume of M (also called the Gromov norm of M) is defined as

\displaystyle \|M\| := \bigl\| [M] \bigr\|_1 = \inf \bigl\{ |c|_1 \bigm| \text{$c \in C_n(M;\mathbb{R})$ is a fundamental cycle of $M$}  \bigr\} \in \mathbb{R}_{\geq 0},

where [M] \in H_n(M;\mathbb{R}) is the fundamental class of M with real coefficients.

\displaystyle  |c|_1 := \sum_{j=0}^k |a_j|.
\displaystyle  \|\alpha\|_1 := \inf \bigl\{ |c|_1 \bigm| \text{$c \in C_*(X;\mathbb{R})$ is a cycle representing~$\alpha$}\bigr\}.

Convention 1.2. In the following, if not explicitly stated otherwise, all manifolds are topological manifolds and are of non-zero dimension.

2 Functoriality and elementary examples

The \ell^1-semi-norm is functorial in the following sense [Gromov1999, Section 5.34]:

Proposition (Functoriality of the \ell^1-semi-norm) 2.1. If f \colon X \longrightarrow Y is a continuous map of topological spaces and \alpha \in H_*(X;\mathbb{R}), then

\displaystyle  \bigl\| H_*(f;\mathbb{R}) (\alpha) \bigr\|_1 \leq \|\alpha\|_1,

as can be seen by inspecting the definition of H_*(f;\mathbb{R}) = H_*(C_*(f;\mathbb{R})) and of \|\cdot\|_1.

Corollary 2.2.

\displaystyle  |\deg f| \cdot \|N\| \leq \|M\|.

Hence, all oriented closed connected manifolds admitting a self-map of non-trivial degree (i.e., not equal to -1, 0, or 1) have vanishing simplicial volume; for instance, the simplicial volume of all

is zero. Similarly, any oriented closed connected smooth manifold that admits a non-trivial smooth S^1-action has vanishing simplicial volume [Yano1982].

3 "Computing" simplicial volume

In most cases, trying to compute simplicial volume by inspecting the definition proves to be futile; the two main sources for non-trivial estimates and inheritance properties of simplicial volume are:

3.1 Simplicial volume and Riemannian geometry

A fascinating aspect of simplicial volume is that it is a homotopy invariant encoding non-trivial information about the Riemannian volume. The most fundamental result of this type is Gromov's Main Inequality [Gromov1982, Section 0.5] and the resulting lower bound of the minimal volume in terms of the simplicial volume [Gromov1982, Section 0.5] (the improved upper bound is due to Besson, Courtois, and Gallot [Besson&Courtois&Gallot1991, Théorème D]):

Theorem (Main Inequality) 3.1. For all oriented closed connected Riemannian n-manifolds M whose Ricci curvature is bounded from below by -1/(n-1) we have

\displaystyle  \|M\| < n! \cdot \vol(M).

Theorem (Simplicial volume and minimal volume) 3.2. For all oriented closed connected smooth n-manifolds M we have

\displaystyle  \|M\| \leq \frac{(n-1)^n \cdot n!}{n^{n/2}} \cdot \mathop{\mathrm{minvol}}(M).

The minimal volume [Gromov1982] of a complete smooth manifold M is defined as

\displaystyle  \mathop{\mathrm{minvol}}(M) := \inf \bigl\{ \vol(M,g) \bigm| \text{$g$ is a Riemannian metric on~$M$ with~$|\mathop{\mathrm{sec}}(g)| \leq 1$}\bigr\}.

Conversely, in the presence of negative curvature, the simplicial volume is bounded from below by the Riemannian volume [Gromov1982, Section 0.3][Thurston1978, Theorem 6.2][Inoue&Yano1982]:

Theorem (Simplicial volume and negative sectional curvature) 3.3.

\displaystyle  \|M\| > C_n \cdot |\delta|^{n/2} \cdot \vol(M).

The proof of the lower bound \|\cdot\| \geq \mathop{\mathrm{const}} \cdot \vol(\,\cdot\,) consists of "straightening" fundamental cycles to cycles consisting only of singular simplices whose lifts to the Riemannian universal covering are geodesic.

It is well known that v_2=\pi [Thurston1978, p. 6.3], and hence, for any oriented closed connected surface S_g of genus g\in \mathbb{N}_{\geq 1} we have \|S_g\| = 4\cdot g - 4.

Generalisations of Theorem 3.3 are:

3.2 Simplicial volume and bounded cohomology

A more algebraic approach to simplicial volume is based on the following observation [Gromov1982, p. 17][Benedetti&Petronio1992, F.2.2] (see below for an explanation of the notation):

Proposition (Duality principle) 3.4. Let X be a topological space, let n \in \mathbb{N}, and let \alpha \in H_n(X;\mathbb{R}). Then

\displaystyle \begin{aligned}\|\alpha\|_1 &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty}  \Bigm| \varphi \in H^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\} \\ &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty} \Bigm| \varphi \in H_b^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\}.\end{aligned}

Corollary 3.5. Let M be an oriented closed connected n-manifold. Then (where [M]^* \in H^n(M;\mathbb{R}) denotes the cohomology class dual to the real fundamental class of M):

\displaystyle \begin{aligned}  \| M \| & = \frac{1}{\bigl\| [M]^* \bigr\|_\infty}\\              & = \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty}                       \Bigm|  \varphi \in H_b^n(M;\mathbb{R}),~c_M(\varphi) = [M]^*                       \Bigr\}.   \end{aligned}

For the sake of completeness, we review the definition of bounded cohomology of topological spaces:

Definition (Bounded cohomology) 3.6. Let X be a topological space, and let n \in \mathbb{N}.

\displaystyle   \|\varphi\|_\infty := \inf\bigl\{ |f|_\infty                           \bigm| \text{$f \in C^n_b(X;\mathbb{R})$ is a cocycle representing~$\varphi$}                           \bigr\}.

Bounded cohomology was originally introduced by Trauber. Gromov further developed bounded cohomology and studied its relation with the (Riemannian) volume of manifolds [Gromov1982]. A more algebraic approach to bounded cohomology was subsequently developed by Brooks [Brooks1978], Ivanov [Ivanov1985], Noskov [Noskov1990], Monod [Monod2001][Monod2006], and Bühler [Bühler2008].

In the context of simplicial volume, bounded cohomology contributed to establish vanishing results in the presence of amenable fundamental groups, non-vanishing results in the presence of certain types of negative curvature, and inheritance properties with respect to products, connected sums and shared Riemannian coverings.

4 Inheritance properties

4.1 Finite Coverings

Simplicial volume is multiplicative with respect to finite coverings:

Proposition (Simplicial volume and finite coverings) 4.1. Let p \colon M \longrightarrow N be a covering map of oriented closed connected manifolds, and let d be the (finite!) number of sheets of p. Then

\displaystyle  \|M\| = d \cdot \|N\|.

For the proof notice that d = |\deg p| and that \|M\| \geq |\deg p| \cdot \|N\| by functoriality (Corollary 2.2); to show the converse inequality \|M\| \leq d \cdot \|N\| one can use the transfer on singular chains.

4.2 Products

Simplicial volume is almost multiplicative with respect to direct products of manifolds [Gromov1982, p. 10][Benedetti&Petronio1992, Theorem F.2.5]:

Theorem (Simplicial volume and products) 4.2. Let M and N be oriented closed connected manifolds. Then

\displaystyle  \|M\| \cdot \|N\| \leq \| M \times N\|                       \leq {\dim(M) + \dim(N) \choose \dim(M)} \cdot \|M\| \cdot \|N\|.

A proof of the right hand estimate can be given by looking at the concrete description of [M \times N] = [M] \times [N] in terms of the cross-product of singular chains; a proof of the left hand estimate can be obtained by using the duality principle (Corollary 3.5) and the fact that the norm \|\cdot\|_\infty is submultiplicative with respect to the cross-product of (bounded) singular cochains.

Notice that simplicial volume in general is not multiplicative: Bucher-Karlsson [Bucher-Karlsson2008, Corollary 2] proved that \| S \times S'\| = 3/2 \cdot \|S\| \cdot \|S'\| holds for all oriented closed connected surfaces S, S' of genus at least 2 (and \|S\| \neq 0 \neq \|S'\| (see above)).

4.3 Connected sums

Simplicial volume is additive with respect to connected sums in the following sense [Gromov1982, p. 10]:

Theorem (Simplicial volume and connected sums) 4.3. Let M and N be oriented closed connected manifolds of dimension at least 3. Then

\displaystyle  \| M \mathbin{\#} N \| = \|M\| + \|N\|.

Notice that simplicial volume in general is not additive with respect to connected sums in dimension 2: The simplicial volume of the torus is zero (see above), but the simplicial volume of an oriented closed connected surface of genus 2 is non-zero (see above) is non-zero.

The proof of Theorem 4.3 is based on the mapping theorem in bounded cohomology (Theorem 5.1) and a careful analysis of so-called tree-like complexes [Gromov1982, Section 3.5]. Generalising these arguments, it can be seen that also additivity for simplicial volume with respect to certain "amenable" gluings holds [Kuessner2001].

4.4 Fibre bundles

4.5 Proportionality principle

For hyperbolic manifolds the simplicial volume is proportional to the Riemannian volume. Gromov and Thurston generalised this result suitably to cover all Riemannian manifolds:

Theorem (Proportionality principle) 4.4. Let M and N be oriented closed connected Riemannian manifolds that have isometric Riemannian universal coverings. Then

\displaystyle  \frac{\|M\|}{\vol(M)} = \frac{\|N\|}{\vol(N)}.

Both Gromov's and Thurston's proof of this result make use of an averaging process. More precisely:

5 Simplicial volume and the fundamental group

In view of the duality principle (Corollary 3.5) we can interpret simplicial volume in terms of bounded cohomology. The key to deducing interesting consequences for simplicial volume from bounded cohomology is the relation of bounded cohomology to the fundamental group via the mapping theorem (Theorem 5.1), and the relation of bounded cohomology to geometric group theory (see below).

5.1 Background: Mapping theorem in bounded cohomology

One of the most fundamental (and most surprising) features of bounded cohomology is that it cannot detect amenable groups in the homotopy groups of a space [Gromov1982, Section 3.1][Ivanov1985]:

Theorem (Mapping theorem in bounded cohomology) 5.1. Let f \colon X \longrightarrow Y be a (base-point preserving) continuous map between connected countable CW-complexes such that \pi_1(f) \colon \pi_1(X) \longrightarrow \pi_1(Y) is surjective and has amenable kernel.

Notice however that simplicial volume does not depend only on the fundamental group, but rather on the classifying map to B\pi_1(\cdot); for instance, any oriented closed connected hyperbolic manifold M satisfies

\displaystyle  \|M\| \neq 0 = 0 \cdot \| M\| = \|S^2 \times M\|     \qquad\text{and}\qquad \pi_1(M) \cong \pi_1(S^2 \times M).

More generally, if M is an oriented closed connected n-manifold whose fundamental group has (rational) cohomological dimension less than n, then \|M\| =0.

5.2 Amenability and vanishing results

Direct consequences of the mapping theorem for bounded cohomology (Theorem 5.1) are:

More generally: A stronger vanishing result for the comparison map H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R}) for spaces with amenable coverings of small multiplicity, [Gromov1982, Vanishing Finiteness Theorem on p. 58][Ivanov1985, Corollary 6.3], leads to the following statement: If M is an oriented closed connected n-manifold that admits a covering by amenable open subsets of multiplicity at most n, then \|M\|=0.

5.3 Hyperbolicity and non-vanishing results

The non-vanishing of the simplicial volume of Riemannian manifolds with negative sectional curvature (Theorem 3.3) together with the duality principle implies that the cohomological fundamental class of such a manifold lies in the image of the comparison map H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R}). More generally, Mineyev showed that (in the case of rationally essential manifolds) the condition of negative sectional curvature can be relaxed to word hyperbolicity of the fundamental group [Mineyev2001][Mineyev2002]:

Theorem (Bounded cohomology and word hyperbolic groups) 5.2. Let G be a finitely presented group. Then the following are equivalent:

Corollary (Simplicial volume and word hyperbolic fundamental groups) 5.3. Let M be an oriented closed connected manifold of dimension at least 2 that is rationally essential (e.g., aspherical). If the fundamental group of M is word hyperbolic, then \|M\| >0.

6 Variations of simplicial volume

For simplicity, in the previous sections we only considered the case that all manifolds in question were orientable and closed (and connected). In the following, we briefly list possible extensions of the definition of simplicial volume to larger classes of manifolds.

6.1 Simplicial volume of manifolds with boundary

For oriented connected compact n-manifolds (M, \partial M) with boundary, the relative simplicial volume \|M,\partial M\| is defined as the \ell^1-semi-norm on relative singular homology H_n(M,\partial M;\mathbb{R}) of the relative fundamental class [M,\partial M] \in H_n(M,\partial M;\mathbb{R}) [Gromov1982][Kuessner2001]; the extension of simplicial volume to manifolds with boundary plays an important role in the theory of 3-manifolds (see below).

6.2 Simplicial volume of non-compact manifolds

Non-compact, oriented, connected manifolds have a fundamental class in locally finite homology; notice that there is a (possibly infinite) \ell^1-semi-norm on locally finite homology with real coefficients. There are two main flavours of simplicial volumes of non-compact manifolds -- a topological one and a geometric one (where a Lipschitz condition is imposed on the fundamental cycles):

6.3 Simplicial volume of non-orientable manifolds

The simplicial volume of a connected non-orientable manifold M is defined as 1/2\cdot \|\overline M\|, where \overline M is the orientation double covering of M; in view of the multiplicativity of the simplicial volume (of oriented manifolds) with respect to finite coverings, this definition is reasonable.

7 Applications

Typically, simplicial volume is used as a tool to establish topological rigidity properties of the Riemannian volume or non-vanishing of the minimal volume of certain manifolds. Two prominent examples are Gromov's proof of Mostow rigidity and degree theorems.

7.1 Mostow rigidity

Hyperbolic manifolds are completely determined by their homotopy type, i.e., hyperbolic manifolds are rigid in the following sense [Mostow1968]:

Theorem (Mostow rigidity) 7.1. Let M and N be oriented closed connected hyperbolic manifolds of the same dimension \geq 3. If f \colon M \longrightarrow N is a homotopy equivalence, then there is an isometry M \longrightarrow N homotopic to f. In particular, any oriented closed connected smooth manifold of dimension at least 3 can admit at most one hyperbolic structure.

One decisive step in Gromov's proof [Munkholm1980][Benedetti&Petronio1992, Chapter C][Ratcliffe1994, Chapter 11] of Mostow rigidity is to show that if two oriented closed connected hyperbolic manifolds are homotopy equivalent, they have to have the same volume; Gromov introduced simplicial volume in this context as it provides an elegant way of establishing this fact (using the relation to the hyperbolic volume (Theorem 3.3) and the functoriality of the simplicial volume (Corollary 2.2)).

7.2 Degree theorems

A degree theorem is a theorem of the following form:

Metatheorem (Degree theorem) 7.2. Let D and T be certain suitable classes of Riemannian manifolds of the same dimension -- the domain manifolds and the target manifolds. Then there is a constant c \in \mathbb{R}_{>0} with the following property: For all M \in D, all N \in T and all continuous maps f \colon M \longrightarrow N we have

\displaystyle  |\deg f| \leq c \cdot \frac{\vol(M)}{\vol(N)}.

The art is to find suitable classes of domain and target manifolds. The functoriality of simplicial volume (Corollary 2.2) and the relationship between the Riemannian volume of closed hyperbolic manifolds and the simplicial volume (Theorem 3.3) combine to give a degree theorem for hyperbolic manifolds:

Degree theorem for hyperbolic manifolds 7.3. Let M and N be oriented closed connected hyperbolic manifolds of the same dimension. Then

\displaystyle  |\deg f| \leq \frac{\vol(M)}{\vol(N)}

holds for any continuous map f \colon M \longrightarrow N.

In a similar way, non-vanishing results for simplicial volume together with Gromov's estimate of the minimal volume in terms of the simplicial volume give rise to more general degree theorems [Gromov1982, Section 0.5][Lafont&Schmidt2006] (complementing and extending the original degree theorem in higher rank by Connell and Farb [Connell&Farb2003]), and parallel results for the Lipschitz simplicial volume of non-compact Riemannian manifolds lead to degree theorems for proper Lipschitz maps between certain non-compact manifolds [Löh&Sauer2009] (complementing and extending the degree theorem by Connell and Farb [Connell&Farb2003]).

7.3 Dehn fillings and Riemannian volume

Using the relation between the simplicial volume of hyperbolic manifolds and the hyperbolic volume (a generalised version that also covers non-compact manifolds and manifolds with boundary), Thurston proved that hyperbolic Dehn fillings of complete hyperbolic 3-manifolds of finite volume decrease the Riemannian volume [Thurston1978, Theorem 6.5.6].

7.4 Recognising graph manifolds

Simplicial volume recognises graph manifolds:

7.5 A conjecture on the simplicial volume of knot complements

H. Murakami and J. Murakami conjectured, similar to the volume conjecture for knots [Kashaev1997], that the simplicial volume of a knot complement should be related to the asymptotic growth rate of the coloured Jones polynomials of the knot in question [Murakami&Murakami2001, Conjecture 5.1]; if this conjecture holds, then the (finite type) Vassiliev invariants are able to detect triviality of a knot [Murakami&Murakami2001].

8 References

9 External Links

$) have vanishing simplicial volume; for instance, the simplicial volume of all * spheres * tori * (odd-dimensional) real projective spaces * complex projective spaces is zero. Similarly, any oriented closed connected smooth manifold that admits a non-trivial smooth $S^1$-action has vanishing simplicial volume {{cite|Yano1982}}. =="Computing" simplicial volume== In most cases, trying to compute simplicial volume by inspecting the definition proves to be futile; the two main sources for non-trivial estimates and inheritance properties of simplicial volume are: * ''Geometric approach'': The connection between simplicial volume and Riemannian geometry ([[Simplicial volume#Simplicial volume and Riemannian geometry|see below]]). * ''Algebraic approach'': The connection between simplicial volume and bounded cohomology ([[Simplicial volume#Simplicial volume and bounded cohomology|see below]]). ===Simplicial volume and Riemannian geometry=== ; A fascinating aspect of simplicial volume is that it is a ''homotopy'' invariant encoding non-trivial information about the Riemannian volume. The most fundamental result of this type is Gromov's Main Inequality {{cite|Gromov1982|Section 0.5}} and the resulting lower bound of the minimal volume in terms of the simplicial volume {{cite|Gromov1982|Section 0.5}} (the improved upper bound is due to Besson, Courtois, and Gallot {{cite|Besson&Courtois&Gallot1991|Théorème D}}): {{Beginthm|Theorem (Main Inequality)}} For all oriented closed connected Riemannian $n$-manifolds $M$ whose Ricci curvature is bounded from below by $-1/(n-1)$ we have $$ \|M\| < n! \cdot \vol(M).$$ {{Endthm}} {{Beginthm|Theorem (Simplicial volume and minimal volume)}} For all oriented closed connected smooth $n$-manifolds $M$ we have $$ \|M\| \leq \frac{(n-1)^n \cdot n!}{n^{n/2}} \cdot \mathop{\mathrm{minvol}}(M).$$ {{Endthm}} The '''minimal volume''' {{cite|Gromov1982}} of a complete smooth manifold $M$ is defined as $$ \mathop{\mathrm{minvol}}(M) := \inf \bigl\{ \vol(M,g) \bigm| \text{$g$ is a Riemannian metric on~$M$ with~$|\mathop{\mathrm{sec}}(g)| \leq 1$}\bigr\}.$$ Conversely, in the presence of negative curvature, the simplicial volume is bounded from below by the Riemannian volume {{cite|Gromov1982|Section 0.3}}{{cite|Thurston1978|Theorem 6.2}}{{cite|Inoue&Yano1982}}: {{Beginthm|Theorem (Simplicial volume and negative sectional curvature)}}\label{thm:svnegcurv} * The simplicial volume of oriented closed connected Riemannian manifolds of negative sectional curvature is non-zero. More precisely: For every $n \in \mathbb{N}$ there is a constant $C_n \in \mathbb{R}_{>0}$ such that the following holds: If $M$ is an oriented closed connected Riemannian $n$-manifold whose sectional curvature is bounded from above by $\delta \in \mathbb{R}_{<0}$, then $$ \|M\| > C_n \cdot |\delta|^{n/2} \cdot \vol(M).$$ * Let $M$ be an oriented closed connected hyperbolic $n$-manifold. Then $\|M\| = \vol(M)/v_n$, where $v_n$ is the supremal volume of all geodesic $n$-simplices in hyperbolic $n$-space (indeed, $v_n$ is finite {{cite|Thurston1978|Proposition 6.1.4}}). {{Endthm}} The ''proof'' of the lower bound $\|\cdot\| \geq \mathop{\mathrm{const}} \cdot \vol(\,\cdot\,)$ consists of "straightening" fundamental cycles to cycles consisting only of singular simplices whose lifts to the Riemannian universal covering are geodesic. It is well known that $v_2=\pi$ {{cite|Thurston1978|p. 6.3}}, and hence, for any oriented closed connected surface $S_g$ of genus $g\in \mathbb{N}_{\geq 1}$ we have $\|S_g\| = 4\cdot g - 4$. Generalisations of Theorem \ref{thm:svnegcurv} are: *The proportionality principle for simplicial volume (Theorem \ref{thm:svpropprinc}); *the non-vanishing of the simplicial volume of oriented closed connected locally symmetric spaces of non-compact type {{cite|Lafont&Schmidt2006}} (which is obtained by a combination of a generalised straightening using estimates of Connell and Farb {{cite|Connell&Farb2003}} and the proportionality principle); *non-vanishing results for certain manifolds with negatively curved fundamental group ([[Simplicial volume#Hyperbolicity and non-vanishing results|see below]]); *the construction of (aspherical) oriented closed connected manifolds of non-zero simplicial volume via (relative) hyperbolisation techniques {{cite|Belegradek2006}}. ===Simplicial volume and bounded cohomology=== ; A more algebraic approach to simplicial volume is based on the following observation {{cite|Gromov1982|p. 17}}{{cite|Benedetti&Petronio1992|F.2.2}} (see below for an explanation of the notation): {{Beginthm|Proposition (Duality principle)}} Let $X$ be a topological space, let $n \in \mathbb{N}$, and let $\alpha \in H_n(X;\mathbb{R})$. Then $$\begin{aligned}\|\alpha\|_1 &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty} \Bigm| \varphi \in H^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\} \ &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty} \Bigm| \varphi \in H_b^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\}.\end{aligned}$$ {{Endthm}} {{Beginthm|Corollary}}\label{cor:svdual} Let $M$ be an oriented closed connected $n$-manifold. Then (where $[M]^* \in H^n(M;\mathbb{R})$ denotes the cohomology class dual to the real fundamental class of $M$): $$\begin{aligned} \| M \| & = \frac{1}{\bigl\| [M]^* \bigr\|_\infty}\ & = \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty} \Bigm| \varphi \in H_b^n(M;\mathbb{R}),~c_M(\varphi) = [M]^* \Bigr\}. \end{aligned} $$ {{Endthm}} For the sake of completeness, we review the definition of ''bounded cohomology'' of topological spaces: {{Beginthm|Definition (Bounded cohomology)}} Let $X$ be a topological space, and let $n \in \mathbb{N}$. * We write $C_b^n(X;\mathbb{R}) := \bigl\{ f \bigm| f \in C^n(X;\mathbb{R}),~|f|_\infty < \infty\bigr\}$ for the subspace of bounded cochains. Notice that $C_b^*(X;\mathbb{R})$ is a subcomplex of the singular cochain complex, called the '''bounded cochain complex''' of $X$. * The cohomology $H^*_b(X;\mathbb{R})$ of $C^*_b(X;\mathbb{R})$ is the '''bounded cohomology''' of $X$. (It is not difficult to see that every continuous map induces a homomorphism on the level of bounded cohomology; turning $H^*_b(\cdot;\mathbb{R})$ into a contravariant functor). * The norm $|\cdot|_\infty$ on the bounded cochain complex induces a semi-norm on bounded cohomology: If $\varphi \in H^n_b(X;\mathbb{R})$, then $$ \|\varphi\|_\infty := \inf\bigl\{ |f|_\infty \bigm| \text{$f \in C^n_b(X;\mathbb{R})$ is a cocycle representing~$\varphi$} \bigr\}. $$ * The natural inclusion $C_b^*(X;\mathbb{R}) \hookrightarrow C^*(X;\mathbb{R})$ induces a natural homomorphism $c_X \colon H^*_b(X;\mathbb{R}) \longrightarrow H^*(X;\mathbb{R})$, the '''comparison map'''. {{Endthm}} Bounded cohomology was originally introduced by Trauber. Gromov further developed bounded cohomology and studied its relation with the (Riemannian) volume of manifolds {{cite|Gromov1982}}. A more algebraic approach to bounded cohomology was subsequently developed by Brooks {{cite|Brooks1978}}, Ivanov {{cite|Ivanov1985}}, Noskov {{cite|Noskov1990}}, Monod {{cite|Monod2001}}{{cite|Monod2006}}, and Bühler {{cite|Bühler2008}}. In the context of simplicial volume, bounded cohomology contributed to establish [[Simplicial volume#Amenability and vanishing results|vanishing results]] in the presence of amenable fundamental groups, [[Simplicial volume#Hyperbolicity and non-vanishing results|non-vanishing results]] in the presence of certain types of negative curvature, and inheritance properties with respect to [[Simplicial volume#Products|products]], [[Simplicial volume#Connected sums|connected sums]] and [[Simplicial volume#Proportionality principle|shared Riemannian coverings]]. ==Inheritance properties== ===Finite Coverings=== ; Simplicial volume is multiplicative with respect to finite coverings: {{Beginthm|Proposition (Simplicial volume and finite coverings)}} Let $p \colon M \longrightarrow N$ be a covering map of oriented closed connected manifolds, and let $d$ be the (finite!) number of sheets of $p$. Then $$ \|M\| = d \cdot \|N\|.$$ {{Endthm}} For the ''proof'' notice that $d = |\deg p|$ and that $\|M\| \geq |\deg p| \cdot \|N\|$ by functoriality (Corollary \ref{cor:svfunc}); to show the converse inequality $\|M\| \leq d \cdot \|N\|$ one can use the transfer on singular chains. ===Products=== ; Simplicial volume is almost multiplicative with respect to direct products of manifolds {{cite|Gromov1982|p. 10}}{{cite|Benedetti&Petronio1992|Theorem F.2.5}}: {{Beginthm|Theorem (Simplicial volume and products)}} Let $M$ and $N$ be oriented closed connected manifolds. Then $$ \|M\| \cdot \|N\| \leq \| M \times N\| \leq {\dim(M) + \dim(N) \choose \dim(M)} \cdot \|M\| \cdot \|N\|. $$ {{Endthm}} A ''proof'' of the right hand estimate can be given by looking at the concrete description of $[M \times N] = [M] \times [N]$ in terms of the cross-product of singular chains; a proof of the left hand estimate can be obtained by using the duality principle (Corollary \ref{cor:svdual}) and the fact that the norm $\|\cdot\|_\infty$ is submultiplicative with respect to the cross-product of (bounded) singular cochains. Notice that simplicial volume in general is not multiplicative: Bucher-Karlsson {{cite|Bucher-Karlsson2008|Corollary 2}} proved that $\| S \times S'\| = 3/2 \cdot \|S\| \cdot \|S'\|$ holds for all oriented closed connected surfaces $S$, $S'$ of genus at least $ (and $\|S\| \neq 0 \neq \|S'\|$ ([[Simplicial volume#Simplicial volume and Riemannian geometry|see above]])). ===Connected sums=== ; Simplicial volume is additive with respect to connected sums in the following sense {{cite|Gromov1982|p. 10}}: {{Beginthm|Theorem (Simplicial volume and connected sums)}}\label{thm:svconnsum} Let $M$ and $N$ be oriented closed connected manifolds of dimension at least $. Then $$ \| M \mathbin{\#} N \| = \|M\| + \|N\|. $$ {{Endthm}} Notice that simplicial volume in general is ''not'' additive with respect to connected sums in dimension $: The simplicial volume of the torus is zero ([[Simplicial volume#Functoriality and elementary properties|see above]]), but the simplicial volume of an oriented closed connected surface of genus $ is non-zero ([[Simplicial volume#Simplicial volume and Riemannian geometry|see above]]) is non-zero. The ''proof'' of Theorem \ref{thm:svconnsum} is based on the mapping theorem in bounded cohomology (Theorem \ref{thm:bcmappingthm}) and a careful analysis of so-called tree-like complexes {{cite|Gromov1982|Section 3.5}}. Generalising these arguments, it can be seen that also additivity for simplicial volume with respect to certain "amenable" gluings holds {{cite|Kuessner2001}}. ===Fibre bundles=== ; * In low dimensions, there is a relation between the simplicial volume of the total space of a fibre bundle of oriented closed connected manifolds and the product of the simplicial volume of base and fibre {{cite|Hoster&Kotschick2001}}{{cite|Bucher-Karlsson2009}}. * However, in general, the simplicial volume of a fibre bundle of oriented closed connected manifolds is ''not'' related in an obvious way to the simplicial volume of base and fibre {{cite|Hoster&Kotschick2001}}: There exist oriented closed connected hyperbolic $-manifolds that fibre over the circle. However, the circle has simplicial volume equal to zero, while the simplicial volume of the hyperbolic $-manifold in question is non-zero (Theorem \ref{thm:svnegcurv}). * In certain cases, amenable fibres force the simplicial volume to vanish ([[Simplicial volume#Amenability and vanishing results|see below]]). ===Proportionality principle=== ; For hyperbolic manifolds the simplicial volume is proportional to the Riemannian volume. Gromov and Thurston generalised this result suitably to cover all Riemannian manifolds: {{Beginthm|Theorem (Proportionality principle)}}\label{thm:svpropprinc} Let $M$ and $N$ be oriented closed connected Riemannian manifolds that have isometric Riemannian universal coverings. Then $$ \frac{\|M\|}{\vol(M)} = \frac{\|N\|}{\vol(N)}. $$ {{Endthm}} Both Gromov's and Thurston's ''proof'' of this result make use of an averaging process. More precisely: *''Gromov's strategy'': Use the duality principle (Corollary \ref{cor:svdual}) and average (bounded) continuous singular cochains over the isometry group of the Riemannian universal covering modulo the fundamental group; this requires a careful analysis of the relation between (bounded) continuous singular cohomology and (bounded) singular cohomology {{cite|Gromov1982|Section 2.3}}{{cite|Bucher-Karlsson2008a}}{{cite|Frigerio2009}}. *''Thurston's strategy'': Replace singular homology by measure homology, and average/smear measure chains over the isometry group of the Riemannian universal covering; this requires a careful analysis of the relation between measure homology and singular homology {{cite|Thurston1978|p. 6.9}}{{cite|Löh2005}}{{cite|Löh2006}}. ==Simplicial volume and the fundamental group== In view of the duality principle (Corollary \ref{cor:svdual}) we can interpret simplicial volume in terms of bounded cohomology. The key to deducing interesting consequences for simplicial volume from bounded cohomology is the relation of bounded cohomology to the fundamental group via the mapping theorem (Theorem \ref{thm:bcmappingthm}), and the relation of bounded cohomology to geometric group theory ([[Simplicial volume#Hyperbolicity and non-vanishing results|see below]]). ===Background: Mapping theorem in bounded cohomology=== ; One of the most fundamental (and most surprising) features of bounded cohomology is that it cannot detect [[Wikipedia:amenable group|amenable groups]] in the homotopy groups of a space {{cite|Gromov1982|Section 3.1}}{{cite|Ivanov1985}}: {{Beginthm|Theorem (Mapping theorem in bounded cohomology)}}\label{thm:bcmappingthm} Let $f \colon X \longrightarrow Y$ be a (base-point preserving) continuous map between connected countable CW-complexes such that $\pi_1(f) \colon \pi_1(X) \longrightarrow \pi_1(Y)$ is surjective and has amenable kernel. *Then the induced map $H^*_b(f;\mathbb{R}) \colon H^*_b(Y;\mathbb{R}) \longrightarrow H^*_b(X;\mathbb{R})$ in bounded cohomology is an isometric isomorphism. *In particular, the map $H_*(f;\mathbb{R}) \colon H_*(X;\mathbb{R}) \longrightarrow H_*(Y;\mathbb{R})$ is isometric with respect to the $\ell^1$-semi-norm $\|\cdot\|_1$. (In general, this does ''not'' say anything about injectivity/surjectivity of $H_*(f;\mathbb{R})$). {{Endthm}} Notice however that simplicial volume does not depend only on the fundamental group, but rather on the classifying map to $B\pi_1(\cdot)$; for instance, any oriented closed connected hyperbolic manifold $M$ satisfies $$ \|M\| \neq 0 = 0 \cdot \| M\| = \|S^2 \times M\| \qquad\text{and}\qquad \pi_1(M) \cong \pi_1(S^2 \times M). $$ More generally, if $M$ is an oriented closed connected $n$-manifold whose fundamental group has (rational) cohomological dimension less than $n$, then $\|M\| =0$. ===Amenability and vanishing results=== ; Direct consequences of the mapping theorem for bounded cohomology (Theorem \ref{thm:bcmappingthm}) are: *The simplicial volume of oriented closed connected manifolds with amenable fundamental group is zero; *this includes, in particular, the case of trivial, Abelian, solvable, and nilpotent fundamental groups. *Let $M$ be an oriented closed connected manifold that is the total space of a fibration whose base and fibre are oriented closed connected manifolds (of non-zero dimension), and where the fibre has amenable fundamental group. Then $\|M\|=0$ {{cite|Lück2002|Exercise 14.15 and p. 556}}. More generally: A stronger vanishing result for the comparison map $H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R})$ for spaces with amenable coverings of small multiplicity, {{cite|Gromov1982|Vanishing Finiteness Theorem on p. 58}}{{cite|Ivanov1985|Corollary 6.3}}, leads to the following statement: If $M$ is an oriented closed connected $n$-manifold that admits a covering by amenable open subsets of multiplicity at most $n$, then $\|M\|=0$. ===Hyperbolicity and non-vanishing results=== ; The non-vanishing of the simplicial volume of Riemannian manifolds with negative sectional curvature (Theorem \ref{thm:svnegcurv}) together with the duality principle implies that the cohomological fundamental class of such a manifold lies in the image of the comparison map $H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R})$. More generally, Mineyev showed that (in the case of rationally essential manifolds) the condition of negative sectional curvature can be relaxed to [[Wikipedia:Hyperbolic group|word hyperbolicity]] of the fundamental group {{cite|Mineyev2001}}{{cite|Mineyev2002}}: {{Beginthm|Theorem (Bounded cohomology and word hyperbolic groups)}} Let $G$ be a finitely presented group. Then the following are equivalent: * The group $G$ is word hyperbolic. * The comparison map $H_b^*(BG;V) \longrightarrow H^*(BG;V)$ is surjective for all $k \in \mathbb{N}_{\geq2}$ and all Banach $G$-modules $V$. {{Endthm}} {{Beginthm|Corollary (Simplicial volume and word hyperbolic fundamental groups)}} Let $M$ be an oriented closed connected manifold of dimension at least $ that is rationally essential (e.g., aspherical). If the fundamental group of $M$ is word hyperbolic, then $\|M\| >0$. {{Endthm}} ==Variations of simplicial volume== For simplicity, in the previous sections we only considered the case that all manifolds in question were orientable and closed (and connected). In the following, we briefly list possible extensions of the definition of simplicial volume to larger classes of manifolds. ===Simplicial volume of manifolds with boundary=== ; For oriented connected compact $n$-manifolds $(M, \partial M)$ with boundary, the '''relative simplicial volume''' $\|M,\partial M\|$ is defined as the $\ell^1$-semi-norm on relative singular homology $H_n(M,\partial M;\mathbb{R})$ of the relative fundamental class $[M,\partial M] \in H_n(M,\partial M;\mathbb{R})$ {{cite|Gromov1982}}{{cite|Kuessner2001}}; the extension of simplicial volume to manifolds with boundary plays an important role in the theory of $-manifolds ([[Simplicial volume#Applications|see below]]). ===Simplicial volume of non-compact manifolds=== ; Non-compact, oriented, connected manifolds have a fundamental class in locally finite homology; notice that there is a (possibly infinite) $\ell^1$-semi-norm on locally finite homology with real coefficients. There are two main flavours of simplicial volumes of non-compact manifolds -- a topological one and a geometric one (where a Lipschitz condition is imposed on the fundamental cycles): ===Simplicial volume of non-orientable manifolds=== ; The simplicial volume of a connected non-orientable manifold $M$ is defined as M be an oriented closed connected manifold of dimension n. Then the simplicial volume of M (also called the Gromov norm of M) is defined as

\displaystyle \|M\| := \bigl\| [M] \bigr\|_1 = \inf \bigl\{ |c|_1 \bigm| \text{$c \in C_n(M;\mathbb{R})$ is a fundamental cycle of $M$}  \bigr\} \in \mathbb{R}_{\geq 0},

where [M] \in H_n(M;\mathbb{R}) is the fundamental class of M with real coefficients.

\displaystyle  |c|_1 := \sum_{j=0}^k |a_j|.
\displaystyle  \|\alpha\|_1 := \inf \bigl\{ |c|_1 \bigm| \text{$c \in C_*(X;\mathbb{R})$ is a cycle representing~$\alpha$}\bigr\}.

Convention 1.2. In the following, if not explicitly stated otherwise, all manifolds are topological manifolds and are of non-zero dimension.

2 Functoriality and elementary examples

The \ell^1-semi-norm is functorial in the following sense [Gromov1999, Section 5.34]:

Proposition (Functoriality of the \ell^1-semi-norm) 2.1. If f \colon X \longrightarrow Y is a continuous map of topological spaces and \alpha \in H_*(X;\mathbb{R}), then

\displaystyle  \bigl\| H_*(f;\mathbb{R}) (\alpha) \bigr\|_1 \leq \|\alpha\|_1,

as can be seen by inspecting the definition of H_*(f;\mathbb{R}) = H_*(C_*(f;\mathbb{R})) and of \|\cdot\|_1.

Corollary 2.2.

\displaystyle  |\deg f| \cdot \|N\| \leq \|M\|.

Hence, all oriented closed connected manifolds admitting a self-map of non-trivial degree (i.e., not equal to -1, 0, or 1) have vanishing simplicial volume; for instance, the simplicial volume of all

is zero. Similarly, any oriented closed connected smooth manifold that admits a non-trivial smooth S^1-action has vanishing simplicial volume [Yano1982].

3 "Computing" simplicial volume

In most cases, trying to compute simplicial volume by inspecting the definition proves to be futile; the two main sources for non-trivial estimates and inheritance properties of simplicial volume are:

3.1 Simplicial volume and Riemannian geometry

A fascinating aspect of simplicial volume is that it is a homotopy invariant encoding non-trivial information about the Riemannian volume. The most fundamental result of this type is Gromov's Main Inequality [Gromov1982, Section 0.5] and the resulting lower bound of the minimal volume in terms of the simplicial volume [Gromov1982, Section 0.5] (the improved upper bound is due to Besson, Courtois, and Gallot [Besson&Courtois&Gallot1991, Théorème D]):

Theorem (Main Inequality) 3.1. For all oriented closed connected Riemannian n-manifolds M whose Ricci curvature is bounded from below by -1/(n-1) we have

\displaystyle  \|M\| < n! \cdot \vol(M).

Theorem (Simplicial volume and minimal volume) 3.2. For all oriented closed connected smooth n-manifolds M we have

\displaystyle  \|M\| \leq \frac{(n-1)^n \cdot n!}{n^{n/2}} \cdot \mathop{\mathrm{minvol}}(M).

The minimal volume [Gromov1982] of a complete smooth manifold M is defined as

\displaystyle  \mathop{\mathrm{minvol}}(M) := \inf \bigl\{ \vol(M,g) \bigm| \text{$g$ is a Riemannian metric on~$M$ with~$|\mathop{\mathrm{sec}}(g)| \leq 1$}\bigr\}.

Conversely, in the presence of negative curvature, the simplicial volume is bounded from below by the Riemannian volume [Gromov1982, Section 0.3][Thurston1978, Theorem 6.2][Inoue&Yano1982]:

Theorem (Simplicial volume and negative sectional curvature) 3.3.

\displaystyle  \|M\| > C_n \cdot |\delta|^{n/2} \cdot \vol(M).

The proof of the lower bound \|\cdot\| \geq \mathop{\mathrm{const}} \cdot \vol(\,\cdot\,) consists of "straightening" fundamental cycles to cycles consisting only of singular simplices whose lifts to the Riemannian universal covering are geodesic.

It is well known that v_2=\pi [Thurston1978, p. 6.3], and hence, for any oriented closed connected surface S_g of genus g\in \mathbb{N}_{\geq 1} we have \|S_g\| = 4\cdot g - 4.

Generalisations of Theorem 3.3 are:

3.2 Simplicial volume and bounded cohomology

A more algebraic approach to simplicial volume is based on the following observation [Gromov1982, p. 17][Benedetti&Petronio1992, F.2.2] (see below for an explanation of the notation):

Proposition (Duality principle) 3.4. Let X be a topological space, let n \in \mathbb{N}, and let \alpha \in H_n(X;\mathbb{R}). Then

\displaystyle \begin{aligned}\|\alpha\|_1 &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty}  \Bigm| \varphi \in H^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\} \\ &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty} \Bigm| \varphi \in H_b^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\}.\end{aligned}

Corollary 3.5. Let M be an oriented closed connected n-manifold. Then (where [M]^* \in H^n(M;\mathbb{R}) denotes the cohomology class dual to the real fundamental class of M):

\displaystyle \begin{aligned}  \| M \| & = \frac{1}{\bigl\| [M]^* \bigr\|_\infty}\\              & = \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty}                       \Bigm|  \varphi \in H_b^n(M;\mathbb{R}),~c_M(\varphi) = [M]^*                       \Bigr\}.   \end{aligned}

For the sake of completeness, we review the definition of bounded cohomology of topological spaces:

Definition (Bounded cohomology) 3.6. Let X be a topological space, and let n \in \mathbb{N}.

\displaystyle   \|\varphi\|_\infty := \inf\bigl\{ |f|_\infty                           \bigm| \text{$f \in C^n_b(X;\mathbb{R})$ is a cocycle representing~$\varphi$}                           \bigr\}.

Bounded cohomology was originally introduced by Trauber. Gromov further developed bounded cohomology and studied its relation with the (Riemannian) volume of manifolds [Gromov1982]. A more algebraic approach to bounded cohomology was subsequently developed by Brooks [Brooks1978], Ivanov [Ivanov1985], Noskov [Noskov1990], Monod [Monod2001][Monod2006], and Bühler [Bühler2008].

In the context of simplicial volume, bounded cohomology contributed to establish vanishing results in the presence of amenable fundamental groups, non-vanishing results in the presence of certain types of negative curvature, and inheritance properties with respect to products, connected sums and shared Riemannian coverings.

4 Inheritance properties

4.1 Finite Coverings

Simplicial volume is multiplicative with respect to finite coverings:

Proposition (Simplicial volume and finite coverings) 4.1. Let p \colon M \longrightarrow N be a covering map of oriented closed connected manifolds, and let d be the (finite!) number of sheets of p. Then

\displaystyle  \|M\| = d \cdot \|N\|.

For the proof notice that d = |\deg p| and that \|M\| \geq |\deg p| \cdot \|N\| by functoriality (Corollary 2.2); to show the converse inequality \|M\| \leq d \cdot \|N\| one can use the transfer on singular chains.

4.2 Products

Simplicial volume is almost multiplicative with respect to direct products of manifolds [Gromov1982, p. 10][Benedetti&Petronio1992, Theorem F.2.5]:

Theorem (Simplicial volume and products) 4.2. Let M and N be oriented closed connected manifolds. Then

\displaystyle  \|M\| \cdot \|N\| \leq \| M \times N\|                       \leq {\dim(M) + \dim(N) \choose \dim(M)} \cdot \|M\| \cdot \|N\|.

A proof of the right hand estimate can be given by looking at the concrete description of [M \times N] = [M] \times [N] in terms of the cross-product of singular chains; a proof of the left hand estimate can be obtained by using the duality principle (Corollary 3.5) and the fact that the norm \|\cdot\|_\infty is submultiplicative with respect to the cross-product of (bounded) singular cochains.

Notice that simplicial volume in general is not multiplicative: Bucher-Karlsson [Bucher-Karlsson2008, Corollary 2] proved that \| S \times S'\| = 3/2 \cdot \|S\| \cdot \|S'\| holds for all oriented closed connected surfaces S, S' of genus at least 2 (and \|S\| \neq 0 \neq \|S'\| (see above)).

4.3 Connected sums

Simplicial volume is additive with respect to connected sums in the following sense [Gromov1982, p. 10]:

Theorem (Simplicial volume and connected sums) 4.3. Let M and N be oriented closed connected manifolds of dimension at least 3. Then

\displaystyle  \| M \mathbin{\#} N \| = \|M\| + \|N\|.

Notice that simplicial volume in general is not additive with respect to connected sums in dimension 2: The simplicial volume of the torus is zero (see above), but the simplicial volume of an oriented closed connected surface of genus 2 is non-zero (see above) is non-zero.

The proof of Theorem 4.3 is based on the mapping theorem in bounded cohomology (Theorem 5.1) and a careful analysis of so-called tree-like complexes [Gromov1982, Section 3.5]. Generalising these arguments, it can be seen that also additivity for simplicial volume with respect to certain "amenable" gluings holds [Kuessner2001].

4.4 Fibre bundles

4.5 Proportionality principle

For hyperbolic manifolds the simplicial volume is proportional to the Riemannian volume. Gromov and Thurston generalised this result suitably to cover all Riemannian manifolds:

Theorem (Proportionality principle) 4.4. Let M and N be oriented closed connected Riemannian manifolds that have isometric Riemannian universal coverings. Then

\displaystyle  \frac{\|M\|}{\vol(M)} = \frac{\|N\|}{\vol(N)}.

Both Gromov's and Thurston's proof of this result make use of an averaging process. More precisely:

5 Simplicial volume and the fundamental group

In view of the duality principle (Corollary 3.5) we can interpret simplicial volume in terms of bounded cohomology. The key to deducing interesting consequences for simplicial volume from bounded cohomology is the relation of bounded cohomology to the fundamental group via the mapping theorem (Theorem 5.1), and the relation of bounded cohomology to geometric group theory (see below).

5.1 Background: Mapping theorem in bounded cohomology

One of the most fundamental (and most surprising) features of bounded cohomology is that it cannot detect amenable groups in the homotopy groups of a space [Gromov1982, Section 3.1][Ivanov1985]:

Theorem (Mapping theorem in bounded cohomology) 5.1. Let f \colon X \longrightarrow Y be a (base-point preserving) continuous map between connected countable CW-complexes such that \pi_1(f) \colon \pi_1(X) \longrightarrow \pi_1(Y) is surjective and has amenable kernel.

Notice however that simplicial volume does not depend only on the fundamental group, but rather on the classifying map to B\pi_1(\cdot); for instance, any oriented closed connected hyperbolic manifold M satisfies

\displaystyle  \|M\| \neq 0 = 0 \cdot \| M\| = \|S^2 \times M\|     \qquad\text{and}\qquad \pi_1(M) \cong \pi_1(S^2 \times M).

More generally, if M is an oriented closed connected n-manifold whose fundamental group has (rational) cohomological dimension less than n, then \|M\| =0.

5.2 Amenability and vanishing results

Direct consequences of the mapping theorem for bounded cohomology (Theorem 5.1) are:

More generally: A stronger vanishing result for the comparison map H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R}) for spaces with amenable coverings of small multiplicity, [Gromov1982, Vanishing Finiteness Theorem on p. 58][Ivanov1985, Corollary 6.3], leads to the following statement: If M is an oriented closed connected n-manifold that admits a covering by amenable open subsets of multiplicity at most n, then \|M\|=0.

5.3 Hyperbolicity and non-vanishing results

The non-vanishing of the simplicial volume of Riemannian manifolds with negative sectional curvature (Theorem 3.3) together with the duality principle implies that the cohomological fundamental class of such a manifold lies in the image of the comparison map H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R}). More generally, Mineyev showed that (in the case of rationally essential manifolds) the condition of negative sectional curvature can be relaxed to word hyperbolicity of the fundamental group [Mineyev2001][Mineyev2002]:

Theorem (Bounded cohomology and word hyperbolic groups) 5.2. Let G be a finitely presented group. Then the following are equivalent:

Corollary (Simplicial volume and word hyperbolic fundamental groups) 5.3. Let M be an oriented closed connected manifold of dimension at least 2 that is rationally essential (e.g., aspherical). If the fundamental group of M is word hyperbolic, then \|M\| >0.

6 Variations of simplicial volume

For simplicity, in the previous sections we only considered the case that all manifolds in question were orientable and closed (and connected). In the following, we briefly list possible extensions of the definition of simplicial volume to larger classes of manifolds.

6.1 Simplicial volume of manifolds with boundary

For oriented connected compact n-manifolds (M, \partial M) with boundary, the relative simplicial volume \|M,\partial M\| is defined as the \ell^1-semi-norm on relative singular homology H_n(M,\partial M;\mathbb{R}) of the relative fundamental class [M,\partial M] \in H_n(M,\partial M;\mathbb{R}) [Gromov1982][Kuessner2001]; the extension of simplicial volume to manifolds with boundary plays an important role in the theory of 3-manifolds (see below).

6.2 Simplicial volume of non-compact manifolds

Non-compact, oriented, connected manifolds have a fundamental class in locally finite homology; notice that there is a (possibly infinite) \ell^1-semi-norm on locally finite homology with real coefficients. There are two main flavours of simplicial volumes of non-compact manifolds -- a topological one and a geometric one (where a Lipschitz condition is imposed on the fundamental cycles):

6.3 Simplicial volume of non-orientable manifolds

The simplicial volume of a connected non-orientable manifold M is defined as 1/2\cdot \|\overline M\|, where \overline M is the orientation double covering of M; in view of the multiplicativity of the simplicial volume (of oriented manifolds) with respect to finite coverings, this definition is reasonable.

7 Applications

Typically, simplicial volume is used as a tool to establish topological rigidity properties of the Riemannian volume or non-vanishing of the minimal volume of certain manifolds. Two prominent examples are Gromov's proof of Mostow rigidity and degree theorems.

7.1 Mostow rigidity

Hyperbolic manifolds are completely determined by their homotopy type, i.e., hyperbolic manifolds are rigid in the following sense [Mostow1968]:

Theorem (Mostow rigidity) 7.1. Let M and N be oriented closed connected hyperbolic manifolds of the same dimension \geq 3. If f \colon M \longrightarrow N is a homotopy equivalence, then there is an isometry M \longrightarrow N homotopic to f. In particular, any oriented closed connected smooth manifold of dimension at least 3 can admit at most one hyperbolic structure.

One decisive step in Gromov's proof [Munkholm1980][Benedetti&Petronio1992, Chapter C][Ratcliffe1994, Chapter 11] of Mostow rigidity is to show that if two oriented closed connected hyperbolic manifolds are homotopy equivalent, they have to have the same volume; Gromov introduced simplicial volume in this context as it provides an elegant way of establishing this fact (using the relation to the hyperbolic volume (Theorem 3.3) and the functoriality of the simplicial volume (Corollary 2.2)).

7.2 Degree theorems

A degree theorem is a theorem of the following form:

Metatheorem (Degree theorem) 7.2. Let D and T be certain suitable classes of Riemannian manifolds of the same dimension -- the domain manifolds and the target manifolds. Then there is a constant c \in \mathbb{R}_{>0} with the following property: For all M \in D, all N \in T and all continuous maps f \colon M \longrightarrow N we have

\displaystyle  |\deg f| \leq c \cdot \frac{\vol(M)}{\vol(N)}.

The art is to find suitable classes of domain and target manifolds. The functoriality of simplicial volume (Corollary 2.2) and the relationship between the Riemannian volume of closed hyperbolic manifolds and the simplicial volume (Theorem 3.3) combine to give a degree theorem for hyperbolic manifolds:

Degree theorem for hyperbolic manifolds 7.3. Let M and N be oriented closed connected hyperbolic manifolds of the same dimension. Then

\displaystyle  |\deg f| \leq \frac{\vol(M)}{\vol(N)}

holds for any continuous map f \colon M \longrightarrow N.

In a similar way, non-vanishing results for simplicial volume together with Gromov's estimate of the minimal volume in terms of the simplicial volume give rise to more general degree theorems [Gromov1982, Section 0.5][Lafont&Schmidt2006] (complementing and extending the original degree theorem in higher rank by Connell and Farb [Connell&Farb2003]), and parallel results for the Lipschitz simplicial volume of non-compact Riemannian manifolds lead to degree theorems for proper Lipschitz maps between certain non-compact manifolds [Löh&Sauer2009] (complementing and extending the degree theorem by Connell and Farb [Connell&Farb2003]).

7.3 Dehn fillings and Riemannian volume

Using the relation between the simplicial volume of hyperbolic manifolds and the hyperbolic volume (a generalised version that also covers non-compact manifolds and manifolds with boundary), Thurston proved that hyperbolic Dehn fillings of complete hyperbolic 3-manifolds of finite volume decrease the Riemannian volume [Thurston1978, Theorem 6.5.6].

7.4 Recognising graph manifolds

Simplicial volume recognises graph manifolds:

7.5 A conjecture on the simplicial volume of knot complements

H. Murakami and J. Murakami conjectured, similar to the volume conjecture for knots [Kashaev1997], that the simplicial volume of a knot complement should be related to the asymptotic growth rate of the coloured Jones polynomials of the knot in question [Murakami&Murakami2001, Conjecture 5.1]; if this conjecture holds, then the (finite type) Vassiliev invariants are able to detect triviality of a knot [Murakami&Murakami2001].

8 References

9 External Links

/2\cdot \|\overline M\|$, where $\overline M$ is the orientation double covering of $M$; in view of the multiplicativity of the simplicial volume (of oriented manifolds) with respect to finite coverings, this definition is reasonable. ==Applications== Typically, simplicial volume is used as a tool to establish topological rigidity properties of the Riemannian volume or non-vanishing of the minimal volume of certain manifolds. Two prominent examples are Gromov's proof of Mostow rigidity and degree theorems. ===Mostow rigidity=== ; Hyperbolic manifolds are completely determined by their homotopy type, i.e., hyperbolic manifolds are ''rigid'' in the following sense {{cite|Mostow1968}}: {{Beginthm|Theorem (Mostow rigidity)}} Let $M$ and $N$ be oriented closed connected hyperbolic manifolds of the same dimension $\geq 3$. If $f \colon M \longrightarrow N$ is a homotopy equivalence, then there is an isometry $M \longrightarrow N$ homotopic to $f$. In particular, any oriented closed connected smooth manifold of dimension at least $ can admit at most one hyperbolic structure. {{Endthm}} One decisive step in Gromov's proof {{cite|Munkholm1980}}{{cite|Benedetti&Petronio1992|Chapter C}}{{cite|Ratcliffe1994|Chapter 11}} of Mostow rigidity is to show that if two oriented closed connected hyperbolic manifolds are homotopy equivalent, they have to have the same volume; Gromov introduced simplicial volume in this context as it provides an elegant way of establishing this fact (using the relation to the hyperbolic volume (Theorem \ref{thm:svnegcurv}) and the functoriality of the simplicial volume (Corollary \ref{cor:svfunc})). ===Degree theorems=== ; A degree theorem is a theorem of the following form: {{Beginthm|Metatheorem (Degree theorem)}} Let $D$ and $T$ be certain suitable classes of Riemannian manifolds of the same dimension -- the domain manifolds and the target manifolds. Then there is a constant $c \in \mathbb{R}_{>0}$ with the following property: For all $M \in D$, all $N \in T$ and all continuous maps $f \colon M \longrightarrow N$ we have $$ |\deg f| \leq c \cdot \frac{\vol(M)}{\vol(N)}.$$ {{Endthm}} The art is to find suitable classes of domain and target manifolds. The functoriality of simplicial volume (Corollary \ref{cor:svfunc}) and the relationship between the Riemannian volume of closed hyperbolic manifolds and the simplicial volume (Theorem \ref{thm:svnegcurv}) combine to give a degree theorem for hyperbolic manifolds: {{Beginthm|Degree theorem for hyperbolic manifolds}} Let $M$ and $N$ be oriented closed connected hyperbolic manifolds of the same dimension. Then $$ |\deg f| \leq \frac{\vol(M)}{\vol(N)}$$ holds for any continuous map $f \colon M \longrightarrow N$. {{Endthm}} In a similar way, non-vanishing results for simplicial volume together with Gromov's estimate of the minimal volume in terms of the simplicial volume give rise to more general degree theorems {{cite|Gromov1982|Section 0.5}}{{cite|Lafont&Schmidt2006}} (complementing and extending the original degree theorem in higher rank by Connell and Farb {{cite|Connell&Farb2003}}), and parallel results for the Lipschitz simplicial volume of non-compact Riemannian manifolds lead to degree theorems for proper Lipschitz maps between certain non-compact manifolds {{cite|Löh&Sauer2009}} (complementing and extending the degree theorem by Connell and Farb {{cite|Connell&Farb2003}}). ===Dehn fillings and Riemannian volume=== ; Using the relation between the simplicial volume of hyperbolic manifolds and the hyperbolic volume (a generalised version that also covers non-compact manifolds and manifolds with boundary), Thurston proved that [[Wikipedia:Hyperbolic Dehn surgery|hyperbolic Dehn fillings]] of complete hyperbolic $-manifolds of finite volume decrease the Riemannian volume {{cite|Thurston1978|Theorem 6.5.6}}. ===Recognising graph manifolds=== ; Simplicial volume recognises [[Wikipedia:Graph manifold|graph manifolds]]: * The gluing formula for gluings along tori {{cite|Gromov1982}}{{cite|Kuessner2001}}, the fact that the simplicial volume of hyperbolic manifolds is proportional to the Riemannian volume, and the fact that the simplicial volume of [[Wikipedia:Seifert fiber space|Seifert $-manifolds]] is zero show that the simplicial volume of a $-manifold (possibly with boundary) that has a geometric decomposition is proportional to the sum of the volumes of the hyperbolic pieces in such a decomposition. Therefore, a $-manifold that has a geometric decomposition is a graph manifold if and only if it has zero simplicial volume. (Together with Perelman's proof of geometrisation for $-manifolds this means that a $-manifold is a graph manifold if and only if it has zero simplicial volume.) * In a similar spirit, one can show the following: Let $M$ be a [[Wikipedia:Haken manifold|Haken $-manifold]] whose boundary is a union of tori such that any manifold obtained from $M$ by Dehn fillings has simplicial volume equal to zero. Then $M$ is a graph manifold {{cite|Boileau&Leeb&Porti2005|Proposition 10.17}}{{cite|Boileau&Maillot&Porti2003|Proposition 9.36}}. This result is used in an alternative proof {{cite|Bessières&Besson&Boileau&Maillot&Porti2007}} of the last step in Perelman's proof of the Geometrisation Conjecture for aspherical $-manifolds. ===A conjecture on the simplicial volume of knot complements=== ; H. Murakami and J. Murakami conjectured, similar to the volume conjecture for knots {{cite|Kashaev1997}}, that the simplicial volume of a [[Wikipedia:Knot complement|knot complement]] should be related to the asymptotic growth rate of the coloured Jones polynomials of the knot in question {{cite|Murakami&Murakami2001|Conjecture 5.1}}; if this conjecture holds, then the (finite type) [[Wikipedia:Finite type invariant|Vassiliev invariants]] are able to detect triviality of a knot {{cite|Murakami&Murakami2001}}. ==References== {{#RefList:}} ==External Links== * The Wikipedia page on [[Wikipedia:Simplicial volume|simplicial volume]]. [[Category:Theory]]M be an oriented closed connected manifold of dimension n. Then the simplicial volume of M (also called the Gromov norm of M) is defined as

\displaystyle \|M\| := \bigl\| [M] \bigr\|_1 = \inf \bigl\{ |c|_1 \bigm| \text{$c \in C_n(M;\mathbb{R})$ is a fundamental cycle of $M$}  \bigr\} \in \mathbb{R}_{\geq 0},

where [M] \in H_n(M;\mathbb{R}) is the fundamental class of M with real coefficients.

\displaystyle  |c|_1 := \sum_{j=0}^k |a_j|.
\displaystyle  \|\alpha\|_1 := \inf \bigl\{ |c|_1 \bigm| \text{$c \in C_*(X;\mathbb{R})$ is a cycle representing~$\alpha$}\bigr\}.

Convention 1.2. In the following, if not explicitly stated otherwise, all manifolds are topological manifolds and are of non-zero dimension.

2 Functoriality and elementary examples

The \ell^1-semi-norm is functorial in the following sense [Gromov1999, Section 5.34]:

Proposition (Functoriality of the \ell^1-semi-norm) 2.1. If f \colon X \longrightarrow Y is a continuous map of topological spaces and \alpha \in H_*(X;\mathbb{R}), then

\displaystyle  \bigl\| H_*(f;\mathbb{R}) (\alpha) \bigr\|_1 \leq \|\alpha\|_1,

as can be seen by inspecting the definition of H_*(f;\mathbb{R}) = H_*(C_*(f;\mathbb{R})) and of \|\cdot\|_1.

Corollary 2.2.

\displaystyle  |\deg f| \cdot \|N\| \leq \|M\|.

Hence, all oriented closed connected manifolds admitting a self-map of non-trivial degree (i.e., not equal to -1, 0, or 1) have vanishing simplicial volume; for instance, the simplicial volume of all

is zero. Similarly, any oriented closed connected smooth manifold that admits a non-trivial smooth S^1-action has vanishing simplicial volume [Yano1982].

3 "Computing" simplicial volume

In most cases, trying to compute simplicial volume by inspecting the definition proves to be futile; the two main sources for non-trivial estimates and inheritance properties of simplicial volume are:

3.1 Simplicial volume and Riemannian geometry

A fascinating aspect of simplicial volume is that it is a homotopy invariant encoding non-trivial information about the Riemannian volume. The most fundamental result of this type is Gromov's Main Inequality [Gromov1982, Section 0.5] and the resulting lower bound of the minimal volume in terms of the simplicial volume [Gromov1982, Section 0.5] (the improved upper bound is due to Besson, Courtois, and Gallot [Besson&Courtois&Gallot1991, Théorème D]):

Theorem (Main Inequality) 3.1. For all oriented closed connected Riemannian n-manifolds M whose Ricci curvature is bounded from below by -1/(n-1) we have

\displaystyle  \|M\| < n! \cdot \vol(M).

Theorem (Simplicial volume and minimal volume) 3.2. For all oriented closed connected smooth n-manifolds M we have

\displaystyle  \|M\| \leq \frac{(n-1)^n \cdot n!}{n^{n/2}} \cdot \mathop{\mathrm{minvol}}(M).

The minimal volume [Gromov1982] of a complete smooth manifold M is defined as

\displaystyle  \mathop{\mathrm{minvol}}(M) := \inf \bigl\{ \vol(M,g) \bigm| \text{$g$ is a Riemannian metric on~$M$ with~$|\mathop{\mathrm{sec}}(g)| \leq 1$}\bigr\}.

Conversely, in the presence of negative curvature, the simplicial volume is bounded from below by the Riemannian volume [Gromov1982, Section 0.3][Thurston1978, Theorem 6.2][Inoue&Yano1982]:

Theorem (Simplicial volume and negative sectional curvature) 3.3.

\displaystyle  \|M\| > C_n \cdot |\delta|^{n/2} \cdot \vol(M).

The proof of the lower bound \|\cdot\| \geq \mathop{\mathrm{const}} \cdot \vol(\,\cdot\,) consists of "straightening" fundamental cycles to cycles consisting only of singular simplices whose lifts to the Riemannian universal covering are geodesic.

It is well known that v_2=\pi [Thurston1978, p. 6.3], and hence, for any oriented closed connected surface S_g of genus g\in \mathbb{N}_{\geq 1} we have \|S_g\| = 4\cdot g - 4.

Generalisations of Theorem 3.3 are:

3.2 Simplicial volume and bounded cohomology

A more algebraic approach to simplicial volume is based on the following observation [Gromov1982, p. 17][Benedetti&Petronio1992, F.2.2] (see below for an explanation of the notation):

Proposition (Duality principle) 3.4. Let X be a topological space, let n \in \mathbb{N}, and let \alpha \in H_n(X;\mathbb{R}). Then

\displaystyle \begin{aligned}\|\alpha\|_1 &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty}  \Bigm| \varphi \in H^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\} \\ &= \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty} \Bigm| \varphi \in H_b^n(X;\mathbb{R}),~\langle \varphi, \alpha\rangle = 1 \Bigr\}.\end{aligned}

Corollary 3.5. Let M be an oriented closed connected n-manifold. Then (where [M]^* \in H^n(M;\mathbb{R}) denotes the cohomology class dual to the real fundamental class of M):

\displaystyle \begin{aligned}  \| M \| & = \frac{1}{\bigl\| [M]^* \bigr\|_\infty}\\              & = \sup \Bigl\{ \frac{1}{\|\varphi\|_\infty}                       \Bigm|  \varphi \in H_b^n(M;\mathbb{R}),~c_M(\varphi) = [M]^*                       \Bigr\}.   \end{aligned}

For the sake of completeness, we review the definition of bounded cohomology of topological spaces:

Definition (Bounded cohomology) 3.6. Let X be a topological space, and let n \in \mathbb{N}.

\displaystyle   \|\varphi\|_\infty := \inf\bigl\{ |f|_\infty                           \bigm| \text{$f \in C^n_b(X;\mathbb{R})$ is a cocycle representing~$\varphi$}                           \bigr\}.

Bounded cohomology was originally introduced by Trauber. Gromov further developed bounded cohomology and studied its relation with the (Riemannian) volume of manifolds [Gromov1982]. A more algebraic approach to bounded cohomology was subsequently developed by Brooks [Brooks1978], Ivanov [Ivanov1985], Noskov [Noskov1990], Monod [Monod2001][Monod2006], and Bühler [Bühler2008].

In the context of simplicial volume, bounded cohomology contributed to establish vanishing results in the presence of amenable fundamental groups, non-vanishing results in the presence of certain types of negative curvature, and inheritance properties with respect to products, connected sums and shared Riemannian coverings.

4 Inheritance properties

4.1 Finite Coverings

Simplicial volume is multiplicative with respect to finite coverings:

Proposition (Simplicial volume and finite coverings) 4.1. Let p \colon M \longrightarrow N be a covering map of oriented closed connected manifolds, and let d be the (finite!) number of sheets of p. Then

\displaystyle  \|M\| = d \cdot \|N\|.

For the proof notice that d = |\deg p| and that \|M\| \geq |\deg p| \cdot \|N\| by functoriality (Corollary 2.2); to show the converse inequality \|M\| \leq d \cdot \|N\| one can use the transfer on singular chains.

4.2 Products

Simplicial volume is almost multiplicative with respect to direct products of manifolds [Gromov1982, p. 10][Benedetti&Petronio1992, Theorem F.2.5]:

Theorem (Simplicial volume and products) 4.2. Let M and N be oriented closed connected manifolds. Then

\displaystyle  \|M\| \cdot \|N\| \leq \| M \times N\|                       \leq {\dim(M) + \dim(N) \choose \dim(M)} \cdot \|M\| \cdot \|N\|.

A proof of the right hand estimate can be given by looking at the concrete description of [M \times N] = [M] \times [N] in terms of the cross-product of singular chains; a proof of the left hand estimate can be obtained by using the duality principle (Corollary 3.5) and the fact that the norm \|\cdot\|_\infty is submultiplicative with respect to the cross-product of (bounded) singular cochains.

Notice that simplicial volume in general is not multiplicative: Bucher-Karlsson [Bucher-Karlsson2008, Corollary 2] proved that \| S \times S'\| = 3/2 \cdot \|S\| \cdot \|S'\| holds for all oriented closed connected surfaces S, S' of genus at least 2 (and \|S\| \neq 0 \neq \|S'\| (see above)).

4.3 Connected sums

Simplicial volume is additive with respect to connected sums in the following sense [Gromov1982, p. 10]:

Theorem (Simplicial volume and connected sums) 4.3. Let M and N be oriented closed connected manifolds of dimension at least 3. Then

\displaystyle  \| M \mathbin{\#} N \| = \|M\| + \|N\|.

Notice that simplicial volume in general is not additive with respect to connected sums in dimension 2: The simplicial volume of the torus is zero (see above), but the simplicial volume of an oriented closed connected surface of genus 2 is non-zero (see above) is non-zero.

The proof of Theorem 4.3 is based on the mapping theorem in bounded cohomology (Theorem 5.1) and a careful analysis of so-called tree-like complexes [Gromov1982, Section 3.5]. Generalising these arguments, it can be seen that also additivity for simplicial volume with respect to certain "amenable" gluings holds [Kuessner2001].

4.4 Fibre bundles

4.5 Proportionality principle

For hyperbolic manifolds the simplicial volume is proportional to the Riemannian volume. Gromov and Thurston generalised this result suitably to cover all Riemannian manifolds:

Theorem (Proportionality principle) 4.4. Let M and N be oriented closed connected Riemannian manifolds that have isometric Riemannian universal coverings. Then

\displaystyle  \frac{\|M\|}{\vol(M)} = \frac{\|N\|}{\vol(N)}.

Both Gromov's and Thurston's proof of this result make use of an averaging process. More precisely:

5 Simplicial volume and the fundamental group

In view of the duality principle (Corollary 3.5) we can interpret simplicial volume in terms of bounded cohomology. The key to deducing interesting consequences for simplicial volume from bounded cohomology is the relation of bounded cohomology to the fundamental group via the mapping theorem (Theorem 5.1), and the relation of bounded cohomology to geometric group theory (see below).

5.1 Background: Mapping theorem in bounded cohomology

One of the most fundamental (and most surprising) features of bounded cohomology is that it cannot detect amenable groups in the homotopy groups of a space [Gromov1982, Section 3.1][Ivanov1985]:

Theorem (Mapping theorem in bounded cohomology) 5.1. Let f \colon X \longrightarrow Y be a (base-point preserving) continuous map between connected countable CW-complexes such that \pi_1(f) \colon \pi_1(X) \longrightarrow \pi_1(Y) is surjective and has amenable kernel.

Notice however that simplicial volume does not depend only on the fundamental group, but rather on the classifying map to B\pi_1(\cdot); for instance, any oriented closed connected hyperbolic manifold M satisfies

\displaystyle  \|M\| \neq 0 = 0 \cdot \| M\| = \|S^2 \times M\|     \qquad\text{and}\qquad \pi_1(M) \cong \pi_1(S^2 \times M).

More generally, if M is an oriented closed connected n-manifold whose fundamental group has (rational) cohomological dimension less than n, then \|M\| =0.

5.2 Amenability and vanishing results

Direct consequences of the mapping theorem for bounded cohomology (Theorem 5.1) are:

More generally: A stronger vanishing result for the comparison map H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R}) for spaces with amenable coverings of small multiplicity, [Gromov1982, Vanishing Finiteness Theorem on p. 58][Ivanov1985, Corollary 6.3], leads to the following statement: If M is an oriented closed connected n-manifold that admits a covering by amenable open subsets of multiplicity at most n, then \|M\|=0.

5.3 Hyperbolicity and non-vanishing results

The non-vanishing of the simplicial volume of Riemannian manifolds with negative sectional curvature (Theorem 3.3) together with the duality principle implies that the cohomological fundamental class of such a manifold lies in the image of the comparison map H_b^*(\,\cdot\,;\mathbb{R}) \longrightarrow H^*(\,\cdot\,;\mathbb{R}). More generally, Mineyev showed that (in the case of rationally essential manifolds) the condition of negative sectional curvature can be relaxed to word hyperbolicity of the fundamental group [Mineyev2001][Mineyev2002]:

Theorem (Bounded cohomology and word hyperbolic groups) 5.2. Let G be a finitely presented group. Then the following are equivalent:

Corollary (Simplicial volume and word hyperbolic fundamental groups) 5.3. Let M be an oriented closed connected manifold of dimension at least 2 that is rationally essential (e.g., aspherical). If the fundamental group of M is word hyperbolic, then \|M\| >0.

6 Variations of simplicial volume

For simplicity, in the previous sections we only considered the case that all manifolds in question were orientable and closed (and connected). In the following, we briefly list possible extensions of the definition of simplicial volume to larger classes of manifolds.

6.1 Simplicial volume of manifolds with boundary

For oriented connected compact n-manifolds (M, \partial M) with boundary, the relative simplicial volume \|M,\partial M\| is defined as the \ell^1-semi-norm on relative singular homology H_n(M,\partial M;\mathbb{R}) of the relative fundamental class [M,\partial M] \in H_n(M,\partial M;\mathbb{R}) [Gromov1982][Kuessner2001]; the extension of simplicial volume to manifolds with boundary plays an important role in the theory of 3-manifolds (see below).

6.2 Simplicial volume of non-compact manifolds

Non-compact, oriented, connected manifolds have a fundamental class in locally finite homology; notice that there is a (possibly infinite) \ell^1-semi-norm on locally finite homology with real coefficients. There are two main flavours of simplicial volumes of non-compact manifolds -- a topological one and a geometric one (where a Lipschitz condition is imposed on the fundamental cycles):

6.3 Simplicial volume of non-orientable manifolds

The simplicial volume of a connected non-orientable manifold M is defined as 1/2\cdot \|\overline M\|, where \overline M is the orientation double covering of M; in view of the multiplicativity of the simplicial volume (of oriented manifolds) with respect to finite coverings, this definition is reasonable.

7 Applications

Typically, simplicial volume is used as a tool to establish topological rigidity properties of the Riemannian volume or non-vanishing of the minimal volume of certain manifolds. Two prominent examples are Gromov's proof of Mostow rigidity and degree theorems.

7.1 Mostow rigidity

Hyperbolic manifolds are completely determined by their homotopy type, i.e., hyperbolic manifolds are rigid in the following sense [Mostow1968]:

Theorem (Mostow rigidity) 7.1. Let M and N be oriented closed connected hyperbolic manifolds of the same dimension \geq 3. If f \colon M \longrightarrow N is a homotopy equivalence, then there is an isometry M \longrightarrow N homotopic to f. In particular, any oriented closed connected smooth manifold of dimension at least 3 can admit at most one hyperbolic structure.

One decisive step in Gromov's proof [Munkholm1980][Benedetti&Petronio1992, Chapter C][Ratcliffe1994, Chapter 11] of Mostow rigidity is to show that if two oriented closed connected hyperbolic manifolds are homotopy equivalent, they have to have the same volume; Gromov introduced simplicial volume in this context as it provides an elegant way of establishing this fact (using the relation to the hyperbolic volume (Theorem 3.3) and the functoriality of the simplicial volume (Corollary 2.2)).

7.2 Degree theorems

A degree theorem is a theorem of the following form:

Metatheorem (Degree theorem) 7.2. Let D and T be certain suitable classes of Riemannian manifolds of the same dimension -- the domain manifolds and the target manifolds. Then there is a constant c \in \mathbb{R}_{>0} with the following property: For all M \in D, all N \in T and all continuous maps f \colon M \longrightarrow N we have

\displaystyle  |\deg f| \leq c \cdot \frac{\vol(M)}{\vol(N)}.

The art is to find suitable classes of domain and target manifolds. The functoriality of simplicial volume (Corollary 2.2) and the relationship between the Riemannian volume of closed hyperbolic manifolds and the simplicial volume (Theorem 3.3) combine to give a degree theorem for hyperbolic manifolds:

Degree theorem for hyperbolic manifolds 7.3. Let M and N be oriented closed connected hyperbolic manifolds of the same dimension. Then

\displaystyle  |\deg f| \leq \frac{\vol(M)}{\vol(N)}

holds for any continuous map f \colon M \longrightarrow N.

In a similar way, non-vanishing results for simplicial volume together with Gromov's estimate of the minimal volume in terms of the simplicial volume give rise to more general degree theorems [Gromov1982, Section 0.5][Lafont&Schmidt2006] (complementing and extending the original degree theorem in higher rank by Connell and Farb [Connell&Farb2003]), and parallel results for the Lipschitz simplicial volume of non-compact Riemannian manifolds lead to degree theorems for proper Lipschitz maps between certain non-compact manifolds [Löh&Sauer2009] (complementing and extending the degree theorem by Connell and Farb [Connell&Farb2003]).

7.3 Dehn fillings and Riemannian volume

Using the relation between the simplicial volume of hyperbolic manifolds and the hyperbolic volume (a generalised version that also covers non-compact manifolds and manifolds with boundary), Thurston proved that hyperbolic Dehn fillings of complete hyperbolic 3-manifolds of finite volume decrease the Riemannian volume [Thurston1978, Theorem 6.5.6].

7.4 Recognising graph manifolds

Simplicial volume recognises graph manifolds:

7.5 A conjecture on the simplicial volume of knot complements

H. Murakami and J. Murakami conjectured, similar to the volume conjecture for knots [Kashaev1997], that the simplicial volume of a knot complement should be related to the asymptotic growth rate of the coloured Jones polynomials of the knot in question [Murakami&Murakami2001, Conjecture 5.1]; if this conjecture holds, then the (finite type) Vassiliev invariants are able to detect triviality of a knot [Murakami&Murakami2001].

8 References

9 External Links

Retrieved from "http://www.map.mpim-bonn.mpg.de/index.php?title=Simplicial_volume&oldid=8464"
Personal tools
Namespaces
Variants
Actions
Navigation
Interaction
Toolbox