We present a short proof of the following Pontryagin theorem, whose original proof was complicated and has never been published in details: {\bf Theorem.} Let $M$ be a connected oriented closed smooth 3-manifold. Let $L_1(M)$ be the set of framed links in $M$ up to a framed cobordism. Let $°:L_1(M)\to H_1(M;\Z)$ be the map taking a framed link to its homology class. Then for each $α\in H_1(M;\Z)$ there is a 1-1 correspondence between the set $°\nolimits^{-1}α$ and the group $\Bbb Z_{2d(α)}$, where $d(α)$ is the divisibility of the projection of $α$ to the free part of $H_1(M;\Bbb Z)$.
We give complete geometric invariants of cobordisms of fold maps with oriented singular set and cobordisms of even codimensional fold maps. These invariants are given in terms of cobordisms of stably framed manifolds and cobordisms of immersions with prescribed normal bundles defined by the author in his earlier works.
We prove that no $14$-connected (resp. $30$-connected) stably parallelizable manifold $N^{30}$ (resp. $N^{62}$) of dimension $30$ (resp. $62$) with the Arf-Kervaire invariant 1 can be smoothly embedded into $\mathbb{R}^{36}$ (resp. $\mathbb{R}^{83}$).
We discuss the relationship between the m-th homotopy group of the one-point union of r copies of the two-dimensional sphere and the m-th homotopy group of the one-point union of r+1 copies of the Thom space of the oriented two-dimensional universal vector bundle. Using a suitably choosen isomorphism between them a forgetful homomorphism is computed by evaluating on factors of the Hilton splitting.
For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting theorem for the spectrum representing the cohomology theory of fold maps. For even q, the splitting theorem implies that the cobordism group of fold maps to a manifold N is a sum of q/2 cobordism groups of framed immersions to N and a group related to diffeomorphism groups of manifolds of dimension q+1. Similarly, in the case of odd q, the cobordism group of fol…
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.
A theorem of Kirby gives a necessary and sufficient condition for two framed links in S^3 to yield orientation-preserving diffeomorphic results of surgery. Kirby's theorem is an important method for constructing invariants of 3-manifolds. In this paper, we prove a variant of Kirby's theorem for null-homologous framed links in a 3-manifold. This result involves a new kind of moves, called IHX-moves, which are closely related to the IHX relation in the theory of finite type invariants. When the first homology group of M is free abelian, we give a refinement of this result to \pm1-framed, algebra…
Kirby proved that two framed links in S^3 give orientation-preserving homeomorphic results of surgery if and only if these two links are related by a sequence of two kinds of moves called stabilizations and handle-slides. Fenn and Rourke gave a necessary and sufficient condition for two framed links in a closed, oriented 3-manifold to be related by a finite sequence of these moves. The purpose of this paper is twofold. We first give a generalization of Fenn and Rourke's result to 3-manifolds with boundary. Then we apply this result to the case of framed links whose components are null-homotopi…
We construct an infinite family of homology theories of framed links in thickened surfaces, as well as a homology theory whose graded Euler characteristic is exactly the Kauffman bracket of the link in the surface. Both theories are based on ideas coming from Asaeda, Przytycki and Sikora's categorification of the Kauffman bracket skein module of I-bundles over surfaces. This is accomplished by borrowing ideas from Bar-Natan's Khovanov homology theory for tangles and cobordisms and using embedded surfaces to generate the chain groups, instead of diagrams.
We study framed links in irreducible 3-manifolds that are $Z$-homology 3-spheres or atoroidal $Q$-homology 3-spheres. We calculate the dual of the Kauffman skein module over the ring of two variable power series with complex coefficients. For links in $S^3$ we give a new construction of the classical Kauffman polynomial.
We show that for a large class of contact 3-manifolds the groups of Vassiliev invariants of Legendrian and of framed knots are canonically isomorphic. As a corollary, we obtain that the group of finite order Arnold's $J^+$-type invariants of wave fronts on a surface $F$ is isomorphic to the group of Vassiliev invariants of framed knots in the spherical cotangent bundle $ST^*F$ of $F$. On the other hand we construct the first examples of contact manifolds for which Vassiliev invariants of Legendrian knots can distinguish Legendrian knots that realize isotopic framed knots and are homotopic as L…
We use topological surgery in dimension four to give sufficient conditions for the zero framed surgery manifold of a 3-component link to be homology cobordant to the 3-torus, which arises from zero framed surgery on the Borromean rings, via a topological homology cobordism preserving the homotopy classes of the meridians. This enables us to give new examples of 3-component links with unknotted components and vanishing pairwise linking numbers, such that any two of these links have homology cobordant zero surgeries in the above sense, but the zero surgery manifolds are not homeomorphic. Moreove…
We provide combinatorial realizations, according to the usual objects/moves scheme, of the following three topological categories: (1) pairs (M,v) where M is a 3-manifold (up to diffeomorphism) and v is a (non-singular vector) field, up to homotopy; here possibly the boundary of M is non-empty and v may be tangent to the boundary, but only in a concave fashion, and homotopy should preserve tangency type; (2) framed links L in M, up to framed isotopy; (3) triples (M,v,L), with (M,v) as above and L transversal to v, up to pseudo-Legendrian isotopy (transversality-preserving simultaneous homotopy…
Given an special type of triangulation $T$ for an oriented closed 3-manifold $M^3$ we produce a framed link in $S^3$ which induces the same $M^3$ by an algorithm of complexity $O(n^2)$ where $n$ is the number of tetrahedra in $T$ . The special class is formed by the duals of the {\em solvable gems}. These are in practice computationaly easy to obtain from any triangulation for $M^3$. The conjecture that each closed oriented 3-manifold is induced by a solvable gem has been verified in an exhaustible way for manifolds induced by gems with few vertices. Our algorithm produces framed link presenta…
We introduce and define "oriented framed measured lamination links" in a 3-manifold $M$. These generalize oriented framed links in 3-manifolds, and are confined to 2-dimensional improperly embedded subsurfaces of the 3-manifold. Just as some framed links bound Seifert surfaces, so also some framed lamination links bound 2-dimensional measured and oriented "Seifert laminations." We show that any lamination link which bounds a 2-dimensional Seifert lamination, bounds a "taut" Seifert lamination, i.e. one of maximum Euler characteristic, subject to the condition that the Seifert lamination is car…
For any three-manifold presented as surgery on a framed link (L,Λ) in an integral homology sphere, Manolescu and Ozsváth construct a hypercube of chain complexes whose homology calculates the Heegaard Floer homology of Λ-framed surgery on Y. This carries a natural filtration that exists on any hypercube of chain complexes; we study the E_2 page of the associated spectral sequence, called Framed Floer homology. One purpose of this paper is to show that Framed Floer homology is an invariant of oriented framed links, but not an invariant of the surgered manifold. We discuss how this relates to an…
Mathematical Science Research Center Chongqing University of Technology（重庆理工大学数学科学研究中心）；Department of Mathematics, University of Arizona（亚利桑那大学数学系）；Department of Mathematics Zhejiang Normal University（浙江师范大学数学系）
This is part 2 of a 3-part article where we provide an $O(n^2)$-algorithm to produce a surgery presentation of a 3-manifold induced by a gem with a resolution. In this part we produce a sequence of colored simplicial 2-complexes which are inverses and dual to the sequence of gems produced in the first part. The refinements of the DPL-faces that keep appearing are idempotent: the second refinement of a DPL-face is isomorphic to its first refinement. This fact inhibits exponentiability.
The number $|K|$ of non-isotopic framed knots that correspond to a given unframed knot $K\subset S^3$ is infinite. This follows from the existence of the self-linking number $\slk$ of a zerohomologous framed knot. We use the approach of Vassiliev-Goussarov invariants to construct ``affine self-linking numbers'' that are extensions of $\slk$ to the case of nonzerohomologous framed knots. As a corollary we get that $|K|=\infty$ for all knots in an oriented (not necessarily compact) 3-manifold $M$ that is not realizable as a connected sum $(S^1\times S^2) # M'$. This result for compact manifolds …
We produce a facial state sum on plane diagrams of a knot or a link which admits an invariant specialization under Polyak's recent set of generating of 4 Reidemeister moves. Thus an isotopy invariant of framed links is obtained. Each state is a complete coloring of the faces of the diagram into white and black faces so that no two black faces share an edge. Each state induces a monomial in a ring of 16 variables. The sum of the states, properly specialized defines the new invariant. In despite of its simplicity it complements Jones invariant in distinguishing mirror pairs of links. In particul…
Simple crystallizations are edge-coloured graphs representing PL 4-manifolds with the property that the 1-skeleton of the associated triangulation equals the 1-skeleton of a 4-simplex. In the present paper, we prove that any (simply-connected) PL $4$-manifold $M$ admitting a simple crystallization admits a special handlebody decomposition, too; equivalently, $M$ may be represented by a framed link yielding $\mathbb S^3$, with exactly $β_2(M)$ components ($β_2(M)$ being the second Betti number of $M$). As a consequence, the regular genus of $M$ is proved to be the double of $β_2(M)$. Moreover, …
We construct a new type of quantum invariant of closed framed $3$-manifolds with the vanishing first Betti number. The invariant is defined for any finite dimensional Hopf algebra, such as small quantum groups, and is based on ideal triangulations. We use the canonical element of the Heisenberg double, which satisfies a pentagon equation, and graphical representations of $3$-manifolds introduced by R. Benedetti and C. Petronio. The construction is simple and easy to be understood intuitively; the pentagon equation reflects the Pachner $(2,3)$ move of ideal triangulations and the non-involutive…
In this paper we introduce two theories of finite type invariants for framed links with fixed linking matrix. We show that these thepries are related to the theory of Vassiliev invariants of framed links. We also study the corresponding spaces of ``chord diagrams''.
We show that for a big class of contact manifolds the groups of order $\leq n$ invariants (with values in an arbitrary Abelian group) of Legendrian, of transverse and of framed knots are canonically isomorphic. On the other hand for an arbitrary cooriented contact structure on $S^1\times S^2$ with the nonzero Euler class of the contact bundle we construct examples of Legendrian homotopic Legendrian knots $K_1$ and $K_2$ such that they realize isotopic framed knots but can be distinguished by finite order invariants of Legendrian knots in $S^1\times S^2$. We construct similar examples for a big…
We generalize H. Seifert's algorithm for finding a Seifert surface for a knot or link. The generalization applies to "framed oriented measured lamination links." For knots, a Seifert surface determines a unique framing. In our setting, we analyze the set of framed lamination links which bound Seifert laminations and are carried by an $S^1$-fibered tube neighborhood of an oriented train track embedded in a 3-manifold.
The ribbon cocycle invariant is defined by means of a partition function using ternary cohomology of self-distributive structures (TSD) and colorings of ribbon diagrams of a framed link, following the same paradigm introduced by Carter, Jelsovsky, Kamada, Langfor and Saito in Transactions of the American Mathematical Society 2003;355(10):3947-89, for the quandle cocycle invariant. In this article we show that the ribbon cocycle invariant is a quantum invariant. We do so by constructing a ribbon category from a TSD set whose twisting and braiding morphisms entail a given TSD $2$-cocycle. Then w…
In view of the result of Kontsevich, now often called ``the fundamental theorem of Vassiliev theory'', identifying the graded dual of the associated graded vector space to the space of Vassiliev invariants filtered by degree with the linear span of chord diagrams modulo the ``4T-relation'' (and in the unframed case, the ``1T-'' or ``isolated chord relation''), it is a problem of some interest to provide a basis for the space of chord diagrams modulo the 4T-relation. We construct the basis for the vector space spanned by chord diagrams with n chords and m distinguishable link components, modulo…
Given a null-cobordant oriented framed link $L$ in a closed oriented $3$--manifold $M$, we determine those links in $M \setminus L$ which can be realized as the singular point set of a generic map $M \to \mathbb{R}^2$ that has $L$ as an oriented framed regular fiber. Then, we study the linking behavior between the singular point set and regular fibers for generic maps of $M$ into $\mathbb{R}^2$.
We compute two-term skein modules of framed oriented links in oriented 3-manifolds. They contain the self-writhe and total linking number invariants of framed oriented links in a universal way. The relations in a natural presentation of the skein module are interpreted as monodromies in the space of immersions from circles to the 3-manifold.
A heap is a set with a certain ternary operation that is self-distributive (TSD) and exemplified by a group with the operation $(x,y,z)\mapsto xy^{-1}z$. We introduce and investigate framed link invariants using heaps. In analogy with the knot group, we define the fundamental heap of framed links using group presentations. The fundamental heap is determined for some classes of links such as certain families of torus and pretzel links. We show that for these families of links there exist epimorphisms from fundamental heaps to Vinberg and Coxeter groups, implying that corresponding groups are in…
It is well-known that for a line bundle over a closed framed manifold, its sphere bundle can also be given the structure of a framed manifold, usually referred to as a transfer. Given a pair of lines, the procedure can be generalized to obtain a double transfer. We study the quaternionic case, and derive a simple formula for the f-invariant of the underlying bordism class, enabling us to investigate its status in the Adams-Novikov spectral sequence. As an application, we treat the situation of quaternionic flag manifolds.
We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, 2-crossed modules and braided crossed modules. We prove that our construction includes all rack and quandle cohomology (framed) link invariants, as well as the Eisermann invariant of knots, for which we also find a lifting by using braided crossed modules.
From a pseudo-triangulation with $n$ tetrahedra $T$ of an arbitrary closed orientable connected 3-manifold (for short, {\em a 3D-space}) $M^3$, we present a gem $J '$, inducing $\IS^3$, with the following characteristics: (a) its number of vertices is O(n); (b) it has a set of $p$ pairwise disjoint couples of vertices $\{u_i,v_i\}$, each named {\em a twistor}; (c) in the dual $(J ')^\star$ of $J '$ a twistor becomes a pair of tetrahedra with an opposite pair of edges in common, and it is named {\em a hinge}; (d) in any embedding of $(J ')^\star \subset \IS^3$, the $ε$-neighborhood of each hing…
We recursively determine the homotopy type of the space of any irreducible framed link in the 3-sphere, modulo rotations. This leads us to the homotopy type of the space of any knot in the solid torus, thus answering a question posed by Arnold. We similarly study spaces of unframed links in the 3-sphere, modulo rotations, and spaces of knots in the thickened torus. The subgroup of meridional rotations splits as a direct factor of the fundamental group of the space of any framed link except the unknot. Its generators can be viewed as generalizations of the Gramain loop in the space of long knot…
A theorem of Kirby states that two framed links in the 3-sphere produce orientation-preserving homeomorphic results of surgery if they are related by a sequence of stabilization and handle-slide moves. The purpose of the present paper is twofold: First, we give a sufficient condition for a sequence of handle-slides on framed links to be able to be replaced with a sequences of algebraically canceling pairs of handle-slides. Then, using the first result, we obtain a refinement of Kirby's calculus for integral homology spheres which involves only +/-1-framed links with zero linking numbers.
We construct a pairing, which we call factorization homology, between framed manifolds and higher categories. The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together with a coherent system of compatibilities of framings along links between strata. Our main result constructs labeling systems on disk-stratified vari-framed $n$-manifolds from $(\infty,n)$-categories. These $(\infty,n)$-categories, in contrast with the literature to date, are not required to have adjoints. This allows the following conceptual definition: the fa…
The study of the Vassiliev invariants of Legendrian knots was started by D. Fuchs and S. Tabachnikov who showed that the groups of complex-valued Vassiliev invariants of Legendrian and of framed knots in the standard contact $R^3$ are canonically isomorphic. Recently we constructed the first examples where Vassiliev invariants of Legendrian and of framed knots are different, and Vassiliev invariants of Legendrian knots distinguish Legendrian knots that are isotopic as framed knots and homotopic as Legendrian immersions. This raised the question what information about Legendrian knots can be ca…
It is well-known that in dimension 4 any framed link $(L,c)$ uniquely represents the PL 4-manifold $M^4(L,c)$ obtained from $\mathbb D^4$ by adding 2-handles along $(L,c)$. Moreover, if trivial dotted components are also allowed (i.e. in case of a Kirby diagram $(L^{(*)},d)$), the associated PL 4-manifold $M^4(L^{(*)},d)$ is obtained from $\mathbb D^4$ by adding 1-handles along the dotted components and 2-handles along the framed components. In this paper we study the relationships between framed links and/or Kirby diagrams and the representation theory of compact PL manifolds by edge-colored …
We define an invariant of tangles and framed tangles given a finite crossed module and a pair of functions, called a Reidemeister pair, satisfying natural properties. We give several examples of Reidemeister pairs derived from racks, quandles, rack and quandle cocycles, and central extensions of groups. We prove that our construction includes all rack and quandle cohomology (framed) link invariants, as well as the Eisermann invariant of knots. We construct a class of Reidemeister pairs which constitute a lifting of the Eisermann invariant, and show through an example that this class is strictl…
This paper describes grope and Whitney tower filtrations on the set of concordance classes of classical links in terms of class and order respectively. Using the tree-valued intersection theory of Whitney towers, the associated graded quotients are shown to be finitely generated abelian groups under a (surprisingly) well-defined connected sum operation. Twisted Whitney towers are also introduced, along with a corresponding quadratic enhancement of the intersection theory for framed Whitney towers that measures Whitney-disk framing obstructions. The obstruction theory in the framed setting is s…
In the present paper, we construct the Khovanov homology theory for virtual links. Besides the direct approach with Z_{2} coefficients we also describe the Khovanov homology for framed links and the Khovanov homology using ``double cover''. The latter two approaches are based on the notion of ``atom''.
Mikhail Khovanov in math.QA/9908171 defined, for a diagram of an oriented classical link, a collection of groups numerated by pairs of integers. These groups were constructed as homology groups of certain chain complexes. The Euler characteristics of these complexes are coefficients of the Jones polynomial of the link. The goal of this note is to rewrite this construction in terms more friendly to topologists. A version of Khovanov homology for framed links is introduced. For framed links whose Kauffman brackets are involved in a skein relation, these homology groups are related by an exact se…
We define a family of formal Khovanov brackets of a colored link depending on two parameters. The isomorphism classes of these brackets are invariants of framed colored links. The Bar-Natan functors applied to these brackets produce Khovanov and Lee homology theories categorifying the colored Jones polynomial. Further, we study conditions under which framed colored link cobordisms induce chain transformations between our formal brackets. We conjecture that, for special choice of parameters, Khovanov and Lee homology theories of colored links are functorial (up to sign). Finally, we extend the …
We show that a closed orientable 3-manifold M admits an action of Z_p with fixed point set S^1 iff M can be obtained as the result of surgery on a p-periodic framed link L and Z_p acts freely on the components of L. We prove a similar theorem for free Z_p-actions. As an interesting application, we prove the following, rather unexpected result: for any M as above and for any odd prime p, H_1(M, Z_p)\ne Z_p. We also prove a similar criterion of 2-periodicity for rational homology 3-spheres.
