We describe completely the link invariants constructed using Markov traces on the Yokonuma–Hecke algebras in terms of the linking matrix and the Hoste–Ocneanu–Millett–Freyd–Lickorish–Yetter–Przytycki–Traczyk (HOMFLY-PT) polynomials of sublinks.

Wreath products of nondiscrete locally compact groups are usually not locally compact groups, nor even topological groups. As a substitute introduce a natural extension of the wreath product construction to the setting of locally compact groups. Applying this construction, we disprove a conjecture of Trofimov, constructing compactly generated locally compact groups of intermediate growth without any open compact normal subgroup.

Let $T$ be a locally finite tree without vertices of degree $1$. We show that among the closed subgroups of $\text{Aut}(T)$ acting with a bounded number of orbits, the Chabauty-closure of the set of topologically simple groups is the set of groups without proper open subgroup of finite index. Moreover, if all vertices of $T$ have degree ${\geqslant}3$, then the set of isomorphism classes of topologically simple closed subgroups of $\text{Aut}(T)$ acting doubly transitively on $\unicode[STIX]{x2202}T$ carries a natural compact Hausdorff topology inherited from Chabauty. Some of our considerations are valid in the context of automorphism groups of locally finite connected graphs. Applications to Weyl-transitive automorphism groups of buildings are also presented.

Given a locally finite leafless tree $T$, various algebraic groups over local fields might appear as closed subgroups of $\operatorname{Aut}(T)$. We show that the set of closed cocompact subgroups of $\operatorname{Aut}(T)$ that are isomorphic to a quasi-split simple algebraic group is a closed subset of the Chabauty space of $\operatorname{Aut}(T)$. This is done via a study of the integral Bruhat–Tits model of $\operatorname{SL}_{2}$ and $\operatorname{SU}_{3}^{L/K}$, that we carry on over arbitrary local fields, without any restriction on the (residue) characteristic. In particular, we show that in residue characteristic $2$, the Tits index of simple algebraic subgroups of $\operatorname{Aut}(T)$ is not always preserved under Chabauty limits.

A canonical basis in the sense of Lusztig is a basis of a free module over a ring of Laurent polynomials that is invariant under a certain semilinear involution and is obtained from a fixed “standard basis” through a triangular base change matrix with polynomial entries whose constant terms equal the identity matrix. Among the better known examples of canonical bases are the Kazhdan–Lusztig basis of Iwahori–Hecke algebras (see Kazhdan and Lusztig, Representations of Coxeter groups and Hecke algebras, Invent. Math. 53 (1979), 165–184), Lusztig’s canonical basis of quantum groups (see Lusztig, Canonical bases arising from quantized enveloping algebras, J. Amer. Math. Soc. 3(2) (1990), 447–498) and the Howlett–Yin basis of induced $W$-graph modules (see Howlett and Yin, Inducing W-graphs I, Math. Z. 244(2) (2003), 415–431; Inducing W-graphs II, Manuscripta Math. 115(4) (2004), 495–511). This paper has two major theoretical goals: first to show that having bases is superfluous in the sense that canonicalization can be generalized to nonfree modules. This construction is functorial in the appropriate sense. The second goal is to show that Howlett–Yin induction of $W$-graphs is well-behaved a functor between module categories of $W$-graph algebras that satisfies various properties one hopes for when a functor is called “induction,” for example transitivity and a Mackey theorem.

For an orientable surface S of finite topological type with genus g ≥ 3, we construct a finite set of curves whose union of iterated rigid expansions is the curve graph $\mathcal{C}$(S). The set constructed, and the method of rigid expansion, are closely related to Aramayona and Leiniger's finite rigid set in Aramayona and Leininger, J. Topology Anal.5(2) (2013), 183–203 and Aramayona and Leininger, Pac. J. Math.282(2) (2016), 257–283, and in fact a consequence of our proof is that Aramayona and Leininger's set also exhausts the curve graph via rigid expansions.

