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$.

We study the freeness problem for multiplicative subgroups of $\operatorname{SL}_2(\mathbb{Q})$. For $q = r/p$ in $\mathbb{Q} \cap (0,4)$, where p is prime and $\gcd(r,p)=1$, we initiate the study of the algebraic structure of the group $\Delta_q$ generated by

\[A = \begin{pmatrix}1 & 0 \\ 1 & 1\end{pmatrix} \text{ and } Q_q = \begin{pmatrix}1 & q \\ 0 & 1\end{pmatrix}.\]

$\Delta_{r/p} = \overline{\Gamma}_1^{(p)}(r)$

$\operatorname{SL}_2(\mathbb{Z}[{1}/{p}])$

$r \leq 4$

$r = 5$

$r \in \{ p-1, p+1, (p+1)/2 \}$

$\Delta_{r/p}$

$J_2(r)$

$\operatorname{SL}_2(\mathbb{Z}[{1}/{p}])$

$J_2(r)$

We establish some interactions between uniformly recurrent subgroups (URSs) of a group G and cosets topologies $\tau _{\mathcal {N}}$ on G associated to a family $\mathcal {N}$ of normal subgroups of G. We show that when $\mathcal {N}$ consists of finite index subgroups of G, there is a natural closure operation $\mathcal {H} \mapsto \mathrm {cl}_{\mathcal {N}}(\mathcal {H})$ that associates to a URS $\mathcal {H}$ another URS $\mathrm {cl}_{\mathcal {N}}(\mathcal {H})$, called the $\tau _{\mathcal {N}}$-closure of $\mathcal {H}$. We give a characterization of the URSs $\mathcal {H}$ that are $\tau _{\mathcal {N}}$-closed in terms of stabilizer URSs. This has consequences on arbitrary URSs when G belongs to the class of groups for which every faithful minimal profinite action is topologically free. We also consider the largest amenable URS $\mathcal {A}_G$ and prove that for certain coset topologies on G, almost all subgroups $H \in \mathcal {A}_G$ have the same closure. For groups in which amenability is detected by a set of laws (a property that is variant of the Tits alternative), we deduce a criterion for $\mathcal {A}_G$ to be a singleton based on residual properties of G.

An action of a group G on a set X is said to be quasi-n-transitive if the diagonal action of G on $X^n$ has only finitely many orbits. We show that branch groups, a special class of groups of automorphisms of rooted trees, cannot act quasi-2-transitively on infinite sets.

Given a symmetric monoidal category ${\mathcal C}$ with product $\sqcup $, where the neutral element for the product is an initial object, we consider the poset of $\sqcup $-complemented subobjects of a given object X. When this poset has finite height, we define decompositions and partial decompositions of X which are coherent with $\sqcup $, and order them by refinement. From these posets, we define complexes of frames and partial bases, augmented Bergman complexes and related ordered versions. We propose a unified approach to the study of their combinatorics and homotopy type, establishing various properties and relations between them. Via explicit homotopy formulas, we will be able to transfer structural properties, such as Cohen-Macaulayness.

In well-studied scenarios, the poset of $\sqcup $-complemented subobjects specializes to the poset of free factors of a free group, the subspace poset of a vector space, the poset of nondegenerate subspaces of a vector space with a nondegenerate form, and the lattice of flats of a matroid. The decomposition and partial decomposition posets, the complex of frames and partial bases together with the ordered versions, either coincide with well-known structures, generalize them, or yield new interesting objects. In these particular cases, we provide new results along with open questions and conjectures.

In this article, we study the Johnson homomorphisms of basis-conjugating automorphism groups of free groups. We construct obstructions for the surjectivity of the Johnson homomorphisms. By using it, we determine their cokernels of degree up to four and give further observations for degree greater than four. As applications, we give the affirmative answer to the Andreadakis problem for the basis-conjugating automorphism groups of free groups at degree four. Moreover, we calculate twisted first cohomology groups of the braid-permutation automorphism groups of free groups.

Let ${\mathscr {G}} $ be a special parahoric group scheme of twisted type over the ring of formal power series over $\mathbb {C}$, excluding the absolutely special case of $A^{(2)}_{2\ell }$. Using the methods and results of Zhu, we prove a duality theorem for general ${\mathscr {G}} $: there is a duality between the level one twisted affine Demazure modules and the function rings of certain torus fixed point subschemes in affine Schubert varieties for ${\mathscr {G}} $. Along the way, we also establish the duality theorem for $E_6$. As a consequence, we determine the smooth locus of any affine Schubert variety in the affine Grassmannian of ${\mathscr {G}} $. In particular, this confirms a conjecture of Haines and Richarz.

