Virtual Knot Theory --Unsolved Problems

Alexander groups of long virtual knots

Alexander group systems for virtual long knots are defined and used to show that any virtual knot is the closure of infinitely many long virtual knots. Manturov's result that there exists a pair of long virtual knots that do not commute is reproved.

Two-variable polynomial invariants of virtual knots arising from flat virtual knot invariants

We introduce two sequences of two-variable polynomials $\{ L^n_K (t, \ell)\}_{n=1}^{\infty}$ and $\{ F^n_K (t, \ell)\}_{n=1}^{\infty}$, expressed in terms of index value of a crossing and $n$-dwrithe value of a virtual knot $K$, where $t$ and $\ell$ are variables. Basing on the fact that $n$-dwrithe is a flat virtual knot invariant we prove that $L^n_K$ and $F^n_K$ are virtual knot invariants containing Kauffman affine index polynomial as a particular case. Using $L^n_K$ we give sufficient conditions when virtual knot does not admit cosmetic crossing change.

Vassiliev Invariants of Virtual Legendrian Knots

We introduce a theory of virtual Legendrian knots. A virtual Legendrian knot is a cooriented wavefront on an oriented surface up to Legendrian isotopy of its lift to the unit cotangent bundle and stabilization and destablization of the surface away from the wavefront. We show that the groups of Vassiliev invariants of virtual Legendrian knots and of virtual framed knots are isomorphic. In particular, Vassiliev invariants cannot be used to distinguish virtual Legendrian knots that are isotopic as virtual framed knots and have equal virtual Maslov numbers.

Virtual Mosaic Knot Theory

Mosaic diagrams for knots were first introduced in 2008 by Lomanoco and Kauffman for the purpose of building a quantum knot system. Since then, many others have explored the structure of these knot mosaic diagrams, as they are interesting objects of study in their own right. Knot mosaics have been generalized by Garduño to virtual knots, by including an additional tile type to represent virtual crossings. There is another interpretation of virtual knots, however, as knot diagrams on surfaces, which inspires this work. By viewing classical mosaic diagrams as $4n$-gons and gluing edges of these …

Stable Equivalence of Knots on Surfaces and Virtual Knot Cobordisms

We introduce an equivalence relation, called stable equivalence, on knot diagrams and closed 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.

Concordance group of virtual knots

We study concordance of virtual knots. Our main result is that a classical knot K is virtually slice if and only if it is classically slice. From this we deduce that the concordance group of classical knots embeds into the concordance group of long virtual knots.

On Virtual Crossing Numbers for Virtual Knots

The aim of the present paper is to prove that the minimal number of virtual crossings for some families of virtual knots grows quadratically with respect to the minimal number of classical crossings. All previously known estimates for virtual crossing number were principally no more than linear in the number of classical crossings (or, what is the same, in the number of edges of a virtual knot diagram) and no virtual knot was found with virtual crossing number greater than the classical crossing number.

PL-virtual knots

Piecewise-linear virtual knots are discussed and classified up to edge index six.

虚拟纽结与链环的虚拟多重交叉与花瓣图

Virtual Multicrossings and Petal Diagrams for Virtual Knots and Links

本文将经典纽结的多重交叉概念推广至虚拟纽结与链环，并证明所有虚拟纽结均存在花瓣图。

A Functorial Map from Virtual Knots to Classical Knots and Generalisations of Parity

We construct various functorial maps (projections) from virtual knots to classical knots. These maps are defined on diagrams of virtual knots; in terms of Gauss diagram each of them can be represented as a deletion of some chords. The construction relies upon the notion of parity. As corollaries, we prove that the minimal classical crossing number for classical knots.

Gordian complexes of knots and virtual knots given by region crossing changes and arc shift moves

Gordian complex of knots was defined by Hirasawa and Uchida as the simplicial complex whose vertices are knot isotopy classes in $\mathbb{S}^3$. Later Horiuchi and Ohyama defined Gordian complex of virtual knots using $v$-move and forbidden moves. In this paper we discuss Gordian complex of knots by region crossing change and Gordian complex of virtual knots by arc shift move. Arc shift move is a local move in the virtual knot diagram which results in reversing orientation locally between two consecutive crossings. We show the existence of an arbitrarily high dimensional simplex in both the Go…

