Immersed essential surfaces and Dehn surgery

It is known that an embedded essential surface F in a hyperbolic manifold M remains essential in Dehn filling spaces M(γ) for most slopes γ on a torus boundary component T of M. The main theorem of this paper is to generalize this result to immersed surfaces. More explicitly, if an immersed essential surface F has coannular slopes β₁,…,β_n on T, then there is a constant K such that F remains essential in M(γ) when Δ(γ,β_i)>K for all i. It will also be shown that all but finitely many Freedman tubings of a geometrically finite surface in M are π₁-injective.     

Rational structure on algebraic tangles and closed incompressible surfaces in the complements of algebraically alternating knots and links

Let F be an incompressible, meridionally incompressible and not boundary-parallel surface with boundary in the complement of an algebraic tangle (B,T). Then F separates the strings of T in B and the boundary slope of F is uniquely determined by (B,T) and hence we can define the slope of the algebraic tangle. In addition to the Conway's tangle sum, we define a natural product of two tangles. The slopes and binary operation on algebraic tangles lead to an algebraic structure which is isomorphic to the rational numbers.We introduce a new knot and link class, algebraically alternating knots and links, roughly speaking which are constructed from alternating knots and links by replacing some crossings with algebraic tangles. We give a necessary and sufficient condition for a closed surface to be incompressible and meridionally incompressible in the complement of an algebraically alternating knot or link K. In particular we show that if K is a knot, then the complement of K does not contain such a surface.     

Exceptional Dehn fillings on hyperbolic 3-manifolds with at least two boundary components

We estimate the number of exceptional slopes for hyperbolic 3-manifolds with a torus boundary component and at least one other boundary component.     

The loop expansion of the Kontsevich integral, the null-move and S-equivalence

The Kontsevich integral of a knot is a graph-valued invariant which (when graded by the Vassiliev degree of graphs) is characterized by a universal property; namely it is a universal Vassiliev invariant of knots. We introduce a second grading of the Kontsevich integral, the Euler degree, and a geometric null-move on the set of knots. We explain the relation of the null-move to S-equivalence, and the relation to the Euler grading of the Kontsevich integral. The null-move leads in a natural way to the introduction of trivalent graphs with beads, and to a conjecture on a rational version of the Kontsevich integral, formulated by the second author and proven in Geom. Top 8 (2004) 115 (see also Kricker, preprint 2000, math/GT.0005284).     

Finite type invariants of cyclic branched covers

Given a knot in an integer homology sphere, one can construct a family of closed 3-manifolds (parameterized by the positive integers), namely the cyclic branched coverings of the knot. In this paper, we give a formula for the Casson-Walker invariants of these 3-manifolds in terms of residues of a rational function (which measures the 2-loop part of the Kontsevich integral of a knot) and the signature function of the knot. Our main result actually computes the LMO invariant of cyclic branched covers in terms of a rational invariant of the knot and its signature function.     

The Thurston norm, fibered manifolds and twisted Alexander polynomials

Every element in the first cohomology group of a 3-manifold is dual to embedded surfaces. The Thurston norm measures the minimal ‘complexity’ of such surfaces. For instance the Thurston norm of a knot complement determines the genus of the knot in the 3-sphere. We show that the degrees of twisted Alexander polynomials give lower bounds on the Thurston norm, generalizing work of McMullen and Turaev. Our bounds attain their most concise form when interpreted as the degrees of the Reidemeister torsion of a certain twisted chain complex. We show that these lower bounds give the correct genus bounds for all knots with 12 crossings or less, including the Conway knot and the Kinoshita-Terasaka knot which have trivial Alexander polynomial.We also give obstructions to fibering 3-manifolds using twisted Alexander polynomials and detect all knots with 12 crossings or less that are not fibered. For some of these it was unknown whether or not they are fibered. Our work in particular extends the fibering obstructions of Cha to the case of closed manifolds.     

Maximal Thurston-Bennequin numbers of alternating links

We show that the upper bound of the maximal Thurston-Bennequin number for an oriented alternating link given by the Kauffman polynomial is sharp. As an application, we confirm a question of Ferrand. We also give a formula of the maximal Thurston-Bennequin number for all two-bridge links. Finally, we introduce knot concordance invariants derived from the Thurston-Bennequin number and the Maslov number of a Legendrian knot.     

Incompressible surfaces in handlebodies and isotopies

It is shown that every properly embedded incompressible surface in a handlebody can be constructed by a canonical gluing process. A simple condition is given which asserts that the result of the gluing process is an incompressible surface. A new notion of isotopy is introduced in order to distinguish surfaces belonging to distinct isotopy classes. Several examples (known and new) are constructed.     

Polynomial invariants and quandles of twisted links

Bourgoin defined the notion of a twisted link which corresponds to a stable equivalence class of links in oriented thickenings. It is a generalization of a virtual link. Some invariants of virtual links are extended for twisted links including the knot group and the Jones polynomial. In this paper, we generalize a multivariable polynomial invariant of a virtual link to a twisted link. We also introduce a quandle of a twisted link.     

Incompressible surfaces in handlebodies and boundary reducible 3-manifolds

We study the existence of incompressible embeddings of surfaces into the genus two handlebody. We show that for every compact surface with boundary, orientable or not, there is an incompressible embedding of the surface into the genus two handlebody. In the orientable case the embedding can be either separating or non-separating. We also consider the case in which the genus two handlebody is replaced by an orientable 3-manifold with a compressible boundary component of genus greater than or equal to two.     

