[Extension of Jones polynomial to general 3-manifolds.] Can the original Jones polynomial, which is defined for 1-links in the 3-sphere (the 3-ball, the 3-space R3), be extended for 1-links in any 3-manifold?
In knot theory, a virtual knot is a generalization of knots in 3-dimensional Euclidean space, R3, to knots in thickened surfaces modulo an equivalence relation called stabilization/destabilization. Here is required to be closed and oriented. Virtual knots were first introduced by Kauffman (1999).
In the theory of classical knots, knots can be considered equivalence classes of knot diagrams under the Reidemeister moves. Likewise a virtual knot can be considered an equivalence of virtual knot diagrams that are equivalent under generalized Reidemeister moves. Virtual knots allow for the existence of, for example, knots whose Gauss codes which could not exist in 3-dimensional Euclidean space. A virtual knot diagram is a 4-valent planar graph, but each vertex is now allowed to be a classical crossing or a new type called virtual. The generalized moves show how to manipulate such diagrams to obtain an equivalent diagram; one move called the semi-virtual move involves both classical and virtual crossings, but all the other moves involve only one variety of crossing.
Virtual knots themselves are fascinating objects, and having many connections to other areas of mathematics. Virtual knots have many exciting connections with other fields of knots theory. The unsolved problem shown is an important motivation to the study of virtual knots.
See section 1.1 of this paper [KOS]  for the background and the history of this problem. Kauffman submitted a solution in the case of the product manifold of closed oriented surface and the closed interval, by introducing virtual 1-knots . It is open in the other cases. Witten’s path integral for Jones polynomial is written for links in any compact 3-manifold formally, but the calculus is not done even in physics level in any case other than the 3-sphere (the 3-ball, the 3-space R3). This problem is also open in physics level. In the case of Alexander polynomial, this problem is solved.
A classical knot can also be considered an equivalence class of Gauss diagrams under certain moves coming from the Reidemeister moves. Not all Gauss diagrams are realizable as knot diagrams, but by considering all equivalence classes of Gauss diagrams we obtain virtual knots.
A classical knot can be considered an ambient isotopy class of embeddings of the circle into a thickened 2-sphere. This can be generalized by considering such classes of embeddings into thickened higher-genus surfaces. This is not quite what we want since adding a handle to a (thick) surface will create a higher-genus embedding of the original knot. The adding of a handle is called stabilization and the reverse process destabilization. Thus a virtual knot can be considered an ambient isotopy class of embeddings of the circle into thickened surfaces with the equivalence given by (de)stabilization.
Some basic theorems relating classical and virtual knots:
- If two classical knots are equivalent as virtual knots, they are equivalent as classical knots.
- There is an algorithm to determine if a virtual knot is classical.
- There is an algorithm to determine if two virtual knots are equivalent.
It is important that there is a relation among the following. See the paper [KOS] cited above and below.
- Virtual equivalence of virtual 1-knot diagrams, which is a set of virtual 1-knots.
- Welded equivalence of virtual 1-knot diagrams
- Rotational welded equivalence of virtual 1-knot diagrams
- Fiberwise equivalence of virtual 1-knot diagrams
Virtual 2-knots are also defined. See the paper cited above.
- Kauffman, L.H; Ogasa, E; Schneider, J (2018), A spinning construction for virtual 1-knots and 2-knots, and the fiberwise and welded equivalence of virtual 1-knots, arXiv:1808.03023
- Kauffman, L.E. (1998), Talks at MSRI Meeting in January 1997, AMS Meeting at University of Maryland, College Park in March 1997, Isaac Newton Institute Lecture in November 1997, Knots in Hellas Meeting in Delphi, Greece in July 1998, APCTP-NANKAI Symposium on Yang-Baxter Systems, Non-Linear Models and Applications at Seoul, Korea in October 1998, and Kauffman's paper1999 cited below., arXiv:math/9811028
- Boden, Hans; Nagel, Matthias (2017). "Concordance group of virtual knots". Proceedings of the American Mathematical Society. 145 (12): 5451–5461. doi:10.1090/proc/13667. S2CID 119139769.
- Carter, J. Scott; Kamada, Seiichi; Saito, Masahico (2002). "Stable equivalence of knots on surfaces and virtual knot cobordisms. Knots 2000 Korea, Vol. 1 (Yongpyong)". J. Knot Theory Ramifications. 11 (3): 311–322.
- Carter, J. Scott; Silver, Daniel; Williams, Susan (2014). "Invariants of links in thickened surfaces". Algebraic & Geometric Topology. 14 (3): 1377–1394. doi:10.2140/agt.2014.14.1377. S2CID 53137201.
- Dye, Heather A (2016). An Invitation to Knot Theory : Virtual and Classical (First ed.). Chapman and Hall/CRC. ISBN 9781315370750.
- Goussarov, Mikhail; Polyak, Michael; Viro, Oleg (2000). "Finite-type invariants of classical and virtual knots". Topology. 39 (5): 1045–1068. arXiv:math/9810073. doi:10.1016/S0040-9383(99)00054-3. S2CID 8871411.
- Kamada, Naoko; Kamda, Seiichi (2000). "Abstract link diagrams and virtual knots". Journal of Knot Theory and Its Ramifications. 9 (1): 93–106. doi:10.1142/S0218216500000049.
- Kauffman, Louis H. (1999). "Virtual knot theory" (PDF). European Journal of Combinatorics. 20 (7): 663–690. doi:10.1006/eujc.1999.0314. ISSN 0195-6698. MR 1721925. S2CID 5993431.
- Kauffman, Louis H.; Manturov, Vassily Olegovich (2005). "Virtual Knots and Links". arXiv:math.GT/0502014.
- Kuperberg, Greg (2003). "What is a virtual link?". Algebraic & Geometric Topology. 3: 587–591. doi:10.2140/agt.2003.3.587. S2CID 16803280.
- Manturov, Vassily (2004). Knot Theory. CRC Press. ISBN 978-0-415-31001-7.
- Manturov, Vassily Olegovich (2004). "Virtual knots and infinite dimensional Lie algebras". Acta Applicandae Mathematicae. 83 (3): 221–233. doi:10.1023/B:ACAP.0000038944.29820.5e. S2CID 124019548.
- Turaev, Vladimir (2008). "Cobordism of knots on surfaces". Journal of Topology. 1 (2): 285–305. arXiv:math/0703055. doi:10.1112/jtopol/jtn002. S2CID 17888102.