Showing 1–3 of 3 results for author: Chterental, O

Distinguishing virtual braids in polynomial time

Authors: Oleg Chterental

Abstract: For $n \geq 2$ we describe an $O(l^3n)$-time algorithm that determines if a length $l$ virtual braid word in the standard presentation of the virtual braid group ${\mathcal VB}_n$ represents the trivial virtual braid. For $n \geq 2$ we describe an $O(l^3n)$-time algorithm that determines if a length $l$ virtual braid word in the standard presentation of the virtual braid group ${\mathcal VB}_n$ represents the trivial virtual braid. △ Less

Submitted 5 June, 2017; originally announced June 2017.

Comments: 11 pages, 6 figures. Comments are welcome

Yoshikawa moves on marked graphs via Roseman's theorem

Authors: Oleg Chterental

Abstract: Yoshikawa [Yo] conjectured that a certain set of moves on marked graph diagrams generates the isotopy relation for surface links in ${\mathbb R}^4$, and this was proved by Swenton [S] and Kearton and Kurlin [KK]. In this paper, we find another proof of this fact for the case of 2-links (surface links with spherical components). The proof involves a version of Roseman's theorem [R] for branch-free… ▽ More Yoshikawa [Yo] conjectured that a certain set of moves on marked graph diagrams generates the isotopy relation for surface links in ${\mathbb R}^4$, and this was proved by Swenton [S] and Kearton and Kurlin [KK]. In this paper, we find another proof of this fact for the case of 2-links (surface links with spherical components). The proof involves a version of Roseman's theorem [R] for branch-free broken surface diagrams of 2-links and a construction of marked graphs from branch-free broken surface diagrams. △ Less

Submitted 26 April, 2017; v1 submitted 25 January, 2017; originally announced January 2017.

Comments: v2 added references, various improvements, v3 removed Section 5. 28 pages, 29 figures. Comments are welcome

Virtual braids and virtual curve diagrams

Authors: Oleg Chterental

Abstract: There is a well known injective homomorphism $φ:{\mathcal {B}}_n \rightarrow {\rm Aut}(F_n)$ from the classical braid group ${\mathcal {B}}_n$ into the automorphism group of the free group $F_n$, first described by Artin. This homomorphism induces an action of ${\mathcal {B}}_n$ on $F_n$ that can be recovered by considering the braid group as the mapping class group of $H_n$ (an upper half plane w… ▽ More There is a well known injective homomorphism $φ:{\mathcal {B}}_n \rightarrow {\rm Aut}(F_n)$ from the classical braid group ${\mathcal {B}}_n$ into the automorphism group of the free group $F_n$, first described by Artin. This homomorphism induces an action of ${\mathcal {B}}_n$ on $F_n$ that can be recovered by considering the braid group as the mapping class group of $H_n$ (an upper half plane with $n$ punctures) acting naturally on the fundamental group of $H_n$. Kauffman introduced virtual links as an extension of the classical notion of a link in ${\mathbb {R}}^3$. As in the classical case, there is a corresponding group ${\mathcal {VB}}_n$ of virtual braids. In this paper, we will generalize the above action to ${\mathcal {VB}}_n$. We will define a set, ${\mathcal {VCD}}_n$, of "virtual curve diagrams" and define an action of ${\mathcal {VB}}_n$ on ${\mathcal {VCD}}_n$. Then, we will show that, as in Artin's case, the action is faithful. This provides a combinatorial solution to the word problem in ${\mathcal {VB}}_n$. Bardakov and Manturov described an extension $ψ:{\mathcal {VB}}_n\rightarrow {\rm Aut}(F_{n+1})$ of the Artin homomorphism, and raised the question of its injectivity. We find that $ψ$ is not injective by exhibiting a non-trivial virtual braid in the kernel when $n=4$. △ Less

Submitted 1 June, 2015; v1 submitted 23 November, 2014; originally announced November 2014.

Comments: 25 pages, 32 figures