Source author record

Vassily Olegovich Manturov

Vassily Olegovich Manturov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

31works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

31 published item(s)

preprint2022arXiv

New groups and invariants of classical braids valued in $G_{n}^{2}$

The aim of the present note is to enhance groups $G_{n}^{3}$ and to construct new invariants of classical braids. In particular, we construct invariants valued in $G_{N}^{2}$ groups. In groups $G_{n}^{2}$, the identity problem is solved, besides, their structure is much simpler than that of $G_{n}^{3}$. I am grateful to Huyue Yan for pointing out a small mistake in the previous version.

preprint2015arXiv

An elementary proof that classical braids embed into virtual braids

The aim of the present note is to show that the natural map from classical braids to virtual braids is an inclusion; this proof does not use any complete invariants of classical braids; it is based on the projection from virutal braids to classical braids (similar to the one given in \cite{Projection}); this projection is the idenitiy map on the set of virtual braids. The projection is well defined not only for the virtual braid group but also for the quotient group of the virtual (pure) braid group by the so-called virtualization move. The idea of this projection is closely related to the notion of parity and to the groups $G_{n}^{k}$, introduced by the author.

preprint2015arXiv

Non-Reidemeister Knot Theory and Its Applications in Dynamical Systems, Geometry, and Topology

Classical knot theory deals with {\em diagrams} and {\em invariants}. By means of horizontal {\em trisecants}, we construct a new theory of classical braids with invariants valued in {\em pictures}. These pictures are closely related to diagrams of the initial object. The main tool is the notion of {\em free $k$-braid group}. In the simplest case, for free $2$-braids, the word problem and the conjugacy problem can be solved by finding the minimal representative, which can be thought of as a graph, and is unique, as such. We prove a general theorem about invariants of dynamical systems which are valued in such groups and hence, in pictures. We describe various applications of the above theory: invariants of weavings (collections of skew lines in $\R^{3}$), and many other objects in geometry and topology. In general, provided that for some topological objects (considered up to isotopy, homotopy etc) some easy axioms (coming from some dimensional constraints) hold, one can construct similar dynamical systems and picture-valued invariants.

preprint2015arXiv

On braids and groups $G_n^k$

In [V.O. Manturov, Non-reidemeister knot theory and its applications in dynamical systems, geometry, and topology, arxiv:1501.05208] the first named author gave the definition of $k$-free braid groups $G_n^k$. Here we establish connections between free braid groups, classical braid groups and free groups: we describe explicitly the homomorphism from (pure) braid group to $k$-free braid groups for important cases $k=3,4$. On the other hand, we construct a homomorphism from (a subgroup of) free braid groups to free groups. The relations established would allow one to construct new invariants of braids and to define new powerful and easily calculated complexities for classical braid groups.

preprint2015arXiv

One-Term Parity Bracket For Braids

In previous papers, the author realized the following principle for many knot theories: if a knot diagram is complicated enough then it reproduces itself, i.e., is a subdiagram of any other diagram equivalent to it. This principle is realized by diagram-valued invariants [ ] of knots such that [K]=K. It turns out that in the case of free braids, the same principle can be realized an unexpectedly easy way by a one-term invariant formula.

preprint2014arXiv

A Graphical Construction of the sl(3) Invariant for Virtual Knots

By generalizing the Kuperberg sl(3) bracket, we construct a graph-valued analogue of the Homflypt sl(3) invariant for virtual knots. The restriction of this invariant for classical knots coincides with the usual Homflypt sl(3) invariant, and for virtual knots and graphs it provides new information that allows one to prove minimality theorems and to construct new invariants for free knots. We formulate this new invariant for virtual braids as well, and show that it leads to the construction of a trace function on the virtual Hecke algebra. Finally, we show that the Penrose coloring bracket is a special case of the Kuperberg bracket, and we raise new questions about the extension of the present work.

preprint2014arXiv

Framed 4-valent Graph Minor Theory I: Intoduction. A Planarity Criterion and Linkless Embeddability

