For a subring $R$ of the rational numbers, we study $R$-localization functors in the local homotopy theory of simplicial presheaves on a small site and then in ${\mathbb {A}}^1$-homotopy theory. To this end, we introduce and analyze two notions of nilpotence for spaces in ${\mathbb {A}}^1$-homotopy theory, paying attention to future applications for vector bundles. We show that $R$-localization behaves in a controlled fashion for the nilpotent spaces we consider. We show that the classifying space $BGL_n$ is ${\mathbb {A}}^1$-nilpotent when $n$ is odd, and analyze the (more complicated) situation where $n$ is even as well. We establish analogs of various classical results about rationalization in the context of ${\mathbb {A}}^1$-homotopy theory: if $-1$ is a sum of squares in the base field, ${\mathbb {A}}^n \,{\setminus}\, 0$ is rationally equivalent to a suitable motivic Eilenberg–Mac Lane space, and the special linear group decomposes as a product of motivic spheres.

We study reductive subgroups H of a reductive linear algebraic group G – possibly nonconnected – such that H contains a regular unipotent element of G. We show that under suitable hypotheses, such subgroups are G-irreducible in the sense of Serre. This generalises results of Malle, Testerman and Zalesski. We obtain analogous results for Lie algebras and for finite groups of Lie type. Our proofs are short, conceptual and uniform.

The k-gonal models of random groups are defined as the quotients of free groups on n generators by cyclically reduced words of length k. As k tends to infinity, this model approaches the Gromov density model. In this paper, we show that for any fixed $d_0 \in (0, 1)$ , if positive k-gonal random groups satisfy Property (T) with overwhelming probability for densities $d >d_0$ , then so do jk-gonal random groups, for any $j \in \mathbb{N}$ . In particular, this shows that for densities above 1/3, groups in 3k-gonal models satisfy Property (T) with probability 1 as n approaches infinity.

Let $G$ be a finite group. An element $g \in G$ is called a vanishing element in $G$ if there exists an irreducible character $\chi$ of $G$ such that $\chi (g)=0$. The size of a conjugacy class of $G$ containing a vanishing element is called a vanishing conjugacy class size of $G$. In this paper, we give an affirmative answer to the problem raised by Bianchi, Camina, Lewis and Pacifici about the solvability of finite groups with exactly one vanishing conjugacy class size.

We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof).