This paper examines a systematic method of constructing a pair of (inter-related) root systems for arbitrary Coxeter groups from a class of nonstandard geometric representations. This method can be employed to construct generalizations of root systems for a large family of linear groups generated by involutions. We then give a characterization of Coxeter groups, among these groups, in terms of such paired root systems. Furthermore, we use this method to construct and study the paired root systems for reflection subgroups of Coxeter groups.

This paper studies the combinatorics of lattice congruences of the weak order on a finite Weyl group $W$ , using representation theory of the corresponding preprojective algebra $\unicode[STIX]{x1D6F1}$ . Natural bijections are constructed between important objects including join-irreducible congruences, join-irreducible (respectively, meet-irreducible) elements of $W$ , indecomposable $\unicode[STIX]{x1D70F}$ -rigid (respectively, $\unicode[STIX]{x1D70F}^{-}$ -rigid) modules and layers of $\unicode[STIX]{x1D6F1}$ . The lattice-theoretically natural labelling of the Hasse quiver by join-irreducible elements of $W$ is shown to coincide with the algebraically natural labelling by layers of $\unicode[STIX]{x1D6F1}$ . We show that layers of $\unicode[STIX]{x1D6F1}$ are nothing but bricks (or equivalently stones, or 2-spherical modules). The forcing order on join-irreducible elements of $W$ (arising from the study of lattice congruences) is described algebraically in terms of the doubleton extension order. We give a combinatorial description of indecomposable $\unicode[STIX]{x1D70F}^{-}$ -rigid modules for type $A$ and $D$ .

We present an algorithm for calculating the geometric intersection number of two multicurves on the $n$ -punctured disk, taking as input their Dynnikov coordinates. The algorithm has complexity $O(m^{2}n^{4})$ , where $m$ is the sum of the absolute values of the Dynnikov coordinates of the two multicurves. The main ingredient is an algorithm due to Cumplido for relaxing a multicurve.

The group of ${\mathcal{C}}^{1}$ -diffeomorphisms of any sparse Cantor subset of a manifold is countable and discrete (possibly trivial). Thompson’s groups come out of this construction when we consider central ternary Cantor subsets of an interval. Brin’s higher-dimensional generalizations $nV$ of Thompson’s group $V$ arise when we consider products of central ternary Cantor sets. We derive that the ${\mathcal{C}}^{2}$ -smooth mapping class group of a sparse Cantor sphere pair is a discrete countable group and produce this way versions of the braided Thompson groups.

If $k$ is a positive integer, a group $G$ is said to have the $FE_{k}$ -property if for each element $g$ of $G$ there exists a normal subgroup of finite index $X(g)$ such that the subgroup $\langle g,x\rangle$ is nilpotent of class at most $k$ for all $x\in X(g)$ . Thus, $FE_{1}$ -groups are precisely those groups with finite conjugacy classes ($FC$ -groups) and the aim of this paper is to extend properties of $FC$ -groups to the case of groups with the $FE_{k}$ -property for $k>1$ . The class of $FE_{k}$ -groups contains the relevant subclass $FE_{k}^{\ast }$ , consisting of all groups $G$ for which to every element $g$ there corresponds a normal subgroup of finite index $Y(g)$ such that $\langle g,U\rangle$ is nilpotent of class at most $k$ , whenever $U$ is a nilpotent subgroup of class at most $k$ of $Y(g)$ .

We show that if a finitely generated group $G$ has a nonelementary WPD action on a hyperbolic metric space $X$ , then the number of $G$ -conjugacy classes of $X$ -loxodromic elements of $G$ coming from a ball of radius $R$ in the Cayley graph of $G$ grows exponentially in $R$ . As an application we prove that for $N\geq 3$ the number of distinct $\text{Out}(F_{N})$ -conjugacy classes of fully irreducible elements $\unicode[STIX]{x1D719}$ from an $R$ -ball in the Cayley graph of $\text{Out}(F_{N})$ with $\log \unicode[STIX]{x1D706}(\unicode[STIX]{x1D719})$ of the order of $R$ grows exponentially in $R$ .