The present paper is the first one in the sequence of papers about a simple class of {\em framed $4$-graphs}; the goal of the present paper is to collect some well-known results on planarity and to reformulate them in the language of {\em minors}. The goal of the whole sequence is to prove analogues of the Robertson-Seymour-Thomas theorems for framed $4$-graphs: namely, we shall prove that many minor-closed properties are classified by finitely many excluded graphs. From many points of view, framed $4$-graphs are easier to consider than general graphs; on the other hand, framed $4$-graphs are closely related to many problems in graph theory.

preprint2014arXiv

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 sense that the invariant is the knot itself seen as a combinatorial structure. The paper generalizes these structures to virtual braids and discusses the relationship with the original Penrose bracket for graph colorings.

preprint2014arXiv

Reidemeister Moves and Groups

Recently, the author discovered an interesting class of knot-like objects called free knots. These purely combinatorial objects are equivalence classes of Gauss diagrams modulo Reidemeister moves (the same notion in the language of words was introduced by Turaev, who thought all free knots to be trivial). As it turned out, these new objects are highly non-trivial, and even admit non-trivial cobordism classes. An important issue is the existence of invariants where a diagram evaluates to itself which makes such objects "similar" to free groups: an element has its minimal representative which "lives inside" any representative equivalent to it.

preprint2013arXiv

Checkerboard embeddings of *-graphs into nonorientable surfaces

This paper considers *-graphs in which all vertices have degree 4 or 6, and studies the question of calculating the genus of nonorientable surfaces into which such graphs may be embedded. In a previous paper by the authors, the problem of calculating whether a given *-graph in which all vertices have degree 4 or 6 admits a Z2-homologically trivial embedding into a given orientable surface was shown to be equivalent to a problem on matrices. Here we extend those results to nonorientable surfaces. The embeddability condition that we obtain yields quadratic-time algorithms to determine whether a *-graph with all vertices of degree 4 or 6 admits a Z2-homologically trivial embedding into the projective plane or into the Klein bottle.

preprint2012arXiv

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.

preprint2012arXiv

Markov Theorem For Free Links

The notion of free link is a generalized notion of virtual link. In the present paper we define the group of free braids, prove the Alexander theorem that all free links can be obtained as closures of free braids and prove a Markov theorem, which gives necessary and sufficient conditions for two free braids to have the same free link closure. Our result is expected to be useful in study the topology invariants for free knots and links.

preprint2012arXiv

On Chromatic Numbers of Integer and Rational Lattices

In the present paper, we have found new upper bounds for chromatic numbers for integer lattices and some rational spaces and other lattices. In particular, we have proved that for any concrete critical distance $d$ the chromatic number of $\Z^{n}$ with critical distance $\sqrt{2d}$ has a polynomial growth in $n$ with exponent less than or equal to $d$ (sometimes this estimate is sharp). The same statement is true not only in the Euclidean norm, but also in any $l_{p}$ norm. Besides, we have given concrete estimates for some small dimensions as well as upper bounds for the chromatic number of $\Q_{p}^{n}$, where by $\Q_{p}$ we mean the ring of all rational numbers having denominators not divisible by some prime numbers.

preprint2012arXiv

Parity and Exotic Combinatorial Formulae for Finite-Type Invariants of Virtual Knots

The present paper produces examples of Gauss diagram formulae for virtual knot invariants which have no analogue in the classical knot case. These combinatorial formulae contain additional information about how a subdiagram is embedded in a virtual knot diagram. The additional information comes from the second author's recently discovered notion of parity. For a parity of flat virtual knots, the new combinatorial formulae are Kauffman finite-type invariants. However, many of the combinatorial formulae possess exotic properties. It is shown that there exists an integer valued virtualization invariant combinatorial formula of order n for every n (i.e. it is stable under the map which changes the direction of one arrow but preserves the sign). Hence, it is not of Goussarov-Polyak-Viro finite-type. Moreover, every homogeneous Polyak-Viro combinatorial formula admits a decomposition into an "even" part and an "odd" part. For the Gaussian parity, neither part of the formula is of GPV finite-type when it is nonconstant on the set of classical knots. In addition, eleven new non-trivial combinatorial formulae of order 2 are presented which are not of GPV finite-type.

