Finite type invariants of nanowords and nanophrases

Homotopy classes of nanowords and nanophrases are combinatorial generalizations of virtual knots and links. Goussarov, Polyak and Viro defined finite type invariants for virtual knots and links via semi-virtual crossings. We extend their definition to nanowords and nanophrases. We study finite type invariants of low degrees. In particular, we show that the linking matrix and T invariant defined by Fukunaga are finite type of degree 1 and degree 2 respectively. We also give a finite type invariant of degree 4 for open homotopy of Gauss words.     

Trunks and classifying spaces

Trunks are objects loosely analogous to categories. Like a category, a trunk has vertices and edges (analogous to objects and morphisms), but instead of composition (which can be regarded as given by preferred triangles of morphisms) it has preferred squares of edges. A trunk has a natural cubical nerve, analogous to the simplicial nerve of a category. The classifying space of the trunk is the realisation of this nerve. Trunks are important in the theory of racks [8]. A rackX gives rise to a trunkT (X) which has a single vertex and the setX as set of edges. Therack space BX ofX is the realisation of the nerveNT (X) ofT(X). The connection between the nerve of a trunk and the usual (cubical) nerve of a category determines in particular a natural mapBX BAs(X) whereBAs(X) is the classifying space of the associated group ofX. There is an extension to give a classifying space for an augmented rack, which has a natural map to the loop space of the Brown-Higgins classifying space of the associated crossed module [8, Section 2] and [3].The theory can be used to define invariants of knots and links since any invariant of the rack space of the fundamental rack of a knot or link is ipso facto an invariant of the knot or link.     

Twisted Alexander polynomials of twist knots for nonabelian representations

In this paper, we describe the twisted Alexander polynomial of twist knots for nonabelian SL(2,C)-representations and investigate in detail the coefficient of the highest degree term as a function on the representation space of the knot group. In particular, we introduce the notion of monic representation and discuss its relation to the fiberedness of knots.     

Reidemeister torsion and lens surgeries on knots in homology 3-spheres II

We introduce the norm and the order of a polynomial and of a homology lens space. We calculate the norm of the cyclotomic polynomials, and apply it to lens surgery problem for a knot whose Alexander polynomial is the same as an iterated torus knot.     

Embedding infinite cyclic covers of knot spaces into 3-space

We say a knot k in the 3-sphere S³ has PropertyIE if the infinite cyclic cover of the knot exterior embeds into S³. Clearly all fibred knots have Property IE.There are infinitely many non-fibred knots with Property IE and infinitely many non-fibred knots without property IE. Both kinds of examples are established here for the first time. Indeed we show that if a genus 1 non-fibred knot has Property IE, then its Alexander polynomial Δ_k(t) must be either 1 or 2t²−5t+2, and we give two infinite families of non-fibred genus 1 knots with Property IE and having Δ_k(t)=1 and 2t²−5t+2 respectively.Hence among genus 1 non-fibred knots, no alternating knot has Property IE, and there is only one knot with Property IE up to ten crossings.We also give an obstruction to embedding infinite cyclic covers of a compact 3-manifold into any compact 3-manifold.     

On minimal elements for a partial order of prime knots

In this paper, applying Chebyshev polynomials we give a basic proof of the irreducibility over the complex number field of the defining polynomial of SL₂(C)-character variety of twist knots in infinitely many cases. The irreducibility, combined with a result in the paper of M. Boileau, S. Boyer, A.W. Reid and S. Wang in 2010, shows the minimality of infinitely many twist knots for a partial order on the set of prime knots defined by using surjective group homomorphisms between knot groups. In Appendix B, we also give a straightforward proof of the result of Boileau et al.     

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     

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.     

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

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 one-dimensional embedding complex

We give the first explicit computations of rational homotopy groups of spaces of “long knots” in Euclidean spaces. We define a spectral sequence which converges to these rational homotopy groups whose E¹ term is defined in terms of familiar Lie algebras. For odd k we establish a vanishing line for this spectral sequence, show the Euler characteristic of the rows of this E¹ term is zero, and make calculations of E² in a finite range.     

Grope cobordism of classical knots

Motivated by the lower central series of a group, we define the notion of a grope cobordism between two knots in a 3-manifold. Just like an iterated group commutator, each grope cobordism has a type that can be described by a rooted unitrivalent tree. By filtering these trees in different ways, we show how the Goussarov-Habiro approach to finite type invariants of knots is closely related to our notion of grope cobordism. Thus our results can be viewed as a geometric interpretation of finite type invariants.The derived commutator series of a group also has a three-dimensional analogy, namely knots modulo symmetric grope cobordism. On one hand this theory maps onto the usual Vassiliev theory and on the other hand it maps onto the Cochran-Orr-Teichner filtration of the knot concordance group, via symmetric grope cobordism in 4-space. In particular, the graded theory contains information on finite type invariants (with degree h terms mapping to Vassiliev degree 2^h), Blanchfield forms or S-equivalence at h=2, Casson-Gordon invariants at h=3, and for h=4 one finds the new von Neumann signatures of a knot.     

On the homotopy groups of separable metric spaces