Graphical Constructions for the sl(3), so(3) and G2 Invariants for Virtual Knots, Virtual Braids and Free Knots

We construct graph-valued analogues of the Kuperberg sl(3) and G2 invariants for virtual knots. The restriction of the sl(3) or G2 invariants for classical knots coincides with the usual Homflypt sl(3) invariant and G2 invariants. For virtual knots and graphs these invariants provide new graphical information that allows one to prove minimality theorems and to construct new invariants for free knots (unoriented and unlabeled Gauss codes taken up to abstract Reidemeister moves). A novel feature of this approach is that some knots are of sufficient complexity that they evaluate themselves in the…

Virtual Knot Groups

Virtual knots, defined by Kauffman, provide a natural generalization of classical knots. Most invariants of knots extend in a natural way to give invariants of virtual knots. In this paper we study the fundamental groups of virtual knots and observe several new and unexpected phenomena. In the classical setting, if the longitude of a knot is trivial in the knot group then the group is infinite cyclic. We show that for any classical knot group there is a virtual knot with that group and trivial longitude. It is well known that the second homology of a classical knot group is trivial. We provide…

On the lower central series of some virtual knot groups

We study groups of some virtual knots with small number of crossings and prove that there is a virtual knot with long lower central series which, in particular, implies that there is a virtual knot with residually nilpotent group. This gives a possibility to construct invariants of virtual knots using quotients by terms of the lower central series of knot groups. Also, we study decomposition of virtual knot groups as semi direct product and free product with amalgamation. In particular, we prove that the groups of some virtual knots are extensions of finitely generated free groups by infinite …

Classification of Flat Virtual Pure Tangles

Virtual knot theory, introduced by Kauffman, is a generalization of classical knot theory of interest because its finite-type invariant theory is potentially a topological interpretation of Etingof and Kazhdan's theory of quantization of Lie bi-algebras. Classical knots inject into virtual knots, and flat virtual knots is the quotient of virtual knots which equates the real positive and negative crossings, and in this sense is complementary to classical knot theory within virtual knot theory. We completely classify flat virtual tangles with no closed components (pure tangles). This classificat…

Fibered Knots and Virtual Knots

We introduce a new technique for studying classical knots with the methods of virtual knot theory. Let $K$ be a knot and $J$ a knot in the complement of $K$ with $\text{lk}(J,K)=0$. Suppose there is covering space $π_J: Σ\times (0,1) \to \bar{S^3\backslash V(J)}$, where $V(J)$ is a regular neighborhood of $J$ satisfying $V(J) \cap \text{im}(K)=\emptyset$ and $Σ$ is a connected compact orientable 2-manifold. Let $K'$ be a knot in $Σ\times (0,1)$ such that $π_J(K')=K$. Then $K'$ stabilizes to a virtual knot $\hat{K}$, called a virtual cover of $K$ relative to $J$. We investigate what can be said…

虚拟纽结与链环的虚拟化 Δ 移动

Virtualized Delta moves for virtual knots and links

该研究提出虚拟纽结与链环的虚拟化 Δ 移动，证明其对虚拟纽结是解结操作，并刻画了虚拟链环在该移动下等价的充要条件。

平坦虚拟纽结的连通和与交叉数

Connected sum and crossing numbers of flat virtual knots

研究平坦虚拟纽结连通和对图与基点的依赖性，证明复合纽结的极小交叉图必为连通和图，且交叉数在连通和下具有超加性。

Virtual Knot Cobordism

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.

Forbidden detour number on virtual knot

We show that the forbidden detour move, essentially introduced by Kanenobu and Nelson, is an unknotting operation for virtual knots. Then we define the forbidden detour number of a virtual knot to be the minimal number of forbidden detour moves necessary to transform a diagram of the virtual knot into the trivial knot diagram. Some upper and lower bounds on the forbidden detour number are given in terms of the minimal number of real crossings or the coefficients of the affine index polynomial of the virtual knot.

The Alexander polynomial for Virtual Twist Knots

We define a family of virtual knots generalizing the classical twist knots. We develop a recursive formula for the Alexander polynomial $Δ_0$ (as defined by Silver and Williams) of these virtual twist knots. These results are applied to provide evidence for a conjecture that the odd writhe of a virtual knot can be obtained from $Δ_0$.

