We give a new criterion which guarantees that a free group admits a bi-ordering that is invariant under a given automorphism. As an application, we show that the fundamental group of the “magic manifold” is bi-orderable, answering a question of Kin and Rolfsen.

We gather evidence on a new local-global conjecture of Moretó and Rizo on values of irreducible characters of finite groups. For this we study subnormalisers and picky elements in finite groups of Lie type and determine them in many cases, for unipotent elements as well as for semisimple elements of prime power order. We also discuss subnormalisers of unipotent and semisimple elements in connected as well as in disconnected reductive linear algebraic groups.

We compare the marked length spectra of some pairs of proper and cocompact cubical actions of a nonvirtually cyclic group on $\mathrm {CAT}(0)$ cube complexes. The cubulations are required to be virtually co-special, have the same sets of convex-cocompact subgroups, and admit a contracting element. There are many groups for which these conditions are always fulfilled for any pair of cubulations, including nonelementary cubulable hyperbolic groups, many cubulable relatively hyperbolic groups, and many right-angled Artin and Coxeter groups.

For these pairs of cubulations, we study the Manhattan curve associated to their combinatorial metrics. We prove that this curve is analytic and convex, and a straight line if and only if the marked length spectra are homothetic. The same result holds if we consider invariant combinatorial metrics in which the lengths of the edges are not necessarily one. In addition, for their standard combinatorial metrics, we prove a large deviations theorem with shrinking intervals for their marked length spectra. We deduce the same result for pairs of word metrics on hyperbolic groups.

The main tool is the construction of a finite-state automaton that simultaneously encodes the marked length spectra of both cubulations in a coherent way, in analogy with results about (bi)combable functions on hyperbolic groups by Calegari-Fujiwara [14]. The existence of this automaton allows us to apply the machinery of thermodynamic formalism for suspension flows over subshifts of finite type, from which we deduce our results.

Let $G = K \rtimes \langle t \rangle $ be a finitely generated group where K is abelian and $\langle t\rangle$ is the infinite cyclic group. Let R be a finite symmetric subset of K such that $S = \{ (r,1),(0,t^{\pm 1}) \mid r \in R \}$ is a generating set of G. We prove that the spherical conjugacy ratio, and hence the conjugacy ratio, of G with respect to S is 0 unless G is virtually abelian, confirming a conjecture of Ciobanu, Cox and Martino in this case. We also show that the Baumslag–Solitar group $\mathrm{BS}(1,k)$, $k\geq 2$, has a one-sided Følner sequence F such that the conjugacy ratio with respect to F is non-zero, even though $\mathrm{BS}(1,k)$ is not virtually abelian. This is in contrast to two-sided Følner sequences, where Tointon showed that the conjugacy ratio with respect to a two-sided Følner sequence is positive if and only if the group is virtually abelian.

Jespers and Sun conjectured in [27] that if a finite group G has the property ND, i.e. for every nilpotent element n in the integral group ring $\mathbb{Z}G$ and every primitive central idempotent $e \in \mathbb{Q}G$ one still has $ne \in \mathbb{Z}G$, then at most one of the simple components of the group algebra $\mathbb{Q} G$ has reduced degree bigger than 1. With the exception of one very special series of groups we are able to answer their conjecture, showing that it is true—up to exactly one exception. To do so, we first classify groups with the so-called SN property which was introduced by Liu and Passman in their investigation of the Multiplicative Jordan Decomposition for integral group rings.

The conjecture of Jespers and Sun can also be formulated in terms of a group q(G) made from the group generated by the unipotent units, which is trivial if and only if the ND property holds for the group ring. We answer two more open questions about q(G) and notice that this notion allows to interpret the studied properties in the general context of linear semisimple algebraic groups. Here we show that q(G) is finite for lattices of big rank but can contain elements of infinite order in small rank cases.