The aim of this paper is to discuss the homotopy properties of locally well-behaved spaces. First, we state a nerve theorem. It gives sufficient conditions under which there is a weak n-equivalence between the nerve of a good cover and its underlying space. Then we conclude that for any (n−1)-connected, locally (n−1)-connected compact metric space X which is also n-semilocally simply connected, the nth homotopy group of X, πn(X), is finitely presented. This result allows us to provide a new proof for a generalization of Shelah?s theorem (Shelah, 1988 [18]) to higher homotopy groups (Ghane and Hamed, 2009 [8]). Also, we clarify the relationship between two homotopy properties of a topological space X, the property of being n-homotopically Hausdorff and the property of being n-semilocally simply connected. Further, we give a way to recognize a nullhomotopic 2-loop in 2-dimensional spaces. This result will involve the concept of generalized dendrite which introduce here. Finally, we prove that each 2-loop is homotopic to a reduced 2-loop.     

Characteristic classes and transversality

Let ξ be a smooth vector bundle over a differentiable manifold M. Let be a generic bundle morphism from the trivial bundle of rank n−i+1 to ξ. We give a geometric construction of the Stiefel-Whitney classes when ξ is a real vector bundle, and of the Chern classes when ξ is a complex vector bundle. Using h we define a differentiable closed manifold and a map whose image is the singular set of h. The ith characteristic class of ξ is the Poincaré dual of the image, under the homomorphism induced in homology by ?, of the fundamental class of the manifold . We extend this definition for vector bundles over a paracompact space, using that the universal bundle is filtered by smooth vector bundles.     

On \pi-hyperbolic knots with the same 2-fold branched coverings

We consider the following problem from the Kirby's list (Problem 3.25): Let K be a knot in and M(K) its 2-fold branched covering space. Describe the equivalence class [K] of K in the set of knots under the equivalence relation if is homeomorphic to . It is known that there exist arbitrarily many different hyperbolic knots with the same 2-fold branched coverings, due to mutation along Conway spheres. Thus the most basic class of knots to investigate are knots which do not admit Conway spheres. In this paper we solve the above problem for knots which do not admit Conway spheres, in the following sense: we give upper bounds for the number of knots in the equivalence class [K] of a knot K and we describe how the different knots in the equivalence class of K are related. Received: 3 August 1998 / in final form: 17 June 1999     

A theory of PWD-structures

A general study is undertaken of product-wedge-diagonal (=PWD) structures on a space. In part this concept may be viewed as arising from G.W. Whitehead's fat-wedge characterization of Lusternik-Schnirelmann category. From another viewpoint PWD-structures occupy a distinguished position among those structures that provide data allowing Hopf invariants to be defined. Indeed the Hopf invariant associated with a PWD-structure is a crucial component of the structure. Our overall theme addresses the basic question of existence of compatible structures on X and Y with regard to a map X→Y. A principal result of the paper uses Hopf invariants to formulate a Berstein-Hilton type result when the space involved is a double mapping cylinder (or homotopy pushout). A decomposition formula for the Hopf invariant (extending previous work of Marcum) is provided in case the space is a topological join U*V that has PWD-structure defined canonically via the join structure in terms of diagonal maps on U and V.     

Intersection Alexander polynomials

By considering a (not necessarily locally-flat) PL knot as the singular locus of a PL stratified pseudomanifold, we can use intersection homology theory to define intersection Alexander polynomials, a generalization of the classical Alexander polynomial invariants for smooth or PL locally-flat knots. We show that the intersection Alexander polynomials satisfy certain duality and normalization conditions analogous to those of ordinary Alexander polynomials, and we explore the relationships between the intersection Alexander polynomials and certain generalizations of the classical Alexander polynomials that are defined for non-locally-flat knots. We also investigate the relations between the intersection Alexander polynomials of a knot and the intersection and classical Alexander polynomials of the link knots around the singular strata. To facilitate some of these investigations, we introduce spectral sequences for the computation of the intersection homology of certain stratified bundles.     

Vassiliev invariants and the Poincaré conjecture

This article examines the relationship between 3-manifold topology and knot invariants of finite type. We prove that in every Whitehead manifold there exist knots that cannot be distinguished by Vassiliev invariants. If, on the other hand, Vassiliev invariants distinguish knots in each homotopy sphere, then the Poincaré conjecture is true (i.e. every homotopy 3-sphere is homeomorphic to the standard 3-sphere).     

Differences of Alexander polynomials for knots caused by a single crossing change

Kondo and Sakai independently gave a characterization of Alexander polynomials for knots which are transformed into the trivial knot by a single crossing change. The first author gave a characterization of Alexander polynomials for knots which are transformed into the trefoil knot (and into the figure-eight knot) by a single crossing change. In this note, we will give a characterization of Alexander polynomials for knots which are transformed into the 10₁₃₂ knot (and into the (5,2)-torus knot) by a single crossing change. Moreover, this method can be applied for knots with monic Alexander polynomials.     

On the quantum filtration of the Khovanov-Rozansky cohomology

We prove the quantum filtration on the Khovanov-Rozansky link cohomology Hp with a general degree (n+1) monic potential polynomial p(x) is invariant under Reidemeister moves, and construct a spectral sequence converging to Hp that is invariant under Reidemeister moves, whose E₁ term is isomorphic to the Khovanov-Rozansky sl(n)-cohomology Hn. Then we define a generalization of the Rasmussen invariant, and study some of its properties. We also discuss relations between upper bounds of the self-linking number of transversal links in standard contact S³.