Let $D$ be a cellular alternating link diagram on a closed orientable surface $Σ$. We prove that if $D$ has no removable nugatory crossings then each checkerboard surface from $D$ is $π_1$-essential and contains no essential closed curve that is $\partial$-parallel in $Σ\times I$. Our chief motivation comes from technical aspects of a companion paper, where we prove that Tait's flyping conjecture holds for alternating virtual links. We also describe possible applications via Turaev surfaces.
We discuss links in thickened surfaces. We define the Khovanov-Lipshitz-Sarkar stable homotopy type and the Steenrod square for the homotopical Khovanov homology of links in thickened surfaces with genus$>1$. A surface means a closed oriented surface unless otherwise stated. Of course, a surface may or may not be the sphere. A thickened surface means a product manifold of a surface and the interval. A link in a thickened surface (respectively, a 3-manifold) means a submanifold of a thickened surface (respectively, a 3-manifold) which is diffeomorphic to a disjoint collection of circles. Our Kh…
A group invariant for links in thickened closed orientable surfaces is studied. Associated polynomial invariants are defined. The group detects nontriviality of a virtual link and determines its virtual genus.
Menasco showed that a closed surface in the complement of a non-split prime alternating link in $S^3$ contains a circle isotopic in the link complement to a meridian of the links. This result is known as the meridian lemma for alternating links. We give a meridian lemma for the class of fully alternating links in the thickened orientable surfaces of positive genus.
For a hyperbolic link K in the thickened torus with no bigons, we show that there is a decomposition of the complement of a link L, obtained from augmenting K, into torihedra. We further decompose the torihedra into angled pyramids and finally angled tetrahedra. These fit into an angled structure on a triangulation of the link complement, and thus by [5], this shows that L is hyperbolic.
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.
Menasco showed that a non-split, prime, alternating link that is not a 2-braid is hyperbolic in $S^3$. We prove a similar result for links in closed thickened surfaces $S \times I$. We define a link to be fully alternating if it has an alternating projection from $S\times I$ to $S$ where the interior of every complementary region is an open disk. We show that a prime, fully alternating link in $S\times I$ is hyperbolic. Similar to Menasco, we also give an easy way to determine primeness in $S\times I$. A fully alternating link is prime in $S\times I$ if and only if it is "obviously prime". Fur…
Using the Gordon-Litherland pairing, one can define invariants (signature, nullity, determinant) for ${\mathbb Z}/2$ null-homologous links in thickened surfaces. In this paper, we study the concordance properties of these invariants. For example, if $K \subset Σ\times I$ is ${\mathbb Z}/2$ null-homologous and slice, we show that its signatures vanish and its determinants are perfect squares. These statements are derived from a cobordism result for closed unoriented surfaces in certain 4-manifolds. The Brown invariants are defined for ${\mathbb Z}/2$ null-homologous links in thickened surfaces.…
Two link diagrams on compact surfaces are strongly equivalent if they are related by Reidemeister moves and orientation preserving homeomorphisms of the surfaces. They are stably equivalent if they are related by the two previous operations and adding or removing handles. Turaev and Turner constructed a link homology for each stable equivalence class by applying an unoriented topological quantum field theory (TQFT) to a geometric chain complex similar to Bar-Natan's one. In this paper, by using an unoriented homotopy quantum field theory (HQFT), we construct a link homology for each strong equ…
We extend the Gordon-Litherland pairing to links in thickened surfaces, and use it to define signature, determinant, and nullity invariants for links that bound (unoriented) spanning surfaces. The invariants are seen to depend only on the $S^*$-equivalence class of the spanning surface. We prove a duality result relating the invariants from one $S^*$-equivalence class of spanning surfaces to the restricted invariants of the other. Using Kuperberg's theorem, these invariants give rise to well-defined invariants of checkerboard colorable virtual links. The determinants can be applied to determin…
We define a variant of Khovanov homology for links in thickened disks with multiple punctures. This theory is distinct from the one previously defined by Asaeda, Przytycki, and Sikora, but is related to it by a spectral sequence. Additionally, we show that there are spectral sequences induced by embeddings of thickened surfaces, which recover the spectral sequence from annular Khovanov homology to Khovanov homology as a special case.
We prove a Kauffman-Murasugi-Thistlethwaite theorem for alternating links in thickened surfaces. It states that any reduced alternating diagram of a link in a thickened surface has minimal crossing number, and any two reduced alternating diagrams of the same link have the same writhe. This result is proved more generally for link diagrams that are adequate, and the proof involves a two-variable generalization of the Jones polynomial for surface links defined by Krushkal. The main result is used to establish the first and second Tait conjectures for links in thickened surfaces and for virtual l…
Using a combinatorial argument, we prove the well-known result that the Wirtinger and Dehn presentations of a link in 3-space describe isomorphic groups. The result is not true for links $\ell$ in a thickened surface $S \times [0,1]$. Their precise relationship, as given in the 2012 thesis of R.E. Byrd, is established here by an elementary argument. When a diagram in $S$ for $\ell$ can be checkerboard shaded, the Dehn presentation leads naturally to an abelian "Dehn coloring group," an isotopy invariant of $\ell$. Introducing homological information from $S$ produces a stronger invariant, $\ca…
A cobordism between links in thickened surfaces consists of a surface $ S $ and a $3$-manifold $M $, with $ S $ properly embedded in $ M \times I $. We show that there exist links in thickened surfaces such that if $(S,M) $ is a cobordism between them in which $ S $ is simple, then $ M $ must be complex. That is, there are cases in which low complexity of the surface does not imply low complexity of the $3$-manifold. Specifically, we show that there exist concordant links in thickened surfaces between which a concordance can only be realised by passing through thickenings of higher genus surfa…
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…
Suppose $Σ$ is a compact oriented surface (possibly with boundary) that has genus zero, and L is a link in the interior of $(-1,1)\timesΣ$. We prove that the Asaeda-Przytycki-Sikora (APS) homology of L has rank 2 if and only if L is isotopic to an embedded knot in $\{0\}\timesΣ$. As a consequence, the APS homology detects the unknot in $(-1,1)\timesΣ$. This is the first detection result for generalized Khovanov homology that is valid on an infinite family of manifolds, and it partially solves a conjecture in arxiv:2005.12863. Our proof is different from the previous detection results obtained …
We define additional gradings on two generalisations of Khovanov homology (one due to the first author, the other due to the second), and use them to define invariants of various kinds of embeddings. These include invariants of links in thickened surfaces and of surfaces embedded in thickened $3$-manifolds. In particular, the invariants of embedded surfaces are expressed in terms of certain diagrams related to the thickened $3$-manifold, so that we refer to them as picture-valued invariants. This paper contains the first instance of such invariants for $2$-dimensional objects. The additional g…
We prove a Torres-like formula for the $L^2$-Alexander torsions of links, as well as formulas for connected sums and cablings of links. Along the way we compute explicitly the $L^2$-Alexander torsions of torus links inside the three-sphere, the solid torus and the thickened torus.
Twisted links are a generalization of virtual links. As virtual links correspond to abstract links on orientable surfaces, twisted links correspond to abstract links on (possibly non-orientable) surfaces. In this paper, we introduce the notion of the double covering of a twisted link. It is defined by considering the orientation double covering of an abstract link or alternatively by constructing a diagram called a double covering diagram. We also discuss links in thickened surfaces, their diagrams and their stable equivalence classes. Bourgoin's twisted knot group is understood as the virtual…
We consider hyperbolic links that admit alternating projections on surfaces in compact, irreducible 3-manifolds. We show that, under some mild hypotheses, the volume of the complement of such a link is bounded below in terms of a Kauffman bracket function defined on link diagrams on the surface. In the case that the 3-manifold is a thickened surface, this Kauffman bracket function leads to a Jones-type polynomial that is an isotopy invariant of links. We show that coefficients of this polynomial provide 2-sided linear bounds on the volume of hyperbolic alternating links in the thickened surfac…
A virtual link may be defined as an equivalence class of diagrams, or alternatively as a stable equivalence class of links in thickened surfaces. We prove that a minimal crossing virtual link diagram has minimal genus across representatives of the stable equivalence class. This is achieved by constructing a new parity theory for virtual links. As corollaries, we prove that the crossing, bridge, and ascending numbers of a classical link do not decrease when it is regarded as a virtual link. This extends corresponding results in the case of virtual knots due to Manturov and Chernov.
We extend the theory of hyperbolicity of links in the 3-sphere to tg-hyperbolicity of virtual links, using the fact that the theory of virtual links can be translated into the theory of links living in closed orientable thickened surfaces. When the boundary surfaces are taken to be totally geodesic, we obtain a tg-hyperbolic structure with a unique associated volume. We prove that all virtual alternating links are tg-hyperbolic. We further extend tg-hyperbolicity to several classes of non-alternating virtual links. We then consider bounds on volumes of virtual links and include a table for vol…
Knitted and woven textile structures are examples of doubly periodic structures in a thickened plane made out of intertwining strands of yarn. Factoring out the group of translation symmetries of such a structure gives rise to a link diagram in a thickened torus. Such a diagram on a standard torus is converted into a classical link by including two auxiliary components which form the cores of the complementary solid tori. The resulting link, called a kernel for the structure, is determined by a choice of generators u and v for the group of symmetries. A normalised form of the multi-variable Al…
A polynomial invariant of virtual links, arising from an invariant of links in thickened surfaces introduced by Jaeger, Kauffman, and Saleur, is defined and its properties are investigated. Examples are given that the invariant can detect chirality and even non-invertibility of virtual knots and links. Furthermore, it is shown that the polynomial satisfies a Conway-type skein relation - in contrast to the Alexander polynomial derived from the virtual link group.
A biperiodic alternating link has an alternating quotient link in the thickened torus. In this paper, we focus on semi-regular links, a class of biperiodic alternating links whose hyperbolic structure can be immediately determined from a corresponding Euclidean tiling. Consequently, we determine the exact volumes of semi-regular links. We relate their commensurability and arithmeticity to the corresponding tiling, and assuming a conjecture of Milnor, we show there exist infinitely many pairwise incommensurable semi-regular links with the same invariant trace field. We show that only two semi-r…
Milnor's $\barμ$-invariants of links in the $3$-sphere $S^3$ vanish on any link concordant to a boundary link. In particular, they are trivial on any knot in $S^3$. Here we consider knots in thickened surfaces $Σ\times [0,1]$, where $Σ$ is closed and oriented. We construct new concordance invariants by adapting the Chen-Milnor theory of links in $S^3$ to an extension of the group of a virtual knot. A key ingredient is the Bar-Natan $\textit{Zh}$ map, which allows for a geometric interpretation of the group extension. The group extension itself was originally defined by Silver-Williams. Our ext…
Gordon and Litherland showed that all compact, unoriented, possibly non-orientable surfaces in $S^3$ bounded by a link are realted by attaching/deleting tubes and half twisted bands. In this note we give an elementary proof for this result.
We present explicit geometric decompositions of the hyperbolic complements of alternating $k$-uniform tiling links, which are alternating links whose projection graphs are $k$-uniform tilings of $S^2$, $\mathbb{E}^2$, or $\mathbb{H}^2$. A consequence of this decomposition is that the volumes of spherical alternating $k$-uniform tiling links are precisely twice the maximal volumes of the ideal Archimedean solids of the same combinatorial description, and the hyperbolic structures for the hyperbolic alternating tiling links come from the equilateral realization of the $k$-uniform tiling on $\mat…
A classification of spanning surfaces for alternating links is provided up to genus, orientability, and a new invariant that we call aggregate slope. That is, given an alternating link, we determine all possible combinations of genus, orientability, and aggregate slope that a surface spanning that link can have. To this end, we describe a straightforward algorithm, much like Seifert's Algorithm, through which to construct certain spanning surfaces called layered surfaces. A particularly important subset of these will be what we call basic layered surfaces. We can alter these surface by perform…
Weakly generalised alternating knots are knots with an alternating projection onto a closed surface in a compact irreducible 3-manifold, and they share many hyperbolic geometric properties with usual alternating knots. For example, usual alternating knots have volume bounded above and below by the twist number of the alternating diagram due to Lackenby. Howie and Purcell showed that a similar lower bound holds for weakly generalised alternating knots. In this paper, we show that a generalisation of the upper volume bound does not hold, by producing a family of weakly generalised alternating kn…
It is a well-known procedure for constructing a torus knot or link that first we prepare an unknotted torus and meridian disks in the complementary solid tori of it, and second smooth the intersections of the boundary of meridian disks uniformly. Then we obtain a torus knot or link on the unknotted torus and its Seifert surface made of meridian disks. In the present paper, we generalize this procedure by a closed fake surface and show that the resultant two surfaces obtained by smoothing triple points uniformly are essential. We also show that a knot obtained by this procedure satisfies the Ne…
Given a diagram of a link K in S^3, we write down a Heegaard diagram for the branched-double cover Sigma(K). The generators of the associated Heegaard Floer chain complex correspond to Kauffman states of the link diagram. Using this model we make some computations of the homology \hat{HF}(Sigma(K)) as a graded group. We also conjecture the existence of a delta-grading on \hat{HF}(Sigma(K)) analogous to the delta-grading on knot Floer and Khovanov homology.
We use the spanning tree model for Khovanov homology to study Legendrian links. This leads to an alternative proof for Ng's Khovanov bound for the Thurston-Bennequin number and to both a necessary and a sufficient condition for this bound to be sharp.
We introduce a polynomial invariant of graphs on surfaces, $P_G$, generalizing the classical Tutte polynomial. Topological duality on surfaces gives rise to a natural duality result for $P_G$, analogous to the duality for the Tutte polynomial of planar graphs. This property is important from the perspective of statistical mechanics, where the Tutte polynomial is known as the partition function of the Potts model. For ribbon graphs, $P_G$ specializes to the well-known Bollobas-Riordan polynomial, and in fact the two polynomials carry equivalent information in this context. Duality is also estab…
In their recent preprint, Baldwin, Ozsváth and Szabó defined a twisted version (with coefficients in a Novikov ring) of a spectral sequence, previously defined by Ozsváth and Szabó, from Khovanov homology to Heegaard-Floer homology of the branched double cover along a link. In their preprint, they give a combinatorial interpretation of the $E_3$-term of their spectral sequence. The main purpose of the present paper is to prove directly that this $E_3$-term is a link invariant. We also give some concrete examples of computation of this invariant.
The existence of basket, flat plumbing and flat plumbing basket surfaces of a link was first proven from a braid representative of the link. In the present article, we show the existence of such surfaces from an induced graph of the link. Consequently, we define the basket number, flat plumbing number and flat plumbing basket number of a link. Then we provide several upper bounds for these plumbing numbers and study the relation between these plumbing numbers and the genera of links.
