Estimating Matveev's complexity via crystallization theory

In [M.R. Casali, Computing Matveev's complexity of non-orientable 3-manifolds via crystallization theory, Topology Appl. 144(1-3) (2004) 201-209], a graph-theoretical approach to Matveev's complexity computation is introduced, yielding the complete classification of closed non-orientable 3-manifolds up to complexity six. The present paper follows the same point-of view, making use of crystallization theory and related results (see [M. Ferri, Crystallisations of 2-fold branched coverings of S³, Proc. Amer. Math. Soc. 73 (1979) 271-276; M.R. Casali, Coloured knots and coloured graphs representing 3-fold simple coverings of S³, Discrete Math. 137 (1995) 87-98; M.R. Casali, From framed links to crystallizations of bounded 4-manifolds, J. Knot Theory Ramifications 9(4) (2000) 443-458]) in order to significantly improve existing estimations for complexity of both 2-fold and three-fold simple branched coverings (see [O.M. Davydov, The complexity of 2-fold branched coverings of a 3-sphere, Acta Appl. Math. 75 (2003) 51-54] and [O.M. Davydov, Estimating complexity of 3-manifolds as of branched coverings, talk-abstract, Second Russian-German Geometry Meeting dedicated to 90-anniversary of A.D.Alexandrov, Saint-Petersburg, Russia, June 2002]) and 3-manifolds seen as Dehn surgery (see [G. Amendola, An algorithm producing a standard spine of a 3-manifold presented by surgery along a link, Rend. Circ. Mat. Palermo 51 (2002) 179-198]).     

On certain classes of hyperbolic 3-manifolds

We study the topological structure and the homeomorphism problem for closed 3-manifolds M(n,k) obtained by pairwise identifications of faces in the boundary of certain polyhedral 3-balls. We prove that they are (n/d)-fold cyclic coverings of the 3-sphere branched over certain hyperbolic links of d+1 components, where d= (n/k). Then we study the closed 3-manifolds obtained by Dehn surgeries on the components of these links. Received: 27 November 1998 / Accepted: 12 May 1999     

A rational invariant for knot crossings

A rational number-valued invariant is constructed for the crossings of knot projections. The invariant completely determines the signature and (signed) determinant of the knot obtained by changing the crossing. In particular, if the invariant is not 0, then the new knot is distinct from the old one.

     

Determining Knotsw and Links by Cyclic Branched Coverings

It is well known that different knots or links in the 3-sphere can have homeomorphic n-fold cyclic branched coverings. We consider the following problem: for which values of nis a knot of link determined by itsn-fold cyclic branched covering? We consider the class of hyperbolic resp.2π/n-hyperbolic links. The isometry or symmetry groups of such links are finite, and their n-fold branched coverings are hyperbolic 3-manifolds. Our main result states that if ndoes not divide the order of the finite symmetry group of such a link, then the link is determined by its n-fold branched covering. In a sense, the result is best possible; the key argument of its proof is algebraic using some basic result about finite p-groups. The main result applies, for example, to the cyclic branched coverings of the 2-bridge links; in particular, it gives a classification of the maximally symmetricD₆-manifolds which are exactly the 3-fold branched coverings of the 2-bridge links.     

Isotopy invariants for smooth tori in 4-manifolds

In this paper we define invariants under smooth isotopy for certain two-dimensional knots using some refined Cerf theory. One of the invariants is the knot type of some classical knot generalizing the string number of closed braids. The other invariant is a generalization of the unique invariant of degree 1 for classical knots in 3-manifolds. Possibly, these invariants can be used to distinguish smooth embeddings of tori in some 4-manifolds but which are equivalent as topological embeddings.     

New perspectives on self-linking

We initiate the study of classical knots through the homotopy class of the nth evaluation map of the knot, which is the induced map on the compactified n-point configuration space. Sending a knot to its nth evaluation map realizes the space of knots as a subspace of what we call the nth mapping space model for knots. We compute the homotopy types of the first three mapping space models, showing that the third model gives rise to an integer-valued invariant. We realize this invariant in two ways, in terms of collinearities of three or four points on the knot, and give some explicit computations. We show this invariant coincides with the second coefficient of the Conway polynomial, thus giving a new geometric definition of the simplest finite-type invariant. Finally, using this geometric definition, we give some new applications of this invariant relating to quadrisecants in the knot and to complexity of polygonal and polynomial realizations of a knot.     

Representing links in 3-manifolds¶ by branched coverings of S3

We introduce a planar coloured-diagram representation of links in 3-manifolds given as branched coverings of the 3-sphere. We also prove an equivalence theorem based on local moves and the existence of a universal configuration for such representation. As an application we give unified proofs of two different results on existence of fibered links in 3-manifolds. Received: 7 April 1997     

The Chern-Simons Invariants of Hyperbolic Manifolds Via Covering Spaces

One important invariant of a closed Riemannian 3-manifold isthe Chern–Simons invariant [1]. The concept was generalizedto hyperbolic 3-manifolds with cusps in [11], and to geometric(spherical, euclidean or hyperbolic) 3-orbifolds, as particularcases of geometric cone-manifolds, in [7]. In this paper, westudy the behaviour of this generalized invariant under changeof orientation, and we give a method to compute it for hyperbolic3-manifolds using virtually regular coverings [10]. We confineourselves to virtually regular coverings because a coveringof a geometric orbifold is a geometric manifold if and onlyif the covering is a virtually regular covering of the underlyingspace of the orbifold, branched over the singular locus. Thereforeour work is the most general for the applications in mind; namely,computing volumes and Chern–Simons invariants of hyperbolicmanifolds, using the computations for cone-manifolds for whicha convenient Schläfli formula holds (see [7]). Among otherresults, we prove that every hyperbolic manifold obtained asa virtually regular covering of a figure-eight knot hyperbolicorbifold has rational Chern–Simons invariant. We giveexplicit examples with computations of volumes and Chern–Simonsinvariants for some hyperbolic 3-manifolds, to show the efficiencyof our method. We also give examples of different hyperbolicmanifolds with the same volume, whose Chern–Simons invariants(mod ) differ by a rational number, as well as pairs of differenthyperbolic manifolds with the same volume and the same Chern–Simonsinvariant (mod ). (Examples of this type were also obtainedin [12] and [9], but using mutation and surgery techniques,respectively, instead of coverings as we do here.) 1991 MathematicsSubject Classification 57M50, 51M10, 51M25.     

The LMO-invariant of 3-manifolds of rank one and the Alexander polynomial

We prove that the LMO-invariant of a 3-manifold of rank one is determined by the Alexander polynomial of the manifold, and conversely, that the Alexander polynomial is determined by the LMO-invariant. Furthermore, we show that the Alexander polynomial of a null-homologous knot in a rational homology 3-sphere can be obtained by composing the weight system of the Alexander polynomial with the ?rhus invariant of knots. Received February 14, 2000 / Published online October 11, 2000     

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.     

On the knot complement problem for non-hyperbolic knots

This paper explicitly provides two exhaustive and infinite families of pairs (M,k), where M is a lens space and k is a non-hyperbolic knot in M, which produces a manifold homeomorphic to M, by a non-trivial Dehn surgery. Then, we observe the uniqueness of such knot in such lens space, the uniqueness of the slope, and that there is no preserving homeomorphism between the initial and the final M's. We obtain further that Seifert fibered knots, except for the axes, and satellite knots are determined by their complements in lens spaces. An easy application shows that non-hyperbolic knots are determined by their complement in atoroidal and irreducible Seifert fibered 3-manifolds.     

Turaev torsion invariants of 3-orbifolds

We construct a combinatorial invariant of 3-orbifolds with singular set a link that generalizes the Turaev torsion invariant of 3-manifolds. We give several gluing formulas from which we derive two consequences. The first is an understanding of how the components of the invariant change when we remove a curve from the singular set. The second is a formula relating the invariant of the 3-orbifold to the Turaev torsion invariant of the underlying 3-manifold in the case when the singular set is a nullhomologous knot.     

Reidemeister–Turaev torsion of 3-dimensional¶Euler structures with simple boundary tangency¶and pseudo-Legendrian knots

We generalize Turaev's definition of torsion invariants of pairs (M,&\xi;), where M is a 3-dimensional manifold and &\xi; is an Euler structure on M (a non-singular vector field up to homotopy relative to ∂M and modifications supported in a ball contained in Int(M)). Namely, we allow M to have arbitrary boundary and &\xi; to have simple (convex and/or concave) tangency circles to the boundary. We prove that Turaev's H ₁(M)-equivariance formula holds also in our generalized context. Using branched standard spines to encode vector fields we show how to explicitly invert Turaev's reconstruction map from combinatorial to smooth Euler structures, thus making the computation of torsions a more effective one. Euler structures of the sort we consider naturally arise in the study of pseudo-Legendrian knots (i.e.~knots transversal to a given vector field), and hence of Legendrian knots in contact 3-manifolds. We show that torsion, as an absolute invariant, contains a lifting to pseudo-Legendrian knots of the classical Alexander invariant. We also precisely analyze the information carried by torsion as a relative invariant of pseudo-Legendrian knots which are framed-isotopic. Received: 3 October 2000 / Revised version: 20 April 2001     

Computing the Thurston–Bennequin invariant in open books

We give explicit formulas and algorithms for the computation of the Thurston–Bennequin invariant of a nullhomologous Legendrian knot on a page of a contact open book and on Heegaard surfaces in convex position. Furthermore, we extend the results to rationally nullhomologous knots in arbitrary 3-manifolds.     

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).     

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.     

