Virtual Links in Arbitrary Dimensions

We define a generalization of virtual links to arbitrary dimensions by extending the geometric definition due to Carter et al. We show that many homotopy type invariants for classical links extend to invariants of virtual links. We also define generalizations of virtual link diagrams and Gauss codes to represent virtual links, and use such diagrams to construct a combinatorial biquandle invariant for virtual $2$-links. In the case of $2$-links, we also explore generalizations of Fox-Milnor movies to the virtual case. In addition, we discuss definitions extending the notion of welded links to higher dimensions.

Related papers:

title: Elementary moves for higher dimensional knots
abstract: For smooth knottings of compact (not necessarily orientable) n-dimensional manifolds in R (or S ), we generalize the notion of knot moves to higher dimensions. This reproves and generalizes the Reidemeister moves of classical knot theory. We show that for any dimension there is a finite set of elementary isotopies, called moves, so that any isotopy is equivalent to a finite sequence of these moves.

title: Virtual Knot Theory
abstract: It is dedicated to the memory of Francois Jaeger.

title: ABSTRACT LINK DIAGRAMS AND VIRTUAL KNOTS
abstract: The notion of an abstract link diagram is re-introduced with a relationship with Kauffman's virtual knot theory. It is prove that there is a bijection from the equivalence classes of virtual link diagrams to those of abstract link diagrams. Using abstract link diagrams, we have a geometric interpretation of the group and the quandle of a virtual knot. A generalization to higher dimensional cases is introduced, and the state-sum invariants are treated.

title: STABLE EQUIVALENCE OF KNOTS ON SURFACES AND VIRTUAL KNOT COBORDISMS
abstract: We introduce an equivalence relation, called stable equivalence, on knot diagrams and closed generically immersed curves on surfaces. We give bijections between the set of abstract knots, the set of virtual knots, and the set of the stable equivalence classes of knot diagrams on surfaces. Using these bijections, we define concordance and link homology for virtual links. As an application, it is shown that Kauffman's example of a virtual knot diagram is not equivalent to a classical knot diagram.

title: What is a virtual link
abstract: Several authors have recently studied virtual knots and links because they admit invariants arising from R-matrices. We prove that every virtual link is uniquely represented by a link L SI in a thickened, compact, oriented surface S such that the link complement (SI)nL has no essential vertical cylinder.

title: INTRODUCTION TO VIRTUAL SURFACE-KNOT THEORY
abstract: In this paper, we introduce the notion of a virtual surface-knot as a 2-dimensional generalization of a virtual knot. We define the upper and lower groups of a virtual surface-knot to prove that there are infinitely many non-classical virtual surface-knots.

title: Virtual Knot Cobordism
abstract: This paper defines a theory of cobordism for virtual knots and studies this theory for standard and rotational virtual knots and links. Non-trivial examples of virtual slice knots are given. Determinations of the four-ball genus of positive virtual knots are given using the results of a companion paper by the author and Heather Dye and Aaron Kaestner. Problems related to band-passing are explained, and a theory of isotopy of virtual surfaces is formulated in terms of a generalization of the Yoshikawa moves.

title: VIRTUAL KNOT PRESENTATION OF RIBBON TORUS-KNOTS
abstract: Any ribbon torus-knot in 4-space is naturally associated with a virtual knot. We investigate a relationship between ribbon torus-knots and virtual knots from this viewpoint. We also give a new example of a non-classical virtual knots which can not be detected by the group and the Z-polynomial.

title: Reidemeister-type moves for surfaces in four-dimensional space
abstract: We consider smooth knottings of compact (not necessarily orientable) n-dimensional manifolds in R (or S), for the cases n = 2 or n = 3. In a previous paper we have generalized the notion of the Reidemeister moves of classical knot theory. In this paper we examine in more detail the above mentioned dimensions. Examples are given; in particular we examine projections of twist-spun knots. Knot moves are given which demonstrate the triviality of the 1-twist spun trefoil. Another application is a smooth version of a result of Homma and Nagase on a set of moves for regular homotopies of surfaces.

title: Cocycle invariants of codimension 2-embeddings of manifolds
abstract: We consider the classical problem of a position of n-dimensional manifold M in R^{n+2}. We show that we can define the fundamental (n+1)-cycle and the shadow fundamental (n+2)-cycle for a fundamental quandle of a knotting M to R^{n+2}. In particular, we show that for any fixed quandle, quandle coloring, and shadow quandle coloring, of a diagram of M embedded in R^{n+2} we have (n+1)- and (n+2)-(co)cycle invariants (i.e. invariant under Roseman moves). We speculate on a similar construction for general Yang-Baxter operators.