Sections of Serre fibrations with 2-manifold fibers

It was proved by H. Whitney in 1933 that a Serre fibration of compact metric spaces admits a global section provided every fiber is homeomorphic to the unit interval [0,1]. Results of this paper extend Whitney's theorem to the case when all fibers are homeomorphic to a given compact two-dimensional manifold.     

Local sections of Serre fibrations with 3-manifold fibers

It was proved by H. Whitney in 1933 that a Serre fibration of compact metric spaces admits a global section provided every fiber is homeomorphic to the unit interval [0,1]. An extension of the Whitney's theorem to the case when all fibers are homeomorphic to some fixed compact two-dimensional manifold was proved by the authors (Brodsky et al. (2008) [2]). The main result of this paper proves the existence of local sections in a Serre fibration with all fibers homeomorphic to some fixed compact three-dimensional manifold.     

Classifying simple closed curve pairs in the 2-sphere and a generalization of the Schoenflies theorem

A classification theory is developed for pairs of simple closed curves (A,B) in the sphere S², assuming that A∩B has finitely many components. Such a pair of simple closed curves is called an SCC-pair, and two SCC-pairs (A,B) and (A^′,B^′) are equivalent if there is a homeomorphism from S² to itself sending A to A^′ and B to B^′. The simple cases where A and B coincide or A and B are disjoint are easily handled. The component code is defined to provide a classification of all of the other possibilities. The component code is not uniquely determined for a given SCC-pair, but it is straightforward that it is an invariant; i.e., that if (A,B) and (A^′,B^′) are equivalent and C is a component code for (A,B), then C is a component code for (A^′,B^′) as well. It is proved that the component code is a classifying invariant in the sense that if two SCC-pairs have a component code in common, then the SCC-pairs are equivalent. Furthermore code transformations on component codes are defined so that if one component code is known for a particular SCC-pair, then all other component codes for the SCC-pair can be determined via code transformations. This provides a notion of equivalence for component codes; specifically, two component codes are equivalent if there is a code transformation mapping one to the other. The main result of the paper asserts that if C and C^′ are component codes for SCC-pairs (A,B) and (A^′,B^′), respectively, then (A,B) and (A^′,B^′) are equivalent if and only if C and C^′ are equivalent. Finally, a generalization of the Schoenflies theorem to SCC-pairs is presented.     

On the height of 2-component links

Let p be a prime and let L be a 2-component link in S³. We define a numerical invariant, called p-height of L, using a tower of successive p-fold branched cyclic coverings of L, and show, in particular, 2-height is algorithmically determined for any 2-component link. Some relationships between p-height and known link type invariants are also established.     

On the mapping class group of a genus 2 handlebody

A complex of incompressible surfaces in a handlebody is constructed so that it contains, as a subcomplex, the complex of curves of the boundary of the handlebody. For genus 2 handlebodies, the group of automorphisms of this complex is used to characterize the mapping class group of the handlebody. In particular, it is shown that all automorphisms of the complex of incompressible surfaces are geometric, that is, induced by a homeomorphism of the handlebody.     

Branched spines and contact structures on 3-manifolds

We introduce and analyze the characteristic foliation induced by a contact structure on a branched surface, in particular a branched standard spine of a 3-manifold. We extend to (fairly general) singular foliations of branched surfaces the local existence and uniqueness results which hold for genuine surfaces. Moreover we show that global uniqueness holds when restricting to tight structures. We establish branched versions of the elimination lemma. We prove a smooth version of the Gillman-Rolfsen PL-embedding theorem, deducing that branched spines can be used to construct contact structures in a given homotopy class of plane fields. Entrata in Redazione il 6 novembre 1998.     

High distance Heegaard splittings of 3-manifolds

J. Hempel [J. Hempel, 3-manifolds as viewed from the curve complex, Topology 40 (3) (2001) 631-657] used the curve complex associated to the Heegaard surface of a splitting of a 3-manifold to study its complexity. He introduced the distance of a Heegaard splitting as the distance between two subsets of the curve complex associated to the handlebodies. Inspired by a construction of T. Kobayashi [T. Kobayashi, Casson-Gordon's rectangle condition of Heegaard diagrams and incompressible tori in 3-manifolds, Osaka J. Math. 25 (3) (1988) 553-573], J. Hempel [J. Hempel, 3-manifolds as viewed from the curve complex, Topology 40 (3) (2001) 631-657] proved the existence of arbitrarily high distance Heegaard splittings.In this work we explicitly define an infinite sequence of 3-manifolds {Mn} via their representative Heegaard diagrams by iterating a 2-fold Dehn twist operator. Using purely combinatorial techniques we are able to prove that the distance of the Heegaard splitting of Mn is at least n.Moreover, we show that π₁(Mn) surjects onto π₁(Mn−1). Hence, if we assume that M⁰ has nontrivial boundary then it follows that the first Betti number β₁(Mn)>0 for all n?1. Therefore, the sequence {Mn} consists of Haken 3-manifolds for n?1 and hyperbolizable 3-manifolds for n?3.     

Hyperbolic isometries versus symmetries of links

We prove that every finite group is the orientation-preserving isometry group of the complement of a hyperbolic link in the 3-sphere.