Characterization and topological rigidity of Nobeling manifolds
Andrzej Nagórko
备注:
a PhD thesis, xii + 102 pages; prepared for double-sided printing. A major update, done after receiving referees reviews. Please note that the theorem numbers were changed since the last version
We develop a theory of Nobeling manifolds similar to the theory of Hilbert space manifolds. We show that it reflects the theory of Menger manifolds developed by M. Bestvina and is its counterpart in the realm of complete spaces. In particular, the Nobeling manifold characterization conjecture is proven.
For each cardinal $κ$, each natural number $n$ and each simplicial complex $K$ we construct a space $ν^n_κ(K)$ and a map $π\colon ν^n_κ(K) \to K$ such that the following conditions are satisfied. 1. $ν^n_κ(K)$ is a complete metric $n$-dimensional space of weight $κ$. 2. $ν^n_κ(K)$ is an absolute neighborhood extensor in dimension $n$. 3. $ν^n_κ(K)$ is strongly universal in the class of $n$-dimensional complete metric spaces of weight~$κ$. 4. $π$ is an $n$-homotopy equivalence. For $κ= ω$ the constructed spaces are $n$-dimensional separable Nöbeling manifolds. The constructed spaces have very i…
We show that the n-homotopy category of connected (n+1)-dimensional Menger manifolds is isomorphic to the homotopy category of connected Hilbert cube manifolds whose k-dimensional homotopy groups are trivial for each k > n.
In a recent paper Hodgson and Kerckhoff prove a local rigidity theorem for finite volume, three dimensional hyperbolic cone-manifolds. In this paper we extend this result to geometrically finite cone-manifolds. Our methods also give a new proof of a local version of the classical rigidity theorem for geometrically finite hyperbolic 3-manifolds.
In this paper we explore coarse properties of cusp-decomposable manifolds first defined by Nguyên Phan. We describe the large scale geometry of the universal cover of a cusp-decomposable manifold and of quasi-isometries between two such universal covers. This description will provide us the tools to prove quasi-isometric rigidity for fundamental groups of cusp-decomposable manifolds.
A homotopy equivalence between a hyperbolic 3-manifold and a closed irreducible 3-manifold is homotopic to a homeomorphsim provided the hyperbolic manifold satisfies a purely geometric condition. There are no known examples of hyperbolic 3-manifolds which do not satisfy this condition.
We prove the infinitesimal rigidity of some geometrically infinite hyperbolic 4- and 5-manifolds. These examples arise as infinite cyclic coverings of finite-volume hyperbolic manifolds obtained by colouring right-angled polytopes, already described in the papers arXiv:2009.04997 [math.GT] and arXiv:2105.14795 [math.GT]. The 5-dimensional example is diffeomorphic to $N \times \mathbb{R}$ for some aspherical 4-manifold $N$ which does not admit any hyperbolic structure. To this purpose we develop a general strategy to study the infinitesimal rigidity of cyclic coverings of manifolds obtained by …
A cusp-decomposable manifold is a manifold constructed from a finite number of complete, negatively curved, finite volume manifolds and identifying the boundaries of truncated cusps by diffeomorphisms. Using properties of the electric space of the universal cover of cusp-decomposable manifolds, we show that the inclusion of walls and pieces induces quasi-isometric embeddings. We also show that isomorphisms between fundamental groups of higher graph manifolds preserve the decomposition into pieces.
In this paper we study the rigidity of infinite volume 3-manifolds with sectional curvature $-b^2\le K\le -1$ and finitely generated fundamental group. In-particular, we generalize the Sullivan's quasi-conformal rigidity for finitely generated fundamental group with empty dissipative set to negative variable curvature 3-manifolds. We also generalize the rigidity of Hamenstädt or more recently Besson-Courtois-Gallot, to 3-manifolds with infinite volume and geometrically infinite fundamental group.
In this paper, we prove the global rigidity of sphere packings on 3-dimensional manifolds. This is a 3-dimensional analogue of the rigidity theorem of Andreev-Thurston and was conjectured by Cooper and Rivin. We also prove a global rigidity result using a combinatorial scalar curvature introduced by Ge and the author.
In this paper we study some consequences of the author's classification of graph manifolds by their profinite fundamental groups. In particular we study commensurability, the behaviour of knots, and relation to mapping classes. We prove that the exteriors of graph knots are distinguished among all 3-manifold groups by their profinite fundamental groups. We also prove a strong conjugacy separability result for certain mapping classes of surfaces.
Let M be a non-compact hyperbolic 3-manifold that has a triangulation by positively oriented ideal tetraedra. We explain how to produce local coordinates for the variety defined by the gluing equations for PGL(3,C)-representations. In particular we prove local rigidity of the "geometric" representation in PGL(3,C), recovering a recent result of Menal-Ferrer and Porti. More generally we give a criterion for local rigidty of PGL(3,C)-representations and provide detailed analysis of the figure eight knot sister manifold exhibiting the different possibilities that can occur.
We use the reflection group trick to glue manifolds with corners that are Borel-Serre compactifications of locally symmetric spaces of noncompact type and obtain aspherical manifolds. We call these \emph{piecewise locally symmetric} manifolds. This class of spaces provide new examples of aspherical manifolds whose fundamental groups have the structure of a complex of groups. These manifolds typically do not admit a locally $\CAT(0)$ metric. We prove that any self homotopy equivalence of such manifolds is homotopic to a homeomorphism. We compute the group of self homotopy equivalences of such a…
We investigate the rigidity of hyperbolic cone metrics on $3$-manifolds which are isometric gluing of ideal and hyper-ideal tetrahedra in hyperbolic spaces. These metrics will be called ideal and hyper-ideal hyperbolic polyhedral metrics. It is shown that a hyper-ideal hyperbolic polyhedral metric is determined up to isometry by its curvature and a decorated ideal hyperbolic polyhedral metric is determined up to isometry and change of decorations by its curvature. The main tool used in the proof is the Fenchel dual of the volume function.
The goal of this paper is to investigate the rigidity of 4-dimensional manifolds involving some pinching curvature conditions. To this end, we make use of the approach of biorthogonal curvature which is weaker than the sectional curvature. Here, we prove a rigidity result for 4-dimensional compact manifolds under a suitable lower bound condition on the minimum of the biorthogonal curvature. From this, we improve the pinching constants considered by some preceding works on a rigidity result for 4-dimensional manifolds.
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$.
Let W be a compact hyperbolic n-manifold with totally geodesic boundary. We prove that if n>3 then the holonomy representation of pi_1 (W) into the isometry group of hyperbolic n-space is infinitesimally rigid.
We prove global rigidity for compact hyperbolic and spherical cone-3-manifolds with cone-angles $\leq π$ (which are not Seifert fibered in the spherical case), furthermore for a class of hyperbolic cone-3-manifolds of finite volume with cone-angles $\leq π$, possibly with boundary consisting of totally geodesic hyperbolic turnovers. To that end we first generalize our local rigidity result to the setting of hyperbolic cone-3-manifolds of finite volume as above. We then use the geometric techniques developed by Boileau, Leeb and Porti to deform the cone-manifold structure to a complete non-sing…
We show a rigidity theorem for the Seiberg-Witten invariants mod 2 for families of spin 4-manifolds. A mechanism of this rigidity theorem also gives a family version of 10/8-type inequality. As an application, we prove the existence of non-smoothable topological families of 4-manifolds whose fiber, base space, and total space are smoothable as manifolds. These non-smoothable topological families provide new examples of 4-manifolds $M$ for which the inclusion maps $\operatorname{Diff}(M) \hookrightarrow \operatorname{Homeo}(M)$ are not weak homotopy equivalences. We shall also give a new series…
In this paper it is proven that there is at most one way, up to isotopy, in which a connected, hyperbolic, orientable 3-manifold can fiber over the circle with monodromy in the Torelli group.
We define \emph{piecewise rank 1} manifolds, which are aspherical manifolds that generally do not admit a nonpositively curved metric but can be decomposed into pieces that are diffeomorphic to finite volume, irreducible, locally symmetric, nonpositively curved manifolds with $π_1$-injective cusps. We prove smooth (self) rigidity for this class of manifolds in the case where the gluing preserves the cusps' homogeneous structure. We compute the group of self homotopy equivalences of such a manifold and show that it can contain a normal free abelian subgroup and thus, can be infinite. Elements o…
We define cusp-decomposable manifolds and prove smooth rigidity within this class of manifolds. These manifolds generally do not admit a nonpositively curved metric but can be decomposed into pieces that are diffeomorphic to finite volume, locally symmetric, negatively curved manifolds with cusps. We prove that the group of outer automorphisms of the fundamental group of such a manifold is an extension of an abelian group by a finite group. Elements of the abelian group are induced by diffeomorphisms that are analogous to Dehn twists in surface topology. We also prove that the outer automophis…
We give the first examples of closed fibered hyperbolic 3-manifolds whose fundamental groups are distinguished from every other finitely generated, residually finite group by their finite quotients. One of the examples is also the first example of a non-orientable profinitely rigid hyperbolic 3-manifold.
This article announces joint work with Frank Connolly and Jim Davis. We generalize our classification of pseudo-free involutions on the n-torus, by studying the action of the associated infinite group with torsion in the universal cover. Included is a non-Riemannian example obtained from the restriction of the action of a Coxeter group on a CAT(0) manifold.
A compact Fuchsian manifold with boundary is a hyperbolic 3-manifold homeomorphic to $S_g \times [0; 1]$ such that the boundary component $S_g \times \{ 0\}$ is geodesic. We prove that a compact Fuchsian manifold with convex boundary is uniquely determined by the induced path metric on $S_g \times \{1\}$. We do not put further restrictions on the boundary except convexity.
We show that for a closed $n$-manifold $N$ admitting a quasiregular mapping from the Euclidean $n$-space the following are equivalent: (1) order of growth of $π_1(N)$ is $n$, (2) $N$ is aspherical, and (3) $π_1(N)$ is virtually $\mathbb{Z}^n$ and torsion free.
There has been much recent interest into those properties of a 3-manifold determined by the profinite completion of its fundamental group. In this paper we give readily computable criteria specifying precisely when two orientable graph manifold groups have isomorphic profinite completions. Our results also distinguish graph manifolds among the class of all 3-manifolds and give information about the structure of totally hyperbolic manifolds, and give control over the pro-$p$ completion of certain graph manifold groups.
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.
In this survey paper, we outline the proofs of the rigidity results for simple, thick, hyperbolic P-manifolds found in our three earlier papers math.GR/0506518, math.GT/0410476, and math.GR/0409586. We discuss how the arguments change in the two, three, and higher dimensional settings. This paper was written for the 22nd Annual Workshop in Geometric Topology (Colorado Springs, June 2005).