虚拟纽结的矩形马赛克

Rectangular mosaics for virtual knots

本文引入虚拟纽结的矩形马赛克定义，修改Ganzell和Henrich的马赛克移动至矩形设定，提供若干不变量及常见虚拟纽结不变量的计算算法。

On Homology of Virtual Braids and Burau Representation

Virtual knots arise in the study of Gauss diagrams and Vassiliev invariants of usual knots. Virtual braids correspond naturally to virtual knots. We consider the group of virtual braids on n strings VB_n and its Burau representation, in particular we study their homological properties. We prove that the plus-construction of the classifying space of the virtual braid group on the infinite number of strings is an infinite loop space which is equivalent to a product of Q(S^0), S^1 and an infinite loop space Y. Connections with the K-functor of the integers are discussed.

An unknotting index for virtual knots

In this paper we introduce the notion of an unknotting index for virtual knots. We give some examples of computation by using writhe invariants, and discuss a relationship between the unknotting index and the virtual knot module. In particular, we show that for any non-negative integer $n$ there exists a virtual knot whose unknotting index is $(1,n)$.

厚化表面中的虚拟结oid

Virtual Knotoids in Thickened Surfaces

本文通过将虚拟结oid解释为厚化表面中的弧，证明了虚拟结oid理论是经典结oid理论的推广，并验证了Kauffman的猜想。

Intersection formulas for parities on virtual knots

We prove that parities on virtual knots come from invariant 1-cycles on the arcs of knot diagrams. In turn, the invariant cycles are determined by quasi-indices on the crossings of the diagrams. The found connection between the parities and the (quasi)-indices allows to define a new series of parities on virtual knots.

平坦虚拟纽结：引言与若干不变量

Flat-virtual knot: introduction and some invariants

该研究围绕从经典纽结到虚拟纽结的映射构建需求展开，定义了平坦虚拟纽结，得到了加厚环面中纽结到平坦虚拟纽结的系列映射，并给出了对应的类Alexander多项式与图像值Kauffman括号不变量。

多虚拟纽结的多元拧扭多项式

Multivariate writhe polynomial of multi-virtual knots

将拧扭多项式不变量从虚拟纽结推广到多虚拟纽结，并解答了[16]中的若干问题。

双环面的一个例子及通过其定义的长虚拟纽结的不变量

An example of biquandle and an invariant of long virtual knots defined through it

本文引入双环面的一个例子，定义长虚拟纽结的不变量，并给出两个可交换长虚拟纽结的必要条件。

关于虚拟纽结的经度的注记

A note on longitudes of virtual knots

该研究指出经典纽结经度的换位子群性质可推广至虚拟纽结，为虚拟纽结的相关研究提供了新的结论

Virtual Knots and Links

This paper is an introduction to the subject of virtual knot theory, combined with a discussion of some specific new theorems about virtual knots. The new results are as follows: We prove, using a 3-dimensional topology approach that if a connected sum of two virtual knots $K_{1}$ and $K_{2}$ is trivial, then so are both $K_{1}$ and $K_{2}$. We establish an algorithm, using Haken-Matveev technique, for recognizing virtual knots. This paper may be read as both an introduction and as a research paper.

Maps from knots in the cylinder to flat-virtual knots

In the present paper, we address the problem how to get a map from knots in the cylinder and on the thickened torus to some (generalisation of) virtual knots called virtual-flat knots. The main construction takes a diagram on a cylinder (torus) and adds some ``invisible'' crossings which gives rise to a diagram which can be formally immersed but not embedded (drawn) on the cylinder (torus) and living comfortably in thickened surfaces of higher genera. This allows one to ``pull back'' invariants of virtual theory to the theory of knots in the thickened cylinder (torus) where the parity bracket …

A polynomial invariant of virtual knots

The aim of this paper is to introduce a polynomial invariant $f_K(t)$ for virtual knots. We show that $f_K(t)$ can be used to distinguish some virtual knot from its inverse and mirror image. The behavior of $f_K(t)$ under connected sum is also given. Finally we discuss which kind of polynomial can be realized as $f_K(t)$ for some virtual knot $K$.

