arXiv research

Study shows shorter words for group elements in surface groups and RAAGs.

Study on when the lower central series stops for various groups, including braid groups.

We determine the lower central series and corresponding residual properties for braid groups and pure braid groups of orientable surfaces.

We determine the lower central and derived series of the n-string braid groups B_n(RP^2) of the real projective plane. We are motivated in part by the study of Fadell-Neuwirth short exact sequences, but the problem is interesting in its own right. For n=1,2, B_n(RP^2) is finite and its lower central and derived series …

Extends Milnor's invariants to 3-manifolds, solving an open problem.

We give various estimates of the minimal number of self-intersections of a nontrivial element of the kth term of the lower central series and derived series of the fundamental group of a surface. As an application, we obtain a new topological proof of the fact that free groups and fundamental groups of closed surfaces …

We study groups of some virtual knots with small number of crossings and prove that there is a virtual knot with long lower central series which, in particular, implies that there is a virtual knot with residually nilpotent group. This gives a possibility to construct invariants of virtual knots using quotients by term…

In 1964, John Stallings established an important relationship between the low-dimensional homology of a group and its lower central series. We establish a similar relationship between the low-dimensional homology of a group and its derived series. We also define a torsion-free-solvable completion of a group that is ana…

Study on braid groups' congruence subgroups and their crystallographic quotients.

We consider exact sequences and lower central series of surface braid groups and we explain how they can prove to be useful for obtaining representations for surface braid groups. In particular, using a completely algebraic framework, we describe the notion of extension of a representation introduced and studied recent…

Let M be a compact surface, either orientable or non-orientable. We study the lower central and derived series of the braid and pure braid groups of M in order to determine the values of n for which B\_n(M) and P\_n(M) are residually nilpotent or residually soluble. First, we solve this problem for the case where M is …

By using computer assistance, we prove that the fundamental group of the complement of a real complexified line arrangement is not determined by its intersection lattice, providing a counter-example for a problem of Falk and Randell. We also deduce that the torsion of the lower central series quotients is not combinato…

New curves share invariant up to any fixed order.

Generalising previous results on classical braid groups by Artin and Lin, we determine the values of m, n $\in$ N for which there exists a surjection between the n-and m-string braid groups of an orientable surface without boundary. This result is essentially based on specific properties of their lower central series, …

Study various series of groups and their Lie algebras in split extensions.

We give a refined value group for the collection of triple linking numbers of links in the 3-sphere. Given two links with the same pairwise linking numbers we show that they have the same refined triple linking number collection if and only if the links admit homeomorphic surface systems. Moreover these two conditions …

In the paper of Yu. A. Mikhalchishina for an arbitrary virtual link $L$ three groups $G_{1,r}(L)$, $r>0$, $G_{2}(L)$ and $G_{3}(L)$ were defined. In the present paper these groups for the virtual trefoil are investigated. The structure of these groups are found out and the fact that some of them are not isomorphic to e…

``What aspects of a group are unchanged, or stable, under homology equivalences''? The model theorem in this regard is the 1963 result of J. Stallings that the lower central series is preserved under any integral homological equivalence of groups. Various other theorems of this nature have since appeared. Stallings him…

We analyze the degree-two part of the Torelli group's associated graded.

Let Gamma_k be the lower central series of a surface group Gamma of a compact surface S with one boundary component. A simple question to ponder is whether a mapping class of S can be determined to be pseudo-Anosov given only the data of its action on Gamma/Gamma_k for some k. In this paper, to each mapping class f whi…

We prove that groups that are mod-p-homology equivalent are isomorphic modulo any term of their derived p-series, in precise analogy to Stallings' 1963 result for the lower-central p-series. Similarly spaces that are mod-p-homology equivalent have fundamental groups that are isomorphic modulo any term of their p-derive…

We give new information about the relationship between the low-dimensional homology of a group and its derived series. This yields information about how the low-dimensional homology of a topological space constrains its fundamental group. Applications are given to detecting when a set of elements of a group generates a…

The mapping class group of a closed surface of genus $g$ is an extension of the Torelli group by the symplectic group. This leads to two natural problems: (a) compute (stably) the symplectic decomposition of the lower central series of the Torelli group and (b) compute (stably) the Poincaré polynomial of the cohomology…

We show that the Vassiliev invariants of a knot K, are obstructions to finding a regular Seifert surface, S, whose complement looks "simple" (e.g. like the complement of a disc) to the lower central series of its fundamental group.

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.

Study non-standard bi-orders on punctured torus bundles, matching standard ones in key subgroups.

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.

Let X and Y be finite-type CW-complexes (X connected, Y simply connected), such that the rational cohomology ring of Y is a k-rescaling of the rational cohomology ring of X. Assume H^*(X,Q) is a Koszul algebra. Then, the homotopy Lie algebra pi_*(Omega Y) tensor Q equals, up to k-rescaling, the graded rational Lie alge…

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 is finitely generated in a linear stable range. This was originally proved for the second terms by Ershov and He.

