We introduce a new algebra $\mathcal {U}=\dot {\mathrm {\mathbf{U}}}_{0,N}(L\mathfrak {sl}_n)$ called the shifted $0$-affine algebra, which emerges naturally from studying coherent sheaves on n-step partial flag varieties through natural correspondences. This algebra $\mathcal {U}$ has a similar presentation to the shifted quantum affine algebra defined by Finkelberg-Tsymbaliuk. Then, we construct a categorical $\mathcal {U}$-action on a certain 2-category arising from derived categories of coherent sheaves on n-step partial flag varieties. As an application, we construct a categorical action of the affine $0$-Hecke algebra on the bounded derived category of coherent sheaves on the full flag variety.

For a group G, a subgroup $U \leqslant G$ and a group A such that $\mathrm {Inn}(G) \leqslant A \leqslant \mathrm {Aut}(G)$, we say that U is an A-covering group of G if $G = \bigcup _{a\in A}U^a$. A theorem of Jordan (1872), implies that if G is a finite group, $A = \mathrm {Inn}(G)$ and U is an A-covering group of G, then $U = G$. Motivated by a question concerning Kronecker classes of field extensions, Neumann and Praeger (1990) conjectured that, more generally, there is an integer function f such that if G is a finite group and U is an A-covering subgroup of G, then $|G:U| \leqslant f(|A:\mathrm {Inn}(G)|)$. A key piece of evidence for this conjecture is a theorem of Praeger [‘Kronecker classes of fields and covering subgroups of finite groups’, J. Aust. Math. Soc. 57 (1994), 17–34], which asserts that there is a two-variable integer function g such that if G is a finite group and U is an A-covering subgroup of G, then $|G:U|\leqslant g(|A:\mathrm {Inn}(G)|,c)$, where c is the number of A-chief factors of G. Unfortunately, the proof of this theorem contains an error. In this paper, using a different argument, we give a correct proof of the theorem.

It is shown that if $\{H_n\}_{n \in \omega}$ is a sequence of groups without involutions, with $1 \lt |H_n| \leq 2^{\aleph_0}$, then the topologist’s product modulo the finite words is (up to isomorphism) independent of the choice of sequence. This contrasts with the abelian setting: if $\{A_n\}_{n \in \omega}$ is a sequence of countably infinite torsion-free abelian groups, then the isomorphism class of the product modulo sum $\prod_{n \in \omega} A_n/\bigoplus_{n \in \omega} A_n$ is dependent on the sequence.

Let (W, S) be a Coxeter system of rank n, and let $p_{(W, S)}(t)$ be its growth function. It is known that $p_{(W, S)}(q^{-1}) \lt \infty$ holds for all $n \leq q \in \mathbb{N}$. In this paper, we will show that this still holds for $q = n-1$, if (W, S) is 2-spherical. Moreover, we will prove that $p_{(W, S)}(q^{-1}) = \infty$ holds for $q = n-2$, if the Coxeter diagram of (W, S) is the complete graph. These two results provide a complete characterization of the finiteness of the growth function in the case of 2-spherical Coxeter systems with a complete Coxeter diagram.

For a finite group G, let $\operatorname { {AD}}(G)$ denote the Fourier norm of the antidiagonal in $G\times G$. The author showed recently in [‘An explicit minorant for the amenability constant of the Fourier algebra’, Int. Math. Res. Not. IMRN 2023 (2023), 19390–19430] that $\operatorname { {AD}}(G)$ coincides with the amenability constant of the Fourier algebra of G and is equal to the normalized sum of the cubes of the character degrees of G. Motivated by a gap result for amenability constants from Johnson [‘Non-amenability of the Fourier algebra of a compact group’, J. Lond. Math. Soc. (2) 50 (1994), 361–374], we determine exactly which numbers in the interval $[1,2]$ arise as values of $\operatorname { {AD}}(G)$. As a by-product, we show that the set of values of $\operatorname { {AD}}(G)$ does not contain all its limit points. Some other calculations or bounds for $\operatorname { {AD}}(G)$ are given for familiar classes of finite groups. We also indicate a connection between $\operatorname { {AD}}(G)$ and the commuting probability of G, and use this to show that every finite group G satisfying $\operatorname { {AD}}(G)< {61}/{15}$ must be solvable; here, the value ${61}/{15}$ is the best possible.

