The simplicial volume is a homotopy invariant of oriented closed connected manifolds measuring the efficiency of representing the fundamental class by singular chains with real coefficients. Despite of its topological nature, the simplicial volume is linked to Riemannian geometry in various ways, e.g., by the proportionality principle. The proportionality principle of simplicial volume states that the simplicial volume and the Riemannian volume are proportional for oriented closed connected Riemannian manifolds sharing the same universal Riemannian covering. Thurston indicated a proof of the proportionality principle using his (smooth) measure homology. It is the purpose of this diploma thesis to provide a full proof of the proportionality principle based on Thurston's approach. In particular, it is shown that (smooth) measure homology and singular homology are isometrically isomorphic for all smooth manifolds. This implies that the simplicial volume indeed can be computed in terms of measure homology.
Let $M$ be the interior of a connected, oriented, compact manifold $V$ of dimension at least 2. If each path component of $\partial V$ has amenable fundamental group, then we prove that the simplicial volume of $M$ is equal to the relative simplicial volume of $V$ and also to the geometric (Lipschitz) simplicial volume of any Riemannian metric on $M$ whenever the latter is finite. As an application we establish the proportionality principle for the simplicial volume of complete, pinched negatively curved manifolds of finite volume.
Integral foliated simplicial volume is a version of simplicial volume combining the rigidity of integral coefficients with the flexibility of measure spaces. In this article, using the language of measure equivalence of groups we prove a proportionality principle for integral foliated simplicial volume for aspherical manifolds and give refined upper bounds of integral foliated simplicial volume in terms of stable integral simplicial volume. This allows us to compute the integral foliated simplicial volume of hyperbolic 3-manifolds. This is complemented by the calculation of the integral foliat…
We study a metric version of the simplicial volume on Riemannian manifolds, the Lipschitz simplicial volume, with applications to degree theorems in mind. We establish a proportionality principle and a product inequality from which we derive an extension of Gromov's volume comparison theorem to products of negatively curved manifolds or locally symmetric spaces of non-compact type. In contrast, we provide vanishing results for the ordinary simplicial volume; for instance, we show that the ordinary simplicial volume of non-compact locally symmetric spaces with finite volume of Q-rank at least 3…
We show that the Connes-Consani semi-norm on singular homology with real coefficients, defined via s-modules, coincides with the ordinary $\ell^1$-semi-norm on singular homology in all dimensions.
We consider the relation between simplicial volume and two of its variants: the stable integral simplicial volume and the integral foliated simplicial volume. The definition of the latter depends on a choice of a measure preserving action of the fundamental group on a probability space. We show that integral foliated simplicial volume is monotone with respect to weak containment of measure preserving actions and yields upper bounds on (integral) homology growth. Using ergodic theory we prove that simplicial volume, integral foliated simplicial volume and stable integral simplicial volume coinc…
We define the notion of valuation on simplicial maps between geometric realizations of simplicial complexes in $\mathbb{R}^n$. Valuations on simplicial maps are analogous to valuations on sets. In particular, we define the Lefschetz volumes, which are analogous to the intrinsic volumes of subsets of $\mathbb{R}^n$. Our definition not only provides a generalization of the Lefschetz number, but also yields a Hadwiger-style classification theorem for all such valuations.
Let X be a topological space, and let C(X) be the complex of singular cochains on X with real coefficients. We denote by Cc(X) the subcomplex given by continuous cochains, i.e. by such cochains whose restriction to the space of simplices (endowed with the compact-open topology) defines a continuous real function. We prove that at least for "reasonable" spaces the inclusion of Cc(X) in C(X) induces an isomorphism in cohomology, thus answering a question posed by Mostow. We also prove that such isomorphism is isometric with respect to the L^infty-norm on cohomology defined by Gromov. As an appli…
We compute the value of the simplicial volume for closed, oriented Riemannian manifolds covered by $\mathbb{H}^{2}\times\mathbb{H}^{2}$ explicitly, thus in particular for products of closed hyperbolic surfaces. This gives the first exact value of a nonvanishing simplicial volume for a manifold of nonconstant curvature.
We define the ideal simplicial volume for compact manifolds with boundary. Roughly speaking, the ideal simplicial volume of a manifold $M$ measures the minimal size of possibly ideal triangulations of $M$ "with real coefficients", thus providing a variation of the ordinary simplicial volume defined by Gromov in 1982, the main difference being that ideal simplices are now allowed to appear in representatives of the fundamental class. We show that the ideal simplicial volume is bounded above by the ordinary simplicial volume, and that it vanishes if and only if the ordinary simplicial volume doe…
We discuss some additivity properties of the simplicial volume for manifolds with boundary: we give proofs of additivity for glueing amenable boundary components and of superadditivity for glueing amenable submanifolds of the boundary, and we discuss doubling of 3-manifolds.
We provide sharp lower bounds for the simplicial volume of compact $3$-manifolds in terms of the simplicial volume of their boundaries. As an application, we compute the simplicial volume of several classes of $3$-manifolds, including handlebodies and products of surfaces with the interval. Our results provide the first exact computation of the simplicial volume of a compact manifold whose boundary has positive simplicial volume. We also compute the minimal number of tetrahedra in a (loose) triangulation of the product of a surface with the interval.
We show that the simplicial volume of a contractible 3-manifold not homeomorphic to $\mathbb{R}^3$ is infinite. As a consequence, the Euclidean space may be characterized as the unique contractible $3$-manifold with vanishing minimal volume, or as the unique contractible $3$-manifold supporting a complete finite-volume Riemannian metric with Ricci curvature uniformly bounded from below. On the contrary, we show that in every dimension $n\geq 4$ there exists a contractible $n$-manifold with vanishing simplicial volume not homeomorphic to $\mathbb{R}^n$. We also compute the spectrum of the simpl…
A well-known question by Gromov asks whether the vanishing of the simplicial volume of oriented closed connected aspherical manifolds implies the vanishing of the Euler characteristic. We study various versions of Gromov's question and collect strategies towards affirmative answers and strategies towards negative answers to this problem. Moreover, we put Gromov's question into context with other open problems in low- and high-dimensional topology. A special emphasis is put on a comparative analysis of the additivity properties of the simplicial volume and the Euler characteristic for manifolds…
We show that closed manifolds supporting a nonpositively curved metric with negative $([\frac{n}{4}]+1)$-Ricci curvature, have positive simplicial volume. This answers a special case of a conjecture of Gromov.
We provide new vanishing and glueing results for relative simplicial volume, following up on two current themes in bounded cohomology: The passage from amenable groups to boundedly acyclic groups and the use of equivariant topology. More precisely, we consider equivariant nerve pairs and relative classifying spaces for families of subgroups. Typically, we apply this to uniformly boundedly acyclic families of subgroups. Our methods also lead to vanishing results for $\ell^2$-Betti numbers of aspherical CW-pairs with small relative amenable category and to a relative version of a result by Drani…
We study the question when a manifold that fibers over a sphere can be rationally essential, or even have positive simplicial volume. More concretely, we show that mapping tori of manifolds (whose fundamental groups can be quite arbitrary) of odd dimension at least 7 with non-zero simplicial volume are very common. This contrasts the case of fiber bundles over a sphere of dimension d > 1: we prove that their total spaces are rationally inessential if d is at least 3, and always have simplicial volume 0. Using a result by Dranishnikov, we also deduce a surprising property of macroscopic dimensi…
Measure homology is a variation of singular homology designed by Thurston in his discussion of simplicial volume. Zastrow and Hansen showed independently that singular homology (with real coefficients) and measure homology coincide algebraically on the category of CW-complexes. It is the aim of this paper to prove that this isomorphism is isometric with respect to the l^1-seminorm on singular homology and the seminorm on measure homology induced by the total variation. This, in particular, implies that one can calculate the simplicial volume via measure homology -- as already claimed by Thurst…
Let $M$ be a closed orientable manifold. We introduce two numerical invariants, called filling volumes, on the mapping class group $\mathrm{MCG}(M)$ of $M$, which are defined in terms of filling norms on the space of singular boundaries on $M$, both with real and with integral coefficients. We show that filling volumes are length functions on $\mathrm{MCG}(M)$, we prove that the real filling volume of a mapping class $f$ is equal to the simplicial volume of the corresponding mapping torus $E_f$, while the integral filling volume of $f$ is not smaller than the stable integral simplicial volume …
We prove that any mapping torus of a closed 3-manifold has zero simplicial volume. When the fiber is a prime 3-manifold, classification results can be applied to show vanishing of the simplicial volume, however the case of reducible fibers is by far more subtle. We thus analyse the possible self-homeomorphisms of reducible 3-manifolds, and use this analysis to produce an explicit representative of the fundamental class of the corresponding mapping tori. To this end, we introduce a new technique for understanding self-homeomorphisms of connected sums in arbitrary dimensions on the level of clas…
We introduce an axiomatic definition for the Kodaira dimension and classify Thurston geometries in dimensions $\leq 5$ in terms of this Kodaira dimension. We show that the Kodaira dimension is monotone with respect to the partial order defined by maps of non-zero degree between 5-manifolds. We study the compatibility of our definition with traditional notions of Kodaira dimension, especially the highest possible Kodaira dimension. To this end, we establish a connection between the simplicial volume and the holomorphic Kodaira dimension, which in particular implies that any smooth Kähler 3-fold…
The simplicial volume is a homotopy invariant of manifolds introduced by Gromov in 1982. In order to study its main properties, Gromov himself initiated the dual theory of bounded cohomology, that developed into an active and independent research field. Gromov's theory of bounded cohomology was based on the use of multicomplexes, which are simplicial structures that generalize simplicial complexes without allowing all the degeneracies appearing in simplicial sets. In the first part of this paper we lay the foundation of the theory of multicomplexes. We construct the singular multicomplex K(X) …
We introduce a theory of volume polynomials and corresponding duality algebras of multi-fans. Any complete simplicial multi-fan $Δ$ determines a volume polynomial $V_Δ$ whose values are the volumes of multi-polytopes based on $Δ$. This homogeneous polynomial is further used to construct a Poincare duality algebra $\mathcal{A}^*(Δ)$. We study the structure and properties of $V_Δ$ and $\mathcal{A}^*(Δ)$ and give applications and connections to other subjects, such as Macaulay duality, Novik--Swartz theory of face rings of simplicial manifolds, generalizations of Minkowski's theorem on convex pol…
Measure homology was introduced by Thurston in his notes about the geometry and topology of 3-manifolds, where it was exploited in the computation of the simplicial volume of hyperbolic manifolds. Zastrow and Hansen independently proved that there exists a canonical isomorphism between measure homology and singular homology (on the category of CW-complexes), and it was then shown by Loeh that, in the absolute case, such isomorphism is in fact an isometry with respect to the L^1-seminorm on singular homology and the total variation seminorm on measure homology. Loeh's result plays a fundamental…
A fundamental result by Gromov and Thurston asserts that, if M is a closed hyperbolic n-manifold, then the simplicial volume |M| of M is equal to vol(M)/v_n, where v_n is a constant depending only on the dimension of M. The same result also holds for complete finite-volume hyperbolic manifolds without boundary, while Jungreis proved that the ratio vol(M)/|M| is strictly smaller than v_n if M is compact with non-empty geodesic boundary. We prove here a quantitative version of Jungreis' result for n>3, which bounds from below the ratio |M|/vol(M) in terms of the ratio between the volume of the b…
We provide a proof for an inequality between volume and L2-Betti numbers of aspherical manifolds for which Gromov outlined a strategy based on general ideas of Connes. The implementation of that strategy involves measured equivalence relations, Gaboriau's theory of L2-Betti numbers of R-simplicial complexes, and other themes of measurable group theory. Further, we prove new vanishing theorems for L2-Betti numbers that generalize a classical result of Cheeger and Gromov. As one of the corollaries, we obtain a gap theorem which implies vanishing of L2-Betti numbers of an aspherical manifold when…