This paper continues our exploration of homology cobordism of 3-manifolds using our recent results on Cheeger-Gromov rho-invariants associated to amenable representations. We introduce a new type of torsion in 3-manifold groups we call hidden torsion, and an algebraic approximation we call local hidden torsion. We cons…

Our purpose is to explore, in the context of loop ensembles on finite graphs, the relations between combinatorial group theory, loops topology, loop measures, and signatures of discrete paths. We determine the distributions of the loop homotopy class, and of the first and second homologies, defined by the lower central…

Study on Milnor fibrations of arrangements with trivial algebraic monodromy.

In the context of finite type invariants, Stanford introduced a family of equivalence relations on knots defined by the lower central series of the pure braid groups and characterized the finite type invariants in terms of the structure of the braid groups. It is known that this equivalence and Ohyama's equivalence def…

This paper contributes to the literature on international stock market comovements and contagion. The novelty of our approach lies in application of wavelet tools to high-frequency financial market data, which allows us to understand the relationship between stock markets in a time-frequency domain. While major part of…

We show that if the lower central series of the fundamental group of a closed oriented $3$-manifold stabilizes then the maximal nilpotent quotient is a cyclic group, a quaternion $2$-group cross an odd order cyclic group, or a Heisenberg group. These groups are well known to be precisely the nilpotent fundamental group…

Let $H<\mathrm{PSL}_2(\mathbb{Z})$ be a finite index normal subgroup which is contained in a principal congruence subgroup, and let $Φ(H)\neq H$ denote a term of the lower central series or the derived series of $H$. In this paper, we prove that the commensurator of $Φ(H)$ in $\mathrm{PSL}_2(\mathbb{R})$ is discrete. W…

We show that for an $n$-component, $n$-bridge link and a positive integer $m$, the following is true: If the longitudes of $L$ lie in the $(m+2)$-th term of the lower central series of the link group then all the finite type invariants of orders $\leq m$ for $L$ are the same as these of the $n$-component unlink.

The theme of this paper is that algebraic complexity implies dynamical complexity for pseudo-Anosov homeomorphisms of a closed surface S_g of genus g. Penner proved that the logarithm of the minimal dilatation for a pseudo-Anosov homeomorphism of S_g tends to zero at the rate 1/g. We consider here the smallest dilatati…

The paper constructs finite generating sets for complex algebraic structures.

We show that two knots have matching Vassiliev invariants of order less than n if and only if they are equivalent modulo the nth group of the lower central series of some pure braid group, thus characterizing Vassiliev's knot invariants in terms of the structure of the braid groups. We also prove some results about kno…

We investigate the resonance varieties, lower central series ranks, and Chen ranks of the pure virtual braid groups and their upper-triangular subgroups. As an application, we give a complete answer to the 1-formality question for this class of groups. In the process, we explore various connections between the Alexande…

Let F_n be the free group on n generators. Define IA_n to be group of automorphisms of F_n that act trivially on first homology. The Johnson homomorphism in this setting is a map from IA_n to its abelianization. The first goal of this paper is to determine how much this map contributes to the second rational cohomology…

We prove that the n th pure braid group of a nonorientable surface (closed or with boundary, but different from RP2) is residually 2-finite. Consequently, this group is residually nilpotent. The key ingredient in the closed case is the notion of p-almost direct product, which is a generalization of the notion of almost…

New homomorphisms from homology cylinders to torsion modules via LMO functor.

In this mostly survey paper, we investigate the resonance varieties, the lower central series ranks, and the Chen ranks, as well as the residual and formality properties of several families of braid-like groups: the pure braid groups $P_n$, the welded pure braid groups $wP_n$, the virtual pure braid groups $vP_n$, as w…

For a given free group $F$ of arbitrary rank (possibly infinite), and its subgroup $G$, we address the question whether a lower central subgroup of $G$ can contain a lower central subgroup of $F$. We show that the answer is no if $G$ does not normally generate $F$. The question comes from a study of Hirzebruch-type inv…

We show, finitely generated rational $\mathsf{VIC}_{\mathbb Q}$-modules and $\mathsf{SI}_{\mathbb Q}$-modules are uniformly representation stable and all their submodules are finitely generated. We use this to prove two conjectures of Church and Farb, which state that the quotients of the lower central series of the To…

We obtain several restrictions on the terms of the ascending central series of a nilpotent Lie algebra $\mathfrak g$ under the presence of a complex structure $J$. In particular, we find a bound for the dimension of the center of $\mathfrak g$ when it does not contain any non-trivial $J$-invariant ideal. Thanks to thes…