We propose an approach to find constant curvature metrics on triangulated closed 3-manifolds using a finite dimensional variational method whose energy function is the volume. The concept of an angle structure on a tetrahedron and on a triangulated closed 3-manifold is introduced following the work of Casson, Murakami and Rivin. It is proved by A. Kitaev and the author that any closed 3-manifold has a triangulation supporting an angle structure. The moduli space of all angle structures on a triangulated 3-manifold is a bounded open convex polytope in a Euclidean space. The volume of an angle structure is defined. Both the angle structure and the volume are natural generalizations of tetrahedra in the constant sectional curvature spaces and their volume. It is shown that the volume functional can be extended continuously to the compact closure of the moduli space. In particular, the maximum point of the volume functional always exists in the compactification. The main result shows that for a 1-vertex triangulation of a closed
3-manifold if the volume function on the moduli space has a local maximum point, then either the manifold admits a constant curvature Riemannian metric or the manifold contains a non-separating 2-sphere or real projective plane.
We show that every closed, locally homogeneous Riemannian manifold with positive simplicial volume must be homeomorphic to a locally symmetric space of non-compact type.
We establish isosystolic inequalities for a class of manifolds which includes the aspherical manifolds. In particular, we relate the systolic volume of aspherical manifolds first to their minimal entropy, then to the algebraic entropy of their fundamental groups.
In this paper we determine the topology of three-dimensional complete orientable Riemannian manifolds with a uniform lower bound of sectional curvature whose volume is sufficiently small.
We prove a volume inequality for 3-manifolds having C^0 metrics "bent" along a hypersurface, and satisfying certain curvature pinching conditions. The result makes use of Perelman's work on Ricci flow and geometrization of closed 3-manifolds. Corollaries include a new proof of a conjecture of Bonahon about volumes of convex cores of Kleinian groups, improved volume estimates for certain Haken hyperbolic 3-manifolds, and a lower bound on the minimal volume orientable hyperbolic 3-manifold. An appendix by Dunfield compares estimates of volumes of hyperbolic 3-manifolds drilled along a closed emb…
This paper shows that the Seifert volume of each closed non-trivial graph manifold is virtually positive. As a consequence, for each closed orientable prime 3-manifold $N$, the set of mapping degrees $cD(M,N)$ is finite for any 3-manifold $M$, unless $N$ is finitely covered by either a torus bundle, or a trivial circle bundle, or the 3-sphere.
The goal of this article is to establish estimates involving the Yamabe minimal volume, mixed minimal volume and some topological invariants on compact 4-manifolds. In addition, we provide topological sphere theorems for compact submanifolds of spheres and Euclidean spaces, provided that the full norm of the second fundamental form is suitably bounded.
Quasifuchsian hyperbolic manifolds, or more generally convex co-compact hyperbolic manifolds, have infinite volume, but they have a well-defined ``renormalized'' volume. We outline some relations between this renormalized volume and the volume, or more precisely the ``dual volume'', of the convex core. On one hand, there are striking similarities between them, for instance in their variational formulas. On the other, object related to them tend to be within bounded distance. Those analogies and proximities lead to several questions. Both the renormalized volume and the dual volume can be used …
We study noncompact, complete, finite volume, negatively curved manifolds $M$. We construct $M$ with infinitely generated fundamental groups in all dimensions $n \geq 2$. We construct $M$ whose cusp cross sections are compact hyperbolic manifolds in all dimension $n\geq 3$. In contrast we show that if sectional curvature $-1<K(M)<0$, then cusp cross sections have zero simplicial volume. We construct negatively curved lattices that do not contain any parabolic isometries. We show that there are $M$ such that $\widetilde{M}$ does not satisfy the visibility axiom. We give a condition on the curva…
The work of Jorgensen and Thurston shows that there is a finite number N(v) of orientable hyperbolic 3-manifolds with any given volume v. We show that there is an infinite sequence of closed orientable hyperbolic 3-manifolds, obtained by Dehn filling on the figure eight knot complement, that are uniquely determined by their volumes. This gives a sequence of distinct volumes x_i converging to the volume of the figure eight knot complement with N(x_i) = 1 for each i. We also give an infinite sequence of 1-cusped hyperbolic 3-manifolds, obtained by Dehn filling one cusp of the (-2,3,8)-pretzel li…
We establish conditions for a continuous map of nonzero degree between a smooth closed manifold and a negatively curved manifold of dimension greater than four to be homotopic to a smooth cover, and in particular a diffeomorphism when the degree is one. The conditions hold when the volumes or entropy-volumes of the two manifolds differ by less than a uniform constant after an appropriate normalization of the metrics. The results are qualitatively sharp in the sense that the dependencies are necessary. We give a number of corollaries.
We develop the deformation theory of hyperbolic cone-3-manifolds with cone-angles less than $2π$, i.e. contained in the interval $(0,2π)$. In the present paper we focus on deformations keeping the topological type of the cone-manifold fixed. We prove local rigidity for such structures. This gives a positive answer to a question of A. Casson.
We study noncompact, complete, finite volume, Riemannian 4-manifolds $M$ with sectional curvature $-1<K<0$. We prove that $π_1 M$ cannot be a 3-manifold group. A classical theorem of Gromov says that $M$ is homeomorphic to the interior of a compact manifold $\M$ with boundary $\partial\barM$. We show that for each $π_1$-injective boundary component $C$ of $\M$, the map $i_*$ induced by inclusion $i\colon C\rightarrow \M$ has infinite index image $i_*(π_1 C)$ in $π_1 \M$. We also prove that $M$ cannot be homotoped to be contained in $\partial\M$.
In a remarkable article published in 1982, M. Gromov introduced the concept of minimal volume, namely, the minimal volume of a manifold $M^n$ is defined to be the greatest lower bound of the total volumes of $M^n$ with respect to complete Riemannian metrics whose sectional curvature is bounded above in absolute value by 1. While the minimal curvature, introduced by G. Yun in 1996, is the smallest pinching of the sectional curvature among metrics of volume 1. The goal of this article is to provide estimates to minimal volume and minimal curvature on 4-dimensional compact manifolds involving som…
We construct for every connected surface $S$ of finite negative Euler characteristic and every $H \in [0,1)$, a hyperbolic 3-manifold $N(S,H)$ of finite volume and a proper, two-sided, totally umbilic embedding $f\colon S\to N(S,H)$ with mean curvature $H$. Conversely, we prove that a complete, totally umbilic surface with mean curvature $H \in [0,1)$ embedded in a hyperbolic 3-manifold of finite volume must be proper and have finite negative Euler characteristic.
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…
We prove entropy rigidity for finite volume strictly convex projective manifolds in dimensions $\geq 3$, generalizing the work of arXiv:1708.03983 to the finite volume setting. The rigidity theorem uses the techniques of Besson, Courtois, and Gallot's entropy rigidity theorem. It implies uniform lower bounds on the volume of any finite volume strictly convex projective manifold in dimensions $\geq 3$.
We show that complete uniform visibility manifolds of finite volume with sectional curvature $-1 \leq K \leq 0$ have positive simplicial volumes. This implies that their minimal volumes are non-zero.
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…
In this paper we study existence and lack thereof of closed embedded orientable co-dimension one totally geodesic submanifolds of minimal volume cusped orientable hyperbolic manifolds.
This paper is the second in a series whose goal is to understand the structure of low-volume complete orientable hyperbolic 3-manifolds. Using Mom technology, we prove that any one-cusped hyperbolic 3-manifold with volume <= 2.848 can be obtained by a Dehn filling on one of 21 cusped hyperbolic 3-manifolds. We also show how this result can be used to construct a complete list of all one-cusped hyperbolic three-manifolds with volume <= 2.848 and all closed hyperbolic three-manifolds with volume <= 0.943. In particular, the Weeks manifold is the unique smallest volume closed orientable hyperboli…
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.
In this paper, it is shown that for any closed orientable $3$-manifold with positive simplicial volume, the growth of the Seifert volume of its finite covers is faster than the linear rate. In particular, each closed orientable $3$-manifold with positive simplicial volume has virtually positive Seifert volume. The result reveals certain fundamental difference between the representation volume of the hyperbolic type and the Seifert type. The proof is based on developments and reactions of recent results on virtual domination and on virtual representation volumes of $3$-manifolds.
We construct here two new examples of non-orientable, non-compact, hyperbolic 4-manifolds. The first has minimal volume $v_m = 4π^2/3$ and two cusps. This example has the lowest number of cusps among known minimal volume hyperbolic 4-manifolds. The second has volume $2\cdot v_m$ and one cusp. It has lowest volume among known one-cusped hyperbolic 4-manifolds.
Let $M$ be a closed $n$-manifold with nonzero simplicial volume. A central result in systolic geometry from Gromov is that systolic volume of $M$ is related to its simplicial volume. In this short note, we show that systolic volume of hyperbolic manifolds is related to triangulation complexity. The proof is based on Jørgensen and Thurston's theorem of hyperbolic volume.
Integral simplicial volume is a homotopy invariant of oriented closed connected manifolds, defined as the minimal weighted number of singular simplices needed to represent the fundamental class with integral coefficients. We show that odd-dimensional spheres are the only manifolds with integral simplicial volume equal to 1. Consequently, we obtain an elementary proof that, in general, the integral simplicial volume of (triangulated) manifolds is not computable.
This notes explores angle structures on ideally triangulated compact $3$-manifolds with high genus boundary. We show that the existence of angle structures implies the existence of a hyperbolic metric with totally geodesic boundary, and conversely each hyperbolic $3$-manifold with totally geodesic boundary has an ideal triangulation that admits angle structures.
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.
Graph manifolds are manifolds that decompose along tori into pieces with a tame $S^1$-structure. In this paper, we prove that the simplicial volume of graph manifolds (which is known to be zero) can be approximated by integral simplicial volumes of their finite coverings. This gives a uniform proof of the vanishing of rank gradients, Betti number gradients and torsion homology gradients for graph manifolds.
We show that, in dimension at least $4$, the set of locally finite simplicial volumes of oriented connected open manifolds is $[0, \infty]$. Moreover, we consider the case of tame open manifolds and some low-dimensional examples.
We enumerate the small-volume manifolds that can be obtained by Dehn filling on Mom-2 and Mom-3 manifolds as defined by Gabai, Meyerhoff, and the author. In so doing we complete the proof that the Weeks manifold is the minimum-volume compact hyperbolic 3-manifold, as well as enumerating the 10 smallest one-cusped hyperbolic 3-manifolds.
We prove that the 8^4_2 link complement is the minimal volume orientable hyperbolic manifold with 4 cusps. Its volume is twice of the volume V_8 of the ideal regular octahedron, i.e. 7.32... = 2V_8. The proof relies on Agol's argument used to determine the minimal volume hyperbolic 3-manifolds with 2 cusps. We also need to estimate the volume of a hyperbolic 3-manifold with totally geodesic boundary which contains an essential surface with non-separating boundary.
We classify the complete hyperbolic 3-manifolds admitting a maximal cusp of volume at most 2.62. We use this to show that the figure-8 knot complement is the unique 1-cusped hyperbolic 3-manifold with nine or more non-hyperbolic fillings; to show that the figure-8 knot complement and its sister are the unique hyperbolic 3-manifolds with minimal volume maximal cusps; and to extend results on determining low volume closed and cusped hyperbolic 3-manifolds.
We show that non-elliptic prime 3-manifolds satisfy integral approximation for the simplicial volume, i.e., that their simplicial volume equals the stable integral simplicial volume. The proof makes use of integral foliated simplicial volume and tools from ergodic theory.
It is known that the volume function for hyperbolic manifolds of dimension $\geq 3$ is finite-to-one. We show that the number of nonhomeomorphic hyperbolic 4-manifolds with the same volume can be made arbitrarily large. This is done by constructing a sequence of finite-sided finite-volume polyhedra with side-pairings that yield manifolds. In fact, we show that arbitrarily many nonhomeomorphic hyperbolic 4-manifolds may share a fundamental polyhedron. As a by-product of our examples, we also show in a constructive way that the set of volumes of hyperbolic 4-manifolds contains the set of even in…
In arxiv:1205.1274 Rieck and Yamashita defined the link volume of 3-manifolds and studied some of its basic properties. Many of these properties are similar to the corresponding properties of the hyperbolic volume. In this paper we calculate the link volume of an infinite family of prism manifolds. As a corollary, we show that (in contrast to the hyperbolic volume) the link volume is not finite-to-one.
This paper is the first in a series whose goal is to understand the structure of low-volume complete orientable hyperbolic 3-manifolds. Here we introduce Mom technology and enumerate the hyperbolic Mom-n manifolds for n <= 4.
We describe a natural strategy to enumerate compact hyperbolic 3-manifolds with geodesic boundary in increasing order of complexity. We show that the same strategy can be employed to analyze simultaneously compact manifolds and finite-volume manifolds having toric cusps. In opposition to this we show that, if one allows annular cusps, the number of manifolds grows very rapidly, and that our strategy cannot be employed to obtain a complete list. We also carefully describe how to compute the volume of our manifolds, discussing formulae for the volume of a tetrahedron with generic dihedral angles…
We prove that for any closed, connected, oriented 3-manifold M, there exists an infinite family of 2-fold branched covers of M that are hyperbolic 3-manifolds and surface bundles over the circle with arbitrarily large volume.
In this paper, we prove that the systolic volume of a closed aspherical 3-manifold is bounded below in terms of complexity. Systolic volume is defined as the optimal constant in a systolic inequality. Babenko showed that the systolic volume is a homotopy invariant. Moreover, Gromov proved that the systolic volume depends on topology of the manifold. More precisely, Gromov proved that the systolic volume is related to some topological invariants measuring complicatedness. In this paper, we work along Gromov's spirit to show that systolic volume of 3-manifolds is related to complexity. The compl…
We provide upper bounds on the size of the homology of a closed aspherical Riemannian manifold that only depend on the systole and the volume of balls. Further, we show that linear growth of mod p Betti numbers or exponential growth of torsion homology imply that a closed aspherical manifold is "large".
We prove that the Stiefel-Whitney classes of a moment-angle manifold, not necessarily smooth, are trivial. We also consider Stiefel-Whitney classes of the partial quotient of a moment-angle manifold.
We describe some properties of noncompact Euclidean cone manifolds with cone angles less than c less than 2pi and singular locus a submanifold. More precisely, we describe its structure outside a compact set. As a corollary we classify those with cone angles less than 3pi/2 and those with all cone angles equal to 3pi/2.
In this paper, we find lower bounds for volumes of hyperbolic 3-manifolds with various topological conditions. Let V_3 = 1.01494 denote the volume of a regular ideal simplex in hyperbolic 3-space. As a special case of the main theorem, if a hyperbolic manifold M contains an acylindrical surface S, then Vol(M)>= -2 V_3 chi(S). We also show that if beta_1(M)>= 2, then Vol(M)>= 4/5 V_3.
In a variety of settings we provide a method for decomposing a 3-manifold $M$ into pieces. When the pieces have the appropriate type of hyperbolicity, then the manifold $M$ is hyperbolic and its volume is bounded below by the sum of the appropriately defined hyperbolic volumes of the pieces. A variety of examples of appropriately hyperbolic pieces and volumes are provided, with many examples from link complements in the 3-sphere.
We calculate the volume of the $7_3^2$ link cone-manifolds using the Schläfli formula. As an application, we give the volume of the cyclic coverings over the link.
We calculate the volumes of the hyperbolic twist knot cone-manifolds using the Schläfli formula. Even though general ideas for calculating the volumes of cone-manifolds are around, since there is no concrete calculation written, we present here the concrete calculations. We express the length of the singular locus in terms of the distance between the two axes fixed by two generators. In this way the calculation becomes easier than using the singular locus directly. The volumes of the hyperbolic twist knot cone-manifolds simpler than Stevedore's knot are known. As an application, we give the vo…
In this paper we derive explicit estimates for the functions which appear in the previous work of Bridgeman and Kahn. As a consequence, we obtain an explicit lower bound for the length of the shortest orthogeodesic in terms of the volume of a hyperbolic manifold with totally geodesic boundary. We also give an alternative derivation of a lower bound for the volumes of these manifolds as a function of the dimension.