preprint2011arXiv

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.

preprint2011arXiv

Virtual Knot Invariants Arising From Parities

In \cite {FrKn,Sbornik} it was shown that in some knot theories the crucial role is played by {\em parity}, i.e.\ a function on crossings valued in $\{0,1\}$ and behaving nicely with respect to Reidemeister moves. Any parity allows one to construct functorial mappings from knots to knots, to refine many invariants and to prove minimality theorems for knots. In the present paper, we generalise the notion of parity and construct parities with coefficients from an abelian group rather than $\mathbb{Z}_2$ and investigate them for different knot theories. For some knot theories we show that there is the universal parity, i.e.\ such a parity that any other parity factors through it. We realise that in the case of flat knots all parities originate from homology groups of underlying surfaces and, at the same time, allow one to "localise" the global homological information about the ambient space at crossings. We prove that there is only one non-trivial parity for free knots, the Gaussian parity. At the end of the paper we analyse the behaviour of some invariants constructed for some modifications of parities.

preprint2010arXiv

Free Knots, Groups, and Finite-Type Invariants

Based on a recently introduced by the author notion of {\em parity}, in the present paper we construct a sequence of invariants (indexed by natural numbers $m$) of long virtual knots, valued in certain simply-defined group ${\tilde G}_{m}$ (the Cayley graphs of these groups are represented by grids in the $(m+1)$-space); the conjugacy classes of elements of $G_{m}$ play the role of invariants of {\em compact} virtual knots. By construction, all invariants do not change under {\em virtualization}. Factoring the group algebra of the corresponding group by certain polynomial relations leads to finite order invariants of (long) knots which do not change under {\em virtualization

preprint2010arXiv

Graph-Links

The present paper is a review of the current state of Graph-Link Theory (graph-links are also closely related to homotopy classes of looped interlacement graphs), dealing with a generalisation of knots obtained by translating the Reidemeister moves for links into the language of intersection graphs of chord diagrams. In this paper we show how some methods of classical and virtual knot theory can be translated into the language of abstract graphs, and some theorems can be reproved and generalised to this graphical setting. We construct various invariants, prove certain minimality theorems and construct functorial mappings for graph-knots and graph-links. In this paper, we first show non-equivalence of some graph-links to virtual links.

preprint2010arXiv

On two categorifications of the arrow polynomial for virtual knots

Two categorifications are given for the arrow polynomial, an extension of the Kauffman bracket polynomial for virtual knots. The arrow polynomial extends the bracket polynomial to infinitely many variables, each variable corresponding to an integer {\it arrow number} calculated from each loop in an oriented state summation for the bracket. The categorifications are based on new gradings associated with these arrow numbers, and give homology theories associated with oriented virtual knots and links via extra structure on the Khovanov chain complex. Applications are given to the estimation of virtual crossing number and surface genus of virtual knots and links. Key Words: Jones polynomial, bracket polynomial, extended bracket polynomial, arrow polynomial, Miyazawa polynomial, Khovanov complex, Khovanov homology, Reidemeister moves, virtual knot theory, differential, partial differential, grading, dotted grading, vector grading.

preprint2010arXiv

Parity and Cobordisms of Free Knots

In the present paper, we construct a simple invariant which provides a sliceness obstruction for {\em free knots}. This obstruction provides a new point of view to the problem of studying cobordisms of curves immersed in 2-surfaces, a problem previously studied by Carter, Turaev, Orr, and others. The obstruction to sliceness is constructed by using the notion of {\em parity} recently introduced by the author into the study of virtual knots and their modifications. This invariant turns out to be an obstruction for cobordisms of higher genera with some additional constraints.