We then study further two properties which appeared naturally in these investigations. A first which shows that property ND has a representation theoretical interpretation, while the other can be regarded as indicating that it might be hard to decide ND. Among others we show these two notions are equivalent for groups with SN.

We prove that the Drinfeld center $\mathcal {Z}(\operatorname {Vec}^{\omega }_{A_5})$ of the pointed category associated with the alternating group $A_5$ is the unique example of a perfect weakly group-theoretical modular category of Frobenius–Perron dimension less than $14400$.

We adapt the abstract concepts of abelianness and centrality of universal algebra to the context of inverse semigroups. We characterize abelian and central congruences in terms of the corresponding congruence pairs. We relate centrality to conjugation in inverse semigroups. Subsequently, we prove that solvable and nilpotent inverse semigroups are groups.

We introduce a generating function approach to the affine Brauer and Kauffman categories, and show how it allows one to efficiently recover important sets of relations in these categories. We use this formalism to deduce restrictions on possible categorical actions and show how this recovers admissibility results that have appeared in the literature on cyclotomic Birman–Murakami–Wenzl (BMW) algebras and their degenerate versions, also known as cyclotomic Nazarov–Wenzl algebras or VW algebras.

We strengthen the maximal ergodic theorem for actions of groups of polynomial growth to a form involving jump quantity, which is the sharpest result among the family of variational or maximal ergodic theorems. As two applications, we first obtain the upcrossing inequalities with exponential decay of ergodic averages and then provide an explicit bound on the convergence rate such that the ergodic averages with strongly continuous regular group actions are metastable (or locally stable) on a large interval. Before exploiting the transference techniques, we actually obtain a stronger result—the jump estimates on a metric space with a measure not necessarily doubling. The ideas or techniques involve martingale theory, non-doubling Calderón–Zygmund theory, almost orthogonality argument, and some delicate geometric argument involving the balls and the cubes on a group equipped with a not necessarily doubling measure.

We show how finiteness properties of a group and a subgroup transfer to finiteness properties of the Schlichting completion relative to this subgroup.n Further, we provide a criterion when the dense embedding of a discrete group into the Schlichting completion relative to one of its subgroups induces an isomorphism in (continuous) cohomology. As an application, we show that the continuous cohomology of the Neretin group vanishes in all positive degrees.

Given an automorphism ϕ of a group G, the map $(g,h) \mapsto gh\phi(g)^{-1}$, defines a left action of G on itself, whose orbits are called the ϕ-twisted conjugacy classes. In this paper, we consider two interesting aspects of this action for mapping class groups, namely, the existence of a dense orbit and the count of orbits. Generalising the idea of the Rokhlin property, a topological group is said to exhibit the twisted Rokhlin property if, for each automorphism ϕ of the group, there exists a ϕ-twisted conjugacy class that is dense in the group. We provide a complete classification of connected orientable infinite-type surfaces without boundaries whose mapping class groups possess the twisted Rokhlin property. Additionally, we prove that the mapping class groups of the remaining surfaces do not admit any dense ϕ-twisted conjugacy class for any automorphism ϕ. This supplements the recent work of Lanier and Vlamis on the Rokhlin property of big mapping class groups. Regarding the count of twisted conjugacy classes, we prove that the number of ϕ-twisted conjugacy classes is infinite for each automorphism ϕ of the mapping class group of a connected orientable infinite-type surface without boundary.

Let Fn be the free group on $n \geq 2$ generators. We show that for all $1 \leq m \leq 2n-3$ (respectively, for all $1 \leq m \leq 2n-4$), there exists a subgroup of ${\operatorname{Aut}(F_n)}$ (respectively, ${\operatorname{Out}(F_n)}$), which has finiteness of type Fm but not of type $FP_{m+1}(\mathbb{Q})$; hence, it is not m-coherent. In both cases, the new result is the upper bound $m= 2n-3$ (respectively, $m = 2n-4$), as it cannot be obtained by embedding direct products of free noncyclic groups, and certifies higher incoherence up to the virtual cohomological dimension and is therefore sharp. As a tool of the proof, we discuss the existence and nature of multiple inequivalent extensions of a suitable finite-index subgroup K4 of ${\operatorname{Aut}(F_2)}$ (isomorphic to the quotient of the pure braid group on four strands by its centre): the fibre of four of these extensions arise from the strand-forgetting maps on the braid groups, while a fifth is related with the Cardano–Ferrari epimorphism.

