arXiv subjects
Publications and source records attributed to V. O. Manturov.
In the present paper we develop the techniques suggested in \cite{ManturovNikonov} and the photography principle \cite{ManturovWan} for constructing an invariant of 3-manifolds based on Ptolemy relation. We show that a direct implementation of the techniques leads to a trivial invariant and discuss how this approach can be improved to circumvent the difficulties encountered.
The motivation for this work is to construct a map from classical knots to virtual ones. What we get in the paper is a series of maps from knots in the full torus (thickened torus) to flat-virtual knots. We give definition of flat-virtual knots and presents Alexander-like polynomial and (picture-valued) Kauffman bracket for them.
Using the recoupling theory, we define a representation of the pure braid group and show that it is not trivial.
Virtual knot theory has experienced a lot of nice features that did not appear in classical knot theory, e.g., parity and picture-valued invariants. In the present paper we use virtual knot theory effects to construct new representations of classical (pure) braids.
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 and other picture-valued invariants are not strong enough.
The spaces of triangulations of a given manifold have been widely studied. The celebrated theorem of Pachner~\cite{Pachner} says that any two triangulations of a given manifold can be connected by a sequence of bistellar moves, or Pachner moves, see also~\cite{GKZ,Nabutovsky}. In the present paper we consider groups which naturally appear when considering the set of triangulations with fixed number of simplices of maximal dimension. There are three ways of introducing this groups: the geometrical one, which depends on the metric, the topological one, and the combinatorial one. The second one can be thought of as a ``braid group'' of the manifold and, by definition, is an invariant of the topological type of manifold; in a similar way, one can construct the smooth version. We construct a series of groups $Γ_{n}^{k}$ corresponding to Pachner moves of $(k-2)$-dimensional manifolds and construct a canonical map from the braid group of any $k$-dimensional manifold to $Γ_{n}^{k}$ thus getting topological/smooth invariants of these manifolds.
In the present paper, we develop a picture formalism which gives rise to an invariant that dominates several known invariants of classical and virtual knots: the Jones polynomial, the Kuperberg bracket, and the normalised arrow polynomial.
We construct a group $Γ_{n}^{4}$ corresponding to the motion of points in $\mathbb{R}^{3}$ from the point of view of Delaunay triangulations. We study homomorphisms from pure braids on $n$ strands to the product of copies of $Γ_{n}^{4}$. We will also study the group of pure braids in $\mathbb{R}^{3}$, which is described by a fundamental group of the restricted configuration space of $\mathbb{R}^{3}$, and define the group homomorphism from the group of pure braids in $\mathbb{R}^{3}$ to $Γ_{n}^{4}$. In the end of this paper we give some comments about relations between the restricted configuration space of $\mathbb{R}^{3}$ and triangulations of the 3-dimensional ball and Pachner moves.
In the present paper, we construct a monomorphism from (Artin) pure braid group $PB_{n}$ into a group, which is `bigger' than $PB_{n}$. Roughly speaking, this mapping is defined on words of braids by adding `new generators' between generators of $PB_{n}$. By this mapping we can get a new invariant for classical braids. As one of application of this invariant, we will show examples, which are minimal words in $PB_{n}$ and the minimality can be shown by the invariant.
In \cite{Manturov} the second author defined the $k$-free braid group with $n$ strands $G_{n}^{k}$. These groups appear naturally as groups describing dynamical systems of $n$ particles in some "general position". Moreover, in \cite{ManturovNikonov} the second author and I.M.Nikonov showed that $G_{n}^{k}$ is closely related classical braids. The authors showed that there are homomorphisms from the pure braids group on $n$ strands to $G_{n}^{3}$ and $G_{n}^{4}$ and they defined homomorphisms from $G_{n}^{k}$ to the free product of $\mathbb{Z}_{2}$. That is, there are invariants for pure free braids by $G_{n}^{3}$ and $G_{n}^{4}$. On the other hand in \cite{FedoseevManturov} D.A.Fedoseev and the second author studied classical braids with addition structures: parity and points on each strands. The authors showed that the parity, which is an abstract structure, has geometric meaning -- points on strands. In \cite{Kim}, the first author studied $G_{n}^{2}$ with parity and points. the author construct a homomorphism from $G_{n+1}^{2}$ to the group $G_{n}^{2}$ with parity. In the present paper, we investigate the groups $G_{n}^{3}$ and extract new powerful invariants of classical braids from $G_{n}^{3}$. In particular, these invariants allow one to distinguish the non-triviality of Brunnian braids.
In the present paper, we define an invariant of free links valued in a free product of some copies of $\mathbb{Z}_{2}$. In \cite{Ma2} the second named author constructed a connection between classical braid group and group presentation generated by elements corresponding to horizontal trisecants. This approach does not apply to links nor tangles because it requires that when counting trisecants, we have the same number of points at each level. For general tangles, trisecants passing through one component twice may occur. Free links can be obtained from tangles by attaching two end points of each component. We shall construct an invariant of free links and free tangles valued in groups as follows: we associate elements in the groups with 4-valent vertices of free tangles(or free links). For a free link with enumerated component, we `read' all the intersections when traversing a given component and write them as a group element. The problem of `pure crossings' of a component with itself by using the following statement: {\em if two diagrams with no pure crossings are equivalent then they are equivalent by a sequence of moves where no intermediate diagram has a pure crossing.} This statement is a result of a sort that an equivalence relation within a subset coincides with the equivalence relation induced from a larger set and it is interesting by itself.
In the present paper we give a simple proof of the fact that the set of virtual links with orientable atoms is closed. More precisely, the theorem states that if two virtual diagrams $K$ and $K'$ have orientable atoms and they are equivalent by Reidemeister moves, then there is a sequence of diagrams $K = K_1 \to...\to K_n=K'$ all having orientable atoms where $K_i$ is obtained from $K_{i-1}$ by a Reidemeister move. The initial proof heavily relies on the topology of virtual links and was published in \cite{IM}. Our proof is based on the notion of parity which was introduced by the second named author in 2009. We split the set of crossings of a virtual link diagram into sets of {\it odd} and {\it even} in accordance with a fixed rule. The rule must only satisfy several conditions of Reidemeister's type. Then one can construct functorial mappings of link diagrams by using parity. The concept of parity allows one to introduce new invariants and strengthen well-known ones \cite{Ma1}.
We provide an explicit algorithm to calculate invariant tensors for the adjoint representation of the simple Lie algebra $sl(n)$, as well as arbitrary representation in terms of roots. We also obtain explicit formulae for the adjoint representations of the orthogonal and symplectic Lie algebras $so(n)$ and $sp(n)$.