Hausdorff Dimension and Limits of Kleinian Groups

In this paper we prove that if M is a compact, hyperbolizable 3-manifold, which is not a handlebody, then the Hausdorff dimension of the limit set is continuous in the strong topology on the space of marked hyperbolic 3-manifolds homotopy equivalent to M. We similarly observe that for any compact hyperbolizable 3-manifold M (including a handlebody), the bottom of the spectrum of the Laplacian gives a continuous function in the strong topology on the space of topologically tame hyperbolic 3-manifolds homotopy equivalent to M. Submitted: January 1998.     

A note on the geometry of M 3 and symplectic structures on S 1 × M 3

We investigate the relationship between the geometry of a closed, oriented 3-manifold M and the symplectic structures on S ¹ × M. In most cases the existence of a symplectic structure on S ¹ × M and Thurstonșs geometrization conjecture imply the existence of a geometric structure on M. This observation together with the existence of geometric structures on most 3-manifolds which fiber over the circle suggests a different approach to the problem of finding a fibration of a 3-manifold over the circle in case its product with the circle admits a symplectic structure. This work was supported in part by a GEBIP grant from the Turkish Academy of Sciences and a CAREER grant from the Scientific and Technological Research Council of Turkey.     

Moves for standard skeleta of 3-manifolds with marked boundary

A 3-manifold with marked boundary is a pair (M, X), where M is a compact 3-manifold whose (possibly empty) boundary is made up of tori and Klein bottles, and X is a trivalent graph that is a spine of ?M. A standard skeleton of a 3-manifold with marked boundary (M, X) is a standard sub-polyhedron P of M such that P ?? ?M coincides with X and with ?P, and such that ${P \cup \partial M}$ is a spine of ${M\setminus B}$ (where B is a ball). In this paper, we will prove that the classical set of moves for standard spines of 3-manifolds (i.e. the MP-move and the V-move) does not suffice to relate to each other any two standard skeleta of a 3-manifold with marked boundary. We will also describe a condition on the 3-manifold with marked boundary that allows to establish whether the generalised set of moves, made up of the MP-move and the L-move, suffices to relate to each other any two standard skeleta of the 3-manifold with marked boundary. For the 3-manifolds with marked boundary that do not fulfil this condition, we give three other moves: the CR-move, the T₁-move and the T₂-move. The first one is local and, with the MP-move and the L-move, suffices to relate to each other any two standard skeleta of a 3-manifold with marked boundary fulfilling another condition. For the universal case, we will prove that the non-local T₁-move and T₂-move, with the MP-move and the L-move, suffice to relate to each other any two standard skeleta of a generic 3-manifold with marked boundary. As a corollary, we will get that disc-replacements suffice to relate to each other any two standard skeleta of a 3-manifold with marked boundary.     

Hyperbolic 3-manifolds as cyclic branched coverings

There is an extensive literature on the characterization of knots in the 3-sphere which have the same 3-manifold as a common n-fold cyclic branched covering, for some integer . In the present paper, we study the following more general situation. Given two integers m and n, how are knots K ₁ and K ₂ related such that the m-fold cyclic branched covering of K ₁ coincides with the n-fold cyclic branched covering of K ₂. Or, seen from the point of view of 3-manifolds: in how many different ways can a given 3-manifold occur as a cyclic branched covering of knots in S ³. Under certain hypotheses, we solve this problem for the basic class of hyperbolic 3-manifolds and hyperbolic knots (the other basic class is that of Seifert fiber spaces resp. of torus and Montesinos knots for which the situation is well understood; the general case can then be analyzed using the equivariant sphere and torus decomposition into Seifert fiber spaces and hyperbolic manifolds). Received: December 7, 1999; revised version: May 22, 2000     

Three-manifolds with Heegaard genus at most two represented by crystallisations with at most 42 vertices

It is known that every closed compact orientable 3-manifold M can be represented by a 4-edge-coloured 4-valent graph called a crystallisation of M. Casali and Grasselli proved that 3-manifolds of Heegaard genus g can be represented by crystallisations with a very simple structure which can be described by a 2(g+1)-tuple of non-negative integers. The sum of first g+1 integers is called complexity of the admissible 2(g+1)-tuple. If c is the complexity then the number of vertices of the associated graph is 2c. In the present paper we describe all prime 3-manifolds of Heegaard genus two described by 6-tuples of complexity at most 21.     

Stabilizing and destabilizing Heegaard splittings of sufficiently complicated 3-manifolds