We give a notion of boundary pair $(\mathcal{B}_-,\mathcal{B}_+)$ for measured groupoids which generalizes the one introduced by Bader and Furman [BF14] for locally compact groups. In the case of a semidirect groupoid $\mathcal{G}=\Gamma \ltimes X$ obtained by a probability measure preserving action $\Gamma \curvearrowright X$ of a locally compact group, we show that a boundary pair is exactly $(B_- \times X, B_+ \times X)$, where $(B_-,B_+)$ is a boundary pair for $\Gamma$. For any measured groupoid $(\mathcal{G},\nu )$, we prove that the Poisson boundaries associated to the Markov operators generated by a probability measure equivalent to $\nu$ provide other examples of our definition. Following Bader and Furman [BF], we define algebraic representability for an ergodic groupoid $(\mathcal{G},\nu )$. In this way, given any measurable representation $\rho \,:\,\mathcal{G} \rightarrow H$ into the $\kappa$-points of an algebraic $\kappa$-group $\mathbf{H}$, we obtain $\rho$-equivariant maps $\mathcal{B}_\pm \rightarrow H/L_\pm$, where $L_\pm =\mathbf{L}_\pm (\kappa )$ for some $\kappa$-subgroups $\mathbf{L}_\pm \lt \mathbf{H}$. In the particular case when $\kappa =\mathbb{R}$ and $\rho$ is Zariski dense, we show that $L_\pm$ must be minimal parabolic subgroups.

The trigonometric double affine Hecke algebra $\mathbf {H}_c$ for an irreducible root system depends on a family of complex parameters c. Given two families of parameters c and $c'$ which differ by integers, we construct the translation functor from $\mathbf {H}_{c}\text{-}{\mathrm{Mod}}$ to $\mathbf {H}_{c'}\text{-}{\mathrm{Mod}}$ and prove that it induces equivalence of derived categories. This is a trigonometric counterpart of a theorem of Losev on the derived equivalences for rational Cherednik algebras.

Let W be a simply laced Weyl group of finite type and rank n. If W has type $E_7$, $E_8$ or $D_n$ for n even, then the root system of W has subsystems of type $nA_1$. This gives rise to an irreducible Macdonald representation of W spanned by n-roots, which are products of n orthogonal roots in the symmetric algebra of the reflection representation. We prove that in these cases, the set of all maximal sets of orthogonal positive roots has the structure of a quasiparabolic set in the sense of Rains–Vazirani. The quasiparabolic structure can be described in terms of certain quadruples of orthogonal positive roots which we call crossings, nestings and alignments. This leads to nonnesting and noncrossing bases for the Macdonald representation, as well as some highly structured partially ordered sets. We use the $8$-roots in type $E_8$ to give a concise description of a graph that is known to be non-isomorphic but quantum isomorphic to the orthogonality graph of the $E_8$ root system.

We prove that Thompson’s group T and, more generally, all the Higman–Thompson groups $T_n$ have quadratic Dehn function.

We investigate semigroups S which have the property that every subsemigroup of $S\times S$ which contains the diagonal $\{ (s,s)\colon s\in S\}$ is necessarily a congruence on S. We call such an S a DSC semigroup. It is well known that all finite groups are DSC, and easy to see that every DSC semigroup must be simple. Building on this, we show that for broad classes of semigroups, including periodic, stable, inverse and several well-known types of simple semigroups, the only DSC members are groups. However, it turns out that there exist nongroup DSC semigroups, which we obtain by utilising a construction introduced by Byleen for the purpose of constructing interesting congruence-free semigroups. Such examples can additionally be regular or bisimple.

A subgroup X of a group G is said to be transitively normal if X is normal in any subgroup Y of G such that $X\leq Y$ and X is subnormal in Y. We investigate the structure of generalised soluble groups with dense transitively normal subgroups, that is, groups in which every nonempty open interval in their subgroup lattice contains a transitively normal subgroup. In particular, it will be proved that nonperiodic generalised soluble groups with dense transitively normal subgroups are abelian.

We strengthen two results of Moretó. We prove that the index of the Fitting subgroup is bounded in terms of the degrees of the irreducible monomial Brauer characters of the finite solvable group G and it is also bounded in terms of the average degree of the irreducible Brauer characters of G that lie over a linear character of the Fitting subgroup.

We compute the co-multiplication of the algebraic Morava K-theory for split orthogonal groups. This allows us to compute the decomposition of the Morava motives of generic maximal orthogonal Grassmannians and to compute a Morava K-theory analogue of the J-invariant in terms of the ordinary (Chow) J-invariant.

Let g be an element of a group G. For a positive integer n, let $R_n(g)$ be the subgroup generated by all commutators $[\ldots [[g,x],x],\ldots ,x]$ over $x\in G$, where x is repeated n times. Similarly, $L_n(g)$ is defined as the subgroup generated by all commutators $[\ldots [[x,g],g],\ldots ,g]$, where $x\in G$ and g is repeated n times. In the literature, there are several results showing that certain properties of groups with small subgroups $R_n(g)$ or $L_n(g)$ are close to those of Engel groups. The present article deals with orderable groups in which, for some $n\geq 1$, the subgroups $R_n(g)$ are polycyclic. Let $h\geq 0$, $n>0$ be integers and G be an orderable group in which $R_n(g)$ is polycyclic with Hirsch length at most h for every $g\in G$. It is proved that there are $(h,n)$-bounded numbers $h^*$ and $c^*$ such that G has a finitely generated normal nilpotent subgroup N with $h(N)\leq h^*$ and $G/N$ nilpotent of class at most $c^*$. The analogue of this theorem for $L_n(g)$ was established in 2018 by Shumyatsky [‘Orderable groups with Engel-like conditions’, J. Algebra 499 (2018), 313–320].