One proves that there exists an obstruction to an open simply connected $n$-manifold of dimension $n\geq 5$ being geometrically simply connected. In particular there exist uncountably many simply connected $n$-manifolds which are not w.g.s.c. One proves that for $n\neq 4$ an $n$-manifold proper homotopy equivalent to a w.g.s.c. polyhedron is w.g.s.c. (for $n=4$ it is only end compressible). We analyze further the case $n=4$ and Poénaru's conjecture.
This is the second of a Series of three papers, the first one published in Geom Dedicata 167 p. 91-121 (2013), proving that all finitely presented groups are QSF.
This paper is concerned with lower bounds for the connectivity of graphs (one-dimensional skeleta) of triangulations of compact manifolds. We introduce a structural invariant b_M for simplicial d-manifolds M taking values in the range 0 <= b_M <= d-1. The main result is that b_M influences connectivity in the following way: The graph of a d-dimensional simplicial compact manifold M is (2d - b_M)-connected. The parameter b_M has the property that b_M = 0 if the complex M is flag. Hence, our result interpolates between Barnette's theorem (1982) that all d-manifold graphs are (d+1)-connected and …
Matveev and Piergallini independently showed that, with a small number of known exceptions, any triangulation of a three-manifold can be transformed into any other triangulation of the same three-manifold with the same number of vertices, via a sequence of 2-3 and 3-2 moves. We can interpret this as showing that the Pachner graph of such triangulations is connected. In this paper, we extend this result to show that (again with a small number of known exceptions), the subgraph of the Pachner graph consisting of triangulations without degree one edges is also connected, for single-vertex triangu…
Let the circle act effectively in a Hamiltonian fashion on a compact symplectic manifold $(M, ω)$. Assume that the fixed point set $M^{S^1}$ has exactly two components, $X$ and $Y$, and that $\dim(X) + \dim(Y) +2 = \dim(M)$. We first show that $X$, $Y$ and $M$ are simply connected. Then we show that, up to $S^1$-equivariant diffeomorphism, there are finitely many such manifolds in each dimension. Moreover, we show that in low dimensions, the manifold is unique in a certain category. We use techniques from both areas of symplectic geometry and geometric topology.
We show that a certain geometric property, the QSF introduced by S. Brick and M. Mihalik, is universally true for {\ibf all} finitely presented groups $Γ$. One way of defining this property is the existence of a smooth compact manifold $M$ with $π_1 M = Γ$, such that $\tilde M$ is geometrically simply-connected ({\it i.e.} without handles of index $λ= 1$). There are also alternative, more group-theoretical definitions, which are presentation independent. But $Γ\in {\rm QSF}$ is not only a universal property, it is quite highly non-trivial too; its very special case for $Γ= π_1 M^3$ (where it m…
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 that an open 3-manifold proper homotopy equivalent to a geometrically simply connected polyhedron is simply connected at infinity, generalizing a theorem of V.Poenaru.
We consider compact 3-manifolds M having a submersion h to R in which each generic point inverse is a planar surface. The standard height function on a submanifold of the 3-sphere is a motivating example. To (M, h) we associate a connectivity graph G. For M in the 3-sphere, G is a tree if and only if there is a Fox reimbedding of M which carries horizontal circles to a complete collection of complementary meridian circles. On the other hand, if the connectivity graph of the complement of M is a tree, then there is a level-preserving reimbedding of M so that its complement is a connected sum of…
We consider aspects of the question "when is an orientable closed 4-manifold $Y$ dominated by another such manifold $X$", focusing on the cases when $X$ is geometric or fibres non-trivially over an orientable surface.
We provide, for hyperbolic and flat 3-manifolds, obstructions to bounding hyperbolic 4-manifolds, thus resolving in the negative a question of Farrell and Zdravkovska.
We give another proof for a result of Brick stating that the simple connectivity at infinity is a geometric property of finitely presented groups. This allows us to define the rate of vanishing of $\p1i$ for those groups which are simply connected at infinity. Further we show that this rate is linear for cocompact lattices in nilpotent and semi-simple Lie groups, and in particular for fundamental groups of geometric 3-manifolds.
We prove that the homeomorphism problem for 2-manifolds can be decided in logspace. The proof relies on Reingold's logspace solution to the undirected $s,t$-connectivity problem in graphs.
We explicitly construct small triangulations for a number of well-known 3-dimensional manifolds and give a brief outline of some aspects of the underlying theory of 3-manifolds and its historical development.
In this paper we show that every three-dimensional closed hyperbolic manifold admits no locally geometric $1$-parameter family of closed minimal surfaces.
We describe the quasi-isometric classification of fundamental groups of irreducible non-geometric 3-manifolds which do not have "too many" arithmetic hyperbolic geometric components, thus completing the quasi-isometric classification of 3--manifold groups in all but a few exceptional cases.
Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed, geometric 3-manifolds is algorithmically recognizable. In our terminology, the class of geometric 3-manifold groups is `recursive modulo the word problem'.
Let M be a geometrically finite rank one locally symmetric manifolds. We prove that the spectrum of the Laplace operator on M is finite in a small interval which is optimal.
This is the second of two papers but has been written so as to have minimal dependence on the first paper (which is also on this archive). Let G be a group and let M be a CAT(0) proper metric space (e.g. a simply connected complete Riemannian manifold of non-positive sectional curvature or a locally finite tree). Assume G is of type F_n (type F_1 is finitely generated, type F_2 is finitely presented etc.) The "boundary", bdM, of M at infinity has two customary topologies - the compact "cone" topology and the Tits metric topology. We associate with any isometric action of G on M two subsets of …
In this note, we show that there exist cusped hyperbolic $3$-manifolds that embed geodesically, but cannot bound geometrically. Thus, being a geometric boundary is a non-trivial property for such manifolds. Our result complements the work by Long and Reid on geometric boundaries of compact hyperbolic $4$-manifolds, and by Kolpakov, Reid and Slavich on embedding arithmetic hyperbolic manifolds.
We apply an equivariant version of Perelman's Ricci flow with surgery to study smooth actions by finite groups on closed 3-manifolds. Our main result is that such actions on elliptic and hyperbolic 3-manifolds are conjugate to isometric actions. Combining our results with results by Meeks and Scott [17], it follows that such actions on geometric 3-manifolds (in the sense of Thurston) are always geometric, i.e. there exist invariant locally homogeneous Riemannian metrics. This answers a question posed by Thurston in [32].
This is a continuation of a previous paper of same title. The degeneration, i.e. curvature blow-up, of sequences of metrics appoaching the Sigma constant, assumed non-positive, is analysed. The degeneration is related to the sphere decomposition of the 3-manifold M, in case M is sigma-tame.
Geometric torsions are torsions of acyclic complexes of vector spaces which consist of differentials of geometric quantities assigned to the elements of a manifold triangulation. We use geometric torsions to construct invariants for a manifold with a triangulated boundary. These invariants can be naturally united in a vector, and a change of the boundary triangulation corresponds to a linear transformation of this vector. Moreover, when two manifolds are glued by their common boundary, these vectors undergo scalar multiplication, i.e., they work according to M. Atiyah's axioms for a topologica…
We generalize Bonahon's characterization of geometrically infinite torsion-free discrete subgroups of PSL(2, $\mathbb{C}$) to geometrically infinite discrete isometry subgroups in the case of rank 1 symmetric spaces, and, under the assumption of bounded torsion, to the case of negatively pinched Hadamard manifolds. Every such geometrically infinite isometry subgroup $Γ$ has a set of nonconical limit points with cardinality of continuum.
This paper uses the technology of weighted and regular triangulations to study discrete versions of the Laplacian on piecewise Euclidean manifolds. Regular triangulations are studied in some detail, including flip algorithms. The Laplacian is then studied as an operator on functions of the vertices as a generalized weighted Laplacian on graphs.
In this paper we study the equidistribution of expanding horospheres in infinite volume geometrically finite rank one locally symmetric manifolds and apply it to the orbital counting problem in apollonian sphere packing.
We present an invariant of a three-dimensional manifold with a framed knot in it based on the Reidemeister torsion of an acyclic complex of Euclidean geometric origin. To show its nontriviality, we calculate the invariant for some framed (un)knots in lens spaces. Our invariant is related to a finite-dimensional fermionic topological quantum field theory.