Let M ₁ and M ₂ be compact, orientable 3-manifolds with incompressible boundary, and M the manifold obtained by gluing with a homeomorphism ${\phi : {\partial}M_1 \to {\partial}M_2}$ . We analyze the relationship between the sets of low genus Heegaard splittings of M ₁, M ₂, and M, assuming the map ${\phi}$ is “sufficiently complicated”. This analysis yields counter-examples to the Stabilization Conjecture, a resolution of the higher genus analogue of a conjecture of Gordon, and a result about the uniqueness of expressions of Heegaard splittings as amalgamations.     

Deformations of circle-valued Morse functions on surfaces

Let M be a smooth connected orientable compact surface and let F_cov ( M,S¹ ) {\mathcal{F}_{{\rm cov} }}\left( {M,{S^1}} \right) be a space of all Morse functions f : M → S ¹ without critical points on ∂M such that, for any connected component V of ∂M, the restriction f : V → S ¹ is either a constant map or a covering map. The space F_cov ( M,S¹ ) {\mathcal{F}_{{\rm cov} }}\left( {M,{S^1}} \right) is endowed with the C ^∞-topology. We present the classification of connected components of the space F_cov ( M,S¹ ) {\mathcal{F}_{{\rm cov} }}\left( {M,{S^1}} \right) . This result generalizes the results obtained by Matveev, Sharko, and the author for the case of Morse functions locally constant on ∂M.     

On the structure of a Morse form foliation

The foliation of a Morse form ω on a closed manifold M is considered. Its maximal components (cylinders formed by compact leaves) form the foliation graph; the cycle rank of this graph is calculated. The number of minimal and maximal components is estimated in terms of characteristics of M and ω. Conditions for the presence of minimal components and homologically non-trivial compact leaves are given in terms of rk ω and Sing ω. The set of the ranks of all forms defining a given foliation without minimal components is described. It is shown that if ω has more centers than conic singularities then b ₁(M) = 0 and thus the foliation has no minimal components and homologically non-trivial compact leaves, its folitation graph being a tree.      

Conjugations on 6-manifolds with free integral cohomology

In this article, we show the existence of conjugations on many smooth simply-connected spin 6-manifolds with free integral cohomology. In a certain class the only condition on X ⁶ to admit a conjugation with fixed point set M ³ is the obvious one: the existence of a degree-halving ring isomorphism between the \mathbb Z₂{\mathbb Z_2}-cohomologies of X and M. As a consequence certain 6-manifolds, for which Puppe (J Fixed Point Theory Appl 2(1):85–96, 2007) proved the non-existence of non-trivial orientation-preserving finite group actions, do admit many involutions.     

Divergence in 3-manifold groups

The divergence of the fundamental group of compact irreducible 3-manifolds satisfying Thurston's geometrization conjecture is calculated. For every closed Haken 3-manifold group, the divergence is either linear, quadratic or exponential, where quadratic divergence occurs precisely for graph manifolds and exponential divergence occurs when a geometric piece has hyperbolic geometry. An example is given of a closed 3-manifoldN with a Riemannian metric of nonpositive curvature such that the divergence is quadratic and such that there are two geodesic rays in the universal coverN whose divergence is precisely quadratic, settling in the negative a question of Gromov's.Partially supported by NSF grant DMS-9200433.     

On commutators of equivariant homeomorphisms

The long-standing problem of the perfectness of the compactly supported equivariant homeomorphism group on a G-manifold (with one orbit type) is solved in the affirmative. The proof is based on an argument different than that for the case of diffeomorphisms. The theorem is a starting point for computing H₁(HG(M)) for more complicated G-manifolds.     

Every surface is a leaf

FOR EACH integer n≥3, there are open, connected n-manifolds that cannot be realized as leaves in any compact, C⁰-foliated (n+1)-manifold [8] (for the C² case, cf. [10]). For n=2, the corresponding question has been thought to be hard. Here we give a proof, announced in [7], that all open surfaces are realizable. This answers a basic question posed in [14].In the following, L denotes an open, connected 2-manifold, M a closed, connected 3-manifold.     

Certain 4-manifolds with non-negative sectional curvature

In this paper, we study certain compact 4-manifolds with non-negative sectional curvature K. If s is the scalar curvature and W. is the self-dual part of Weyl tensor, then it will be shown that there is no metric g on S ^• × S ^• with both (i) K > 0 and (ii) ÷ s − W _• ⩾ 0. We also investigate other aspects of 4-manifolds with non-negative sectional curvature. One of our results implies a theorem of Hamilton: “If a simply-connected, closed 4-manifold M^• admits a metric g of non-negative curvature operator, then M^• is one of S^•, ℂP^• and S^•×S^•”. Our method is different from Hamilton’s and is much simpler. A new version of the second variational formula for minimal surfaces in 4-manifolds is proved.      