A transcendental function invariant of virtual knots

In this work we describe a new invariant of virtual knots. We show that this transcendental function invariant generalizes several polynomial invariants of virtual knots, such as the writhe polynomial, the affine index polynomial and the zero polynomial.

Arc shift number and region arc shift number for virtual knots

In this paper, we formulate a new local move on virtual knot diagram, called arc shift move. Further, we extend it to another local move called region arc shift defined on a region of a virtual knot diagram. We establish that these arc shift and region arc shift moves are unknotting operations by showing that any virtual knot diagram can be turned into trivial knot using arc shift (region arc shift) moves. Based upon the arc shift move and region arc shift move, we define two virtual knot invariants, arc shift number and region arc shift number respectively.

Great circle links and virtually fibered knots

We show that all two-bridge knot and link complements are virtually fibered. We also show that spherical Montesinos knot and link complements are virtually fibered. This is accomplished by showing that such knot complements are finitely covered by great circle link complements.

Higher-order finite type invariants of classical and virtual knots and unknotting operations

Vassiliev introduced filtered invariants of knots using an unknotting operation, called crossing changes. Goussarov, Polyak, and Viro introduced other filtered invariants of virtual knots, which order is called GPV-order, using an unknotting operation, called virtualization. We defined other filtered invariants, which order is called $F$-order, of virtual knots using an unknotting operation, called forbidden moves. In this paper, we show that the set of virtual knot invariants of $F$-order $\le n+1$ is strictly stronger than that of $F$-order $\le n$ and that of GPV-order $\le 2n+1$. To obtain…

Finite-Type Invariants of Order One for Framed Virtual Knots

A. Henrich proved the existence of the universal finite-type invariant of order one for virtual knots. We extend the construction and the methods of her paper to framed virtual knots. To do so, we introduce the notions of virtual strings and based matrices for framed flat virtual knots.

Multi-switches and virtual knot invariants

In the paper we introduce a general approach how for a given virtual biquandle multi-switch $(S,V)$ on an algebraic system $X$ (from some category) and a given virtual link $L$ construct an algebraic system $X_{S,V}(L)$ (from the same category) which is an invariant of $L$. As a corollary we introduce a new quandle invariant for virtual links which generalizes previously known quandle invariants for virtual links.

Writhe polynomials and shell moves for virtual knots and links

The writhe polynomial is a fundamental invariant of an oriented virtual knot. We introduce a kind of local moves for oriented virtual knots called shell moves. The first aim of this paper is to prove that two oriented virtual knots have the same writhe polynomial if and only if they are related by a finite sequence of shell moves. The second aim of this paper is to classify oriented $2$-component virtual links up to shell moves by using several invariants of virtual links.

虚拟纽结的曲径图

Meander diagrams of virtual knots

本文将经典纽结的（半）曲径图概念推广到虚拟纽结，证明其曲径图类的通用性，并引入虚拟k-弧交叉数这一新不变量，通过Manturov投影证明经典纽结的虚拟与经典k-弧交叉数相等。

Biquandles for Virtual Knots

This paper studies an algebraic invariant of virtual knots called the biquandle. The biquandle generalizes the fundamental group and the quandle of virtual knots. The approach taken in this paper to the biquandle emphasizes understanding its structure in terms of compositions of morphisms, where elementary morphisms are associated to oriented classical and virtual crossings in the diagram.

The Three Loop Isotopy and Framed Isotopy Invariants of Virtual Knots

This paper introduces two virtual knot theory ``analogues'' of a well-known family of invariants for knots in thickened surfaces: the Grishanov-Vassiliev finite-type invariants of order two. The first, called the three loop isotopy invariant, is an invariant of virtual knots while the second, called the three loop framed isotopy invariant, is a regular isotopy invariant of framed virtual knots. The properties of these invariants are investigated at length. In addition, we make precise the informal notion of ``analogue''. Using this formal definition, it is proved that a generalized three loop …

Kauffman-Harary conjecture for alternating virtual knots

