The knot coloring polynomial defined by Eisermann for a finite pointed group is generalized to an infinite pointed group as the longitudinal mapping invariant of a knot. In turn this can be thought of as a generalization of the quandle 2-cocycle invariant for finite quandles. If the group is a topological group then this invariant can be thought of a topological generalization of the 2-cocycle invariant. The longitudinal mapping invariant is based on a meridian-longitude pair in the knot group. We also give an interpretation of the invariant in terms of quandle colorings of a 1-tangle for generalized Alexander quandles without use of a meridian-longitude pair in the knot group. The invariant values are concretely evaluated for the torus knots $T(2,n)$, their mirror images, and the figure eight knot for the group $SU(2)$.
This paper aims to consider algebraic structures of quandles defined over a hyperboloid of one sheet and compute the related longitudinal mapping for $SL(2,\mathbb{R})$.
We propose a classification of knots in S^1 x S^2 that admit a longitudinal surgery to a lens space. Any lens space obtainable by longitudinal surgery on some knots in S^1 x S^2 may be obtained from a Berge-Gabai knot in a Heegaard solid torus of S^1 x S^2, as observed by Rasmussen. We show that there are yet two other families of knots: those that lie on the fiber of a genus one fibered knot and the `sporadic' knots. All these knots in S^1 x S^2 are both doubly primitive and spherical braids. This classification arose from generalizing Berge's list of doubly primitive knots in S^3, though we …
We construct a filtered mapping cone formula that computes the knot Floer complex of the $(n,1)$--cable of the knot meridian in any rational surgery, generalizing Truong's result about the $(n,1)$--cable of the knot meridian in large surgery and Hedden-Levine's filtered mapping cone formula. As an application, we show that there exist knots in integer homology spheres with arbitrary $φ_{i,j}$ values for any $i>j\geq 0$, where $φ_{i,j}$ are the concordance homomorphisms defined by Dai-Hom-Stoffregen-Truong.
In this paper we study some consequences of the author's classification of graph manifolds by their profinite fundamental groups. In particular we study commensurability, the behaviour of knots, and relation to mapping classes. We prove that the exteriors of graph knots are distinguished among all 3-manifold groups by their profinite fundamental groups. We also prove a strong conjugacy separability result for certain mapping classes of surfaces.
We develop an algebraic representation for (1,1)-knots using the mapping class group of the twice punctured torus MCG(T,2). We prove that every (1,1)-knot in a lens space L(p,q) can be represented by the composition of an element of a certain rank two free subgroup of MCG(T,2) with a standard element only depending on the ambient space. As a notable examples, we obtain a representation of this type for all torus knots and for all two-bridge knots. Moreover, we give explicit cyclic presentations for the fundamental groups of the cyclic branched coverings of torus knots of type (k,ck+2).
We define new invariants of knots by means of quandle colorings and longitudinal information. These invariants can be applied to a tangle embedding problem and recognizing non-classical virtual knots.
We write down an explicit formula for the $+$ version of the Heegaard Floer homology (as an absolutely graded vector space over an arbitrary field) of the results of Dehn surgery on a knot $K$ in $S^3$ in terms of homological data derived from $CFK^{\infty}(K)$. This allows us to prove some results about Dehn surgery on knots in $S^3$. In particular, we show that for a fixed manifold there are only finitely many alternating knots that can produce it by surgery. This is an improvement on a recent result by Lackenby and Purcell. We also derive a lower bound on the genus of knots depending on the…
It is known that the number of biquandle colorings of a long virtual knot diagram, with a fixed color of the initial arc, is a knot invariant. In this paper we describe a more subtle invariant: a family of biquandle endomorphisms obtained from the set of colorings and longitudinal information.
By a fixed continuous map from a $3$-space to itself, a knot in the $3$-space may be mapped to another knot in the $3$-space. We analyze possible knot types of them. Then we map a knot repeatedly by a fixed continuous map and analyze possible infinite sequences of knot types.
Using the mapping cone of a rational surgery, we give several obstructions for Seifert fibered surgeries, including obstructions on the Alexander polynomial, the knot Floer homology, the surgery coefficient and the Seifert and four-ball genus of the knot.
In earlier work, the authors introduced a conjecture which, for an orientation-preserving diffeomorphism $φ\colon S \to S$ of a surface, connects a certain quantum invariant of $φ$ with the hyperbolic volume of its mapping torus $M_φ$. This article provides a proof of this conjecture in the simplest case where it applies, namely when the surface $S$ is the one-puncture torus and the mapping torus $M_φ$ is the complement of the figure-eight knot.
We study the connections among the mapping class group of the twice punctured torus, the cyclic branched coverings of (1,1)-knots and the cyclic presentations of groups. We give the necessary and sufficient conditions for the existence and uniqueness of the n-fold strongly-cyclic branched coverings of (1,1)-knots, through the elements of the mapping class group. We prove that every n-fold strongly-cyclic branched covering of a (1,1)-knot admits a cyclic presentation for the fundamental group, arising from a Heegaard splitting of genus n. Moreover, we give an algorithm to produce the cyclic pre…
Let M be a closed 3-manifold with a given Heegaard splitting. We show that after a single stabilization, some core of the stabilized splitting has arbitrarily high distance with respect to the splitting surface. This generalizes a result of Minsky, Moriah, and Schleimer for knots in S^3. We also show that in the complex of curves, handlebody sets are either coarsely distinct or identical. We define the coarse mapping class group of a Heeegaard splitting, and show that if (S, V, W) is a Heegaard splitting of genus greater than or equal to 2, then the coarse mapping class group of (S,V,W) is iso…
This work is concerned with the calculation of the fundamental group of torus knots. Torus knots are special types of knots which wind around a torus a number of times in the longitudinal and meridional directions. We compute and describe the fundamental group of torus knots by using some concepts in algebraic topology and group theory. We also calculate the fundamental group of an arbitrary knot by using an algorithm called the Wirtinger presentation.
We determine the center of a meta-nilpotent quotient of a mapping-torus group. As a corollary, we introduce two invariants, which are quadratic forms, of knots and of mapping classes.
Parity mappings from the chords of a Gauss diagram to the integers is defined. The parity of the chords is used to construct families of invariants of Gauss diagrams and virtual knots. One family consists of degree $n$ Vassiliev invariants.
This note explores two questions: (1) Which bigraded groups arise as the knot Floer homology of a knot in the three-sphere? (2) Given a knot, how many distinct knots share its Floer homology? Regarding the first, we show there exist bigraded groups satisfying all previously known constraints of knot Floer homology which do not arise as the invariant of a knot. This leads to a new constraint for knots admitting lens space surgeries, as well as a proof that the rank of knot Floer homology detects the trefoil knot. For the second, we show that any non-trivial band sum of two unknots gives rise to…
In \cite {FrKn,Sbornik} it was shown that in some knot theories the crucial role is played by {\em parity}, i.e.\ a function on crossings valued in $\{0,1\}$ and behaving nicely with respect to Reidemeister moves. Any parity allows one to construct functorial mappings from knots to knots, to refine many invariants and to prove minimality theorems for knots. In the present paper, we generalise the notion of parity and construct parities with coefficients from an abelian group rather than $\mathbb{Z}_2$ and investigate them for different knot theories. For some knot theories we show that there i…
We explain the notion of a grope cobordism between two knots in a 3-manifold. 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. An interesting refinement we study are knots modulo symmetric grope cobordism in 3-space. On one hand this theory maps onto the usual Vassiliev theory and on the other hand it…
We define homotopy-theoretic invariants of knots in prime 3-manifolds. Fix a knot J in a prime 3-manifold M. Call a knot K in M concordant to J if it cobounds a properly embedded annulus with J in MxI, and call K J-characteristic if there is a degree-one map f:M --> M throwing K onto J and mapping M-K to M-J. These invariants are invariants of concordance and of J-characteristicness when f induces the identity on the fundamental group of M, and may be viewed as extensions of Milnor's invariants. We do not require the knots considered here to be rationally null-homologous or framed.
We initiate the study of classical knots through the homotopy class of the n-th evaluation map of the knot, which is the induced map on the compactified n-point configuration space. Sending a knot to its n-th evaluation map realizes the space of knots as a subspace of what we call the n-th 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 computati…
Let K \subset Y be a knot in a three manifold which admits a longitude-framed surgery such that the surgered manifold has first Betti number greater than that of Y. We find a formula which computes the twisted Floer homology of the surgered manifold, in terms of twisted knot Floer homology. Using this, we compute the twisted Heegaard Floer homology \underline{HF}^+ of the mapping torus of a diffeomorphism of a closed Riemann surface whose mapping class is periodic, giving an almost complete description of the structure of these groups. When the mapping class is nontrivial, we find in particula…
This article was submitted to a volume under preparation, with Benson Farb as the editor, on the topic of open problems in surface mapping class groups. The braid group B_n is the mapping class group of an n-times punctured disk. The Iwahori-Hecke algebra H_n is a quotient of the braid group algebra of B_n by a quadratic relation in the standard generators. We discuss how to use H_n to define the Jones polynomial of a knot or link. We also summarize the classification of the irreducible representations of H_n. We conclude with some directions for future research that would apply mapping class …
Let $G$ be a nonabelian, simple group with a nontrivial conjugacy class $C \subseteq G$. Let $K$ be a diagram of an oriented knot in $S^3$, thought of as computational input. We show that for each such $G$ and $C$, the problem of counting homomorphisms $π_1(S^3\setminus K) \to G$ that send meridians of $K$ to $C$ is almost parsimoniously $\mathsf{\#P}$-complete. This work is a sequel to a previous result by the authors that counting homomorphisms from fundamental groups of integer homology 3-spheres to $G$ is almost parsimoniously $\mathsf{\#P}$-complete. Where we previously used mapping class…
Bordered Heegaard Floer homology is a three-manifold invariant which associates to a surface F an algebra A(F) and to a three-manifold Y with boundary identified with F a module over A(F). In this paper, we establish naturality properties of this invariant. Changing the diffeomorphism between F and the boundary of Y tensors the bordered invariant with a suitable bimodule over A(F). These bimodules give an action of a suitably based mapping class group on the category of modules over A(F). The Hochschild homology of such a bimodule is identified with the knot Floer homology of the associated op…
We construct tilting modules over Jacobian algebras arising from knots. To a two-bridge knot $L[a_1,\ldots,a_n]$, we associate a quiver $Q$ with potential and its Jacobian algebra $A$. We construct a family of canonical indecomposable $A$-modules $M(i)$, each supported on a different specific subquiver $Q(i)$ of $Q$. Each of the $M(i)$ is expected to parametrize the Jones polynomial of the knot. We study the direct sum $M=\oplus_iM(i)$ of these indecomposables inside the module category of $A$ as well as in the cluster category. In this paper we consider the special case where the two-bridge k…
Let $K$ be a knot in an integral homology 3-sphere $Y$, and $Σ$ the corresponding $n$-fold cyclic branched cover. Assuming that $Σ$ is a rational homology sphere (which is always the case when $n$ is a prime power), we give a formula for the Lefschetz number of the action that the covering translation induces on the reduced monopole homology of $Σ$. The proof relies on a careful analysis of the Seiberg--Witten equations on 3-orbifolds and of various $η$-invariants. We give several applications of our formula: (1) we calculate the Seiberg--Witten and Furuta--Ohta invariants for the mapping tori…
The central discovery of $2d$ conformal theory was holomorphic factorization, which expressed correlation functions through bilinear combinations of conformal blocks, which are easily cut and joined without a need to sum over the entire huge Hilbert space of states. Somewhat similar, when a link diagram is glued from tangles, the link polynomial is a multilinear combination of {\it tangle blocks} summed over just a few representations of intermediate states. This turns to be a powerful approach because the same tangles appear as constituents of very different knots so that they can be extracte…
