arXiv subjects
Publications and source records attributed to Homayun Karimi.
We study various constructions of spanning solids for knotted surfaces in the 4-sphere. In particular, we consider a 4-dimensional analogue of Murasugi sum, which we use to define a notion of arborescent knotted surfaces. We give a variety of examples and applications to broken surface diagrams, such as deciding which resolutions of the crossings in these diagrams yield spanning solids.
We define a pants distance for knotted surfaces in 4-manifolds, which generalizes the complexity studied by Blair-Campisi-Taylor-Tomova for surfaces in the 4-sphere. We determine that if the distance computed on a given diagram does not surpass a theoretical bound in terms of the multisection genus, then the pair (X, F) admits a standard form (i.e., has simple topology). Furthermore, we calculate the exact values of our invariants for many new examples, such as the spun lens spaces. We provide a characterization of genus two quadrisections with distance at most six.
A mock Seifert matrix is an integral square matrix representing the Gordon-Litherland form of a pair $(K,F)$, where $K$ is a knot in a thickened surface and $F$ is an unoriented spanning surface for $K$. Using these matrices, we introduce a new notion of unoriented algebraic concordance, as well as a new group denoted $\mathcal{m} \mathcal{G}^{\mathbb Z}$ and called the unoriented algebraic concordance group. This group is abelian and infinitely generated. There is a surjection $\lambda \colon \mathcal{v} \mathcal{C} \to \mathcal{m} \mathcal{G}^{\mathbb Z}$, where $\mathcal{v} \mathcal{C} $ denotes the virtual knot concordance group. Mock Seifert matrices can also be used to define new invariants, such as the mock Alexander polynomial and mock Levine-Tristram signatures. These invariants are applied to questions about virtual knot concordance, crosscap numbers, and Seifert genus for knots in thickened surfaces. For example, we show that $\mathcal{m} \mathcal{G}^{\mathbb Z}$ contains a copy of ${\mathbb Z}^\infty \oplus ({\mathbb Z}/2)^\infty \oplus({\mathbb Z}/4)^\infty.$
We define a knot to be half ribbon if it is the cross-section of a ribbon 2-knot, and observe that ribbon implies half ribbon implies slice. We introduce the half ribbon genus of a knot K, the minimum genus of a ribbon knotted surface of which K is a cross-section. We compute this genus for all prime knots up to 12 crossings, and many 13-crossing knots. The same approach yields new computations of the doubly slice genus. We also introduce the half fusion number of a knot K, that measures the complexity of ribbon 2-knots of which K is a cross-section. We show that it is bounded from below by the Levine-Tristram signatures, and differs from the standard fusion number by an arbitrarily large amount.
We study multisections of embedded surfaces in 4-manifolds admitting effective torus actions. We show that a simply-connected 4-manifold admits a genus one multisection if and only if it admits an effective torus action. Orlik and Raymond showed that these 4-manifolds are precisely the connected sums of copies of $\mathbb{CP}^2$, $\overline{\mathbb{CP}^2}$, and $S^2\times S^2$. Therefore, embedded surfaces in these 4-manifolds can be encoded diagrammatically on a genus one surface. Our main result is that every smooth, complex curve in $\mathbb{CP}^1\times\mathbb{CP}^1$ can be put in efficient bridge position with respect to a genus one 4-section. We also analyze the algebraic topology of genus one multisections.
We extend some classical results of Bankwitz, Crowell, and Murasugi to the setting of virtual links. For instance, we show that an alternating virtual link is split if and only if it is visibly split, and that the Alexander polynomial of any almost classical alternating virtual link is alternating. The first result is a consequence of an inequality relating the link determinant and crossing number for any non-split alternating virtual link. The second is a consequence of the matrix-tree theorem of Bott and Mayberry. We extend the first result to semi-alternating virtual links. We discuss the Tait conjectures for virtual and welded links and note that Tait's second conjecture is not true for alternating welded links.
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 \Sigma \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. They take values in ${\mathbb Z}/8 \cup \{\infty\}$ and depend on a choice of spanning surface. We present two equivalent methods to defining and computing them, and we prove a chromatic duality result relating the two. We study their concordance properties, and we show how to interpret them as Arf invariants for null-homologous links. The Brown invariants and knot signatures are shown to be invariant under concordance of spanning surfaces.
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 determine the minimal support genus of a checkerboard colorable virtual link. The duality result leads to a simple algorithm for computing the invariants from the Tait graph associated to a checkerboard coloring. We show these invariants simultaneously generalize the combinatorial invariants defined by Im, Lee, and Lee, and those defined by Boden, Chrisman, and Gaudreau for almost classical links. We examine the behavior of the invariants under orientation reversal, mirror symmetry, and crossing change. We give a 4-dimensional interpretation of the Gordon-Litherland pairing by relating it to the intersection form on the relative homology of certain double branched covers. This correspondence is made explicit through the use of virtual linking matrices associated to (virtual) spanning surfaces and their associated (virtual) Kirby diagrams.
We use an extension of Gordon-Litherland pairing to thickened surfaces to give a topological characterization of alternating links in thickened surfaces. If $\Sigma$ is a closed oriented surface and $F$ is a compact unoriented surface in $\Sigma \times I$, then the Gordon-Litherland pairing defines a symmetric bilinear pairing on the first homology of $F$. A compact surface in $\Sigma \times I$ is called definite if its Gordon-Litherland pairing is a definite form. We prove that a non-split link $L$ in a thickened surface is alternating if and only if it bounds two definite surfaces of opposite sign.
In this paper, we apply Kauffman bracket skein algebras to develop a theory of skein adequate links in thickened surfaces. We show that any alternating link diagram on a surface is skein adequate. We apply our theory to establish the first and second Tait conjectures for adequate links in thickened surfaces. Our notion of skein adequacy is broader and more powerful than the corresponding notions of adequacy previously considered for link diagrams in surfaces. For a link diagram $D$ on a surface $\Sigma$ of minimal genus $g(\Sigma)$, we show that $${\rm span}([D]_\Sigma) \leq 4c(D) + 4 |D|-4g(\Sigma),$$ where $[D]_\Sigma$ is its skein bracket, $|D|$ is the number of connected components of $D$, and $c(D)$ is the number of crossings. This extends a classical result of Kauffman, Murasugi, and Thistlethwaite. We further show that the above inequality is an equality if and only if $D$ is weakly alternating. This is a generalization of a well-known result for classical links due to Thistlethwaite. Thus the skein bracket detects the crossing number for weakly alternating links. As an application, we show that the crossing number is additive under connected sum for adequate links in thickened surfaces.
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 links.
In this paper, we study the Khovanov homology of an alternating virtual link $L$ and show that it is supported on $g+2$ diagonal lines, where $g$ equals the virtual genus of $L$. Specifically, we show that $Kh^{i,j}(L)$ is supported on the lines $j=2i-σ_ξ+2k-1$ for $0\leq k\leq g+1$ where $σ_{ξ^*}(L)+2g= σ_ξ(L)$ are the signatures of $L$ for a checkerboard coloring $ξ$ and its dual $ξ^*$. Of course, for classical links, the two signatures are equal and this recovers Lee's $H$-thinness result for $Kh^{*,*}(L)$. Our result applies more generally to give an upper bound for the homological width of the Khovanov homology of any checkerboard virtual link $L$. The bound is given in terms of the alternating genus of $L$, which can be viewed as the virtual analogue of the Turaev genus. The proof rests on associating, to any checkerboard colorable link $L$, an alternating virtual link diagram with the same Khovanov homology as $L$. In the process, we study the behavior of the signature invariants under vertical and horizontal mirror symmetry. We also compute the Khovanov homology and Rasmussen invariants in numerous cases and apply them to show non-sliceness and determine the slice genus for several virtual knots. Table 6 at the end of the paper lists the signatures, Khovanov polynomial, and Rasmussen invariant for alternating virtual knots up to six crossings.