arXiv research

New proof and description of commutator subgroups for free and surface groups.

Study on infinite-type surfaces shows stable commutator length is continuous and defines open subgroups.

The paper studies Riemannian metrics on Lie groups with specific commutator subgroups.

In this paper, we investigate some applications of commutator subgroups to homotopy groups and geometric groups. In particular, we show that the intersection subgroups of some canonical subgroups in certain link groups modulo their symmetric commutator subgroups are isomorphic to the (higher) homotopy groups. This give…

Let $WB_n$ be the welded (or loop) braid group on n strands, $n \geq 3$. We investigate commutator subgroup of $WB_n$. We prove that the commutator subgroup $WB_n'$ is finitely generated and Hopfian. We show that $WB_n'$ is perfect if and only if $n \geq 5$. We also compute finite presentation for $FWB_n'$, the commuta…

Study of Hermitian structures on Lie groups with 2D commutator subgroups.

Let $VB_n$, resp. $WB_n$ denote the virtual, resp. welded, braid group on $n$ strands. We study their commutator subgroups $VB_n' = [VB_n, VB_n]$ and, $WB_n' = [WB_n, WB_n]$ respectively. We obtain a set of generators and defining relations for these commutator subgroups. In particular, we prove that $VB_n'$ is finitel…

Study of commutator subgroups and crystallographic quotients of virtual groups.

We solved a conjecture about braid group quotients being alternating groups.

For $n$ at least 7 and $n$ equal to 5, we give generating sets of size 2 for the commutator subgroup of the braid group on $n$ strands. These generating sets are of the smallest possible cardinality. For $n$ equal to 4 or 6, we give generating sets of size three. We also prove that the commutator subgroup of the braid …

Study on homeomorphism groups of telescoping 2-manifolds showing strong distortion.

Let G be a finitely presented group, and G' its commutator subgroup. Let C be the Cayley graph of G' with all commutators in G as generators. Then C is large scale simply connected. Furthermore, if G is a torsion-free nonelementary word-hyperbolic group, C is one-ended. Hence (in this case), the asymptotic dimension of…

Researchers found that the twist subgroup can be generated by two elements for certain surface genera.

Each element of the commutator subgroup of a group can be represented as a product of commutators. The minimal number of factors in such a product is called the commutator length of the element. The commutator length of a group is defined as the supremum of commutator lengths of elements of its commutator subgroup. We …

Investigates BNSR invariants of link and knot groups, proving specific properties.

In this paper, we give a proof of the result of Brandenbursky and Kȩdra which says that the commutator subgroup of the infinite braid group admits stably unbounded norms. Moreover, we observe the norms which we constructed are equivalent to the biinvariant word norm studied by Brandenbursky and Kȩdra.

The paper extends quasimorphisms on subgroups to larger groups.

Characterizes groups arising as fixed subgroups of RAAG automorphisms.

Study Riemann-Finsler geometry on tangent bundles of Lie groups with 2D commutator subgroup.

The study examines spaces of non-extendable quasimorphisms for group pairs.

We give a complete classification of homomorphisms from the commutator subgroup of the braid group on $n$ strands to the braid group on $n$ strands when $n$ is at least 7. In particular, we show that each nontrivial homomorphism extends to an automorphism of the braid group on $n$ strands. This answers four questions o…

We give a necessary and sufficient condition for orbits of commutative Hermann actions and actions of the direct product of two symmetric subgroups on compact Lie groups to be biharmonic in terms of symmetric triad with multiplicities. By this criterion, we determine all the proper biharmonic submanifolds in irreducibl…

Study mixed commutator lengths in wreath products and their relation to general ranks.

Delta finite-type invariants are defined analogously to finite-type invariants, using delta moves instead of crossing changes. We show that they are closely related to the lower central series of the commutator subgroup of the pure braid group.

Let $Γ$ be a nonelementary discrete subgroup of $\mathrm{Sp}(n,1)$. We show that if the trace skew-field of $Γ$ is commutative, then $Γ$ stabilizes a copy of complex hyperbolic subspace of quaternionic hyperbolic $n$-space.

Let $Γ$ be a finite index subgroup of the mapping class group $MCG(Σ)$ of a closed orientable surface $Σ$, possibly with punctures. We give a precise condition (in terms of the Nielsen-Thurston decomposition) when an element $g\inΓ$ has positive stable commutator length. In addition, we show that in these situations th…