Generalized Cn-Manifolds

This paper proves an important topological characterization of C-manifolds and especially of arbitrary finite dimensional Cⁿ-manifolds and arbitrary C∞-BANACH manifolds. Whereas differentiability structures in the usual sense may be proper classes this characterization always enables a definition of differentiability structures as sets. Further this characterization suggests a suitable generalization of the notion of differentiable manifold which we call Cⁿ-manifold. C ⁿ-manifolds have a lot of better properties than Cⁿ-manifolds and may be useful therefore in physics and technics. Some examples of C ⁿ-manifolds are given in the last two sections defined by means of certain geometric structures.     

Regularity of volume-minimizing flows on 3-manifolds

In Johnson and Smith (Indiana Univ Math J 44:45–85, 1995; Ann Global Anal Geometry 30:239–287, 2006; Proceedings of the VII International Colloquium on Differential Geometry, 1994, World Scientific, pp. 81–98), the authors characterized the singular set (discontinuities of the graph) of a volume-minimizing rectifiable section of a fiber bundle, showing that, except under certain circumstances, there exists a volume-minimizing rectifiable section with the singular set lying over a codimension-3 set in the base space. In particular, it was shown that for 2-sphere bundles over 3-manifolds, a minimizer exists with a discrete set of singular points. In this article, we show that for a 2-sphere bundle over a compact 3-manifold, such a singular point cannot exist. As a corollary, for any compact 3-manifold, there is a C ¹ volume-minimizing one-dimensional foliation. In addition, this same analysis is used to show that the examples, due to Pedersen (Trans Am Math Soc 336:69–78, 1993), of potentially volume-minimizing rectifiable sections (rectifiable foliations) of the unit tangent bundle to S ²ⁿ⁺¹ are not, in fact, volume minimizing.      

Cobordism of immersions of surfaces¶in non-orientable 3-manifolds

Some properties of non-orientable 3-manifolds are shown. In particular, for a connected, non-orientable 3-manifold M, the group of cobordism clases of immersions of surfaces in M is isomorphic to a group structure on the set H ₂(M,Z/2Z)×H ₁(M,Z/2Z)×Z/2Z. Received: 8 June 2000 / Revised version: 2 October 2000     

A Simple Proof of Perelman’s Collapsing Theorem for 3-manifolds

We will simplify earlier proofs of Perelman’s collapsing theorem for 3-manifolds given by Shioya–Yamaguchi (J. Differ. Geom. 56:1–66, 2000; Math. Ann. 333: 131–155, 2005) and Morgan–Tian ( [math.DG], 2008). A version of Perelman’s collapsing theorem states: “Let {M³_i}\{M^{3}_{i}\} be a sequence of compact Riemannian 3-manifolds with curvature bounded from below by (−1) and $\mathrm{diam}(M^{3}_{i})\ge c_{0}>0$\mathrm{diam}(M^{3}_{i})\ge c_{0}>0 . Suppose that all unit metric balls in M³_iM^{3}_{i} have very small volume, at most v _i →0 as i→∞, and suppose that either M³_iM^{3}_{i} is closed or has possibly convex incompressible toral boundary. Then M³_iM^{3}_{i} must be a graph manifold for sufficiently large i”. This result can be viewed as an extension of the implicit function theorem. Among other things, we apply Perelman’s critical point theory (i.e., multiple conic singularity theory and his fibration theory) to Alexandrov spaces to construct the desired local Seifert fibration structure on collapsed 3-manifolds.     

Contact structures on product five-manifolds and fibre sums along circles

Two constructions of contact manifolds are presented: (i) products of S ¹ with manifolds admitting a suitable decomposition into two exact symplectic pieces and (ii) fibre connected sums along isotropic circles. Baykur has found a decomposition as required for (i) for all closed, oriented 4-manifolds. As a corollary, we can show that all closed, oriented 5-manifolds that are Cartesian products of lower-dimensional manifolds carry a contact structure. For symplectic 4-manifolds we exhibit an alternative construction of such a decomposition; this gives us control over the homotopy type of the corresponding contact structure. In particular, we prove that \mathbb CP²×S¹{{\mathbb {CP}}^2\times S^1} admits a contact structure in every homotopy class of almost contact structures. The existence of contact structures is also established for a large class of 5-manifolds with fundamental group \mathbbZ₂{{\mathbb{Z}}_2} .