We study quotients of mapping class groups of punctured spheres by suitable large powers of Dehn twists, showing an analogue of Ivanov’s theorem for the automorphisms of the corresponding quotients of curve graphs. Then we use this result to prove quasi-isometric rigidity of these quotients, answering a question of Behrstock, Hagen, Martin, and Sisto in the case of punctured spheres. Finally, we show that the automorphism groups of our quotients of mapping class groups are “small”, as are their abstract commensurators. This is again an analogue of a theorem of Ivanov about the automorphism group of the mapping class group.

In the process, we develop techniques to extract combinatorial data from a quasi-isometry of a hierarchically hyperbolic space, and use them to give a different proof of a result of Bowditch about quasi-isometric rigidity of pants graphs of punctured spheres.

We show that the group $ \langle a,b,c,t \,:\, a^t=b,b^t=c,c^t=ca^{-1} \rangle$ is profinitely rigid amongst free-by-cyclic groups, providing the first example of a hyperbolic free-by-cyclic group with this property.

Using a recent result of Bowden, Hensel and Webb, we prove the existence of a homeomorphism with positive stable commutator length in the group of homeomorphisms of the Klein bottle which are isotopic to the identity.

A classical result of Reinhold Baer states that a group G = XN, which is the product of two normal supersoluble subgroups X and N, is supersoluble if and only if Gʹ is nilpotent. This result has been weakened in [6] for a finite group G: in fact, we do not need that both X and N are normal, but only that N is normal and X permutes with every maximal subgroup of each Sylow subgroup of N.

In our paper, we improve the result mentioned above by showing that we only need X to permute with the maximal subgroups of the non-cyclic Sylow subgroups of N. Also, we extend this result (and several others) to relevant classes of infinite groups.

The central idea behind our results stems from grasping the key aspects of what happens in [6]. It turns out that tensor products play a very crucial role, and it is precisely this shift of perspective that makes it possible not only to improve those results but also extend them to infinite groups.

Given a word $w(x_{1},\ldots,x_{r})$, i.e. an element in the free group on r elements, and an integer $d\geq1$, we study the characteristic polynomial of the random matrix $w(X_{1},\ldots,X_{r})$, where $X_{i}$ are Haar-random independent $d\times d$ unitary matrices. If $c_{m}(X)$ denotes the mth coefficient of the characteristic polynomial of X, our main theorem implies that there is a positive constant $\epsilon(w)$, depending only on w, such that

\[|\mathbb{E}(c_{m}(w(X_{1},\ldots,X_{r})))|\leq\binom{d}{m}^{\!\!1-\epsilon(w)},\]

$1\leq m\leq d$

$\mathbb{E}(c_{m}(w))$

We prove several results showing that every locally finite Borel graph whose large-scale geometry is ‘tree-like’ induces a treeable equivalence relation. In particular, our hypotheses hold if each component of the original graph either has bounded tree-width or is quasi-isometric to a tree, answering a question of Tucker-Drob. In the latter case, we moreover show that there exists a Borel quasi-isometry to a Borel forest, under the additional assumption of (componentwise) bounded degree. We also extend these results on quasi-treeings to Borel proper metric spaces. In fact, our most general result shows treeability of countable Borel equivalence relations equipped with an abstract wallspace structure on each class obeying some local finiteness conditions, which we call a proper walling. The proof is based on the Stone duality between proper wallings and median graphs (i.e., CAT(0) cube complexes). Finally, we strengthen the conclusion of treeability in these results to hyperfiniteness in the case where the original graph has one (selected) end per component, generalizing the same result for trees due to Dougherty–Jackson–Kechris.

Let W be a group endowed with a finite set S of generators. A representation $(V,\rho )$ of W is called a reflection representation of $(W,S)$ if $\rho (s)$ is a (generalized) reflection on V for each generator $s \in S$. In this article, we prove that for any irreducible reflection representation V, all the exterior powers $\bigwedge ^d V$, $d = 0, 1, \dots , \dim V$, are irreducible W-modules, and they are non-isomorphic to each other. This extends a theorem of R. Steinberg which is stated for Euclidean reflection groups. Moreover, we prove that the exterior powers (except for the 0th and the highest power) of two non-isomorphic reflection representations always give non-isomorphic W-modules. This allows us to construct numerous pairwise non-isomorphic irreducible representations for such groups, especially for Coxeter groups.