title: Knots are determined by their complements
abstract: This answers a question apparently first raised by Tietze [T, p. 83]. It was previously known that there were at most two knots with a given complement [CGLS, . The notion of equivalence of knots can be strengthened by saying that K and K' are isotopic if the above homeomorphism h is isotopic to the identity, or, equivalently, orientation-preserving. The analog of Theorem 1 holds in this setting too: if two knots have complements that are homeomorphic by an orientation-preserving homeomorphism, then they are isotopic. Theorem 1 and its orientation-preserving version are easy consequences of the following theorem concerning Dehn surgery.

title: The braid-permutation group
abstract: We consider the subgroup of the automorphism group of the free group generated by the braid group and the permutation group. This is proved to be the same as the subgroup of automorphisms of permutation-conjugacy type and is represented by generalised braids (braids in which some crossings are allowed to be “welded”). As a consequence of this representation there is a finite presentation which shows the close connection with both the classical braid and permutation groups. The group is isomorphic to the automorphism group of the free quandle and closely related to the automorphism group of the free rack. These automorphism groups are connected with invariants of classical knots and links in the 3-sphere.

title: A classifying invariant of knots, the knot quandle
abstract: The two operations of conjugation in a group, x▷y=y -1 xy and x▷ -1 y=yxy -1 satisfy certain identities. A set with two operations satisfying these identities is called a quandle. The Wirtinger presentation of the knot group involves only relations of the form y -1 xy = z and so may be construed as presenting a quandle rather than a group. This quandle, called the knot quandle, is not only an invariant of the knot, but in fact a classifying invariant of the knot.

title: An isomorphism theorem for Alexander biquandles
abstract: We show that two Alexander biquandles M and M' are isomorphic iff there is an isomorphism of Z[s,1/s,t,1/t]-modules h:(1-st)M --> (1-st)M' and a bijection g:O_s(A) --> O_s(A') between the s-orbits of sets of coset representatives of M/(1-st)M and M'/(1-st)M' respectively satisfying certain compatibility conditions.

title: QUATERNIONIC INVARIANTS OF VIRTUAL KNOTS AND LINKS
abstract: In this paper we define and give examples of a family of polynomial invariants of virtual knots and links. They arise by considering certain 2 x 2 matrices with entries in a possibly non-commutative ring, for example the quaternions. These polynomials are sufficiently powerful to distinguish the Kishino knot from any classical knot, including the unknot

title: Knot colouring polynomials
abstract: This article introduces a natural extension of colouring numbers of knots, called colouring polynomials, and studies their relationship to Yang-Baxter invariants and quandle 2-cocycle invariants. 
For a knot K in the 3-sphere let \pi_K be the fundamental group of the knot complement, and let (m_K,l_K) be a meridian-longitude pair in \pi_K. Given a finite group G and an element x in G, we consider the set of representations \rho from \pi_K to G that map the meridian m_K to x, and define the colouring polynomial P(K) as the sum over all longitude images \rho(l_K). The resulting invariant maps knots to the group ring Z[G]. It is multiplicative with respect to connected sum and equivariant with respect to symmetry operations of knots. Examples are given to show that colouring polynomials distinguish knots for which other invariants fail, in particular they can distinguish knots from their mutants, obverses, inverses, or reverses. 
We prove that every quandle 2-cocycle state-sum invariant of knots is a specialization of some knot colouring polynomial. This provides a complete topological interpretation of these invariants in terms of the knot group and its peripheral system. Furthermore, we show that P can be presented as a Yang-Baxter invariant, i.e. as the trace of some linear braid group representation. This entails in particular that Yang-Baxter invariants can detect non-inversible and non-reversible knots.

title: Wirtinger presentations for higher dimensional manifold knots obtained from diagrams
abstract: A Wirtinger presentation of a knot group is obtained from a diagram of the knot. T. Yajima showed that for a 2-knot or a closed oriented surface embedded in the Euclidean 4-space, a Wirtinger presentation of the knot group is obtained from a diagram in an analogous way. J. S. Carter and M. Saito generalized the method to non-orientable surfaces in 4-space by cutting non-orientable sheets of their diagrams by some arcs. We give a modification to their method so that one does not need to find and describe such arcs on the diagram. This method is easily generalized to higher dimensional manifold knots, which may not be locally flat.

title: Knotted Surfaces and Their Diagrams
abstract: Diagrams of knotted surfaces Moving knotted surfaces Braid theory in dimension four Combinatorics of knotted surface diagrams The fundamental group and the Seifert algorithm Algebraic structures related to knotted surface diagrams Bibliography Index.