In this paper, we investigate the set of accumulation points of normalized roots of infinite Coxeter groups for certain class of their action. Concretely, we prove the conjecture proposed in [6, Section 3.2] in the case where the equipped Coxeter matrices are of type $(n-1,1)$, where $n$ is the rank. Moreover, we obtain that the set of such accumulation points coincides with the closure of the orbit of one point of normalized limit roots. In addition, in order to prove our main results, we also investigate some properties on fixed points of the action.

Let G be a group acting freely, properly discontinuously and cellularly on some finite dimensional CW-complex Σ(2n) which has the homotopy type of the 2n-sphere 𝕊2n. Then, that action induces a homomorphism G → Aut(H2n(Σ(2n))). We classify all pairs (G, φ), where G is a virtually cyclic group and φ: G → Aut(ℤ) is a homomorphism, which are realizable in the way above and the homotopy types of all possible orbit spaces as well. Next, we consider the family of all groups which have virtual cohomological dimension one and which act on some Σ(2n). Those groups consist of free groups and semi-direct products F ⋊ ℤ2 with F a free group. For a group G from the family above and a homomorphism φ: G → Aut(ℤ), we present an algebraic criterion equivalent to the realizability of the pair (G, φ). It turns out that any realizable pair can be realized on some Σ(2n) with dim Σ(2n) ≤ 2n + 1.

Let $k$ be a nonnegative integer. A subgroup $X$ of a group $G$ has normal length $k$ in $G$ if all chains between $X$ and its normal closure $X^{G}$ have length at most $k$ , and $k$ is the length of at least one of these chains. The group $G$ is said to have finite normal length if there is a finite upper bound for the normal lengths of its subgroups. The aim of this paper is to study groups of finite normal length. Among other results, it is proved that if all subgroups of a locally (soluble-by-finite) group $G$ have finite normal length in $G$ , then the commutator subgroup $G^{\prime }$ is finite and so $G$ has finite normal length. Special attention is given to the structure of groups of normal length $2$ . In particular, it is shown that finite groups with this property admit a Sylow tower.

For a group G, a weak Cayley table isomorphism is a bijection f : G → G such that f(g1g2) is conjugate to f(g1)f(g2) for all g1, g2 ∈ G. The set of all weak Cayley table isomorphisms forms a group (G) that is the group of symmetries of the weak Cayley table of G. We determine (G) for each of the 17 wallpaper groups G, and for some other crystallographic groups.

For an element g of a group G, an Engel sink is a subset ${\mathscr E}$(g) such that for every x ∈ G all sufficiently long commutators [. . .[[x, g], g], . . ., g] belong to ${\mathscr E}$(g). A finite group is nilpotent if and only if every element has a trivial Engel sink. We prove that if in a finite group G every element has an Engel sink generating a subgroup of rank r, then G has a normal subgroup N of rank bounded in terms of r such that G/N is nilpotent.

Let $\mathbb{L}\subset A\times I$ be a link in a thickened annulus. We show that its sutured annular Khovanov homology carries an action of $\mathfrak{sl}_{2}(\wedge )$ , the exterior current algebra of $\mathfrak{sl}_{2}$ . When $\mathbb{L}$ is an $m$ -framed $n$ -cable of a knot $K\subset S^{3}$ , its sutured annular Khovanov homology carries a commuting action of the symmetric group $\mathfrak{S}_{n}$ . One therefore obtains a ‘knotted’ Schur–Weyl representation that agrees with classical $\mathfrak{sl}_{2}$ Schur–Weyl duality when $K$ is the Seifert-framed unknot.

We use elementary skein theory to prove a version of a result of Stylianakis (Stylianakis, The normal closure of a power of a half-twist has infinite index in the mapping class group of a punctured sphere, arXiv:1511.02912) who showed that under mild restrictions on m and n, the normal closure of the mth power of a half-twist has infinite index in the mapping class group of a sphere with 2n punctures.

We discuss the internal structure of graph products of right LCM semigroups and prove that there is an abundance of examples without property (AR). Thereby we provide the first examples of right LCM semigroups lacking this seemingly common feature. The results are particularly sharp for right-angled Artin monoids.