In 1999, Kauffman-Harary conjectured that every non-trivial Fox $p$-coloring of a reduced, alternating knot diagram with prime determinant $p$ is heterogeneous. Ten years later this conjecture was proved by W. Mattman and P. Solis. Mathew Williamson generalized this conjecture to alternating virtual knots and proved it for certain families of virtual knots. In the present note, we use the methods of W. Mattman and P. Solis to give an affirmative answer to the Kauffman-Harary conjecture for alternating virtual knots.

A Sequence of Degree One Vassiliev Invariants for Virtual Knots

For ordinary knots in R3, there are no degree one Vassiliev invariants. For virtual knots, however, the space of degree one Vassiliev invariants is infinite dimensional. We introduce a sequence of three degree one Vassiliev invariants of virtual knots of increasing strength. We demonstrate that the strongest invariant is a universal Vassiliev invariant of degree one for virtual knots in the sense that any other degree one Vassiliev invariant can be recovered from it by a certain natural construction. To prove these results, we extend the based matrix invariant introduced by Turaev for virtual …

On a Generalization of Alexander Polynomial for Long Virtual Knots

We construct new invariant polynomial for long virtual knots. It is a generalization of Alexander polynomial. We designate it by $ζ$ meaning an analogy with $ζ$-polynomial for virtual links. A degree of $ζ$-polynomial estimates a virtual crossing number. We describe some application of $ζ$-polynomial for the study of minimal long virtual diagrams with respect number of virtual crossings.

Virtual Bridge Number One Knots

We define the virtual bridge number $vb(K)$ and the virtual unknotting number $vu(K)$ invariants for virtual knots. For ordinary knots $K$ they are closely related to the bridge number $b(K)$ and the unknotting number $u(K)$ and we have $vu(K)\leq u(K), vb(K)\leq b(K).$ There are no ordinary knots $K$ with $b(K)=1.$ We show there are infinitely many homotopy classes of virtual knots each of which contains infinitely many isotopy classes of $K$ with $vb(K)=1.$ In fact for each $i\in \N$ there exists $K$ virtually homotopic (but not virtually isotopic) to the unknot with $vb(K)=1$ and $vu(K)=i.$

Virtual and welded periods of classical knots

We show that any virtual or welded period of a classical knot $K$ can be realized as a classical period. A direct consequence is that a classical knot admits only finitely many virtual or welded periods.

Virtual knots undetected by 1 and 2-strand bracket polynomials

Kishino's knot is not detected by the fundamental group or the bracket polynomial; these invariants cannot differentiate between Kishino's knot and the unknot. However, we can show that Kishino's knot is not equivalent to unknot by applying either the 3-strand bracket polynomial or the surface bracket polynomial. In this paper, we construct two non-trivial virtual knot diagrams, $ K_D $ and $ K_m $, that are not not detected by the bracket polynomial or the 2-strand bracket polynomial. From these diagrams, we construct two infinite families of non-classical virtual knot diagrams that are not d…

On colored quandle longitudes and its applications to tangle embeddings and virtual knots

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.

An invariant for flat virtual knots

The paper has been withdrawn by the author, due to a critical error stemming from the defined template.

Virtual knot groups and almost classical knots

We define a group-valued invariant of virtual knots and relate it to various other group-valued invariants of virtual knots, including the extended group of Silver-Williams and the quandle group of Manturov and Bardakov-Bellingeri. A virtual knot is called almost classical if it admits a diagram with an Alexander numbering, and in that case we show that the group factors as a free product of the usual knot group and Z. We establish a similar formula for mod p almost classical knots, and we use these results to derive obstructions to a virtual knot K being mod p almost classical. Viewed as knot…

New Invariants of Long Virtual Knots

This paper extends the construction of invariants for virtual knots to virtual long knots and introduces two new invariant modules of virtual long knots. Several interesting features are described that distinguish virtual long knots from their classical counterparts with respect to their symmetries and the concatenation product.

A note on coverings of virtual knots

For a virtual knot $K$ and an integer $r\geq 0$, the $r$-covering $K^{(r)}$ is defined by using the indices of chords on a Gauss diagram of $K$. In this paper, we prove that for any finite set of virtual knots $J_0,J_2,J_3,\dots,J_m$, there is a virtual knot $K$ such that $K^{(r)}=J_r$ $(r=0\mbox{ and }2\leq r\leq m)$, $K^{(1)}=K$, and otherwise $K^{(r)}=J_0$.