Inequivalent surface-knots with the same knot quandle

We have a knot quandle and a fundamental class as invariants for a surface-knot. These invariants can be defined for a classical knot in a similar way, and it is known that the pair of them is a complete invariant for classical knots. In surface-knot theory the situation is different: There exist arbitrarily many inequivalent surface-knots of genus g with the same knot quandle, and there exist two inequivalent surface-knots of genus g with the same knot quandle and with the same fundamental class.     

A distance for diagrams of a knot

We introduce a distance for diagrams of an oriented knot by using Reidemeister moves linking the diagrams and we give evaluations of the distance. Furthermore, we apply the distance to construct a knot invariant.     

Heegaard splittings of twisted torus knots

Little is known on the classification of Heegaard splittings for hyperbolic 3-manifolds. Although Kobayashi gave a complete classification of Heegaard splittings for the exteriors of 2-bridge knots, our knowledge of other classes is extremely limited. In particular, there are very few hyperbolic manifolds that are known to have a unique minimal genus splitting. Here we demonstrate that an infinite class of hyperbolic knot exteriors, namely exteriors of certain “twisted torus knots” originally studied by Morimoto, Sakuma and Yokota, have a unique minimal genus Heegaard splitting of genus two. We also conjecture that these manifolds possess irreducible yet weakly reducible splittings of genus three. There are no known examples of such Heegaard splittings.     

The Neumann-Siebenmann invariant and Seifert surgery

We discuss some relations between the invariant originated in Fukumoto-Furuta and the Neumann-Siebenmann invariant for the Seifert rational homology 3-spheres. We give certain constraints on Seifert 3-manifolds to be obtained by surgery on knots in homology 3-spheres in terms of these invariants.Mathematics Subject Classification (2000): 57M27, 57N13, 57N10Dedicated to Professor Yukio Matsumoto for his 60^th birthday