In this paper, we consider the $T$- and $V$-versions, ${T_\tau }$ and ${V_\tau }$, of the irrational slope Thompson group ${F_\tau }$ considered in J. Burillo, B. Nucinkis and L. Reeves [An irrational-slope Thompson's group, Publ. Mat. 65 (2021), 809–839]. We give infinite presentations for these groups and show how they can be represented by tree-pair diagrams similar to those for $T$ and $V$. We also show that ${T_\tau }$ and ${V_\tau }$ have index-$2$ normal subgroups, unlike their original Thompson counterparts $T$ and $V$. These index-$2$ subgroups are shown to be simple.

We show continuity under equivariant Gromov–Hausdorff convergence of the critical exponent of discrete, non-elementary, torsion-free, quasiconvex-cocompact groups with uniformly bounded codiameter acting on uniformly Gromov-hyperbolic metric spaces.

Let $G= SL_{n+1}$ be defined over an algebraically closed field of characteristic $p > 2$. For each $n \geq 1$, there exists a singular block in the category of $G_1$-modules, which contains precisely $n+1$ irreducible modules. We are interested in the ‘lift’ of this block to the category of $G_1T$-modules. Imposing only mild assumptions on $p$, we will perform a number of calculations in this setting, including a complete determination of the Loewy series for the baby Verma modules and all possible extensions between the irreducible modules. In the case where $p$ is extremely large, we will also explicitly compute the Loewy series for the indecomposable projective modules.

Let $\pi $ be a set of primes. We say that a group G satisfies $D_{\pi }$ if G possesses a Hall $\pi $ -subgroup H and every $\pi $ -subgroup of G is contained in a conjugate of H. We give a new $D_{\pi }$ -criterion following Wielandt’s idea, which is a generalisation of Wielandt’s and Rusakov’s results.

A group is $\frac 32$-generated if every non-trivial element is part of a generating pair. In 2019, Donoven and Harper showed that many Thompson groups are $\frac 32$-generated and posed five questions. The first of these is whether there exists a 2-generated group with every proper quotient cyclic that is not $\frac 32$-generated. This is a natural question given the significant work in proving that no finite group has this property, but we show that there is such an infinite group. The groups we consider are a family of finite index subgroups $G_1,\, G_2,\, \ldots$ of the Houghton group $\operatorname {FSym}(\mathbb {Z})\rtimes \mathbb {Z}$. We then show that $G_1$ and $G_2$ are $\frac 32$-generated and investigate the related notion of spread for these groups. We are able to show that they have finite spread at least 2. These are, therefore, the first infinite groups to be shown to have finite positive spread, and the first to be shown to have spread at least 2 (other than $\mathbb {Z}$ and the Tarski monsters, which have infinite spread). As a consequence, for each $k\in \{2,\, 3,\, \ldots \}$, we also have that $G_{2k}$ is index $k$ in $G_2$ but $G_2$ is $\frac 32$-generated whereas $G_{2k}$ is not.

We introduce and study model-theoretic connected components of rings as an analogue of model-theoretic connected components of definable groups. We develop their basic theory and use them to describe both the definable and classical Bohr compactifications of rings. We then use model-theoretic connected components to explicitly calculate Bohr compactifications of some classical matrix groups, such as the discrete Heisenberg group ${\mathrm {UT}}_3({\mathbb {Z}})$, the continuous Heisenberg group ${\mathrm {UT}}_3({\mathbb {R}})$, and, more generally, groups of upper unitriangular and invertible upper triangular matrices over unital rings.

In this paper we consider two piecewise Riemannian metrics defined on the Culler–Vogtmann outer space which we call the entropy metric and the pressure metric. As a result of work of McMullen, these metrics can be seen as analogs of the Weil–Petersson metric on the Teichmüller space of a closed surface. We show that while the geometric analysis of these metrics is similar to that of the Weil–Petersson metric, from the point of view of geometric group theory, these metrics behave very differently than the Weil–Petersson metric. Specifically, we show that when the rank r is at least 4, the action of $\operatorname {\mathrm {Out}}(\mathbb {F}_r)$ on the completion of the Culler–Vogtmann outer space using the entropy metric has a fixed point. A similar statement also holds for the pressure metric.

If G is permutation group acting on a finite set $\Omega $ , then this action induces a natural action of G on the power set $\mathscr{P}(\Omega )$ . The number $s(G)$ of orbits in this action is an important parameter that has been used in bounding numbers of conjugacy classes in finite groups. In this context, $\inf ({\log _2 s(G)}/{\log _2 |G|})$ plays a role, but the precise value of this constant was unknown. We determine it where G runs over all permutation groups not containing any ${{\textrm {A}}}_l, l> 4$ , as a composition factor.

A noncomplete graph is $2$ -distance-transitive if, for $i \in \{1,2\}$ and for any two vertex pairs $(u_1,v_1)$ and $(u_2,v_2)$ with the same distance i in the graph, there exists an element of the graph automorphism group that maps $(u_1,v_1)$ to $(u_2,v_2)$ . This paper determines the family of $2$ -distance-transitive Cayley graphs over dihedral groups, and it is shown that if the girth of such a graph is not $4$ , then either it is a known $2$ -arc-transitive graph or it is isomorphic to one of the following two graphs: $ {\mathrm {K}}_{x[y]}$ , where $x\geq 3,y\geq 2$ , and $G(2,p,({p-1})/{4})$ , where p is a prime and $p \equiv 1 \ (\operatorname {mod}\, 8)$ . Then, as an application of the above result, a complete classification is achieved of the family of $2$ -geodesic-transitive Cayley graphs for dihedral groups.

A linear étale representation of a complex algebraic group G is given by a complex algebraic G-module V such that G has a Zariski-open orbit in V and $\dim G=\dim V$ . A current line of research investigates which reductive algebraic groups admit such étale representations, with a focus on understanding common features of étale representations. One source of new examples arises from the classification theory of nilpotent orbits in semisimple Lie algebras. We survey what is known about reductive algebraic groups with étale representations and then discuss two classical constructions for nilpotent orbit classifications due to Vinberg and to Bala and Carter. We determine which reductive groups and étale representations arise in these constructions and we work out in detail the relation between these two constructions.

We show that the automorphism groups of right-angled Artin groups whose defining graphs have at least three vertices are not relatively hyperbolic. We then show that the outer automorphism groups are also not relatively hyperbolic, except for a few exceptional cases. In these cases, the outer automorphism groups are virtually isomorphic to either a finite group, an infinite cyclic group or $\mathrm {GL}_2(\mathbb {Z})$.

We obtain a nontrivial upper bound for the multiplicative energy of any sufficiently large subset of a subvariety of a finite algebraic group. We also find some applications of our results to the growth of conjugates classes, estimates of exponential sums, and restriction phenomenon.

Let G be a $\sigma $ -finite abelian group, i.e., $G=\bigcup _{n\geq 1} G_n$ where $(G_n)_{n\geq 1}$ is a nondecreasing sequence of finite subgroups. For any $A\subset G$ , let $\underline {\mathrm {d}}( A ):=\liminf _{n\to \infty }\frac {|A\cap G_n|}{|G_n|}$ be its lower asymptotic density. We show that for any subsets A and B of G, whenever $\underline {\mathrm {d}}( A+B )<\underline {\mathrm {d}}( A )+\underline {\mathrm {d}}( B )$ , the sumset $A+B$ must be periodic, that is, a union of translates of a subgroup $H\leq G$ of finite index. This is exactly analogous to Kneser’s theorem regarding the density of infinite sets of integers. Further, we show similar statements for the upper asymptotic density in the case where $A=\pm B$ . An analagous statement had already been proven by Griesmer in the very general context of countable abelian groups, but the present paper provides a much simpler argument specifically tailored for the setting of $\sigma $ -finite abelian groups. This argument relies on an appeal to another theorem of Kneser, namely the one regarding finite sumsets in an abelian group.

No group has exactly one or two nonpower subgroups. We classify groups containing exactly three nonpower subgroups and show that there is a unique finite group with exactly four nonpower subgroups. Finally, we show that given any integer k greater than $4$ , there are infinitely many groups with exactly k nonpower subgroups.

We show that if G is an amenable group and H is a hyperbolic group, then the free product $G\ast H$ is weakly amenable. A key ingredient in the proof is the fact that $G\ast H$ is orbit equivalent to $\mathbb{Z}\ast H$ .