In a paper from 1980, Shelah constructed an uncountable group all of whose proper subgroups are countable. Assuming the continuum hypothesis, he constructed an uncountable group G that moreover admits an integer n satisfying that for every uncountable $X\subseteq G$, every element of G may be written as a group word of length n in the elements of X. The former is called a Jónsson group, and the latter is called a Shelah group.

In this paper, we construct a Shelah group on the grounds of $\textsf {{ZFC}}$ alone – that is, without assuming the continuum hypothesis. More generally, we identify a combinatorial condition (coming from the theories of negative square-bracket partition relations and strongly unbounded subadditive maps) sufficient for the construction of a Shelah group of size $\kappa $, and we prove that the condition holds true for all successors of regular cardinals (such as $\kappa =\aleph _1,\aleph _2,\aleph _3,\ldots $). This also yields the first consistent example of a Shelah group of size a limit cardinal.

We prove that any compact R-analytic group is linear when R is a pro-p domain of characteristic zero.

We give a complete description of Rees quotients of free inverse semigroups given by positive relators that satisfy nontrivial identities, including identities in signature with involution. They are finitely presented in the class of all inverse semigroups. Those that satisfy a nontrivial semigroup identity have polynomial growth and can be given by an irredundant presentation with at most four relators. Those that satisfy a nontrivial identity in signature with involution, but which do not satisfy a nontrivial semigroup identity, have exponential growth and fall within two infinite families of finite presentations with two generators. The first family involves an unbounded number of relators and the other involves presentations with at most four relators of unbounded length. We give a new sufficient condition for which a finite set X of reduced words over an alphabet $A\cup A^{-1}$ freely generates a free inverse subsemigroup of $FI_A$ and use it in our proofs.

Given a presentation of a monoid $M$, combined work of Pride and of Guba and Sapir provides an exact sequence connecting the relation bimodule of the presentation (in the sense of Ivanov) with the first homology of the Squier complex of the presentation, which is naturally a $\mathbb ZM$-bimodule. This exact sequence was used by Kobayashi and Otto to prove the equivalence of Pride’s finite homological type property with the homological finiteness condition bi-$\mathrm {FP}_3$. Guba and Sapir used this exact sequence to describe the abelianization of a diagram group. We prove here a generalization of this exact sequence of bimodules for presentations of associative algebras. Our proof is more elementary than the original proof for the special case of monoids.

We study linear random walks on the torus and show a quantitative equidistribution statement, under the assumption that the Zariski closure of the acting group is semisimple.

In an earlier work, we defined a “generalised Temperley–Lieb algebra” $TL_{r, 1, n}$ corresponding to the imprimitive reflection group G(r, 1, n) as a quotient of the cyclotomic Hecke algebra. In this work we introduce the generalised Temperley–Lieb algebra $TL_{r, p, n}$ which corresponds to the complex reflection group G(r, p, n). Our definition identifies $TL_{r, p, n}$ as the fixed-point subalgebra of $TL_{r, 1, n}$ under a certain automorphism $\sigma$. We prove the cellularity of $TL_{r, p, n}$ by proving that $\sigma$ induces a special shift automorphism with respect to the cellular structure of $TL_{r, 1, n}$. We also give a description of the cell modules of $TL_{r, p, n}$ and their decomposition numbers, and finally we point to how our algebras might be categorified and could lead to a diagrammatic theory.

The space of monic squarefree complex polynomials has a stratification according to the multiplicities of the critical points. We introduce a method to study these strata by way of the infinite-area translation surface associated to the logarithmic derivative $df/f$ of the polynomial. We determine the monodromy of these strata in the braid group, thus describing which braidings of the roots are possible if the orders of the critical points are required to stay fixed. Mirroring the story for holomorphic differentials on higher-genus surfaces, we find the answer is governed by the framing of the punctured disk induced by the horizontal foliation on the translation surface.

We provide two constructions of hyperbolic metrics on 3-manifolds with Heegaard splittings that satisfy certain topological conditions, which both apply to random Heegaard splitting with asymptotic probability 1. These constructions provide a lot of control on the resulting metric, allowing us to prove various results about the coarse growth rate of geometric invariants, such as diameter and injectivity radius, and about arithmeticity and commensurability in families of random 3-manifolds. For example, we show that the diameter of a random Heegaard splitting grows coarsely linearly in the length of the associated random walk. The constructions only use tools from the deformation theory of Kleinian groups, that is, we do not rely on the solution of the geometrization conjecture by Perelman. In particular, we give a proof of Maher’s result that random 3-manifolds are hyperbolic that bypasses geometrization.