arXiv subjects
Publications and source records attributed to Igor Nikonov.
The multicrossing homology of a knot can be considered as a generalization of the homology of its fundamental quandle. We show that certain sums of knot secants define invariant classes in the multicrossing homology.
We define homotopy index polynomials and a homotopy type of knotoids in an oriented surface, and consider some basic properties of these polynomials. We show that for planar knotoids the homotopy polynomials are not weaker than previously defined index polynomials, and that the homotopy index polynomials detect non-rotatability of spherical knotoids.
The combinatorial approach to knot theory treats knots as diagrams modulo Reidemeister moves. Many constructions of knot invariants (e.g., index polynomials, quandle colorings, etc.) use elements of diagrams such as arcs and crossings by assigning invariant labels to them. The universal invariant labels, which carry the most information, can be thought of as equivalence classes of arcs and crossings modulo the relation, which identifies corresponding elements of diagrams connected by a Reidemeister move. We can call these equivalence classes the arcs and crossings of the knot. In the paper, we give a topological description of sets of these classes as the isotopy classes of probes of diagram elements. In the second part of the paper, we discuss the homotopy classes of diagram elements. We demonstrate that the sets of these classes are fundamental for the algebraic objects that are responsible for coloring diagrams of tangles on a given surface. For arcs, these algebraic objects are quandles; for regions, they are partial ternary quasigroups; for semiarcs, they are biquandloids; and for crossings, they are crossoids. The definitions of the last three algebraic structures are given in the paper. Additionally, we introduce the multicrossing complex of a tangle and define the crossing homology class. In a sense, the multicrossing complex unifies tribracket, biquandle and crossoid homologies; and the tribracket, biquandle and crossoid cycle invariants are actually the result of pairing a tribracket (biquangle, crossoid) cocycle with the crossing homology class.
A knot invariant is called skein if it is determined by a finite number of skein relations. In the paper we discuss some basic properties of skein invariants and mention some known examples of skein invariants.
Picture-valued invariants are the main achievement of parity theory by V.O. Manturov. In the paper we give a general description of such invariants which can be assigned to a parity (in general, a trait) on diagram crossings. We distinguish two types of picture-valued invariants: derivations (Turaev bracker, index polynomial etc.) and functorial maps (Kauffman bracket, parity bracket, parity projection etc.). We consider some examples of binary functorial maps. Besides known cases of functorial maps, we present two new examples. The order functorial map is closely connected with (pre)orderings of surface groups and leads to the notion of sibling knots, i.e. knots such that any diagram of one knot can be transformed to a diagram of the other by crossing switching. The other is the lifting map which is inverse to forgetting of under-overcrossings information which turns virtual knots into flat knots. We give some examples of liftable flat knots and flattable virtual knots. An appendix of the paper contains description of some smoothing skein modules. In particular, we show that $Δ$-equivalence of tangles in a fixed surface is classified by the extended homotopy index polynomial.
A (weak chord) index is a function on the crossings of knot diagrams such that: 1) the index of a crossing does not change under Reidemeister moves; 2) crossings which can be paired by a second Reidemeister move have the same index. We show that one can omit the second condition in the case of the universal index. As a consequence, we get the following principle of indistinguishability for classical knots: crossings of the same sign in a classical knot diagram can not be distinguished by any inherent property.
Crossings of knot diagrams can be divided into classes (tribes) compatible with Reidemeister moves. Tribes can be considered as localization of the notion of weak chord index introduced by M. Xu. In the article we describe tribes of crossings for tangles in a fixed surface and show that crossings are differentiated by their component, order and homotopy types. As a consequence, we conclude that there are no nontrivial indices on diagrams of classical 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.
A parity is a labeling of the crossings of knot diagrams which is compatible with Reidemeister moves. We define the notion of parity for based matrices -- algebraic objects introduced by V. Turaev in his research of virtual strings. We present the reduced stable parity on based matrix which gives a new example of a parity of virtual knots.
We prove that the Gaussian parity on free two-dimensional knots is universal.
A parity is a rule to assign labels to the crossings of knot diagrams in a way compatible with Reidemeister moves. Parity functors can be viewed as parities which provide to each knot diagram its own coefficient group that contains parities of the crossings. In the article we describe the universal oriented parity functors for free knots and for knots in a fixed surface.
Virtual index cocycle is the 1-cochain that counts virtual crossings in the arcs of a virtual link diagram. We show how this cocycle can be used to reformulate and unify some known invariants of virtual links.
We modify the definition of the Khovanov complex for oriented links in a thickening of an oriented surface to obtain a triply graded homological link invariant with a new homotopical grading.
We give a new proof of Vassiliev's planarity criterion for framed four-valent graphs (and more generally, *-graphs), which is based on Pontryagin-Kuratowski theorem.
Functorial maps and weak parities are equivalent descriptions of rules of substitution virtual crossings for classical in diagrams of a knot in a way compatible with Reidemeister moves. We introduce the notion of maximal weak parity and describe it for knots in a given closed oriented surface. This weak parity defines a projection from virtual knots to classical knots.
We define integral odd Khovanov homology of principally unimodular bipartite graph-links.