Study finds smallest non-trivial quotients of braid groups and commutator subgroups.

The paper characterizes crystallographic groups derived from virtual braid and twin groups.

According to the Tits conjecture proved by Crisp and Paris, [CP], the subgroups of the braid group generated by proper powers of the Artin elements are presented by the commutators of generators which are powers of commuting elements. Hence they are naturally presented as right-angled Artin groups. The case of subgroup…

The study examines subgroups of braid groups related to symmetric groups.

We prove that every term of the lower central series and Johnson filtrations of the Torelli subgroups of the mapping class group and the automorphism group of a free group are finitely generated in a stable range. This was originally proved for the commutator subgroup by Ershov-He.

Uniform spectral gap found for stable commutator length in hyperbolic 2-orbifolds.

Let n be greater than or equal to 3. We prove that the quaternion group of order 8 is realised as a subgroup of the sphere braid group B\_n(S^2) if and only if n is even. If n is divisible by 4 then the commutator subgroup of B\_n(S^2) contains such a subgroup. Further, for all n greater than or equal to 3, B\_n(S^2) c…

We show that on a nonorientable surface of genus at least 7 any power of a Dehn twist is equal to a single commutator in the mapping class group and the same is true, under additional assumptions, for the twist subgroup, and also for the extended mapping class group of an orientable surface of genus at least 3.

An important theorem of Ling states that if $G$ is any factorizable non-fixing group of homeomorphisms of a paracompact space then its commutator subgroup $[G,G]$ is perfect. This paper is devoted to further studies on the algebraic structure (e.g. uniform perfectness, uniform simplicity) of $[G,G]$ and $[\tilde G,\til…

We develop a new criterion to tell if a group $G$ has the maximal gap of $1/2$ in stable commutator length (scl). For amalgamated free products $G = A \star_C B$ we show that every element $g$ in the commutator subgroup of $G$ which does not conjugate into $A$ or $B$ satisfies $scl(g) \geq 1/2$, provided that $C$ embed…

We give a complete list of orbifolds uniformised by discrete non-elementary two-generator subgroups of PSL(2,C) without invariant plane whose generators and their commutator have real traces.

The paper studies fibering properties of RACGs and random subcomplexes of buildings.

For any group, there is a natural (pseudo-)norm on the vector space B1 of real (group) 1-boundaries, called the stable commutator length norm. This norm is closely related to, and can be thought of as a relative version of, the Gromov (pseudo)-norm on (ordinary) homology. We show that for a free group, the unit ball of…

Generic Hitchin representations generate dense subgroups.

For the free group $F_r$ on $r>1$ generators (respectively, the free product $G_1 * G_2$ of two nontrivial finite groups $G_1$ and $G_2$), we obtain the asymptotic for the number of conjugacy classes of commutators in $F_r$ (respectively, $G_1 * G_2$) with a given word length in a fixed set of free generators (respecti…

Let $TW_n$ be the twin group on $n$ arcs, $n \geq 2$. The group $TW_{m+2}$ is isomorphic to Grothendieck's $m$-dimensional cartographical group $\mathcal C_m$, $m \geq 1$. In this paper we give a finite presentation for the commutator subgroup $TW_{m+2}'$, and prove that $TW_{m+2}'$ has rank $2m-1$. We derive that $TW_…

Survey on invariant quasimorphisms and their relation to stable commutator length.

The study shows that several properties are not profinite invariants.

We show that the normal closure of any periodic element of the mapping class group of a non-orientable surface whose order is greater than 2 contains the commutator subgroup, which for $g\geq 7$ is equal to the twist subgroup, and provide necessary and sufficient conditions for the normal closures of involutions to con…

We construct two infinite families of ball quotient compactifications birational to bielliptic surfaces. For each family, the volume spectrum of the associated noncompact finite volume ball quotient surfaces is the set of all positive integral multiples of $\frac{8}{3}π^{2}$, i.e., they attain all possible volumes of c…

We define a quasihomomorphism from braid groups to the concordance group of knots and examine its properties and consequences of its existence. In particular, we provide a relation between the stable four ball genus in the concordance group and the stable commutator length in braid groups, and produce examples of infin…

The study characterizes subgroups of braid groups and their finite quotients.