arXiv ScienceSearch

arXiv · 1605.00073

The group $G_{n}^{2}$ with a parity and with points

Abstract

In~\cite{Ma} Manturov studied groups $G_{n}^{k}$ for fixed integers $n$ and $k$ such that $k<n$. In particular, $G_{n}^{2}$ is isomorphic to the group of free braids of $n$-stands. In~\cite{KiMa} Manturov and the author studied an invariant valued in free groups not only for free braids but also for free tangles, which is derived from the group $G_{n}^{2}$. On the other hands, in~\cite{FeMa} Manturov and Fedoseev studied groups $Br_{2}^{n}$ of virtual braids with parity and groups $Br_{d}^{n}$ of virtual braids with dots. They showed that there is a monomorphism from $Br_{2}^{n}$ to $Br_{d}^{n}$ and it is deduced that a parity of the braid can be represented by a geometric object, dots on strands. In this paper we study $G_{n}^{2}$ with structures, which are corresponded to parity and points on a braid, which are denoted by $G_{n,p}^{2}$ and $G_{n,d}^{2}$, respectively. In section 3, it is proved that there is a monomorphism from $G_{n}^{2}$ to $G_{n,p}^{2}$ and that there is a monomorphism from $G_{n,p}^{2}$ to $G_{n,d}^{2}$. By the homomorphism from $G_{n}^{2}$ to $G_{n,p}^{2}$, it can be deduced that a given parity of a braid has geometric representation, which is the number of points on the braid. In section 4, it can be proved that for each element $\beta$ in $G_{n,d}^{2}$, an element in $G_{n+1}^{2}$ obtained by adding another strand by tracing points on $\beta$. That is, a parity of free braid of $n$-stands is represented not only by points on strands, but also by an $n+1$-th strand. Conversely, for a braid of $n+1$-strands, a braid of $n$-strands is obtained by deleting one strand of the braid of $n+1$-strand. Finally, we will simply discuss about the way to adjust the previous observations to know whether a given braid is Brunnian or not.

Explore related subjects

Keep this discovery

BibTeXRIS

S. Kim. 2016-04-30. The group $G_{n}^{2}$ with a parity and with points. https://arxiv.org/abs/1605.00073

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Bar cohomology of links: beyond Milnor invariants

We develop bar cohomology of link complements as an invariant of links in homology spheres. In this setting, bar cohomology is a Hopf algebra which is calculable using surfaces and their intersection curves in a link complement. In this first in a sequence of works, we introduce the invariant and show that it defines a canonical subspace of the tensor Hopf algebra, which already encodes information about Milnor's link invariants and provides geometrically significant information beyond them.

math.GT

Homological lifts of Arnold invariants $J^-$ and $J^+$

Viro's Euler-integral polynomial $P_C(q)$ and the Lanzat--Polyak quantized-curvature polynomial $I_q(C)$ refine Arnold's invariants $J^-$ and $J^+$ for generic immersed one-component plane curves. We construct homological lifts of both. The bigraded region homology retains the singular homology of every connected Alexander-index region; its graded Euler characteristic is $P_C(q)$. The triply graded smoothing-circle homology is generated by the oriented circles of the orientation-preserving smoothing and decategorifies to the smoothing term in $I_q(C)$. Keeping the actual region summands and the boundary regions of every smoothing circle gives a homological refinement of the oriented smoothing configuration, or Seifert state. An infinite family proves strictness: both polynomial data and the ordinary homological lifts agree, while the component-graded region homology and the branch-decomposed circle homology distinguish every pair. Further constructions recover the full $I_q(C)$ by a vertex complex, realize the local change of its curvature integral by edge homology, and give a canonical two-state homology for unoriented curves. Viro described his Euler-integral formula as an analogue of face state-sum formulas for quantum knot polynomials. Through the categorifications developed here, we obtain one concrete homological face-state-sum model realizing that analogy.

math.GT