In this work, we introduce the type and typeset invariants for equicontinuous group actions on Cantor sets; that is, for generalized odometers. These invariants are collections of equivalence classes of asymptotic Steinitz numbers associated to the action. We show the type is an invariant of the return equivalence class of the action. We introduce the notion of commensurable typesets and show that two actions which are return equivalent have commensurable typesets. Examples are given to illustrate the properties of the type and typeset invariants. The type and typeset invariants are used to define homeomorphism invariants for solenoidal manifolds.

A finite group is said to be n-cyclic if it contains n cyclic subgroups. For a finite group G, the ratio of the number of cyclic subgroups to the number of subgroups is known as the cyclicity degree of the group G and is denoted by $\textit {cdeg} (G)$. In this paper, we classify all $12$-cyclic groups. We also prove that the set of cyclicity degrees for all the finite groups is dense in $[0,1]$, which solves a problem posed by Tărnăuceanu and Tóth [‘Cyclicity degrees of finite groups’, Acta Math. Hungar. 145(2) (2015), 489–504].

We study mixed identities for oligomorphic automorphism groups of countable relational structures. Our main result gives sufficient conditions for such a group to not admit a mixed identity without particular constants. We study numerous examples and prove in many cases that there cannot be a non-singular mixed identity.

In this paper, we initiate the study of higher rank Baumslag–Solitar (BS) semigroups and their related C*-algebras. We focus on two rather interesting classes—one is related to products of odometers and the other is related to Furstenberg’s $\times p, \times q$ conjecture. For the former class, whose C*-algebras are studied in [32], we here characterize the factoriality of the associated von Neumann algebras and further determine their types; for the latter, we obtain their canonical Cartan subalgebras. In the rank 1 case, we study a more general setting that encompasses (single-vertex) generalized BS semigroups. One of our main tools in this paper is from self-similar higher rank graphs and their C*-algebras.

We propose and present evidence for a conjectural global-local phenomenon concerning the p-rationality of height-zero characters. Specifically, if $\chi $ is a height-zero character of a finite group G and D is a defect group of the p-block of G containing $\chi $, then the p-rationality of $\chi $ can be captured inside the normalizer ${\mathbf {N}}_G(D)$.

We study the geometry induced on the local orbit spaces of Killing vector fields on (Riemannian) $G$-manifolds, with an emphasis on the cases $G=\textrm {Spin}(7)$ and $G=G_2$. Along the way, we classify the harmonic morphisms with one-dimensional fibres from $G_2$-manifolds to Einstein manifolds.

In 1954, B. H. Neumann discovered that if $G$ is a group in which all conjugacy classes have finite cardinality at most $m$, then the derived group $G'$ is finite of $m$-bounded order. In 2018, G. Dierings and P. Shumyatsky showed that if $|x^G| \le m$ for any commutator $x\in G$, then the second derived group $G''$ is finite and has $m$-bounded order. This paper deals with finite groups in which $|x^G|\le m$ whenever $x\in G$ is a commutator of prime power order. The main result is that $G''$ has $m$-bounded order.

For each $n\geq 1$, let $FT_n$ be the free tree monoid of rank n and $E_n$ the full extensive transformation monoid over the finite chain $\{1, 2, \ldots , n\}$. It is shown that the monoids $FT_n$ and $E_{n+1}$ satisfy the same identities. Therefore, $FT_n$ is finitely based if and only if $n\leq 3$.